Homological full-and-faithfulness of comodule inclusion and contramodule forgetful functors

1. Problemstellung und Motivation

Der Artikel untersucht das Verhalten der natürlichen Funktoren zwischen Kategorien von Komoduln und Kontramoduln über einer Coalgebra $C$ und den entsprechenden Moduln über der dualen Algebra $C^*$.

Gegeben sei eine Coalgebra $C$ über einem Körper $k$. Die duale Vektorraum $C^* = \text{Hom}_k(C, k)$ trägt natürlicherweise die Struktur einer assoziativen Algebra. Es gibt zwei zentrale Funktoren:

1. Der Komodul-Einbettungsfunktor $\Upsilon: C\text{--Comod} \to C^*\text{--Mod}$: Dieser ordnet jedem $C$-Komodul den entsprechenden $C^*$-Modul zu (oft als „rationale" Moduln bezeichnet). Es ist bekannt, dass $\Upsilon$ exakt und volltreu ist.
2. Der Kontramodul-Vergessfunktor $\Theta: C\text{--Contra} \to C^*\text{--Mod}$: Dieser vergisst die Kontramodul-Struktur und betrachtet den zugrundeliegenden $C^*$-Modul. Im Gegensatz zu $\Upsilon$ ist $\Theta$ im Allgemeinen nicht volltreu.

Das Hauptproblem besteht darin, zu charakterisieren, unter welchen Bedingungen diese Funktoren nicht nur auf der Ebene der abelschen Kategorien, sondern auch auf der Ebene der abgeleiteten Kategorien volltreu sind. Konkret wird gefragt: Wann induzieren $\Upsilon$ und $\Theta$ volltreue triangulierte Funktoren zwischen den beschränkten (bzw. halbbeschränkten) abgeleiteten Kategorien $D^b(C\text{--Comod}) \to D^b(C^*\text{--Mod})$ bzw. $D^b(C\text{--Contra}) \to D^b(C^*\text{--Mod})$?

Die Arbeit konzentriert sich auf den Fall, dass $C$ eine konilpotente Coalgebra ist (in älterer Terminologie oft „pointed irreducible" genannt).

2. Methodik

Die Methodik des Autors basiert auf einer tiefgehenden homologischen Algebra-Analyse, die folgende Techniken kombiniert:

• Vergleich von Ext-Räumen: Der Kern der Analyse liegt im Vergleich der Ext-Räume $\text{Ext}^i_C(L, M)$ (innerhalb der Kategorie der Komoduln) und $\text{Ext}^i_{C^*}(L, M)$ (innerhalb der Kategorie der Moduln). Ein Funktor ist genau dann volltreu auf der abgeleiteten Ebene, wenn er Isomorphismen auf allen Ext-Räumen induziert.
• Minimale Auflösungen: Für konilpotente Coalgebren werden minimale injektive Kernauflösungen für Komoduln und minimale projektive Auflösungen für Kontramoduln konstruiert. Diese basieren auf der „Cobar-Konstruktion" und der Verwendung der Filtration der Coalgebra.
• Dualitätsargumente: Es werden sorgfältige Dualitätsbeziehungen zwischen Komoduln und Kontramoduln sowie zwischen der Coalgebra $C$ und ihrer Oppositen $C^{op}$ untersucht. Ein zentrales technisches Ergebnis ist die Beziehung zwischen $\text{Ext}^n_{C^{op}}(k, k)$ und $\text{Ext}^n_{C, n}(k, k)$ (Ext im Kontramodul-Kontext), wobei Letzteres oft als „Doppeltes Dual" des Ersteren auftritt.
• Filtrations-Argumente: Die Verwendung von Filtrationen (sowohl für Komoduln als auch für Kontramoduln) ermöglicht es, Probleme auf den Fall trivialer Moduln (die durch die Koerweiterung $\gamma: k \to C$ definiert sind) zu reduzieren.
• Kombinatorik unendlicher Dimensionen: Ein wesentlicher Teil der Argumentation beschäftigt sich mit dem Verhalten von Vektorräumen unendlicher Dimension, insbesondere im Kontext von Dualräumen und deren Dimensionen-Kardinalitäten (z.B. $\dim V^* = \kappa^{\dim V}$).

3. Schlüsselbeiträge und Ergebnisse

Das Hauptergebnis der Arbeit ist die Äquivalenz einer Reihe von scheinbar unterschiedlichen Bedingungen, die den Begriff der „schwach endlich Koszul"-Coalgebra definieren.

Hauptsatz (Theorem 1.1 und 1.2):
Für eine konilpotente Coalgebra $C$ über einem Körper $k$ sind die folgenden Bedingungen äquivalent:

1. Der durch $\Upsilon$ induzierte Funktor auf den Ext-Räumen $\text{Ext}^i_C(L, M) \to \text{Ext}^i_{C^*}(L, M)$ ist für alle $L, M$ und $1 \le i \le n$ ein Isomorphismus.
2. Der durch $\Theta$ induzierte Funktor auf den Ext-Räumen $\text{Ext}^i_{C, \text{contra}}(P, Q) \to \text{Ext}^i_{C^*}(P, Q)$ ist für alle $P, Q$ (mit gewissen Separiertheitsbedingungen für $Q$) und $0 \le i \le n-1$ ein Isomorphismus.
3. Der Vektorraum $\text{Ext}^i_C(k, k)$ ist für alle $1 \le i \le n$ endlich-dimensional.
4. Der Vektorraum $\text{Ext}^i_{C, \text{contra}}(k, k)$ ist für alle $1 \le i \le n$ endlich-dimensional.

Konsequenzen für abgeleitete Kategorien:
Unter diesen äquivalenten Bedingungen sind die induzierten triangulierten Funktoren

• $\Upsilon^+: D^+(C\text{--Comod}) \to D^+(C^*\text{--Mod})$ (für Komoduln, nach unten beschränkt) und
• $\Theta^-: D^-(C\text{--Contra}) \to D^-(C^*\text{--Mod})$ (für Kontramoduln, nach oben beschränkt)
  volltreu.

Wichtige technische Beobachtungen:

• Dimensionsschiebung: Es gibt eine bemerkenswerte Asymmetrie. Wenn $\text{Ext}^n_C(k, k)$ unendlich-dimensional ist (während niedrigere Ext-Räume endlich sind), dann ist die Abbildung $\text{Ext}^n_C \to \text{Ext}^n_{C^*}$ injektiv, aber nicht surjektiv (die Dimension von $\text{Ext}^n_{C^*}$ ist die des Doppel-Duals). Umgekehrt ist für Kontramoduln die Abbildung in diesem Fall nicht injektiv, was zu einem Verlust von Informationen führt.
• Separiertheit: Für Kontramoduln ist die Bedingung der „Separiertheit" (bezüglich der natürlichen Filtration) entscheidend für die Äquivalenz der Ext-Isomorphismen in höheren Graden.
• Spezialfälle:
  • Jede endlich koeingebettete (finitely cogenerated) konilpotente Coalgebra, deren Ext-Algebra $\text{Ext}^*_C(k, k)$ von $\text{Ext}^1_C(k, k)$ erzeugt wird, ist schwach endlich Koszul.
  • Jede ko-Noethersche konilpotente Coalgebra ist schwach endlich Koszul.
  • Jede endlich koeingebettete, kommutative konilpotente Coalgebra ist schwach endlich Koszul. In diesem Fall ist $C^*$ ein vollständiger noetherscher lokaler Ring, und die Kategorien der Komoduln/Kontramoduln entsprechen den Torsionsmoduln bzw. den Kontramoduln über diesem Ring.

4. Signifikanz und Bedeutung

Die Arbeit leistet einen wesentlichen Beitrag zur Verständnis der Beziehung zwischen Coalgebren und ihren dualen Algebren, insbesondere im Kontext der Koszul-Dualität.

1. Verallgemeinerung der Koszul-Theorie: Der Begriff der „schwach endlich Koszul"-Coalgebra erweitert das klassische Konzept der Koszul-Algebren auf den nicht-graduierten und nicht-noetherschen Kontext. Er identifiziert genau die Klasse von Coalgebren, für die die homologische Struktur der Komoduln/Kontramoduln „gutartig" in die der dualen Algebra übergeht.
2. Klarheit bei Kontramoduln: Kontramoduln sind ein weniger bekanntes, aber in der modernen Darstellungstheorie (insbesondere bei unendlichen Dimensionen) wichtiges Konzept. Die Arbeit klärt präzise, wann der Vergessfunktor $\Theta$ homologische Informationen erhält und wann nicht.
3. Verbindung zu unbeschränkten abgeleiteten Kategorien: Während die Ergebnisse primär für halbbeschränkte Kategorien gelten, liefert der Autor Hinweise und Bedingungen (insbesondere im Fall kommutativer Coalgebren), unter denen auch die unbeschränkten abgeleiteten Kategorien $D(C\text{--Comod}) \to D(C^*\text{--Mod})$ volltreu sind. Dies stützt sich auf Ergebnisse über I-Torsions- und I-Kontramoduln über noetherschen Ringen.
4. Gegenbeispiele und Grenzen: Die Arbeit liefert explizite Konstruktionen von Gegenbeispielen (z.B. bei unendlich koeingebetteten Coalgebren), die zeigen, dass die Volltreue der abgeleiteten Funktoren scheitern kann, sobald die Endlichkeitsbedingungen für die Ext-Räume verletzt werden. Dies verdeutlicht die Notwendigkeit der „schwach endlich Koszul"-Bedingung.

Zusammenfassend stellt dieser Artikel eine fundamentale Charakterisierung der homologischen Eigenschaften konilpotenter Coalgebren bereit und verbindet die Theorien der Komoduln, Kontramoduln und dualen Algebren durch das Kriterium der endlichen Dimensionalität der Ext-Räume $\text{Ext}^*_C(k, k)$.