stringtranslate.com

Álgebra de Hopf

En matemáticas , un álgebra de Hopf , llamada así por Heinz Hopf , es una estructura que es simultáneamente un álgebra (asociativa unitaria ) y una coalgebra (coasociativa counital) , siendo la compatibilidad de estas estructuras una biálgebra , y que además está dotada de un antihomomorfismo que satisface una determinada propiedad. La teoría de la representación de un álgebra de Hopf es particularmente interesante, ya que la existencia de comultiplicación, counit y antípoda compatibles permite la construcción de productos tensoriales de representaciones, representaciones triviales y representaciones duales.

Las álgebras de Hopf aparecen de forma natural en la topología algebraica , donde se originaron y están relacionadas con el concepto de espacio H , en la teoría de esquemas de grupos , en la teoría de grupos (a través del concepto de anillo de grupos ) y en muchos otros lugares, lo que las convierte probablemente en el tipo más conocido de biálgebra . Las álgebras de Hopf también se estudian por derecho propio, con mucho trabajo sobre clases específicas de ejemplos por un lado y problemas de clasificación por el otro. Tienen diversas aplicaciones que van desde la física de la materia condensada y la teoría cuántica de campos [1] hasta la teoría de cuerdas [2] y la fenomenología del LHC . [3]

Definición formal

Formalmente, un álgebra de Hopf es una biálgebra (asociativa y coasociativa) H sobre un cuerpo K junto con una función K -lineal S : HH (llamada antípoda ) tal que el siguiente diagrama conmuta :

diagrama conmutativo antípoda

Aquí Δ es la comultiplicación de la biálgebra, ∇ su multiplicación, η su unidad y ε su counidad. En la notación de Sweedler sin suma , esta propiedad también se puede expresar como

En cuanto a las álgebras , se puede reemplazar el campo subyacente K con un anillo conmutativo R en la definición anterior. [4]

La definición del álgebra de Hopf es autodual (como se refleja en la simetría del diagrama anterior), por lo que si uno puede definir un dual de H (lo cual siempre es posible si H es de dimensión finita), entonces automáticamente es un álgebra de Hopf. [5]

Constantes de estructura

Fijando una base para el espacio vectorial subyacente, se puede definir el álgebra en términos de constantes de estructura para la multiplicación:

para co-multiplicación:

y la antípoda:

La asociatividad requiere entonces que

Mientras que la coasociatividad requiere que

El axioma de conexión requiere que

Propiedades del antípoda

A veces se requiere que el antípoda S tenga una inversa K -lineal, lo que es automático en el caso de dimensión finita [ aclaración necesaria ] , o si H es conmutativo o co-conmutativo (o más generalmente cuasitrianguloso ).

En general, S es un antihomomorfismo , [6] por lo que S 2 es un homomorfismo , que por lo tanto es un automorfismo si S fuera invertible (como puede requerirse).

Si S 2 = id H , entonces se dice que el álgebra de Hopf es involutiva (y el álgebra subyacente con involución es un *-álgebra ). Si H es semisimple de dimensión finita sobre un cuerpo de característica cero, conmutativa o co-conmutativa, entonces es involutiva.

Si una biálgebra B admite un antípoda S , entonces S es única ("una biálgebra admite como máximo 1 estructura de álgebra de Hopf"). [7] Por lo tanto, la antípoda no plantea ninguna estructura extra que podamos elegir: Ser un álgebra de Hopf es una propiedad de una biálgebra.

El antípoda es un análogo del mapa de inversión en un grupo que envía g a g −1 . [8]

Subálgebras de Hopf

Una subálgebra A de un álgebra de Hopf H es una subálgebra de Hopf si es una subcoálgebra de H y el antípoda S mapea A en A . En otras palabras, una subálgebra de Hopf A es un álgebra de Hopf por derecho propio cuando la multiplicación, comultiplicación, counit y antípoda de H están restringidas a A (y además se requiere que la identidad 1 de H esté en A). El teorema de libertad de Nichols-Zoeller de Warren Nichols y Bettina Zoeller (1989) estableció que el A -módulo natural H está libre de rango finito si H es de dimensión finita: una generalización del teorema de Lagrange para subgrupos . [9] Como corolario de esto y de la teoría integral, una subálgebra de Hopf de un álgebra de Hopf de dimensión finita semisimple es automáticamente semisimple.

