2025-11-11T19:43:09.288841

Torsion order and irrationality of complete intersections

Lange, Zhang

We provide new logarithmic lower bounds for the torsion order of a very general complete intersection in projective space as well as a very general hypersurface in products of projective spaces and Grassmannians, in particular we prove their retract irrationality.

academic

Torsionsordnung und Irrationalität von vollständigen Durchschnitten

Grundinformationen

Paper-ID: 2510.24258
Titel: Torsion order and irrationality of complete intersections
Autoren: Jan Lange und Guoyun Zhang
Klassifikation: math.AG (Algebraische Geometrie)
Veröffentlichungsdatum: 28. Oktober 2025
Paper-Link: https://arxiv.org/abs/2510.24258

Zusammenfassung

Diese Arbeit liefert neue logarithmische untere Schranken für die Torsionsordnung (torsion order) von sehr allgemeinen vollständigen Durchschnitten im projektiven Raum sowie von sehr allgemeinen Hyperflächen in Produkten projektiver Räume und Grassmann-Mannigfaltigkeiten. Insbesondere wird die Retract-Irrationalität dieser Varietäten nachgewiesen.

Forschungshintergrund und Motivation

Forschungsfragen

Die Arbeit untersucht das Problem der Torsionsordnung (torsion order) algebraischer Varietäten, welche ein zentraler Invariant in der Rationalitätsfrage der algebraischen Geometrie ist. Die Torsionsordnung Tor(X) wird definiert als die kleinste positive ganze Zahl e, so dass die Diagonale das e-fache einer speziellen Form zerlegt werden kann (Formel 1.1).

Bedeutung

Zentrales Werkzeug für Rationalitätsfragen: Die Torsionsordnung steht in direktem Zusammenhang mit der Bestimmung der Rationalität algebraischer Varietäten. Falls Tor(X) > 1, dann ist X weder rational noch retract-rational.
Hindernis für unirationale Parametrisierungen: Die Torsionsordnung liefert eine untere Schranke für den Grad unirationaler Parametrisierungen.
Charakterisierung der Nullzyklus-Gruppe: Die Torsionsordnung ist die kleinste positive ganze Zahl, so dass der Kern der Nullzyklus-Gruppe e-Torsion ist.

Einschränkungen bestehender Methoden

Chatzistamatiou-Levine CL17: Für Fano-vollständige Durchschnitte ist die Torsionsordnung durch m teilbar, wenn ein Grad $d_i \geq m \cdot r(X) + m$ erfüllt ist (wobei r(X) der Fano-Index ist). Dies ist eine lineare Schranke.
Schreieder Sch19b, Sch21: Verbessert für Hyperflächen zu einer logarithmischen Schranke $d \geq \log_2(r(X) + m) + m$ , aber nur im Fall von Hyperflächen.

Forschungsmotivation

Diese Arbeit zielt darauf ab, Schreieder's logarithmische Schranke zu verallgemeinern auf:

Allgemeine vollständige Durchschnitte
Hyperflächen in Produkten projektiver Räume
Hyperflächen in Grassmann-Mannigfaltigkeiten

Kernbeiträge

Logarithmische untere Schranke für vollständige Durchschnitte (Theorem 1.1): Es wird nachgewiesen, dass die Torsionsordnung eines sehr allgemeinen vollständigen Durchschnitts mit Multigrad (d₁,...,dₛ) und positivem Fano-Index r durch m teilbar ist, wenn ein $d_i \geq \log_2(r + m) + m$ erfüllt ist.
Präzise 2-Teilbarkeitsschranke (Theorem 1.2): Für vollständige Durchschnitte der Dimension ≥4 ist die Torsionsordnung durch 2 teilbar, wenn $r \leq (d_i + 1)2^{d_i-4} - \lfloor(d_i+2)/2\rfloor$ erfüllt ist. Dies beweist, dass sie weder rational noch A¹-zusammenhängend sind.
Hyperflächen in Produkten projektiver Räume (Theorem 1.3): Für Hyperflächen mit Multigrad (d₁,...,dₛ) in $\mathbb{P}^{M_1} \times \cdots \times \mathbb{P}^{M_s}$ ist die Torsionsordnung durch m teilbar, wenn $M_1 \geq 4$ und $(d_1,...,d_s) \geq (\log_2(M_1)+m, M_2+1,...,M_s+1)$ erfüllt ist.
Hyperflächen in Grassmann-Mannigfaltigkeiten (Theorem 1.4): Für Hyperflächen vom Grad d≥4 in der Grassmannian Gr(l,n) ist die Torsionsordnung durch 2 teilbar, wenn $l(n-l) \leq (d+1)2^{d-4}$ erfüllt ist.
Methodische Innovation: Es wird ein systematisches Rahmenwerk der „affinen Degeneration" (affine degeneration) entwickelt, das durch iterierte Anwendung die Hyperflächen-Ergebnisse auf vollständige Durchschnitte verallgemeinert.

