2025-11-10T02:47:50.315707

Varieties with representable CH_0-group and a question of Colliot-Thélène

Voisin
We continue our investigation of the geometry of the Albanese morphism on 0-cycles. We provide an example of a smooth projective variety with representable CH_0-group but with no universal 0-cycle, which answers a question asked by Colliot-Thélène. Our construction relies on a counterexample to the integral Hodge conjecture provided by Benoist and Ottem.
academic

Varietäten mit darstellbarer CH₀-Gruppe und eine Frage von Colliot-Thélène

Grundlegende Informationen

  • Papier-ID: 2508.02331
  • Titel: Varieties with representable CH₀-group and a question of Colliot-Thélène
  • Autor: Claire Voisin
  • Klassifikation: math.AG (Algebraische Geometrie)
  • Veröffentlichungsdatum: 15. Oktober 2025 (arXiv v2)
  • Papierlink: https://arxiv.org/abs/2508.02331

Zusammenfassung

Dieses Papier setzt die Untersuchung der geometrischen Eigenschaften der Albanese-Abbildung auf 0-Zykeln fort. Der Autor liefert ein Beispiel einer glatten projektiven Varietät mit darstellbarer CH₀-Gruppe, die jedoch kein universelles 0-Zyklus besitzt, und beantwortet damit eine von Colliot-Thélène gestellte Frage. Diese Konstruktion stützt sich auf ein Gegenbeispiel zur integralen Hodge-Vermutung, das von Benoist und Ottem bereitgestellt wurde.

Forschungshintergrund und Motivation

Kernproblem

Das Kernproblem dieser Arbeit betrifft die Existenz universeller 0-Zykeln auf algebraischen Varietäten. Für eine glatte projektive komplexe algebraische Varietät X ist ein universelles 0-Zyklus ein Zyklus Γ der Kodimension n, definiert auf Alb(X)×X, der bestimmte universelle Eigenschaften erfüllt.

Bedeutung

  1. Theoretische Bedeutung: Die Existenz universeller 0-Zykeln ist eng mit der integralen Hodge-Vermutung verbunden und stellt ein Kernproblem der algebraischen Geometrie dar
  2. Klassifikationsproblem: Die Unterscheidung, ob alle algebraischen Varietäten mit darstellbarer CH₀-Gruppe universelle 0-Zykeln besitzen, betrifft die tiefe Struktur der algebraischen Zyklentheorie
  3. Hodge-Theorie: Die Nichtexistenz universeller 0-Zykeln liefert Gegenbeispiele zur integralen Hodge-Vermutung

Grenzen der bestehenden Theorie

  • Die Arbeiten von Mumford und Roitman etablieren die theoretischen Grundlagen der darstellbaren CH₀-Gruppe
  • Frühere Gegenbeispiele konzentrierten sich hauptsächlich auf Fälle ohne darstellbare CH₀-Gruppe
  • Die Frage von Colliot-Thélène füllt eine theoretische Lücke: Existieren algebraische Varietäten mit sowohl darstellbarer CH₀-Gruppe als auch ohne universelle 0-Zykeln?

Kernbeiträge

  1. Konstruktion eines Schlüsselgegenbeispiels: Bereitstellung einer glatten projektiven dreidimensionalen algebraischen Varietät mit darstellbarer CH₀-Gruppe aber ohne universelle 0-Zykeln
  2. Beantwortung einer wichtigen Frage: Vollständige Beantwortung von Frage 1.3 aus 6 von Colliot-Thélène
  3. Etablierung eines Struktursatzes: Beweis, dass algebraische Varietäten mit darstellbarer CH₀-Gruppe eine spezielle geometrische Struktur aufweisen müssen (Lemma 1.5)
  4. Systematische Analyse: Tiefgehende Analyse der Beziehung zwischen der Existenz universeller 0-Zykeln und verschiedenen geometrischen Invarianten

Methodische Details

Kerndefiniton

Definition 1.1 (Universelles 0-Zyklus): Für eine n-dimensionale glatte projektive algebraische Varietät X ist ein universelles 0-Zyklus ein Zyklus Γ ∈ CHⁿ(Alb(X)×X) der Kodimension n, so dass für alle t ∈ Alb(X) gilt:

aₓ ∘ Γ*({t} - {0_{Alb(X)}}) = t in Alb(X)

Strukturanalyse

Lemma 1.5: Wenn X eine darstellbare CH₀-Gruppe besitzt und die Albanese-Varietät nichttrivial ist, dann existiert eine glatte projektive Kurve C, so dass:

  • J(C) ≅ Alb(X)
  • Die Albanese-Abbildung zerfällt als X → C → Alb(X)

Dieses Ergebnis zeigt, dass algebraische Varietäten mit darstellbarer CH₀-Gruppe eine sehr restriktive geometrische Struktur aufweisen.

Konstruktionsmethode

Die Hauptkonstruktion des Autors basiert auf:

  1. Grundobjekte: K3-Fläche S mit antisymplektischer Involution g, elliptische Kurve E mit 2-ter Ordnung Translation tξ
  2. Quotientenkonstruktion: Betrachtung von X := (E × S)/(tξ, g)
  3. Schlüsseleigenschaften:
    • CH₀(X) ist darstellbar (Lemma 3.1)
    • Alb(X) ≅ Eξ = E/tξ
    • Bei geeigneter Wahl existiert kein universelles 0-Zyklus

Technische Innovationen

Kohomologische Analysetechnik

Der Autor nutzt geschickt die Kohomologieanalyse mit Z/2-Koeffizienten:

  • Umwandlung der Existenz universeller 0-Zykeln in Kohomologiebedingungen
  • Verwendung von Klassifizierungselementen der doppelten Überlagering zur Etablierung von Nebenbedingungen
  • Beweis der Unlösbarkeit der Nebenbedingungen durch das Benoist-Ottem-Ergebnis

Anwendung der Indextheorie

Proposition 2.7: Wenn die Albanese-Abbildung durch φₓ : X → C zerfällt und der Index von φₓ gleich 1 ist, dann besitzt X ein universelles 0-Zyklus.

Dies liefert eine hinreichende Bedingung für die Existenz universeller 0-Zykeln und steht im Kontrast zum Hauptsatz.

Experimentelle Einrichtung

Konstruktionsverifikation

Der Autor verifiziert die Korrektheit der Konstruktion durch folgende Schritte:

  1. Darstellbarkeitsverifikation: Beweis, dass pEξ* : CH₀(X) → CH₀(Eξ) ein Isomorphismus ist
  2. Nichtexistenz universeller 0-Zykeln: Verwendung des Benoist-Ottem-Ergebnisses und kohomologischer Nebenbedingungen
  3. Indexberechnung: Beweis, dass der Index von pEξ für allgemeines E gleich 2 ist

Vergleichende Analyse

Lemma 3.4: Es existiert eine integrale Hodge-Klasse α ∈ H⁴(X,Z), so dass pEξ*α = 1Eξ, was zeigt, dass die Indexbeschränkung nicht durch topologische oder Hodge-theoretische Gründe bestimmt wird.

Experimentelle Ergebnisse

Hauptsatz

Theorem 1.4: Es existiert eine glatte projektive dreidimensionale algebraische Varietät X, so dass CH₀(X) darstellbar ist, aber X kein universelles 0-Zyklus besitzt.

Geometrische Eigenschaften der Konstruktion

  1. Dimension: Dreidimensionale Varietät (dies ist die minimal mögliche Dimension)
  2. Topologische Eigenschaften: Torsionselemente in der integralen Betti-Kohomologie
  3. Algebraische Eigenschaften: Albanese-Varietät ist isomorph zum Quotienten einer elliptischen Kurve

Vollständige Analyse des Flächenfalls

Proposition 4.4: Für Flächen, die durch Wirkung zyklischer Gruppen entstehen, ist der Index immer 1, daher besitzen sie universelle 0-Zykeln.

Dies zeigt, dass der dreidimensionale Fall tatsächlich neue Phänomene liefert.

Verwandte Arbeiten

Historische Entwicklung

  1. Mumford-Roitman-Theorie: Etablierung der Grundlagen der darstellbaren CH₀-Gruppe
  2. Frühere Arbeiten von Voisin: Konstruktion von Varietäten ohne universelle 0-Zykeln in 21,22
  3. Benoist-Ottem-Ergebnis: Bereitstellung von Gegenbeispielen zur integralen Hodge-Vermutung, wird zum Schlüsselwerkzeug dieser Arbeit

