Important Classes of Morphisms and the Relative Cotangent Sequence in Tangent Categories

Problem und Motivation

Tangenten-Kategorien bilden einen minimalen semantischen Rahmen für die Untersuchung differentialgeometrischer Argumentation, der ursprünglich von Rosický entwickelt und später von Cockitt und Crittenden erweitert wurde. Während die Theorie erfolgreich auf glatte Mannigfaltigkeiten, algebraische Geometrie, kommutative Algebra und kartesische differential-kategoriale Strukturen (CDCs) angewendet wurde, fehlte ein systematisches Verständnis darüber, wie fundamentale Morphismklassen – spezifisch Immersionen, Submersionen, lokale Diffeomorphismen und unramifizierte Abbildungen – über diese vielfältigen Settings hinweg agieren.

Vorherige Arbeiten etablierten Definitionen für Submersionen und lokale Diffeomorphismen im Kontext glatter Mannigfaltigkeiten, doch ihre Charakterisierung in anderen kritischen Tangenten-Kategorien, wie etwa affinen Schemata oder kommutativen Algebren, blieb unklar. Zudem erforderte die Beziehung zwischen diesen Klassen und dem Konzept „unramifizierter“ Abbildungen (welche in der Differentialgeometrie mit Immersionen übereinstimmen, sich aber in allgemeinen Tangenten-Kategorien unterscheiden können) eine vereinheitlichte, kategorielle Behandlung. Die Arbeit adressiert das Bedürfnis, diese Konzepte innerhalb des abstrakten Rahmens von Tangenten-Kategorien zu formalisieren, ihre Stabilitäts- und Permanenzeigenschaften zu untersuchen und ihre konkreten Realisierungen in spezifischen mathematischen Domänen zu erläutern.

Methodik

Die Autoren verwenden einen systematischen, kategorietheoretischen Ansatz, der auf den Axiomen von Tangenten-Kategorien gründet. Die Kernmethodik umfasst:

1. Horizontaler Abstieg (Horizontal Descent): Ein zentrales technisches Werkzeug, das als „horizontaler Abstieg“ $\theta_f$ eines Morphismus $f: X \to Y$ eingeführt wird. Dieser ist definiert als die eindeutige Abbildung vom Tangentialbündel $TX$ zum Pullback des Tangentialbündels $TY$ entlang von $f$ (dem „horizontalen Bündel“), sofern der Pullback existiert. Die Arbeit untersucht die Eigenschaften von $\theta_f$ umfassend und nutzt ihn, um die Definitionen und Charakterisierungen verschiedener Morphismklassen zu vereinfachen.
2. Carrable Morphismen: Die Untersuchung stützt sich auf den Begriff „carrable“ Morphismen (Abbildungen, die Pullbacks entlang von Differentialbündel-Projektionen zulassen, welche durch den Tangenten-Funktor erhalten bleiben). Speziell konzentrieren sich die Autoren auf $p$-carrable (Pullback entlang der Tangenten-Projektion) und $0$-carrable (Pullback entlang der Nullsektion) Morphismen, um die Existenz notwendiger Strukturen wie des horizontalen Bündels und des relativen Tangentialbündels sicherzustellen.
3. Relative Kotangenten-Sequenz: Durch die Kombination des horizontalen Abstiegs mit dem relativen Tangentialbündel (definiert via einem $0$-carrable Pullback) konstruieren die Autoren eine „relative Kotangenten-Sequenz“ in einer beliebigen Tangenten-Kategorie. Diese Sequenz generalisiert die klassische exakte Sequenz der Kähler-Differenziale aus der algebraischen Geometrie.
4. Linearisierung: Die Autoren unterscheiden zwischen „starken“ Definitionen (basierend auf allgemeinen kategoriellem Eigenschaften wie Prepullbacks) und „linearen“ Definitionen (basierend auf der Kategorie der Differentialbündel, $DBun(X)$). Sie nutzen die Anreicherung von $DBun(X)$ in kommutativen Monoiden (und Abelschen Gruppen in Rosický-Tangenten-Kategorien), um Monomorphismen mit trivialen Kernen in Beziehung zu setzen.

Zentrale Beiträge und Ergebnisse

Das Paper liefert eine umfassende Klassifikation und Charakterisierung von vier primären Morphismklassen in Tangenten-Kategorien:

• T-Immersionen:

  • Starke T-Immersionen: Definiert als Abbildungen, bei denen das Naturalität-Quadrat der Tangenten-Projektion ein „T-Prepullback“ ist. In glatten Mannigfaltigkeiten ($SMan$) entsprechen sie den Standard-Immersionen. In der algebraischen Geometrie ($CAlg_R^{op}$) entsprechen sie formal unramifizierten Morphismen.
  • T-Immersionen (Linear): Definiert als $p$-carrable Abbildungen, bei denen der horizontale Abstieg $\theta_f$ ein linearer T-Monomorphismus in $DBun(X)$ ist.
  • Kernergebnis: In einer Rosický-Tangenten-Kategorie (eine mit Negation) fallen die Begriffe starker T-Immersion, T-Immersion und T-unramifizierter Morphismus zusammen. In allgemeinen Tangenten-Kategorien ohne Negation sind diese Klassen verschieden (z. B. in der Kategorie der kommutativen Monoide kann eine Abbildung T-unramifiziert, aber keine starke T-Immersion sein).

