Effective results on projective normality of the first and second secant varieties

Resumo Técnico: Resultados Eficazes sobre a Normalidade Projetiva das Variedades Secantes Primeira e Segunda

Enunciado do Problema
Seja $X$ uma variedade complexa projetiva suave de dimensão $n$, imersa em $\mathbb{P}^r$ via o sistema linear completo de um feixe de linhas muito amplo. A $k$-ésima variedade secante, $\Sigma_k(X, L)$, é o fechamento da união dos spans lineares de $k+1$ pontos em $X$. Um problema central na geometria algébrica é determinar as propriedades geométricas e cohomológicas dessas variedades secantes, especificamente suas singularidades e a geração de seus ideais definidores.

Trabalhos anteriores de Chou–Song, Ullery, Ein–Niu–Park e Choi–Lacini–Sheridan–Park estabeleceram que, para feixes de linhas suficientemente positivos, $\Sigma_k$ possui singularidades brandas (Du Bois normal) e é projetivamente normal. No entanto, esses resultados eram frequentemente não eficazes ou careciam de limites explícitos para a positividade necessária. Além disso, embora se saiba que o ideal homogêneo $I(\Sigma_k)$ é gerado em grau $k+2$ sob certas condições, critérios eficazes para essa geração, e especificamente para a geração por menores $3 \times 3$ de uma matriz catalética (uma conjectura de Eisenbud–Koh–Stillman e Sidman–Smith), ainda não haviam sido totalmente quantificados para dimensões superiores.

Este artigo visa estabelecer limites eficazes para a positividade do feixe de linhas de imersão $L$ para garantir:

1. Normalidade projetiva e singularidades Du Bois normais para as primeiras ($\Sigma_1$) e segundas ($\Sigma_2$) variedades secantes.
2. Geração do ideal definidor $I(\Sigma_1)$ por cúbicos.
3. Geração de $I(\Sigma_1)$ por menores $3 \times 3$ de uma matriz de formas lineares (a matriz catalética).

Os autores assumem $n \ge 2$, pois resultados eficazes precisos para curvas ($n=1$) foram estabelecidos anteriormente por Ein–Niu–Park e Agostini–Park.

Metodologia
As provas baseiam-se em uma abordagem cohomológica desenvolvida em trabalhos anteriores pelos autores e seus colaboradores. A estratégia envolve reduzir as propriedades geométricas das variedades secantes para teoremas de desaparecimento de cohomologia para feixes de vetores em esquemas de Hilbert de pontos e esquemas de Hilbert aninhados.

Componentes técnicos principais incluem:

• Esquemas de Hilbert: Os autores utilizam o esquema de Hilbert de $k$ pontos, $X[k]$, e o esquema de Hilbert aninhado $X[k_1, \dots, k_\ell]$. Eles consideram os feixes de vetores tautológicos $E_{k,L}$ associados ao feixe de linhas $L$.
• Resolução de Singularidades: A variedade secante $\Sigma_k$ é realizada como a imagem de uma morfismo biracional $\alpha_k: B_k \to \Sigma_k$, onde $B_k = \mathbb{P}(E_{k+1, L})$ é um fibrado projetivo sobre $X[k+1]$. As singularidades de $\Sigma_k$ são analisadas via os divisores excepcionais desta resolução.
• Desaparecimento de Cohomologia: O núcleo do argumento envolve provar o desaparecimento de grupos de cohomologia superior $H^i$ para feixes de vetores específicos em $X[k]$ e esquemas aninhados. Esses teoremas de desaparecimento são derivados do teorema de desaparecimento de Kawamata–Viehweg.
• Condições de Positividade: O feixe de linhas $L$ é assumido ser da forma $L = \omega_X \otimes H^m \otimes B$, onde $H$ é muito amplo, $B$ é nef, e $m$ é um inteiro. Os autores determinam o inteiro mínimo $m$ necessário para garantir que os feixes necessários sejam "nef e grandes" ou satisfaçam condições específicas de amplitude (por exemplo, $(k-1)$-muito amplo) para disparar o desaparecimento.
• Singularidades de Esquemas: Um ingrediente crucial é o fato de que os esquemas de Hilbert aninhados $X[1,2,3]$ e $X[1,2,3,4]$ possuem singularidades gorenstein canônicas, um resultado estabelecido em literatura anterior ([7], [8]). Esta propriedade é essencial para aplicar teoremas de desaparecimento e analisar a natureza Du Bois das singularidades.

