On the canonical degree of a Gorenstein minimal threefold of general type

Resumo Técnico: Sobre o Grau Canônico de uma Variedade Tridimensional de Gorenstein Mínima do Tipo Geral

Enunciado do Problema
O artigo aborda uma questão fundamental na geometria biracional explícita de variedades do tipo geral: a limitação do grau do mapa canônico. Especificamente, investiga 3-variedades de Gorenstein mínimas $X$ do tipo geral para as quais o mapa canônico $\phi_X$ é genericamente finito. Embora se saiba que o grau $d_X$ é universalmente limitado (estabelecido por Hacon e refinado por Du e Gao), há uma expectativa natural, análoga ao caso das superfícies, de que esse limite superior para $d_X$ deva diminuir conforme o gênero geométrico $p_g(X)$ aumenta.

O problema específico, originalmente proposto por Meng Chen, questiona se o grau genérico $d_X$ é universalmente limitado superiormente. Trabalhos anteriores de Jin-Xing Cai [Cai08] forneceram uma resposta positiva, provando que $d_X \leq 72$ sob a condição de que $p_g(X) > 105411$. Este artigo busca reduzir significativamente o limiar de $p_g(X)$ necessário para estabelecer esse limite e caracterizar os casos extremais.

Metodologia
Os autores empregam uma combinação da desigualdade de Miyaoka-Yau, propriedades da fibração de Albanese e técnicas relativas ao feixe de imagem de mapas de avaliação.

1. Desigualdade de Miyaoka-Yau: A essência da estimativa baseia-se na desigualdade $\mathbb{Q}$-Miyaoka-Yau para variedades mínimas do tipo geral. Para uma 3-variedade de Gorenstein mínima $X$, isso resulta na desigualdade $K_X^3 \leq 64\chi(\omega_X)$. Como o grau do mapa canônico $d$ satisfaz $d \cdot \deg(\Sigma) \leq K_X^3$ (onde $\Sigma$ é a imagem do mapa canônico), e $\deg(\Sigma) \geq p_g(X) - 3$, os autores derivam o limite preliminar:
   $$d \leq \frac{64\chi(\omega_X)}{p_g(X) - 3}$$

2. Análise da Fibração de Albanese: A prova é estruturada em torno das propriedades da fibra geral $F$ da morfismo de Albanese $a: X \to \text{Alb}(X)$. Os autores utilizam a fatoração de Stein do mapa de Albanese para analisar a fibração $f: X \to Y$, onde $Y$ é uma curva de gênero $b = q(X)$.

3. Análise de Casos baseada em $p_g(F)$ e $q(X)$:

   • Os autores estabelecem primeiro que, se $p_g(X) > 243$, então $d \leq 64$, a menos que a fibra de Albanese geral $F$ seja uma superfície regular (ou seja, $q(F)=0$). Isso é derivado usando a desigualdade $\chi(\omega_X) \leq p_g(X)$ e o limite preliminar.
   • Para o caso em que a fibra $F$ é regular, os autores refinam o limite de $\chi(\omega_X)$ usando a desigualdade $\chi(\omega_X) \leq p_g(X)(1 + 1/p_g(F))$.
   • A prova prossegue dividindo-se em casos baseados no gênero geométrico da fibra $p_g(F)$ e no gênero da curva base $b$:
     • Caso 1 ($p_g(F) \geq 9$): A estimativa direta mostra que $d < 72$.
     • Caso 2 ($p_g(F) \leq 8$ e $b \leq 7$): Usando $\chi(\omega_X) \leq p_g(X) + 6$, o limite é mostrado como $d < 67$.
     • Caso 3 ($p_g(F) \leq 8$ e $b \geq 8$): Este é o caso mais técnico. Os autores analisam o mapa de avaliação do feixe vetorial $f_*\omega_X$ na curva base $Y$. Eles utilizam o Teorema 2.1 (de Xiao [Xia86]) referente ao posto do feixe de imagem. Se o posto for menor que $p_g(F)$, o limite $d < 67$ decorre. Se o posto for igual a $p_g(F)$, o mapa de restrição $H^0(K_X) \to H^0(K_F)$ é sobrejetivo. Nesse cenário, o grau do mapa canônico de $X$ decompõe-se como $d = \deg(\phi_F) \cdot \deg(\delta)$, onde $\delta$ é um mapa induzido na base. Ao limitar $\deg(\phi_F) \leq 36$ (citando Beauville [Bea79] e Li-Yau [LY21]) e provar que $\deg(\delta) \leq 2$ via argumentos de Riemann-Roch em divisores em $Y$, os autores estabelecem $d \leq 72$.

Principais Contribuições e Resultados
O resultado principal é o Teorema 1.2, que afirma:

• Se $X$ é uma 3-variedade de Gorenstein mínima do tipo geral com um mapa canônico genericamente finito e $p_g(X) > 243$, então o grau $d$ do mapa canônico satisfaz $d \leq 72$.
• Isso melhora o limiar inferior de $p_g(X)$ necessário para este resultado de $105411$ (Cai [Cai08]) para $243$.

Além disso, o artigo fornece uma caracterização precisa do caso de igualdade:

• Se $d = 72$, a fibra geral $F$ do morfismo de Albanese deve ser uma superfície mínima suave do tipo geral com invariantes $p_g(F) = 3$, $q(F) = 0$ e $K_F^2 = 36$. Adicionalmente, o mapa canônico desta superfície $F$ deve ter grau 36.

O Corolário 1.4 segue imediatamente: Se o grau canônico $d > 64$, a fibra de Albanese geral de $X$ deve ser uma superfície regular (irregularidade zero).

Significância
O artigo afirma refinar significativamente a compreensão do grau canônico para 3-variedades ao reduzir drasticamente o limiar de gênero geométrico necessário para impor o limite $d \leq 72$. Ele conecta o comportamento do mapa canônico da 3-variedade diretamente à geometria de suas fibras de Albanese, identificando especificamente que graus extremais surgem apenas quando as fibras são tipos específicos de superfícies com grau canônico máximo.

Os autores também fornecem o Exemplo 3.3 para demonstrar a nitidez do limite, construindo uma 3-variedade produto $X = S \times C$, onde $S$ é uma superfície com $p_g(S)=3, q(S)=0, K_S^2=36$ e grau canônico 36, e $C$ é uma curva hiperelíptica. Esta construção produz uma 3-variedade com $p_g(X) = 3b$ e grau canônico exatamente 72, confirmando que o limite é atingível.

O trabalho apoia-se e estende resultados fundamentais anteriores de Hacon, Du, Gao e Cai, utilizando técnicas específicas do estudo de superfícies (Beauville, Xiao) para resolver o caso tridimensional sob as restrições de gênero estabelecidas.