Pas de dispersion quartique du graviton dans la troncature covariante locale à quatre dérivées

Contributions principales

• Un noyau posé, énoncé comme tel : les résultats ont la forme si le noyau lorentzien transverse sans trace local est $\Box(c_{\mathrm{EH}} + \beta\Box)$, alors les conclusions suivent. Ce ne sont pas des énoncés sur $S_\Pi$ lui-même, ni sur le noyau renormalisé complet.
• Structure des solutions en somme directe : pour $c_{\mathrm{EH}} \neq 0$ les deux facteurs sont premiers entre eux et $\ker\mathcal{O}_{\mathrm{TT}} = \ker\Box \oplus \ker(c_{\mathrm{EH}} + \beta\Box)$, une somme directe et non une réunion.
• Secteur sans masse non déformé : le sommand sans masse vérifie exactement $\omega^2 = |\vec k|^2$, sans correction à aucun ordre en $|\vec k|$.
• Aucun coefficient quartique, donc aucune borne d’échelle par $\alpha = 4$ : $A_4 = 0$ sur la branche sans masse, donc aucune application d’un coefficient quartique vers $\ell_\chi$ n’existe, et toute borne sur $\ell_\chi$ reposant sur cette identification ne tient pas.
• Contenu en pôles : pour $\beta \neq 0$, un pôle d’hélicité $2$ en $m_2^2 = -c_{\mathrm{EH}}/\beta$ porte un résidu opposé à celui du pôle sans masse — un caractère fantôme indépendant du signe de $c_{\mathrm{EH}}/\beta$.
• Une frontière explicitement tracée : les valeurs finies de $c_{\mathrm{EH}}^{\mathrm{ren}}$ et $\beta^{\mathrm{ren}}$, le carré de masse signé, et le sort d’un scalaire issu de $R^2$ sont des données d’ajustement fournies de l’extérieur de la troncature.

L’opérateur considéré

Supposons que, linéarisé autour de l’espace-temps de Minkowski et restreint au secteur transverse sans trace, le noyau quadratique lorentzien local tronqué à quatre dérivées soit $$\mathcal{O}_{\mathrm{TT}} = c_{\mathrm{EH}}\Box + \beta\Box^2 ,$$ avec $c_{\mathrm{EH}}$ et $\beta$ constantes réelles, les facteurs de forme non locaux et tous les termes d’ordre $\Box^3$ et au-delà étant écartés. L’écart entre cette troncature et le noyau renormalisé complet compte partout où les termes écartés ne sont pas négligeables — en particulier dans l’ultraviolet.

Conventions. Signature $(-,+,+,+)$ et unités où $c = 1$. Pour une onde plane $e^{ik\cdot x}$ avec $k^\mu = (\omega, \vec k)$, on a $\Box \to -k^2$, où $k^2 = -\omega^2 + |\vec k|^2$.

Structure des solutions : une somme directe

Posons $P = \Box$ et $Q = c_{\mathrm{EH}} + \beta\Box$, de sorte que $\mathcal{O}_{\mathrm{TT}} = PQ = QP$. Soit $\mathcal{V}$ un espace vectoriel complexe quelconque de champs tensoriels transverses sans trace sur lequel $\Box$ agit et qui est stable sous son action — champs lisses ou distributions tempérées, indifféremment. L’argument est algébrique et n’utilise aucune propriété de $\mathcal{V}$ au-delà de la stabilité.

Pour $c_{\mathrm{EH}} \neq 0$, les deux facteurs sont premiers entre eux, par l’identité de Bézout $$Q - \beta P = c_{\mathrm{EH}} ,$$ une constante non nulle. L’espace des solutions est alors la somme directe $$\ker\mathcal{O}_{\mathrm{TT}} = \ker\Box \,\oplus\, \ker(c_{\mathrm{EH}} + \beta\Box) ,$$ et la décomposition de tout $h^{\mathrm{TT}}$ en $h^{\mathrm{TT}} = h_0 + h_m$ avec $h_0 \in \ker P$ et $h_m \in \ker Q$ est unique. Si de plus $\beta \neq 0$, alors $\ker Q$ est caractérisé par $\Box h_m = -(c_{\mathrm{EH}}/\beta)\,h_m$.