Se dice que una subálgebra de Hopf A es normal por la derecha en un álgebra de Hopf H si satisface la condición de estabilidad, ad r ( h )( A ) ⊆ A para todo h en H , donde la aplicación adjunta por la derecha ad r está definida por ad r ( h )( a ) = S ( h (1) ) ah (2) para todo a en A , h en H . De manera similar, una subálgebra de Hopf A es normal por la izquierda en H si es estable bajo la aplicación adjunta por la izquierda definida por ad l ( h )( a ) = h (1) aS ( h (2) ). Las dos condiciones de normalidad son equivalentes si el antípoda S es biyectivo, en cuyo caso se dice que A es una subálgebra de Hopf normal.

Una subálgebra de Hopf normal A en H satisface la condición (de igualdad de subconjuntos de H): HA + = A + H donde A + denota el núcleo de la counidad en A. Esta condición de normalidad implica que HA + es un ideal de Hopf de H (es decir, un ideal de álgebra en el núcleo de la counidad, un coideal de coalgebra y estable bajo el antípoda). Como consecuencia, se tiene un álgebra de Hopf cociente H / HA + y un epimorfismo HH / A + H , una teoría análoga a la de los subgrupos normales y los grupos cociente en la teoría de grupos . [10]

Órdenes de Hopf

Un orden de Hopf O sobre un dominio integral R con un cuerpo de fracciones K es un orden en un álgebra de Hopf H sobre K que está cerrado bajo las operaciones del álgebra y coalgebra: en particular, la comultiplicación Δ asigna O a OO . [11]

Elementos similares a grupos

Un elemento similar a un grupo es un elemento x distinto de cero tal que Δ( x ) = xx . Los elementos similares a un grupo forman un grupo con inversa dada por el antípoda. [12] Un elemento primitivo x satisface Δ( x ) = x ⊗1 + 1⊗ x . [13] [14]

Ejemplos

Tenga en cuenta que las funciones de un grupo finito se pueden identificar con el anillo del grupo, aunque es más natural pensar en ellas como duales: el anillo del grupo consta de sumas finitas de elementos y, por lo tanto, se empareja con funciones del grupo evaluando la función en los elementos sumados.

Cohomología de los grupos de Lie

El álgebra de cohomología (sobre un cuerpo ) de un grupo de Lie es un álgebra de Hopf: la multiplicación la proporciona el producto de copa , y la comultiplicación

por la multiplicación de grupos . Esta observación fue en realidad una fuente de la noción de álgebra de Hopf. Utilizando esta estructura, Hopf demostró un teorema de estructura para el álgebra de cohomología de los grupos de Lie.

Teorema (Hopf) [18] Sea un álgebra de Hopf conmutativa graduada y co-conmutativa graduada de dimensión finita sobre un cuerpo de característica 0. Entonces (como álgebra) es un álgebra exterior libre con generadores de grado impar.

Grupos cuánticos y geometría no conmutativa

La mayoría de los ejemplos anteriores son conmutativos (es decir, la multiplicación es conmutativa ) o co-conmutativos (es decir, [19] Δ = T ∘ Δ donde la función de torsión [20] T : HHHH se define por T ( xy ) = yx ). Otras álgebras de Hopf interesantes son ciertas "deformaciones" o " cuantificaciones " de las del ejemplo 3 que no son ni conmutativas ni co-conmutativas. Estas álgebras de Hopf a menudo se denominan grupos cuánticos , un término que hasta ahora solo está definido de forma vaga. Son importantes en geometría no conmutativa , la idea es la siguiente: un grupo algebraico estándar está bien descrito por su álgebra de Hopf estándar de funciones regulares; Podemos entonces pensar en la versión deformada de esta álgebra de Hopf como la descripción de un cierto grupo algebraico "no estándar" o "cuantizado" (que no es un grupo algebraico en absoluto). Si bien no parece haber una manera directa de definir o manipular estos objetos no estándar, uno puede trabajar con sus álgebras de Hopf y, de hecho, identificarlos con sus álgebras de Hopf. De ahí el nombre de "grupo cuántico".

