On volumes and the generic invariance of Fano type varieties

Resumo Técnico: Volumes e a Invariância Genérica de Variedades do Tipo Fano

Enunciado do Problema
O artigo aborda o problema da invariância genérica para a propriedade de "tipo Fano" no contexto do Programa do Modelo Mínimo (MMP). Especificamente, investiga a Conjectura 1.1, que postula que, se uma morfismo projetivo $X \to S$ entre variedades normais possui fibras $X_s$ do tipo Fano sobre um subconjunto denso de Zariski $S' \subseteq S$, então a fibra genérica geométrica $X_\eta$ também deve ser do tipo Fano. Embora essa propriedade seja conhecida por ser válida quando $S'$ é um subconjunto aberto (devido à semicontinuidade da cohomologia), a conjectura permanece não trivial quando $S'$ é esparso.

O autor explora ainda a situação paralela em característica positiva, abordando especificamente uma conjectura de Schwede e Smith (Conjectura 1.5) que afirma que uma variedade de tipo F-regular global sobre $\mathbb{C}$ é do tipo Fano. O artigo busca estabelecer esses resultados de invariância sob condições específicas relativas à constância dos volumes anti-canônicos.

Metodologia
A estratégia de prova baseia-se na ponte entre as teorias de característica 0 e de característica positiva através da lente da invariância de volume e da teoria de valuações. A abordagem técnica central envolve:

1. Critério do Limiar Logarítmico Canônico (LCT): O autor utiliza um critério (Lema 5.2) afirmando que um par $(X, \Delta)$ com $-(K_X + \Delta)$ grande é do tipo Fano se, e somente se, o limiar logarítmico assintótico $lct_\sigma(X, \Delta, -(K_X + \Delta)) > 1$.
2. Valuações Quasi-Monomiais: Para computar esses limiares sem considerar todas as possíveis resoluções logarítmicas, o artigo emprega o resultado de Xu (Teorema 2.10), que garante a existência de uma valuação quasi-monomial que computa o LCT. Isso reduz o problema à análise de valuações definidas em modelos log-suaves.
3. Comparação de Volumes e Ordens Assintóticas: Um passo crítico envolve comparar as ordens assintóticas $\sigma_\nu(D)$ de divisores em fibras fechadas versus a fibra genérica. O autor adapta o resultado de Jiao (Teorema 4.2) sobre a constância de volumes de divisores grandes em famílias para mostrar que, se os volumes são constantes em um conjunto denso, eles são constantes genericamente. Isso permite a comparação de valores de $lct_\sigma$ entre as fibras.
4. Blow-ups Pesados (Weighted Blow-ups): Para lidar com as valuações específicas exigidas pela computação do LCT, o autor constrói blow-ups pesados (Lema 2.16) que se comportam bem sob especialização para fibras fechas, garantindo que os dados geométricos relevantes (normalidade, divisores excepcionais) sejam preservados na redução.
5. MMP e Semi-amplicidade: As provas para a direção reversa (mostrando que o tipo Fano genérico implica volume constante nas fibras) utilizam a existência de $-(K_X + \Delta)$-MMPs e a construção de espaços fibrados algébricos associados a divisores semi-ámpelos, aproveitando o teorema de vanishing de Kodaira e a semicontinuidade da cohomologia.

Contribuições e Resultados Principais

• Teorema 1.2 (Invariância Genérica com Volume Constante): O artigo prova que a Conjectura 1.1 é válida se existir um subconjunto denso de Zariski $S'$ onde as fibras são do tipo Fano e os volumes de seus divisores anti-canônicos $-(K_{X_s} + \Delta_s)$ são constantes. Isso estabelece a equivalência entre a constância de volumes em um conjunto denso e a propriedade de tipo Fano da fibra genérica.
• Teorema 1.3 (Caso de Dimensão 2): A conjectura é provada incondicionalmente para famílias onde as fibras são superfícies (dimensão 2). A prova utiliza a decomposição de Zariski do divisor anti-canônico e as propriedades de superfícies $\mathbb{Q}$-Gorenstein, mostrando que a fibra genérica herda a propriedade de tipo Fano sem exigir restrições de volume.
• Corolário 1.4 (Propriedade DCC): Como consequência dos teoremas principais, o artigo estabelece que, para uma família limitada de superfícies do tipo Fano, o conjunto de volumes anti-canônicos $\{ \text{vol}(-K_X) \mid X \in \mathcal{S} \}$ satisfaz a Condição de Cadeia Descendente (DCC). O autor observa que a condição de limitação é crucial, fornecendo um contraexemplo (Exemplo 5.6) onde uma família biracionalmente limitada, mas não limitada, falha em satisfazer a DCC.
• Teorema 1.6 (Redução Mod $p$): Paralelo ao Teorema 1.2, o autor prova a conjectura de Schwede-Smith sob a condição de que os volumes dos divisores anti-canônicos permaneçam constantes na redução módulo $p$. Especificamente, se um modelo sobre uma $\mathbb{Z}$-álgebra finitamente gerada possui fibras que são globalmente F-regulares com volume anti-canônico constante em um conjunto denso, a fibra genérica sobre $\mathbb{C}$ é do tipo Fano.

Significância e Alegações
O artigo afirma resolver a invariância genérica da propriedade de tipo Fano em dois cenários significativos: para superfícies e para dimensões superiores onde os volumes anti-canônicos são constantes. Ao vincular a propriedade geométrica de ser do tipo Fano ao invariante numérico de volume, o trabalho fornece um arcabouço robusto para transferir propriedades de fibras especiais para a fibra genérica.

O autor enfatiza que os resultados são paralelos à relação entre singularidades de característica 0 (klt) e singularidades de característica positiva (fortemente F-regular). A prova da conjectura de Schwede-Smith sob restrições de volume serve como um contraparte de redução mod $p$ para os resultados de característica 0, reforçando as semelhanças estruturais entre os dois ambientes. O artigo não pretende resolver a conjectura geral para dimensões arbitrárias sem restrições de volume, nem propõe novas aplicações além dos limites teóricos da geometria biracional e espaços de módulos mencionados na introdução. A significância reside no estabelecimento rigoroso desses princípios de invariância usando a interação entre a teoria de volumes, a teoria de valuações e o Programa do Modelo Mínimo.