Le noyau n’est pas une réunion. Soient $c_{\mathrm{EH}} \neq 0$, $\beta \neq 0$, et supposons que à la fois $\ker P \neq \{0\}$ et $\ker Q \neq \{0\}$ dans $\mathcal{V}$. Ce sont des hypothèses sur $\mathcal{V}$, non des conséquences de $c_{\mathrm{EH}} \neq 0$ et $\beta \neq 0$ : un espace stable peut ne contenir aucune solution de l’une ou l’autre équation de facteur. Elles valent dans les distributions tempérées, où $\ker P$ porte les ondes planes avec $k^2 = 0$ et $\ker Q$ celles avec $k^2 = c_{\mathrm{EH}}/\beta$. Le noyau est alors strictement plus grand que $\ker P \cup \ker Q$ : étant donnés $h_0 \in \ker P$ et $h_m \in \ker Q$ non nuls, la somme $h_0 + h_m$ résout $\mathcal{O}_{\mathrm{TT}} h = 0$ tout en ne satisfaisant aucune des deux équations de facteur, puisque $\Box(h_0+h_m) = -(c_{\mathrm{EH}}/\beta)h_m \neq 0$ et $(c_{\mathrm{EH}} + \beta\Box)(h_0+h_m) = c_{\mathrm{EH}} h_0 \neq 0$. Une solution générique est une superposition des deux secteurs, et non un membre de l’un d’eux.

Aucune des deux hypothèses ne découle de l’autre, et chacune tombe en défaut sur un espace admissible à $\beta \neq 0$ fixé. $\ker P$ et $\ker Q$ sont tous deux stables sous $\Box$, donc chacun est un choix admissible de $\mathcal{V}$, et sur chacun l’opérateur dégénère : sur $\mathcal{V} = \ker P$, l’opérateur $\Box$ agit comme $0$, donc $Q$ agit comme $c_{\mathrm{EH}} I$ et est inversible, d’où $\ker Q = \{0\}$ ; sur $\mathcal{V} = \ker Q$, l’opérateur $\Box$ agit comme $-(c_{\mathrm{EH}}/\beta) I$ et est inversible, d’où $\ker P = \{0\}$. Dans les deux cas, la réunion coïncide avec le noyau et la stricte inclusion tombe. La stricte inclusion est donc un énoncé portant sur un espace contenant les deux secteurs, et non sur le seul opérateur.

Cas dégénéré. Si $c_{\mathrm{EH}} = 0$, l’identité de Bézout tombe en défaut et la décomposition n’est pas disponible : $\mathcal{O}_{\mathrm{TT}} = \beta\Box^2$, et $\ker\Box^2$ contient des solutions généralisées annulées par $\Box^2$ mais non par $\Box$.

Absence de dispersion quartique du graviton

Pour $c_{\mathrm{EH}} \neq 0$, le sommand sans masse appartient à $\ker\Box$ par construction, et $\ker\Box$ ne dépend pas de $\beta$. Donc pour les ondes planes $h_0 \sim e^{ik\cdot x}$, $$\omega^2 = |\vec k|^2 ,$$ sans correction à aucun ordre en $|\vec k|$.

Une relation déformant la dispersion sans masse à l’ordre quartique décrirait une branche unique. Le noyau ne possède aucune branche de ce type. Développer $(c_{\mathrm{EH}} + \beta z)^{-1}$ en puissances de $z$ autour de $z = 0$ engendre une série de termes analytiques à l’origine — des termes de contact, en espace des positions — ajoutés au pôle sans masse ; cela ne déplace pas ce pôle, dont la position est le zéro de $\Box$ et ne dépend pas de $\beta$. Lire la série obtenue comme une relation de dispersion déformée revient à confondre un fond analytique avec un décalage du pôle.