Methodische Details

Kernidee

Die Schlüsselinnovation dieser Arbeit ist die Entwicklung eines affinen Degenerationsrahmens, der das Problem in folgende Schritte zerlegt:

Konstruktion affiner vollständiger Durchschnitte mit speziellen Bedingungen
Kontrolle ihrer projektiven Abschlüsse durch Gröbner-Basis-Theorie
Übertragung der Teilbarkeit der Torsionsordnung durch Degenerationsargumente

Technische Route

1. Stark rationale Algebren (Definition 3.1)

Eine k-Algebra B wird als stark k-rational definiert, wenn B isomorph zur Lokalisierung eines Polynomrings ist. Dies garantiert, dass Spec B isomorph zu einer offenen Untervarietät des affinen Raums ist.

2. Zulässige Paare (Definition 3.5)

Für eine glatte k-Algebra A werden $f_1 \in A[z]$ und $f_2 \in A$ als zulässig bezeichnet, wenn:

$A[z]/(f_1, f_2)$ geometrisch ganz ist
$A[z]/(f_1)$ und $A/(f_2)$ beide stark k-rational sind

3. Affine streng semistabile Familie (Proposition 3.6)

Für ein zulässiges Paar (f₁, f₂) ist die konstruierte Familie $\text{Spec}(A[z]_{\partial_z f_1} \otimes_k R)/(t - f_1 f_2)$ ein streng semistabiles R-Schema (wobei R = kt₍ₜ₎).

4. Schlüsselkonstruktion (Theorem 3.12)

Eingabe: Hyperfläche $f \in k[x_1,...,x_{n+r}][z]$ mit Bedingungen (C1)-(C4)

(C1): $B = k[x_1,...,x_{n+r}]/(f_1,...,f_r)$ ist stark k-rational
(C2): $\text{Spec } B[z]/(f)$ ist geometrisch ganz
(C3): Relative Torsionsordnung ist m
(C4): Erfüllt Bedingung (⋆⋆)

Ausgabe: Für beliebige d ≥ M ≥ 1 werden Polynome $\tilde{f}, \check{f}$ konstruiert, so dass:

$f_1,...,f_{r+1}, \tilde{f}$ erfüllen (C1)-(C4) (mit M zusätzlichen Variablen)
$f_1,...,f_r, \check{f}$ erfüllen (C1)-(C4) (mit erhöhtem Grad d)

Beweisstruktur:

Schritt 1 (d = M): Induktive Konstruktion durch Example 3.10 und Corollary 3.9
Schritt 2 (d > M ≥ 2): Degenerationsargument $t \to 0$ und Anwendung von Lemma 2.9

Schlüssellemmata

Theorem 2.10 (Degenerationsinvarianz der relativen Torsionsordnung)

Sei X → Spec R eine flache Familie mit spezieller Faser Y = Y₀ ∪ Y₁ und Schnitt Z = Y₀ ∩ Y₁. Falls:

X° := X \ W_X streng semistabil ist
Y_i \ W_ ≅ offene Untervarietät von $\mathbb{A}^{\dim Y_i}$

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

Proposition 2.4 (Gröbner-Basis und projektiver Abschluss)

Falls die Leitmonome der Polynome f₁,...,fᵣ relativ teilerfremd sind, dann:

$I^h = (f_1^h,...,f_r^h)$ (homogenes Ideal)
Der projektive Abschluss ist kontrollierbar

Experimentelle Einrichtung

Grundlegende Beispiele (Section 4)

4.1 Schreieder's Hyperflächen-Beispiel

Ausgehend von der Konstruktion in 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$

Verifikation (Lemma 4.3): f₀ erfüllt Bedingung (⋆⋆), d.h. für jede Körpererweiterung F/k und q ∈ F existiert eine F-Algebra-Surjektion: $F[x_1,...,x_N,z,w]/(f_0+q, w\partial_z f_0 - 1) \twoheadrightarrow F$

4.2 Spezielle vierdimensionale Quartiken

Basierend auf dem Beispiel aus HPT18a, wird das Polynom konstruiert: $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)$

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

