Orden de torsión e irracionalidad de intersecciones completas

Información Básica

• ID del Artículo: 2510.24258
• Título: Torsion order and irrationality of complete intersections
• Autores: Jan Lange y Guoyun Zhang
• Clasificación: math.AG (Geometría Algebraica)
• Fecha de Publicación: 28 de octubre de 2025
• Enlace del Artículo: https://arxiv.org/abs/2510.24258

Resumen

Este artículo proporciona nuevas cotas logarítmicas inferiores para el orden de torsión (torsion order) de intersecciones completas muy generales en espacios proyectivos, así como de hipersuperficies muy generales en productos de espacios proyectivos y variedades de Grassmann. En particular, se demuestra la irracionalidad retract de estas variedades.

Antecedentes de Investigación y Motivación

Problema de Investigación

Este artículo estudia el problema del orden de torsión (torsion order) de variedades algebraicas, que es un invariante central en el problema de racionalidad de la geometría algebraica. El orden de torsión Tor(X) se define como el menor entero positivo e tal que el múltiplo e-ésimo de la diagonal se descompone en una forma especial (fórmula 1.1).

Importancia

1. Herramienta central para el problema de racionalidad: El orden de torsión está directamente relacionado con la determinación de la racionalidad de variedades algebraicas. Si Tor(X) > 1, entonces X no es racional ni retract racional.
2. Obstáculo para parametrizaciones uniracionales: El orden de torsión proporciona una cota inferior para el grado de parametrizaciones uniracionales.
3. Caracterización del grupo de ciclos cero: El orden de torsión es el menor entero positivo e tal que el núcleo del grupo de ciclos cero es e-torsión.

Limitaciones de Métodos Existentes

• Chatzistamatiou-Levine CL17: Para intersecciones completas de Fano, cuando algún grado $d_i \geq m \cdot r(X) + m$, el orden de torsión es divisible por m (donde r(X) es el índice de Fano). Esta es una cota lineal.
• Schreieder Sch19b, Sch21: Mejora a una cota logarítmica $d \geq \log_2(r(X) + m) + m$ para hipersuperficies, pero solo en ese caso.

Motivación de la Investigación

Este artículo tiene como objetivo generalizar la cota logarítmica de Schreieder a:

1. Intersecciones completas generales
2. Hipersuperficies en productos de espacios proyectivos
3. Hipersuperficies en variedades de Grassmann

Contribuciones Principales

1. Cota logarítmica inferior para intersecciones completas (Teorema 1.1): Se demuestra que el orden de torsión de una intersección completa muy general con multigraduos (d₁,...,dₛ) e índice de Fano positivo r es divisible por m si existe algún $d_i \geq \log_2(r + m) + m$.
2. Cota exacta para divisibilidad por 2 (Teorema 1.2): Para intersecciones completas de dimensión ≥4, cuando $r \leq (d_i + 1)2^{d_i-4} - \lfloor(d_i+2)/2\rfloor$, el orden de torsión es divisible por 2, probando que no son ni racionales ni A¹-conexas.
3. Hipersuperficies en productos de espacios proyectivos (Teorema 1.3): Para hipersuperficies de multigraduos (d₁,...,dₛ) en $\mathbb{P}^{M_1} \times \cdots \times \mathbb{P}^{M_s}$, cuando $M_1 \geq 4$ y $(d_1,...,d_s) \geq (\log_2(M_1)+m, M_2+1,...,M_s+1)$, el orden de torsión es divisible por m.
4. Hipersuperficies en variedades de Grassmann (Teorema 1.4): Para hipersuperficies de grado d≥4 en la Grassmanniana Gr(l,n), cuando $l(n-l) \leq (d+1)2^{d-4}$, el orden de torsión es divisible por 2.
5. Innovación metodológica: Se desarrolla un marco sistemático de "degeneración afín" (affine degeneration) que permite generalizar resultados sobre hipersuperficies a intersecciones completas mediante aplicación iterativa.

Explicación Detallada de Métodos

Idea Central

La innovación clave de este artículo es el desarrollo de un marco de degeneración afín que descompone el problema en:

1. Construcción de intersecciones completas afines que satisfacen condiciones específicas
2. Control de su clausura proyectiva mediante teoría de bases de Gröbner
3. Utilización de argumentos de degeneración (degeneration argument) para transferir divisibilidad del orden de torsión

Ruta Técnica

1. Álgebras Racionalmente Fuertes (Definición 3.1)

Se define una k-álgebra B como fuertemente k-racional si B es isomorfa a la localización de un anillo de polinomios. Esto garantiza que Spec B es isomorfo a un subesquema abierto del espacio afín.

