Operad


De Wikipedia, la enciclopedia libre
  (Redirigido de la teoría de Operad )
Saltar a navegación Saltar a búsqueda

En matemáticas , un operado se ocupa de álgebras prototípicas que modelan propiedades tales como conmutatividad o anticomutatividad , así como diversas cantidades de asociatividad . Las óperas generalizan las diversas propiedades de asociatividad ya observadas en álgebras y coalgebras como las álgebras de Lie o las álgebras de Poisson modelando árboles computacionales dentro del álgebra. Las álgebras son para las operadas como las representaciones de grupo para los grupos . Una operad puede verse como un conjunto de operaciones, cada uno con un número finito fijo de entradas (argumentos) y una salida, que se pueden componer una con otras. Forman un análogo de teoría de categorías del álgebra universal . [ dudoso ]

Historia

Las óperas se originan en la topología algebraica del estudio de espacios de bucle iterado por J. Michael Boardman y Rainer M. Vogt , [1] [2] y J. Peter May . [3] La palabra "operad" fue creada por May como un acrónimo de "operaciones" y " mónada " (y también porque su madre era cantante de ópera). [4] El interés por las operadas se renovó considerablemente a principios de los 90 cuando, basándose en las primeras ideas de Maxim Kontsevich , Victor Ginzburg y Mikhail Kapranov descubrieron que cierta dualidadLos fenómenos en la teoría de la homotopía racional podrían explicarse utilizando la dualidad de operadas de Koszul. [5] [6] Desde entonces, los operads han encontrado muchas aplicaciones, como en la cuantificación de la deformación de las variedades de Poisson , la conjetura de Deligne , [7] o la homología de grafos en el trabajo de Maxim Kontsevich y Thomas Willwacher .

Definición

Operado no simétrico

Un operado no simétrico (a veces llamado operado sin permutaciones , o un operado simple o no ) consiste en lo siguiente:

  • una secuencia de conjuntos, cuyos elementos se denominan operaciones -ary ,
  • un elemento de llamada identidad ,
  • para todos los enteros positivos , una composición de la función

satisfaciendo los siguientes axiomas de coherencia:

  • identidad :
  • asociatividad :

(el número de argumentos corresponde a las aridades de las operaciones).

Operado simétrico

Un operad simétrico (a menudo simplemente llamado operad ) es un operad no simétrico como el anterior, junto con una acción correcta del grupo simétrico en , que satisface los axiomas asociativos e identitarios anteriores, así como

  • equivariancia : permutaciones dadas ,

(donde por abuso de notación , en el lado derecho de la primera relación de equivariancia está el elemento de que actúa sobre el conjunto dividiéndolo en bloques, el primero de tamaño , el segundo de tamaño , hasta el bloque de tamaño th , y luego permuta estos bloques por ).

Las acciones de permutación en esta definición son vitales para la mayoría de las aplicaciones, incluida la aplicación original para los espacios de bucle.

Morfismos

Un morfismo de operadas consta de una secuencia

ese:

  • conserva la identidad:
  • conserva la composición: para cada n -operación y operaciones ,
  • preserva las acciones de permutación: .

Por tanto, las óperas forman una categoría denotada por .

En otras categorias

Hasta ahora, las operadas solo se han considerado en la categoría de conjuntos. De hecho, es posible definir operados en cualquier categoría monoidal simétrica (o, para operados no simétricos, cualquier categoría monoidal ).

Un ejemplo común estaría dado por la categoría de espacios topológicos , con el producto monoidal dado por el producto cartesiano . En este caso, un operado topológico viene dado por una secuencia de espacios (en lugar de conjuntos) . Los mapas de estructura de los operados (la composición y las acciones de los grupos simétricos) deben suponerse entonces que son continuos. El resultado se denomina operado topológico . De manera similar, en la definición de un morfismo, sería necesario asumir que los mapas involucrados son continuos.

Otras configuraciones comunes para definir operadas incluyen, por ejemplo, módulo sobre un anillo , complejos de cadenas , agrupaciones (o incluso la propia categoría de categorías), coalgebras , etc.

Definición algebraísta

Por definición, un álgebra asociativa sobre un anillo conmutativo R es un objeto monoid en la categoría monoidal de módulos más de R . Esta definición se puede ampliar para dar una definición de un operado: es decir, un operado sobre R es un objeto monoide en la categoría monoidal de endofunctores en (es una mónada ) que satisface alguna condición de finitud. [nota 1]

