Die Eigenschaft eines Moduls oder Morphismus, nicht flach zu sein: Tensoring mit dem Modul bewahrt keine exakten Folgen, sodass Basiserwechsel nicht exakte Ergebnisse liefert und Torsions- bzw. Tor-Gruppen auftreten.

Prinzip

Flachheit ist äquivalent zur Exaktheit des Tensorfunktors; Nicht-Flachheit signalisiert daher versteckte Relationen oder Torsion, die das Durchreichen von Exaktheit durch Tensorprodukte hindern und Basiserwechselanomalien verursachen.

Demonstration

Betrachte die kurze exakte Folge 0→Z --×2--> Z → Z/2Z →0 und tensorisiere mit Z/2Z; da Z/2Z über Z nicht flach ist, wird die Exaktheit zerstört und Tor_1(Z/2Z,Z/2Z)≠0, ein konkretes Beispiel für Nicht‑Flachheit.

Fehlanwendung

Anzunehmen, ein Basiserwechsel oder Pullback erhalte Kerne und Kokerne ohne Prüfung der Flachheit führt zu falschen Faserberechnungen oder irreführenden Dimensionsaussagen in der algebraischen Geometrie.

Konsequenz

Nicht‑Flachheit verursacht das Versagen einfacher Basiserwechsel‑Sätze, Nichtkonstanz der Faserdimension und kann unerwünschte Torsion in Familien erzeugen; sie verkompliziert Abstiegs-, Deformations- und Kohomologieberechnungen.

Umkehrung

Flachheit stellt die Exaktheit des Tensorfunktors wieder her: flache Moduln und flache Morphismen erlauben, dass Basiserwechsel mit Kernbildung kommutiert und faserweise Eigenschaften erhalten bleiben, was wohlverhaltene Familien ergibt.

Abgrenzung

Begriff für Moduln und Morphismen von Schemata oder Ringen; Nicht‑Flachheit bedeutet nicht per se eine universelle Pathologie und muss in Bezug auf die betrachteten exakten Folgen oder Basiserwechsel analysiert werden.

Semantische Spannung

Zwischen Flachheit, Projektivität und Freiheit: projektiv oder frei impliziert flach, aber flach muss nicht projektiv sein; Nicht‑Flachheit darf nicht bloß mit fehlender Freiheit verwechselt werden.

Synthese

Nicht‑Flachheit ist das systematische Versagen des Tensorierens, Exaktheit zu bewahren: sie deckt Torsion oder versteckte Relationen auf, die Basiserwechsel, faserweise Verhalten und viele erwartete Vereinfachungen stören.