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

Resumen Técnico: Resultados Efectivos sobre la Normalidad Proyectiva de las Variedades Secantes Primera y Segunda

Planteamiento del Problema
Sea $X$ una variedad compleja proyectiva suave de dimensión $n$, embebida en $\mathbb{P}^r$ mediante el sistema lineal completo de un fibrado de líneas muy ample. La $k$-ésima variedad secante, $\Sigma_k(X, L)$, es el cierre de la unión de los espectros lineales de $k+1$ puntos en $X$. Un problema central en la geometría algebraica es determinar las propiedades geométricas y cohomológicas de estas variedades secantes, específicamente sus singularidades y la generación de sus ideales definidores.

Trabajos previos de Chou–Song, Ullery, Ein–Niu–Park y Choi–Lacini–Sheridan–Park establecieron que, para fibrados de líneas suficientemente positivos, $\Sigma_k$ posee singularidades leves (Du Bois normal) y es proyectivamente normal. Sin embargo, estos resultados eran a menudo no efectivos o carecían de cotas explícitas sobre la positividad requerida. Además, aunque se sabe que el ideal homogéneo $I(\Sigma_k)$ está generado en grado $k+2$ bajo ciertas condiciones, las cotas efectivas para esta generación, y específicamente para la generación por menores de $3 \times 3$ de una matriz cataléctica (una conjetura de Eisenbud–Koh–Stillman y Sidman–Smith), aún no se habían cuantificado plenamente para dimensiones superiores.

Este artículo tiene como objetivo establecer cotas efectivas sobre la positividad del fibrado de líneas de embebimiento $L$ para asegurar:

1. La normalidad proyectiva y las singularidades Du Bois normales para las primeras ($\Sigma_1$) y segundas ($\Sigma_2$) variedades secantes.
2. La generación del ideal definidor $I(\Sigma_1)$ por cúbicos.
3. La generación de $I(\Sigma_1)$ por menores de $3 \times 3$ de una matriz de formas lineales (la matriz cataléctica).

Los autores asumen $n \ge 2$, ya que se establecieron resultados efectivos precisos para curvas ($n=1$) por Ein–Niu–Park y Agostini–Park.

Metodología
Las demostraciones se basan en un enfoque cohomológico desarrollado en trabajos previos de los autores y sus colaboradores. La estrategia consiste en reducir las propiedades geométricas de las variedades secantes a teoremas de vanishing (desaparición) de la cohomología para fibrados de vectores en esquemas de Hilbert de puntos y esquemas de Hilbert anidados.

Componentes técnicos clave incluyen:

• Esquemas de Hilbert: Los autores utilizan el esquema de Hilbert de $k$ puntos, $X[k]$, y el esquema de Hilbert anidado $X[k_1, \dots, k_\ell]$. Consideran los fibrados tensoriales $E_{k,L}$ asociados al fibrado de líneas $L$.
• Resolución de Singularidades: La variedad secante $\Sigma_k$ se realiza como la imagen de un morfismo biracional $\alpha_k: B_k \to \Sigma_k$, donde $B_k = \mathbb{P}(E_{k+1, L})$ es un fibrado proyectivo sobre $X[k+1]$. Las singularidades de $\Sigma_k$ se analizan a través de los divisores excepcionales de esta resolución.
• Vanishing de la Cohomología: El núcleo del argumento implica demostrar la desaparición de los grupos de cohomología superior $H^i$ para fibrados de vectores específicos en $X[k]$ y esquemas anidados. Estos teoremas de vanishing se derivan utilizando el teorema de vanishing de Kawamata–Viehweg.
• Condiciones de Positividad: Se asume que el fibrado de líneas $L$ es de la forma $L = \omega_X \otimes H^m \otimes B$, donde $H$ es muy ample, $B$ es nef, y $m$ es un entero. Los autores determinan el entero mínimo $m$ requerido para asegurar que los fibrados necesarios sean "nef y big" o satisfagan condiciones específicas de amplitud (por ejemplo, $(k-1)$-ample) para activar el vanishing.
• Singularidades de Esquemas: Un ingrediente crucial es el hecho de que los esquemas de Hilbert anidados $X[1,2,3]$ y $X[1,2,3,4]$ poseen singularidades Gorenstein canónicas, un resultado establecido en literatura previa ([7], [8]). Esta propiedad es esencial para aplicar los teoremas de vanishing y analizar la naturaleza Du Bois de las singularidades.