Por ejemplo, un objeto monoide en la categoría de functores polinomiales es un operado. [7] De manera similar, un operado simétrico se puede definir como un objeto monoide en la categoría de objetos . [8] Un objeto monoide en la categoría de especies combinatorias es un operado en conjuntos finitos. S {\displaystyle \mathbb {S} }

Un operado en el sentido anterior a veces se considera un anillo generalizado . Por ejemplo, Nikolai Durov define su anillo generalizado como un objeto monoide en la categoría monoidal de endofuctores que conmuta con colimit filtrado. [9] Es una generalización de un anillo, ya que cada anillo ordinario R define una mónada que envía un conjunto X a la libre R -módulo generado por X . R ( X ) {\displaystyle R^{(X)}}

Entendiendo los axiomas

Axioma de asociatividad

"Asociatividad" significa que la composición de las operaciones es asociativa (la función es asociativa), análoga al axioma en la teoría de categorías que ; sí no significa que las operaciones mismos son asociativos como operaciones. Compare con el operad asociativo , a continuación.

La asociatividad en la teoría operada significa que se pueden escribir expresiones que involucran operaciones sin ambigüedad de las composiciones omitidas, al igual que la asociatividad para operaciones permite que los productos se escriban sin ambigüedad de los paréntesis omitidos.

Por ejemplo, si es una operación binaria, que se escribe como o . Entonces eso puede ser asociativo o no.

Entonces, lo que se escribe comúnmente se escribe de manera inequívoca operativamente como . Esto envía a (aplicar en los dos primeros y la identidad en el tercero), y luego el de la izquierda "multiplica" por . Esto es más claro cuando se representa como un árbol:

que produce una operación tripartita:

Sin embargo, la expresión es a priori ambigua: podría significar , si las composiciones internas se realizan primero, o podría significar , si las composiciones externas se realizan primero (las operaciones se leen de derecha a izquierda). Escribir , esto es versus . Es decir, al árbol le faltan "paréntesis verticales":

Si las dos filas superiores de operaciones se componen primero (pone un paréntesis hacia arriba en la línea; la composición interna primero), los siguientes resultados:

que luego evalúa sin ambigüedades para producir una operación 4-aria. Como expresión anotada:

Si las dos filas inferiores de operaciones se componen primero (pone un paréntesis hacia abajo en la línea; la composición externa primero), los siguientes resultados:

que luego evalúa sin ambigüedades para producir una operación 4-aria:

El axioma operado de asociatividad es que estos producen el mismo resultado y, por lo tanto, la expresión es inequívoca.

Axioma de identidad

El axioma de identidad (para una operación binaria) se puede visualizar en un árbol como:

lo que significa que las tres operaciones obtenidas son iguales: pre o postcomponer con la identidad no hace ninguna diferencia. En cuanto a categorías, es un corolario del axioma de identidad.

Ejemplos de

Endomorfismo operado

Sea V un espacio vectorial de dimensión finita sobre un campo k . Entonces el endomorfismo operado de V consta de [10]

  1. = el espacio de mapas lineales ,
  2. (composición) ,
  3. (identidad)
  4. (acción de grupo simétrico)

Si es otro operado, cada morfismo operado se llama álgebra operada (observe que esto es análogo al hecho de que cada estructura de módulo R en un grupo abeliano M equivale a un homomorfismo de anillo ).

Dependiendo de las aplicaciones, son posibles variaciones de lo anterior: por ejemplo, en topología algebraica, en lugar de espacios vectoriales y productos tensoriales entre ellos, se utilizan espacios topológicos (razonables) y productos cartesianos entre ellos.

Operads de "algo pequeño"

Composición ópera en los pequeños 2 discos operados .
Composición ópera en la operad de simetrías.

Unos pequeños discos operados o bolitas operadas o, más específicamente, los pequeños n-discos operados es un operado topológico definido en términos de configuraciones de discos n- dimensionales disjuntos dentro de una unidad n- disco centrada en el origen de R n . La composición operativa para pequeños 2 discos se ilustra en la figura. [11] [ aclaración necesaria ]

Originalmente, los pequeños n-cubos operados o los pequeños intervalos operados (inicialmente llamados pequeños n- cubos PROP ) fueron definidos por Michael Boardman y Rainer Vogt de una manera similar, en términos de configuraciones de hipercubos n- dimensionales alineados con ejes disjuntos (n- intervalos dimensionales ) dentro del hipercubo de la unidad . [12] Posteriormente se generalizó en mayo [13] a pequeños cuerpos convexos operados , y "pequeños discos" es un caso de "folklore" derivado de los "pequeños cuerpos convexos". [14]

