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

Resumen Técnico: El Anillo de Operadores Diferenciales sobre una Curva Nodal No es un Bialgebroid

Planteamiento del Problema
El artículo aborda el problema de clasificación relativo al anillo de operadores diferenciales $k$-lineales, denotado $D_A$, sobre un álgebra conmutativa $A$ sobre un cuerpo $k$ de característica cero. Específicamente, investiga las condiciones bajo las cuales $D_A$ admite la estructura de un Hopf algebroid (o, más generalmente, un bialgebroid). Si bien está establecido que $D_A$ forma un Hopf algebroid cuando $A$ es el anillo de coordenadas de una variedad afín suave (Sweedler [4]), la situación para variedades singulares permanece menos comprendida. Trabajos anteriores del autor [2] identificaron la "proyectividad R-local" como una condición suficiente para que $D_A$ sea un Hopf algebroid, una propiedad satisfecha por curvas monomiales. La pregunta central de esta nota es si $D_A$ admite una estructura de bialgebroid cuando se elimina la suposición de proyectividad local, específicamente en el contexto de curvas nodales afines singulares.

Metodología
El autor emplea métodos algebraicos elementales para analizar el anillo de operadores diferenciales sobre una clase específica de álgebras singulares: el anillo de coordenadas de una curva nodal afín. La metodología procede en tres etapas distintas:

1. Construcción del Ejemplo: El artículo fija una curva nodal definida por el anillo de coordenadas $A = k + I \subset B$, donde $B = k[t]$ e $I$ es un ideal generado por un producto de polinomios irreducibles coprimos dos a dos. Se proporciona un caso específico utilizando la cúbica nodal $y^2 = x^2(x+1)$.
2. Análisis de Propiedades de los Operadores: Aprovechando la estructura $D_A = k + I D_B$ (donde $D_B$ es el álgebra de Weyl), el autor establece propiedades de mapeo específicas de los operadores en $D_A$ con respecto al ideal $I$ y sus potencias ($I^2$). Lemas clave demuestran la existencia de operadores que mapean $A$ en $I$ pero fallan en mapear $I$ en $I^2$, y operadores que fallan en mapear $I^2$ en $I^2$.
3. Refutación de Propiedades Estructurales:
   • Proyectividad Local: El artículo utiliza la definición de proyectividad R-local, la cual requiere que todo operador $D$ sea expresable como una suma finita $\sum D(a_i)D_i$. Mediante la construcción de un operador específico $D$ que mapea $A$ en $I$ pero no a $I$ en $I^2$, el autor demuestra por contradicción que tal descomposición es imposible.
   • Estructura de Bialgebroid: El artículo examina las condiciones necesarias para un mapa de comultiplicación $\Delta: D_A \to D_A \otimes_A D_A$. Al analizar la imagen del mapa $\mu^*$ (que relaciona productos tensoriales de operadores con su acción sobre $A \otimes A$), el autor muestra que la imagen de $\mu^*$ restringida a $I \otimes I$ yace dentro de $I^2$. Sin embargo, la existencia de operadores en $D_A$ que no preservan esta contención ($D(I^2) \not\subseteq I^2$) crea una contradicción, demostrando que no puede existir tal mapa de comultiplicación.

Contribuciones y Resultados Clave

• No Proyectividad Local: El artículo demuestra que para el anillo de coordenadas $A$ de una curva nodal afín, el anillo de operadores diferenciales $D_A$ no es R(A)-localmente proyectivo. Esto se demuestra mostrando que el operador identidad (o elementos específicos dentro de $D_A$) no puede representarse en la forma requerida por la definición de proyectividad local debido a la falla de ciertos operadores para mapear $I$ en $I^2$.
• No Existencia de Estructura de Bialgebroid: El artículo proporciona los primeros ejemplos explícitos donde $D_A$ no admite una estructura de bialgebroid con la counidad canónica $\varepsilon(D) = D(1)$. La prueba se basa en la incompatibilidad entre la imagen del mapa de comultiplicación y la acción de los operadores diferenciales sobre el cuadrado del ideal singular.
• Independencia de Condiciones: El autor nota que los argumentos utilizados para refutar la proyectividad local y los argumentos utilizados para refutar la estructura de bialgebroid son distintos y no relacionados.

Significado y Afirmaciones
El significado principal de este trabajo, según lo afirmado por el autor, es la provisión de los primeros contraejemplos explícitos a la existencia de una estructura de bialgebroid en anillos de operadores diferenciales para variedades singulares. Si bien resultados anteriores establecieron condiciones suficientes (proyectividad local) para la existencia de tales estructuras, esta nota aclara los límites de estas condiciones al mostrar que, para curvas nodales, la estructura falla en existir.

El artículo concluye modestamente que, aunque ha demostrado que la proyectividad local no se satisface en este caso, sigue siendo una pregunta abierta si la proyectividad R-local es una condición necesaria para la existencia de una estructura de bialgebroid en general, dado que las pruebas para los dos resultados negativos utilizan mecanismos diferentes. La obra sirve para refinar la comprensión de los operadores diferenciales sobre variedades singulares al identificar una clase de álgebras donde la estructura de Hopf algebroid está ausente.