Odd Knörrer periodicity as a double cover

Resumo Técnico: Periodicidade Ímpar de Knörrer como uma Cobertura Dupla

Enunciado do Problema
O artigo aborda o comportamento global da periodicidade de Knörrer, uma equivalência fundamental na teoria das fatorações de matrizes. Classicamente, a periodicidade de Knörrer estabelece que adicionar um termo quadrático $x^2$ a um superpotencial $w$ (uma "estabilização") preserva a categoria derivada das fatorações de matrizes se o posto da forma quadrática for par, enquanto estabilizações de posto ímpar podem ser resolvidas passando-se a uma categoria equivariante. Embora versões globais da periodicidade de posto par sejam bem compreendidas (relacionando fatorações de matrizes em um fibrado vetorial à categoria derivada da base), uma afirmação global para formas quadráticas de posto um tem sido elusiva. Especificamente, a equivalência pontual $MF_{|x|=1}(\mathbb{A}^1, x^2) \simeq D^b(2 \text{ pts})$ sugere uma relação entre fatorações de matrizes e coberturas duplas ramificadas, mas as estruturas existentes para fatorações de matrizes graduadas são insuficientes para lidar com os dados de "graduação ímpar" necessários.

A dificuldade central reside no fato de que as definições padrão de fatorações de matrizes dependem da divisão de objetos em partes pares e ímpares ($E_0 \leftrightarrows E_1$), um fenômeno único para anéis com graduação par. Quando a coordenada da fibra linear tem grau cohomológico ímpar, o feixe estrutural deixa de ser supercomutativo, o diferencial nos feixes de morfismos deixa de ser linear e a definição padrão de $RHom$ colapsa. Consequentemente, a categoria derivada das fatorações de matrizes para tais modelos de Landau–Ginzburg (LG) "com graduação ímpar" não pode ser construída usando métodos tradicionais.

Metodologia
O autor desenvolve uma estrutura para fatorações de matrizes ímpares onde a coordenada da fibra linear $q$ tem grau cohomológico ímpar ($|q|=1$).

1. Reformulação das Definições: Em vez de depender da divisão $E_0 \leftrightarrows E_1$ ou de $RHom$ no espaço base $X$, o artigo adota a definição ao nível de objetos de Segal e constrói a categoria derivada como um quociente de Verdier da categoria homotópica das fatorações de matrizes pelos objetos acíclicos (seguindo Orlov e Preygel).
2. Do Local ao Global via Pilhas Quociente: Para recuperar uma noção de homs internos e realizar cálculos do local para o global, o autor observa que, embora os morfismos não formem feixes sobre o espaço com graduação ímpar $X$, eles formam feixes sobre a pilha quociente $[X/\mathbb{Z}_2]$. A graduação induzida em $[X/\mathbb{Z}_2]$ é par, permitindo a aplicação da teoria padrão para álgebras curvas sobre uma base com graduação par.
3. Transformação de Fourier–Mukai: O teorema principal é provado construindo um núcleo explícito de Fourier–Mukai. A equivalência é realizada via um bimódulo curvo sobre o espaço total do fibrado de linha e a cobertura dupla ramificada. A prova leva cuidadosamente em conta os sinais de Koszul decorrentes da natureza não comutativa do produto tensorial de álgebras com graduação ímpar.

Principais Contribuições e Resultados

• Teorema A (Equivalência Principal): O artigo estabelece uma equivalência entre a categoria derivada de uma cobertura dupla ramificada $\tilde{X} = \{y^2 = f\} \subset \text{Tot}(L)$ e a categoria de fatorações de matrizes no espaço total do fibrado de linha dual $\text{Tot}(L^{-1})$ com um potencial quadrático fibra a fibra.
  $$MF(\text{Tot}(L^{-1}), fq^2) \simeq D^b(\tilde{X})$$
  Aqui, a coordenada da fibra $q$ recebe grau ímpar, fazendo com que o potencial $fq^2$ tenha grau total 2. Este resultado globaliza a equivalência pontual $MF_{|q|=1}(\mathbb{A}^1, q^2) \simeq D^b(2 \text{ pts})$.

• Corolário B (Versão Orbifold): Uma equivalência análoga é provada para a pilha de raiz associada (quociente pilhar):
  $$MF([\text{Tot}(L^{-1})/\mathbb{Z}_2], fq^2) \simeq D^b(\sqrt{f}/X)$$
  Isso permanece no domínio das fatorações de matrizes com graduação par, pois a ação de $\mathbb{Z}_2$ na pilha quociente trivializa a graduação ímpar.

• Resolução do "Paradoxo" da Iteração: O artigo esclarece por que iterar a construção da cobertura dupla não leva trivialmente a uma contradição com a periodicidade par de Knörrer. Ao iterar a construção sobre uma base com graduação ímpar, a álgebra resultante torna-se não comutativa (especificamente, uma álgebra de Clifford). Essas álgebras não comutativas são triviais de Morita, resolvendo o aparente paradoxo de que uma cobertura dupla iterada (não trivial) deveria ser equivalente a uma estabilização par (trivial).

• Aplicações à Simetria Espelho e Resoluções:

  • Simetria Espelho: A estrutura acomoda naturalmente exemplos de simetria espelho unidimensional envolvendo superfícies orbifold e categorias de Fukaya enroladas, onde graduações ímpares surgem de campos de linha em pontos orbifold.
  • Equivalências do Tipo Orlov: O resultado fornece uma redução dimensional do teorema de Orlov para coberturas duplas, relacionando a categoria derivada de uma cobertura dupla ramificada Fano a fatorações de matrizes em um orbifold afim.
  • Resoluções Categóricas: O artigo aplica o teorema para construir e analisar resoluções categóricas de singularidades (por exemplo, singularidades de curvas $A_2$ e $A_3$) via compactificações parciais de modelos LG. Demonstra como subcategorias núcleo dessas resoluções podem ser computadas usando as equivalências estabelecidas, correspondendo a resultados de outras construções (por exemplo, Kuznetsov, Kalck).
  • Exoflops: A teoria é usada para reinterpretar "exoflops" (fenômenos onde resoluções de singularidades correspondem a compactificações parciais de modelos LG) no contexto da periodicidade ímpar, mostrando como o flop pode ser realizado via variação GIT sem estruturas orbifold.

Significado e Alegações
O autor afirma que o significado primário deste trabalho é fornecer uma afirmação global rigorosa para formas quadráticas de posto um que exige dados de graduação ímpar. O artigo argumenta que as abordagens existentes para fatorações de matrizes graduadas são inadequadas para este propósito porque assumem supercomutatividade e divisão par. Ao desenvolver a teoria das fatorações de matrizes com graduação ímpar e provar a equivalência com coberturas duplas ramificadas, o artigo:

1. Unifica a equivalência pontual (1.1) com construções geométricas globais.
2. Oferece uma nova ferramenta para entender fatorações de matrizes com superpotenciais da forma $fq^2$.
3. Fornece uma interpretação geométrica para a dualidade projetiva homológica no contexto de famílias de quádricas diagonais e coberturas duplas singulares.
4. Esclarece a relação entre coberturas duplas iteradas e álgebras de Clifford, resolvendo potenciais confusões relativas à iteração da periodicidade de Knörrer.

O artigo mantém-se modesto quanto às implicações futuras, notando que, embora os resultados sugiram conexões com a simetria espelho homológica para coberturas duplas singulares e resoluções categóricas mínimas, estas são áreas para investigação futura e não conclusões estabelecidas do trabalho atual. O trabalho é apresentado como um passo fundamental na formalização do lado "ímpar" da periodicidade de Knörrer.