Les catalogues d’ondes gravitationnelles testent la dispersion modifiée par la relation phénoménologique $$E^2 = p^2c^2 + A_\alpha\,p^\alpha c^\alpha ,$$ contraignant $A_\alpha$ pour une gamme d’exposants $\alpha$. Le cas $\alpha = 4$ est ce que peuplerait une déformation quartique de la branche sans masse ; le cas $\alpha = 0$ correspond en revanche à un terme de masse, de sorte que la paramétrisation n’est pas aveugle aux branches massives. Sous la troncature avec $c_{\mathrm{EH}} \neq 0$, le secteur sans masse non déformé donne $A_4 = 0$ sur la branche sans masse. Il n’existe donc aucune application d’un coefficient quartique vers l’échelle pré-géométrique $\ell_\chi$, et toute borne sur $\ell_\chi$ obtenue en identifiant une limite interférométrique sur $A_4$ à un coefficient spectral quartique ne tient pas.

Ce qui n’est pas affirmé. Cela ne dit pas que ces données ne peuvent pas contraindre ce cadre. Le secteur $\alpha = 0$ porte sur les branches massives, et le pôle de la section suivante en est une. En faire une contrainte effective exigerait sa masse, son couplage au détecteur et son excitation dans la source — rien de tout cela n’est fourni ici. Le résultat négatif ne concerne que la voie $A_4$.

Aucune affirmation sur la vitesse de front. La relation $\omega^2 = |\vec k|^2$ est un énoncé sur la troncature, non sur les fronts de signal. Une vitesse de front est gouvernée par le comportement à grand $k$ du noyau complet, précisément là où les termes non locaux et $\mathcal{O}(\Box^3)$ écartés ne sont pas négligeables. Aucun énoncé sur la propagation des fronts n’est fait ici, dans aucun sens.

Contenu en pôles

En notant $z$ l’image en espace des impulsions de $\Box$, le propagateur transverse sans trace vaut, pour $c_{\mathrm{EH}} \neq 0$ et $\beta \neq 0$ — les fractions partielles ci-dessous divisent par $\beta$ — $$\frac{1}{z(c_{\mathrm{EH}} + \beta z)} = \frac{1}{c_{\mathrm{EH}}\,z} \;-\; \frac{1}{c_{\mathrm{EH}}\,(z + c_{\mathrm{EH}}/\beta)} .$$ Deux faits en découlent, et ils sont indépendants l’un de l’autre. D’abord, le caractère fantôme : les deux résidus ont des signes opposés, quels que soient les signes de $c_{\mathrm{EH}}$ et $\beta$, de sorte que le second pôle est un fantôme relativement au pôle sans masse — cela ne dépend pas de $c_{\mathrm{EH}}/\beta$. Ensuite, le caractère tachyonique : le second pôle se situe en $z = -c_{\mathrm{EH}}/\beta$, de sorte que le signe de $c_{\mathrm{EH}}/\beta$ fixe le signe du carré de masse correspondant, et avec lui le caractère tachyonique ou non du mode. C’est une question distincte, à la réponse distincte.

Pour $\beta \neq 0$, le second pôle se situe en $k^2 = c_{\mathrm{EH}}/\beta$, c’est-à-dire en $$m_2^2 = -\,\frac{c_{\mathrm{EH}}}{\beta} ,$$ dans les conventions ci-dessus. Cela ressemble au contenu en pôles de la gravité quadratique, où un graviton sans masse est accompagné d’un fantôme massif de spin $2$ (Stelle 1977 ; Calmet–Capozziello–Pryer 2017). La ressemblance est une comparaison et non une identification : le calcul transverse sans trace établit un pôle d’hélicité $2$ à résidu opposé, tandis que le multiplet massif de spin $2$ est un énoncé portant sur les cinq polarisations. Les secteurs scalaire et vectoriel ne sont pas traités ici, de sorte que la structure complète du multiplet n’est pas établie.

Le secteur scalaire n’est pas réglé. Le $a_4$ minimal porte un secteur $R^2$ aux côtés de $C^2$. Dans l’action effective au second ordre en courbure, cela soutient génériquement un scalaire massif en plus du mode massif de spin $2$. L’exclure exige une condition d’ajustement sur le coefficient de $R^2$, de sorte que le contenu en modes de la troncature n’est pas entièrement déterminé ici.

Ce qui relève des données d’ajustement

Le coefficient de Seeley–DeWitt $a_4$ contrôle une contribution logarithmique au flot des couplages à quatre dérivées. Il ne fixe pas la valeur finie de $\beta^{\mathrm{ren}}$.