Teoría de la representación

Sea A un álgebra de Hopf, y sean M y N módulos A. Entonces, MN también es un módulo A , con

para mM , nN y Δ( a ) = ( a 1 , a 2 ). Además, podemos definir la representación trivial como el cuerpo base K con

para mK . Finalmente, se puede definir la representación dual de A : si M es un módulo A y M* es su espacio dual, entonces

donde fM* y mM .

La relación entre Δ, ε y S asegura que ciertos homomorfismos naturales de espacios vectoriales son de hecho homomorfismos de módulos A. Por ejemplo, los isomorfismos naturales de espacios vectoriales MMK y MKM también son isomorfismos de módulos A. Además, la función de espacios vectoriales M*MK con fmf ( m ) también es un homomorfismo de módulos A. Sin embargo, la función MM*K no es necesariamente un homomorfismo de módulos A.

Conceptos relacionados

Las álgebras de Hopf graduadas se utilizan a menudo en topología algebraica : son la estructura algebraica natural de la suma directa de todos los grupos de homología o cohomología de un H-espacio .

Los grupos cuánticos localmente compactos generalizan las álgebras de Hopf y tienen una topología . El álgebra de todas las funciones continuas en un grupo de Lie es un grupo cuántico localmente compacto.

Las álgebras cuasi-Hopf son generalizaciones de las álgebras de Hopf, donde la coasociatividad sólo se sostiene con un giro. Se han utilizado en el estudio de las ecuaciones de Knizhnik-Zamolodchikov . [21]

Las álgebras de Hopf multiplicadoras introducidas por Alfons Van Daele en 1994 [22] son ​​generalizaciones de las álgebras de Hopf donde la comultiplicación de un álgebra (con o sin unidad) al álgebra multiplicadora es el álgebra del producto tensorial del álgebra consigo misma.

Las (co)álgebras de grupo de Hopf introducidas por VG Turaev en 2000 también son generalizaciones de las álgebras de Hopf.

Álgebras de Hopf débiles

Las álgebras de Hopf débiles , o grupoides cuánticos, son generalizaciones de las álgebras de Hopf. Al igual que las álgebras de Hopf, las álgebras de Hopf débiles forman una clase autodual de álgebras; es decir, si H es un álgebra de Hopf (débil), también lo es H *, el espacio dual de formas lineales en H (con respecto a la estructura álgebra-coálgebra obtenida del emparejamiento natural con H y su estructura coálgebra-álgebra). Un álgebra de Hopf débil H suele tomarse como una

para todos a , b y c en H .
  1. para todo a en H (el lado derecho es la proyección interesante usualmente denotada por Π R ( a ) o ε s ( a ) con imagen una subálgebra separable denotada por H R o H s );
  2. para todo a en H (otra proyección interesante usualmente denotada por Π R ( a ) o ε t ( a ) con imagen de un álgebra separable H L o H t , antiisomorfa a H L vía S );
  3. para todo a en H .
Nótese que si Δ(1) = 1 ⊗ 1, estas condiciones se reducen a las dos condiciones habituales en la antípoda de un álgebra de Hopf.

Los axiomas se eligen en parte de modo que la categoría de módulos H sea una categoría monoidal rígida . El módulo H unitario es el álgebra separable H L mencionada anteriormente.

Por ejemplo, un álgebra grupoide finita es un álgebra de Hopf débil. En particular, el álgebra grupoide en [n] con un par de flechas invertibles e ij y e ji entre i y j en [ n ] es isomorfa al álgebra H de matrices n x n . La estructura del álgebra de Hopf débil en esta H particular está dada por el coproducto Δ( e ij ) = e ije ij , counit ε( e ij ) = 1 y antípoda S ( e ij ) = e ji . Las subálgebras separables H L y H R coinciden y son álgebras conmutativas no centrales en este caso particular (la subálgebra de matrices diagonales).