Principais Contribuições e Resultados

1. Limites Eficazes para Normalidade Projetiva e Singularidades (Teorema 1.1)
O artigo estabelece que, para $n \ge 2$, se $L = \omega_X \otimes H^m \otimes B$ com $m \ge 2n + 2$ (para $k=1$) ou $m \ge 3n + 3$ (para $k=2$), então:

• $\Sigma_k$ possui singularidades Du Bois normais.
• $\Sigma_k$ é projetivamente normal.
• Grupos de cohomologia superior $H^i(\Sigma_k, \mathcal{O}_{\Sigma_k}(\ell))$ desaparecem para $i > 0, \ell > 0$.
• $\Sigma_k$ é Cohen–Macaulay (resp. possui singularidades racionais) se, e somente se, $H^i(X, \mathcal{O}_X) = 0$ para $1 \le i \le n-1$ (resp. $1 \le i \le n$).

Este resultado melhora os limites não eficazes anteriores e confirma que $m \ge 2n + 2$ é suficiente para a normalidade projetiva de $\Sigma_1$.

2. Geração por Cúbicos (Teorema 1.2)
Os autores fornecem uma condição eficaz para que o ideal homogêneo $I(\Sigma_1)$ seja gerado por cúbicos.

• Resultado: Se $m \ge 3n + 2$, então $I(\Sigma_1(X, L))$ é gerado por cúbicos.
• Método: Isto é provado mostrando o desaparecimento de grupos de cohomologia de Koszul específicos $K_{1,q}(\Sigma_1, \mathcal{O}_{\Sigma_1}(1))$ para $q \ge 3$, o que se reduz ao desaparecimento de cohomologia em $X[2]$ envolvendo potências exteriores do feixe núcleo $M_{2,L}$.

3. Apresentação Determinantal (Teorema 1.3)
O artigo torna efetiva a conjectura de Agostini–Park (de que $I(\Sigma_k)$ é gerado por menores $(k+2) \times (k+2)$ de uma matriz catalética) para $k=1$.

• Resultado: Seja $L = L_1 \otimes L_2$ onde $L_i = \omega_X \otimes H^{m_i} \otimes B_i$. Se $m_1, m_2 \ge 3n + 2$, então $I(\Sigma_1(X, L))$ é gerado pelos menores $3 \times 3$ da matriz catalética $Cat(L_1, L_2)$.
• Método: A prova demonstra a surjetividade de um mapa linear de um produto tensorial de seções globais para a parte de grau 3 do ideal. Esta surjetividade é reduzida ao desaparecimento de cohomologia em $X[2]$ e $X[2,3]$ envolvendo potências simétricas e exteriores de feixes núcleo.

Significância
O artigo fornece limites quantitativos eficazes para a positividade de feixes de linhas que garantem propriedades geométricas desejáveis de variedades secantes. Ao mover-se de afirmações qualitativas de "suficientemente positivo" para limites explícitos envolvendo a dimensão $n$, os resultados tornam a teoria aplicável a computações concretas e variedades específicas.

Especificamente, o artigo:

• Refina a compreensão das singularidades das variedades secantes, confirmando que elas são Du Bois sob condições explícitas.
• Resolve a versão eficaz da conjectura sobre a apresentação determinantal da primeira variedade secante para $n \ge 2$, estendendo resultados anteriores conhecidos para curvas ou imersões específicas (como Veronese).
• Unifica a abordagem para normalidade projetiva, geração de ideais e análise de singularidades através de um robusto arcabouço cohomológico em esquemas de Hilbert, aproveitando a natureza Gorenstein canônica de esquemas de Hilbert aninhados.

Os autores observam que seus resultados são consistentes com e generalizam achados anteriores para curvas e casos específicos, enquanto fornecem os primeiros limites eficazes para variedades de dimensões superiores no contexto da conjectura de apresentação determinantal.