• T-Submersionen:

  • Definiert als $p$- und $0$-carrable Abbildungen, bei denen der horizontale Abstieg $\theta_f$ ein linearer T-Koequalizer (regulärer T-Epimorphismus) in $DBun(X)$ ist. Dies erfasst die Idee einer „lokal surjektiven Differentialen“.
  • Gesplitterte T-Submersionen: Definiert über das Naturalität-Quadrat als „T-Weak-Pullback“. Das Paper beweist, dass für $p$-carrable Abbildungen die Eigenschaft, eine gesplitterte T-Submersion zu sein, äquivalent dazu ist, dass $\theta_f$ eine Sektion besitzt.
  • Kernergebnis: In Rosický-Tangenten-Kategorien und Kategorien von Schemata besitzt eine gesplitterte T-Submersion eine lineare Sektion, nicht nur eine set-theoretische. Dies verbindet die kategorielle Definition mit dem Splitten der relativen Kotangenten-Sequenz.

• T-étale Morphismen (Lokale Diffeomorphismen):

  • Definiert als Abbildungen, bei denen das Naturalität-Quadrat der Tangenten-Projektion ein T-Pullback ist.
  • Kernergebnis: Eine Abbildung ist T-étale genau dann, wenn sie sowohl eine starke T-Immersion als auch eine gesplitterte T-Submersion ist. Für $p$-carrable Abbildungen ist dies äquivalent dazu, dass der horizontale Abstieg $\theta_f$ ein Isomorphismus ist.
  • Distinktion: Das Paper klärt auf, dass T-étale Abbildungen in der algebraischen Geometrie nicht identisch mit formal étale Abbildungen sind. Während formal étale Abbildungen T-étale sind, existieren T-étale Abbildungen (z. B. bestimmte abgeschlossene Immersionen in Schemata), die nicht formal étale sind.

• Die Relative Kotangenten-Sequenz:

  • Das Paper konstruiert eine de Rham relative Kotangenten-Sequenz $X \to TX/Y \to TX \to f^*(TY)$ in jeder Tangenten-Kategorie, in der $f$ $0$- und $p$-carrable ist.
  • Es wird gezeigt, dass diese Sequenz in $DBun(X)$ exakt ist, was einen vereinheitlichten Rahmen schafft, der die klassischen Kotangenten-Sequenzen für glatte Mannigfaltigkeiten und Schemata wiederherstellt.

Konkrete Charakterisierungen

Das Paper bildet diese abstrakten Definitionen explizit auf spezifische Kategorien ab:

• Glatte Mannigfaltigkeiten ($SMan$): T-Immersionen sind Standard-Immersionen; T-Submersionen sind Standard-Submersionen; T-étale Abbildungen sind lokale Diffeomorphismen.
• Kommutative Algebren ($CAlg_R$): T-Immersionen sind injektive Algebra-Homomorphismen; T-Submersionen sind surjektive Homomorphismen mit linearen Sektionen; T-étale Abbildungen sind Isomorphismen.
• Affine Schemata ($CAlg_R^{op}$): T-Immersionen sind formal unramifizierte Morphismen; T-Submersionen entsprechen formal glatten Morphismen relativ zur Basis-Ring; T-étale Abbildungen entsprechen formal unramifizierten und formal glatten relativen Abbildungen (unterschiedlich von formal étale).
• Kartesische Differential-Kategorien (CDCs): T-Immersionen sind Abbildungen mit injektiven Ableitungen (und höheren Ableitungen); T-Submersionen sind Abbildungen mit surjektiven Ableitungen (Retrakte); T-étale Abbildungen sind Abbildungen mit invertierbaren Ableitungen.

Bedeutung und Ansprüche

Die Autoren behaupten, dass diese Arbeit eine „tiefe und systematische Studie“ darstellt, die das Verständnis differentialgeometrischer Konzepte über die algebraische Geometrie, die Differentialgeometrie und die Informatik hinweg vereinheitlicht. Die Bedeutung liegt in:

1. Vereinheitlichung: Sie zeigt, wie dieselbe kategorielle Maschinerie (horizontaler Abstieg, relative Kotangenten-Sequenzen) die korrekten, bekannten Definitionen in spezifischen Kontexten liefert, während sie gleichzeitig subtile Unterschiede in allgemeinen Settings aufzeigt (z. B. die Divergenz zwischen Immersionen und unramifizierten Abbildungen in Nicht-Rosický-Kategorien).
2. Neue Werkzeuge: Die Einführung des horizontalen Abstiegs als primäres Werkzeug vereinfacht die Verifizierung von Submersion- und Immersionseigenschaften, indem komplexe Weak-Pullback-Bedingungen durch Sektions- oder Monomorphismus-Bedingungen auf $\theta_f$ ersetzt werden.
3. Fundament für zukünftige Arbeit: Das Paper positioniert diese Ergebnisse als essenzielle Voraussetzungen für zukünftige Forschung, wobei explizit auf ein kommendes Projekt verwiesen wird, das darauf abzielt, „Schemata“ in Tangenten-Kategorien zu definieren und zu untersuchen sowie die Existenz einer Zariski-Topologie für Familien von Tangenten-Kategorien zu prüfen. Die Autoren merken an, dass das Verständnis dieser Morphismklassen kritisch ist, da insbesondere offene Immersionen in der algebraischen Geometrie T-monische T-étale Abbildungen sind.

Das Paper schlägt keine neuen experimentellen Anwendungen oder zukünftigen Implikationen vor, die über die genannten theoretischen Ziele der Verfeinerung der Tangenten-Kategorietheorie und der Ermöglichung der Untersuchung von Schemata in diesem Rahmen hinausgehen. Es bleibt ein rigoroser theoretischer Beitrag zur Kategorientheorie und deren Anwendungen zur Geometrie.