Logarithmic Fulton--MacPherson configuration spaces

Resumo Técnico: Espaços de Configuração Logarítmicos de Fulton–MacPherson

Enunciado do Problema
O artigo aborda duas questões fundamentais relativas aos espaços de configuração de Fulton–MacPherson (FM), $FM_n(X)$, que são compactações de cruzamentos normais simples (SNC) do espaço de configuração ordenado de $n$ pontos distintos em uma variedade projetiva suave $X$.

1. Compactação Relativa: Dada uma variedade não própria $U$ com uma compactação SNC $(X, D)$, como pode-se construir uma compactação SNC do espaço de configuração $Conf_n(U)$? Trabalhos anteriores de Kim e Sato [KS09] abordaram o caso em que $D$ é suave; este artigo busca uma solução para o caso geral em que $D$ é um divisor SNC geral.
2. Degeneração: Dada uma degeneração $\omega: W \to B$ de $X$ sobre uma curva $B$ com fibra especial SNC, como o espaço $FM_n(X)$ degenera? Embora Routis [Rou14] tenha respondido a isso para fronteiras suaves, o caso geral exige novas técnicas.

Metodologia
O autor emprega técnicas da geometria logarítmica e tropical, utilizando especificamente leques de Artin, pilhas cónicas e tropicalização, para generalizar a construção clássica de FM. A abordagem prossegue em duas etapas principais:

1. Construção de Expansões de Grade:

   • O autor primeiro constrói um espaço de módulos $(X|D)[n]$ de "expansões de grade" estáveis com $n$ pontos marcados.
   • Isso depende da tropicalização $\Sigma_X$ do par $(X, D)$, que é um complexo cônico poliedral racional.
   • A construção envolve definir "subdivisões de grade marcadas" de $\Sigma_X$. Estas são subdivisões poliedrais induzidas por $n$ pontos na tropicalização, dispostos em uma estrutura semelhante a uma grade (interseções de subdivisões de raios).
   • Usando a equivalência entre pilhas cónicas e leques de Artin, o autor constrói uma família universal de expansões de grade sobre uma pilha $En(X|D)$. O espaço de módulos $(X|D)[n]$ é então definido como uma modificação logarítmica de $X^n$ obtida pelo pullback desta família universal.
   • Este espaço $(X|D)[n]$ parametriza pontos em degenerações de $X$ ao longo de $D$ que separam os pontos da fronteira.

2. Blow-ups Iterados para Separação de Pontos:

   • Seguindo a estratégia original de Fulton–MacPherson, o autor realiza um blow-up iterado de $(X|D)[n]$ ao longo das diagonais (e seus transformados dominantes) para separar os $n$ pontos uns dos outros.
   • Isso produz o Espaço Logarítmico de Fulton–MacPherson, denotado $FM_n(X|D)$.
   • Uma família universal $\pi_{FM}: FM_n(X|D)^+ \to FM_n(X|D)$ é construída, que parametriza expansões de grade FM estáveis com $n$ pontos marcados (degenerações FM das expansões de grade).

3. Degeneração dos Espaços FM:

   • Para uma degeneração $\omega: W \to B$, o autor constrói um espaço de módulos $W[n]_\omega$ de "degenerações expandidas de rede-simples" estáveis com $n$ pontos marcados.
   • Isso envolve "subdivisões de rede-simples" da tropicalização da degeneração, adaptadas à curva base $B$.
   • Um blow-up iterado de $W[n]_\omega$ produz a degeneração $FM_n(W/B) \to B$.

Principais Contribuições e Resultados

• Teorema A (Compactação Logarítmica FM): Para um par SNC $(X, D)$, o esquema $FM_n(X|D)$ é uma compactação de cruzamentos normais simples de $Conf_n(X \setminus D)$. Ele representa o pilha de módulos de expansões de grade FM estáveis com $n$ pontos marcados. O espaço admite uma estratificação por tipos combinatórios, que correspondem a "florestas plantadas" (um análogo tropical envolvendo subdivisões de grade e árvores enraizadas).
• Teorema B (Degeneração Suave Logarítmica): Dada uma degeneração SNC $\omega: W \to B$, o morfismo $FM_n(W/B) \to B$ é uma degeneração própria, plana e suave logarítmica de $FM_n(X)$ com fibras reduzidas. Ele carrega uma família universal de degenerações expandidas FM estáveis.
• Teorema C (Fórmula de Degeneração): As componentes irredutíveis da fibra especial de $FM_n(W/B)$ estão em bijeção com "tipos combinatórios rígidos" (tipos onde o módulo tropical é um vértice). Cada tal componente é uma modificação própria biracional de um produto de espaços logarítmicos FM associados às componentes da expansão subjacente. Especificamente, se $\rho$ é um tipo rígido, a componente $FM_n(W/B)(\rho)$ mapeia para $\prod_{v} FM_{I_v}(Y_v | D_v)$, onde $Y_v$ são componentes da expansão da fibra especial.
• Escolha Canônica de Expansões: Ao contrário de trabalhos anteriores (por exemplo, Maulik–Ranganathan) onde as expansões dependem de tipos tropicais de mapas, este artigo estabelece uma escolha canônica de expansões ("expansões de grade" e "expansões de rede-simples") derivadas de subdivisões poliedrais. Isso permite uma pilha bem definida de expansões representável por uma pilha algébrica.
• Tropicalização: A tropicalização de $FM_n(X|D)$ é identificada como o espaço de módulos de florestas plantadas satisfazendo condições específicas. Quando $D$ é vazio, isso recupera o espaço de árvores enraizadas descrito em [FM94].

Significado e Alegações
O artigo alega fornecer uma estrutura sistemática para lidar com espaços de configuração em variedades com fronteiras SNC e suas degenerações, estendendo a teoria clássica de Fulton–MacPherson para o contexto logarítmico.

• Generalização: Generaliza as construções de Kim–Sato [KS09] (para fronteiras suaves) e Abramovich–Fantechi [AF17] (para expansões) para o caso de divisores SNC arbitrários e degenerações.
• Estrutura Canônica: Ao utilizar uma escolha canônica de subdivisões (grade e rede-simples), o autor evita a ambiguidade de escolher expansões baseadas em tipos de mapas, permitindo uma descrição mais granular dos espaços de módulos.
• Aplicações: O autor nota aplicações potenciais em:
  • Definir a teoria de Gromov–Witten não ramificada logarítmica para pares $(X, D)$ (trabalho em andamento [Mok26]).
  • Derivar uma fórmula de degeneração para invariantes de Gromov–Witten não ramificados, potencialmente ligando-os a invariantes de Gopakumar–Vafa (como conjecturado por Pandharipande e provado por Nesterov [Nes25b] no caso Fano).
  • Investigar a teoria de interseção dos espaços FM clássicos e logarítmicos, sugerindo que séries geradoras de integrais de classes tautológicas podem ser invariantes de cobordismo expressíveis via polinômios universais em números de Chern.

O artigo permanece modesto quanto a essas aplicações, enquadrando-as como "potenciais" e "trabalho em andamento", enquanto enfatiza os resultados estruturais relativos à construção e propriedades dos próprios espaços de configuração.