Minimal resolutions of toric substacks by line bundles

Resumo Técnico: Resoluções Mínimas de Subempilhamentos Toricos por Fibrados de Linha

1. Problema e Motivação

O artigo aborda um problema fundamental na geometria algébrica e na álgebra comutativa: a construção de resoluções mínimas para o fecho de estrutura de subempilhamentos toricos (toric substacks) dentro de empilhamentos toricos suaves.

• Contexto: Resoluções de diagonais e feixes coerentes em variedades toricas são bem compreendidos em nível de cohomologia (fórmulas combinatórias de Fulton-Sturmfels). Recentemente, Hanlon, Hicks e Lazarev (HHL) construíram resoluções celulares canônicas para o pushforward do feixe de estrutura de subempilhamentos toricos, utilizando uma coleção específica de fibrados de linha (a coleção Bondal-Thomsen).
• A Lacuna: Embora a resolução HHL seja canônica e construtiva, ela raramente é mínima. Métodos existentes para obter resoluções mínimas a partir de resoluções não mínimas geralmente envolvem a remoção iterativa de somandos redundantes usando teoria de Morse discreta ou algébrica. No entanto, obter uma construção canônica e puramente combinatória da resolução mínima em si, bem como uma descrição explícita de seus diferenciais, permanecia um problema difícil. Trabalhos anteriores (como Favero e Sapronov) forneceram fórmulas para os números de Betti, mas não a construção explícita dos diferenciais.

2. Metodologia

A abordagem de Han combina ferramentas de topologia algébrica, teoria de representações e álgebra linear de forma inovadora. A estratégia central baseia-se em dois pilares principais:

1. Lema de Perturbação Homológica (Homological Perturbation Lemma - HPL):

   • O autor trata a resolução HHL como um complexo perturbado.
   • Define um complexo filtrado associado à estrutura de ordem parcial da coleção Bondal-Thomsen.
   • O complexo associado graduado (obtido ao ignorar termos de ordem superior) é homotopicamente equivalente à homologia do complexo original (com diferenciais triviais).
   • O objetivo é usar o HPL para "perturbar" a homologia trivial de volta para a resolução mínima, calculando o novo diferencial perturbado.

2. Inversas de Moore-Penrose:

   • Um desafio crítico no HPL é a escolha de um mapa de homotopia ($h$) que contraia o complexo graduado para sua homologia. Escolhas arbitrárias de $h$ levariam a resoluções não canônicas.
   • Han utiliza a inversa de Moore-Penrose dos diferenciais do complexo de cadeias celular (que calcula a homologia de Borel-Moore das estratificações de Bondal).
   • A inversa de Moore-Penrose é única e não requer escolhas auxiliares (como ordenações de bases ou emparelhamentos de Morse), garantindo que a construção resultante seja canônica.
   • Além disso, a natureza combinatória da fórmula da inversa de Moore-Penrose (baseada em "hedges" ou arbustos e estacas) permite expressar os diferenciais finais de forma puramente combinatória.

3. Construção Principal e Resultados Chave

O artigo desenvolve uma construção passo a passo para obter a resolução mínima:

• Classificação de Pares de Células: Os morfismos na resolução HHL são divididos em dois tipos baseados na ordem parcial da coleção Bondal-Thomsen ($BT$):

  • Tipo I: Pares $(\sigma, \tau)$ onde $O(\sigma) > O(\tau)$. O peso é o diferencial original HHL ($HHL_{\sigma, \tau}$).
  • Tipo II: Pares $(\sigma, \tau)$ onde $O(\sigma) = O(\tau)$. O peso é definido pela inversa de Moore-Penrose do diferencial do complexo celular restrito à classe de isomorfismo de fibrados ($MP_{\sigma, \tau}$).

• Caminhos Zig-Zag e Pesos: O diferencial da resolução mínima ($d_{min}$) é construído somando os pesos de todos os "caminhos" possíveis entre duas células $\sigma$ e $\tau$. Um caminho é uma sequência alternada de pares de Tipo I (azul) e Tipo II (vermelho).

  • O peso de um caminho é o produto dos pesos HHL e MP ao longo do caminho.
  • O sinal do termo depende do comprimento do caminho (número de pares de Tipo II).

• Teorema Principal (Teorema 1.1 / 4.8):
  O complexo obtido pela projeção do complexo perturbado (via HPL usando a inversa de Moore-Penrose) no subespaço harmônico é a resolução mínima do pushforward do feixe de estrutura $i_* \mathcal{O}_Y$ por fibrados de linha da coleção Bondal-Thomsen.

• Descrição Combinatória (Teorema 5.7):
  Os diferenciais da resolução mínima são dados explicitamente por fórmulas combinatórias que envolvem somas sobre caminhos na estratificação de Bondal, utilizando determinantes de submatrizes dos diferenciais celulares (fórmula da "hedge").

• Resolução Virtual (Teorema 1.2):
  No contexto do anel de Cox $S$ de uma variedade torica projetiva simplicial, a construção fornece uma resolução virtual mínima para o módulo $S/I_Y$ (onde $I_Y$ é o ideal definidor da subvariedade), generalizando resultados anteriores para o contexto de álgebra comutativa.

4. Significado e Contribuições

• Canonicidade: A principal contribuição é a provisão de uma construção canônica e puramente combinatória para a resolução mínima. Diferente de métodos anteriores que dependiam de escolhas arbitrárias (como emparelhamentos de Morse perfeitos), esta construção depende apenas da estratificação de Bondal intrínseca ao problema.
• Fórmula para Diferenciais: O artigo fornece a primeira descrição explícita e combinatória dos diferenciais de tais resoluções mínimas, indo além da simples contagem de números de Betti.
• Independência da Simetria Espelho: A prova não depende de nenhuma forma de simetria espelho (mirror symmetry), oferecendo uma prova puramente algébrica e geométrica.
• Conexão com Álgebra Linear: A aplicação criativa da inversa de Moore-Penrose (geralmente usada em análise numérica) para resolver problemas de homologia em geometria algébrica é uma inovação metodológica significativa.
• Verificação de Resultados Anteriores: Como corolário, a construção prova a fórmula dos números de Betti de Favero-Sapronov de forma puramente algébrica.

5. Exemplo Ilustrativo

O artigo inclui um exemplo detalhado no plano projetivo ponderado $\mathbb{P}(3, 1, 1)$ com uma subvariedade pontual.

• O autor demonstra como calcular os caminhos entre as células da estratificação.
• Mostra como as inversas de Moore-Penrose (calculadas como médias de splittings de "hedges") introduzem frações nos coeficientes intermediários.
• O resultado final é uma resolução mínima com diferenciais polinomiais explícitos, comparada com uma resolução obtida via emparelhamento de Morse (que produz uma forma mais simples, mas não canônica).

Em suma, o trabalho de Han resolve um problema aberto na teoria de resoluções toricas, estabelecendo uma ponte robusta entre a teoria de perturbação homológica, a álgebra linear de Moore-Penrose e a geometria combinatória torica.