2025-11-22T19:55:16.329627

Solid realization of motives with modulus

Matsumoto
We construct a covariant realization functor, denoted \textsc{Solidm}, from the category of motives with modulus to the derived category of solid modules in the sense of Clausen--Scholze. For any smooth modulus pair (X, D), the dual of Solidm(X, D) recovers the Hodge realization of Kelly--Miyazaki for (X, D). Using Ren's pro-solid comparison theorem, we give an explicit description of Solidm(X, D) and compute Solidm of the cone of M(U, D restricted to U) $\to$ M(X, D), in the setting where X is a smooth proper variety over a field, D $\subset$ X is a simple normal crossings divisor, and U $\subset$ X is an open immersion. We identify the result via the formal completion of X along the complement X $\setminus$ U.
academic

Solid-Realisierung von Motiven mit Modulus

Grundinformationen

  • Papier-ID: 2510.13596
  • Titel: Solid realization of motives with modulus
  • Autor: Keiho Matsumoto
  • Klassifikation: math.AG (Algebraische Geometrie)
  • Veröffentlichungsdatum: 15. Oktober 2025 (arXiv-Preprint)
  • Papierlink: https://arxiv.org/abs/2510.13596

Zusammenfassung

Das vorliegende Papier konstruiert einen kovarianten Realisierungsfunktor Solid_m(−) von der Kategorie der Motive mit Modulus zur abgeleiteten Kategorie der Solid-Module im Sinne von Clausen-Scholze. Für glatte Modulpaare (X,D) stellt sich heraus, dass das Dual von Solid_m(X,D) die Hodge-Realisierung von (X,D) nach Kelly-Miyazaki zurückgewinnt. Mit Hilfe des pro-solid Vergleichssatzes von Ren beschreibt der Autor Solid_m(X,D) explizit und berechnet Solid_m(Cone(M(U,D|U)→M(X,D))) für den Fall, dass X eine glatte echte algebraische Varietät über einem Körper ist, D⊂X ein einfacher normaler Kreuzungsdivisor und U⊂X eine offene Immersion. Das Ergebnis wird durch die formale Vervollständigung von X̂{X\U} entlang des Komplements X\U charakterisiert.

Forschungshintergrund und Motivation

  1. Kernproblem: Konstruktion eines Realisierungsfunktors von der Kategorie der Motive mit Modulus zur abgeleiteten Kategorie der Solid-Module, was eine wichtige Entwicklungsrichtung in der Motivtheorie der algebraischen Geometrie darstellt.
  2. Bedeutung:
    • Die Motivtheorie mit Modulus ist eine wichtige Verallgemeinerung der Voevodsky-Motivtheorie, die geometrische Objekte mit Grenzen behandeln kann
    • Die Solid-Modultheorie ist ein neuer Kohomologierahmen, der von Clausen-Scholze entwickelt wurde und ausgezeichnete Funktoreigenschaften besitzt
    • Die Verbindung dieser beiden Theorien trägt zum Verständnis arithmetischer und topologischer Eigenschaften geometrischer Objekte bei
  3. Bestehende Einschränkungen:
    • Die Hodge-Realisierung von Kelly-Miyazaki liefert nur einen kontravarianten Funktor
    • Es fehlt ein einheitlicher Rahmen zur Behandlung von Realisierungsproblemen für geometrische Objekte mit Modulus
    • Die klassische diskrete Theorie kann bestimmte Vervollständigungsprobleme nicht behandeln
  4. Forschungsmotivation: Nutzung der Vorteile der Solid-Modultheorie zur Konstruktion eines kovarianten Realisierungsfunktors mit geometrischer Interpretation durch formale Geometrie

Kernbeiträge

  1. Konstruktion eines kovarianten Realisierungsfunktors: Ein Funktor Solid(−) von der Kategorie der Motive mit Modulus PNor(A) zur abgeleiteten Kategorie der Solid A■-Module D(A■)
  2. Etablierung grundlegender Funktoreigenschaften: Beweis wichtiger Eigenschaften wie □-Invarianz, Invarianz unter glattem Aufblasen und symmetrische Monotonie
  3. Verallgemeinerung auf allgemeine Fälle: Konstruktion eines allgemeineren Funktors Solid_m(−), dessen Dual die Hodge-Kohomologie von Kelly-Miyazaki zurückgewinnt
  4. Explizite Beschreibungen: Unter Verwendung des pro-solid Vergleichssatzes von Ren werden konkrete Berechnungsformeln für Solid_m(X,D) angegeben
  5. Geometrische Anwendungen: Die geometrische Bedeutung von Kegelobjekten Solid_m(Cone(M(U,D|_U)→M(X,D))) wird durch formale Vervollständigung charakterisiert