Konstruktionsstrategie

Proposition 5.1 (Konstruktion vollständiger Durchschnitte)

Für N und M mit $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$ existieren Polynome $g_1,...,g_s \in k[x_1,...,x_N,y_1,...,y_M]$ so dass:

$\text{Spec } k[x_1,...,x_N,y_1,...,y_M]/(g_1,...,g_s)$ hat Dimension N+M-s
$\text{Tor}_{\mathbb{Z}/m}(X,W) = m$
Wenn s ≤ M, dann sind die Leitmonome relativ teilerfremd

Beweis in drei Fällen:

Fall a (M ≥ 2s-2): Direkte Anwendung von Theorem 3.12 (a)
Fall b (s ≤ M < 2s-2): Gemischte Verwendung von Theorem 3.12 (a) und einfacher Konstruktion
Fall c (M = s-1): Degeneration zum Hyperflächen-Fall

Experimentelle Ergebnisse

Hauptergebnisse

Theorem 5.2 (Torsionsordnung vollständiger Durchschnitte)

Seien n, m ≥ 2, ein vollständiger Durchschnitt X mit Multigrad (d₁,...,dₛ) und Dimension D ≥ 4. Falls $d_1 \geq n+m$ und der Fano-Index $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$ dann ist die Torsionsordnung eines sehr allgemeinen X durch m teilbar.

Folgerung (Beweis von Theorem 1.1): Wähle $n = d_1 - m \geq \lceil \log_2(r+m) \rceil$ , dann $r \leq 2n - m \leq 2n + \sum_{j=0}^{n-1} \binom{n}{j}\lfloor j/m \rfloor - m$ daher folgt die Aussage.

Theorem 5.4 (Fall kleiner Fano-Indizes)

Über Körpern der Charakteristik ≠2 ist für einen vollständigen Durchschnitt X ⊂ $\mathbb{P}^N$ (N ≥ 4+s) mit Multigrad (d₁,...,dₛ) ∈ $\mathbb{Z}_{\geq 2}^s$ und Fano-Index r ≤ 2 die Torsionsordnung durch 2 teilbar.

Beweishauptpunkte:

Verwendung von Proposition 5.3 zur Konstruktion affiner vollständiger Durchschnitte
Anwendung spezieller Beispiele aus Example 4.6-4.12 (vierdimensionale Quartiken, (2,2,2)-vollständige Durchschnitte, fünfdimensionale (3,3)-Varietäten)
Anwendung der Gröbner-Basis-Theorie zur Kontrolle des projektiven Abschlusses

Ergebnisse für Produkte projektiver Räume

Theorem 5.7 (Beweis von Theorem 1.3)

Für Hyperflächen mit Multigrad (d₀,...,dₛ) in $\mathbb{P}^{M_0} \times \cdots \times \mathbb{P}^{M_s}$ gilt: Falls

$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$

dann ist die Torsionsordnung einer sehr allgemeinen Hyperfläche durch m teilbar.

Beweisstruktur:

Konstruktion affiner Hyperflächen durch Proposition 5.6
Multihomogenisierung zur Hyperfläche im Produkt projektiver Räume
Degenerationsargument zur Übertragung der Torsionsordnungs-Eigenschaft

Ergebnisse für Grassmann-Mannigfaltigkeiten

Theorem 5.9 (Verallgemeinerung von Theorem 1.4)

Für die Plücker-Einbettung $\text{Gr}(l,n) \hookrightarrow \mathbb{P}^N$ ( $N = \binom{n}{l}-1$ ) ist die Torsionsordnung des Schnitts von Gr(l,n) mit einer sehr allgemeinen Hyperfläche vom Grad d durch m teilbar, falls d ≥ n'+m und $4 \leq l(n-l) \leq 2n' - 1 + \sum_{j=0}^{n'-1} \binom{n'}{j}\lfloor j/m \rfloor + d - m$

Schlüsseltechnik (Lemma 5.8): Anheben affiner Hyperflächen in Gr(l,n) zu Hyperflächen in $\mathbb{P}^N$ , wobei die Torsionsordnungs-Eigenschaft erhalten bleibt.

Konkrete numerische Vergleiche

