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

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

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

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

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

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

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

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

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.