Operado con queso suizo

El queso suizo funcionó .

El operad de queso suizo es un operad topológico de dos colores definido en términos de configuraciones de discos n- dimensionales disjuntos dentro de una unidad n- semidisco y semidiscos n -dimensionales, centrados en la base del semidisco y ubicados dentro de la unidad semidisco. La composición operativa proviene de pegar configuraciones de "pequeños" discos dentro del disco unitario en los "pequeños" discos en otra unidad semidisco y configuraciones de "pequeños" discos y semidiscos dentro de la unidad semidisco en la otra unidad semidisco.

La operación de queso suizo fue definida por Alexander A. Voronov . [15] Fue utilizado por Maxim Kontsevich para formular una versión de queso suizo de la conjetura de Deligne sobre la cohomología de Hochschild. [16] La conjetura de Kontsevich fue probada en parte por Po Hu , Igor Kriz y Alexander A. Voronov [17] y luego completamente por Justin Thomas . [18]

Operado asociativo

Otra clase de ejemplos de operadas son las que capturan las estructuras de estructuras algebraicas, como álgebras asociativas, álgebras conmutativas y álgebras de Lie. Cada uno de estos se puede exhibir como un operad presentado finitamente, en cada uno de estos tres generados por operaciones binarias.

Por lo tanto, la operación asociativa es generada por una operación binaria , sujeta a la condición de que

Esta condición hace corresponden a la asociatividad de la operación binaria ; escribiendo multiplicativamente, la condición anterior es . Esta asociatividad de la operación no debe confundirse con asociatividad de composición ; ver el axioma de asociatividad , arriba.

Este operad es el terminal en la categoría de operads no simétricas, ya que tiene exactamente un n operación ary para cada n, que corresponde al producto inequívoca de n términos: . Por esta razón, los teóricos de la categoría a veces lo escriben como 1 (por analogía con el conjunto de un punto, que es terminal en la categoría de conjuntos).

Terminal simétrico operado

El operado simétrico terminal es el operado cuyas álgebras son monoides conmutativos, que también tiene una operación n -aria para cada n , y cada uno actúa trivialmente; esta trivialidad corresponde a la conmutatividad, y cuya n -operación es el producto inequívoco de n- términos, donde el orden no importa:

para cualquier permutación .

Operadas de los grupos simétrico y trenzado

Hay un operad para el cual cada uno viene dado por el grupo simétrico . El compuesto permuta sus entradas en bloques de acuerdo con y dentro de los bloques de acuerdo con el apropiado . Del mismo modo, hay un no operado para el que cada uno viene dado por el grupo de trenzas Artin . Además, este no operado tiene la estructura de un operado trenzado, lo que generaliza la noción de un operado de simétrico a grupos trenzados.

Álgebra lineal

En álgebra lineal , los espacios vectoriales pueden considerarse álgebras sobre el operado (la suma directa infinita , por lo que solo un número finito de términos son distintos de cero; esto corresponde a tomar solo sumas finitas), lo que parametriza combinaciones lineales : el vector, por ejemplo, corresponde a la combinación lineal

De manera similar, combinaciones afines , combinaciones cónicas , y combinaciones convexas puede considerarse que corresponden a las sub-operads donde los términos de suma de 1, los términos son todos no negativo, o ambos, respectivamente. Gráficamente, estos son el hiperplano afín infinito, el hiper-octante infinito y el simplex infinito. Esto formaliza lo que se entiende por ser o el simplex estándar siendo espacios modelo, y observaciones como que cada politopo convexo acotado es la imagen de un simplex. Aquí los suboperads corresponden a operaciones más restringidas y, por lo tanto, a teorías más generales.

Este punto de vista formaliza la noción de que las combinaciones lineales son el tipo más general de operación en un espacio vectorial; decir que un espacio vectorial es un álgebra sobre el operado de combinaciones lineales es precisamente la afirmación de que todas las operaciones algebraicas posibles en un espacio vectorial son combinaciones lineales. Las operaciones básicas de suma vectorial y multiplicación escalar son un conjunto generador para el funcionamiento de todas las combinaciones lineales, mientras que las combinaciones lineales operadas codifican canónicamente todas las operaciones posibles en un espacio vectorial.

Operado por anillo conmutativo

El operado de anillo conmutativo es un operado cuyas álgebras son anillos conmutativos (quizás sobre algún campo base). El Koszul-dual de ella es la Mentira operada y viceversa.

