Esa es mi traducción de «square-zero extension»… es lo que hay.
Curiosamente, pearece que la homología de Hochschild es algo que se repite estos últimos años en este blog. Supongo que porque es algo que es elemental, que nunca aprendí sistemáticamente, y que sin embargo me veo llevado a entender de tanto en tanto.
A mí este problema se me apareció «en la naturaleza» más o menos así. Fijemos un anillo conmutativo, una -álgebra y un -módulo. Olvidando que tiene un producto, podés formar que es un -módulo. Ahora bien: dado que tiene un producto, capaz que este módulo de la forma que encontraste por la vida también tiene un producto… Capaz que podemos deducirlo de la estructura de , de alguna forma.
Eso es lo que vamos a ver en este post: vamos a clasificar ciertas estructuras de álgebra en que son particularmente simples. Más precisamente, aquellas tales que la proyección de módulos preserva el producto, y tales que , visto adentro del álgebra , tiene cuadrado nulo (i.e. si multiplicás dos de sus elementos, da cero).
Estas dos condiciones se resumen así: vamos a clasificar las extensiones de por que son de cuadrado nulo y que son escindidas (a veces se le llama «Hochschild» a la condición de split).
Vamos de a poquito. Para empezar, una extensión de por es una k-álgebra con un morfismo de álgebras que es sobreyectivo y tal que su núcleo es isomorfo a . En otras palabras, una sucesión exacta corta de módulos
donde preserva el producto y la unidad. La extensión es de cuadrado nulo si (usando el producto de ). Notemos .
Proposición: Una extensión de por es de cuadrado nulo si y sólo si puede ser dotado de la estructura de -bimódulo siguiente: para , donde es cualquier elemento (y análogamente a derecha. A partir de ahora voy a mirar todo lo que pasa a izquierda, porque a derecha es análogo. Otra cosa, a veces dejaré de distinguir entre e .)
En efecto, la propiedad «de cuadrado nulo» es la que permite que esa definición no dependa del en la preimagen de que elegiste. Esto es un ejercicio fácil.
Observación: Uno podría decirse: en vez de empezar con un k-módulo , empiezo directamente con un -bimódulo . En este caso, defino una extensión de cuadrado nulo igual que arriba, i.e. si . Lo cual equivale a decir que satisface
donde (*),
lo cual es suficiente para caracterizar la estructura de bimódulo de pues como -módulos. Ambos puntos de vista son equivalentes: o arrancás con un k-módulo tal que y le enchufás una estructura de bimódulo como arriba, o arrancás con un bimódulo y le pedís a la extensión que medio que «respete» esa estructura, lo cual equivale a decir que . Este es un punto que no aparece explicado en ningún lado y a mí, al menos me confundió por un momento. En conclusión, si arrancás con un -bimódulo tal que , de todas formas la estructura de bimódulo es única: está caracterizada por (*).
Sigamos. ¿Qué pasa si la sucesión exacta corta se escinde? En ese caso, tenemos un morfismo de módulos tal que , y la estructura de -módulo de que conseguimos arriba se puede escribir como . En efecto, la joda de haber elegido una sección es que nos elegimos preimágenes, y estas elecciones son compatibles con la estructura de módulo.
La elección de da lugar a un isomorfismo de módulos , y así, ya podemos dotar a de estructura de k-álgebra, transportando el producto de via el isomorfismo. Antes de explicitar cuál es este producto en , trabajemos un poco más sobre .
A una sección le podemos asociar un mapa . Este morfismo de módulos viene a medir cuán lejos está de ser un morfismo de álgebras (esto sucede cuando es nulo).
Proposición: tiene imagen en , y es un 2-cociclo, esto significa que satisface
para todo .
En los términos de los extremos estamos usando las acciones de en por izquierda y por derecha que definimos arriba. Esto es una cuentita, que utiliza la asociatividad de y las propiedades de acción.
Armados con todo esto, tenemos entonces:
Proposición: Podemos dotar a del producto siguiente:
(**)
Es la única estructura sobre el módulo que hace que respete el producto. Notaremos a esta k-álgebra como .
Observar que el método para encontrar estructuras de álgebra en es un poco indirecto. Es decir, lo que hacemos es partir de una extensión de cuadrado nulo escindida, y pasar la estructura de álgebra de hacia . ¿Pero de dónde la sacamos esa extensión de cuadrado nulo? Una manera de verlo es esta: arrancamos apenas de la sucesión exacta corta de módulos escindida canónica . Podemos poner un producto sencillo en , que es el de (**) cuando el último sumando es nulo (más abajo llamaremos «trivial» a este caso). Ahora la proyección es un morfismo de álgebras. Muy bien, así que ahora podés buscarle otra sección diferente (que no sea la chota), y esta sección te va a dar un producto diferente en .
Buenísimo, es lo que queríamos, encontrar estructuras de álgebra en . Además, vemos que tenemos unas cuantas diferentes, según la sección que hayamos encontrado. Pero nos podemos preguntar qué efecto tiene la elección de la sección. O sea, puede que nos demos dos secciones diferentes pero que los asociados sean equivalentes… Ahora queremos, pues, clasificar estas extensiones.
Dos extensiones (pueden ser square-zero y/o split) de por son equivalentes si hay un isomorfismo de k-álgebras que hace conmutar la escalerita obvia con identidades en los extremos.
Podríamos querer encontrar una relación de equivalencia en las secciones que reflejara la equivalencia de las extensiones respectivas, pero esto no fue lo que hizo Hochschild en 1944: lo que hizo fue mirar los cociclos asociados.
Es decir, hay una relación de equivalencia en los 2-cociclos : diremos que son «cohomólogos» (no voy a definir la relación). Notemos a los 2-cociclos módulo cohomología. Así, el teorema de Hochschild es:
Teorema: Sea una -álgebra y un -bimódulo. Hay una biyección entre y las clases de equivalencia de extensiones escindidas de cuadrado nulo de por .
La equivalencia funciona así: si tenés una tal extensión con sección , entonces le asociás el cociclo que definimos arriba, y uno prueba que si tenés dos tales extensiones equivalentes, los cociclos que determinan son cohomólogos.
En el otro sentido, si tenés un cociclo , entonces le asociás la extensión escindida de cuadrado nulo
donde el término del medio es como -módulo, con producto dado por
.
Uno verifica que si dos cociclos son cohomólogos entonces las extensiones que determinan son equivalentes. Además, es muy fácil ver que esto define una correspondencia uno a uno.
Si te estabas preguntando por qué le llamé a las clases de cohomología de 2-cociclos, es porque, sí, esto es un segundo grupo de cohomología de cierto complejo de cadenas asociado a y , el complejo de Hochschild, y este es un módulo de cohomología de Hochschild.
Observar que hay un cociclo trivial, el que manda todo a cero. La extensión correspondiente es la más sencilla de todas: es con producto
y se llama, obviamente, extensión trivial.
Bueno, hicimos bastante en el sentido del problema inicial. Encontramos un montón de estructuras en : si me das un cociclo, te construyo una tal estructura, y una manera de encontrar cociclos es a partir de extensiones escindidas de cuadrado nulo. Además, encontramos una manera de distinguirlas a través de la cohomología de Hochschild: uno espera que el teorema de clasificación sea útil porque la cohomología de Hochschild nos provee de herramientas para calcular ese .
Referencias: Weibel y Cartan-Eilenberg.
La parte principal del post se termina aquí. Veamos ahora algunos comentarios y ejemplos.
Otras extensiones
Algunos comentarios:
- Suponete ahora que es conmutativa, y sea un A-bimódulo. Podés querer clasificar las extensiones de por que sean álgebras conmutativas, también. En este caso la modificación es sencilla: el efecto de la conmutatividad de es que el cociclo asociado a una sección satisface ; decimos entonces que es simétrico. Sea el submódulo de obtenido como clases de equivalencia de 2-cociclos simétricos. El teorema de Hochschild dice, en este caso, que está en correspondencia biunívoca con las clases de equivalencia de extensiones escindidas de cuadrado nulo de por por álgebras conmutativas. Este coincide con el primer módulo de cohomología de André-Quillen, que es una teoría de cohomología para álgebras conmutativas.
- Olvidándonos del problema inicial de encontrar productos en , podemos concentrarnos en el hecho de que acabamos de clasificar las extensiones de por de cuadrado nulo escindidas. Uno podría preguntarse si hay manera de clasificar las extensiones de cuadrado nulo, no necesariamente escindidas. Acá la cosa ya es más difícil: no tenemos secciones así que chau cociclos. Pero parece que se puede hacer, al menos esto aparece mencionado en la introducción de este artículo, y parece que el módulo que los clasifica ya no es dado por la segunda cohomología de Hochschild pero por la segunda cohomología de Hochschild topológica. (más directamente, por la segunda cohomología de Shukla. También, por la segunda cohomología de Mac Lane. Estas cosas no son todas iguales en general, pero hasta dimensión dos sí).
- Hay extensiones más complicadas que también se pueden clasificar con cohomología de Hochschild. Por ejemplo, acá, sección 3.2, se discute un poco de lo que clasifica el . También se comenta un poco sobre la cohomología de Shukla que decía más arriba (teorema 4.4.1).
Álgebras aumentadas
Sea una -álgebra aumentada, i.e. viene con un morfismo de k-álgebras . Como , entonces donde es la unidad de . Esto significa que tenemos una sucesión exacta corta escindida
donde . O sea, tenemos que es una extensión escindida de por . Este es un caso particularmente fácil de extensión, porque con la nomenclatura de arriba, estamos tomando el cual es el ejemplo inicial de -álgebra.
¿Es esta extensión de cuadrado nulo? Claro que no, en general. No hay razón de esperar que la estructura de álgebra que hay en venga inducida por la de … i.e., no hay razón de esperar que ese isomorfismo preserve el producto.
Observar que la sección preserva el producto, así que si resultara que la extensión es de cuadrado nulo, entonces la extensión sería la trivial.
Ejemplo: cohomología
Si es un espacio topológico punteado y es la cohomología con coeficientes en un anillo conmutativo , entonces es una -álgebra aumentada: el mapa que escoge el punto base induce . El núcleo de este mapa es la cohomología reducida .
Así, es una extensión escindida de por el -módulo :
.
Pero en general no es de cuadrado nulo, claro que no… en general, el producto cup en no tiene por qué ser trivial. Pero hay un caso sencillo en el que lo es: si es un co-h-espacio (o menos en general, un cogrupo topológico), como por ejemplo lo es la suspensión reducida , entonces el producto cup de dos elementos que no están en grado cero es nulo (referencia: Switzer 13.66). Así, tenemos que la cohomología es la extensión de cuadrado nulo escindida trivial de por .
Creo que este ejemplo está bueno. Es medio extremo: el anillo es chiquito y es grande, así que para que la extensión sea de cuadrado nulo, lo cual quiere decir que la multiplicación en el núcleo (que en consecuencia es grande), , es nula, la multiplicación en tiene que ser la mayor parte del tiempo nula.
Estaría bueno tener un ejemplo concreto de extensión de cuadrado nulo donde no es tanto más chico que .
Secciones de la extensión trivial que son morfismos de álgebras
Consideremos la extensión de cuadrado nulo trivial de por . Podemos preguntarnos cuántas secciones tiene que sean morfismos de álgebras. Esto ya no es una pregunta que concierna realmente a lo de poner estructuras de álgebra diferentes en , pues como vimos arriba, si una sección es un morfismo de álgebras, su 2-cociclo asociado es nulo, así que todas estas secciones definen el mismo producto (al menos con el procedimiento de arriba).
Si escribís la sección como , entonces la condición de sección es , y la condición de ser morfismo de álgebras es exactamente que sea una derivación, esto es, satisface .
¡Y estos son los 1-cociclos de Hochschild! (en este caso sale directo de las definiciones, no hay que trabajar nada). Vuelve a aparecer Hochschild. Tales cociclos son cohomólogos si difieren por una derivación principal, i.e. una de la forma para un fijo. Así, podemos ver el como clasificando las secciones de la extensión de cuadrado nulo trivial que sean morfismos de álgebra, módulo la relación «diferir por una derivación principal». Estaría bueno poder traducir esa condición en términos directamente de la sección (i.e. vista como sección y no como derivación), pero no me doy cuenta cómo hacerlo ahora. A lo sumo cabe hacer la observación que si es un bimódulo simétrico, i.e. la acción a izquierda y a derecha coinciden, entonces la relación de equivalencia es trivial.