Topología de Grothendieck


Topología de Grothendieck

En teoría de categorías, una rama de las matemáticas, una topología de Grothendieck es una estructura definida en una categoría arbitraria C que permita la definición de haces en C, y con ésa la definición de las teorías generales de cohomología. Una categoría junto con una topología de Grothendieck en ella se llama un sitio. Esta herramienta se utiliza en teoría algebraica de números y geometría algebraica, para definir principalmente la cohomología étale de esquemas, pero también para la cohomologia playa y el cohomología cristalina. Observe que una topología de Grothendieck no es una topología en el sentido clásico.

Historia e idea

En un momento en que la cohomología para los haces en espacios topológicos era establecida, Alexander Grothendieck quiso definir las teorías de cohomología para otras estructuras, sus esquemas. Pensó en un haz en un espacio topológico como "metro patrón" para ese espacio, y la cohomología de ese patrón como una medida grosera para el espacio subyacente. Su meta era así producir una estructura que permitiría la definición de haces más generales; una vez que eso fuera hecho, el modelo de las teorías topológicas de cohomología se podría seguir casi textualmente.

Ejemplo de la motivación

Comience con un espacio topológico X y considere el haz de todas las funciones real-valoradas continuas definidas en X. Esto asocia a cada conjunto abierto U en X el conjunto F(U) de funciones continuas real-valoradas definidas en U. Toda vez que U es un subconjunto de V, se tiene una "función de restricción" de F(V) a F(U). Si interpretamos el espacio topológico X como categoría, con los conjuntos abiertos siendo los objetos y un morfismo de U a V si y solamente si U es un subconjunto de V, entonces F se revela como funtor contravariante de esta categoría en la categoría de conjuntos. En general, cada funtor contravariante de una categoría C a la categoría de conjuntos es por lo tanto llamado un pre-haz de conjuntos en C. Nuestro funtor F tiene una propiedad especial: si se tiene un cubrimiento abierto (Vi) del conjunto U, y se dan elementos mutuamente compatibles de F (Vi), entonces existe exactamente un elemento F(U) que se restrinje a todos los dados. Ésta es la propiedad definitoria de un haz, y una topología de Grothendieck en C es una tentativa de capturar la esencia de qué es necesario para definir haces en C.

Definición formal

Formalmente, una topología de Grothendieck en C es dada especificando para cada objeto U de C familias de morfismos {φi: Vi \rightarrow U} i\inI, llamadas familias cubridoras de U, tal que los axiomas siguientes son satisfechos:

  • si φ1: U1 \rightarrowU es un isomorfismo, entonces {φ1: U1\rightarrowU} es una familia cubridora de U.
  • si {φi: Vi \rightarrowU} i\inI es una familia cubridora de U y f: U 1 \rightarrowU es un morfismo, entonces el pullback P i = U1 ×U Vi existe para cada i en I, y la familia inducida {πi: Pi\rightarrowU1}i\inI es una familia cubridora de U1.
  • si {φi: Vi \rightarrow U} i\inI es una familia cubridora de U, y si para cada i en I, { φij: V i j \rightarrowV i } j\inJi es una familia cubridora de Vi, entonces {φiij: V i j \rightarrowU}i\inI y j\inJi es una familia cubridora para U.

Un prehaz de conjuntos en la categoría C es un funtor contravariante F: C \rightarrow Set. Si C se equipa de una topología de Grothendieck, entonces un prehaz se llama un haz en C si, para cada familia cubridora {φi: Vi \rightarrow U}i\inI, la función inducida F(U) \rightarrowΠi\inIF(Vi) es el ecualizador natural de dos funciones Πi\inIF(Vi)\rightarrow Π(i,j)\inIxI F (Vi ×U Vj).

En analogía, se pueden también definir prehaces y haces de grupos abelianos, considerando los funtores contravariantes F: C \rightarrowAb.

Una vez dado un sitio (una categoría C con una topología de Grothendieck), se puede considerar la categoría de todos los haces en ese sitio. Éste es un topos, y de hecho la noción de topos se originó aquí. La categoría de los haces de grupos abelianos es también una categoría de Grothendieck, que esencialmente significa que se puede definir las teorías de cohomología para estos haces — la razón de toda la construcción.


Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Topología de Grothendieck — En matemáticas, una topología de Grothendieck es una estructura definida en una categoría arbitraria C que permita la definición de haces en C, y con ésa la definición de las teorías generales de cohomología. Una categoría junto con una topología …   Enciclopedia Universal

  • Alexander Grothendieck — Alexandre Grothendieck. Alexander Grothendieck es un matemático apátrida nacido en Berlín el 28 de marzo de 1928, que durante la segunda mitad del siglo XX ha llevado a cabo un extraordinario proceso de unificación de la Aritmética, la Geometría… …   Wikipedia Español

  • Alexander Grothendieck — es un matemático judeo franco alemán, nacido en Berlín el 28 de marzo de 1928, que durante la segunda mitad del s. XX ha llevado a cabo un extraordinario proceso de unificación de la Aritmética, la Geometría Algebraica y la Topología, dando gran… …   Enciclopedia Universal

  • Alexandre Grothendieck — es un matemático franco alemán, nacido en Berlín el 28 de marzo de 1928, que durante la segunda mitad del s. XX ha llevado a cabo un extraordinario proceso de unificación de la Aritmética, la Geometría Algebraica y la Topología, dando gran… …   Enciclopedia Universal

  • Fondo y génesis de la teoría de los topos — Saltar a navegación, búsqueda Esta página presenta de modo amplio la idea matemática de los topos. Ésta es una rama de la teoría de categorías, y tiene reputación de ser abstrusa. El nivel de abstracción involucrado no se puede reducir más allá… …   Wikipedia Español

  • Teoría de haces — En matemática, un haz F sobre un espacio topológico dado, X, proporciona, para cada conjunto abierto U de X, un conjunto F(U), de estructura más rica. A su vez dichas estructuras: F(U), son compatibles con la operación de restricción desde un… …   Wikipedia Español

  • Topos — Para la familia de mamíferos que incluye a topos y desmanes, véase Talpidae. Para la escultura de Eduardo Chillida, véase Topos V. En matemática, un topos (plural: topos, topoi o toposes asunto en disputa) es un tipo de categoría que proporciona… …   Wikipedia Español

  • Lista de tópicos en teoría de las categorías — Anexo:Lista de tópicos en teoría de las categorías Saltar a navegación, búsqueda Plantilla:Listas Esto es una lista de tópicos en Teoría de categorías. Contenido 1 Categorías concretas 2 Objetos 3 Morfismos …   Wikipedia Español

  • Anexo:Glosario de teoría de categorías — Esto es una lista de tópicos en Teoría de categorías. Contenido 1 Categorías concretas 2 Objetos 3 Morfismos 4 Funtores …   Wikipedia Español

  • Funtores adjuntos — La existencia de muchos pares de funtores adjuntos es una observación importante de la rama de la matemática conocida como teoría de categorías. (La teoría de categorías continúa en cierta forma la visión estructuralista en matemática; ver… …   Wikipedia Español