Arakelov inequality for families of pairs

Resumo Técnico: Desigualdade de Arakelov para Famílias de Pares

Enunciado do Problema
Este artigo aborda a extensão da desigualdade clássica de Arakelov, originalmente formulada para famílias de curvas, à geometria algébrica de dimensão superior. Especificamente, busca estabelecer limites numéricos para famílias de pares $(X, \Delta)$ mapeando para uma base projetiva suave $S$. O cenário envolve um par projetivo de cruzamento normal simples (snc) e log-canônico semi (slc) $(X, \Delta)$ e um morfismo $f: (X, \Delta) \to S$. O objetivo é limitar a primeira classe de Chern de subfeixes coerentes de imagens diretas de feixes pluricanônicos, contabilizando a ramificação e a geometria da base. Este trabalho visa fornecer desigualdades efetivas que se apliquem a famílias surgindo na fronteira dos espaços de módulos de variedades, onde o espaço total pode possuir singularidades (pares snc) em vez de ser suave ou log-suave.

Metodologia
A estratégia de prova baseia-se numa combinação de teoria de Hodge, geometria birracional e a construção de mergulhos específicos em variações de estruturas de Hodge.

1. Redução Estritamente Semiestável: Os autores utilizam um processo de redução (Proposição 2.4) para transformar a família dada numa que é estritamente semiestável em codimensão um. Isto envolve uma mudança de base finita e sobrejetiva $\sigma: \tilde{S} \to S$ e uma dessingularização functorial $\tau: \tilde{X} \to X \times_S \tilde{S}$. Esta etapa permite a aplicação de técnicas que exigem semiestabilidade estrita, ao mesmo tempo que controla o divisor de ramificação $R_f$.
2. Produtos Fibrados e Somas Alternadas: Uma inovação técnica central é o uso de produtos fibrados. Em vez de mergulhar o determinante da imagem direta de feixes pluricanônicos num produto fibrado de alta ordem (como feito em trabalhos anteriores como Kovács-Taji [18]), este artigo emprega um mergulho resultante de uma construção de soma alternada. Especificamente, constrói-se uma injeção:
   $$\det f_*(\mathcal{O}_X(rK_{X/S}))^{\otimes r} \hookrightarrow \bigoplus_{i=1}^{lr} f_*(\mathcal{O}_X(rK_{X/S})) \simeq f_{[lr]*}(\mathcal{O}_{X^{[lr]}}(rK_{X/S}))$$
   onde $l$ é o posto do feixe. Esta construção conduz a uma desigualdade quantitativamente mais afiada porque a ordem do produto fibrado $lr$ é geralmente menor que a ordem $\mu$ exigida em mergulhos anteriores.
3. Desigualdades Teóricas de Hodge: Os autores aproveitam a desigualdade de Arakelov teórica de Hodge estabelecida em seu trabalho anterior [24]. Ao mergulhar os feixes relevantes na extensão canônica de uma variação de estrutura de Hodge na base, utilizam a positividade do fibrado cotangente logarítmico $\Omega_S(\log D)$ e a semiestabilidade parabólica da extensão de Deligne para derivar os limites numéricos.
4. Controle de Ramificação: A definição do divisor de ramificação $R_f$ (Definição 2.3) é crucial. É definido como o menor divisor $\mathbb{Q}$ efetivo que satisfaz uma desigualdade específica envolvendo o pullback do discriminante e a parte vertical de $\Delta$. O artigo prova que, para famílias estritamente semiestáveis em codimensão um, $R_f$ se anula.

Principais Contribuições e Resultados

• Teorema 1.1 (Desigualdade Principal): O artigo estabelece uma desigualdade geral do tipo Arakelov para um morfismo $f: (X, \Delta) \to S$ onde $(X, \Delta)$ é um par snc slc. Para um subfeixe coerente $W$ de posto $l$ dentro de $(f_*\mathcal{O}_X(kK_{X/S} + \lfloor k\Delta \rfloor))^{\otimes r}$, e assumindo que $K_S + D$ é pseudo-efetivo, a desigualdade limita o número de interseção $c_1(W) \cdot \alpha$ para qualquer classe de curva móvel $\alpha$. O limite envolve termos dependentes da dimensão da base ($d$), da dimensão relativa ($n$), do posto ($l$), da potência tensorial ($r$) e do divisor de ramificação $R_f$.

  • No caso em que $\dim S = 1$, a desigualdade torna-se afiada (Teorema 1.1, Eq. 1.2), recuperando e refinando resultados de Viehweg-Zuo e outros.
  • Quando $K_S + D$ é amplo, é fornecida uma estimativa refinada envolvendo $(K_S + D)^{d-1}$.

• Comparação com Trabalhos Anteriores: O artigo contrasta explicitamente sua técnica com Kovács-Taji [18]. Enquanto Kovács-Taji utilizou mergulhos em produtos fibrados de alta ordem ($\mu$-plenos) para acessar estruturas de Hodge, este artigo usa a construção de soma alternada para mergulhar em produtos fibrados de ordem inferior ($lr$-plenos). Esta redução na ordem do produto fibrado produz um limite quantitativo mais afiado. Além disso, o artigo explora a semiestabilidade parabólica da extensão de Deligne para alcançar otimalidade no caso de curvas.

• Teorema 1.2 (Limite de Volume de Iitaka): Como consequência da desigualdade principal, o artigo deriva um limite superior para o volume de Iitaka de espaços fibrados algébricos $f: X \to S$ (onde $S$ é uma curva) cuja fibra genérica geométrica admite um bom modelo minimal. O limite relaciona o volume de Iitaka do espaço total ao da fibra, ao grau do divisor base $K_S + D$ e ao divisor de ramificação.

Significado e Afirmações
O artigo afirma estabelecer uma desigualdade do tipo Arakelov de dimensão superior sobre os números complexos que é aplicável a famílias com espaços totais singulares (pares snc slc), estendendo assim o escopo além de famílias suaves ou log-suaves. Esta generalidade é significativa para o estudo dos espaços de módulos de variedades, particularmente em suas fronteiras.

Os autores afirmam que seu resultado fornece uma versão efetiva da desigualdade estabelecida por Kovács-Taji [18], oferecendo um limite quantitativamente mais afiado devido à técnica de mergulho refinada. Adicionalmente, o artigo afirma que a desigualdade no caso de curvas (Teorema 1.1, Eq. 1.2) é afiada, com igualdade valendo para certas famílias de Shimura.

O trabalho baseia-se nos resultados anteriores dos autores em [24], que confirmaram a conjectura de limitação de Shafarevich geométrica para pares KSB e modelos minimais estáveis. O artigo atual serve para refinar as ferramentas técnicas (especificamente a desigualdade de Arakelov) usadas nesse contexto mais amplo, fornecendo um controle mais preciso sobre os invariantes numéricos de famílias de pares. O artigo não propõe novas aplicações experimentais, mas posiciona a desigualdade como uma ferramenta fundamental para compreender a geometria dos espaços de módulos e a limitação de espaços fibrados algébricos.