2. Pares Admisibles (Definición 3.5)

Para una k-álgebra suave A, se dice que $f_1 \in A[z]$ y $f_2 \in A$ son admisibles si:

• $A[z]/(f_1, f_2)$ es íntegramente cerrado geométricamente
• $A[z]/(f_1)$ y $A/(f_2)$ son ambos fuertemente k-racionales

3. Familia Afín Estrictamente Semiestable (Proposición 3.6)

Para un par admisible (f₁, f₂), la familia construida $\text{Spec}(A[z]_{\partial_z f_1} \otimes_k R)/(t - f_1 f_2)$ es un R-esquema estrictamente semiestable (donde R = kt₍ₜ₎).

4. Construcción Clave (Teorema 3.12)

Entrada: Hipersuperficie $f \in k[x_1,...,x_{n+r}][z]$ satisfaciendo condiciones (C1)-(C4)

• (C1): $B = k[x_1,...,x_{n+r}]/(f_1,...,f_r)$ es fuertemente k-racional
• (C2): $\text{Spec } B[z]/(f)$ es íntegramente cerrado geométricamente
• (C3): El orden de torsión relativo es m
• (C4): Satisface la condición (⋆⋆)

Salida: Para cualquier d ≥ M ≥ 1, se construyen polinomios $\tilde{f}, \check{f}$ tales que:

• $f_1,...,f_{r+1}, \tilde{f}$ satisfacen (C1)-(C4) (añadiendo M variables)
• $f_1,...,f_r, \check{f}$ satisfacen (C1)-(C4) (aumentando el grado en d)

Estrategia de Prueba:

• Paso 1 (d = M): Construcción inductiva mediante Example 3.10 y Corollary 3.9
• Paso 2 (d > M ≥ 2): Uso de argumento de degeneración $t \to 0$ y aplicación de Lemma 2.9

Lemas Clave

Teorema 2.10 (Invariancia de Degeneración del Orden de Torsión Relativo)

Sea X → Spec R una familia plana con fibra especial Y = Y₀ ∪ Y₁ e intersección Z = Y₀ ∩ Y₁. Si:

1. X° := X \ W_X es estrictamente semiestable
2. Y_i \ W_ ≅ subesquema abierto de $\mathbb{A}^{\dim Y_i}$

entonces $\text{Tor}_\Lambda(Z, W_Z) | \text{Tor}_\Lambda(\bar{X}, W_{\bar{X}})$

Proposición 2.4 (Bases de Gröbner y Clausura Proyectiva)

Si los monomios iniciales de los polinomios f₁,...,fᵣ son relativamente coprimos, entonces:

• $I^h = (f_1^h,...,f_r^h)$ (ideal homogéneo)
• La clausura proyectiva es controlable

Configuración Experimental

Ejemplos Fundamentales (Sección 4)

4.1 Ejemplo de Hipersuperficie de Schreieder

Partiendo de la construcción de Sch21: $f_0 = \pi \left(1 + \sum_{i=1}^n x_i^{\lceil (n+1)/m \rceil}\right)^m - (-1)^n x_1 \cdots x_n + \sum_{j=1}^{N-n} c_j x_{n+j}^m + (-1)^n x_1 \cdots x_n z^m$

Verificación (Lemma 4.3): f₀ satisface la condición (⋆⋆), es decir, para cualquier extensión de cuerpo F/k y q ∈ F, existe un epimorfismo de F-álgebras: $F[x_1,...,x_N,z,w]/(f_0+q, w\partial_z f_0 - 1) \twoheadrightarrow F$

4.2 Variedad Cuártica Especial de Dimensión Cuatro

Basada en el ejemplo de HPT18a, se construye el polinomio: $f = x_1 z_1^2 + x_2 z_2^2 + x_1 x_2 z_3^2 + (1 + x_1^2 + x_2^2 - 2x_1 - 2x_2 - 2x_1 x_2)$

Propiedades Clave (Example 4.6): $\text{Tor}_{\mathbb{Z}/2}(\text{Spec } k[x_1,x_2,z_1,z_2,z_3]/(f), W) = 2$

Estrategia de Construcción

Proposición 5.1 (Construcción de Intersecciones Completas)

Para N y M satisfaciendo $s-1 \leq M \leq \sum_{i=1}^s d_i - n - m, \quad 4 \leq N \leq n + 2^n - 1 + \sum_{j=0}^{n-1} \binom{n}{j}\lfloor j/m \rfloor$ existen polinomios $g_1,...,g_s \in k[x_1,...,x_N,y_1,...,y_M]$ tales que:

• $\text{Spec } k[x_1,...,x_N,y_1,...,y_M]/(g_1,...,g_s)$ tiene dimensión N+M-s
• $\text{Tor}_{\mathbb{Z}/m}(X,W) = m$
• Cuando s ≤ M, los monomios iniciales son relativamente coprimos

La prueba se divide en tres casos:

• Caso a (M ≥ 2s-2): Aplicación directa del Teorema 3.12 (a)
• Caso b (s ≤ M < 2s-2): Uso mixto del Teorema 3.12 (a) y construcción simple
• Caso c (M = s-1): Reducción al caso de hipersuperficie

Resultados Experimentales

Resultados Principales

Teorema 5.2 (Orden de Torsión de Intersecciones Completas)

Sean n, m ≥ 2, X una intersección completa con multigraduos (d₁,...,dₛ) y dimensión D ≥ 4. Si $d_1 \geq n+m$ e índice de Fano $r := D + s + 1 - \sum_{i=1}^s d_i \leq 2n + \sum_{j=0}^{n-1} \binom{n}{j}\lfloor j/m \rfloor - m$ entonces el orden de torsión de X muy general es divisible por m.

Corolario (Prueba del Teorema 1.1): Tomando $n = d_1 - m \geq \lceil \log_2(r+m) \rceil$, se tiene $r \leq 2n - m \leq 2n + \sum_{j=0}^{n-1} \binom{n}{j}\lfloor j/m \rfloor - m$ por lo que la conclusión se sigue.

Teorema 5.4 (Caso de Índice de Fano Pequeño)

Sobre un cuerpo de característica ≠2, una intersección completa X ⊂ $\mathbb{P}^N$ (N ≥ 4+s) con multigraduos (d₁,...,dₛ) ∈ $\mathbb{Z}_{\geq 2}^s$ e índice de Fano r ≤ 2 tiene orden de torsión divisible por 2.

Puntos Clave de la Prueba:

• Utilización de Proposición 5.3 para construir intersecciones completas afines
• Aplicación de ejemplos especiales (Examples 4.6-4.12): variedad cuártica de dimensión cuatro, intersección completa (2,2,2), variedad (3,3) de dimensión cinco
• Aplicación de teoría de bases de Gröbner para controlar la clausura proyectiva

Resultados en Productos de Espacios Proyectivos

Teorema 5.7 (Prueba del Teorema 1.3)

Para una hipersuperficie de multigraduos (d₀,...,dₛ) en $\mathbb{P}^{M_0} \times \cdots \times \mathbb{P}^{M_s}$, si

• $d_0 \geq n+m$, $d_i \geq M_i+1$ (i=1,...,s)
• $4 \leq M_0 \leq n + 2^n - 1 + \sum_{l=0}^{n-1} \binom{n}{l}\lfloor l/m \rfloor$

entonces el orden de torsión de la hipersuperficie muy general es divisible por m.

Estrategia de Prueba:

1. Construcción de hipersuperficie afín mediante Proposición 5.6
2. Homogeneización múltiple para obtener hipersuperficie en producto de espacios proyectivos
3. Argumento de degeneración para transferir propiedades del orden de torsión

Resultados en Variedades de Grassmann

Teorema 5.9 (Generalización del Teorema 1.4)

Para la incrustación de Plücker $\text{Gr}(l,n) \hookrightarrow \mathbb{P}^N$ ($N = \binom{n}{l}-1$), si el grado d ≥ n'+m y $4 \leq l(n-l) \leq 2n' - 1 + \sum_{j=0}^{n'-1} \binom{n'}{j}\lfloor j/m \rfloor + d - m$ entonces el orden de torsión de la intersección de Gr(l,n) con una hipersuperficie muy general de grado d es divisible por m.

Técnica Clave (Lemma 5.8): Elevación de hipersuperficie afín en Gr(l,n) a hipersuperficie en $\mathbb{P}^N$, preservando propiedades del orden de torsión.

Comparación de Cotas Numéricas

Trabajo Relacionado

Historia de la Investigación del Orden de Torsión

1. Bloch Blo80, Bloch-Srinivas BS83: Introducción del concepto de orden de torsión
2. Rojtman Roi80: Finitud del orden de torsión para hipersuperficies
3. Chatzistamatiou-Levine CL17: Cota lineal para intersecciones completas
4. Schreieder Sch19b, Sch21: Cota logarítmica para hipersuperficies

Métodos para el Problema de Racionalidad

1. Voisin Voi15: Método de descomposición de diagonal
2. Kontsevich-Tschinkel KT19, Nicaise-Shinder NS19: Métodos motivic
3. Nicaise-Ottem NO22: Método de degeneración tropical
4. Pavic-Schreieder PS23, Lange-Schreieder LS24: Analogía de teoría de ciclos