Construye

Las construcciones algebraicas típicas (por ejemplo, construcción de álgebra libre) se pueden extender a operados. Sea C una categoría de módulo utilizada en la definición de un operado; por ejemplo, puede ser la categoría de -módulos para operados simétricos.

Operado libre

Está el functor olvidadizo . El functor operad libre se define como un adjunto izquierdo al functor olvidadizo (esta es la definición habitual de functor libre ). Como un grupo o un anillo, la construcción libre permite expresar un operado en términos de generadores y relaciones. Por representación libre de un operado , nos referimos a la escritura como cociente de un operado libre generado por un módulo E : entonces E es el generador de y el núcleo de es la relación.

Un operado (simétrico) se llama cuadrático si tiene una presentación libre tal que es el generador y la relación está contenida en . [19]

Operadas en la teoría de la homotopía

En Stasheff (2004) [ se necesita una cita completa ] , Stasheff escribe:

Las óperas son particularmente importantes y útiles en categorías con una buena noción de "homotopía", donde juegan un papel clave en la organización de jerarquías de homotopías superiores.

Ver también

  • PRO (teoría de categorías)
  • Álgebra sobre un operad
  • Operado de orden superior
  • E∞-operado
  • Pseudoálgebra
  • Multicategoría

Notas

  1. ^ ”Finitud” se refiere al hecho de que solo se permite un número finito de entradas en la definición de un operado. Por ejemplo, la condición se satisface si se puede escribir
    ,
    .

Citas

  1. ^ Boardman, JM ; Vogt, RM (1 de noviembre de 1968). "Homotopía-todo $ H $ -espacios" . Boletín de la American Mathematical Society . 74 (6): 1117–1123. doi : 10.1090 / S0002-9904-1968-12070-1 . ISSN  0002-9904 .
  2. ^ Boardman, JM ; Vogt, RM (1973). Estructuras algebraicas invariantes de homotopía en espacios topológicos . Apuntes de clase en matemáticas. 347 . doi : 10.1007 / bfb0068547 . ISBN 978-3-540-06479-4. ISSN  0075-8434 .
  3. ^ Mayo, JP (1972). La geometría de los espacios de bucle iterados . Apuntes de clase en matemáticas. 271 . CiteSeerX 10.1.1.146.3172 . doi : 10.1007 / bfb0067491 . ISBN  978-3-540-05904-2. ISSN  0075-8434 .
  4. ^ Mayo, J. Peter . "Operadas, Álgebras y Módulos" (PDF) . math.uchicago.edu . pag. 2 . Consultado el 28 de septiembre de 2018 .
  5. ^ Ginzburg, Victor ; Kapranov, Mikhail (1994). "Dualidad Koszul para operads" . Diario de matemáticas de Duke . 76 (1): 203–272. doi : 10.1215 / S0012-7094-94-07608-4 . ISSN 0012-7094 . Señor 1301191 . S2CID 115166937 . Zbl 0855.18006 - vía Proyecto Euclid .    
  6. ^ Loday, Jean-Louis (1996). "La renaissance des opérades" . www.numdam.org . Séminaire Nicolas Bourbaki . Señor 1423619 . Zbl 0866.18007 . Consultado el 27 de septiembre de 2018 .  
  7. ↑ a b Kontsevich, Maxim; Soibelman, Yan (26 de enero de 2000). "Deformaciones de álgebras sobre operadas y conjetura de Deligne". arXiv : matemáticas / 0001151 .
  8. ^ Jones, JDS; Getzler, Ezra (8 de marzo de 1994). "Operadas, álgebra de homotopía e integrales iteradas para espacios de doble bucle". arXiv : hep-th / 9403055 .
  9. ^ N. Durov, Nuevo enfoque de la geometría de Arakelov, Universidad de Bonn, tesis doctoral, 2007; arXiv: 0704.2030 .
  10. ^ Markl, Martin (2006). "Operads y PROPs". Manual de álgebra . 5 (1): 87–140. doi : 10.1016 / S1570-7954 (07) 05002-4 . ISBN 9780444531018. S2CID  3239126 .Ejemplo 2
  11. ^ Giovanni Giachetta, Luigi Mangiarotti, Gennadi Sardanashfully (2005) Métodos topológicos geométricos y algebraicos en mecánica cuántica, ISBN 981-256-129-3 , págs. 474,475 
  12. ^ Greenlees, JPC (2002). Teoría de la homotopía axiomática, enriquecida y motivacional . Actas del Instituto de Estudios Avanzados de la OTAN sobre Teoría de Homotopía Axiomática, Enriquecida y Motiva. Cambridge, Reino Unido : Springer Science & Business Media. págs. 154-156. ISBN 978-1-4020-1834-3.
  13. ^ Mayo, JP (1977). "Teoría del espacio de bucle infinito" . Toro. Amer. Matemáticas. Soc . 83 (4): 456–494. doi : 10.1090 / s0002-9904-1977-14318-8 .
  14. ^ Stasheff, Jim (1998). "Injerto de cerezos de Boardman a la teoría cuántica de campos". arXiv : matemáticas / 9803156 .
  15. ^ Voronov, Alexander A. (1999). El queso suizo funcionó . Matemáticas contemporáneas. Baltimore, Maryland, Estados Unidos : AMS. págs. 365–373. ISBN 978-0-8218-7829-3.
  16. ^ Kontsevich, Maxim (1999). "Ópera y motivos en la cuantificación de deformaciones" . Letón. Matemáticas. Phys . 48 : 35–72. arXiv : matemáticas / 9904055 . Bibcode : 1999math ...... 4055K . doi : 10.1023 / A: 1007555725247 . S2CID 16838440 . 
  17. ^ Hu, Po; Kriz, Igor; Voronov, Alexander A. (2006). "Sobre la conjetura de cohomología Hochschild de Kontsevich" . Compos. Matemáticas . 142 (1): 143-168. doi : 10.1112 / S0010437X05001521 .
  18. ^ Thomas, Justin (2016). "Conjetura del queso suizo de Kontsevich" . Geom. Topol . 20 (1): 1–48. arXiv : 1011.1635 . doi : 10.2140 / gt.2016.20.1 . S2CID 119320246 . 
  19. ^ Markl, Martin (2006). "Operads y PROPs". Manual de álgebra . 5 : 87-140. doi : 10.1016 / S1570-7954 (07) 05002-4 . ISBN 9780444531018. S2CID  3239126 . Definición 37

