Eine Pathologie von inversen Limes (proj lim), bei der der inverse Limes‑Funktor nicht rechtsexakt ist und nichttriviale abgeleitete Limes (lim^1, lim^n) entstehen, wodurch erwartete Exaktheitseigenschaften oder Identifikationen scheitern.

Prinzip

Der inverse Limes ist linksexakt, aber nicht notwendigerweise exakt; Obstruktionen treten als abgeleitete Funktoren lim^i auf. Nichtinjektives Limes‑Verhalten entsteht bei Systemen ohne Mittag‑Leffler‑ oder Stabilisierungs‑Eigenschaften, wodurch lim Surjektionen nicht erhält oder versteckte Extensionsdaten entstehen.

Demonstration

Betrachte ein inverses System abelscher Gruppen mit surjektiven Übergangskarten, deren Kerne nicht stabilisieren; dann kann lim^1 ≠ 0 sein und exakte Folgen inverser Systeme liefern nach Limesziehen keine exakten Folgen. Das erklärt Phänomene wie das Scheitern des Übergangs von endlicher Ebenen‑Kohomologie zur Grenze.

Fehlanwendung

Inverse Limes blind mit Kohomologie zu vertauschen oder anzunehmen, dass Limes Exaktheit bewahrt, ohne abgeleitete Limes zu prüfen, führt zu falschen Identifikationen, fehlerhaften Dimensionszählungen oder Verlust von Extensionsinformationen.

Konsequenz

Das Erkennen nichtinjektiver Limes‑Pathologie zwingt zur Berechnung abgeleiteter Limes, zum Einsatz von Spektralsequenzen, zur Annahme von Mittag‑Leffler‑Bedingungen oder zur Arbeit in Pro‑Kategorien; es macht deutlich, wo naive Argumente mit inversen Grenzen versagen und wo Extensionsklassen in der Grenze verbleiben.

Umkehrung

Unter Stabilisierungsannahmen (z. B. Mittag‑Leffler, pro‑Null höherer Terme) verschwinden die abgeleiteten Limes und der inverse Limes wird in dem betrachteten Bereich exakt, womit die Pathologie aufgehoben wird.

Abgrenzung

Der Begriff bezieht sich auf inverse Systeme und deren abgeleitete Funktoren; er betrifft nicht direkte Limes (Colim), die andere Exaktheitseigenschaften haben. Zur Definition von lim^i ist homologische Algebra oder Kategorientheorie erforderlich; naive punktweise Grenzargumente sind ausgeschlossen.

Semantische Spannung

„Nichtinjektiver Limes“ steht im Spannungsfeld zur intuitiven Annahme „Grenzen vertauschen mit allem“: die Spannung liegt zwischen punktweisen/stabilen Verhaltensweisen, in denen Limes funktioniert, und pathologischen Systemen, in denen abgeleitete Limes essentielle Obstruktionsdaten tragen.

Synthese

Ein nichtinjektiver Limes bezeichnet das Versagen der Exaktheit für inverse Limes, dokumentiert durch nichtverschwindende lim^i; er signalisiert fehlende Stabilisierungsbedingungen und empfiehlt abgeleitete oder pro‑kategoriale Methoden, um das korrekte globale Limesverhalten wiederherzustellen.