Typ	Bisherige beste Schranke	Ergebnis dieser Arbeit	Verbesserung
Hyperfläche	$d \geq m \cdot r + m$ CL17	$d \geq \log_2(r+m) + m$	Exponentielle Verbesserung
Vollständiger Durchschnitt	$d_i \geq m \cdot r + m$ CL17	$d_i \geq \log_2(r+m) + m$	Erste logarithmische Schranke
Vierdimensionale Quartiken	Bekannt NO22, PS23	Neuer Beweis	Einheitlicher Rahmen
(2,2,2)-vierdimensionale Varietät	Unbekannt	Tor durch 2 teilbar	Neues Ergebnis

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

Universalität logarithmischer Schranken: Verallgemeinerung von Schreieder's logarithmischer Schranke von Hyperflächen auf vollständige Durchschnitte
Neue geometrische Situationen: Erstmalige Behandlung von Hyperflächen in Produkten projektiver Räume und Grassmann-Mannigfaltigkeiten
Methodische Beiträge: Der affine Degenerationsrahmen hat breite Anwendbarkeit

Einschränkungen

Basiskörper-Einschränkungen:
- Vollständige Durchschnitte und Produkte projektiver Räume: Beliebiger Körper
- Grassmann-Mannigfaltigkeiten: Hauptergebnisse beschränkt auf komplexe Zahlen (Remark 5.10 deutet auf Verallgemeinerbarkeit hin)
Dimensions-Einschränkungen:
- Erfordert Dimension ≥4 (Theorem 1.2)
- Niedrigdimensionale Fälle erfordern spezielle Behandlung
Fano-Index:
- Fokus auf positive Fano-Index-Fälle
- Nicht-Fano-vollständige Durchschnitte können unendliche Torsionsordnung haben
Fehlende obere Schranken:
- Nur untere Schranken bereitgestellt, keine oberen Schranken für Torsionsordnung
- Obere Schranken für Hyperflächen in Produkten projektiver Räume unbekannt (Section 1.2)

Zukünftige Richtungen

Obere Schranken-Forschung: Suche nach oberen Schranken für Torsionsordnung, besonders im Fall von Produkten projektiver Räume
Verallgemeinerung auf andere rationale Varietäten: Flag varieties, toroide Varietäten
Vollständige Theorie in positiver Charakteristik: Vollständige positive Charakteristik-Version für Grassmann-Mannigfaltigkeiten
Rechenmethoden: Entwicklung von Algorithmen zur konkreten Berechnung von Torsionsordnungen

Tiefgreifende Bewertung

Stärken

1. Technische Innovativität

Affiner Degenerationsrahmen: Die systematische Konstruktion in Section 3 ist ein wichtiger methodischer Beitrag
- Algebraisierung des Problems (Definition 3.1, 3.5)
- Iterative Konstruktion (Theorem 3.12) ermöglicht Dimensionserhöhung von Hyperflächen zu vollständigen Durchschnitten
- Einführung von Bedingung (⋆⋆) garantiert geometrische Ganzheit
Geschickte Anwendung von Gröbner-Basen:
- Proposition 2.4 kontrolliert projektiven Abschluss
- Relative Teilerfremdheit von Leitmonomen garantiert Ideal-Erzeugung

2. Tiefe der Ergebnisse

Durchbruch bei logarithmischen Schranken: Verbesserung von linearen $m \cdot r$ zu logarithmischen $\log_2(r+m)$
Vereinheitlichung mehrerer früherer Ergebnisse:
- Vierdimensionale Quartiken NO22, PS23
- (2,3)-vierdimensionale Varietäten Ska23, FL25
- Neue Ergebnisse: (2,2,2)-vierdimensionale Varietäten, (3,3)-fünfdimensionale Varietäten

3. Klarheit der Darstellung

Klare Struktur:
- Section 2: Vorbereitungen
- Section 3: Theoretischer Rahmen
- Section 4: Grundlegende Beispiele
- Section 5: Anwendungen und Hauptsätze
Detaillierte Beweise: Schlüssellemmata (wie Lemma 4.3, 4.7) mit vollständiger Verifikation

4. Universalität

Mehrere geometrische Hintergründe: Projektive Räume, Produkte projektiver Räume, Grassmann-Mannigfaltigkeiten
Beliebige Charakteristik: Hauptergebnisse gelten für beliebige Charakteristik (außer Grassmann-Mannigfaltigkeiten-Teil)

Schwächen

1. Methodische Einschränkungen

Abhängigkeit von speziellen Beispielen: Die Konstruktion in Section 4 hängt von expliziten Gleichungen aus Sch21, HPT18a ab
Komplexität der affin-projektiven Umwandlung: Erfordert Gröbner-Basis-Theorie, nicht immer leicht zu verifizieren

2. Vollständigkeit der Ergebnisse