Contribuciones Clave y Resultados

1. Cotas Efectivas para la Normalidad Proyectiva y Singularidades (Teorema 1.1)
El artículo establece que para $n \ge 2$, si $L = \omega_X \otimes H^m \otimes B$ con $m \ge 2n + 2$ (para $k=1$) o $m \ge 3n + 3$ (para $k=2$), entonces:

• $\Sigma_k$ tiene singularidades Du Bois normales.
• $\Sigma_k$ es proyectivamente normal.
• Los grupos de cohomología superior $H^i(\Sigma_k, \mathcal{O}_{\Sigma_k}(\ell))$ desaparecen para $i > 0, \ell > 0$.
• $\Sigma_k$ es Cohen–Macaulay (resp. tiene singularidades racionales) si y solo si $H^i(X, \mathcal{O}_X) = 0$ para $1 \le i \le n-1$ (resp. $1 \le i \le n$).

Este resultado mejora las cotas no efectivas previas y confirma que $m \ge 2n + 2$ es suficiente para la normalidad proyectiva de $\Sigma_1$.

2. Generación por Cúbicos (Teorema 1.2)
Los autores proporcionan una condición efectiva para que el ideal homogéneo $I(\Sigma_1)$ esté generado por cúbicos.

• Resultado: Si $m \ge 3n + 2$, entonces $I(\Sigma_1(X, L))$ está generado por cúbicos.
• Método: Esto se demuestra mostrando la desaparición de los grupos de cohomología de Koszul específicos $K_{1,q}(\Sigma_1, \mathcal{O}_{\Sigma_1}(1))$ para $q \ge 3$, lo cual se reduce al vanishing de la cohomología en $X[2]$ involucrando potencias exteriores del fibrado núcleo $M_{2,L}$.

3. Presentación Determinantal (Teorema 1.3)
El artículo hace efectiva la conjetura de Agostini–Park (que $I(\Sigma_k)$ está generado por los menores de $(k+2) \times (k+2)$ de una matriz cataléctica) para $k=1$.

• Resultado: Sea $L = L_1 \otimes L_2$ donde $L_i = \omega_X \otimes H^{m_i} \otimes B_i$. Si $m_1, m_2 \ge 3n + 2$, entonces $I(\Sigma_1(X, L))$ está generado por los menores de $3 \times 3$ de la matriz cataléctica $Cat(L_1, L_2)$.
• Método: La demostración muestra la suryectividad de un mapa lineal desde el producto tensorial de las secciones globales hacia la parte de grado 3 del ideal. Esta suryectividad se reduce al vanishing de la cohomología en $X[2]$ y $X[2,3]$ involucrando potencias simétricas y exteriores de los fibrados núcleo.

Significancia
El artículo proporciona umbrales cuantitativos efectivos para la positividad de los fibrados de líneas que garantizan propiedades geométricas deseables de las variedades secantes. Al pasar de declaraciones cualitativas de "suficientemente positivo" a cotas explícitas que involucran la dimensión $n$, los resultados hacen que la teoría sea aplicable a computaciones concretas y variedades específicas.

Específicamente, el artículo:

• Refina la comprensión de las singularidades de las variedades secantes, confirmando que son Du Bois bajo condiciones explícitas.
• Resuelve la versión efectiva de la conjetura sobre la presentación determinantal de la primera variedad secante para $n \ge 2$, extendiendo los resultados previos conocidos para curvas o embebimientos específicos (como el de Veronese).
• Unifica el enfoque de la normalidad proyectiva, la generación de ideales y el análisis de singularidades a través de un robusto marco cohomológico en esquemas de Hilbert, aprovechando la naturaleza Gorenstein canónica de los esquemas de Hilbert anidados.

Los autores señalan que sus resultados son consistentes con y generalizan los hallazgos anteriores para curvas y casos específicos, mientras proporcionan las primeras cotas efectivas para variedades de mayor dimensión en el contexto de la conjetura de la presentación determinantal.