The Ring of Differential Operators on a Nodal Curve is not a Bialgebroid

Technische Zusammenfassung: Der Ring der Differentialoperatoren auf einer Knotenkurve ist keine Bialgebroid

Problemstellung
Der Beitrag behandelt das Klassifikationsproblem bezüglich des Rings $k$-linearer Differentialoperatoren, bezeichnet mit $D_A$, auf einer kommutativen Algebra $A$ über einem Körper $k$ der Charakteristik Null. Insbesondere untersucht er die Bedingungen, unter denen $D_A$ die Struktur einer Hopf-Algebroid (oder allgemeiner einer Bialgebroid) zulässt. Zwar ist etabliert, dass $D_A$ eine Hopf-Algebroid bildet, wenn $A$ der Koordinatenring einer glatten affinen Varietät ist (Sweedler [4]), doch bleibt die Situation für singuläre Varietäten weniger verstanden. Vorangegangene Arbeiten des Autors [2] identifizierten „R-Lokal-Projektivität" als hinreichende Bedingung dafür, dass $D_A$ eine Hopf-Algebroid ist, eine Eigenschaft, die von monomialen Kurven erfüllt wird. Die zentrale Frage dieser Note ist, ob $D_A$ eine Bialgebroid-Struktur zulässt, wenn die Annahme der lokalen Projektivität aufgehoben wird, insbesondere im Kontext singulärer affiner Knotenkurven.

Methodik
Der Autor wendet elementare algebraische Methoden an, um den Ring der Differentialoperatoren auf einer spezifischen Klasse singulärer Algebaren zu analysieren: den Koordinatenring einer affinen Knotenkurve. Die Methodik verläuft in drei distincten Stufen:

1. Konstruktion des Beispiels: Der Beitrag fixiert eine Knotenkurve, definiert durch den Koordinatenring $A = k + I \subset B$, wobei $B = k[t]$ und $I$ ein Ideal ist, das von einem Produkt paarweise teilerfremder irreduzibler Polynome erzeugt wird. Ein spezifisches Beispiel wird mittels der kubischen Knotenkurve $y^2 = x^2(x+1)$ bereitgestellt.
2. Analyse der Operator-Eigenschaften: Unter Ausnutzung der Struktur $D_A = k + I D_B$ (wobei $D_B$ die Weyl-Algebra ist) etabliert der Autor spezifische Abbildungseigenschaften von Operatoren in $D_A$ bezüglich des Ideals $I$ und seiner Potenzen ($I^2$). Wichtige Lemmata zeigen die Existenz von Operatoren, die $A$ in $I$ abbilden, aber versagen, $I$ in $I^2$ abzubilden, sowie Operatoren, die versagen, $I^2$ in $I^2$ abzubilden.
3. Widerlegung struktureller Eigenschaften:
   • Lokale Projektivität: Der Beitrag nutzt die Definition der R-Lokal-Projektivität, die verlangt, dass jeder Operator $D$ als endliche Summe $\sum D(a_i)D_i$ darstellbar ist. Durch Konstruktion eines spezifischen Operators $D$, der $A$ in $I$ abbildet, aber $I$ nicht in $I^2$ abbildet, beweist der Autor durch Widerspruch, dass eine solche Zerlegung unmöglich ist.
   • Bialgebroid-Struktur: Der Beitrag untersucht die notwendigen Bedingungen für eine Komultiplikationsabbildung $\Delta: D_A \to D_A \otimes_A D_A$. Durch Analyse des Bildes der Abbildung $\mu^*$ (die Tensorprodukte von Operatoren auf ihre Wirkung auf $A \otimes A$ bezieht) zeigt der Autor, dass das Bild von $\mu^*$, eingeschränkt auf $I \otimes I$, innerhalb von $I^2$ liegt. Das Vorhandensein von Operatoren in $D_A$, die diese Inklusion nicht bewahren ($D(I^2) \not\subseteq I^2$), erzeugt jedoch einen Widerspruch und beweist, dass eine solche Komultiplikationsabbildung nicht existieren kann.

Hauptbeiträge und Ergebnisse

• Nicht-Lokale Projektivität: Der Beitrag beweist, dass für den Koordinatenring $A$ einer affinen Knotenkurve der Ring der Differentialoperatoren $D_A$ nicht R(A)-lokal projektiv ist. Dies wird gezeigt, indem nachgewiesen wird, dass der Identitätsoperator (oder spezifische Elemente innerhalb von $D_A$) nicht in der durch die Definition der lokalen Projektivität geforderten Form dargestellt werden kann, da bestimmte Operatoren versagen, $I$ in $I^2$ abzubilden.
• Nicht-Existenz einer Bialgebroid-Struktur: Der Beitrag liefert die ersten expliziten Beispiele, bei denen $D_A$ keine Bialgebroid-Struktur mit dem kanonischen Koeinheit $\varepsilon(D) = D(1)$ zulässt. Der Beweis beruht auf der Unvereinbarkeit zwischen dem Bild der Komultiplikationsabbildung und der Wirkung der Differentialoperatoren auf das Quadrat des singulären Ideals.
• Unabhängigkeit der Bedingungen: Der Autor stellt fest, dass die Argumente, die zur Widerlegung der lokalen Projektivität verwendet werden, und die Argumente, die zur Widerlegung der Bialgebroid-Struktur verwendet werden, distinct und voneinander unabhängig sind.

Bedeutung und Behauptungen
Die primäre Bedeutung dieser Arbeit, wie vom Autor behauptet, liegt in der Bereitstellung der ersten expliziten Gegenbeispiele für die Existenz einer Bialgebroid-Struktur auf Ringen von Differentialoperatoren für singuläre Varietäten. Während vorherige Ergebnisse hinreichende Bedingungen (lokale Projektivität) für die Existenz solcher Strukturen etablierten, klärt diese Note die Grenzen dieser Bedingungen, indem sie zeigt, dass für Knotenkurven die Struktur nicht existiert.

Der Beitrag schließt bescheiden, dass, obwohl gezeigt wurde, dass die lokale Projektivität in diesem Fall nicht erfüllt ist, die Frage offen bleibt, ob R-Lokal-Projektivität eine notwendige Bedingung für die Existenz einer Bialgebroid-Struktur im Allgemeinen ist, da die Beweise für die beiden negativen Ergebnisse unterschiedliche Mechanismen verwenden. Die Arbeit dient dazu, das Verständnis der Differentialoperatoren auf singulären Varietäten zu verfeinern, indem sie eine Klasse von Algebren identifiziert, bei der die Hopf-Algebroid-Struktur fehlt.