Spectral asymmetry via pseudodifferential projections: the massless Dirac operator

Technische Samenvatting: Spectrale Asymmetrie via Pseudodifferentiaal Projectie voor de Massaloze Dirac-operator

Probleemstelling
Het artikel behandelt de studie van spectrale asymmetrie voor stelsels van partiële differentiaalvergelijkingen (PDE's) op gesloten, verbonden en georiënteerde Riemanniaanse 3-variëteiten. Specifiek richt het zich op de massaloze Dirac-operator (ook wel de Weyl-operator genoemd), aangeduid als $W$. Hoewel spectrale asymmetrie traditioneel wordt gekwantificeerd door de eta-invariant—een globale getal of lokale functie afgeleid van de spectrale zeta-functie—streven de auteurs naar een nieuwere, operator-theoretische benadering. Deze benadering tracht informatie over asymmetrie te coderen binnen een pseudodifferentiaal operator van negatieve orde, de zogenaamde "asymmetrie-operator", geconstrueerd uit spectrale projecties. De centrale uitdaging bestaat uit het berekenen van het hoofd-symbool van deze operator voor het massaloze Dirac-geval, waarbij rekening wordt gehouden met gauge-invariantie en de specifieke geometrische eigenschappen van de variëteit, en het aantonen dat een geregulariseerde trace gedefinieerd kan worden die geometrische invarianten oplevert.

Methodologie
De auteurs maken gebruik van het framework van de pseudodifferentiaal calculus zoals ontwikkeld in hun eerdere werken [9, 10]. De methodologie verloopt via de volgende stappen:

1. Spectrale Projecties: De massaloze Dirac-operator $W$ is zelfadjunct en elliptisch met een discreet spectrum dat zich accumuleert bij $\pm \infty$. De auteurs definiëren positieve ($P_+$) en negatieve ($P_-$) spectrale projecties gebaseerd op de eigenwaarden van $W$. Dit zijn pseudodifferentiaal operators van orde nul.
2. Constructie van de Asymmetrie-operator: De asymmetrie-operator $A$ wordt gedefinieerd als de matrix-trace van het verschil tussen deze projecties: $A := \text{tr}(P_+ - P_-)$. Hoewel $P_+ - P_-$ niet trace-klasse is, levert de matrix-trace operatie een operator $A$ op van negatieve orde.
3. Symbolische Calculus en Cancellaties: De kern van de analyse betreft de expliciete constructie van de volledige symbolen van $P_\pm$ met behulp van een iteratief algoritme (gebaseerd op [8]). De auteurs berekenen de hoofd-symbolen van de componenten van de asymptotische expansie van $A$. Een cruciaal aspect van de methodologie is het exploiteren van de cancellaties die optreden bij het nemen van de matrix-trace.
4. Gauge-invariantie en Framing: De Dirac-operator hangt af van een keuze van een globale framing. De auteurs analyseren het gedrag van de operator onder gauge-transformaties (rotaties van de framing). Zij demonstreren dat hoewel tussenliggende berekeningen afhankelijk zijn van de framing, de spectrale invarianten dat niet zijn. Om berekeningen te vereenvoudigen, fixeren zij een specifieke "Levi-Civita framing" gegenereerd door parallel transport in geodetische normale coördinaten gecentreerd rond een punt $z$. In dit specifieke frame verdwijnt de torsie van de geassocieerde Weitzenböck-verbinding in $z$, wat de symbolische expansie vereenvoudigt.
5. Geregulariseerde Trace: Omdat de resulterende asymmetrie-operator van orde $-1$ is (in tegenstelling tot de orde $-3$ gevonden voor de curl-operator in eerdere studies), is deze niet direct trace-klasse. De auteurs definiëren een "geregulariseerde lokale trace" door het continue deel van de Schwartz-kernel van $A$ langs de diagonaal ($x=y$) te isoleren.

Belangrijkste Bijdragen en Resultaten
Het artikel levert expliciete berekeningen voor de massaloze Dirac-operator op een 3-variëteit, wat de volgende hoofdzakelijke resultaten oplevert:

• Verdwijnen van Lagere Orde Termen: De auteurs bewijzen dat het hoofd-symbool van de asymmetrie-operator $A$ geassocieerd met de Levi-Civita framing verdwijnt voor de orden $j=0, -1, -2$. Specifiek zijn de termen $a_0, a_{-1},$ en $a_{-2}$ in de asymptotische expansie van het symbool nul in het centrum van de geodetische buurt.
• Berekening van het Hoofd-symbool: De eerste niet-nul term is het hoofd-symbool van orde $-3$, aangeduid als $a_{-3}(z, \xi)$. De auteurs berekenen dit expliciet als:
  $$\tilde{a}_{-3}(z, \xi) = -\frac{1}{12} \frac{E_{\alpha\beta\gamma}(z) \nabla_\alpha \text{Ric}_{\beta\rho}(z) \xi^\gamma \xi^\rho}{|\xi|^5}$$
  waarbij $E_{\alpha\beta\gamma}$ de Levi-Civita tensor is, $\text{Ric}$ de Ricci-tensor is, en $\nabla$ de covariante afgeleide is. Dit resultaat vestigt dat de asymmetrie-operator van orde $-3$ is in het Levi-Civita frame, ondanks dat deze van orde $-1$ is in een generiek frame.
• Kernel Decompositie: Het artikel leidt de lokale integraalkernel van de asymmetrie-operator af, waarbij wordt aangetoond dat deze gedecomposeerd kan worden in een singuliere parte (afhankelijk van de afstand tussen punten en de kromming) en een continue parte.
• Geometrische Invarianten: Op basis van de kernel-decompositie definiëren de auteurs een geregulariseerde lokale trace $\psi_{\text{Dir}}^{\text{loc}}(x)$ en een globale trace $\psi_{\text{Dir}}$. Zij bewijzen dat de lokale trace een goed gedefinieerde scalaire functie is die onafhankelijk is van de keuze van lokale coördinaten, waarmee het een geometrische invariant vormt die spectrale asymmetrie beschrijft.

Betekenis en Claims
Het artikel positioneert deze resultaten als een uitbreiding van de "directe" benadering van spectrale asymmetrie voorgesteld in [9, 10] naar het fysiek significante geval van de massaloze Dirac-operator.

• Vergelijking met Curl: De auteurs merken op dat de structuur van het hoofd-symbool voor de Dirac-operator identiek is aan die van de curl-operator (tot een factor 6), wat de universaliteit van de methode over verschillende niet-semibounded systemen heen versterkt.
• Fysieke Relevantie: De studie wordt gemotiveerd door toepassingen in de hogere energiefysica (Chern–Simons theorie) en de gecondenseerde materie fysica (topologische fasen, Weyl-semimetalen), waar de eta-invariant een cruciale grootheid is.
• Conjectuur over Eta-invarianten: De auteurs vermoeden dat hun nieuw gedefinieerde geregulariseerde traces overeenkomen met de klassieke lokale en globale eta-invarianten geëvalueerd bij $s=0$ (d.w.z. $\psi_{\text{Dir}}^{\text{loc}}(x) = \eta_{\text{Dir}}^{\text{loc}}(0; x)$). Zij verklaren echter expliciet dat een volledige bewijsvoering voor deze correspondentie buiten de reikwijdte van het huidige werk valt en gereserveerd is voor toekomstig onderzoek.
• Bescheidenheid van Claims: Het artikel claimt niet het probleem van spectrale asymmetrie volledig te hebben opgelost, maar biedt de noodzakelijke computationele machinerie (het hoofd-symbool en de definitie van de geregulariseerde trace) om dit te doen. Het benadrukt dat deze benadering een "invariant gedefinieerde operator" oplevert die meer informatie bevat dan de eta-invariant alleen, en daarmee een potentieel toegankelijker instrument biedt voor de toegepaste wiskundige gemeenschap.