Posicionamiento de Este Trabajo

• Herencia: Construcción sobre resultados de hipersuperficies de Sch21, LS24
• Generalización: De hipersuperficies a intersecciones completas, productos de espacios proyectivos, variedades de Grassmann
• Unificación: Proporciona marco unificado de degeneración afín
• Complementariedad: Con métodos motivic (NO22) da cotas idénticas en característica positiva

Conclusiones y Discusión

Conclusiones Principales

1. Universalidad de la Cota Logarítmica: Generalización de la cota logarítmica de Schreieder de hipersuperficies a intersecciones completas
2. Nuevas Situaciones Geométricas: Primer tratamiento de hipersuperficies en productos de espacios proyectivos y variedades de Grassmann
3. Contribución Metodológica: El marco de degeneración afín tiene amplia aplicabilidad

Limitaciones

1. Restricciones de Cuerpo Base:
   • Intersecciones completas y productos de espacios proyectivos: cuerpo arbitrario
   • Variedades de Grassmann: resultados principales limitados a cuerpo de complejos (Remark 5.10 indica posible generalización)
2. Restricciones de Dimensión:
   • Se requiere dimensión ≥4 (Teorema 1.2)
   • Casos de baja dimensión requieren tratamiento especial
3. Índice de Fano:
   • Enfoque principal en caso de índice de Fano positivo
   • Intersecciones completas no-Fano pueden tener orden de torsión infinito
4. Ausencia de Cotas Superiores:
   • Solo se proporcionan cotas inferiores, no se da cota superior del orden de torsión
   • Cota superior para hipersuperficies en productos de espacios proyectivos desconocida (Sección 1.2)

Direcciones Futuras

1. Investigación de Cotas Superiores: Búsqueda de cotas superiores para el orden de torsión, especialmente en caso de productos de espacios proyectivos
2. Generalización a Otras Variedades Racionales: Como flag varieties, toric varieties
3. Teoría Completa en Característica Positiva: Versión completa en característica positiva para variedades de Grassmann
4. Métodos Computacionales: Desarrollo de algoritmos para cálculo concreto del orden de torsión

Evaluación Profunda

Fortalezas

1. Innovación Técnica

• Marco de Degeneración Afín: La construcción sistemática de la Sección 3 es una contribución metodológica importante
  • Algebraización del problema (Definiciones 3.1, 3.5)
  • Construcción iterativa (Teorema 3.12) que realiza aumento de dimensión de hipersuperficies a intersecciones completas
  • Introducción de condición (⋆⋆) que garantiza integridad geométrica
• Aplicación Ingeniosa de Bases de Gröbner:
  • Proposición 2.4 controla clausura proyectiva
  • Monomios iniciales relativamente coprimos garantizan generación de ideal

2. Profundidad de Resultados

• Avance de Cota Logarítmica: Mejora de cota lineal $m \cdot r$ a logarítmica $\log_2(r+m)$
• Unificación de Múltiples Resultados Anteriores:
  • Variedad cuártica de dimensión cinco NO22, PS23
  • Variedad (2,3) de dimensión cuatro Ska23, FL25
  • Nuevos resultados: variedad (2,2,2) de dimensión cuatro, variedad (3,3) de dimensión cinco

3. Claridad de Redacción

• Estructura Clara:
  • Sección 2: Conocimientos preliminares
  • Sección 3: Marco teórico
  • Sección 4: Ejemplos fundamentales
  • Sección 5: Aplicaciones y teoremas principales
• Pruebas Detalladas: Lemas clave (como Lemma 4.3, 4.7) proporcionan verificación completa

4. Generalidad

• Múltiples Contextos Geométricos: Espacios proyectivos, productos de espacios proyectivos, variedades de Grassmann
• Característica Arbitraria: Resultados principales aplicables a característica arbitraria (excepto parte de Grassmann)

Deficiencias

1. Limitaciones del Método

• Dependencia de Ejemplos Especiales: La construcción de Sección 4 depende de ecuaciones explícitas de Sch21, HPT18a
• Complejidad de Conversión Afín-Proyectiva: Requiere teoría de bases de Gröbner, no siempre fácil de verificar

2. Completitud de Resultados

• Ausencia de Cotas Superiores: No se proporcionan cotas superiores del orden de torsión, desconocido si las cotas son óptimas
• Naturaleza de Generalidad: Los resultados aplican a intersecciones completas muy generales, posiblemente no a casos especiales

3. Complejidad Computacional

