Ein glattes, separiertes Modell einer glatten kommutativen algebraischen Gruppe (insbesondere einer abelschen Varietät) über einem diskreten Bewertungsring, das die Néron-Abbildungseigenschaft erfüllt: jede Abbildung von einem glatten Schema über der Basis in die generische Faser dehnt sich eindeutig auf das Modell aus.

Prinzip

Charakterisiere das integrale und Reduktionsverhalten einer Gruppenvarietät durch eine universelle Erweiterungseigenschaft für Morphismen von glatten Testschemata; Glattheit und Separiertheit bewahren gute Reduktionsdaten, ohne Properheit zu verlangen, sodass das Modell die arithmetische Struktur und die Komponentengruppe der speziellen Faser widerspiegelt.

Demonstration

Für eine elliptische Kurve über einem p-adischen Körper liefert ihr Néronmodell über dem Bewertungsring die zusammenhängende Komponente der speziellen Faser, eine endliche Komponentengruppe, welche die multiplikative oder additive Reduktion misst, und eine Identifikation der ganzzahligen Punkte mit den Sektionen des Modells.

Fehlanwendung

Ein Néronmodell mit einem minimalen regulären oder properen Modell zu verwechseln und Properheit zu erwarten (Néronmodelle sind in der Regel nicht proper), oder zu versuchen, ein Néronmodell für eine nichtkommutative oder singuläre Varietät ohne Prüfung der Voraussetzungen zu konstruieren.

Konsequenz

Das Néronmodell ordnet Reduktionsdaten, bietet einen natürlichen Rahmen für ganzzahlige Punkte und lokale Höhenzerlegungen und liefert Invarianten wie die Komponentengruppe und den Reduktionstyp, die in der Untersuchung lokal-globaler Probleme und von Höhen verwendet werden.

Umkehrung

Statt der Néron-Abbildungseigenschaft könnte man Properheit (minimales reguläres Modell) oder semistabile Reduktion verlangen; die Umkehrung dieser Anforderungen liefert Modelle, die besser für Schnitttheorie geeignet, aber schlechter für die universelle Erweiterung von Morphismen aus glatten Schemata sind.

Abgrenzung

Definiert über diskreten Bewertungsringen (oder Dedekind-Basen für Familien) für glatte kommutative Gruppen und abelsche Varietäten; schließt beliebige Schemata, nichtkommutative Gruppen und Basen ohne geeignete Bewertungsstruktur aus und setzt die Existenz eines glatten separierten Modells voraus.

Semantische Spannung

Wird häufig mit minimalen regulären Modellen, stabilen Modellen oder properen integralen Modellen verwechselt; das Néronmodell unterscheidet sich dadurch, dass es die Abbildungseigenschaft und Glattheit der Properheit vorzieht, was zu unterschiedlichen arithmetischen Invarianten und Anwendungen führt.

Synthese

Ein Néronmodell ist die kanonische glatte integrale Ausprägung einer kommutativen Gruppe über einem Bewertungsring: Durch die Forderung einer universellen Abbildungseigenschaft isoliert es Reduktions- und Komponentendaten, die für ganzzahlige Punkte, lokale Höhen und arithmetische Vergleiche wesentlich sind.