Las primeras contribuciones teóricas a las álgebras de Hopf débiles se encuentran en [23] así como en [24].

Algebroides de Hopf

Véase algebroide de Hopf

Analogía con los grupos

Los grupos se pueden axiomatizar mediante los mismos diagramas (o, lo que es lo mismo, operaciones) que un álgebra de Hopf, donde G se toma como un conjunto en lugar de un módulo. En este caso:

En esta filosofía, un grupo puede considerarse como un álgebra de Hopf sobre el " campo con un elemento ". [25]

Álgebras de Hopf en categorías monoidales trenzadas

La definición del álgebra de Hopf se extiende naturalmente a categorías monoidales trenzadas arbitrarias . [26] [27] Un álgebra de Hopf en dicha categoría es un séxtuple donde es un objeto en , y

(multiplicación),
(unidad),
(comultiplicación),
(cuenta),
(antípoda)

— son morfismos tales que

1) el triple es un monoide de categoría monoidal , es decir, los siguientes diagramas son conmutativos: [b]

monoide en una categoría monoidal

2) el triple es un comonoide de categoría monoidal , es decir, los siguientes diagramas son conmutativos: [b]

comonoide en una categoría monoidal

3) las estructuras de monoide y comonoide son compatibles: la multiplicación y la unidad son morfismos de comonoides, y (esto es equivalente en esta situación) al mismo tiempo la comultiplicación y la counit son morfismos de monoides; esto significa que los siguientes diagramas deben ser conmutativos:

coherencia entre multiplicación y comultiplicación

Unidad y conteo en biálgebras

Unidad y conteo en biálgebras

donde es el morfismo unitario izquierdo en , y la transformación natural de funtores que es única en la clase de transformaciones naturales de funtores compuestas a partir de las transformaciones estructurales (asociatividad, unidades izquierda y derecha, transposición y sus inversas) en la categoría .

La quíntuple con las propiedades 1),2),3) se llama biálgebra en la categoría ;


4) El diagrama del antípoda es conmutativo:

Unidad y conteo en biálgebras

Los ejemplos típicos son los siguientes.

Véase también

Notas y referencias

Notas

  1. ^ La finitud de G implica que K GK G es naturalmente isomorfo a K G x G . Esto se utiliza en la fórmula anterior para la comultiplicación. Para grupos infinitos G , K GK G es un subconjunto propio de K G x G . En este caso, el espacio de funciones con soporte finito puede dotarse de una estructura de álgebra de Hopf.
  2. ^ ab Aquí , , son las transformaciones naturales de la asociatividad y de las unidades izquierda y derecha en la categoría monoidal .

