Coálgebra

En matemáticas, las coálgebras son estructuras que son duales (en el sentido de teoría de categorías de invertir flechas) a las álgebras asociativas unitarias. Los axiomas de álgebras asociativas unitarias se pueden formular en términos de diagramas conmutativos. Invirtiendo todas las flechas de los diagramas se obtienen los axiomas de coálgebras.

Toda coálgebra, por dualidad, da lugar a un álgebra, pero el recíproco no es cierto en general. En dimensión finita, la relación sí se cumple siempre en ambos sentidos.

Las coálgebras ocurren de manera natural en diferentes contextos (por ejemplo, en álgebras envolventes universales o en esquemas de grupo).

Existen también F-coálgebras, con importantes aplicaciones en ciencias de la computación.

Definición formalEditar

Formalmente, una coálgebra sobre un cuerpo K es un espacio vectorial C sobre K junto con unas aplicaciones K-lineales Δ: CCC y ε: CK tales que

  1.  
  2.  .

donde ⊗ se refiere al producto tensorial sobre K e id es la función identidad.

Esta condición es equivalente a que los siguientes diagramas conmuten:

En el primer diagrama identificamos C ⊗ (CC) con (CC) ⊗ C ya que ambos son naturalmente isomorfos.[1]​ De la misma forma, en el segundo diagrama se identifican los espacios naturalmente isomorfos C, CK y KC.[2]

El primer diagrama es el dual del que expresa la asociatividad de la multiplicación de álgebras, y se denomina coasociatividad de la comultiplicación. El segundo, es el dual del que expresa la existencia de una identidad multiplicativa. De esta forma, se dice que la aplicación Δ es la comultiplicación o coproducto de C y ε es la counidad de C.

EjemplosEditar

Tomemos un conjunto arbitrario S y formemos el K-espacio vectorial con base S. Los elementos de este espacio vectorial son las funciones de S en K que llevan todos los elementos S a cero excepto un número finito; identificamos el elemento s de S con la función que lleva s a 1 y el resto de elementos de S a 0. Denotaremos este espacio como C = K(S). Definimos

Δ(s) = ss y ε(s) = 1 para todo s en S.

Por linealidad, tanto Δ como ε pueden extenderse de forma única a todo C. El espacio vectorial C se convierte así en una coálgebra con comultiplicación Δ y counidad ε.

Como segundo ejemplo, se puede tomar el anillo de polinomios K[X] en una indeterminada X. Este se convierte en una coálgebra (la coálgebra de potencia dividida)[3][4]​ si para todo n ≥ 0 se define:

 
 

De nuevo por linealidad, con ello se definen Δ y ε con unicidad sobre todo K[X]. De esta forma K[X] es tanto un álgebra asociativa unitaria como una coálgebra, y las dos estructuras son compatibles. Los objetos como este se llaman biálgebras, y de hecho muchas de las coálgebras importantes que se consideran en la práctica son biálgebras. Estos ejemplos incluyen las álgebras de Hopf y las biálgebras de Lie.

Las álgebras tensoriales y las álgebras exteriores son otros ejemplos de coálgebras.

La homología singular de un espacio topológico forma una coálgebra graduada siempre que se cumpla el isomorfismo de Künneth, por ejemplo si los coeficientes se toman sobre un cuerpo.[5]

Si C es el K-espacio vectorial con base {s, c}, podemos considerar Δ: CCC dado por

Δ(s) = sc + cs
Δ(c) = ccss

y ε: CK dado por

ε(s) = 0
ε(c) = 1

En esta situación, (C, Δ, ε) es una coálgebra conocida como coálgebra trigonométrica.[6][4]

Dado un conjunto parcialmente ordenado localmente finito P con conjunto de intervalos J se puede definir la coálgebra de incidencia C con J como base y comultiplicación para x < z

 

Los intervalos de longitud cero se corresponden con puntos de P y forman un grupo.

Dimensión finitaEditar

En dimensión finita, la dualidad entre álgebras y coálgebras es más cercana: el dual de un álgebra asociativa unitaria de dimensión finita es una coálgebra, mientras que el dual de una coálgebra de dimensión finita es un álgebra asociativa unitaria. En general, el dual de un álgebra no tiene por qué ser una coálgebra.

La clave es que en dimensión finita, (AA) y AA son isomorfos.

La distinción está en que en general, álgebra y coálgebra son nociones duales (es decir, sus axiomas son duales en el sentido de invertir las flechas), mientras que para dimensión finita son objetos duales (en el sentido de que una coálgebra es el objeto dual de un álgebra y viceversa).

Si A es una K-álgebra asociativa unitaria de dimensión finita, entonces su K-dual A consistente en las aplicaciones K-lineales de A en K es una coálgebra. La multiplicación de A puede verse como una aplicación lineal AAA, que al pasar al dual lleva a una aplicación lineal A → (AA). En el caso de dimensión finita, (AA) es naturalmente isomorfo a AA, de forma que se tiene una comultiplicación en A. La counidad de A viene dada por la evaluación de funcionales lineales en 1.

