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.
La parité agit sur la famille des réponses de Born–Infeld comme une covariance : sous la comparaison à sonde transportée $(\chi,\eta)\mapsto(-\chi,-\eta)$, une réponse d'ordre de dérivation $k$ se transforme avec le caractère $(-1)^k$. Les réponses d'ordre pair — dont l'action — sont préservées, tandis que les réponses d'ordre impair, dont la réponse constitutive de Born–Infeld, sont renversées et séparent génériquement $\chi$ de $-\chi$. La parité ne préserve donc pas toute réponse. O18 prouve aussi un no-go : la parité ne force pas l'indiscernabilité à sonde fixée. Le contre-modèle est la fonctionnelle paire la plus simple, $R(x)=x^2$, pour laquelle $R(x+\epsilon\eta)\ne R(-x+\epsilon\eta)$ en général. En conséquence, l'orbite de parité $\{\chi,-\chi\}$ n'est pas forcée dans les fibres de la projection non injective $\Pi$ ; elle n'est une fibre candidate que relativement à une restriction fournie des observables aux réponses d'ordre pair, partie de la clause (D3) du problème 2.8.
L'identification des fibres est un problème de classification typé, dont (H-rank) est une clause. Au niveau de Weil, la conjugaison $\rho_{q-c}=\overline{\rho_c}$ est un théorème d'O17 ; l'identification de $\{c,q-c\}$ comme fibre physique de $\Pi$ est un pont ouvert. L'observable de paire demeure donc une hypothèse structurellement motivée.
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.
- Covariance de parité : sous la comparaison à sonde transportée $(\chi,\eta)\mapsto(-\chi,-\eta)$, une réponse d'ordre de dérivation $k$ se transforme avec le caractère $(-1)^k$ : les réponses d'ordre pair (dont l'action) sont préservées, tandis que les réponses d'ordre impair (dont la réponse constitutive de Born–Infeld) sont renversées et séparent génériquement $\chi$ de $-\chi$.
- No-go à sonde fixée : la parité ne force pas l'indiscernabilité à sonde fixée ; le contre-modèle $R(x)=x^2$ montre que l'inférence échoue, si bien que l'orbite de parité n'est pas forcée dans les fibres de $\Pi$.
Ce qui reste ouvert
- L'indiscernabilité à sonde fixée : d'après le no-go d'O18 lui-même, la parité de l'action n'implique pas que $\chi$ et $-\chi$ répondent identiquement à la même sonde $\eta$ ; et sous la comparaison à sonde transportée, seules les réponses d'ordre pair sont préservées — les réponses d'ordre impair sont renversées, si bien que la parité ne préserve pas toute réponse.
- L'identification des fibres de $\Pi$ : savoir si les fibres de la projection $\Pi$, postulée indépendamment, contiennent l'orbite de parité $\{\chi,-\chi\}$ est un problème de classification typé (problème 2.8), dont (H-rank) est une clause ; l'orbite n'est une fibre candidate que relativement à une restriction fournie des observables aux réponses d'ordre pair, partie de la clause (D3). Aucune clause n'est dérivée.
- L'identification au niveau de Weil $c\leftrightarrow q-c$ : la conjugaison $\rho_{q-c}=\overline{\rho_c}$ est un théorème d'O17, mais l'identification de $\{c,q-c\}$ comme fibre physique exige une application des configurations de substrat $\chi$ vers les étiquettes de caractère $c$, qui n'est pas fournie ; c'est un pont ouvert, comme dans O16.
- Toute affirmation numérique en aval : l'identification des fibres étant ouverte, 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}}$ ; l'observable de paire demeure une hypothèse structurellement motivée.
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 et la parité agit de manière covariante sur la famille des réponses (ordres pairs préservés, ordres impairs renversés) ; d'après le no-go prouvé, cela ne force 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 — délimitées par un théorème de covariance et un no-go à sonde fixée, non closes par eux.
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, la covariance de parité et le no-go à sonde fixée comme prouvés, et l'identification des fibres comme pont ouvert, 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, comme covariance sur la famille des réponses — réponses d'ordre pair préservées, réponses d'ordre impair renversées —, et le no-go à sonde fixée est prouvé. L'identification de l'orbite de parité à la structure de fibre de $\Pi$, et de $\{c,q-c\}$ comme fibre physique, ne l'est pas : les deux restent des ponts ouverts, 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'est pas fournie.
Références
Jérôme Beau. Equivariant Born–Infeld Parity and the Fibre-Identification Problem of the Non-Injective Projection.