A categorical flop in dimension one

Resumo Técnico: Um Flop Categorical em Dimensão Um

1. Problema e Contexto

O artigo aborda a questão da não unicidade das resoluções de singularidades no contexto da geometria algébrica e da teoria de categorias derivadas.

• Conjectura de BO/Kawamata: Acredita-se que resoluções crepantes não únicas de uma variedade singular $X$ sejam equivalentes ao nível das suas categorias derivadas ($D^b(X)$).
• Resoluções Categorias: Kuznetsov definiu "resoluções categóricas" como categorias trianguladas suaves que substituem a categoria derivada de uma resolução geométrica, mantendo propriedades de adjunção e fidelidade.
• O Caso Específico: O foco é a curva nodal $X = \{xy = 0\} \subset \mathbb{A}^2$. A resolução geométrica padrão (normalização) não é suficiente para singularidades irracionais. Trabalhos anteriores (Kuznetsov, Lekili, Polishchuk) introduziram resoluções categóricas baseadas em ordens de Auslander (álgebras não comutativas).
• A Questão Central: Existe uma estrutura de "flop" (troca birracional) análoga àquela observada em flops de dimensão 3 (como o flop de Atiyah) para esta curva nodal? Além disso, como classificar a "crepancia" (crepancy) dessas resoluções, dado que elas não são minimais e falham em serem fortemente crepantes?

2. Metodologia

O autor utiliza uma abordagem combinada de álgebra homológica, teoria de categorias derivadas e modelos de Landau-Ginzburg (LG).

• Construção Algébrica:
  • Define a álgebra $A$ como a ordem de Auslander associada à normalização da curva nodal: $A = H^0 \text{End}_X(\mathcal{O}_X \oplus \pi_* \mathcal{O}_{\tilde{X}})$.
  • Identifica sub-álgebras $A_x$ e $A_y$ obtidas por contração de objetos excepcionais, representando "resoluções menores".
  • Estabelece um diagrama de "telhado" (roof) entre as categorias derivadas $D^b(A)$, $D^b(A_x)$, $D^b(A_y)$ e $D^b(X)$.
• Análise de Funtores:
  • Estuda os funtores de empurrar e puxar (push-pull) entre essas categorias.
  • Demonstra que a composição de funtores entre as resoluções menores é uma equivalência derivada.
  • Analisa a autoequivalência resultante da composição "flop-flop" (ir de uma resolução menor à outra e voltar), identificando-a como um twist esférico (spherical twist) em torno de um objeto esférico.
• Interpretação Geométrica via LG:
  • Utiliza a construção "exoflop" de Aspinwall para interpretar as resoluções categóricas como categorias de B-branas em compactificações parciais de modelos de Landau-Ginzburg.
  • Relaciona a estrutura algébrica com a geometria do lugar crítico do superpotencial e com a periodicidade de Knörrer.
• Definição de Novas Invariantes:
  • Propõe uma condição intermediária de crepancia ("fairly crepant") baseada no comportamento do funtor de Serre relativo no subcategoria núcleo (kernel) da resolução.

3. Principais Contribuições e Resultados

A. Estrutura de Flop Categorical em Dimensão 1
O artigo demonstra que a estrutura de flop, tipicamente associada a 3-folds (como o flop de Atiyah), ocorre em dimensão um para curvas nodais.

• Existe um diagrama de equivalências derivadas:
  $$D^b(A_x) \xrightarrow{\Phi} D^b(A_y)$$
• A composição $\Phi \circ \Phi^{-1}$ (flop-flop) em $D^b(A_x)$ é dada por um twist esférico em torno de um objeto esférico $F_x$.
• Os objetos $F_x$ e $F_y$ são 3-esféricos (3-spherical), apesar de a variedade base ser de dimensão 1. Esta disparidade é crucial para a análise de crepancia.

B. Classificação de Crepancia e a Condição "Fairly Crepant"
O autor refina a classificação de resoluções categóricas:

1. Fracamente Crepante (Weakly Crepant): O funtor de Serre relativo preserva o núcleo da resolução. Todas as resoluções discutidas ($A, A_x, A_y$) são fracamente crepantes.
2. Fortemente Crepante (Strongly Crepant): O funtor de Serre relativo é a identidade no núcleo. Nenhuma das resoluções aqui é fortemente crepante (pois os núcleos não são Calabi-Yau de índice 0).
3. Novo Conceito: "Fairly Crepant" (Justamente Crepante):
   • Define-se uma resolução como fairly crepant se o núcleo for invariante pelo funtor de Serre e este atuar como um deslocamento homológico (shift) $[n]$ no núcleo.
   • O índice $n$ é chamado de índice de crepancia.
   • Resultado Chave: A resolução mínima $D^b(A_x)$ é fairly crepant com índice 2. Isso significa que o núcleo é gerado por um objeto 3-esférico, e o funtor de Serre age como um shift de 2 no núcleo (relacionado à dimensão da variedade base).

C. Interpretação via Modelos Landau-Ginzburg

• A resolução $D^b(A)$ é equivalente à categoria de fatorizações de matrizes de um modelo LG $(A^3, xyz)$.
• As resoluções menores ($A_x, A_y$) correspondem a remover pontos orbifold ou objetos excepcionais específicos na compactificação parcial do modelo LG.
• A não-crepancia forte é explicada geometricamente pela presença de pontos orbifold e pela não trivialidade global do fibrado canônico na compactificação torica.

D. Generalizações

• O resultado estende-se a qualquer curva nodal ou cuspidal.
• Para singularidades nodais isoladas em dimensão $d$, o índice de crepancia segue um padrão de paridade (tabela apresentada no artigo), sendo 0 apenas quando resoluções geométricas crepantes existem (dimensões pares específicas).

4. Significado e Implicações

• Unificação de Estruturas: O trabalho conecta a teoria de resoluções categóricas de singularidades irracionais (curvas) com a teoria de flops em dimensões superiores, sugerindo que a estrutura de "flop-flop" como twist esférico é um fenômeno universal em resoluções não-minimais.
• Refinamento da Teoria de Minimalidade: A introdução da condição "fairly crepant" oferece uma ferramenta potencial para identificar resoluções categóricas minimais. A conjectura do autor é que resoluções minimais devem ser fairly crepant, e o índice de crepancia pode servir como um invariante numérico para distinguir entre resoluções que podem ser contraídas e aquelas que são minimais.
• Conexão com Espelho Homológico (Mirror Symmetry): A interpretação via categorias de Fukaya parcialmente envoltas (wrapped Fukaya categories) de superfícies "pair-of-pants" com "stops" (paradas) fornece uma visualização geométrica clara dos funtores de twist e das equivalências, ligando a álgebra não-comutativa à topologia simplética.
• Limites da Crepancia Forte: O artigo demonstra que a condição de "forte crepancia" é muito restritiva para singularidades irracionais, mesmo em dimensões baixas, e que a noção de "fraca crepancia" é insuficiente para garantir minimalidade. A condição intermediária proposta preenche essa lacuna teórica.

Em suma, o artigo estabelece que as resoluções categóricas de curvas nodais exibem uma rica estrutura de flop análoga à geometria de dimensão superior, e propõe uma nova classificação de crepancia que melhor captura a natureza das resoluções minimais em contextos não-comutativos.