Ordre de torsion et irrationalité des intersections complètes

Informations de base

• ID de l'article: 2510.24258
• Titre: Torsion order and irrationality of complete intersections
• Auteurs: Jan Lange et Guoyun Zhang
• Classification: math.AG (Géométrie algébrique)
• Date de publication: 28 octobre 2025
• Lien de l'article: https://arxiv.org/abs/2510.24258

Résumé

Cet article fournit de nouvelles bornes inférieures logarithmiques pour l'ordre de torsion (torsion order) des intersections complètes très générales dans l'espace projectif, ainsi que des hypersurfaces très générales dans les produits d'espaces projectifs et les variétés de Grassmann. En particulier, il démontre l'irrationalité rétractée de ces variétés.

Contexte et motivation de la recherche

Problème de recherche

Cet article étudie le problème de l'ordre de torsion (torsion order) des variétés algébriques, qui est un invariant central dans le problème de la rationalité en géométrie algébrique. L'ordre de torsion Tor(X) est défini comme le plus petit entier positif e tel que la diagonale multipliée par e se décompose sous une forme particulière (formule 1.1).

Importance

1. Outil central pour le problème de rationalité: L'ordre de torsion est directement lié à la détermination de la rationalité des variétés algébriques. Si Tor(X) > 1, alors X n'est ni rationnelle ni rétractée rationnelle.
2. Obstacle aux paramétrages unirationnels: L'ordre de torsion fournit une borne inférieure pour le degré des paramétrages unirationnels.
3. Caractérisation du groupe des zéro-cycles: L'ordre de torsion est le plus petit entier positif tel que le noyau du groupe des zéro-cycles soit e-tordu.

Limitations des méthodes existantes

