Galois theory and Hopf monads
La teoría de Galois trata principalmente del uso de simetrías para clasificar Estructuras. A groso modo, se han formulado dos perspectivas al respecto: la perspectiva de Artin, en la cual el teorema fundamental es la correspondencia entre subgrupos de simetrías y sub-estructuras, dada en términos de...
- Autores:
-
García Vargas, Johan Felipe
- Tipo de recurso:
- Doctoral thesis
- Fecha de publicación:
- 2021
- Institución:
- Universidad de los Andes
- Repositorio:
- Séneca: repositorio Uniandes
- Idioma:
- eng
- OAI Identifier:
- oai:repositorio.uniandes.edu.co:1992/62961
- Acceso en línea:
- http://hdl.handle.net/1992/62961
- Palabra clave:
- Monadas de Hopf
Teoría de Galois segun Grothendieck
Formalismo tannakiano
Matemáticas
- Rights
- openAccess
- License
- Atribución-CompartirIgual 4.0 Internacional
| id |
UNIANDES2_594e5ca2367c50d8294bfc046c7e968d |
|---|---|
| oai_identifier_str |
oai:repositorio.uniandes.edu.co:1992/62961 |
| network_acronym_str |
UNIANDES2 |
| network_name_str |
Séneca: repositorio Uniandes |
| repository_id_str |
|
| dc.title.none.fl_str_mv |
Galois theory and Hopf monads |
| title |
Galois theory and Hopf monads |
| spellingShingle |
Galois theory and Hopf monads Monadas de Hopf Teoría de Galois segun Grothendieck Formalismo tannakiano Matemáticas |
| title_short |
Galois theory and Hopf monads |
| title_full |
Galois theory and Hopf monads |
| title_fullStr |
Galois theory and Hopf monads |
| title_full_unstemmed |
Galois theory and Hopf monads |
| title_sort |
Galois theory and Hopf monads |
| dc.creator.fl_str_mv |
García Vargas, Johan Felipe |
| dc.contributor.advisor.none.fl_str_mv |
Caicedo Ferrer, Xavier |
| dc.contributor.author.none.fl_str_mv |
García Vargas, Johan Felipe |
| dc.contributor.jury.none.fl_str_mv |
Galindo, César López, Ignacio Szyld, Martin Galindo Martínez, César Neyit |
| dc.subject.keyword.none.fl_str_mv |
Monadas de Hopf Teoría de Galois segun Grothendieck Formalismo tannakiano |
| topic |
Monadas de Hopf Teoría de Galois segun Grothendieck Formalismo tannakiano Matemáticas |
| dc.subject.themes.es_CO.fl_str_mv |
Matemáticas |
| description |
La teoría de Galois trata principalmente del uso de simetrías para clasificar Estructuras. A groso modo, se han formulado dos perspectivas al respecto: la perspectiva de Artin, en la cual el teorema fundamental es la correspondencia entre subgrupos de simetrías y sub-estructuras, dada en términos de estabilizadores e invariantes; y la perspectiva de Grothendieck, en la cual una categoría y un funtor que satisfacen ciertas propiedades inducen una equivalencia con la categoría de acciones del grupo de simetrías. En este trabajo profundizamos la formulación de Grothendieck, por lo cual exponemos y desarrollamos la idea de que para las categorías monoidales la teoría de Galois puede ser entendida como una equivalencia con la categoría de acciones de una mónada de Hopf. Nuestra pregunta de investigación fue ¿cómo podemos encajar la perspectiva de Artin en este contexto? Descubrimos que, para una mónada aumentada, existen propiedades universales que definen los invariantes y estabilizadores, definiciones que naturalmente conllevan a una correspondencia de Galois. Adicionalmente, en el caso de una mónada de Hopf aumentada sobre una categoría monoidal cerrada, encontramos procedimientos explícitos para calcular dichos invariantes y estabilizadores. Este documento contiene, además del desarrollo pleno de la conexión de Galois inherente a una mónada de Hopf aumentada, una introducción amigable a las mónadas de Hopf y una exposición de algunos ejemplos clásicos de teoría de Galois a la luz de la perspectiva aquí propuesta. |
| publishDate |
2021 |
| dc.date.issued.none.fl_str_mv |
2021-08-17 |
| dc.date.accessioned.none.fl_str_mv |
2022-10-31T21:27:59Z |
| dc.date.available.none.fl_str_mv |
2022-10-31T21:27:59Z |
| dc.type.es_CO.fl_str_mv |
Trabajo de grado - Doctorado |
| dc.type.driver.none.fl_str_mv |
info:eu-repo/semantics/doctoralThesis |
| dc.type.version.none.fl_str_mv |
info:eu-repo/semantics/acceptedVersion |
| dc.type.coar.none.fl_str_mv |
http://purl.org/coar/resource_type/c_db06 |
| dc.type.content.es_CO.fl_str_mv |
Text |
| dc.type.redcol.none.fl_str_mv |
https://purl.org/redcol/resource_type/TD |
| format |
http://purl.org/coar/resource_type/c_db06 |
| status_str |
acceptedVersion |
| dc.identifier.uri.none.fl_str_mv |
http://hdl.handle.net/1992/62961 |
| dc.identifier.doi.none.fl_str_mv |
10.57784/1992/62961 |
| dc.identifier.instname.es_CO.fl_str_mv |
instname:Universidad de los Andes |
| dc.identifier.reponame.es_CO.fl_str_mv |
reponame:Repositorio Institucional Séneca |
| dc.identifier.repourl.es_CO.fl_str_mv |
repourl:https://repositorio.uniandes.edu.co/ |
| url |
http://hdl.handle.net/1992/62961 |
| identifier_str_mv |
10.57784/1992/62961 instname:Universidad de los Andes reponame:Repositorio Institucional Séneca repourl:https://repositorio.uniandes.edu.co/ |
| dc.language.iso.es_CO.fl_str_mv |
eng |
| language |
eng |
| dc.rights.license.spa.fl_str_mv |
Atribución-CompartirIgual 4.0 Internacional |
| dc.rights.uri.*.fl_str_mv |
http://creativecommons.org/licenses/by-sa/4.0/ |
| dc.rights.accessrights.spa.fl_str_mv |
info:eu-repo/semantics/openAccess |
| dc.rights.coar.spa.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
| rights_invalid_str_mv |
Atribución-CompartirIgual 4.0 Internacional http://creativecommons.org/licenses/by-sa/4.0/ http://purl.org/coar/access_right/c_abf2 |
| eu_rights_str_mv |
openAccess |
| dc.format.extent.es_CO.fl_str_mv |
105 páginas |
| dc.format.mimetype.es_CO.fl_str_mv |
application/pdf |
| dc.publisher.es_CO.fl_str_mv |
Universidad de los Andes |
| dc.publisher.program.es_CO.fl_str_mv |
Doctorado en Matemáticas |
| dc.publisher.faculty.es_CO.fl_str_mv |
Facultad de Ciencias |
| dc.publisher.department.es_CO.fl_str_mv |
Departamento de Matemáticas |
| institution |
Universidad de los Andes |
| bitstream.url.fl_str_mv |
https://repositorio.uniandes.edu.co/bitstreams/942eb018-808f-48b5-98ad-43b172f43ac4/download https://repositorio.uniandes.edu.co/bitstreams/75b45666-7d77-41e8-ae05-d9b46de3e64e/download https://repositorio.uniandes.edu.co/bitstreams/fd99358d-1818-4734-b018-9ea41594bbac/download https://repositorio.uniandes.edu.co/bitstreams/ef8e33d4-ae1b-4e53-8fae-a2af90a13689/download https://repositorio.uniandes.edu.co/bitstreams/65400209-afdc-4b2c-95d9-ccdcd97930e5/download https://repositorio.uniandes.edu.co/bitstreams/954f8602-bc61-40ec-b55d-49c96fc3c0b4/download https://repositorio.uniandes.edu.co/bitstreams/3aae8d75-69d8-41f1-a57a-e6dc2dbd83e6/download https://repositorio.uniandes.edu.co/bitstreams/8145dc4b-2d3d-4e39-84da-e835c24f7831/download |
| bitstream.checksum.fl_str_mv |
d4191a02be07f08be0160217318df596 4491fe1afb58beaaef41a73cf7ff2e27 a471e77ffa043bc6531f9aacd6eb9acb 017588f91be0dd4b74ec10b40d4011de 5aa5c691a1ffe97abd12c2966efcb8d6 9c38e7e32eb097e14d7cda39fe36e1a1 ffc405ab1ab2758ce4cc4371bd3fcdbf 84a900c9dd4b2a10095a94649e1ce116 |
| bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 MD5 MD5 MD5 MD5 MD5 |
| repository.name.fl_str_mv |
Repositorio institucional Séneca |
| repository.mail.fl_str_mv |
adminrepositorio@uniandes.edu.co |
| _version_ |
1812133832606875648 |
| spelling |
Atribución-CompartirIgual 4.0 Internacionalhttp://creativecommons.org/licenses/by-sa/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Caicedo Ferrer, Xaviervirtual::2514-1García Vargas, Johan Felipe8390600Galindo, CésarLópez, IgnacioSzyld, MartinGalindo Martínez, César Neyit2022-10-31T21:27:59Z2022-10-31T21:27:59Z2021-08-17http://hdl.handle.net/1992/6296110.57784/1992/62961instname:Universidad de los Andesreponame:Repositorio Institucional Sénecarepourl:https://repositorio.uniandes.edu.co/La teoría de Galois trata principalmente del uso de simetrías para clasificar Estructuras. A groso modo, se han formulado dos perspectivas al respecto: la perspectiva de Artin, en la cual el teorema fundamental es la correspondencia entre subgrupos de simetrías y sub-estructuras, dada en términos de estabilizadores e invariantes; y la perspectiva de Grothendieck, en la cual una categoría y un funtor que satisfacen ciertas propiedades inducen una equivalencia con la categoría de acciones del grupo de simetrías. En este trabajo profundizamos la formulación de Grothendieck, por lo cual exponemos y desarrollamos la idea de que para las categorías monoidales la teoría de Galois puede ser entendida como una equivalencia con la categoría de acciones de una mónada de Hopf. Nuestra pregunta de investigación fue ¿cómo podemos encajar la perspectiva de Artin en este contexto? Descubrimos que, para una mónada aumentada, existen propiedades universales que definen los invariantes y estabilizadores, definiciones que naturalmente conllevan a una correspondencia de Galois. Adicionalmente, en el caso de una mónada de Hopf aumentada sobre una categoría monoidal cerrada, encontramos procedimientos explícitos para calcular dichos invariantes y estabilizadores. Este documento contiene, además del desarrollo pleno de la conexión de Galois inherente a una mónada de Hopf aumentada, una introducción amigable a las mónadas de Hopf y una exposición de algunos ejemplos clásicos de teoría de Galois a la luz de la perspectiva aquí propuesta.Galois theory is essentially about using symmetry for classifying structure. Historically we identify two broad formulations: Artin's formulation, in which the fundamental theorem is a correspondence between subgroups of symmetries and intermediate structures, given by taking invariants and stabilizers; and Grothendieck's formulation, in which a category with a functor that satisfies some properties is equivalent to the category of actions of its group of symmetries. In this work, furthering Grothendieck perspective, we expose and develop the idea that Galois theory on monoidal categories could be framed as Hopf monadicity. That is as an equivalence with the Eilenberg-Moore category of actions of a Hopf monad. Our main question was how to recover Artin's perspective in this framing. We discovered that, in the case of an augmented monad, there are universal definitions of invariants and stabilizers which yield a naturally-arising Galois correspondence. Additionally, in the case of an augmented Hopf monad over a monoidal closed category, we found explicit procedures for the computation of invariants and stabilizers. This document contains an approachable introduction to Hopf monads, a comprehensive development of the Galois connection inherent to an augmented Hopf monad and an exposition of some classical examples of Galois theory under the framework here proposed.Doctor en MatemáticasDoctorado105 páginasapplication/pdfengUniversidad de los AndesDoctorado en MatemáticasFacultad de CienciasDepartamento de MatemáticasGalois theory and Hopf monadsTrabajo de grado - Doctoradoinfo:eu-repo/semantics/doctoralThesisinfo:eu-repo/semantics/acceptedVersionhttp://purl.org/coar/resource_type/c_db06Texthttps://purl.org/redcol/resource_type/TDMonadas de HopfTeoría de Galois segun GrothendieckFormalismo tannakianoMatemáticas201422874Publication121813f3-5233-44f4-becd-1189c3e14fddvirtual::2514-1121813f3-5233-44f4-becd-1189c3e14fddvirtual::2514-1https://scienti.minciencias.gov.co/cvlac/visualizador/generarCurriculoCv.do?cod_rh=0000250821virtual::2514-1TEXTGaloisTheoryHopfMonads-JohanGarcía.pdf.txtGaloisTheoryHopfMonads-JohanGarcía.pdf.txtExtracted texttext/plain174234https://repositorio.uniandes.edu.co/bitstreams/942eb018-808f-48b5-98ad-43b172f43ac4/downloadd4191a02be07f08be0160217318df596MD55AutorizaciónBiblioteca.pdf.txtAutorizaciónBiblioteca.pdf.txtExtracted texttext/plain1163https://repositorio.uniandes.edu.co/bitstreams/75b45666-7d77-41e8-ae05-d9b46de3e64e/download4491fe1afb58beaaef41a73cf7ff2e27MD57ORIGINALGaloisTheoryHopfMonads-JohanGarcía.pdfGaloisTheoryHopfMonads-JohanGarcía.pdfTesis de doctoradoapplication/pdf792974https://repositorio.uniandes.edu.co/bitstreams/fd99358d-1818-4734-b018-9ea41594bbac/downloada471e77ffa043bc6531f9aacd6eb9acbMD53AutorizaciónBiblioteca.pdfAutorizaciónBiblioteca.pdfHIDEapplication/pdf231297https://repositorio.uniandes.edu.co/bitstreams/ef8e33d4-ae1b-4e53-8fae-a2af90a13689/download017588f91be0dd4b74ec10b40d4011deMD54LICENSElicense.txtlicense.txttext/plain; charset=utf-81810https://repositorio.uniandes.edu.co/bitstreams/65400209-afdc-4b2c-95d9-ccdcd97930e5/download5aa5c691a1ffe97abd12c2966efcb8d6MD51THUMBNAILGaloisTheoryHopfMonads-JohanGarcía.pdf.jpgGaloisTheoryHopfMonads-JohanGarcía.pdf.jpgIM Thumbnailimage/jpeg7505https://repositorio.uniandes.edu.co/bitstreams/954f8602-bc61-40ec-b55d-49c96fc3c0b4/download9c38e7e32eb097e14d7cda39fe36e1a1MD56AutorizaciónBiblioteca.pdf.jpgAutorizaciónBiblioteca.pdf.jpgIM Thumbnailimage/jpeg16563https://repositorio.uniandes.edu.co/bitstreams/3aae8d75-69d8-41f1-a57a-e6dc2dbd83e6/downloadffc405ab1ab2758ce4cc4371bd3fcdbfMD58CC-LICENSElicense_rdflicense_rdfapplication/rdf+xml; charset=utf-81025https://repositorio.uniandes.edu.co/bitstreams/8145dc4b-2d3d-4e39-84da-e835c24f7831/download84a900c9dd4b2a10095a94649e1ce116MD521992/62961oai:repositorio.uniandes.edu.co:1992/629612024-08-26 15:18:09.364http://creativecommons.org/licenses/by-sa/4.0/open.accesshttps://repositorio.uniandes.edu.coRepositorio institucional Sénecaadminrepositorio@uniandes.edu.coWW8sIGVuIG1pIGNhbGlkYWQgZGUgYXV0b3IgZGVsIHRyYWJham8gZGUgdGVzaXMsIG1vbm9ncmFmw61hIG8gdHJhYmFqbyBkZSBncmFkbywgaGFnbyBlbnRyZWdhIGRlbCBlamVtcGxhciByZXNwZWN0aXZvIHkgZGUgc3VzIGFuZXhvcyBkZSBzZXIgZWwgY2FzbywgZW4gZm9ybWF0byBkaWdpdGFsIHkvbyBlbGVjdHLDs25pY28geSBhdXRvcml6byBhIGxhIFVuaXZlcnNpZGFkIGRlIGxvcyBBbmRlcyBwYXJhIHF1ZSByZWFsaWNlIGxhIHB1YmxpY2FjacOzbiBlbiBlbCBTaXN0ZW1hIGRlIEJpYmxpb3RlY2FzIG8gZW4gY3VhbHF1aWVyIG90cm8gc2lzdGVtYSBvIGJhc2UgZGUgZGF0b3MgcHJvcGlvIG8gYWplbm8gYSBsYSBVbml2ZXJzaWRhZCB5IHBhcmEgcXVlIGVuIGxvcyB0w6lybWlub3MgZXN0YWJsZWNpZG9zIGVuIGxhIExleSAyMyBkZSAxOTgyLCBMZXkgNDQgZGUgMTk5MywgRGVjaXNpw7NuIEFuZGluYSAzNTEgZGUgMTk5MywgRGVjcmV0byA0NjAgZGUgMTk5NSB5IGRlbcOhcyBub3JtYXMgZ2VuZXJhbGVzIHNvYnJlIGxhIG1hdGVyaWEsIHV0aWxpY2UgZW4gdG9kYXMgc3VzIGZvcm1hcywgbG9zIGRlcmVjaG9zIHBhdHJpbW9uaWFsZXMgZGUgcmVwcm9kdWNjacOzbiwgY29tdW5pY2FjacOzbiBww7pibGljYSwgdHJhbnNmb3JtYWNpw7NuIHkgZGlzdHJpYnVjacOzbiAoYWxxdWlsZXIsIHByw6lzdGFtbyBww7pibGljbyBlIGltcG9ydGFjacOzbikgcXVlIG1lIGNvcnJlc3BvbmRlbiBjb21vIGNyZWFkb3IgZGUgbGEgb2JyYSBvYmpldG8gZGVsIHByZXNlbnRlIGRvY3VtZW50by4gIAoKCkxhIHByZXNlbnRlIGF1dG9yaXphY2nDs24gc2UgZW1pdGUgZW4gY2FsaWRhZCBkZSBhdXRvciBkZSBsYSBvYnJhIG9iamV0byBkZWwgcHJlc2VudGUgZG9jdW1lbnRvIHkgbm8gY29ycmVzcG9uZGUgYSBjZXNpw7NuIGRlIGRlcmVjaG9zLCBzaW5vIGEgbGEgYXV0b3JpemFjacOzbiBkZSB1c28gYWNhZMOpbWljbyBkZSBjb25mb3JtaWRhZCBjb24gbG8gYW50ZXJpb3JtZW50ZSBzZcOxYWxhZG8uIExhIHByZXNlbnRlIGF1dG9yaXphY2nDs24gc2UgaGFjZSBleHRlbnNpdmEgbm8gc29sbyBhIGxhcyBmYWN1bHRhZGVzIHkgZGVyZWNob3MgZGUgdXNvIHNvYnJlIGxhIG9icmEgZW4gZm9ybWF0byBvIHNvcG9ydGUgbWF0ZXJpYWwsIHNpbm8gdGFtYmnDqW4gcGFyYSBmb3JtYXRvIGVsZWN0csOzbmljbywgeSBlbiBnZW5lcmFsIHBhcmEgY3VhbHF1aWVyIGZvcm1hdG8gY29ub2NpZG8gbyBwb3IgY29ub2Nlci4gCgoKRWwgYXV0b3IsIG1hbmlmaWVzdGEgcXVlIGxhIG9icmEgb2JqZXRvIGRlIGxhIHByZXNlbnRlIGF1dG9yaXphY2nDs24gZXMgb3JpZ2luYWwgeSBsYSByZWFsaXrDsyBzaW4gdmlvbGFyIG8gdXN1cnBhciBkZXJlY2hvcyBkZSBhdXRvciBkZSB0ZXJjZXJvcywgcG9yIGxvIHRhbnRvLCBsYSBvYnJhIGVzIGRlIHN1IGV4Y2x1c2l2YSBhdXRvcsOtYSB5IHRpZW5lIGxhIHRpdHVsYXJpZGFkIHNvYnJlIGxhIG1pc21hLiAKCgpFbiBjYXNvIGRlIHByZXNlbnRhcnNlIGN1YWxxdWllciByZWNsYW1hY2nDs24gbyBhY2Npw7NuIHBvciBwYXJ0ZSBkZSB1biB0ZXJjZXJvIGVuIGN1YW50byBhIGxvcyBkZXJlY2hvcyBkZSBhdXRvciBzb2JyZSBsYSBvYnJhIGVuIGN1ZXN0acOzbiwgZWwgYXV0b3IgYXN1bWlyw6EgdG9kYSBsYSByZXNwb25zYWJpbGlkYWQsIHkgc2FsZHLDoSBkZSBkZWZlbnNhIGRlIGxvcyBkZXJlY2hvcyBhcXXDrSBhdXRvcml6YWRvcywgcGFyYSB0b2RvcyBsb3MgZWZlY3RvcyBsYSBVbml2ZXJzaWRhZCBhY3TDumEgY29tbyB1biB0ZXJjZXJvIGRlIGJ1ZW5hIGZlLiAKCg== |