What makes spacetime spin in string theory?

Resumo Técnico: "O que faz o espaço-tempo girar na teoria das cordas?"

Enunciado do Problema
A teoria de cordas do Tipo II exige que o espaço-tempo alvo $X$ admita uma estrutura de spin. Embora esta seja uma condição bem conhecida na supergravidade de baixa energia, sua origem dentro do arcabouço completo da teoria das cordas — especificamente da consistência da Teoria de Campo Conforme (CFT) da folha de mundo (worldsheet) — tem sido menos rigorosamente derivada. A derivação padrão frequentemente baseia-se na quantização da corda no espaço plano e na análise da supergravidade efetiva resultante, um processo que pode negligenciar condições de consistência global inerentes à teoria das cordas completa. A questão central abordada é se o requisito de um espaço-alvo com estrutura de spin surge diretamente da consistência da projeção GSO (Gliozzi-Scherk-Olive) da folha de mundo, que envolve a soma sobre estruturas de spin independentes para os setores de movimento à esquerda e à direita. Especificamente, os autores investigam os obstáculos ao gauge da simetria quiral $\mathbb{Z}_2$ $(−1)^{F_L}$ na folha de mundo e como esses obstáculos restringem a topologia do espaço-alvo.

Metodologia
Os autores empregam o arcabouço moderno da teoria de bordismo para classificar anomalias globais. A consistência de uma teoria de campo quântico com uma simetria global é determinada pela capacidade de definir consistentemente a função de partição em todas as variedades equipadas com a estrutura relevante. As anomalias são codificadas por teorias de campo quânticos invertíveis em uma dimensão superior, classificadas pelo dual de Pontryagin do grupo de bordismo relevante.

1. Computação do Grupo de Bordismo: A anomalia relevante é uma anomalia global mista entre a simetria quiral $\mathbb{Z}_2$ $(−1)^{F_L}$ e os dados de fundo do espaço-alvo. Esta é detectada pelo grupo de bordismo de spin:
   $$\Omega^{\text{spin}}_3(B\mathbb{Z}_2 \times X)$$
   Os autores focam na parte "mista" deste grupo, que desaparece se o fibrado de gauge $\mathbb{Z}_2$ ou o mapa para $X$ forem esquecidos. Usando o isomorfismo de Smith, eles reduzem a computação deste grupo misto ao grupo de bordismo $\text{pin}^-$ reduzido em duas dimensões, $\widetilde{\Omega}^{\text{pin}^-}_2(X)$.
2. Análise de Sequência Espectral: Eles utilizam a Sequência Espectral de Atiyah-Hirzebruch (AHSS) para calcular $\widetilde{\Omega}^{\text{pin}^-}_2(X)$. Eles demonstram que o diferencial relevante desaparece, levando a uma sequência exata curta envolvendo os grupos de cohomologia mod-2 $H^1(X, \mathbb{Z}_2)$ e $H^2(X, \mathbb{Z}_2)$.
3. Identificação de Anomalia via Invariantes Eta: Para identificar qual classe de anomalia específica é realizada pela teoria de folha de mundo do Tipo II, os autores relacionam os invariantes de bordismo aos invariantes eta reduzidos de operadores de Dirac tridimensionais. Usando o teorema de Dai-Freed, eles calculam a fase de anomalia para férmions da folha de mundo (férmions Majorana-Weyl) acoplados ao fibrado tangente do espaço-alvo.
4. Generalização para Orbifolds: O arcabouço é estendido para espaços-alvo de orbifolds $[\hat{X}/G]$, onde a análise requer cohomologia equivariante e estruturas de spin equivariantes.

Contribuições Principais e Resultados

• Derivação da Condição de Spin: Os autores calculam explicitamente o grupo de bordismo misto e encontram:
  $$\mathfrak{G}^{\text{spin}}_3(B\mathbb{Z}_2 \times X)_{\text{mixed}} \cong e(H^2(X, \mathbb{Z}_2), H^1(X, \mathbb{Z}_2))$$
  onde $e(A, B)$ denota uma extensão não trivial. Eles identificam a classe de anomalia realizada pela teoria de folha de mundo do Tipo II como o par de classes de Stiefel-Whitney $(w_1(X), w_2(X))$.
  Consequentemente, a anomalia desaparece se, e somente se:
  $$w_1(X) = w_2(X) = 0$$
  Isso fornece uma derivação puramente da folha de mundo do requisito de que o espaço-alvo $X$ deve ser orientável e admitir uma estrutura de spin.

• Restrições de Orbifold: Para orbifolds gerais $[\hat{X}/G]$, a condição generaliza-se para o desaparecimento das duas primeiras classes de Stiefel-Whitney equivariantes:
  $$w^G_1(\hat{X}) = w^G_2(\hat{X}) = 0$$
  Isso implica que $\hat{X}$ deve admitir uma estrutura de spin $G$-equivariante. Para orbifolds de espaço plano, isso reduz-se ao requisito de que a representação do grupo de orbifold $G$ nos férmions faça o lift para uma representação Spin.

• Classificação de Ângulos Theta: O artigo classifica todos os possíveis ângulos theta discretos e contínuos associados ao gauge de $(−1)^{F_L}$ e $(−1)^{F_R}$. Estes são classificados pelo grupo de bordismo de grau 2 $\mathfrak{G}^{\text{spin}}_2(B\mathbb{Z}_2 \times X)$. Os autores mostram que esses ângulos correspondem exatamente aos dados conhecidos do espaço-alvo:

  • Invariantes de Arf: Distinguem entre teorias do Tipo IIA e Tipo IIB.
  • Ângulos theta contínuos: Correspondem ao fundo do campo $B$.
  • Ângulos theta discretos: Correspondem à escolha da estrutura de spin do espaço-tempo e fibrados de gauge $\mathbb{Z}_2$ discretos (simetrias quânticas).
    A análise confirma que, dentro da classe de fundos considerada, não existem projeções GSO "exóticas" além das já conhecidas.

Significância
O artigo afirma fornecer uma derivação rigorosa, de primeiros princípios, da condição de spin para fundos de cordas do Tipo II diretamente da consistência da folha de mundo, contornando o passo intermediário da supergravidade efetiva de baixa energia. Ao utilizar a teoria de bordismo, os autores demonstram que a anomalia global dos férmions da folha de mundo é precisamente detectada pelas classes de Stiefel-Whitney do espaço-alvo. Isso estabelece uma correspondência biunívoca entre anomalias da folha de mundo e a topologia do espaço-alvo.

Além disso, o trabalho estende este entendimento para orbifolds, mostrando que a consistência da projeção GSO nestes fundos não triviais é governada por estruturas de spin equivariantes. O artigo conclui que o arcabouço de bordismo contabiliza com sucesso todas as projeções GSO padrão e campos de fundo (incluindo campos $B$ e estruturas de spin) sem prever novas configurações exóticas, reforçando assim a completude do entendimento atual das condições de consistência das cordas do Tipo II em regimes perturbativos.