# Singularität/Differentielle Signatur/Einführung/Textabschnitt/latex

\inputdefinition {
Es sei $K$ ein Körper der Charakteristik $0$. Unter einem \zusatzklammer {formalen} \definitionswort {Differentialoperator} auf \mathl{K[X_1 , \ldots , X_n]} versteht man eine endliche Summe \mathdisp {\sum_\alpha g_\alpha \partial^\alpha} { } mit polynomialen Koeffizientenfunktionen \mathl{g_\alpha \in K[X_1 , \ldots , X_n]}{,} wobei die Indizes Tupel aus $\N^n$ sind.
\inputbemerkung {
Die Differentialoperatoren \mathl{{ \frac{ \partial^\alpha }{ \alpha! } }} haben die besondere Eigenschaft, dass sie $X^\alpha$ auf $1$ abbilden. Generell gibt es für jedes Polynom \mavergleichskette {\vergleichskette {f } { \neq }{0 } { }{ } { }{ } { }{ } } einen Operator, der dieses Polynom auf $1$ abbildet. Wenn $f$ die Form \mavergleichskettedisp {\vergleichskette {f } { =} { \sum_{\beta= d} c_\beta X^\beta + \sum_{\beta < d} c_\beta X^\beta } { } { } { } { } { } { } } mit einem \mavergleichskette {\vergleichskette {c_\alpha } { \neq }{0 } { }{ } { }{ } { }{ } } vom Grad $d$ für ein bestimmtes $\alpha$, so ist ${ \frac{ \partial^\alpha }{ \alpha! } }$ ein Operator, der $f$ auf $c_\alpha$ abbildet.
\bild{ \begin{center} \includegraphics[width=5.5cm]{\bildeinlesung {DoubleCone.png} } \end{center} \bildtext } \bildlizenz { DoubleCone.png } {Lars H. Rohwedder} {RokerHRO} {Commons} {PD}
Im Weiteren soll es um Differentialoperatoren gehen, die nicht auf \zusatzklammer {Funktionen auf} dem glatten Raum $K^n$ wirken, sondern auf Räumen mit Singularitäten. Als ein typisches Beispiel kann man einen Doppelkegel betrachten, den man als die Nullstellenmenge des Polynoms \mathl{Z^2-X^2-Y^2} betrachten kann. Nennen wir dieses geometrische Objekt $S$, also \mavergleichskettedisp {\vergleichskette {S } { =} { { \left\{ (x,y,z) \in K^3 \mid x^2+y^2 = z^2 \right\} } } { } { } { } { } { } { } }{.} Es hat in der Kegelspitze \mathl{(0,0,0) \in S} eine Singularität. In jedem anderen Punkt ist er glatt, d.h. man kann \zusatzklammer {bei \mathlk{K=\R} oder ${\mathbb C}$} den Satz über implizite Abbildungen anwenden und erhält, dass außerhalb der Singularität eine zweidimensionale Mannigfaltigkeit vorliegt. Es gibt also lokal in einer offenen Umgebung $U$ zu einem jeden Punkt \mavergleichskette {\vergleichskette {P } { \neq }{ (0,0,0) } { }{ } { }{ } { }{ } } einen Diffeomorphismus zu einer offenen Menge \mavergleichskette {\vergleichskette {V } { \subseteq }{\R^2 } { }{ } { }{ } { }{ } }{.} Auf einer solchen offenen Menge wissen wir, was die Differentialoperatoren sind. Mit lokalen Koordinaten \mathl{s,t} für $V$ hat man lokal die partiellen Ableitungen \mathkor {\partial_s} {und} {\partial_t} und somit auch ihre Verknüpfungen und Multiplikation mit Koeffizentenfunktionen zur Verfügung. Über den Diffeomorphismus überträgt sich dies zurück auf $U$. Im algebraischen Kontext ist diese Überlegung etwas komplizierter und arbeitet mit regulären Ringen.
Ein sinnvoller Differentialoperator auf \zusatzklammer {Funktionen auf} $S$ muss jedenfalls auch auf jeder offenen Menge \mavergleichskette {\vergleichskette {U } { \subseteq }{S } { }{ } { }{ } { }{ } } einen Differentialoperator induzieren, und wenn eine Überdeckung \mavergleichskettedisp {\vergleichskette {U } { =} { \bigcup_{i \in I} U_i } { } { } { } { } { } { } } mit offenen Mengen vorliegt und auf den $U_i$ jeweils ein Differentialoperator $E_i$ gegeben ist, die miteinander verträglich sind in dem Sinne, dass für die Einschränkungen \mavergleichskettedisp {\vergleichskette { E_i {{|}}_{U_i \cap U_j } } { =} { E_j {{|}}_{U_i \cap U_j } } { } { } { } { } { } } gilt, so sollte dies von einem Differentialoperator $E$ auf ganz $U$ herrühren. D.h. man erwartet, dass Differentialoperatoren eine Garbe bilden. Diese naheliegenden Bedingungen legen bereits ein eindeutiges Konzept für Differentialoperatoren auf \mathl{S \setminus \{(0,0,0)\}} fest. In der Tat werden diese Operatoren bereits die Operatoren auf ganz $S$ sein \zusatzklammer {die Singularität ist normal} {.}
Achtung: Die partiellen Ableitungen \mathl{\partial_X,\partial_Y, \partial_Z} des umgebenden Raumes $K^3$ ergeben keinen Sinn auf $S$. Das Polynom \mathl{Z^2-X^2-Y^2} ist ja die Nullfunktion auf $S$
\zusatzklammer {$S$ wurde ja als die Nullstellenmenge dieses Polynoms definiert} {,} es ist aber \mavergleichskettedisp {\vergleichskette { \partial_X ( Z^2-X^2-Y^2) } { =} { -2X } { \neq} { 0 } { } { } { } { } } auf $S$.
Wir geben nun die allgemeine algebraische Definition für einen Differentialoperator für eine beliebige kommutative $K$-Algebra. Im ober erwähnten Beispiel geht es um den Restklassenring \mavergleichskette {\vergleichskette {R } { = }{ K[X,Y,Z]/(Z^2-X^2-Y^2) } { }{ } { }{ } { }{ } }{.}
\inputdefinition {
Es sei $R$ eine \definitionsverweis {kommutative} $K$-\definitionsverweis {Algebra}{.} Das Konzept eines \definitionswort {Differentialoperators} wird induktiv definiert, wobei es sich um spezielle $K$-\definitionsverweis {lineare Abbildungen} von $R$ nach $R$ handelt. \aufzaehlungzwei {Ein Differentialoperator der Ordnung $0$ ist die Multiplikationsabbildung \maabbeledisp {\mu_f} {R} {R } {x} {xf } {,} zu einem Element \mathl{f \in R}{.} } {Ein Differentialoperator $E$ der Ordnung $\leq n$ ist eine lineare Abbildung \maabb {E} {R} {R } mit der Eigenschaft, dass für jedes \mathl{f \in R} die Abbildung \mathdisp {E \circ \mu_f - \mu_f \circ E} { } ein Differentialoperator der Ordnung \mathl{\leq n-1} ist. }
Wir bemerken, dass dieses Konzept für den Polynomring über einem Körper den durch die \mathl{{ \frac{ \partial^\alpha }{ \alpha! } }} frei erzeugten Modul ergibt. Eine entsprechende Beschreibung gilt für jeden regulären \zusatzklammer {glatten} lokalen Ring.
Man sagt, dass ein Differentialoperator die Ordnung \zusatzklammer {genau} $n$ besitzt, wenn er eine Ordnung $\leq n$, aber nicht $\leq n-1$ besitzt. Differentialoperatoren der Ordnung $1$ sind einfach Derivationen, also $K$-lineare Abbildungen \maabb {D} {R} {R } {,} die die Leibniz-Regel \mavergleichskettedisp {\vergleichskette {D (fg) } { =} {f D(g)+ gD(f) } { } { } { } { } { } { } } erfüllen. Diese Regel kann man auch \zusatzklammer {was zunächst komplizierter aussieht} als \mavergleichskettedisp {\vergleichskette {D (fg) } { =} {f D(g)+ gD(f)-fg D(1) } { } { } { } { } { } { } } schreiben, da eine Derivation die Konstanten auf $0$ abbildet. Für beliebige Differentialoperatoren der Ordnung $\leq 1$ gibt es eine entsprechende Produktregel.
\zwischenueberschrift{Der Modul der Hauptteile}
\inputdefinition {
Es sei $R$ eine kommutative $K$-\definitionsverweis {Algebra} und \mathl{n \in \N}{.} Es sei \mavergleichskette {\vergleichskette { \Delta } { \subseteq }{ R \otimes_{ K } R } { }{ } { }{ } { }{ } } der Kern der Multiplikationsabbildung. Dann nennt man den $R$-\definitionsverweis {Modul} \mavergleichskettedisp {\vergleichskette { P^{ n }_{ R {{|}} K } } { \defeq} { R \otimes_{ K } R/ \Delta^{n+1} } { } { } { } { } { } { } }{,} versehen mit der $R$-Multiplikation in der ersten Komponente, den $n$-ten \definitionswort {Modul der Hauptteile}{.}
\inputdefinition {
Es sei $R$ eine kommutative $K$-\definitionsverweis {Algebra} und \mathl{n \in \N}{.} Dann nennt man die $K$-\definitionsverweis {lineare Abbildung} \maabbeledisp {d^n} {R} { P^{ n }_{ R {{|}} K } = R \otimes_{ K } R/ \Delta^{n+1} } {f} { 1 \otimes f } {,} den \definitionswort {universellen Differentialoperator} der Ordnung $n$.
Häufig betrachtet man den Modul der Hauptteile als das Paar \mathl{( P^{ n }_{ R {{|}} K } ,d^n)}{.}
Wir bezeichnen zu einem Monom \mathl{\lambda \in \N^k} mit \mavergleichskettedisp {\vergleichskette { D^\lambda } { =} { { \left( \partial_{X_1} \right) }^{\lambda_1} \circ \cdots \circ { \left( \partial_{X_k} \right) }^{\lambda_k} } { } { } { } { } { } { } } diesen Differentialoperator auf dem Polynomring \mathl{K[X_1 , \ldots , X_k]}{.} Der Ausdruck \mavergleichskettedisp {\vergleichskette { { \frac{ 1 }{ \lambda! } } D^\lambda } { =} { { \frac{ 1 }{ \lambda! } } { \left( \partial_{X_1} \right) }^{\lambda_1} \circ \cdots \circ { \left( \partial_{X_k} \right) }^{\lambda_k} } { } { } { } { } { } { } } ist ebenfalls ein Differentialoperator, und zwar auch in positiver Charakteristik. Dabei werden die partiellen Ableitungen auf ein Monom $X^\nu$ direkt angewendet, allerdings werden die Exponenten, die beim differenzieren zu Skalaren werden, zuerst in $\Z$ behalten und dann mit der Fakultät im Nenner verarbeitet. Das Ergebnis wird dann im Körper interpretiert. Ein Ausdruck der Form $D^\lambda$, wobei eine Komponente von $\lambda$ negativ ist, ist als $0$ zu interpretieren.
\inputfakt{Differentialoperatoren/Hauptteilring/Ableitungsbeschreibung/Fakt}{Lemma} {
\faktsituation {Es seien \mathl{F_1 , \ldots , F_m \in K[X_1 , \ldots , X_k]} Polynome mit dem Restklassenring \mavergleichskettedisp {\vergleichskette {R } { =} { K[X_1 , \ldots , X_k]/ { \left( F_1 , \ldots , F_m \right) }
} { } { } { } { } { } { } }{.}} \faktfolgerung {Dann ist \mavergleichskettedisp {\vergleichskette {R \otimes_K R } { \cong} { R[A_1 , \ldots , A_k]/ { \left( G_1 , \ldots , G_m \right) } } { } { } { } { } { } { } } mit \mavergleichskettedisp {\vergleichskette {G_i } { =} { \sum_\lambda G_ {i, \lambda } A^\lambda } { } { } { } { } { } { } } und \mavergleichskettedisp {\vergleichskette { G_{i, \lambda } } { =} { { \frac{ \partial^\lambda }{ \lambda ! } } { \left( F_i \right) } } { } { } { } { } { } { } }{.}} \faktzusatz \faktzusatz
\inputdefinition {
Es seien \mathl{F_1 , \ldots , F_m \in K[X_1 , \ldots , X_k]} Polynome. Zu \mathl{n \in \N} sei \mavergleichskette {\vergleichskette {I } { = }{ { \left\{ (\mu,i) \mid \mu \in \N^k \text{ mit } \operatorname{grad} \, (\mu) \leq n-1 , \, 1 \leq i \leq m \right\} } } { }{ } { }{ } { }{ } } und \mavergleichskette {\vergleichskette {J } { = }{ { \left\{ \nu \mid \nu \in \N^ k \text{ mit } \operatorname{grad} \, (\nu) \leq n \right\} } } { }{ } { }{ } { }{ } }{.} Dann nennt man die $I \times J$-\definitionsverweis {Matrix} mit Einträgen \mavergleichskettedisp {\vergleichskette { a_{( \mu,i ; \nu)} } { =} { { \frac{ \partial^{\nu - \mu} }{ (\nu - \mu )! } } { \left( F_i \right) } } { } { } { } { } { } { } } die $n$-te \definitionswort {Jacobi-Taylor-Matrix}{.}
} Diese Matrizen bezeichnen wir mit $J_n$. Man kann sie über dem Polynomring und über dem Restklassenring interpretieren, wobei die letztere Bedeutung wichtiger ist.
In drei Variablen und einer Gleichung $F$ sieht die transponierte zweite Jacobi-Taylor-Matrix über dem Restklassenring so aus \zusatzklammer {über dem Polynomring steht in der Diagonalen noch $F$} {.}
\mathdisp {\begin{pmatrix} & 1 & A & B & C \\ 1 & 0 & 0 & 0 & 0 \\ A & \partial_X (F) & 0 & 0 & 0 \\ B & \partial_Y (F) & 0 & 0 & 0 \\ C & \partial_Z (F) & 0 & 0 & 0 \\ A^2 & { \frac{ 1 }{ 2 } } \partial_X \partial_X (F) & \partial_X (F) & 0 & 0 \\ AB & \partial_X \partial_Y (F) & \partial_Y (F) & \partial_X (F) & 0 \\ AC & \partial_X \partial_Z (F) & \partial_Z (F) & 0 & \partial_X (F) \\ B^2 & { \frac{ 1 }{ 2 } } \partial_Y \partial_Y (F) & 0 & \partial_Y (F) & 0 \\ BC & \partial_Y \partial_Z (F) & 0 & \partial_Z (F) & \partial_Y (F) \\ C^2 & { \frac{ 1 }{ 2 } } \partial_Z \partial_Z (F) & 0 & 0 & \partial_Z (F) \end{pmatrix}} { }
\inputfakt{Polynome/Hauptteilmodul/Jacobi-Taylor-Beschreibung/Fakt}{Korollar} {
\faktsituation {Es seien \mathl{F_1 , \ldots , F_m \in K[X_1 , \ldots , X_k]} Polynome mit dem Restklassenring \mavergleichskettedisp {\vergleichskette {R } { =} { K[X_1 , \ldots , X_k]/ { \left( F_1 , \ldots , F_m \right) }
} { } { } { } { } { } { } }{.}} \faktfolgerung {Dann besitzt der Modul der Hauptteile eine Darstellung \zusatzklammer {eine exakte Sequenz von $R$-Moduln} \mathdisp {\bigoplus_{ \operatorname{grad} \, (\mu) \leq n - 1, \, 1 \leq i \leq m } R e_{\mu ,i} \stackrel{M} { \longrightarrow }\bigoplus_{ \operatorname{grad} \, (\lambda) \leq n } R e_{\lambda } \longrightarrow P^n_{R {{|}} K} \longrightarrow 0} { , } wobei $M$ die transponierte $n$-te Jacobi-Taylor-Matrix ist.} \faktzusatz \faktzusatz
\inputfakt{Polynome/Differentialoperatoren/Jacobi-Taylor-Beschreibung/Fakt}{Korollar} {
\faktsituation {Es seien \mathl{F_1 , \ldots , F_m \in K[X_1 , \ldots , X_k]} Polynome mit dem Restklassenring \mavergleichskettedisp {\vergleichskette {R } { =} { K[X_1 , \ldots , X_k]/ { \left( F_1 , \ldots , F_m \right) }
} { } { } { } { } { } { } }{.}} \faktfolgerung {Dann entsprechen die \definitionsverweis {Differentialoperator} der Ordnung $\leq n$ auf $R$ den Elementen des Kernes der $n$-ten \definitionsverweis {Jacobi-Taylor-Matrix}{.}} \faktzusatz \faktzusatz
\inputfakt{Polynome/Differentialoperatoren/Jacobi-Taylor-Beschreibung/Partielle Ableitungen im Polynomring/Fakt}{Korollar} {
\faktsituation {Es seien \mathl{F_1 , \ldots , F_m \in K[X_1 , \ldots , X_k]} Polynome mit dem Restklassenring \mavergleichskettedisp {\vergleichskette {R } { =} { K[X_1 , \ldots , X_k]/ { \left( F_1 , \ldots , F_m \right) }
} { } { } { } { } { } { } }{.}} \faktfolgerung {Dann wird ein durch ein $\lambda$-Tupel \mathl{{ \left( a_\lambda \right) }} im Sinne von Fakt gegebener \definitionsverweis {Differentialoperator} auf $R$ auf dem Polynomring \mathl{K[X_1 , \ldots , X_k]} durch \mathdisp {\sum_\lambda a_\lambda { \frac{ \partial^\lambda }{ \lambda! } }} { } repräsentiert.} \faktzusatz \faktzusatz
Eine Zeile in der transponierten Jacobi-Taylor-Matrix hat die Form \mavergleichskettedisp {\vergleichskette {Z_\nu } { =} { { \left( { \frac{ 1 }{ (\nu -\mu)! } } D^{ \nu-\mu}(F_i) \, , (\mu,i) \right) } } { } { } { } { } { } { } }{.}
\inputfakt{Kommutativer Ring/Direkter Summand/Differentialoperatoren/Fakt}{Lemma} {
\faktsituation {Es sei \mavergleichskette {\vergleichskette {R } { \subseteq }{S } { = }{ R \oplus U } { }{ } { }{ } } ein \definitionsverweis {direkter Summand} von $K$-\definitionsverweis {Algebren}{.}} \faktfolgerung {Dann definiert jeder \definitionsverweis {Differentialoperator} \maabb {E} {S} {S } der Ordnung $\leq n$ über \mathdisp {R \longrightarrow S \stackrel{E}{\longrightarrow} S \stackrel{\rho} {\longrightarrow} R} { } einen Differentialoperator der Ordnung $\leq n$ auf $R$, wobei $\rho$ die Projektion längs $U$ bezeichnet.} \faktzusatz \faktzusatz
\inputfakt{Polynomring/Direkter Summand/Differentialoperatoren/Fakt}{Korollar} {
\faktsituation {Es sei $R$ ein \definitionsverweis {direkter Summand} eines \definitionsverweis {Polynomrings} $P$.} \faktfolgerung {Dann gibt es für jedes \mathbed {f \in R} {f \neq 0} {,} einen \definitionsverweis {Differentialoperator} \maabb {E} {R} {R } mit \mavergleichskette {\vergleichskette {E(f) } { = }{1 } { }{ } { }{ } { }{ } }{.}} \faktzusatz \faktzusatz
Es sei ein normales torisches positives Monoid in der Form \mavergleichskettedisp {\vergleichskette {M } { =} { C \cap \Gamma } { } { } { } { } { } { } } mit einem positiven rationalen polyedrischen Kegel und dem Gitter \zusatzklammer {das Differenzengitter zu $M$} \mavergleichskette {\vergleichskette { \Gamma } { = }{ \Z M } { }{ } { }{ } { }{ } } gegeben. Es sei $d$ die Dimension von $\Gamma$ und seien \mathl{F_1 , \ldots , F_r} die Facetten von $C$. Zu jeder Facette $F_i$ gibt es eine integrale Linearform \maabbdisp {\ell_i} {\Gamma} { \Z } {,} deren Kern $F_i$ ist, die im Innern des Kegels positiv ist und die surjektiv ist. Diese Daten, die durch den Kegel festgelegt sind, geben Anlass zu einem charakteristischen Polytop und dessen Volumen. Durch \mavergleichskettedisp {\vergleichskette { \ell_1 + \cdots + \ell_r } { =} { 1 } { } { } { } { } { } { } } wird eine Hyperebene festgelegt. Die Facettenhyperebenen und diese Hyperebenen begrenzen ein \zusatzklammer {kompaktes} Polytop. Das $d!$-fache dessen Volumen nennen wir die $D$-Signatur des Kegels.
Es ist nicht unmittelbar klar, ob und wie man diese als Invarianten der zugehörigen Monoide bzw. Monoidringe beschreiben kann und was ihre ringtheoretische Signifikanz ist.
Wir erwähnen für das Monoid $\N^n$ bzw. den Monoidring \mavergleichskettedisp {\vergleichskette {K [\N^n] } { =} { K[X_1 , \ldots , X_n] } { } { } { } { } { } { } } folgende Beobachtung. Wegen \mavergleichskettedisp {\vergleichskette { { \frac{ \partial^\alpha }{ \alpha! } } { \left( X^\beta \right) } } { =} { { \frac{ \beta ! }{ \alpha! ( \beta- \alpha)! } } X^{\beta - \alpha} } { } { } { } { } { } { } } ist die Wirkungsweise der Operatoren \mathl{{ \frac{ \partial^\alpha }{ \alpha! } }} auf einem Tupel $\beta$ im Wesentlichen einfach die Verschiebung in Richtung $- \alpha$, wobei das Ergebnis als $0$ zu interpretieren ist, falls man außerhalb von $\N^n$ landet. D.h. dass abgesehen von den Vorfaktoren die Differentialoperatoren \mathl{{ \frac{ \partial^\alpha }{ \alpha! } }}{,} die ja die Basiselemente für alle Differentialoperatoren sind, eine unmittelbare kombinatorische Beschreibung besitzen.
\inputbeispiel {
Wir betrachten den \definitionsverweis {rational-polyedrischen } Kegel, der im $\R^3$ durch ein Quadrat in der $1$-Ebene erzeugt wird, nämlich durch die vier Eckpunkte \mathdisp {(0,0,1) ,\, (1,0,1),\, (0,1,1) ,\, (1,1,1)} { . } Diese vier Eckpunkte erzeugen das Monoid im zugehörigen Kegel. Die Summe des ersten und des vierten Erzeugers stimmt mit der Summe des zweiten und des dritten Erzeugers überein, daher ist der zugehörige Monoidring durch \mavergleichskettedisp {\vergleichskette {K[M] } { \cong} { K[X,Y,Z,W]/(XY-ZW) } { } { } { } { } { } { } } gegeben. Der Kegel wird durch vier Seiten begrenzt und ist nicht \definitionsverweis {simplizial}{.} Die definierenden integralen Linearformen sind \mavergleichskettedisp {\vergleichskette { \ell_1 } { =} {x } { } { } { } { } { } { } }{,} \mavergleichskettedisp {\vergleichskette { \ell_2 } { =} {y } { } { } { } { } { } { } }{,} \mavergleichskettedisp {\vergleichskette { \ell_3 } { =} {z-x } { } { } { } { } { } { } }{,} \mavergleichskettedisp {\vergleichskette { \ell_4 } { =} { z-y } { } { } { } { } { } { } }{.} Die Summe der vier Linearformen ist \mavergleichskettedisp {\vergleichskette { \ell_1+ \ell_2+\ell_3+\ell_4 } { =} { 2z } { } { } { } { } { } { } }{.} Somit wird das \anfuehrung{ $D$-Signatur-Polytop} durch \mavergleichskettedisp {\vergleichskette {z } { =} { { \frac{ 1 }{ 2 } } } { } { } { } { } { } { } } begrenzt, und sein Volumen ist \mavergleichskettedisp {\vergleichskette { { \left( { \frac{ 1 }{ 2 } } \right) }^2 \cdot { \frac{ 1 }{ 2 } } \cdot { \frac{ 1 }{ 3 } } } { =} { { \frac{ 1 }{ 24 } } } { } { } { } { } { } { } }{.} Die kombinatorische $D$-Signatur ist also \mavergleichskettedisp {\vergleichskette { 3! \cdot { \frac{ 1 }{ 24 } } } { =} { { \frac{ 1 }{ 4 } } } { } { } { } { } { } { } }{.}