Parité de l'action de Born–Infeld : une symétrie élémentaire, non une dérivation de fibre

Vue d'ensemble

Cet article fait suite à O17, qui laissait ouverte la question de savoir pourquoi la fibre minimale de la projection non injective $\Pi$ devrait être une involution. O18 démontre proprement un fait élémentaire : l'action effective de Born–Infeld ne dépend de $\chi$ qu'à travers $F^2=(D\chi)^2$, d'où $S_{\mathrm{BI}}[-\chi]=S_{\mathrm{BI}}[\chi]$. Il s'agit d'une véritable symétrie de l'action.

Une symétrie de l'action n'est pas, en elle-même, un énoncé sur les fibres de $\Pi$ : l'égalité d'une fonctionnelle de réponse pour $\chi$ et $-\chi$ définirait une relation d'équivalence observationnelle choisie par l'article, non une preuve que l'application $\Pi$, postulée indépendamment, a exactement ces classes d'équivalence pour fibres. L'argument d'O18 en faveur de l'affirmation plus forte — selon laquelle chaque fibre de $\Pi$ contient exactement $\{\chi,-\chi\}$ — compare la réponse de $\chi$ et de $-\chi$ sous des perturbations opposées $\eta$ et $-\eta$, et non sous la même perturbation qu'exige sa propre définition de l'indiscernabilité. L'écart n'est pas une question de technicité : la fonctionnelle paire la plus simple, $S(x)=x^2$, donne déjà $S(x+\epsilon\eta)\ne S(-x+\epsilon\eta)$ en général, si bien que l'inférence ne tient pas telle qu'énoncée.

La seconde étape de l'article, qui identifie l'involution abstraite $\chi\mapsto-\chi$ à la conjugaison de Weil $c\mapsto q-c$, ne fournit aucune application des configurations de substrat $\chi$ vers les étiquettes de caractère $c$. Il s'agit exactement de la seconde prémisse ouverte d'O16, reformulée plutôt que dérivée.

Note de portée. Cette page résume le contenu structurel d'O18 : le lemme élémentaire de parité de Born–Infeld, et les raisons pour lesquelles les arguments supplémentaires de dérivation de fibre et d'identification de Weil de l'article n'établissent pas ce qu'ils prétendent.

Ce qu'établit O18

Parité de l'action de Born–Infeld : $S_{\mathrm{BI}}[\chi]$ ne dépend que de $F^2=(D\chi)^2$, d'où \[ S_{\mathrm{BI}}[-\chi]=S_{\mathrm{BI}}[\chi]. \] Ceci est élémentaire et correct.

Ce que n'établit pas O18

Le corollaire d'indiscernabilité BI, tel que démontré : l'argument compare $\chi$ sous une perturbation $\eta$ à $-\chi$ sous $-\eta$, et non $-\chi$ sous le même $\eta$ qu'exige la propre définition de l'article. La clôture de l'ensemble des perturbations admissibles sous $\eta\mapsto-\eta$ montre que cet ensemble est symétrique ; elle ne transforme pas pour autant cet appariement ensembliste en une égalité point par point à $\eta$ fixé.
Que la symétrie de l'action détermine les fibres de $\Pi$ : même en accordant l'indiscernabilité pour toute fonctionnelle de réponse considérée, cela définit une relation d'équivalence choisie par l'article. Cela ne prouve pas que la projection $\Pi$, postulée indépendamment, a exactement ces classes d'équivalence pour fibres.
Le théorème de minimalité énoncé : son hypothèse suppose déjà que la parité est la seule équivalence effective ; sa conclusion ne fait que reformuler cette hypothèse. Il ne dérive pas une propriété de $\Pi$.
L'identification au niveau de Weil $c\leftrightarrow q-c$ : la conjugaison complexe de $\rho_c$ inverse les phases de représentation, mais aucune application des configurations de substrat $\chi$ vers les étiquettes de caractère $c$ n'est fournie. Affirmer que $\rho_{q-c}=\overline{\rho_c}$ réalise $\chi\mapsto-\chi$ reformule la seconde prémisse ouverte d'O16 plutôt que de la dériver.
Toute affirmation numérique en aval : les identifications de fibre et de Weil étant ouvertes, O18 ne referme pas le problème d'observable de paire laissé par O16–O17, et n'établit pas de valeur pour $\delta_{\mathrm{pair}}$.

Interprétation

O18 ne modifie pas l'observable de paire introduit dans O16 et analysé dans O17. Il ne fournit pas non plus la dérivation de la structure de fibre qui l'aurait justifié indépendamment.

O16 : les blocs conjugués ne sont les fibres de $\Pi$ que sous deux hypothèses indépendantes et ouvertes
O17 : les blocs de Weil conjugués sont exactement indépendants des blocs dans un modèle jouet scalaire, non démontré pour le pipeline réel
O18 : l'action de Born–Infeld est paire ; cela ne dérive pas la structure de fibre de $\Pi$ ni ne l'identifie à $c\leftrightarrow q-c$

Les identifications parité/fibre et substrat/caractère restent ouvertes exactement comme dans O16 — reformulées avec un vocabulaire de Born–Infeld, non closes par lui.

Relation avec le programme Cosmochronie

O18 reprend la nécessité structurelle de la projection non injective et la sélection Born–Infeld de l'action effective, et en dérive correctement une symétrie élémentaire. Il ne fournit pas le pont manquant entre cette symétrie et un énoncé prouvé sur les fibres de $\Pi$, ni l'application manquante des configurations de substrat vers les étiquettes de caractère de Weil.

Le registre du programme (voir programme) enregistre le lemme de parité de l'action d'O18 comme prouvé, et ses identifications de fibre et de Weil comme ouvertes, sur le même plan que les prémisses ouvertes d'O16.

Résultat actuel et directions ouvertes

La parité de l'action de Born–Infeld est établie. Son identification à la structure de fibre de $\Pi$, et à la conjugaison de Weil $c\mapsto q-c$, ne l'est pas : les deux restent ouvertes, exactement comme le laissait O16.

Une dérivation de l'une ou l'autre identification — à partir de principes premiers au sein de Cosmochronie, ou à partir d'une application explicite et motivée indépendamment entre les configurations de substrat et les étiquettes de caractère de Weil — comblerait une véritable lacune du programme. Elle n'a pas encore été fournie.

Références

Jérôme Beau. Minimal Fibre Structure of the Non-Injective Projection from Born–Infeld Indiscernability: Derivation of the Parity Involution.