Jacobian algebras and variation of hyperplane sections

Resumo Técnico: Álgebras de Jacobianas e Variação de Seções Hiperplanares

Enunciado do Problema
O artigo investiga a variação nos módulos de seções hiperplanares de uma hipersuperfície $X = V(f) \subseteq \mathbb{P}^n$ de grau $d \geq 3$, assumindo que $X$ possui, no máximo, singularidades isoladas. Especificamente, os autores abordam a Questão 1.1: determinar as condições algébricas e geométricas sobre $f$ sob as quais o mapa racional
$$\Phi(f) : \mathbb{P}^{n*} \dashrightarrow M(d, n-1)$$
é genericamente finito sobre sua imagem. Aqui, $M(d, n-1)$ denota o espaço de módulos bruto de hipersuperfícies suaves de grau $d$ em $\mathbb{P}^{n-1}$. O mapa envia um hiperplano geral $H$ para a classe de módulo da seção $X \cap H$. O problema é identificar quando a família dessas seções varia maximamente, isto é, quando $\dim \text{Im } \Phi(f) = n$.

Metodologia
Os autores adotam uma abordagem jacobiana-algébrica e infinitesimal, contrastando com os métodos de fibrados vetoriais geométricos utilizados em trabalhos recentes de Patel–Riedl–Tseng. A estratégia central envolve:

1. Quotientes Infinitesimais: Em vez de analisar os fibrados globais de $\Phi(f)$, os autores computam a variação de primeira ordem da seção hiperplanar módulo mudanças de coordenadas infinitesimais no próprio hiperplano.
2. Álgebra de Milnor: Eles utilizam a álgebra de Milnor $M(f) = S/J_f$, onde $J_f$ é o ideal jacobiano gerado pelas derivadas parciais de $f$. O espaço de deformações de primeira ordem de $f$ modulo mudanças de coordenadas lineares é identificado com $M(f)_d$.
3. Argumento de Fatia Local: Para passar da injetividade do mapa de quotiente infinitesimal para a dimensão da imagem no espaço de módulos bruto, os autores empregam o teorema da fatia étale de Luna. Isso justifica que, se o mapa de quotiente infinitesimal for injetivo em um ponto geral, o mapa $\Phi(f)$ é genericamente finito.
4. Computação Diferencial: Ao escolher coordenadas tais que um hiperplano geral seja $H = V(x_0)$, eles derivam um mapa linear explícito:
   $$\psi(f, x_0) : \mathbb{C}^n \to R_d / (J_f)_d$$
   definido por $(b_1, \dots, b_n) \mapsto [(b_1 x_1 + \dots + b_n x_n)f_0]$, onde $f_0 = \partial f / \partial x_0$. A injetividade deste mapa determina a variação máxima.

Principais Contribuições e Resultados

1. Identificação de Obstruções:
   O artigo estabelece que a falha de $\Phi(f)$ em ser genericamente finito é governada exatamente por duas obstruções algébricas (Proposição 3.1):

   • A Obstrução de Automorfismo: A existência de uma sínizes jacobiana linear (ou seja, $e = \text{indeg}(\text{Syz}(J_f)) = 1$). Para não-cones, isso é equivalente à existência de um grupo de automorfismos projetivos de dimensão positiva $\text{Aut}_{\mathbb{P}^n}(X)$.
   • A Obstrução de Lefschetz: A falha da aplicação de multiplicação por uma forma linear geral em ser injetiva no grau crítico:
     $$\ell : M(f)_{d-1} \to M(f)_d$$
     O critério principal (Teorema 3.3) afirma que se $\dim \text{Aut}_{\mathbb{P}^n}(X) = 0$ e o mapa $\ell$ for injetivo, então $\Phi(f)$ é genericamente finito.

2. Extensão para Hipersuperfícies Singulares:
   O trabalho estende a teoria de Beauville–Patel–Riedl–Tseng de hipersuperfícies suaves para aquelas com singularidades isoladas. No caso suave, a obstrução de automorfismo desaparece, e o resultado depende apenas da Propriedade de Lefschetz Fraca (WLP).

3. Resultados de Dimensões Específicas:

   • Caso Suave: Para hipersuperfícies suaves com $n \geq 3$ e $d \geq n+2$, o mapa é genericamente finito (Corolário 3.4). Isso melhora o intervalo $d \geq n+3$ encontrado na literatura anterior em um grau, utilizando resultados de WLP para interseções completas.
   • Curvas Planas ($n=2$): Os autores fornecem uma classificação completa (Teorema 4.2). Para $d \geq 5$, a finitude genérica ocorre se, e somente se, $\dim \text{Aut}_{\mathbb{P}^2}(C) = 0$. Para $d=3$, o mapa é constante; para $d=4$, possui posto máximo, mas não é genericamente finito.
   • Superfícies em $\mathbb{P}^3$ ($n=3$): Para superfícies suaves, superfícies cúbicas ($d=3$) possuem posto máximo, mas não são genericamente finitas. Para $d \geq 4$, o mapa é genericamente finito (Teorema 5.2).

4. Critério de Seção Hiperplanar Singular:
   Uma contribuição inédita é o Teorema 6.2, que permite a verificação da condição de Lefschetz usando uma seção singular $W = X \cap H'$. Se $W$ possui propriedades específicas em relação às suas sínizes ($r(g) > 1$) e saturação ($s(g) > 1$), o mapa de Lefschetz para $X$ é injetivo. Isso leva ao Corolário 6.4 e 6.5, fornecendo critérios envolvendo seções nodais (por exemplo, seções com $n$ nós em posição linear geral).

5. Aplicação à Quintica de Schoen:
   O artigo aplica o critério de seção singular à quintica de Schoen, uma variedade de três dimensões ($d=5, n=4$). Ao analisar uma seção hiperplanar específica com uma singularidade única, eles verificam as condições e concluem que as seções hiperplanares da quintica de Schoen variam genericamente de forma finita em módulos (Exemplo 6.8).

Significância
O artigo afirma fornecer um arcabouço jacobiano-algébrico unificado para estudar a variação de seções hiperplanares. Sua significância reside em:

• Generalização: Estender com sucesso os resultados conhecidos para hipersuperfícies suaves para o caso singular, identificando explicitamente a nova obstrução (sínizes jacbianas lineares/automorfismos).
• Refinamento: Melhorar os limites numéricos conhecidos para finitude genérica no caso suave (por exemplo, $d \geq n+2$ em vez de $d \geq n+3$).
• Novas Ferramentas: Introduzir um método para verificar propriedades de Lefschetz via seções singulares, o que é particularmente útil para hipersuperfícies onde seções gerais são difíceis de analisar diretamente ou onde seções singulares são conhecidas por existir (como no caso da quintica de Schoen).
• Conexão: Ligar a falha geométrica da variação máxima a propriedades homológicas (grau de Bourbaki, sínizes) e grupos de automorfismos.

Os autores observam que sua abordagem complementa os métodos geométricos globais de Patel–Riedl–Tseng ao oferecer critérios algébricos explícitos que são computáveis via álgebra de Milnor e módulos de sínizes.