Methodische Erläuterung

Aufgabendefinition

Für einen diskreten Noetherschen kommutativen Ring A wird der Funktor konstruiert:

Solid : PNor(A) → D(A■)

wobei PNor(A) die Kategorie der Modulpaare mit normalem Gesamtraum ist und A■ := (A,A)■ der mit A verbundene präanalytische Ring.

Kernkonstruktion

Für ein Modulpaar (X,D) ∈ PNor(A) wird definiert:

Solid(X,D) := f!(f!A ⊗^L_{O_{X,■}} O_X(-D + |D|))

wobei f: X → Spec A die Strukturabbildung ist.

Technische Innovationspunkte

  1. Anwendung des Sechs-Funktoren-Formalismus: Nutzung des von Clausen-Scholze etablierten Sechs-Funktoren-Formalismus für Solid-Module f!, f!
  2. Behandlung von Modulpaaren: Geschickte Umwandlung des Modulpaares (X,D) in das Linienbündel O_X(-D + |D|), wobei |D| den Träger von D bezeichnet
  3. Pro-Solid-Vergleich: Verwendung von Rens Theorem zur Verbindung von Delignes pro-kohärenter Schichtenkonstruktion mit der Clausen-Scholze-Konstruktion

Hauptsätze

Kerninhalt von Satz 1.1

Für einen diskreten Noetherschen kommutativen Ring A und einen analytischen Ring A■ erfüllt der Funktor Solid(−) folgende Eigenschaften:

  1. Funktorialität: Für Umgebungsabbildungen h: (Y,C) → (X,D) existiert eine Abbildung h_+: Solid(Y,C) → Solid(X,D)
  2. □-Invarianz: Die natürliche Abbildung Solid((X,D)⊗□) → Solid(X,D) ist ein Isomorphismus
  3. Aufblasungsinvarianz: Unter geeigneten Bedingungen ist Solid(Bl_Z X, p*D) → Solid(X,D) ein Isomorphismus
  4. Kohomologieberechnung: Wenn X über A glatt und eigentlich ist,
    H^{i+dim X}(X, Ω^{dim X}_{X/A}(-D + |D|)) ≃ H^{-i}(X, O(D - |D|))^∨
  5. Dualität: Wenn X ein vollständiger Durchschnitt ist,
    RHom_{A■}(Solid(X,D), A) ≃ RΓ_{Zar}(X, O_X(D - |D|))

Verallgemeinerung zum Solid_m-Funktor

Für ein normales Modulpaar (X,D) und m ≥ 0 wird definiert:

Solid_m(X,D) := f! Hom_{O_{X,■}}(Ω^m_{X/A}(log |D|), f!A ⊗ O_{X,■} O_X(-D + |D|))

Wenn X glatt ist, vereinfacht sich dies zu:

Solid_m(X,D) = f! Ω^{dim X - m}_{X/A}(log |D|)(-D)[dim X]

Explizite Beschreibungen und Anwendungen

Explizite Formel von Satz 4.3

Sei A ein Körper und X eine glatte algebraische Varietät über A mit glatter Kompaktifizierung j: X ↪ Y. Dann:

Solid_m(X,D) ≃ holim_n Rg_*(I^n ⊗ Ω^{d-m}_{Y/A}(log |D̃|)(-D̃))[d]

wobei I die Idealgarbe des Komplements ist und d = dim X.

Geometrische Anwendung von Satz 4.4

Für eine glatte echte algebraische Varietät X und eine offene Immersion j: U ↪ X gilt:

Solid_m(Cone(M(U,D|_U) → M(X,D))) ≃ Rg_*(Ω^{d-m}_{X/A}(log |D|)(-D))^∧_Z[d]

wobei die rechte Seite die formale Vervollständigung entlang der abgeschlossenen Menge Z = X\U ist.

Technische Methoden

Sechs-Funktoren-Formalismus

Das Papier nutzt umfangreich den von Clausen-Scholze etablierten Sechs-Funktoren-Formalismus für Solid-Module:

  • f_, f^: Direkte und inverse Bildabbildungen
  • f_!, f^!: Außergewöhnliche direkte und inverse Bildabbildungen
  • ⊗, RHom: Tensorprodukt und innere Homomorphismus-Funktoren

