Sobre la teoría de Galois Categórica
Cargando...
Autores
Director
Tipo de contenido
Document language:
Español
Fecha
Título de la revista
ISSN de la revista
Título del volumen
Documentos PDF
Resumen
La teoría de cuerpos inició con Evariste Galois en el siglo XIX como un estudio de raíces de polinomios, cuyo enfoque era intentar determinar si las ecuaciones polinomiales de grados superiores tenían fórmula general similar a la conocida para la ecuación cuadrática. La conclusión de Galois es que este tipo de resolución está íntimamente relacionada con la naturaleza del grupo de simetrías de las raíces del polinomio, que no alteran las relaciones algebraicas que estas raíces satisfacen.
Posteriormente, utilizando el lenguaje introducido por Ernst Steinitz, se llega a la conclusión de que estudiar raíces de polinomios separables (sin raíces repetidas) se puede llevar a cabo de forma sistemática estudiando extensiones “de Galois” de dimensión finita sobre el cuerpo base en cuestión, que es donde viven los coeficientes. El primer gran resultado de esta teoría es lo que llamamos Teorema de Galois Clásico, el cual nos dice que las extensiones intermedias de una extensión de este tipo están clasificadas por los subgrupos del grupo de simetrías de la extensión que fijan el cuerpo base, a quien llamamos grupo de Galois.
En la década de 1960, Grothendieck y su equipo se propusieron trasladar a la geometría algebraica un resultado central de la topología: el teorema fundamental de los recubrimientos. A partir de este enfoque, desarrollaron una versión alternativa del teorema de Galois. Desde esta perspectiva, los subgrupos del grupo de Galois se interpretan como representaciones del grupo mismo. Gracias a esto, la correspondencia de Galois clásica se amplía, estableciéndose una equivalencia entre ciertas álgebras sobre el cuerpo base y la categoría de representaciones finitas del grupo de Galois (que llamaremos
Teorema de Galois-Grothendieck finito), ofreciendo una visión más general de la relación entre simetrías y extensiones de cuerpos. En el capítulo 1, desarrollamos con detalle esta visión alternativa del teorema de Galois clásico y su generalización.
Por otra parte, hay una pregunta muy natural que lleva a otra generalización del teorema de Galois clásico: ¿qué ocurre si se suprime la hipótesis de que el grado de la extensión sea finito? Esto fue un problema con el que se topó Dedekind mientras estudiaba extensiones del cuerpo de números racionales a principios del siglo XX; sorprendentemente, en el caso infinito-dimensional, aunque el mapeo que define el teorema de Galois clásico (Gal) es inyectivo, nunca es sobreyectivo, pues el grupo de Galois de la extensión tiene más subgrupos que aquellos que provienen de una extensión intermedia. En el capítulo 2 del presente trabajo, se ilustra con variedad de ejemplos esta obstrucción, y se expone una solución desarrollada por Krull; guiado por la sospecha de Dedekind de que el grupo de Galois tiene una estructura de espacio topológico, Krull demuestra que los subgrupos en la imagen de Gal son precisamente los subgrupos cerrados del grupo de Galois respecto de una topología, que hoy llamamos topología de Galois-Krull. Finalmente, usando esta topología, exhibiremos una generalización del teorema de Galois-Grothendieck finito, que nos permitirá a su vez obtener un análogo de dicho teorema en el caso infinito-dimensional.
En el capítulo 3 del presente proyecto, se presenta un marco axiómico de Grothendieck y se demuestra con todo detalle que dicho marco efectivamente caracteriza las categorías de representaciones finitas discretas de un grupo profinito.
Posteriormente, en el capítulo 4, utilizamos el concepto de haz propuesto por Grothendieck, para desarrollar detalladamente una manera de extender la equivalencia que interpreta toda categoría de Galois como una categoría de representaciones finitas discretas de un grupo profinito, a una equivalencia que recupera todas las acciones discretas.
Abstract
Field theory began with Évariste Galois in the nineteenth century as a study of the roots of polynomials, whose aim was to determine whether polynomial equations of higher degree admit a general formula similar to the one known for the quadratic equation. Galois concluded that this type of solvability is intimately related to the nature of the group of symmetries of the roots of the polynomial—those symmetries that preserve the algebraic relations satisfied by the roots.
Subsequently, using the language introduced by Ernst Steinitz, one concludes that the study of the roots of separable polynomials (those without repeated roots) can be carried out systematically by studying finite-dimensional “Galois” extensions over the given base field in which the coefficients lie. The first major result of this theory is what we call the Classical Galois Theorem, which states that the intermediate extensions of such an extension are classified by the subgroups of the symmetry group of the extension that fix the base field—this group being called the Galois group.
In the 1960s, Grothendieck and his collaborators set out to transfer to algebraic geometry a central result from topology: the fundamental theorem of covering spaces. From this perspective, they developed an alternative version of the Galois theorem. In this setting, subgroups of the Galois group are interpreted as representations of the group itself. As a result, the classical Galois correspondence is broadened, yielding an equivalence between certain algebras over the base field and the category of finite representations of the Galois group (which we shall call the finite Galois–Grothendieck Theorem), thus providing a more general view of the relationship between symmetries and field extensions. In Chapter 1, we develop in detail this alternative formulation of the classical Galois theorem and its generalization.
On the other hand, there is a natural question that leads to another generalization of the classical Galois theorem: what happens if one removes the assumption that the degree of the extension is finite? This was a problem encountered by Dedekind while studying extensions of the field of rational numbers at the beginning of the twentieth century. Surprisingly, in the infinite-dimensional case, although the map defining the classical Galois theorem (Gal) is injective, it is never surjective, since the Galois group of the extension has more subgroups than those arising from intermediate extensions. In Chapter 2, we
illustrate this obstruction with a variety of examples and present a solution developed by Krull. Guided by Dedekind’s suspicion that the Galois group carries the structure of a topological space, Krull proved that the subgroups in the image of Gal are precisely the closed subgroups of the Galois group with respect to a topology now known as the Galois–Krull topology. Finally, using this topology, we establish a generalization of the finite Galois–Grothendieck theorem, which in turn allows us to obtain an analogue of this theorem in the infinite-dimensional case.
In Chapter 3 of this project, we present Grothendieck’s axiomatic framework and prove in full detail that it indeed characterizes the categories of finite discrete representations of a profinite group.
Subsequently, in Chapter 4, we use Grothendieck’s notion of a sheaf to develop in detail a method for extending the equivalence that interprets every Galois category as a category of finite discrete representations of a profinite group to an equivalence that recovers all discrete actions. (texto tomado de la fuente)
Palabras clave propuestas
Teoría de Galois; Grothendieck; Álgebras sobre un cuerpo; Profinito; Topología de Krull; Teoría de categorías; Categorías de Galois; Topos; Teoría de representaciones; Acciones de grupo; Galois theory; Grothendieck; Algebras over a field; Profinite; Krull topology; Category theory; Galois categories; Topos; Representation theory; Group actions