Referencias

  • Tom Leinster (2004). Operads superiores, categorías superiores . Prensa de la Universidad de Cambridge. arXiv : matemáticas / 0305049 . Bibcode : 2004hohc.book ..... L . ISBN 978-0-521-53215-0.
  • Martin Markl, Steve Shnider , Jim Stasheff (2002). Operads en Álgebra, Topología y Física . Sociedad Matemática Estadounidense. ISBN 978-0-8218-4362-8.CS1 maint: varios nombres: lista de autores ( enlace )
  • Markl, Martin (junio de 2006). "Operads y PROPs". arXiv : matemáticas / 0601129 .
  • Stasheff, Jim (junio-julio de 2004). "¿Qué es ... un Operado?" (PDF) . Avisos de la Sociedad Matemática Estadounidense . 51 (6): 630–631 . Consultado el 17 de enero de 2008 .
  • Loday, Jean-Louis ; Vallette, Bruno (2012), Algebraic Operads (PDF) , Grundlehren der Mathematischen Wissenschaften, 346 , Berlín, Nueva York: Springer-Verlag , ISBN 978-3-642-30361-6
  • Zinbiel, Guillaume W. (2012), "Enciclopedia de tipos de álgebras 2010", en Bai, Chengming; Guo, Li; Loday, Jean-Louis (eds.), Operads and universal álgebra , Nankai Series in Pure, Applied Mathematics and Theoretical Physics, 9 , pp. 217-298, arXiv : 1101.0267 , Bibcode : 2011arXiv1101.0267Z , ISBN 9789814365116
  • Fresse, Benoit (17 de mayo de 2017), Homotopy of Operads y Grothendieck-Teichmüller Groups , Mathematical Surveys and Monographs, American Mathematical Society , ISBN 978-1-4704-3480-9, MR  3643404 , Zbl  1373.55014
  • Miguel A. Mendéz (2015). Establece Operads en Combinatoria e Informática . SpringerBriefs en Matemáticas. ISBN 978-3-319-11712-6 . 
  • Samuele Giraudo (2018). Operadas asimétricas en combinatoria . Springer International Publishing. ISBN 978-3-030-02073-6 . 

enlaces externos

  • operado en nLab
  • https://golem.ph.utexas.edu/category/2011/05/an_operadic_introduction_to_en.html
Obtenido de " https://en.wikipedia.org/w/index.php?title=Operad&oldid=1036313189 "