To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
Spanish Articles
Improved in 24 Hours
Added in 24 Hours
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

Topología de Grothendieck

De Wikipedia, la enciclopedia libre

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 esa 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.

YouTube Encyclopedic

  • 1/3
    Views:
    396
    965
    2 364
  • Giulio Giorello: Ci sono delle rivoluzioni scientifiche anche in matematica? Grothendieck e Bourbaki
  • 29 años de Topología y Geometría de las Intersecciones de Cuádricas (Santiago López de Medrano)
  • Andy Magid, Grothendieck Topology

Transcription

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 U} iI, llamadas familias cubridoras de U, tal que los axiomas siguientes son satisfechos:

  • si φ1: U1 U es un isomorfismo, entonces {φ1: U1U} es una familia cubridora de U.
  • si {φi: Vi U} iI es una familia cubridora de U y f: U 1 U es un morfismo, entonces el pullback P i = U1 ×U Vi existe para cada i en I, y la familia inducida {πi: PiU1}iI es una familia cubridora de U1.
  • si {φi: Vi U} iI es una familia cubridora de U, y si para cada i en I, { φij: V i j V i } jJi es una familia cubridora de Vi, entonces {φiij: V i j U}iI y jJi es una familia cubridora para U.

Un prehaz de conjuntos en la categoría C es un funtor contravariante F: C 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 U}iI, la función inducida F(U) ΠiIF(Vi) es el ecualizador natural de dos funciones ΠiIF(Vi) Π(i,j)IxI F (Vi ×U Vj).

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

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.

Esta página se editó por última vez el 7 mar 2020 a las 16:38.
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.