Verbindung zu verwandten Problemen

  • Frage 2.5 (Colliot-Thélène): Über die Surjektivität von 0-Zykeln auf Funktionenkörpern
  • Integrale Hodge-Vermutung: Die Nichtexistenz universeller 0-Zykeln liefert neue Gegenbeispiele
  • Motivtheorie: Verbindung zur Algebraizität von Künneth-Projektoren

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

  1. Es existieren glatte projektive algebraische Varietäten mit darstellbarer CH₀-Gruppe aber ohne universelle 0-Zykeln
  2. Solche Beispiele müssen eine sehr spezielle geometrische Struktur aufweisen
  3. Torsionselemente in der integralen Betti-Kohomologie spielen eine Schlüsselrolle in der Konstruktion

Einschränkungen

  1. Torsionsabhängigkeit: Die Konstruktion hängt von Torsionselementen in der integralen Betti-Kohomologie ab
  2. Dimensionsbeschränkung: Unklar, ob Beispiele niedrigerer Dimension existieren
  3. Allgemeinheit: Die Spezialität der Konstruktion begrenzt ihre Verallgemeinerbarkeit

Zukünftige Richtungen

  1. Torsionsfreier Fall: Suche nach Beispielen mit torsionsfreier integraler Betti-Kohomologie
  2. Klassifikationsproblem: Vollständige Klassifikation algebraischer Varietäten mit darstellbarer CH₀-Gruppe
  3. Höherdimensionale Verallgemeinerung: Untersuchung analoger Probleme in höheren Dimensionen

Tiefgehende Bewertung

Stärken

  1. Theoretischer Durchbruch: Lösung eines wichtigen offenen Problems in der algebraischen Geometrie
  2. Technische Innovation: Geschickte Kombination mehrerer tiefgreifender theoretischer Werkzeuge
  3. Raffinierte Konstruktion: Realisierung scheinbar widersprüchlicher Eigenschaftskombinationen durch Quotientenkonstruktion
  4. Umfassende Analyse: Bereitstellung eines systematischen Analyserahmens für das Problem

Schwächen

  1. Konstruktionskomplexität: Abhängigkeit von mehreren tiefgreifenden theoretischen Ergebnissen, nicht ausreichend direkt
  2. Starke Spezialität: Das Beispiel weist starke Spezialität auf, begrenzte Verallgemeinerbarkeit
  3. Rechnerische Verifikation: Einige Schlüsselschritte erfordern detailliertere Rechnerische Verifikation

Auswirkungen

  1. Theoretischer Beitrag: Neue Perspektiven für die algebraische Zyklentheorie
  2. Methodischer Wert: Demonstration der organischen Kombination verschiedener theoretischer Werkzeuge
  3. Nachfolgeforschung: Bereitstellung neuer Ideen und Methoden für die Forschung verwandter Probleme

Anwendungsszenarien

Diese Arbeit ist hauptsächlich anwendbar auf:

  1. Zyklentheorie in der algebraischen Geometrie
  2. Verwandte Probleme der Hodge-Theorie und Motivtheorie
  3. Birationale Geometrie und Klassifikationsprobleme algebraischer Varietäten

Literaturverzeichnis

Das Papier zitiert 25 wichtige Literaturquellen, darunter besonders:

  • 3 Arbeiten von Benoist-Ottem zur integralen Hodge-Vermutung
  • 14 Klassische Arbeiten von Mumford zur darstellbaren CH₀-Gruppe
  • 21,22 Frühere Arbeiten des Autors zu universellen 0-Zykeln
  • 6 Literatur, in der Colliot-Thélène das ursprüngliche Problem stellte

Dieses Papier löst durch raffinierte Konstruktion ein wichtiges Problem in der algebraischen Geometrie und zeigt die Tiefe und Komplexität moderner algebraischer Geometrietheorie. Seine technischen Innovationen und theoretischen Beiträge werden bedeutende Auswirkungen auf die nachfolgende Entwicklung dieses Feldes haben.