## [Nicht-Flachheit](/de/node/63662) Definition 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 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 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 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 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 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 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 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 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.