Spectral asymmetry via pseudodifferential projections: the massless Dirac operator

Resumo Técnico: Assimetria Espectral via Projeções Pseudodiferenciais para o Operador de Dirac Sem Massa

Enunciado do Problema
O artigo aborda o estudo da assimetria espectral para sistemas de equações diferenciais parciais (EDPs) em variedades riemannianas fechadas, conexas e orientadas de dimensão 3. Especificamente, foca no operador de Dirac sem massa (também conhecido como operador de Weyl), denotado por $W$. Embora a assimetria espectral seja tradicionalmente quantificada pelo invariante eta — um número global ou uma função local derivada da função zeta espectral — os autores visam aplicar uma abordagem operador-teórica mais recente. Esta abordagem busca codificar a informação de assimetria dentro de um operador pseudodiferencial de ordem negativa, denominado "operador de assimetria", construído a partir de projeções espectrais. O desafio central é calcular o símbolo principal deste operador para o caso de Dirac sem massa, levando em conta a invariância de calibre e as propriedades geométricas específicas da variedade, e demonstrar que um traço regularizado pode ser definido para gerar invariantes geométricos.

Metodologia
Os autores empregam o arcabouço do cálculo pseudodiferencial desenvolvido em seus trabalhos anteriores [9, 10]. A metodologia procede através das seguintes etapas:

1. Projeções Espectrais: O operador de Dirac sem massa $W$ é autoadjunto e elíptico com um espectro discreto que acumula em $\pm \infty$. Os autores definem projeções espectrais positivas ($P_+$) e negativas ($P_-$) baseadas nos autovalores de $W$. Estas são operadores pseudodiferenciais de ordem zero.
2. Construção do Operador de Assimetria: O operador de assimetria $A$ é definido como o traço de matriz da diferença entre estas projeções: $A := \text{tr}(P_+ - P_-)$. Embora $P_+ - P_-$ não seja da classe de traço, a operação de traço de matriz resulta em um operador $A$ de ordem negativa.
3. Cálculo Simbólico e Cancelamentos: O núcleo da análise envolve a construção explícita dos símbolos totais de $P_\pm$ usando um algoritmo iterativo (baseado em [8]). Os autores calculam os símbolos principais dos componentes da expansão assintótica de $A$. Um aspecto crítico da metodologia é a exploração de cancelamentos que ocorrem ao realizar o traço de matriz.
4. Invariância de Calibre e Enquadramento (Framing): O operador de Dirac depende de uma escolha de enquadramento global. Os autores analisam o comportamento do operador sob transformações de calibre (rotações do enquadramento). Eles demonstram que, embora os cálculos intermediários dependam do enquadramento, os invariantes espectrais não dependem. Para simplificar os cálculos, eles fixam um "enquadramento de Levi-Civita" gerado pelo transporte paralelo em coordenadas normais geodésicas centradas em um ponto $z$. Neste enquadramento específico, a torção da conexão de Weitzenböck associada desaparece em $z$, simplificando a expansão simbólica.
5. Traço Regularizado: Como o operador de assimetria resultante é de ordem $-1$ (diferente da ordem $-3$ encontrada para o operador de rotacional/curl em estudos anteriores), ele não é imediatamente da classe de traço. Os autores definem um "traço local regularizado" isolando a parte contínua do núcleo de Schwartz de $A$ ao longo da diagonal ($x=y$).

Principais Contribuições e Resultados
O artigo fornece computações explícitas para o operador de Dirac sem massa em uma 3-variedade, produzindo os seguintes resultados principais:

• Vanecimento de Termos de Ordem Inferior: Os autores provam que o símbolo principal do operador de assimetria $A$ associado ao enquadramento de Levi-Civita desaparece para as ordens $j=0, -1, -2$. Especificamente, os termos $a_0, a_{-1}$ e $a_{-2}$ na expansão assintótica do símbolo são zero no centro da vizinhança geodésica.
• Cálculo do Símbolo Principal: O primeiro termo não nulo é o símbolo principal de ordem $-3$, denotado por $a_{-3}(z, \xi)$. Os autores o calculam explicitamente como:
  $$\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}$$
  onde $E_{\alpha\beta\gamma}$ é o tensor de Levi-Civita, $\text{Ric}$ é o tensor de Ricci e $\nabla$ é a derivada covariante. Este resultado estabelece que o operador de assimetria é de ordem $-3$ no enquadramento de Levi-Civita, apesar de ser de ordem $-1$ em um enquadramento genérico.
• Decomposição do Núcleo: O artigo deriva o núcleo integral local do operador de assimetria, mostrando que ele pode ser decomposto em uma parte singular (dependente da distância entre pontos e da curvatura) e uma parte contínua.
• Invariantes Geométricos: Com base na decomposição do núcleo, os autores definem um traço local regularizado $\psi_{\text{Dir}}^{\text{loc}}(x)$ e um traço global $\psi_{\text{Dir}}$. Eles provam que o traço local é uma função escalar bem definida, independente da escolha de coordenadas locais, constituindo assim um invariante geométrico que descreve a assimetria espectral.

Significância e Alegações
O artigo posiciona estes resultados como uma extensão da abordagem "direta" à assimetria espectral proposta em [9, 10] para o caso fisicamente significativo do operador de Dirac sem massa.

• Comparação com o Rotacional (Curl): Os autores observam que a estrutura do símbolo principal para o operador de Dirac é idêntica à do operador de rotacional (exceto por um fator de 6), reforçando a universalidade do método através de diferentes sistemas não semibounded.
• Relevância Física: O estudo é motivado por aplicações em física de altas energias (teoria de Chern–Simons) e física da matéria condensada (fases topológicas, semimetais de Weyl), onde o invariante eta é uma quantidade crucial.
• Conjectura sobre Invariantes Eta: Os autores conjecturam que seus novos traços regularizados coincidem com os invariantes eta locais e globos clássicos avaliados em $s=0$ (ou seja, $\psi_{\text{Dir}}^{\text{loc}}(x) = \eta_{\text{Dir}}^{\text{loc}}(0; x)$). No entanto, eles declaram explicitamente que uma prova completa desta correspondência está além do escopo do presente trabalho e é reservada para pesquisas futuras.
• Modéstia das Alegações: O artigo não pretende ter resolvido inteiramente o problema da assimetria espectral, mas sim fornecer a maquinaria computacional necessária (o símbolo principal e a definição do traço regularizado) para fazê-lo. Ele enfatiza que a abordagem fornece um "operador definido de forma invariante" que codifica mais informações do que o próprio invariante eta, oferecendo uma ferramenta potencialmente mais acessível para a comunidade matemática aplicada.