Newton-Okounkov Bodies and Jet Separation: Canonical-Free and Multipoint Generalizations

Resumo Técnico: Corpos de Newton-Okounkov e Separação de Jatos: Generalizações Livres do Canônico e Multiponto

Enunciado do Problema
O artigo aborda o problema de estabelecer critérios efetivos para a separação de $k$-jatos (e consequentemente, a $k$-amplitude de jatos) em variedades projetivas suaves, utilizando a geometria convexa dos corpos de Newton-Okounkov (NO). Especificamente, busca-se generalizar o critério existente de separação de jatos de K¨uronya e Lozovanu, que depende da inclusão de um simplex padrão invertido dentro de um corpo de Newton-Okounkov infinitesimal.

O critério existente (Teorema 1.1 no artigo, citando [15]) afirma que, se um simplex padrão invertido de tamanho $n+k+\varepsilon$ estiver contido no corpo NO infinitesimal de um divisor $D$ em um ponto $x$, então o fibrado adjunto $K_X + D$ separa $k$-jatos em $x$. O artigo identifica três limitações nesta estrutura existente que motivam o trabalho atual:

1. Dependência do Divisor Canônico: O critério aplica-se a $K_X + D$ em vez do próprio divisor $D$, complicando aplicações diretas a questões de positividade sobre $D$.
2. Restrição a Ponto Único: O critério é formulado para um único ponto, ao passo que muitos problemas geométricos (por exemplo, o Grande Teorema de Matsusaka) exigem separação simultânea de jatos em múltiplos pontos prescritos.
3. Falta de Computabilidade: A dependência de $K_X$ frequentemente obscurece os limites efetivos necessários para que $D$ alcance propriedades específicas de separação de jatos.

Metodologia
O artigo emprega a teoria dos corpos de Newton-Okounkov, especificamente estendendo a estrutura de corpos NO infinitesimais e multiponto. A metodologia integra os seguintes componentes:

• Corpos NO Infinitesimais e Multiponto: Os autores utilizam a construção de corpos NO associados a bandeiras infinitesimais (blow-ups em pontos) e estendem isso para configurações multiponto através da estrutura de Trusiani [13]. Isso envolve definir semigrupos graduados baseados em valuações que distinguem seções em pontos distintos.
• Geometria Convexa e Inclusão de Simplex: A condição geométrica central permanece a inclusão de um simplex padrão invertido $\Delta^{-1}_{n+k+\varepsilon}$ dentro do corpo NO relevante. O artigo aproveita a relação entre o tamanho deste simplex e a ordem da separação de jatos.
• Teoremas de Anulação: As provas dependem fortemente da anulação de Nadel para ideais multiplicadores assintóticos. A estratégia envolve construir um divisor auxiliar $B$ tal que a origem esteja em seu corpo NO, garantindo que o lugar base assintótico evite os divisores excepcionais do blow-up. Isso permite a aplicação de teoremas de anulação para provar a sobrejetividade dos mapas de restrição necessários para a separação de jatos.
• Subaditividade e Translação: Para os resultados livres do canônico, o artigo utiliza a propriedade de subaditividade dos corpos NO e o fato de que divisores amplos possuem corpos NO contendo a origem. Isso permite a translação de condições de um divisor "livre do canônico" para o fibrado adjunto exigido pelos teoremas de anulação.

Principais Contribuições e Resultados
O artigo apresenta três teoremas principais que generalizam o critério de K¨uronya-Lozovanu:

1. Separação de Jatos Livre do Canônico (Teorema 3.1):
   Os autores provam que, para um divisor amplo $D$ e um ponto $x$, existe um inteiro computável $m(D)$ (dependendo apenas de $D$) tal que, se o simplex padrão invertido de tamanho $n+k+\varepsilon$ estiver contido no corpo NO de $m\pi^*(D)$, então o divisor $(m + m(D)) \cdot D$ separa $k$-jatos em $x$. Isso remove a dependência explícita de $K_X$ na conclusão final, fornecendo um critério direto para $D$.

2. Separação de Jatos Multiponto (Teorema 3.3):
   O critério é estendido para um conjunto de pontos lisos distintos $Z = \{p_1, \dots, p_N\}$. Se o simplex padrão invertido de tamanho $n+k+\varepsilon$ estiver contido no corpo NO infinitesimal multiponto $\Delta_{\tilde{Y}_\bullet, j}(\pi^*(D))$ para todo $j$, então $K_X + D$ separa $k$-jatos simultaneamente em todos os pontos de $Z$.

3. Separação de Jatos Multiponto Livre do Canônico (Teorema 3.4):
   Combinando as duas generalizações anteriores, o artigo estabelece um critério para separação simultânea de $k$-jatos em múltiplos pontos para um divisor da forma $(m + m(D)) \cdot D$. Este resultado fornece uma estrutura computacional para testar fenômenos de positividade via geometria convexa, sem depender do fibrado adjunto na declaração final.

Cálculo Explícito e Aplicação
Para demonstrar a eficácia destes critérios, o artigo fornece um cálculo explícito para uma cobertura dupla de um produto de duas curvas elípticas ($Y \to E \times E$).

• Os autores calculam o limiar $m(D_\ell)$ necessário para tornar $m(D_\ell)D_\ell - K_Y$ amplo.
• Eles calculam o tamanho relevante do corpo NO usando constantes de Seshadri na base da superfície abeliana.
• O resultado produz um limite numérico concreto: $(\ell^2 - 2\ell + 7)D_\ell$ é 1-jato amplo (muito amplo) na cobertura dupla. Isso ilustra como os múltiplos necessários crescem com a ordem do jato e os parâmetros da cobertura.

Significância
O artigo reivindica significância ao fornecer critérios combinatórios e de geometria convexa para separação de jatos que são:

• Livres do Canônico: Permitindo aplicação direta ao fibrado de linha $L$ em si, em vez de $K_X + L$.
• Multiponto: Capazes de lidar com separação simultânea em múltiplos pontos, o que é essencial para questões de positividade global como o Grande Teorema de Matsusaka.
• Computáveis: Oferecendo limites explícitos (via $m(D)$) que podem ser calculados para exemplos geométricos específicos, conforme demonstrado no caso da cobertura dupla.

O trabalho contribui para a filosofia de usar a geometria convexa (corpos NO) para resolver problemas clássicos em geometria algébrica relacionados à positividade efetiva de fibrados de linha. Ele preenche a lacuna entre noções de positividade local (separação de jatos) e invariantes geométricos globais através da lente de valuações infinitesimais e multiponto.