Schlüssellemmata

Lemma 3.2: Für einen beschränkten perfekten diskreten Komplex P und Q ∈ D(O_{X,■}) existiert ein Isomorphismus:

h! Hom_{O_{X,■}}(P,Q) ≃ Hom_{O_{Y,■}}(h*P, h!Q)

Dieses Lemma ist ein Schlüsselwerkzeug zur Konstruktion von Funktorabbildungen.

Verwandte Arbeiten

  1. Arbeiten von Kelly-Miyazaki: Etablierung einer Hodge-Kohomologietheorie mit Modulus, aber nur mit kontravarianten Funktoren
  2. Solid-Modultheorie von Clausen-Scholze: Bereitstellung eines neuen Kohomologierahmens und des Sechs-Funktoren-Formalismus
  3. Pro-Solid-Vergleichssatz von Ren: Verbindung von Delignes pro-kohärenter Schichtentheorie und der Solid-Modultheorie
  4. Motivtheorie von Voevodsky: Die vorliegende Arbeit kann als Verallgemeinerung der Motivtheorie im Solid-Modul-Rahmen betrachtet werden

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

  1. Erfolgreiche Konstruktion eines kovarianten Realisierungsfunktors von Motiven mit Modulus zu Solid-Modulen
  2. Etablierung grundlegender Eigenschaften und Berechnungsformeln für diesen Funktor
  3. Geometrische Interpretation von Kegelobjekten durch formale Geometrie

Einschränkungen

  1. Einige Ergebnisse erfordern Annahmen der Charakteristik 0
  2. Für allgemeine Modulpaare sind Normalitäts- oder Glattheitsbedingungen erforderlich
  3. Explizite Berechnungen hängen von spezifischen geometrischen Einstellungen ab

Zukünftige Richtungen

  1. Verallgemeinerung auf allgemeinere Basisringe und geometrische Objekte
  2. Untersuchung der Beziehung zu anderen Realisierungsfunktoren
  3. Erkundung von Anwendungen in der arithmetischen Geometrie

Tiefgreifende Bewertung

Stärken

  1. Theoretische Innovation: Erste Etablierung einer kovarianten Realisierung von Motiven mit Modulus zu Solid-Modulen, Schließung einer theoretischen Lücke
  2. Technische Tiefe: Geschickte Anwendung des Sechs-Funktoren-Formalismus und des pro-solid Vergleichssatzes
  3. Geometrische Intuition: Geometrische Interpretation abstrakter Konstruktionen durch formale Vervollständigung
  4. Vollständigkeit: Beweis aller grundlegenden Eigenschaften des Realisierungsfunktors

Schwächen

  1. Hohe technische Hürde: Erfordert tiefe Kenntnisse der Solid-Modultheorie und Motivtheorie
  2. Begrenzte Anwendungen: Derzeit hauptsächlich theoretische Konstruktion, praktische Anwendungen erfordern weitere Entwicklung
  3. Starke Annahmen: Viele Ergebnisse erfordern relativ starke geometrische Annahmen wie Normalität und Glattheit

Einfluss

  1. Theoretische Bedeutung: Bietet neue Realisierungsmethoden für die Motivtheorie mit Modulus
  2. Technischer Beitrag: Demonstriert das Anwendungspotenzial der Solid-Modultheorie in der algebraischen Geometrie
  3. Zukünftige Entwicklung: Schafft Grundlagen für weitere Forschung in verwandten Bereichen

Anwendungsszenarien

  1. Untersuchung algebraisch-geometrischer Objekte mit Grenzen
  2. Kohomologieberechnungen in der arithmetischen Geometrie
  3. Realisierungsprobleme in der Motivtheorie
  4. Formale Geometrie und Vervollständigungstheorie

Literaturverzeichnis

Das Papier zitiert die folgenden Schlüsselliteraturstellen:

  1. Shane Kelly and Hiroyasu Miyazaki. Hodge cohomology with a ramification filtration
  2. Clausen and Scholze. Lectures on condensed mathematics
  3. Fei Ren. Coherent six-functor formalisms: Pro vs solid
  4. Hiroyasu Miyazaki. Nisnevich topology with modulus

Diese Literaturstellen bilden die Kernunterstützung der theoretischen Grundlagen dieses Papiers.