Un contre-modèle fini à la sélection du porteur de Heisenberg

Ce que démontre le contre-modèle

Soit \(G=S_3\), \(X=(12)\), \(Y=(23)\), et soit \(\sigma\) la conjugaison par \((13)\). Alors \(\sigma\) est une involution échangeant \(X\) et \(Y\), la paire engendre minimalement \(S_3\), et la représentation standard bidimensionnelle de somme nulle est fidèle, unitaire et irréductible. Pourtant,

\[ [X,Y]=(132)\notin Z(S_3), \]

car \(Z(S_3)\) est trivial. Les propriétés algébriques disponibles avant l'étape de centralité ne sélectionnent donc pas un groupe de Heisenberg.

Portée. La note ne propose pas \(S_3\) comme porteur physique. Elle réfute l'implication publiée allant des prémisses déclarées à un commutateur central, un groupe de Heisenberg fini et un porteur de Weil.

Ce qui subsiste

Le théorème no-go ENI est indépendant de cette arête de sélection.
Les calculs menés sur un porteur Heisenberg/Weil fourni gardent leur statut interne.
Si un groupe de Heisenberg fini et un caractère central non trivial sont fournis, l'aboutissement de Stone–von Neumann reste valide.

Ce qui change est le statut déclaré : le porteur est actuellement une réalisation fournie, et tout résultat consommant sa sélection doit être étiqueté conditionnel.

Pourquoi c'est important

L'échec est une identification, non un calcul. Un commutateur non trivial n'est pas automatiquement central, et le lemme de Schur contraint les opérateurs déjà centraux au lieu de rendre central un commutateur arbitraire. Nommer cette arête permet de poursuivre l'exploration sans promouvoir un choix de modèle en théorème.