• Chatzistamatiou-Levine CL17: Pour les intersections complètes de Fano, lorsqu'un certain degré $d_i \geq m \cdot r(X) + m$, l'ordre de torsion est divisible par m (où r(X) est l'indice de Fano). C'est une borne linéaire.
• Schreieder Sch19b, Sch21: Amélioration pour les hypersurfaces en une borne logarithmique $d \geq \log_2(r(X) + m) + m$, mais limitée au cas des hypersurfaces.

Motivation de la recherche

Cet article vise à généraliser la borne logarithmique de Schreieder à:

1. Les intersections complètes générales
2. Les hypersurfaces dans les produits d'espaces projectifs
3. Les hypersurfaces dans les variétés de Grassmann

Contributions principales

1. Borne inférieure logarithmique pour les intersections complètes (Théorème 1.1): Démonstration que l'ordre de torsion d'une intersection complète très générale de multi-degrés (d₁,...,dₛ) avec indice de Fano positif r est divisible par m, si l'un des $d_i \geq \log_2(r + m) + m$.
2. Borne précise pour la 2-divisibilité (Théorème 1.2): Pour les intersections complètes de dimension ≥4, lorsque $r \leq (d_i + 1)2^{d_i-4} - \lfloor(d_i+2)/2\rfloor$, l'ordre de torsion est divisible par 2, prouvant qu'elles ne sont ni rationnelles ni A¹-connexes.
3. Hypersurfaces dans les produits d'espaces projectifs (Théorème 1.3): Pour les hypersurfaces de multi-degrés (d₁,...,dₛ) dans $\mathbb{P}^{M_1} \times \cdots \times \mathbb{P}^{M_s}$, lorsque $M_1 \geq 4$ et $(d_1,...,d_s) \geq (\log_2(M_1)+m, M_2+1,...,M_s+1)$, l'ordre de torsion est divisible par m.
4. Hypersurfaces dans les variétés de Grassmann (Théorème 1.4): Pour les hypersurfaces de degré d≥4 dans la Grassmannienne Gr(l,n), lorsque $l(n-l) \leq (d+1)2^{d-4}$, l'ordre de torsion est divisible par 2.
5. Innovation méthodologique: Développement d'un cadre systématique de « dégénérescence affine » (affine degeneration), permettant de généraliser les résultats sur les hypersurfaces aux intersections complètes par application itérée.

Explication détaillée des méthodes

Idée centrale

L'innovation clé de cet article est le développement d'un cadre de dégénérescence affine, qui décompose le problème en:

1. Construction d'intersections complètes affines satisfaisant des conditions spécifiques
2. Contrôle de leur fermeture projective via la théorie des bases de Gröbner
3. Utilisation d'arguments de dégénérescence (degeneration argument) pour transférer la divisibilité de l'ordre de torsion

Stratégie technique

1. Algèbres fortement rationnelles (Définition 3.1)

Une k-algèbre B est définie comme fortement k-rationnelle si B est isomorphe à une localisation d'un anneau de polynômes. Cela garantit que Spec B est isomorphe à un sous-schéma ouvert d'un espace affine.

2. Paires admissibles (Définition 3.5)

Pour une k-algèbre lisse A, on dit que $f_1 \in A[z]$ et $f_2 \in A$ sont admissibles si:

• $A[z]/(f_1, f_2)$ est géométriquement intègre
• $A[z]/(f_1)$ et $A/(f_2)$ sont tous deux fortement k-rationnels

3. Familles affines strictement semi-stables (Proposition 3.6)

Pour une paire admissible (f₁, f₂), la famille construite $\text{Spec}(A[z]_{\partial_z f_1} \otimes_k R)/(t - f_1 f_2)$ est un R-schéma strictement semi-stable (où R = kt₍ₜ₎).

4. Construction clé (Théorème 3.12)

Entrée: Hypersurface $f \in k[x_1,...,x_{n+r}][z]$ satisfaisant les conditions (C1)-(C4)

• (C1): $B = k[x_1,...,x_{n+r}]/(f_1,...,f_r)$ est fortement k-rationnelle
• (C2): $\text{Spec } B[z]/(f)$ est géométriquement intègre
• (C3): L'ordre de torsion relatif est m
• (C4): Satisfait la condition (⋆⋆)

Sortie: Pour tout d ≥ M ≥ 1, construction de polynômes $\tilde{f}, \check{f}$ tels que:

• $f_1,...,f_{r+1}, \tilde{f}$ satisfont (C1)-(C4) (ajout de M variables)
• $f_1,...,f_r, \check{f}$ satisfont (C1)-(C4) (degré augmenté de d)

Stratégie de preuve:

• Étape 1 (d = M): Construction inductive via Example 3.10 et Corollary 3.9
• Étape 2 (d > M ≥ 2): Utilisation d'un argument de dégénérescence $t \to 0$ et application du Lemme 2.9

Lemmes clés

Théorème 2.10 (Invariance de dégénérescence de l'ordre de torsion relatif)

Soit X → Spec R une famille plate avec fibre spéciale Y = Y₀ ∪ Y₁ et intersection Z = Y₀ ∩ Y₁. Si:

1. X° := X \ W_X est strictement semi-stable
2. Y_i \ W_ ≅ sous-schéma ouvert de $\mathbb{A}^{\dim Y_i}$

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

Proposition 2.4 (Bases de Gröbner et fermeture projective)

Si les monômes initiaux des polynômes f₁,...,fᵣ sont relativement premiers, alors:

• $I^h = (f_1^h,...,f_r^h)$ (idéal homogène)
• La fermeture projective est contrôlable

Configuration expérimentale

Exemples de base (Section 4)

4.1 Exemple d'hypersurface de Schreieder

À partir de la construction 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$

Vérification (Lemme 4.3): f₀ satisfait la condition (⋆⋆), c'est-à-dire que pour toute extension de corps F/k et q ∈ F, il existe un épimorphisme de F-algèbres: $F[x_1,...,x_N,z,w]/(f_0+q, w\partial_z f_0 - 1) \twoheadrightarrow F$

4.2 Variété quartique spéciale de dimension 4

Basée sur l'exemple de HPT18a, construction du polynôme: $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)$

Propriétés clés (Exemple 4.6): $\text{Tor}_{\mathbb{Z}/2}(\text{Spec } k[x_1,x_2,z_1,z_2,z_3]/(f), W) = 2$

Stratégie de construction

Proposition 5.1 (Construction d'intersections complètes)

Pour N et M satisfaisant $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$ il existe des polynômes $g_1,...,g_s \in k[x_1,...,x_N,y_1,...,y_M]$ tels que:

• $\text{Spec } k[x_1,...,x_N,y_1,...,y_M]/(g_1,...,g_s)$ a dimension N+M-s
• $\text{Tor}_{\mathbb{Z}/m}(X,W) = m$
• Lorsque s ≤ M, les monômes initiaux sont relativement premiers

La preuve se divise en trois cas:

• Cas a (M ≥ 2s-2): Application directe du Théorème 3.12 (a)
• Cas b (s ≤ M < 2s-2): Utilisation mixte du Théorème 3.12 (a) et de constructions simples
• Cas c (M = s-1): Réduction au cas des hypersurfaces

Résultats expérimentaux

Résultats principaux

Théorème 5.2 (Ordre de torsion des intersections complètes)

Soit n, m ≥ 2, X une intersection complète de multi-degrés (d₁,...,dₛ) et de dimension D ≥ 4. Si $d_1 \geq n+m$ et l'indice 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$ alors l'ordre de torsion de X très générale est divisible par m.

Corollaire (Preuve du Théorème 1.1): En prenant $n = d_1 - m \geq \lceil \log_2(r+m) \rceil$, on obtient $r \leq 2n - m \leq 2n + \sum_{j=0}^{n-1} \binom{n}{j}\lfloor j/m \rfloor - m$ donc la conclusion s'ensuit.

Théorème 5.4 (Cas d'indice de Fano petit)

Sur un corps de caractéristique ≠2, une intersection complète X ⊂ $\mathbb{P}^N$ (N ≥ 4+s) de multi-degrés (d₁,...,dₛ) ∈ $\mathbb{Z}_{\geq 2}^s$ avec indice de Fano r ≤ 2 a un ordre de torsion divisible par 2.

Points clés de la preuve:

• Utilisation de la Proposition 5.3 pour construire l'intersection complète affine
• Application des exemples spéciaux 4.6-4.12 (variété quartique de dimension 4, intersection complète (2,2,2), variété (3,3) de dimension 5)
• Application de la théorie des bases de Gröbner pour contrôler la fermeture projective

Résultats pour les produits d'espaces projectifs

Théorème 5.7 (Preuve du Théorème 1.3)

Pour une hypersurface de multi-degrés (d₀,...,dₛ) dans $\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$

alors l'ordre de torsion de l'hypersurface très générale est divisible par m.

Stratégie de preuve:

1. Construction d'hypersurfaces affines via la Proposition 5.6
2. Multi-homogénéisation pour obtenir des hypersurfaces dans le produit d'espaces projectifs
3. Argument de dégénérescence pour transférer les propriétés d'ordre de torsion

Résultats pour les variétés de Grassmann

Théorème 5.9 (Généralisation du Théorème 1.4)

Pour l'plongement de Plücker $\text{Gr}(l,n) \hookrightarrow \mathbb{P}^N$ ($N = \binom{n}{l}-1$), si le degré d ≥ n'+m et $4 \leq l(n-l) \leq 2n' - 1 + \sum_{j=0}^{n'-1} \binom{n'}{j}\lfloor j/m \rfloor + d - m$ alors l'ordre de torsion de l'intersection de Gr(l,n) avec une hypersurface très générale de degré d est divisible par m.

Technique clé (Lemme 5.8): Relèvement des hypersurfaces affines dans Gr(l,n) vers des hypersurfaces dans $\mathbb{P}^N$, préservant les propriétés d'ordre de torsion.

Comparaison numérique

Travaux connexes

Historique de la recherche sur l'ordre de torsion

1. Bloch Blo80, Bloch-Srinivas BS83: Introduction du concept d'ordre de torsion
2. Rojtman Roi80: Finitude de l'ordre de torsion pour les hypersurfaces
3. Chatzistamatiou-Levine CL17: Borne linéaire pour les intersections complètes
4. Schreieder Sch19b, Sch21: Borne logarithmique pour les hypersurfaces

Méthodes pour le problème de rationalité

1. Voisin Voi15: Méthode de décomposition de la diagonale
2. Kontsevich-Tschinkel KT19, Nicaise-Shinder NS19: Méthodes motiviques
3. Nicaise-Ottem NO22: Méthode de dégénérescence tropicale
4. Pavic-Schreieder PS23, Lange-Schreieder LS24: Analogie avec la théorie des cycles

Positionnement de cet article

• Héritage: Construction sur les résultats d'hypersurfaces de Sch21, LS24
• Généralisation: Des hypersurfaces aux intersections complètes, produits d'espaces projectifs, variétés de Grassmann
• Unification: Fourniture d'un cadre unifié de dégénérescence affine
• Complémentarité: Donne les mêmes bornes que les méthodes motiviques NO22 en caractéristique positive

Conclusion et discussion

Conclusions principales

1. Universalité de la borne logarithmique: Généralisation de la borne logarithmique de Schreieder des hypersurfaces aux intersections complètes
2. Nouveaux contextes géométriques: Première étude des hypersurfaces dans les produits d'espaces projectifs et les variétés de Grassmann
3. Contribution méthodologique: Le cadre de dégénérescence affine a une large applicabilité

Limitations

1. Restrictions sur le corps de base:
   • Intersections complètes et produits d'espaces projectifs: corps arbitraire
   • Variétés de Grassmann: résultats principaux limités au corps des complexes (Remarque 5.10 indique une possible généralisation)
2. Restrictions de dimension:
   • Exigence de dimension ≥4 (Théorème 1.2)
   • Les cas de faible dimension nécessitent un traitement spécial
3. Indice de Fano:
   • Focus principal sur le cas d'indice de Fano positif
   • Les intersections complètes non-Fano peuvent avoir un ordre de torsion infini
4. Absence de bornes supérieures:
   • Fourniture uniquement de bornes inférieures, pas de bornes supérieures pour l'ordre de torsion
   • Les bornes supérieures pour les hypersurfaces dans les produits d'espaces projectifs sont inconnues (Section 1.2)

Directions futures

1. Étude des bornes supérieures: Recherche de bornes supérieures pour l'ordre de torsion, particulièrement dans le cas des produits d'espaces projectifs
2. Généralisation à d'autres variétés rationnelles: Comme les variétés de drapeaux, variétés toriques
3. Théorie complète en caractéristique positive: Version complète en caractéristique positive pour les variétés de Grassmann
4. Méthodes computationnelles: Développement d'algorithmes pour le calcul explicite de l'ordre de torsion

Évaluation approfondie

Points forts

1. Innovation technique

• Cadre de dégénérescence affine: La construction systématique de la Section 3 est une contribution méthodologique importante
  • Algébrisation du problème (Définitions 3.1, 3.5)
  • Construction itérative (Théorème 3.12) réalisant l'augmentation de dimension des hypersurfaces aux intersections complètes
  • Introduction de la condition (⋆⋆) garantissant l'intégrité géométrique
• Application astucieuse des bases de Gröbner:
  • Proposition 2.4 contrôlant la fermeture projective
  • Monômes initiaux relativement premiers garantissant la génération d'idéaux

2. Profondeur des résultats

• Percée de la borne logarithmique: Amélioration de la borne linéaire $m \cdot r$ à la borne logarithmique $\log_2(r+m)$
• Unification de plusieurs résultats antérieurs:
  • Variété quartique de dimension 5 NO22, PS23
  • Variété (2,3) de dimension 4 Ska23, FL25
  • Nouveaux résultats: variété (2,2,2) de dimension 4, variété (3,3) de dimension 5

3. Clarté de la rédaction

• Structure claire:
  • Section 2: Préliminaires
  • Section 3: Cadre théorique
  • Section 4: Exemples de base
  • Section 5: Applications et théorèmes principaux
• Preuves détaillées: Les lemmes clés (comme Lemmes 4.3, 4.7) fournissent une vérification complète

4. Généralité

• Multiples contextes géométriques: Espace projectif, produits d'espaces projectifs, variétés de Grassmann
• Caractéristique arbitraire: Les résultats principaux s'appliquent à la caractéristique arbitraire (sauf pour la partie sur les variétés de Grassmann)

Insuffisances

1. Limitations de la méthode

• Dépendance d'exemples spéciaux: La construction de la Section 4 dépend des équations explicites de Sch21, HPT18a
• Complexité de la conversion affine-projective: Nécessite la théorie des bases de Gröbner, pas toujours facile à vérifier

2. Complétude des résultats

• Absence de bornes supérieures: Pas de fourniture de bornes supérieures pour l'ordre de torsion, on ignore si les bornes sont optimales
• Nature de la généralité très générale: Les résultats pour les intersections complètes spéciales peuvent ne pas s'appliquer

3. Complexité computationnelle

• Vérification des conditions: La vérification des conditions (C1)-(C4) nécessite des calculs explicites
• Non-unicité de la construction: La construction du Théorème 3.12 implique des choix, il n'est pas clair comment optimiser

4. Intuition géométrique

• Coût de l'algébrisation: Le cadre algébrique de la Section 3 manque d'intuition géométrique
• Relation avec les méthodes motiviques: La connexion avec la méthode de dégénérescence tropicale de NO22 n'est pas suffisamment claire

Impact

1. Contribution au domaine

• Problème de rationalité: Fourniture de nouveaux outils de détermination, particulièrement pour les intersections complètes
• Méthodologie: Le cadre de dégénérescence affine peut s'appliquer à d'autres problèmes
• Rôle de pont: Connexion entre les méthodes de théorie des cycles et les constructions explicites

2. Valeur pratique

• Calculabilité: En principe, on peut vérifier des exemples concrets
• Potentiel de généralisation: Le cadre peut s'appliquer à d'autres classes de variétés rationnelles

3. Reproductibilité

• Preuves détaillées: Les étapes clés ont des preuves complètes
• Constructions explicites: La Section 4 fournit des exemples vérifiables
• Mais absence de code: Pas d'outils computationnels fournis

Scénarios d'application

1. Applications directes

• Détermination de non-rationalité: Lorsque les conditions du théorème sont satisfaites, on peut prouver que Tor(X)>1
• Paramétrages unirationnels: Fourniture de bornes inférieures pour le degré

2. Recherche théorique

• Problème de rationalité: Nouvel outil de recherche
• Théorie des groupes de Chow: Propriétés de torsion des zéro-cycles

3. Directions de généralisation

• Autres espaces homogènes: Variétés de drapeaux, variétés de Schubert
• Espaces de modules: Rationalité de certains espaces de modules

Compléments techniques

Inégalités clés

Pour le cas m=2 (Théorème 1.2), la clé est de prouver: $2n + \sum_{j=0}^{n-1} \binom{n}{j}\lfloor j/2 \rfloor - 2 = (n+3)2^{n-2} - \lfloor (n+4)/2 \rfloor$

Ceci s'obtient via l'identité combinatoire: $\sum_{j=0}^{n-1} \binom{n}{j}\lfloor j/2 \rfloor = (n-1)2^{n-2} - \lfloor n/2 \rfloor$ (voir LS24, Lemme 7.4).

Rôle de la condition (⋆)

La condition (⋆) garantit que le k(t)-schéma $\text{Spec}(A[z]_{\partial_z f_1} \otimes_k k(t))/(t - f_1 f_2)$ possède un k(t)-point rationnel, d'où l'intégrité géométrique par Stacks, Tag 0CDW. C'est la clé de la construction itérative du Corollaire 3.9.

Application précise des bases de Gröbner

Dans le Cas b de la Proposition 5.1, on choisit l'ordre lexicographique gradué: $x_2 > x_3 > \cdots > x_{4+M} > x_1$ de sorte que les monômes initiaux:

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

sont relativement premiers, permettant l'application de la Proposition 2.4.

Références (Références clés)

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

Évaluation générale: Ceci est un article de géométrie algébrique d'une profondeur technique très élevée, réalisant des progrès substantiels dans le domaine central du problème de rationalité. Le développement systématique du cadre de dégénérescence affine constitue une contribution méthodologique importante, et l'obtention de bornes logarithmiques représente une amélioration significative par rapport aux bornes linéaires antérieures. La valeur principale de l'article réside dans l'unification de plusieurs résultats antérieurs et la généralisation à de nouveaux contextes géométriques. Malgré certaines limitations (comme l'absence de bornes supérieures et la dépendance de constructions spéciales), il s'agit globalement d'un progrès important dans le domaine, dont on s'attend à ce qu'il exerce un impact durable sur les recherches ultérieures.