Notación de SweedlerEditar

Al trabajar con coálgebras, una cierta notación para la comultiplicación simplifica las fórmulas considerablemente y es bastante popular. Dado un elemento c de la coálgebra (C, Δ, ε), existen elementos c(1)(i) y c(2)(i) en C tales que

 

En la notación de Sweedler, esto se abrevia en

 

El hecho de que ε sea una counidad se puede expresar con la siguiente fórmula

 

La coasociatividad de Δ se puede expresar como

 

En la notación de Sweedler, ambas expresiones se escriben como

 

Algunos autores omiten también los símbolos de sumatorio; en esta notación de Sweedler sin sumas, se expresan

 

y

 

Siempre que se encuentre una variable con subíndices entre paréntesis en una expresión de este tipo, lleva implícito un símbolo de sumatorio.

Otros conceptos y propiedadesEditar

Una coálgebra (C, Δ, ε) se dice coconmutativa si  , donde σ: CCCC es la aplicación K-lineal definida por σ(cd) = dc para todo c, d en C. En la notación de Sweedler sin sumas, C es coconmutativa si y solo si

 

para todo c en C. Es importante remarcar que la sumación implícita es significativa: no se requiere que los sumandos sean iguales dos a dos, solo que las sumas sean iguales, una condición mucho más débil.

Un elemento de grupo es un elemento x tal que Δ(x) = xx y ε(x) = 1. Un elemento primitivo x satisface Δ(x) = x ⊗ 1 + 1 ⊗ x.[7][8]

Si (C1, Δ1, ε1) y (C2, Δ2, ε2) son dos coálgebras sobre el mismo cuerpo K, entonces un morfismo de coálgebras de C1 en C2 es una aplicación K-lineal f : C1C2 tal que  y  . En la notación de Sweedler sin sumas, la primera de estas propiedades se escribe de la forma

 

La composición de dos morfismos de coálgebras es de nuevo un morfismo de coálgebras, y las coálgebras sobre K junto con esta noción de morfismo forman una categoría.

Un subespacio lineal I en C se dice coideal si I ⊆ ker(ε) y Δ(I) ⊆ IC + CI. En este caso, el espacio cociente C/I toma estructura de coálgebra de forma natural.

Un subespacio D de C se dice una subcoálgebra si Δ(D) ⊆ DD; en este caso, D es también una coálgebra, con la restricción de ε a D como counidad.

El núcleo de todo morfismo de coálgebras f : C1C2 es un coideal en C1, y la imagen es una subcoálgebra de C2. Los teoremas de isomorfía habituales son válidos para coálgebras, de forma que por ejemplo C1/ker(f) es isomorfo a im(f).

Si A es una K-álgebra asociativa unitaria de dimensión finita, entonces A es una coálgebra de dimensión finita, y de hecho toda coálgebra de dimensión finita surge de esta forma de un álgebra de dimensión finita (en particular del K-dual de la coálgebra). Bajo esta correspondencia, las álgebras conmutativas de dimensión finita se corresponden con las coálgebras coconmutativas de dimensiókn finita. Así, en el caso de dimensión finita, las teorías de álgebras y coálgebras son duales; estudiar una es equivalente a estudiar la otra. Sin embargo, las relaciones divergen en el caso de dimensión infinita: mientras que el K-dual de toda coálgebra es un álgebra, el K-dual de un álgebra de dimensión infinita no tiene por qué ser una coálgebra.

Toda coálgebra es suma de sus subcoálgebras de dimensión finita, algo que no es cierto para álgebras. De forma abstracta, las coálgebras son generalizaciones duales de las álgebras asociativas unitarias de dimensión finita.

Correspondiendo al concepto de representación para álgebras está el de correpresentación de comódulos.

Véase tambiénEditar

ReferenciasEditar

  1. Yokonuma (1992). Prop. 1.7. p. 12.  1.7. p. 12. 
  2. Yokonuma (1992). Prop. 1.4. p. 10.  1.4. p. 10. 
  3. Dăscălescu, Năstăsescu & Raianu (2001). Hopf Algebras: An introduction. p. 3.  
  4. a b Coalgebras from Formulas
  5. «Lecture notes for reference». Archivado desde el original el 24 de febrero de 2012. Consultado el 27 de agosto de 2018. 
  6. Dăscălescu, Năstăsescu & Raianu (2001). Hopf Algebras: An introduction. p. 4 y 55. 
  7. Mikhalev, Aleksandr Vasilʹevich, ed. (2002). The Concise Handbook of Algebra. Springer-Verlag. p. 307, C.42. ISBN 0792370724. 
  8. Abe, Eiichi (2004). Hopf Algebras 74. Cambridge University Press. p. 59. ISBN 0-521-60489-3. 

Bibliografía adicionalEditar

Enlaces externosEditar