Reguläre Funktion

In der algebraischen Geometrie ist eine reguläre Funktion eine Funktion von einer Varietät in ihren Körper. Der Ring der regulären Funktionen kann auf jeder offenen Menge der Varietät definiert werden. Diese Ringe bilden eine Garbe. Der Ring der Funktionen, die auf der ganzen Varietät regulär sind, nennt man den Koordinatenring. Reguläre Funktionen werden unter anderem gebraucht, um Morphismen von Varietäten zu definieren. Reguläre Funktionen sind nicht zu verwechseln mit regulären Abbildungen, womit manchmal in der Literatur auch Morphismen von Varietäten bezeichnet werden.

Daneben gibt es den Begriff reguläre Funktion auch in der Funktionentheorie, wo er holomorphe Funktionen bezeichnet, die nicht singulär sind.

Reguläre Funktionen

Ist $Y \subset \mathbb A^n_k$ eine quasiaffine Varietät, so ist eine Funktion $f \colon Y \to k$ regulär in einem Punkt $P \in Y$ , wenn es eine offene Umgebung mit $P \in U$ gibt und Polynome $g, h \in k[x_1, \ldots , x_n]$ gibt, sodass nirgendwo auf Nullstellen hat und $f |_U = \tfrac g h$ .

Ist $Y \subset \mathbb P^n_k$ eine quasiprojektive Varietät, so ist eine Funktion $f \colon Y \to k$ regulär in einem Punkt $P \in Y$ , wenn es eine offene Umgebung (in der Zariski-Topologie) mit $P \in U$ gibt und homogene Polynome $g, h \in k[x_0, \ldots , x_n]$ mit demselben Grad gibt, sodass nirgendwo auf Nullstellen hat und $f |_U = \tfrac g h$ .

und sind keine Funktionen auf dem $\mathbb P^n_k$ , aber $\tfrac g h$ ist eine wohldefinierte Funktion, da und homogen vom gleichen Grad sind.

Ist eine quasiaffine oder eine quasiprojektive Varietät, so ist eine Funktion $f \colon Y \to k$ regulär, wenn sie auf jedem Punkt in regulär ist.

Wird der Körper mit dem affinen Raum $\mathbb A^1_k$ identifiziert, so ist eine reguläre Funktion stetig in der Zariski-Topologie.

Eine wichtige Folgerung daraus ergibt sich für irreduzible Varietäten: Sind und reguläre Funktionen auf und gibt es eine nichtleere offene Menge $U \subset Y$ , auf der und übereinstimmen, so stimmen und auf überein. Denn die Menge aller Punkte, auf der f-g=0 ist, ist nicht leer, abgeschlossen und dicht.

Die Garbe der regulären Funktionen und der Koordinatenring

Für jede offene Menge $U \subset Y \subset \mathbb A^n_k$ bildet die Menge der regulären Funktionen auf einen Ring, der mit $\mathcal O(U)$ bezeichnet wird. Diese Ringe bilden eine Prägarbe. Da die regulären Funktionen durch lokale Eigenschaften definiert sind, bilden sie sogar eine Garbe. Diese Garbe steht in enger Beziehung zu dem affinen Schema der Varietät. Den Ring der Funktionen, die auf der gesamten Varietät regulär sind, nennt man Koordinatenring $A(Y)$ . Er ist isomorph zu $k[X_{1},\ldots ,X_{n}]/I(Y)$ . $I(Y)$ ist das Verschwindeideal von , also das Ideal der Polynome, die in jedem Punkt von Null sind.

Der Koordinatenring $A(Y)$ ist ein Integritätsbereich und eine endlich erzeugte -Algebra.

Der lokale Ring eines Punktes

Der lokale Ring eines Punktes ist der Ring der Keime von regulären Funktionen. Dieser Ring wird mit $\mathcal O_{P,Y}$ oder nur $\mathcal O_P$ bezeichnet. Dieser Ring besteht also aus Äquivalenzklassen von $\langle U,f \rangle$ mit $P \in U$ , wobei $\langle U,f \rangle$ äquivalent zu $\langle V,g \rangle$ ist, wenn und auf $U\cap V$ übereinstimmen. Dieser Ring ist ein lokaler Ring, sein maximales Ideal besteht aus den Keimen, die in verschwinden.

Basierend auf einem Artikel in:

Wikipedia.de