##  [Formale Glattheit](/de/node/63898) 

 Definition

Formale Glattheit (für eine Algebra oder einen Morphismus von Algebren) ist die Eigenschaft des infinitesimalen Hebens: Für jeden Ring B und jedes nilpotente Ideal I ⊂ B hebt sich jede Algebraabbildung A → B/I zu einer Abbildung A → B. In der kommutativen Algebra stimmt dies mit der geometrischen formalen Glattheit überein und hängt für endlich präsentierte Algebren mit der Projektivität des Moduls der Differenzialformen zusammen.

 

 

 

 

 

 





## Prinzip

Prinzip

Kodiert das Fehlen infinitesimaler Obstruktionen bei Deformationen von Abbildungen aus A: formal glatte Objekte erlauben Hebungen entlang nilpotenter Verdickungen und haben daher eine ungehinderte Deformationstheorie ersten Grades.

 

 

 

 

 





## Demonstration

Demonstration

Beispiel: Polynomringe k[x_1,...,x_n] sind formal glatt über k, da jede Abbildung nach B/I durch Wahl von Urbildern der Variablen gehoben werden kann. Im nichtkommutativen Bereich sind separable Algebren über einem Körper formal glatt, und Matrizenalgebren erben formale Glattheit.

 

 

 

 

## Fehlanwendung

Fehlanwendung

Formale Glattheit mit geometrischer Glattheit gleichzusetzen oder anzunehmen, sie impliziere Endlichkeitsbedingungen; formale Glattheit ist eine Hebebedingung, die auch ohne Endlichkeitsannahmen gelten kann, während geometrische Glattheit zusätzliche Voraussetzungen verlangt.

 

 

 

 

 





## Konsequenz

Konsequenz

Formal glatte Algebren besitzen eine gutartige Deformationstheorie: Abbildungen setzen sich über nilpotente Verdickungen fort, Obstruktionsgruppen verschwinden in relevanten Graden, und man erhält oft Versalheiten und gute homologische Eigenschaften.

 

 

 

 

## Umkehrung

Umkehrung

Das Versagen formaler Glattheit signalisiert das Vorhandensein von Obstruktionen: Einige Abbildungen lassen sich nicht über nilpotente Erweiterungen heben und infinitesimale Deformationen können behindert sein.

 

 

 

 

 





## Abgrenzung

Abgrenzung

Die Basiring- und Kategorienspezifikation (kommutativ vs. nichtkommutativ) ist erforderlich; die Eigenschaft ist subtil bei unendlichen Konstruktionen und muss mit Endlichkeitsbedingungen kombiniert werden, wenn sie mit geometrischen Glattheitsbegriffen verglichen wird.

 

 

 

 

 





## Semantische Spannung

Semantische Spannung

Spannung zwischen formaler Glattheit, geometrischer Glattheit und Flachheit: Diese Begriffe überlappen in klassischen Situationen, aber keiner impliziert ohne zusätzliche Annahmen die anderen (z. B. endliche Präsentation, reguläre Fasern).

 

 

 

 

 





## Synthese

Synthese

Formale Glattheit ist das algebraische Fehlen infinitesimaler Obstruktionen beim Heben von Homomorphismen über nilpotente Verdickungen; es ist eine deformations‑theoretische ‚Freiheits‘‑Bedingung, die unter Endlichkeitsannahmen mit klassischer Glattheit zusammenfällt.