• Verificación de Condiciones: Verificación de condiciones (C1)-(C4) requiere cálculo explícito
• No Unicidad de Construcción: La construcción del Teorema 3.12 implica elecciones, no claro cómo optimizar

4. Intuición Geométrica

• Costo de Algebraización: El marco algebraico de Sección 3 carece de intuición geométrica
• Relación con Métodos Motivic: Conexión con método de degeneración tropical de NO22 no suficientemente clara

Impacto

1. Contribución al Campo

• Problema de Racionalidad: Proporciona nueva herramienta de determinación, especialmente para intersecciones completas
• Metodología: Marco de degeneración afín potencialmente aplicable a otros problemas
• Función de Puente: Conecta métodos de teoría de ciclos y construcciones explícitas

2. Valor Práctico

• Computabilidad: En principio se pueden verificar ejemplos concretos
• Potencial de Generalización: Marco potencialmente aplicable a otras clases de variedades racionales
• Pero Falta de Código: No se proporcionan herramientas computacionales

3. Reproducibilidad

• Pruebas Detalladas: Pasos clave tienen pruebas completas
• Construcciones Explícitas: Sección 4 proporciona ejemplos verificables
• Pero Falta de Herramientas: Sin herramientas computacionales

Escenarios de Aplicación

1. Aplicación Directa

• Determinación de No Racionalidad: Cuando se satisfacen condiciones de teorema, se puede probar orden de torsión >1
• Parametrizaciones Uniracionales: Proporciona cota inferior de grado

2. Investigación Teórica

• Problema de Racionalidad: Nueva herramienta de investigación
• Teoría de Grupos de Chow: Propiedades de torsión de ciclos cero

3. Direcciones de Generalización

• Otros Espacios Homogéneos: Flag varieties, Schubert varieties
• Espacios de Móduli: Racionalidad de ciertos espacios de móduli

Suplemento de Detalles Técnicos

Desigualdades Clave

Para el caso m=2 (Teorema 1.2), lo clave es probar: $2n + \sum_{j=0}^{n-1} \binom{n}{j}\lfloor j/2 \rfloor - 2 = (n+3)2^{n-2} - \lfloor (n+4)/2 \rfloor$

Esto se obtiene mediante identidad combinatoria: $\sum_{j=0}^{n-1} \binom{n}{j}\lfloor j/2 \rfloor = (n-1)2^{n-2} - \lfloor n/2 \rfloor$ (LS24, Lemma 7.4).

Función de Condición (⋆)

La condición (⋆) garantiza que el k(t)-esquema $\text{Spec}(A[z]_{\partial_z f_1} \otimes_k k(t))/(t - f_1 f_2)$ tiene punto k(t)-racional, por lo que por Stacks, Tag 0CDW se obtiene integridad geométrica. Esta es la clave para construcción iterativa en Corollary 3.9.

Aplicación Exacta de Bases de Gröbner

En Caso b de Proposición 5.1, se elige orden lexicográfico graduado: $x_2 > x_3 > \cdots > x_{4+M} > x_1$ de modo que monomios iniciales:

• $\text{LM}(q_1) = x_3^2$
• $\text{LM}(q_2) = x_2^2$
• $\text{LM}(q_i) = x_{3+i}^2$ (i≥3)

son relativamente coprimos, por lo que Proposición 2.4 aplica.

Referencias Bibliográficas (Referencias Clave)

1. Sch21 S. Schreieder, Torsion order of Fano hypersurfaces, Algebra Number Theory 15 (2021), 241–270.
2. LS24 J. Lange and S. Schreieder, On the rationality problem for low degree hypersurfaces, arXiv:2409.12834.
3. NO22 J. Nicaise and J. C. Ottem, Tropical degenerations and stable rationality, Duke Math. J. 171 (2022), 3023–3075.
4. PS23 N. Pavic and S. Schreieder, The diagonal of quartic fivefolds, Algebr. Geom. 10 (2023), 754–778.
5. CL17 A. Chatzistamatiou and M. Levine, Torsion orders of complete intersections, Algebra Number Theory 11 (2017), 1779–1835.

Evaluación General: Este es un artículo de geometría algebraica de muy alta profundidad técnica que logra progreso sustancial en el problema central de racionalidad. El desarrollo sistemático del marco de degeneración afín es una contribución metodológica importante, y la obtención de cotas logarítmicas representa una mejora significativa sobre cotas lineales anteriores. El valor principal del artículo radica en la unificación de múltiples resultados anteriores y generalización a nuevas situaciones geométricas. Aunque existen algunas limitaciones (como ausencia de cotas superiores y dependencia de construcciones especiales), en general representa un progreso importante en el campo, con impacto duradero esperado en investigación subsecuente.