Fehlende obere Schranken: Keine oberen Schranken für Torsionsordnung bereitgestellt, unklar ob Schranken optimal sind
Sehr allgemeine Natur: Ergebnisse gelten möglicherweise nicht für spezielle vollständige Durchschnitte

3. Rechenkomplexität

Verifikation von Bedingungen: Verifikation der Bedingungen (C1)-(C4) erfordert explizite Berechnungen
Nicht-Eindeutigkeit der Konstruktion: Die Konstruktion in Theorem 3.12 beinhaltet Wahlen, unklar wie man optimiert

4. Geometrische Intuition

Kosten der Algebraisierung: Der algebraische Rahmen in Section 3 entbehrt geometrischer Intuition
Verbindung zu motivischen Methoden: Verbindung zur tropischen Degenerationsmethode NO22 nicht ausreichend klar

Einfluss

1. Beitrag zum Gebiet

Rationalitätsfragen: Neue Bestimmungswerkzeuge, besonders für vollständige Durchschnitte
Methodologie: Der affine Degenerationsrahmen könnte auf andere Probleme anwendbar sein
Brückenfunktion: Verbindet zyklus-theoretische Methoden und explizite Konstruktionen

2. Praktischer Wert

Berechenbarkeit: Prinzipiell können konkrete Beispiele verifiziert werden
Verallgemeinerungspotential: Rahmen könnte auf andere rationale Varietäten-Klassen anwendbar sein
Aber fehlende Werkzeuge: Keine Rechenwerkzeuge bereitgestellt

Anwendungsszenarien

1. Direkte Anwendung

Bestimmung von Nicht-Rationalität: Wenn Theorembedingungen erfüllt sind, kann Torsionsordnung >1 nachgewiesen werden
Unirationale Parametrisierungen: Liefert Grad-Untergrenzen

2. Theoretische Forschung

Rationalitätsfragen: Neue Forschungswerkzeuge
Chow-Gruppen-Theorie: Torsionseigenschaften von Nullzyklen

3. Verallgemeinerungsrichtungen

Andere homogene Räume: Flag varieties, Schubert varieties
Modulräume: Rationalität bestimmter Modulräume

Ergänzende technische Details

Schlüsselungleichungen

Für den Fall m=2 (Theorem 1.2) ist der Schlüssel der Nachweis: $2n + \sum_{j=0}^{n-1} \binom{n}{j}\lfloor j/2 \rfloor - 2 = (n+3)2^{n-2} - \lfloor (n+4)/2 \rfloor$

Dies folgt durch die kombinatorische Identität: $\sum_{j=0}^{n-1} \binom{n}{j}\lfloor j/2 \rfloor = (n-1)2^{n-2} - \lfloor n/2 \rfloor$ (vgl. LS24, Lemma 7.4).

Rolle von Bedingung (⋆)

Bedingung (⋆) garantiert, dass das k(t)-Schema $\text{Spec}(A[z]_{\partial_z f_1} \otimes_k k(t))/(t - f_1 f_2)$ einen k(t)-rationalen Punkt hat, daher ist es nach Stacks, Tag 0CDW geometrisch ganz. Dies ist der Schlüssel zur iterativen Konstruktion in Corollary 3.9.

Präzise Anwendung von Gröbner-Basen

In Proposition 5.1, Fall b, wird die graduierte lexikographische Ordnung gewählt: $x_2 > x_3 > \cdots > x_{4+M} > x_1$ so dass die Leitmonome:

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

relativ teilerfremd sind, daher ist Proposition 2.4 anwendbar.

Referenzen (Schlüsselliteratur)

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

Gesamtbewertung: Dies ist ein technisch hochgradig anspruchsvolles Papier der algebraischen Geometrie, das substantielle Fortschritte in der Rationalitätsfrage, einem Kerngebiet, erzielt. Die systematische Entwicklung des affinen Degenerationsrahmens ist ein wichtiger methodischer Beitrag, und die Erreichung logarithmischer Schranken stellt eine bemerkenswerte Verbesserung gegenüber früheren linearen Schranken dar. Der Hauptwert der Arbeit liegt in der Vereinheitlichung mehrerer früherer Ergebnisse und ihrer Verallgemeinerung auf neue geometrische Situationen. Trotz einiger Einschränkungen (wie fehlende obere Schranken und Abhängigkeit von speziellen Konstruktionen) ist dies insgesamt ein wichtiger Fortschritt in diesem Gebiet mit erwarteter anhaltender Auswirkung auf nachfolgende Forschung.