Citas

  1. ^ Haldane, FDM; Ha, ZNC; Talstra, JC; Bernard, D.; Pasquier, V. (1992). "Simetría yangiana de cadenas cuánticas integrables con interacciones de largo alcance y una nueva descripción de estados en la teoría de campos conformes". Physical Review Letters . 69 (14): 2021–2025. Bibcode :1992PhRvL..69.2021H. doi :10.1103/physrevlett.69.2021. PMID  10046379.
  2. ^ Plefka, J.; Spill, F.; Torrielli, A. (2006). "Estructura del álgebra de Hopf de la matriz S de AdS/CFT". Physical Review D . 74 (6): 066008. arXiv : hep-th/0608038 . Código Bibliográfico :2006PhRvD..74f6008P. doi :10.1103/PhysRevD.74.066008. S2CID  2370323.
  3. ^ Abreu, Samuel; Britto, Ruth ; Duhr, Claude; Gardi, Einan (2017-12-01). "Álgebra de Hopf diagramática de integrales de Feynman cortadas: el caso de un bucle". Journal of High Energy Physics . 2017 (12): 90. arXiv : 1704.07931 . Bibcode :2017JHEP...12..090A. doi :10.1007/jhep12(2017)090. ISSN  1029-8479. S2CID  54981897.
  4. ^ Underwood 2011, pág. 55
  5. ^ Underwood 2011, pág. 62
  6. ^ Dăscălescu, Năstăsescu y Raianu (2001). "Proposición 4.2.6". Álgebra de Hopf: una introducción. pag. 153.
  7. ^ Dăscălescu, Năstăsescu y Raianu (2001). "Observaciones 4.2.3". Álgebra de Hopf: una introducción. pag. 151.
  8. ^ Notas de clase sobre grupos cuánticos
  9. ^ Nichols, Warren D.; Zoeller, M. Bettina (1989), "Un teorema de libertad del álgebra de Hopf", American Journal of Mathematics , 111 (2): 381–385, doi :10.2307/2374514, JSTOR  2374514, MR  0987762
  10. ^ Montgomery 1993, pág. 36
  11. ^ Underwood 2011, pág. 82
  12. ^ Hazewinkel, Michiel; Gubareni, Nadezhda Mikhaĭlovna; Kirichenko, Vladimir V. (2010). Álgebras, anillos y módulos: álgebras de Lie y álgebras de Hopf . Encuestas y monografías matemáticas. Vol. 168. American Mathematical Society . pág. 149. ISBN. 978-0-8218-7549-0.
  13. ^ Mikhalev, Aleksandr Vasil'evich; Pilz, Günter, eds. (2002). El manual conciso de álgebra . Springer-Verlag . pag. 307, C.42. ISBN 978-0792370727.
  14. ^ Abe, Eiichi (2004). Álgebras de Hopf . Cambridge Tracts in Mathematics. Vol. 74. Cambridge University Press . pág. 59. ISBN. 978-0-521-60489-5.
  15. ^ Hochschild, G (1965), Estructura de los grupos de Lie , Holden-Day, págs. 14-32
  16. ^ Jantzen, Jens Carsten (2003), Representaciones de grupos algebraicos , Mathematical Surveys and Monographs, vol. 107 (2.ª ed.), Providence, RI: American Mathematical Society , ISBN 978-0-8218-3527-2, sección 2.3
  17. ^ Véase Hazewinkel, Michiel (enero de 2003). "Funciones simétricas, funciones simétricas no conmutativas y funciones cuasisimétricas". Acta Applicandae Mathematicae . 75 (1–3): 55–83. arXiv : math/0410468 . doi :10.1023/A:1022323609001. S2CID  189899056.
  18. ^ Hopf, Heinz (1941). "Über die Topologie der Gruppen – Mannigfaltigkeiten und ihre Verallgemeinerungen". Ana. de Matemáticas . 2 (en alemán). 42 (1): 22–52. doi :10.2307/1968985. JSTOR  1968985.
  19. ^ Underwood 2011, pág. 57
  20. ^ Underwood 2011, pág. 36
  21. ^ Montgomery 1993, pág. 203
  22. ^ Van Daele, Alfons (1994). "Álgebras de Hopf multiplicadoras" (PDF) . Transactions of the American Mathematical Society . 342 (2): 917–932. doi : 10.1090/S0002-9947-1994-1220906-5 .
  23. ^ Böhm, Gabriella; Nill, Florián; Szlachanyi, Kornel (1999). "Álgebras de Hopf débiles". J. Álgebra . 221 (2): 385–438. arXiv : matemáticas/9805116 . doi :10.1006/jabr.1999.7984. S2CID  14889155.
  24. ^ Nikshych, Dmitri; Vainerman, Leonid (2002). "Grupoides finitos y sus aplicaciones". En Montgomery, S.; Schneider, H.-J. (eds.). Nuevas direcciones en álgebras de Hopf . Vol. 43. Cambridge: MSRI Publications. págs. 211–262. ISBN 9780521815123.
  25. ^ Grupo = Álgebra de Hopf « Seminario de blogs secretos, Objetos de grupo y álgebras de Hopf, vídeo de Simon Willerton.
  26. ^ Turaev y Virelizier 2017, 6.2.
  27. ^ Akbarov 2009, pág. 482.
  28. ^Por Akbarov 2003, 10.3.
  29. ^ Akbarov 2009.

Referencias