La normalisation et le signe de $\tfrac12\log\det{}'A_g$ ne sont pas en cause : ils sont fixés par la définition de la fonctionnelle. Ce qui laisse $\beta^{\mathrm{ren}}$ indéterminé, ce sont les parties finies des contre-termes, le contenu complet en opérateurs, le prolongement à la signature lorentzienne et la condition de renormalisation. Une identification $\beta = -2\alpha_C$ lue sur la partie en carré de Weyl de $a_4$ n’en fournit aucun, et n’est pas une détermination de $\beta^{\mathrm{ren}}$. Il en va de même pour $c_{\mathrm{EH}}^{\mathrm{ren}}$. Par conséquent le carré de masse signé $$m_2^2 = -\,\frac{c_{\mathrm{EH}}^{\mathrm{ren}}}{\beta^{\mathrm{ren}}}$$ — de façon équivalente, l’échelle du pôle $|c_{\mathrm{EH}}^{\mathrm{ren}}/\beta^{\mathrm{ren}}|$ assortie de son signe — est une donnée d’ajustement, et n’est pas dérivablement liée à $\ell_\chi$.

Problèmes ouverts

• La construction in-in. Une action effective de Schwinger–Keldysh se construit à partir de configurations de champs dédoublées sur un chemin temporel fermé, les branches étant couplées par la condition au bord au point de rebroussement. Substituer un opérateur de Green retardé à $A_g^{-1}$ dans une hessienne ordinaire à champ unique n’est pas cette construction et n’en découle pas. Savoir si l’action spectrale projective admet une formulation sur chemin temporel fermé, et si la forme quadratique qu’elle donnerait s’accorde avec la troncature, est ouvert.
• Le secteur vectoriel. L’équation vectorielle linéarisée porte un terme $\Box\bar h_{0i}$, donc une dérivée temporelle seconde que la jauge harmonique n’élimine pas. Ce n’est que sous une hypothèse de stationnarité qu’elle se réduit à une contrainte elliptique. Une dérivation à partir du système linéaire complet avec projecteurs de spin, et le sort de la correction à quatre dérivées en son sein, sont ouverts.
• Au-delà de la troncature. La troncature écarte les facteurs de forme non locaux et les termes $\mathcal{O}(\Box^3)$. Savoir si l’absence de dispersion quartique du graviton survit à leur inclusion n’est pas abordé ici.

Statut interprétatif

Dans son secteur transverse sans trace, le noyau posé ressemble à la gravité quadratique. Il est tentant de lire cette ressemblance comme un appui pour la construction spectrale ; la lecture est disponible mais faible, puisque toute construction engendrant des secteurs $C^2$ et $R^2$ lui ressemblerait tout autant — et la ressemblance n’est établie ici que pour un pôle d’hélicité $2$, non pour le contenu complet en modes. L’énoncé défendable est plus étroit : le noyau posé est compatible avec la structure infrarouge connue et ne prédit au-delà rien qui soit présentement observable.

Ce que cette note apporte est une frontière. Plusieurs ingrédients manquent avant que les ondes gravitationnelles puissent tester ce cadre, et ils ne sont pas interchangeables : une construction lorentzienne dont le noyau découle effectivement, au lieu d’être posé ; une condition de renormalisation fixant $m_2^2$ ; le couplage de ce mode à un détecteur et son excitation dans une source ; et un traitement des secteurs scalaire et vectoriel suffisant pour régler le contenu en modes. Les nommer est ce qui les rend abordables, et aucun d’eux n’est fourni ici.

Relation au programme Cosmochrony

Cet article est le papier III du sous-programme de gravité spectrale. Il se relie au programme Cosmochrony plus large par l’échelle pré-géométrique $\ell_\chi$ et l’action spectrale projective, et il retire une prise interférométrique putative sur $\ell_\chi$ tout en isolant ce qu’en exigerait une véritable — à commencer par une construction lorentzienne dont le noyau découle effectivement.

Références

Jérôme Beau. No Quartic Graviton Dispersion from the Local Covariant Four-Derivative Truncation. Prépublication. 10.5281/zenodo.18826644