Birational Classification of Orbifold Compactified Jacobians

Resumo Técnico: Classificação Birracional de Jacobianas Compactificadas Orbifold

Enunciado do Problema
O artigo aborda o problema de classificação birracional equivariante orbifold para famílias de compactificações toroidais de um grupo $G$ sobre uma base toroidal $S$. Especificamente, foca-se em casos onde $G$ é um toro algébrico, um esquema semiabeliano ou a Jacobiana de uma família de curvas nodais. Os autores trabalham no âmbito dos pilhas (stacks) de Deligne-Mumford (DM), adotando a definição de equivalência birracional proposta por Kresch e Tschinkel, que exige a existência de uma correspondência com morfismos próprios, birracionais e representáveis. Esta definição distingue as classes birracionais orbifold das variedades algébricas, pois leva em conta a estrutura de pilha (grupos de isotropia) e impede a trivialização das classes orbifold em classes de uma única variedade.

A dificuldade central reside no fato de que, enquanto a classificação birracional clássica de variedades toricas completas é trivial (determinada apenas pela dimensão), a versão orbifold produz infinitas classes distintas. O artigo visa classificar essas classes para esquemas semiabelianos e Jacobianas, generalizando resultados recentes de Schmitt sobre orbifolds toricos.

Metodologia
Os autores empregam a linguagem da geometria logarítmica para traduzir o problema de classificação geométrica em um problema combinatório. A metodologia prossegue através de várias etapas-chave:

1. Compactificações Logarítmicas e Leques de Artin: Os autores definem compactificações log de um esquema semiabeliano $G$ como morfismos próprios, log-suaves e $G$-equivariantes $X \to S$ contendo $G$ como um substack aberto denso. Eles estabelecem uma correspondência entre esses objetos geométricos e leques de Artin (pilhas sobre a categoria de cones poliedrais racionais). Especificamente, mostram que a categoria de compactificações log é equivalente à categoria de "compactificações log parciais combinatórias" via um funtor de tropicalização.
2. Correspondência Tropical: Um funtor de "tropicalização" $\Sigma_?$ é construído, mapeando compactificações log para "compactificações tropicais" (subdivisões de variedades semiabelianas tropicais). Inversamente, um funtor de "realização geométrica" $R_?$ reconstrói o objeto geométrico a partir dos dados combinatórios. Os autores provam que essa correspondência é uma equivalência de categorias, reduzindo o problema geométrico à classificação de compactificações tropicais.
3. Objetos Generalizados e Minimalidade: Para alcançar uma classificação completa, os autores introduzem compactificações log generalizadas (permitindo certos morfismos não representáveis no limite combinatório) e objetos mínimos. Eles demonstram que cada classe de equivalência birracional contém um objeto mínimo único. Este objeto mínimo serve como representante canônico da classe.
4. Solução Combinatória: O problema de identificar objetos mínimos é resolvido combinatoriamente. Os autores definem "leques de pilha" e "leques mínimos" (subconjuntos de reticulados satisfazendo propriedades específicas de interseção e invariância). Eles provam que as compactificações tropicais generalizadas mínimas correspondem bijectivamente a esses leques mínimos.
5. Propriedade de Mapeamento de Néron: Um passo técnico crucial envolve o uso da propriedade de mapeamento de Néron para Jacobianas logarítmicas (estabelecida por Holmes et al.). Esta propriedade garante que qualquer compactificação log de uma Jacobiana admite um morfismo equivariante único para a Jacobiana logarítmica, permitindo aos autores tratar Jacobianas dentro do mesmo quadro que toros algébricos.

Principais Contribuições e Resultados

• Generalização dos Resultados de Schmitt: O artigo estende a classificação de Schmitt de orbifolds toricos (que usava "colorações de sub-reticulados") para o contexto mais amplo de esquemas semiabelianos e Jacobianas. Fornece uma interpretação geométrica das colorações de sub-reticulados de Schmitt como os leques de compactificações log mínimas.
• Classificação de Jacobianas Compactificadas: Os autores fornecem uma classificação birracional completa para Jacobianas compactificadas de curvas log-suaves. Estabelecem uma bijeção entre o conjunto de classes de equivalência birracional de Jacobianas compactificadas e o conjunto de compactificações tropicais generalizadas mínimas da Jacobiana tropical.
• Compactificações Log Mínimas: O artigo prova que, para qualquer esquema semiabeliano $G$ (sob condições específicas), a categoria de compactificações log contém um objeto mínimo único, denotado $G^{\log}$. Embora qualquer compactificação log mapeie para $G^{\log}$, o mapa é apenas uma equivalência birracional se for representável. Isso esclarece a estrutura das classes birracionais: elas estão em correspondência um-para-um com as compactificações log generalizadas mínimas.
• Descrição Combinatória: Os autores fornecem uma descrição combinatória explícita dessas classes mínimas. Para um toro $T$, as classes correspondem a "colorações de sub-reticulados" (generalizadas para o caso semiabeliano). Para Jacobianas, correspondem a subconjuntos da Jacobiana tropical definidos por leques de pilha completos.
• Redução a Conjectura: O caso semiabeliano geral é reduzido a uma conjectura aberta sobre a propriedade de mapeamento de Néron para variedades abelianas log. Os autores afirmam que, se essa conjectura for válida, seus resultados se generalizam para famílias arbitrárias de variedades semiabelianas que admitam uma compactificação por uma variedade abeliana log.

Significado e Afirmações
O artigo afirma colocar os recentes resultados combinatórios de Schmitt [Sch24] em um quadro conceitual natural dentro da geometria logarítmica. Ao utilizar a linguagem de esquemas log e leques de Artin, os autores interpretam geometricamente as colorações de sub-reticulados como os dados que definem compactificações log mínimas.

O significado do trabalho reside em sua capacidade de resolver um problema de classificação "estritamente mais difícil" (classificação birracional orbifold) reduzindo-o a um problema combinatório envolvendo geometria tropical e subdivisões de reticulados. Os autores enfatizam que sua noção de equivalência birracional é relativa à base $S$, o que é um refinamento necessário para famílias de variedades.

O artigo não afirma resolver o caso semiabeliano geral incondicionalmente, mas sim reduzi-lo a uma conjectura bem motivada (Conjectura 1) concernente à propriedade de mapeamento de Néron. Os resultados são apresentados como uma generalização e interpretação geométrica de trabalhos existentes, fornecendo um quadro unificado para entender a geometria birracional de variedades toricas, esquemas semiabelianos e Jacobianas no contexto orbifold.