Cursos5ferZalamea PDF

Publicaciones Electrónicas
Sociedad Matemática Mexicana
Grothendieck
Una guía a la obra matemática
Fernando Zalamea
www.smm.org.mx
Serie: Cursos. Vol. 5 (2018)

UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO
DEPARTAMENTO DE MATEMÁTICAS
JUNIO 2018
GROTHENDIECK
UNA GUÍA A LA OBRA MATEMÁTICA
"Es realmente por el descubrimiento sobre todo de preguntas nuevas, de nociones nuevas,
o aún de puntos de vista nuevos, o de nuevos mundos, que mi obra matemática ha resultado ser fecunda" [Grothendieck 1985]
1 (19 junio) Tablas generales de la vida. La Tesis Doctoral (1949-53) y el Résumé de Sao Paulo (1953).
2 (20 junio) El Tôhoku (1955-56) y la generalización Riemann-Roch-Grothendieck (1957).
3 (21 junio ) La conferencia ICM de Edimburgo (1958) y los EGA (1959-64).
4 (26 junio) Los SGA (1960-69) y las conjeturas estándar (1968).
5 (27 junio) La Larga marcha a través de la teoría de Galois (1981) y el Esbozo de un programa (1984).
6 (28 junio) Los Stacks (1983) y los Derivadores (1991). Mapas generales de la obra.
FERNANDO ZALAMEA
Departamento de Matemáticas
Universidad Nacional de Colombia
Mail: [email protected]
Web: https://unal.academia.edu/FernandoZalamea

ENTORNO BIOGRÁFICO (1ª parte: 1928-1960)

[referencias fundamentales: Scharlau, Schneps, Jackson]

1928 (Marzo 28) Nacimiento en Berlín
(padres: Alexander/Sascha Schapiro 1890-1942, Johanna/Hanka Grothendieck 1900-1957)
1928-1933 Infancia en Berlín
(con padres y hermana Maidi, nacida 1924, en matrimonio previo de Hanka)
1934-1939 Colegio y Liceo en Blankenese (Hamburgo)
(bajo familia Heydorn, pastor protestante; sus padres luchan en la Guerra Civil española)

1939 Reencuentro con sus padres en Francia
1940-1942 Internado con Hanka como "indeseables" en el campo de Rieucros
(el padre es internado en Le Vernet y luego deportado a Auschwitz, 1942)
1942-1944 Disolución de Rieucros – Alexander enviado al Liceo Cévénol en Le Chambon

(bajo familia Trocmé, pastor protestante)

1945-1948 Vive en Mairargues, pequeño pueblo en medio de los viñedos, mientras
Redescubre y reescribe la teoría de la medida de Lebesgue
realiza sus estudios de matemáticas en la Universidad de Montpellier
(Noviembre 1945: ingreso; Junio 1946: Certificat d'études supérieures, "Très bien"; 1948: Licence)

1948 André Magnier detecta la "genialidad" de Grothendieck
y le otorga una beca de estudios para París
(carta de recomendación de Monsieur Soula, profesor en Montpellier, para "Cartan")

1948-1949 Oyente en el Seminario Cartan, ENS (topología algebraica y haces)

1949-1953 Dirigido a la Universidad de Nancy, bajo Schwartz y Dieudonné
Beca del CNRS – Realiza su Tesis Doctoral (defensa 28 Febrero 1953) Produits tensoriels topologiques et espaces nucléaires
(resolución de todos los problemas propuestos por Schwartz-Dieudonné; elaboración de varios [Tesis, publ. AMS, 1955]
artículos, cada uno digno de Tesis, obra "solo comparable con Banach y Hilbert" [Dieudonné 1966])
Primera decena de artículos sobre análisis funcional
Ingresa ("cobaye", 1951) al grupo Bourbaki [1950-1953]

1953-1954 Enseña en la Universidad de Sao Paulo Espaces vectoriels topologiques
[libro mimeografiado, Sao Paulo, 1954; trad. imglés, 1973]
"Résumé de la théorie métrique des produits
tensoriels topologiques " [publ. Sao Paulo, 1956]

1955 Investigación en la Universidad de Kansas Trabajos en categorías abelianas
Intensa correspondencia con Serre "Sur quelques points d'algèbre homologique"
Visita Chicago – Regresa a París [publ. Tohoku 1957]
Segunda decena de artículos sobre análisis funcional
[1954-1957]

1956 Obtiene una posición de trabajo en el CNRS

1957 Bourbaki (marzo): el congreso del "funtor inflexible"
Mathematische Arbeitstagung (julio) – Universidad de Bonn Trabajos en Riemann-Roch
Muerte de la madre (diciembre) "Le théorème de Riemann-Roch
(d'après des résultats inédits de A. Grothendieck)"
[publ. Borel & Serre, Bull. SMF, 1958]

1958 Plenaria (agosto) en el Congreso Internacional de Matemáticas Visión de la geometría algebraica
Visita (octubre) a Harvard (Zariski, Tate, Mumford) "The cohomology theory of abstract algebraic varieties"
[Proc. ICM, Edimburgo, 1958]
1959 Junto con Dieudonné, es nombrado (marzo) profesor en el IHES

Cinco hijos: "Techniques de construction en géométrie analytique. I-X"
1960 1 con Alice, Nancy, 1950s – 3 con Mireille, París, 1959, 1961, 1965 – 1 con Justine, Comunidad, 1970s [Sem. Cartan, tomo 13, 1960-1961]

[referencias fundamentales: Scharlau, Schneps, Jackson]

1958 Visión nueva de la geometría algebraica
Plenaria (agosto) en el Congreso Internacional de Matemáticas
"The cohomology theory of abstract algebraic varieties"
[Edimburgo: Proc. ICM, 1958]

Primera visita a Harvard (colegas Zariski, Tate; estudiante Mumford)
Fragmentos de fundación de la geometría algebraica

Fondements de la Géométrie Algébrique
(FGA)
[París: Séminaire Bourbaki, 1957-1962]
1959 Junto con Dieudonné, es nombrado (marzo) profesor en el IHES

---------------

Re-fundación arquitectónica de la geometría algebraica
1960-1969 Construcción de escuela en el IHES:
(I)
• escritura con Dieudonné
Éléments de Géométrie Algébrique
• cercanía con Serre
(EGA)
• colaboración con Tate (Harvard), Artin (Harvard, MIT),
(con Jean Dieudonné), IV volúmenes (8 partes)
Hartshorne (Harvard)
[París: IHES, 1960-1967]
• "alumnos" excepcionales:
Giraud, Demazure, Verdier, Deligne, Illusie, etc.

Re-fundación arquitectónica de la geometría algebraica
"No leemos libros, ¡los escribimos!" (II)

Séminaire de Géométrie Algébrique du Bois-Marie

(SGA)

(con autores diversos), VII volúmenes (12 partes)
1966 Medalla Fields [París: IHES, 1960-1969]
(ICM Moscú – no la recibe, en protesta por abusos de derechos humanos) (reeditados Springer 1970-1973)

1967 -----------------
Visita de Manin al IHES (inicio "motivos")

1968 Abucheado y tratado de "mandarín" por los estudiantes en el Mayo 68 Visión nueva de la cohomología ("motivos")
"Standard Conjectures on Algebraic Cycles"
[Bombay: Tata Institute, 1968]

1970 Renuncia al IHES ("mandarinazgo", fondos militares, probable agotamiento)
Hace público su abandono del mundo matemático en el ICM - Niza

[referencias fundamentales: Scharlau, Jackson]

1965-70 Viajes humanitarios
Argelia (Noviembre-Diciembre 1965) – Vietnam (Noviembre 1967)
Rumania (Marzo 1968, Junio 1970)

1970 Renuncia al IHES (cartas de Mayo 25, Junio 9) "Responsabilité du savant dans le monde d'aujourd'hui"
Escuela de verano en Montréal – Fundación de Survivre (Julio 20) (Conferencias: Orsay Junio 26, Montréal Julio 8 1970 – Manuscrito)

Polémica en el ICM (Niza, Septiembre 1-4) Laudatio de Hironaka - Panfletos de Survivre

1970-72 "Fui uno de los actores centrales en el grupo Survivre et vivre":
organización, escritura de boletines, proselitismo

Profesor en el Collège de France (1970-72) "Allons-nous continuer la recherche scientifique?"
(candidatura promovida por Serre) (Conferencia: CERN Enero 27 1972 – Artículo Survivre #10)

Profesor invitado en Kingston (Enero-Marzo 1971)

Tour de veintena (!) de universidades (Marzo-Abril 1971):
Stanford, Berkeley, UCLA, Princeton, etc.
Profesor invitado en Buffalo (Mayo-Julio 1972)
Encuentro con Justine Skalba

1973
Profesor en la Universidad de Orsay

Funda la comuna Germinal en Châtenay-Malabry
Nacimiento (Octubre 28) de su último hijo John

1973-79
Retiro en Villecun
Relaciones estrechas con la comuna de Olmet
Última conferencia en un Coloquio (París, Diciembre 12 1975)

1979-91 Retiro en Mormoiron

1973-84
Profesor en la Universidad de Montpellier

(cursos de topología, geometría de superficies, teoría de grupos, etc.) La longue marche à travers la théorie de Galois [1981]
Seminario avanzado y últimos tesistas doctorales
(Sinh, Hakim, Ladegaillerie, Contou-Carrère) Pursuing stacks [1983]

1984-88
Director de investigación en el CNRS
Esquisse d'un programme [1984]
(candidatura apoyada por Connes)
Récoltes et semailles [1985-86]
Recibe (con Deligne) el Premio Crafoord (1988) y lo rechaza La clef des songes [1987]

Retiro oficial (Junio 10 1988)
Les dérivateurs [1990]
------------------------------------------------------------------------------------

1991 Desaparición definitiva en los Pirineos

1991-2014 Último periodo de Grothendieck (en Lasserre)
Después de su muerte (Saint-Girons, Noviembre 13 2014)
la comunidad queda a la espera de sus cajas de manuscritos

La tesis doctoral: productos tensoriales topológicos y espacios nucleares
--------------------------------------------------------------------------------------------------

Artículos asociados
1950-51 Cinco primeras notas breves (13pp., CRAS 230, 231, 233)
(evt, duales, compacidad, patologías, productos tensoriales topológicos)

1952 "Critères de compacité dans les espaces fonctionnels généraux" (Amer. J. Math 74: 168-186)
"Résumé des résultats essentiels dans la théorie des produits tensoriels topologiques
et des espaces nucléaires" (Ann. Inst. Fourier 4: 73-112) (resultados concebidos en "otoño 1951")
[1952] "Produits tensoriels topologiques et espaces nucléaires" (Sem. Bourbaki 69: 193-200 - Dic. 1952)

1953 "Sur les applications linéaires faiblement compactes d'espaces du type C(K)" (Canad. J. Math. 5: 129-173)
"Sur les espaces de solutions d'une classe générale d'EDP" (J. Analyse Math. 2: 243-280)
"Sur certains espaces de fonctions holomorphes I, II" (J. reine angew. Math. 192: 35-64, 77-95)
Tesis
1953 Tesis Doctoral Produits tensoriels topologiques et espaces nucléaires – Tesis Complementaria sobre teoría de haces
(Defensa 28 Febrero: Presidente del Jurado, Henri Cartan; Jurados: Schwartz, Dieudonné, Choquet)
Extractos del Reporte Schwartz: "Grothendieck posee a su activo varias memorias importantes, cada una de las cuales podría constituir una Tesis" – "Muchas
ideas originales, una técnica perfecta (cada demostración es tan corta como sea posible y utiliza exactamente los métodos adecuados)" – "Carácter y valor
muy excepcionales" – "El autor ha adquirido una tal virtuosidad que no es exagerado considerarlo como el mayor especialista mundial en la materia".

1955 [1955] Produits tensoriels topologiques et espaces nucléaires (Memoirs Amer. Mathem. Soc., No. 16)

Caso de espacios de Banach: primer "producto tensorial normado completo" (^) (norma proyectiva), segundo producto
tensorial normado completo (^^) (norma inyectiva); topologías "razonables" en el Ä de evt loc. conv. elc) yacen entre
(^) y (^^) (193). Definiciones para el caso general de elc; aplicación lineal canónica (^) ® (^^) (194). Operadores de
[1952] Fredholm: "telescopía" (194). Caracterización de productos tensoriales proyectivos con L1 (Dunford-Pettis
"Produits..." (Sem. Bourbaki) generalizado), obstrucciones con Lp (p>1) (195). Buenos ejemplos de productos tensoriales sobre espacios nucleares
(espacios de funciones suaves u holomorfas) (195). Definición global de espacios nucleares (vía isomorfismo
topológico de (^) y (^^) para todos elc) – Caracterizaciones semi-globales (para todos Banach, para l1) - Caracterización
local (vía operadores de Fredholm) (196). Reducción: Banach nucleares = dimensión finita (197). "Teoremas de
permanencia": estabilidad bajo duales, cerrados, cocientes, productos arbitrarios, sumas enumerables, etc.
(pensamiento categórico, tipos de infinitud) (197). "Propiedades de elevación" (extensión sobre nucleares) (198).
"Propiedades de decrecimiento rápido" (sucesiones de valores propios rápidamente convergente) (200).

Introducción (3-27, 1ª parte). Objetivo: "estudio sistemático" de productos tensoriales topológicos y de "una nueva
clase notable", los espacios nucleares (3). Perspectiva: observación desde todos los evt localmente convexos
"generales" (4). Notaciones, límites inductivos, casos especiales, recordatorios.

[1953/55] Capítulo 1 – "Teoría general de los productos tensoriales topológicos" (28-191, 1ª parte). §1 Producto proyectivo:
generalidades, definiciones, "propiedades de permanencia" (clausura de construcciones categóricas). §2 Casos
especiales (tipo Fréchet, tipo sumabilidad). §3 Variantes diversas de productos tensoriales: producto inductivo,
Produits tensoriels operadores de Fredholm, topologías varias en el producto tensorial. §4. Dualidad: formas bilineales y lineales. §5.
topologiques et espaces Problemas de aproximación.
nucléaires
Capítulo 2 – "Teoría de los espacios nucleares" (3-140, 2ª parte). §1. Clases notables de operadores de Fredholm. §2.
Teoría "interna" de los espacios nucleares: definiciones, caracterizaciones, propiedades de permanencia, ejemplos. §3.
Producto tensorial topológico de un espacio nuclear por un espacio localmente convexo: extensión (ascenso, relevo),
permanencia, dualidad, casos funcionales usuales. §4. Producto tensorial de espacios tipo Fréchet y distribuciones:
consideraciones generales y contraejemplos, espacios escalonados, aplicaciones. "Preguntas no resueltas" (135-137).

Algunas características:
• escritura à la Bourbaki (primera Tesis Doctoral de un matemático excepcional con ese estilo)
• habilidad inventiva del lenguaje (red de definiciones apropiadas)
• esclarecimiento de situaciones generales y posteriores aplicaciones
• discriminación exacta (descenso) de equivalencias, suficiencias y necesidades entre los conceptos introducidos
• entendimiento en la pluralidad (categorías) y construcción de bordes (tipos) a partir de límites (arquetipos)

Los números de páginas remiten a los textos originales [1952], [1955]
Resúmenes complementarios en [Pietsch 2007], [Diestel 2014]

(A) ARMONÍA GROTHENDICKIANA EN LOS PRODUCTOS TENSORIALES TOPOLÓGICOS

"natural" global
E nuclear ssi las dos topologías naturales
sobre EÄF coinciden (para todo F elc)
Ä proyectivo (trans)
ARMONÍA BALANCE
Ä inyectivo (obstr)
E nuclear ssi la familia de seminormas que le
definen posee propiedad telescópica (Fredholm)
"artificial" local

reticulado
fuerzas en EQUILIBRIO

urdimbre: red de definiciones

trama: red de equivalencias y caracterizaciones
ramificación: red de clases de ejemplos (obstrucciones / tránsitos)

(B) ARQUETÍPICA GROTHENDICKIANA EN EL CONTEXTO ROMANTICISMO-MODERNIDAD

Urphänomen
[Goethe: ideas 1786/87; publicación 1795]
fenómeno "simple", "abstracto", "inicial"
[Carta de Hegel a Goethe, 1821]

Arquetipo
(UNO)

Tipos
(MÚLTIPLE)

Hannah Arendt sobre Walter Benjamin [1968]:
Para él [Benjamin] el tamaño de un objeto tenía una relación inversamente proporcional a su importancia.
Y esta pasión (...) derivaba directamente de la única visión del mundo que siempre tuvo una influencia decisiva sobre él,
la convicción de Goethe sobre la real existencia de un Urphänomen, un fenómeno arquetípico,
una cosa concreta que se podía descubrir en el mundo de las apariencias donde la "significación" y la apariencia, palabra y cosa, idea y experiencia coincidirían.
Cuanto más pequeño el objeto, más parecía poder contener la forma más concentrada de todo lo demás.

"HAZ" DE LOS PASAJES de París (Benjamin)

Forma

PROYECCIÓN REFLEXIÓN ("apocatástasis")

Residuos

Espacios vectoriales topológicos
Resumen de la teoría métrica de productos tensoriales topológicos
----------------------------------------------------------------------------------------------

1953-1956 Decena de artículos en análisis funcional

1953 [1956] "Résumé de la théorie métrique des produits tensoriels topologiques"

Bol. Soc. Mat. Sao Paulo 8 (1956): 1-79.

1954 Espaces vectoriels topologiques (curso dictado IMPA, Sao Paulo 1952; escrito y multicopiado 1954)
Traducción: Topological Vector Spaces, New York: Gordon and Breach, 1973 (Prefacio, 1968?).

"INTRODUCCIÓN" (1-5). "Resultados completamente nuevos sobre los espacios clásicos L1, L2, L¥" (1). "La teoría de productos
tensoriales topológicos de espacios localmente convexos generales gana en claridad y sencillez al exponerse primero para los espacios
de Banach" (1). Búsquedas metodológicas: "despejar una sucesión lógica de ideas" (1), rastrear "consecuencias naturales" (1),
adoptar una terminología nueva que lleve a "simplicidad, coherencia y simetría" (2), proporcionar "formas concisas y sugestivas" (2),
abordar "en un solo golpe de vista las relaciones entre las muy numerosas variantes del teorema fundamental" (2), llegar a una
"comprensión verdadera" de la teoría (2). [nuestras cursivas]

§1 (7-16) "LAS Ä-NORMAS". "Normas razonables" en un producto tensorial de espacios de Banach: Ù (proyectiva, "más
grande"), Ú (inyectiva, "más pequeña") – caracterizaciones de los completados asociados (7-8). Ä-normas para espacios de
dimensión finita – simetrías y orden entre normas (8-10). Extensión de Ä-normas a espacios de dimensión infinita –
aproximación a través de subespacios de dimensión finita – extensión por continuidad – normas accesibles (vía duales y
finitud) (10-11). Formas bilineales y aplicaciones asociadas a una Ä-norma (11-12). Formas y aplicaciones nucleares (13-15).
Comparación de Ä-normas: módulo accesibilidad, "todos" se sumergen en el "mismo" (15) (fina dialéctica platónica
Otro/Mismo) – dominancia y equivalencia entre normas (15) – relación entre casos real y complejo (16).

§2 (16-32) "LAS Ä-NORMAS LIGADAS A LOS ESPACIOS C Y L". Complementos sobre Ù, Ú – representaciones integrales –
[1956] representaciones por medio de factorizaciones canónicas – productos tensoriales con parámetros sobre L1 y C0 (16-18).
Espacios de tipo C y de tipo L – estructura vectorial-topológica – prolongaciones (desde subespacios), relevos (desde
cocientes) (18-21). Ä-normas inyectivas y proyectivas – caso de Ú (inyectiva), Ù (proyectiva) – pasos sistemáticos generales de
Résumé... la obstrucción al tránsito (21-23). Formación de nuevas Ä-normas – plasticidad notacional y terminológica (simetrías y
dualidad) ligada a suavidad estructural (isometrías y factorizaciones) – red de productos tensoriales con tipos C, L y espacios
generales a la luz de la red de nuevas normas (23-27). Red de 6 normas derivadas: /Ù , Ù\ , /Ù\ , Ú/ , \Ú, \Ú/ (27-28). "Tablero
de las Ä-normas naturales" – 4 nuevas normas – arquetipos cociente y subespacio – normas naturales (clausura de Ú bajo
duales, transpuestas y diagonal) – 2 normas naturales adicionales ("hilbertianas") – Tablero general de las 14 (clases de)
normas naturales (reticulado y propiedades de factorización) – metodología explicativa (designaciones simbólicas, simetrías
transpuesta y dual, implicaciones de dominación, reducción del número de normas en los casos C, L o H) (28-32).

§3 (32-45) "LAS Ä-NORMAS LIGADAS AL ESPACIO DE HILBERT". 2 normas "hilbertianas" H, H' (buen comportamiento sobre bilineales
de productos de Banach en espacios de Hilbert) – comparaciones con /Ù\ , \Ú/ (32-33). Formas hermitianas asociadas a H
(34-36) y H' (36-38) – representaciones vía L2 (37). Relaciones elementales entre H y H' (38), y relaciones con "pesos"
integrales (39-41) – factorizaciones canónicas (38-42). "Clases naturales de operaciones lineales en espacios de Hilbert" –
Caracterización de espacios de Hilbert como L-subespacios y C-cocientes (*) – red de diversos enunciados equivalentes a
(*) por medio de comparaciones entre normas (42-45).

§4 (45-59) "LAS RELACIONES ENTRE LOS DOS GRUPOS DE Ä-NORMAS". Funciones de tipo a (enlaces tensoriales L1, L¥) (45-47).
"Teorema fundamental de la teoría métrica de los productos tensoriales": Desigualdad de Grothendieck (47-50) y demostración
(aproximación finitaria y cálculo geométrico natural) (50-52). Consecuencias para la teoría de operadores lineales – "mejoría de
operadores por composición" – caracterización vectorial-topológica de (*) (52-55). Aplicaciones al análisis armónico (55-58).
"Preguntas abiertas": problema de aproximación (accesibilidad / accesibilidad métrica de espacios de Banach) "parece
improbable" (58) [en efecto, Enflo 1972]) – "mejores constantes" (58) y distinción casos complejo/real – "equivalencias de
interés", "recíprocas diversas" (59) – comparaciones de normas proyectiva e inyectiva a través de sucesiones de operadores
(59) – "estudio de la estructura vectorial-métrica fina de los espacios de Banach generales" (59).

"OBSERVACIONES" (61-63). Algunos resultados debidos a Schatten "reencontrados independientemente por el autor" (61).
"Dificultades esenciales" ligadas a accesibilidad (61). Método de hipótesis generales y "numerosas consecuencias" (61).
Existencia de una infinitud continua de Ä-normas no equivalentes (62). Resultado de Takeda "obtenido simultáneamente por
el autor" (63).

Características similares a la de la Tesis Doctoral: escritura à la Bourbaki, habilidad inventiva del lenguaje (red de definiciones apropiadas, red
notacional y terminológica), esclarecimiento de situaciones generales y posteriores aplicaciones, discriminación exacta (descenso) de
equivalencias, suficiencias y necesidades entre los conceptos introducidos, entendimiento en la pluralidad (red de normas) y construcción de
acotaciones (tipos en la Desigualdad de Grothendieck) a partir de una constante universal (arquetipo KG).

Los números de páginas remiten a la transcripción del Résumé disponible vía www.ime.usp.br
Visita de Grothendieck a Brasil (otoño 1952 - fines 1954) descrita en [Azevedo 2008]
Visiones matemáticas del Résumé en [Diestel, Fourie, Swart 2008], [Pisier 2011]

tres normas tensoriales fundamentales
(arquetipo)

catorce normas tensoriales naturales
(tipos)

RETICULADO DE NORMAS TENSORIALES

Desigualdad de Grothendieck

relación profunda entre normas tensoriales para

operadores sobre L2 (tipo Hilbert), L1 L¥ (tipo Banach)
$K "T Î L¥ÄL¥ êêTêêÙ £ K êêTêêH

si K es óptima (=KG), lo poco que se sabe es:
1 < KG (complejos) < KG (reales) £ 1.782
[Pisier 2011]

arquetipo profundo y desconocido

Categorías abelianas
---------------------------------------------

1955-56 Elaboración del trabajo: Kansas 1955 - París 1956 (ver correspondencia Grothendieck-Serre, SMF 2001)

1957 [1957] "Sur quelques points d'algèbre homologique"

Tôhoku Math. J. 9 (1957): 119-221 (Tannaka, editor).

"INTRODUCCIÓN" (119-122). "Recibido Marzo 1 1957" – "Lo esencial de los capítulos I, II, IV y una parte del capítulo III ha sido desarrollado en la
primavera 1955, en ocasión de un Seminario de Álgebra Homológica en la Universidad de Kansas" (119). "Contenido del trabajo": "Este trabajo
tiene su origen en un intento de explotar la analogía formal entre la teoría de la cohomología de un espacio con coeficientes en un haz y la
teoría de los funtores derivados de funtores de módulos, para encontrar un cuadro común que permita englobar estas teorías y otras" (119).
Cap. I: (i) estructura: existencia de suficientes inyectivos o proyectivos gracias a "criterios dúctiles" ligados a sumas y productos infinitos; (ii)
lenguaje: categorías aditivas y abelianas (119). Cap. II: "formalismo homológico en categorías abelianas", resoluciones, sucesiones espectrales
(119). Cap. III: "redesarrollo" de la cohomología a coeficientes en un haz, "suavización" con respecto a Cartan y Serre ("sin casi hipótesis
restrictivas sobre la naturaleza de los espacios"), aplicabilidad a los espacios no separados de la geometría algebraica abstracta o la "geometría
aritmética"; "conversaciones preciosas" con Godement y Cartan (119-120). Cap. IV: "pregunta no clásica" de Ext de haces de módulos, enlace de
Ext globales y locales (120). Cap. V: estudio de acciones de grupo adicionales sobre el espacio, el haz de anillos sobre el espacio y un segundo
haz de módulos sobre el primer haz; "forma definitiva" de homología tipo Cech, gracias a nuevos funtores de cohomología, implícitos en casos
anteriores (120). "Aplicaciones": "por falta de espacio, solo pude dar muy pocas aplicaciones". Otras más: (a) dualidad de Grothendieck,
extiende teoremas de Serre (FAC); (b) extensión (a variedades algebraicas completas) de resultados de Serre sobre variedades proyectivas; (c)
"intermediación natural" de resultados de Steenrod (potencias reducidas y simétricas) en haces (120). "Lagunas": "silencié las estructuras
multiplicativas" de las cuales "no parece haber aún una teoría satisfactoria, con el grado de generalidad y sencillez necesaria" (nota a pie de
página: Cartier acaba de encontrar esa "formulación satisfactoria general") (120). "Expreso mis agradecimientos a los señores Godement,
Cartan y Serre, cuyo interés ha sido el estímulo indispensable para la redacción del trabajo" (121). Tabla de contenidos (121-122).

"CAPÍTULO I. GENERALIDADES SOBRE LAS CATEGORÍAS ABELIANAS" (122-139). "I.1. Categorías". Categoría (conjuntos Hom), categoría dual, epis y
monos (vía conjuntos Hom), isos, subobjetos ("sous-trucs"), objetos cociente ("trucs quotient"), (representación de) productos directos
(escogencia vía símbolo t de Hilbert), categorías con productos y con productos infinitos, (representación de) sumas directas (escogencia vía
símbolo t de Hilbert) (122-124). "I.2. Funtores". Funtores covariantes y contravariantes, morfismos funtoriales (= transformaciones naturales),
[1957] equivalencia de categorías (en realidad, define una adjunción [observación posterior de Marquis], que luego se subespecializa en
equivalencia), distinción de equivalencia e isomorfismo (124-125). "I.3. Categorías aditivas". Categoría aditiva (los Hom son grupos abelianos,
existen sumas y productos finitos, existe un cero), núcleo, conúcleo, imagen (126). "I.4. Categorías abelianas". Categoría aditiva con axiomas
suplementarios AB1 (existencia de núcleo y conúcleo para todo morfismo), AB2 (Coim(u) ®Im(u) es iso para todo morfismo u); ejemplos de
Sur categorías aditivas no abelianas (módulos topológicos separados, grupos abelianos filtrados, espacios fibrados holomorfos sobre superficies
quelques de Riemann); retículos de subobjetos y objetos cociente; sucesiones exactas y funtores exactos (127-128). "I.5. Sumas y productos infinitos".
Axiomas adicionales "en orden de fuerza creciente": AB3 (existencia de sumas directas arbitrarias), AB4 (AB3 + suma arbitraria de monos es
points mono), AB5 (AB3 + ley de distribución locálica para subobjetos), AB6 (AB3 + extensión arbitraria de distribución AB5, "no se usará en el
d'algèbre trabajo"); ejemplos de categorías abelianas que distinguen los axiomas infinitarios (grupos abelianos, grupos topológicos abelianos
compactos, HACES DE GRUPOS ABELIANOS SOBRE UN ESPACIO TOPOLÓGICO); "axiomas sobre todo útiles para el estudio de límites inductivos y
homologique proyectivos" (128-130). "I.6. Categorías de diagramas y propiedades de permanencia". Esquemas (S), diagramas en una categoría (C), categoría
de diagramas C(S), diagramas conmutativos (S), categoría de diagramas conmutativos C(S), propiedades de permanencia: C aditiva, con
productos o sumas infinitas, satisface ABj 1£j£6, implica lo mismo para C(S); extensiones canónicas de funtores de C a C(S) (130-131). "I.7.
(en negritas, los Ejemplos de categorías definidas por esquemas de diagramas". Categoría trivial, categoría producto, categoría de funtores, categoría de
aportes originales complejos (homológicos), categoría de acciones de grupo, categoría de representaciones de un anillo unitario, sistemas inductivos y
mayores de proyectivos, prehaces (131-133). "I.8. Límites inductivos y proyectivos". Definición de límites inductivos (escogencia canónica vía simbolo de
Grothendieck) Hilbert t), existencia de límites inductivos en categorías abelianas con AB3, funtorialidad exacta de la construcción asumiendo además
AB5 (133-134). "I.9. Generadores y cogeneradores". Familia de generadores, generador, ejemplos (en módulos, haces, haces de haces), sistema
de generadores provenientes de un esquema, existencia de generador implica existencia de cogenerador en categorías abelianas con AB5
(ejemplo, toro como cogenerador de categoría de módulos) (134-135). "I.10. Objetos inyectivos y proyectivos". Definición de objeto inyectivo
(vía exactitud del funtor representable); teorema principal: EXISTENCIA DE SUFICIENTES INYECTIVOS EN CATEGORÍAS ABELIANAS CON AB5 Y CON UN
GENERADOR; prueba vía buena potenciación (deducida del generador), lema de Zorn, propiedades del maximal y recurrencia transfinita; caso de
interés "no visible a un ojo desnudo": categorías de diagramas (135-137). "I.11. Categorías cociente". "Las consideraciones sistematizan y
suavizan el «lenguaje módulo C» de Serre"; subcategorías completas ("complètes") y espesas ("épaisses"); categorías cociente e interés de
propiedades de reflexión (137-139).

"CAPÍTULO II. ÁLGEBRA HOMOLÓGICA EN LAS CATEGORÍAS ABELIANAS" (139-153). "2.1. ∂-funtores y ∂*-funtores". ∂-funtores (y duales ∂*) (entre una
categoría abeliana y una aditiva, formalización de la noción de borde); funtores cohomológicos como ∂-funtores exactos de grado infinito (y
duales homológicos) (entre dos categorías abelianas) (139-140). "2.2. ∂-funtores universales". ∂-funtores universales (proyectores de la
cohomología, "arquetipos") y funtores satelitales ("tipos" medios); caracterización de los universales como borrables ("effaçables") ligados a
resoluciones inyectivas; existencia de satelitales en categorías abelianas con condiciones de finitud (ejemplo: categoría abeliana de grupos
algebraicos completos sobre característica 0), y, ortogonalmente, en categorías abelianas con sumas infinitas, buena potenciación y AB5 (140-
143). "2.3. Funtores derivados". Funtores derivados, subobjetos de un inyectivo y resoluciones inyectivas (extensión de Cartan-Eilenberg a
categorías abelianas); construcción universal de funtores cohomológicos a partir de propiedades de inyectividad y exactitud; obstrucción en el
caso de proyectivos (categoría abeliana con suficientes inyectivos y no suficientes proyectivos: haces de módulos sobre un haz de anillos
dado sobre un espacio topológico) (143-144). "2.4. Sucesiones espectrales y funtores espectrales". "Despejar los casos generales más útiles"
detrás del Cartan-Eilenberg; categoría de objetos filtrados como ejemplo de categoría aditiva no abeliana; familia graduada asociada a un
objeto filtrado, sucesión espectral, funtor espectral, sucesión espectral cohomológica, caso de la cohomología de un complejo; funtores
espectrales derivados; relaciones diversas entre funtores derivados; CONSTRUCCIÓN DE FUNTORES ESPECTRALES COHOMOLÓGICOS CON DERIVADOS
FINALES DADOS, A PARTIR DE PROPIEDADES DE INYECTIVIDAD Y EXACTITUD (144-148). "2.5. Funtores resolventes". Funtores resolventes y
reconstrucciones cohomológicas vía resoluciones inyectivas; resolución de la identidad; funtor representable resolvente asociado a una
resolución proyectiva; cálculo de sucesiones espectrales mediante funtores resolventes (mediaciones y diagramas generales) (149-153).

"CAPÍTULO III. COHOMOLOGÍA A COEFICIENTES EN UN HAZ" (153-182). "3.1. Generalidades sobre los haces". Prehaces y haces a partir de abiertos;
prehaces y haces de grupos, o a valores en una categoría arbitraria; categoría aditiva de prehaces o haces a valores en una categoría aditiva;
categoría abeliana de prehaces o haces de grupos abelianos; funtor de hacificación; relaciones entre espacios fibrados ("espaces étalés") y
(pre)haces; caracterización de haces: un prehaz es haz si y sólo si el homomorfismo natural entre el prehaz y su espacio fibrado natural es
isomorfismo (se obtiene entonces una equivalencia entre la categoría de espacios fibrados y la categoría de haces); espacios fibrados de
grupos: las leyes de grupo en cada fibra satisfacen una ley de continuidad natural; haz de haz de módulos (sobre un haz original O de anillos
unitarios); LA CATEGORÍA CO DE ESOS HACES DE HACES ES ADITIVA, ABELIANA, SATISFACE AB5 Y AB3*, Y ADMITE UN GENERADOR; CO posee suficientes
inyectivos (prueba nueva según Grothendieck, prueba clásica según Godement) (153-156). "3.2. Definición de los Hp(X,F)". Se trata de los
funtores derivados (= satelitales) asociados a un haz F de grupos abelianos sobre un espacio topológico X; resultan ser funtores
cohomológicos; cálculo eventual vía anulaciones de los Hp(X,F) para p>0 (condiciones de "aciclicidad"); imagen inversa de haces; cohomología
natural asociada a la imagen inversa (156-158). "3.3. Criterios de aciclicidad". "Desarrollos debidos a Godement"; condiciones de exactitud y
cubrimiento para tener una clase de objetos inyectivos; validación de esas condiciones para clases de haces fofos ("flasques") y blandos
("mous"), y consecuencias de aciclicidad; resoluciones de la identidad (Godement, Cartan); "un ejemplo divertido": aciclicidad obtenida para un
haz constante de grupos abelianos sobre un espacio irreducible (158-160). "3.4. Aplicaciones a cuestiones de relevo del grupo estructural".
Enlace con trabajos de Serre en geometría algebraica y trabajos de Chevalley en variedades algebraicas (por venir: esquemas); combinación
de geometría, aritmética, álgebra, variable compleja (por venir: Riemann-Roch generalizado); CONSTRUCCIÓN DE UN COBORDISMO FUNTORIAL ENTRE
LOS GRUPOS DE COHOMOLOGÍA DE HACES; comparación del estudio de H1(X,F) vía cohomología de Cech y vía el "tratamiento axiomático de este
trabajo"; ejemplos con variedades holomorfas y fibrados holomorfos (160-166). "3.5. La sucesión exacta relativa a un subespacio cerrado".
Caracterización de las cohomologías a coeficientes en funtores restringidos a cerrados y abiertos (166-167). "3.6. Sobre la dimensión
cohomológica de ciertos espacios". Control estructural (vía AB4 y límites inductivos) de los funtores cohomológicos definidos sobre
categorías de haces de grupos abelianos (prueba utiliza aproximaciones finitarias); control estructural (vía AB5 y generadores) de los

funtores derivados definidos sobre categorías abelianas (prueba utiliza aproximaciones inyectivas); permutación de funtores cohomológicos

y límites inductivos bajo condiciones adecuadas de finitud (compacidad local, espacio de Zariski = sucesión decreciente de cerrados es
estacionaria); DIMENSIÓN COMBINATORIA ACOTADA IMPLICA DIMENSIÓN COHOMOLÓGICA ACOTADA PARA HACES ABELIANOS SOBRE ESPACIOS DE ZARISKI ("el
tema generaliza un teorema anterior de Serre") (167-171). "3.7. La sucesión espectral de Leray de una aplicación continua". Imagen directa de
un haz; propiedades del funtor imagen (ecuación universal, exactitud, preservación de inyectivos, etc.); construcción natural de funtor
cohomológico (sobre haces abelianos) asociado a una aplicación (imagen) continua (171-174). "3.8. Comparación con la cohomología de

Cech". Grupos de cohomología de Cech; obstrucción: no forman en general un funtor cohomológico sobre haces de grupos abelianos (ejemplo

delicado de Grothendieck); tránsito: bajo condiciones adicionales (paracompacidad, siguiendo a Cartan) la sucesión espectral asegura
isomorfismos entre las dos cohomologías (vía funtores derivados o vía Cech) (174-179). "3.9. Criterios de aciclicidad por el método de
recubrimientos". Recubrimientos de un espacio y enlace entre grupos de cohomología locales y globales; aplicaciones a variedades de Stein
(Cartan) y matrices holomorfas (179-181). "3.10. Pasos al límite en cohomología de haces". Con condiciones adecuadas sobre las categorías
(suficientes inyectivos, AB5), los límites inductivos de funtores entre esas categorías permiten reconstruir los morfismos coborde; aplicación

en el caso de grupos topológicos metrizables completos (181-182).

"CAPÍTULO IV. LOS EXT DE HACES DE MÓDULOS" (183-195). "4.1. Los funtores Hom". Funtores Hom locales (sobre vecindades) y puntuales (sobre

puntos) y pasajes entre ellos mediante consideraciones de tipo finito (coherencia) (185-187). "4.2. Los funtores Ext y la sucesión espectral

fundamental". Reconstrucción como funtores derivados y como prehaz abeliano, dicotomía local/global, enlace mediante funtores
representables y condiciones de coherencia, aplicaciones a sucesiones espectrales y resoluciones canónicas (187-190). "4.3. Caso de un haz
de anillos constante". Condiciones de exactitud (envío de inyectivos en inyectivos), existencia de funtores canónicos (cohomología espectral),
resoluciones abelianas (191-193). "4.4. Caso de haces con un grupo de operadores". Aplicación de los resultados del capítulo al caso de la
categoría de acciones de grupo sobre haces (193-195).

"CAPÍTULO V. ESTUDIO COHOMOLÓGICO DE LOS ESPACIOS CON OPERADORES" (195-220). "5.1. Generalidades sobre los G-haces". Categorías (aditivas) de
G-haces de grupos, anillos, G-haces abelianos, etc. Categoría abeliana de G-O-módulos (sobre un G-haz de anillos O), satisface AB5, AB3* y

posee un generador. Imágenes inversas y directas de G-haces. Ejemplos en el caso de variedades diferenciables u holomorfas (preludio
intuitivo al Riemann-Roch generalizado, por venir) (195-199). "5.2. Los funtores Hn(X, G, A) y las sucesiones espectrales fundamentales".
"Funtores cohomológicos universales" (formados por grupos abelianos o haces), aplicaciones a construcción de sucesiones espectrales y
resoluciones canónicas, casos particulares de aciclicidad. Ejemplo en el caso de un grupo de Galois de un recubrimiento y "mismos resultados
en el caso de las variedades aritméticas" (intuición de los esquemas, por venir) (199-203). "5.3. Caso de un grupo discontinuo de
homeomorfismos". Aplicaciones de resultados anteriores a condiciones sobre estabilizadores y (ausencia de) puntos fijos (203-205). "5.4.
Transformación de la primera sucesión espectral". Cálculos de sucesiones espectrales y aplicaciones diversas a grupos finitos (205-207). "5.5.
Cálculo de los Hn(X,G, A) mediante recubrimientos". Teoremas de representación locales y globales, enlaces vía condiciones topológicas
(paracompacidad, separación, etc.) (207-213). "5.6. Los Extn(X, A, B)". Fórmulas de enlace entre funtor de secciones y funtores representables

en el caso de G-O-módulos; conexiones entre inyectivos, aciclicidad; construcción de sucesiones espectrales y resoluciones; isomorfismos entre

funtores Ext y funtores derivados (213-219). "5.7. Introducción de las familias F". Fórmulas funtoriales extendidas, y aplicaciones a casos de
grupos finitos o acciones triviales (219-220).

Bibliografía (221): Atiyah, Borel, Buchsbaum, Cartan, Cartier, Chevalley, Eilenberg, Godement, Grothendieck, Hochschild, Mac Lane, Serre, Shapiro, Weil.

[2001]
(G ®S, 25 Feb 1955) Analogía de teoría de funtores derivados y cohomología de espacios a coeficientes en un haz, sin saber aún "si marcha tan bien en el caso de un
Correspondencia espacio no separado" (13-14). (S ®G, 13 Feb 1955) "Tu artículo sobre el álgebra homológica fue leído con cuidado [en el Congreso Bourbaki] y convirtió a todo el
Grothendieck-Serre mundo (aún a Dieudonné, ¡quien parece completamente funtorizado!)" (17); comparación con Buchsbaum y papel disruptor de Eilenberg (18-19). (G ®S, 1 Sep 1956)
(apuntes sobre el "Pasé lo mejor del mes pasado en la redacción de mi multiplodoco de álgebra homológica (...) más de 100 páginas en gran formato"; incluye tabla de contenidos muy
Tôhoku) similar a la definitiva (43). (G ®S, 19 Sep 1956) Dificultades de publicación en Estados Unidos y en Bourbaki (45). (G ®S, 13 Nov 1956) Propuesta de publicación al
Tôhoku, revista de Tannaka, donde "los artículos-río no les desaniman" (49).

Los números de páginas remiten al texto original [1957]
y a la correspondencia Grothendieck-Serre [2001]

ALGUNAS FUERZAS MAYORES EN EL TÔHOKU

----------------------------------------------------------------------------------------------------------------------------------------------------------------
(1) vaivenes entre lo uno y lo múltiple

NO: definir un objeto y explorar una estructura externa sobre el objeto Cat – E general
SÍ: definir la categoría de todos los objetos y explorar la estructura interna de la categoría Obj + E particular

NO: entender un objeto "en sí" (uno: objeto interno X)
SÍ: entender un objeto "en otro" (múltiple: funtor representable externo hX)
----------------------------------------------------------------------------------------------------------------------------------------------------------------
(2) "cuadro común"

"analogía formal" entre
cohomología a coeficientes en un haz (herencia riemanniana)
serie de funtores derivados de funtores de módulos (herencia galoisiana)
enlaces naturales entre
geometría algebraica, topología, variable compleja, (co)homología
sustento: teoría de haces
----------------------------------------------------------------------------------------------------------------------------------------------------------------
(3) construcciones universales y nociones de equivalencia

NO: ($) » SÍ: ($!) ~

inversión "metafísica": (tipos) (arquetipos)
inversión metodológica: (estática) (dinámica)

el arquetipo (= arkhê; ark- raíz griega; arkeô = alejar; akhô = fundar; arkhên = proyectar)
emerge a través de las transformaciones de los tipos y las invarianzas de las transformaciones
("lenguaje módulo C de Serre", categorías cociente y variación sobre la base según Grothendieck)

arquetipología general: esquemas horizontales (comando), verticales (corte), rítmicos (giro, ramificación, dilatación)
[Les structures anthropologiques de l'imaginaire, Durand 1960]
----------------------------------------------------------------------------------------------------------------------------------------------------------------
(4) manejos infinitarios (el "paraíso" cantoriano)

axiomas AB3-AB6: productos y límites inductivos arbitrarios
generador: integración interna (en un objeto) de la diferenciación externa (en toda la categoría)

fuerza arquetípica de AB5 + generador: existencia de suficientes inyectivos
fuerza arquetípica de abelianidad + inyectividad: construcción de funtores cohomológicos y derivados

----------------------------------------------------------------------------------------------------------------------------------------------------------------

ALGUNAS CITAS SOBRE LA INFLUENCIA DEL TÔHOKU

"Los primeros artículos sobre categorías no tuvieron secuelas inmediatas, puesto que en ese periodo proveyeron solo un lenguaje. La
noción de teoría de categorías como un tema propio de estudio aparece solo en la tercera fase del movimiento del álgebra abstracta,
es decir, el periodo 1957-1974, bajo la influencia de Grothendieck." [MacLane 1981]

"El Tôhoku demostró que las categorías podían ser un instrumento para realmente hacer matemáticas, y desde allí en adelante el
desarrollo fue rápido." [Barr & Wells 1985]

"Después de la creación de la noción moderna de espacio topológico y el descubrimiento de los procesos básicos de límites en la
teoría de la medida, el siguiente conglomerado mayor de nuevas y sorprendentes construcciones infinitarias fue introducido por
Alexander Grothendieck con su tratamiento del álgebra homológica, categorías derivadas y funtores, topos y sitios." [Manin 1998]

"Se reconoce el toque del Maestro en la idea de que el problema no es cómo definir un motivo: el problema es definir la categoría de
los motivos, y desenterrar las estructuras que lleva la categoría." [Deligne 1998]

10

Riemann-Roch y K-teoría
----------------------------------------
Registro parcial de intereses:
• 1951: Tribu No. 25 (exposición de Grothendieck para Seminario Bourbaki: Riemann-Roch según Kodaira)
• 1955-57: Correspondencia Grothendieck-Serre (ver resumen abajo)
• 1955-56: Tôhoku (pistas indicadas en sesión previa de este Seminario)
• 1957: Séminaire Cartan (exposición de Grothendieck, "Sur les faisceaux algébriques et les faisceaux analytiques cohérents")

1957 [1957] "Classes de faisceaux et théorème de Riemann-Roch" (Rapport Riemann-Roch, RRR)
(Noviembre 1 1957), reproducido en: SGA6, pp. 20-77.

1958 [1958] Armand Borel & Jean-Pierre Serre,

"Le théorème de Riemann-Roch (d'après des résultats inédits de A. Grothendieck)",
Bulletin de la Société Mathématique de France 86 (1958): 97-136.

"Cap. I. l-anillos (preliminares formales)". "1. Definiciones". Anillos con operadores homomórficos en series formales (21-23). "2. Ejemplos".
K(G,k) para G grupo, k anillo conmutativo; casos de grupos algebraicos, topológicos, de Lie, formas cuadráticas, etc. ("Prometemos no
necesitar todos esos ejemplos para tratar el teorema de Riemann-Roch!"); determinaciones específicas con condiciones adicionales sobre G;

K(X) para X variedad algebraica (24-28). "3. El "l-anillo definido por un anillo graduado". Construcción formal y funtorial de un
homomorfismo de Chern, que da lugar a las clases de Chern (28-33). "4. Las operaciones lp(N,x)". Ecuaciones relativas, características (Euler-
Poincaré), alternadas (Riemann-Roch), en el caso abstracto de anillos de series formales y polinomios universales (33-38). "Cap. II. Clases de
haces algebraicos coherentes y clases de Chern". "1. La teoría de Chow". "Fijaremos un cuerpo de base k que supondremos algebraicamente
cerrado. Un gran fragmento de lo que sigue, y tal vez todo, es sin embargo válido sin esa restricción" (38); anillo de Chow A(X) (anillo
[1957] graduado de clases de ciclos sobre una variedad X con buenas propiedades); matemática relativa: A como funtor contravariante; ecuación
relativa; teoría Chow de clases de Chern (38-42). "2. Definición de clases de Chern de haces algebraicos coherentes". Definición de K(C) para C
subclase de una categoría abeliana; matemática relativa: construcción de funtores cohomológicos entre los K(C) gracias a resoluciones
RRR inyectivas; aplicación al caso de haces coherentes (42-47). "3. Generalidades funtoriales sobre K(X)". Definición de multiplicación gracias a
alternación de los Tor; propiedades homomórficas y funtoriales; ecuación relativa (47-54). "4. Algunos resultados técnicos". Propiedades
funtoriales para filtraciones; descomposición celular (generación del grupo K) (54-63). "5. Definición hacificada de clases de Chern. Aplicación
al estudio de morfismos inyectivos". Ecuaciones relativas para el caso inyectivo; observaciones sobre limitantes, extensiones y modificaciones
de la prueba (demostración "situada" en un espacio, aunque "ciertamente verdadera" en general, 68) (63-68) "6. El teorema de Riemann-
Roch". Prueba en característica 0, ampliada a toda característica (ver añadido); referencias: Hirzebruch, Serre, Grothendieck (69-71)
Añadido. "Demostración del teorema de Riemann-Roch (Grothendieck, Noviembre 1 1957)" (71-76). Prueba en característica arbitraria,
"basada sobre un principio diferente" (69). "Notamos K(X) el grupo abeliano generado por las clases de haces coherentes sobre X (módulo la
identificación de una extensión a una suma); la suma alternada de los Tor hace de K(X) un anillo" (71). "Notamos A(X) el anillo graduado de
las clases de ciclos de X (para la equivalencia racional, cf. Chow)" (72). Clases de Chern (ch) y de Todd (T) (elementos en A(X)ÄQ) (72).
Matemática relativa: dado un morfismo propio f : Y®X, construcción de homomorfismos naturales f* : A(Y)®A(X), f! : K(Y)®K(X) (72).
"Teorema de Riemann-Roch" (RR): en condiciones adecuadas, f*(ch(y)T(Y))=ch(f!(y))T(X) para yÎK(Y) (73). Condiciones de permanencia /

reducibilidad para RR (73). Con un "cálculo estándar" y con "cálculos elementales" se concluye la prueba (74-76).

"Lo que sigue constituye las notas de un Seminario llevado a cabo en Princeton, en el otoño de 1957, sobre los trabajos de Grothendieck; los
resultados nuevos que figuran se le deben a este último; nuestra contribución atañe únicamente a la redacción. El «teorema de Riemann-
Roch» del que se trata es válido para variedades algebraicas (no singulares) sobre un cuerpo de característica arbitraria; en el caso clásico, donde el
cuerpo de base es C, el teorema incluye como caso particular aquel demostrado hace unos años por Hirzebruch" (97). Generalidades sobre haces,
haces coherentes y aplicaciones propias (98-102). Matemática relativa: imágenes de haces, referencias al Tôhoku, propiedades de
permanencia de haces coherentes (102-104). Grupo K(X) de clases de haces sobre una variedad algebraica X – Presentación de K(X) a
[1958] través del grupo K1(X) de fibrados, vía resoluciones y diagramas conmutativos largos (105-108). Operaciones sobre K(X): interior: anillo
conmutativo; exterior: potencia; matemática relativa: imágenes directa e inversa (ojo, p. 110: ecuación relativa: propiedad estructural de un
conectivo intuicionista a la Peirce-Caicedo) (108-111). "El hecho de que K(X) = K1(X) permite extender la definición de clases de Chern a
haces coherentes arbitrarios" – "En el caso de un cuerpo de base arbitrario, Grothendieck (...) reemplaza H*(X) por el anillo graduado A(X) de
Le théorème de las clases de ciclos sobre X, bajo equivalencia lineal a la Chow" (111). Ecuación relativa para anillos A(X) – Clases de Todd – Clase
Riemann-Roch exponencial de Chern – Ecuaciones relativas para clases de Todd y de Chern (112). "Enunciado del teorema de Riemann-Roch": diagrama no
conmutativo (obstrucción) entre clases de Chern (para imágenes inversas asociadas a un morfismo propio entre "buenas" variedades) y
diagrama conmutativo (tránsito) entre clases de Chern "desviadas" por clases de Todd (113) – "El teorema R-R bajo la forma
Grothendieck implica la fórmula R-R-Hirzebruch" – "La demostración se hará por reducción a los casos particulares de una proyección y
una inyección" (113). Lemas de reducción: "caso de la inyección (...) más difícil" (113-115). Propiedades de exactitud y homotopía para K(X)
(115-118). Demostración R-R para el caso proyectivo: comportamiento funtorial de K con respecto a productos tensoriales, fórmula de
Hirzebruch válida para espacios proyectivos (118-119). Demostración R-R para el caso inyectivo: resoluciones locales de haces (120-
124), fórmula de Hirzebruch para el caso inyectivo (124), pruebas locales (125) y "explosión" global (125-128), lemas de translación (128,
129-135), "fin de la prueba de R-R" (129). "Manuscrito recibido el 9 Mayo 1958" (136).

[2001] (G®S, 18 Feb 1955) Intuición de cómo ciertos espacios universales y clasificadores podrían jugar un "papel en un Riemann-Roch algebraico, similar al que me has
vagamente explicado y que funciona en el caso complejo (debido a Hirzebruch)" (5). (G®S, 1 Nov 1957) "En anexo una demostración muy simple de Riemann-Roch,
Correspondencia independiente de la característica" – "Te señalo que «moralmente» el nuevo método descansa sobre la determinación de K(X) y A(X)" – enfatizando así la emergencia del
Grothendieck-Serre grupo K(X), fundamento de la K-teoría (57). (G®S, 12 Nov 1957) "De acuerdo con todas tus rectificaciones" – "Con la definición de clases de Chern para haces (...) el
(apuntes sobre teorema de Riemann-Roch puede también enunciarse en el caso de variedades no proyectivas (lo que sucederá en el caso clásico, gracias a la definición
Riemann-Roch) trascendente de las clases de Chern)" (59).

Los números de páginas remiten al texto de Grothendieck [1957], al artículo Borel-Serre [1958] y a la correspondencia Grothendieck-Serre [2001]
11

RIEMANN-ROCH CLÁSICO

Teoría de las funciones abelianas [Riemann 1857, sección V]

Apelación "Riemann-Roch" dada al teorema en [Brill & Noether 1874]

idea básica
conjugación armónica de lo UNO (geométrico) y lo MÚLTIPLE (algebraico)

el estudio de una función se determina por el estudio de una multiplicidad de funciones
sobre la superficie de Riemann de la función original

función f holomorfa
® superficie de Riemann S asociada (asuma compacidad)
® sistema de puntos Pi sobre S afectados con multiplicidades mi, m=åmi
® espacio vectorial H de funciones holomorfas con m ceros asignados sobre S
® espacio vectorial M de funciones meromorfas con m polos asignados sobre S

m - género(f) + 1 = dim (M) - dim(H)
invariante geométrico armonía algebraica

RIEMANN-ROCH-SERRE

haz Q de (gérmenes de) funciones meromorfas con polos asignados

® grupos de cohomología H0(Q), H1(Q) (espacios vectoriales complejos finito-dimensionales)
haz W de (gérmenes de) funciones holomorfas con ceros asignados
® teorema de dualidad de Serre: H1(Q) » (H0(W))*

m - género(f) + 1 = dim (H0(Q)) - dim(H1(Q))
= dim (H0(Q)) - dim(H0(W))
invariante geométrico equilibrio cohomológico

RIEMANN-ROCH-HIRZEBRUCH

en variedad fija X con "buenas" propiedades,

enlace entre clases de Chern (invariantes "aditivos" exponenciales en H*(X)),
clases de Todd (invariantes "multiplicativos" polinomiales en H*(X))
y sumas alternadas de dimensiones cohomológicas

RIEMANN-ROCH-GROTHENDIECK

- linealización profunda: emergencia de la K-teoría: grupo K(X), anillo A(X)

- naturalización de clases de Chern y de Todd como transformaciones entre K y H*
- relativización de Serre-Hirzebruch al caso de un morfismo f: X®Y (variación)

12

La conferencia de Edimburgo
La "gran visión" de la refundación de la geometría algebraica
-----------------------------------------------------------------------------------

1958 [1958] "The cohomology theory of abstract algebraic varieties",

Proceedings International Congress of Mathematics (ICM) Edinburgh 1958,
Cambridge: Cambridge University Press, 1960, pp. 103-118.

contenido matemático visión / metodología / filosofía

Influencia de Serre (FAC, 1955): "Esbozo breve de algunas ideas y resultados" que "inundarán" a la geometría
algebraica "en los próximos años, desde los fundamentos hasta sus partes más avanzadas" (103). Tópicos centrales de Marea subiente
la investigación cohomológica en geometría algebraica: (I) cohomología de Weil (103-104), (II) cohomología de haces Cohomologías por doquier
algebraicos coherentes (104), (III) aplicaciones de la cohomología al álgebra local (104-105).

Tema (I). Influencia de Weil (ICM, 1954): "Necesidad de una teoría de la cohomología para variedades algebraicas

abstractas" (coeficientes suaves, en característica 0, y propiedades formales, tipo Lefschetz) para darle sentido preciso
a las Conjeturas de Weil (103). Obstrucciones en el paso de car. p a car. 0 (programa de Serre): fallas con haces sobre la
topología de Zariski (obstrucción en característica), fallas con haces de vectores de Witt (obstrucción en generación
Hacia cohomologías
finita). Necesidad de grupos de cohomología "verdaderos" (103). "La cohomología de Weil debe ser definida por medio
continuas, suaves, lisas
de una aproximación completamente diferente": "conexiones entre cohomología de haces y cohomología de grupos
("étales": Victor Hugo)
de Galois, por un lado, y clasificación de cubrimientos no ramificados de una variedad, por otro lado" (enlace
entre Galois y Riemann, posteriormente denominado étale) (104). "No he iniciado estas investigaciones seriamente
aún" (104).

Tema (II). "Riqueza de nuevos métodos y nuevas nociones", siguiendo a Serre. (a) Teoremas de finitud y
comportamiento asintótico, (b) teoremas de dualidad y de residuos, (c) teoremas tipo Riemann-Roch, (d) resultados
sobre variedades abelianas (104).

Tema (III). "Métodos esencialmente debidos de nuevo a Serre". Caracterización de anillos locales regulares, teoría de
intersecciones "realmente satisfactoria por su sencillez algebraica y su generalidad". Teoría de dualidad local (formas Dialécticas local-global
diferenciales y residuos en contextos algebraicos generales) (105). Pasos generales de lo local a lo global (105).

La continuación de la conferencia está dedicada a "dar algunas ideas principales sobre el segundo tema, es decir, la
teoría cohomológica de los haces algebraicos coherentes" (105). "El espectro natural de las nociones y métodos usados
en geometría algebraica no es realmente el de las variedades algebraicas" (!), sino el de los esquemas (105-106), Paso de lo particular a lo general
donde se trabaja con enunciados sobre anillos arbitrarios (conmutativos con unidad; noetherianos si es el caso)
(105). Variación de variedades (afines) sobre un anillo (106). Extensión: la variación de variedades abstractas
sobre un anillo (característica arbitraria) da lugar a una correcta definición de esquemas (con nilpotentes admisibles, Paso de lo absoluto a lo relativo
allende Nagata y Chevalley, base para un desarrollo eventual de un cálculo diferencial): (i) esquemas afines: haces de
anillos locales sobre el espectro de ideales primos del anillo; (ii) esquemas generales (llamados "pre-esquemas"): haces
topológicos localmente de tipo (i) ("el principio de la definición correcta se encuentra de nuevo en Serre") (106). Nociones relativas de
Productos de esquemas y productos tensoriales de álgebras (107). Esquemas separados (llamados "esquemas") (107). separación y generación finita
Re-entendimiento de la geometría algebraica "usual" como el estudio de esquemas separados noetherianos con
condiciones de tipo finito (107) – Las propiedades de variedades (e.g. variedad completa) se codifican en propiedades
de morfismos entre esquemas (e.g. morfismo propio) (107). Máxima suavidad obtenida con respecto a las Suavidad global
operaciones de la teoría de haces (107). (Yin)

(II-c). "El teorema de Riemann-Roch, demostrado independientemente por Washnitzer y por mí en geometría
algebraica abstracta se expondrá por Hirzebruch en este congreso" (107-108).

(II-a). "Resultados principales en la teoría cohomológica de morfismos de esquemas": cálculo específico de los grupos

de cohomología "en el sentido general del álgebra cohomológica en las categorías abelianas" (108-110). Pruebas por
Naturalidad de la geometría
reducciones sucesivas e inducciones decrecientes: interés y necesidad de los métodos cohomológicos (110). Riqueza de
la vía geométrica, natural y general (111-112).

(II-b). "Teoremas de dualidad": extensiones de trabajos de Poincaré, Serre, Cohen-Macaulay (112-115). Dialécticas álgebra-topología

"Problemas abiertos" (115-117): "es tal vez muy pronto, ya que las nuevas técnicas disponibles no se han ensayado aún

con suficiente seriedad" (115). Problema A (Kodaira, homología trivial en el caso de ciertos espacios fibrados) (115-

116). Problema B (funtores derivados triviales en el caso de ciertos morfismos propios) (116). "Intuición heurística
Inventividad desde la abstracción
desde el punto de vista de los esquemas" (116). Problema C (condiciones para reducciones puntuales de morfismos)
(116). Problema D (propiedades de permanencia para esquemas de grupos) (116-117). Problema E (analogía, en
esquemas, de variedades de Picard – "la vía más simple concebible de cambios de base" – apertura, vía nilpotentes, al

desarrollo de una estructura infinitesimal, "ni siquiera obtenida aún en el caso clásico") (117).

"El trabajo ha comenzado y será llevado a cabo en un tratado sobre Geometría Algebraica que, se espera, será escrito en Disciplina y orden
los próximos años por J. Dieudonné y por mí, y que debe proveer un recuento sistemático de todas las preguntas Visión arquitectónica
mencionadas en esta charla" (117). (Yang)

Bibliografía (117-118): Auslander&Buchsbaum, Barsotti, Borel&Serre, Cartier (2), Chevalley&Cartan, Godement,

Grothendieck (3), Nagata, Rosenlicht, Serre (7) (!), Tate, Washnitzer, Weil (2), Zariski (2).

13

"Co/razón" de la Conferencia de Edimburgo

"Razón" de la Conferencia de Edimburgo

14

Éléments de Géométrie Algébrique (EGA)
(I): Visión general
-----------------------------------------------------------------

1960-66 [1960-66] (con J. Dieudonné), Éléments de Géométrie Algébrique (IV vols., 7 partes),
París: IHES, Publications Mathématiques, Nos. 4 (1960), 8 (1961), 11 (1961), 17 (1963), 20 (1964), 24 (1965), 28 (1966).
[Manuscritos realizados entre 1959 y 1964, publicados entre 1960 y 1966]

volumen # finalización título contenidos (secciones principales) visión/metodología/
(parte) pag. manuscrito filosofía
(publicación)

I 228 17 octubre 1959 El lenguaje de los esquemas Cap. 0 (Preliminares). Anillos, fracciones, haces, espacios
(1960)
anillados, haces coherentes, módulos planos, anillos ádicos.
Cap. I. (El lenguaje de los esquemas). Esquemas afines, pre- Sumersiones
esquemas, morfismos, productos, submersiones, reducciones, en lo suave, plano,
separación, condiciones de finitud, aplicaciones racionales, finitamente generado
esquemas de Chevalley, cuasi-coherencia, esquemas formales.

II 222 22 julio 1960 Estudio global elemental de Cap. II. (Estudio global elemental de algunas clases de
(1961)
algunas clases de morfismos morfismos). Morfismos afines, espectros primos, espectro Proyecciones
homogéneo de un haz de álgebras, fibrados proyectivos, desde lo primario,
jerarquía de morfismos (cuasi-afines, cuasi-proyectivos, fibrado, hacificado
propios, proyectivos, enteros, finitos), criterios de valuación,
explosiones, proyecciones, clausuras.

III 167 28 junio 1961 Estudio cohomológico Cap. 0 (Preliminares, sigue). Funtores representables,
(1) (1961)
de los haces coherentes conjuntos construibles, módulos planos, álgebra homológica, Representabilidad
(1ª parte) cohomología de haces, límites proyectivos. y estructura de
Cap. III (Estudio cohomológico de los haces coherentes). cohomologías
Cohomología de esquemas afines, cohomología de morfismos
proyectivos, morfismos propios (teorema de finitud, teorema
fundamental), existencia para haces algebraicos coherentes.

III 91 15 diciembre 1962 Estudio cohomológico Cap. III (Estudio cohomológico de los haces coherentes, sigue). Enlace local-global,
(2) (1963)
de los haces coherentes Funtores Tor locales y globales, fórmula de Künneth, cambios relatividad
(2ª parte) de base en los funtores homológicos de módulos.

IV 259 15 marzo 1963 Estudio local de los esquemas Cap. 0 (Preliminares, sigue). Topología combinatoria, anillos
(1) (1964)
y de los morfismos de esquemas locales noetherianos, anillos regulares, extensiones de Diferenciabilidad
(1ª parte) álgebras, álgebras lisas y anillos de Cohen, derivaciones y en anillos suaves
diferenciales, diferenciales en anillos de característica p, lisura (regularidad, lisura)
formal, regularidad, anillos japoneses.
Cap. IV (Estudio local de los esquemas y de los morfismos de Finitud y
esquemas). Condiciones de finitud relativas, conjuntos construibilidad
construibles en pre-esquemas.

IV 231 15 diciembre 1963 Estudio local de los esquemas Cap. IV. (Estudio local de los esquemas y de los morfismos de
(2) (1965)
y de los morfismos de esquemas esquemas, sigue). Cambio de base y módulos planos, ciclos Relatividad
(2ª parte) primos y descomposiciones primarias, cambio de base en los y completitud
pre-esquemas algebraicos, pre-esquemas localmente en ámbitos
noetherianos (dimensión, profundidad, regularidad, suaves, planos
morfismos planos), completados de anillos locales
noetherianos, anillos excelentes.

IV 255 15 noviembre 1964 Estudio local de los esquemas Cap. IV. (Estudio local de los esquemas y de los morfismos de
(3) (1966)
y de los morfismos de esquemas esquemas, sigue). Límites proyectivos de pre-esquemas, Estructura y
(3ª parte) propiedades construibles, pre-esquemas de Jacobson, construibilidad,
morfismos planos (topología, fibras), jerarquía de morfismos topología de lo suave
(equidimensionales, universalmente abiertos).

15

diferenciabilidad
(nilpotentes)
DISCR CONT

construibilidad

condiciones de finitud

noetherianidad

funtorialidad
(cambio de base)

representabilidad

cohomología

suavidad (estructuras) suavidad (haces)

libertad
álgebras lisas (pre)esquemas
módulos planos haces coherentes
anillos regulares espacios anillados

generación finita

espectros primos

anillos generales (conmutativos, unitarios)

16

(II): Perspectivas particulares
-----------------------------------------------------------------

(A) Extensiones de la noción de número

puntos espacio separación geometría discreta

teoría de cálculo
números diferencial
(Caminos Grothendieck)

ideales espectro no-separación geometría continua
primos

PROGRAMA DE GROTHENDIECK

variedades algebraicas topologías finas esquemas formas diferenciales

HACES
COHOMOLOGÍAS

car. p grandes obstrucciones car. 0
en los casos "naturales": Q, R, C

FORMAS MODULARES
L-SERIES

variedades aritméticas L-representaciones grupos lineales formas automorfas

PROGRAMA DE LANGLANDS
17

(B) Algunas "suavizaciones" a lo largo de las dialécticas
finito/infinito, discreto/continuo, aritmético/diferenciable

DOS DUALIDADES ESENCIALES
(lenguaje de teoría de categorías)

(variedades afines sobre k) (esquemas afines)
equivalente al dual de equivalente al dual de
(k-álgebras conmutativas (anillos conmutativos)
de tipo finito, sin nilpotentes)

[Riemann ® Dedekind ® Hilbert ® Chevalley ® Serre ® Cartier ® Grothendieck]

PUNTO DE VISTA RELATIVO: dado un esquema S, estudio de la categoría Esq/S de morfismos X®S.
CAMBIO DE BASE: estudio de X®S, vía el cambio S'®S, que da lugar (vía productos) a X xs S'®S'.
REPRESENTABILIDAD: estudio de X®S, vía estructura del funtor representable hx: Esq/S ® Con.

Dado f: X®S, dado un punto s de S, sea c(s)=os/ms
("cuerpo residual": cociente del anillo local por el único ideal maximal),
sea el cambio de base Spec(c(s))®S;
entonces, la fibra f-1(s) es el espacio subyacente de Xs = X xS Spec(c(s)).

En consecuencia, X puede verse como "parametrizado" por los Xs, y las preguntas
de "suavización" consisten en determinar f a partir de las propiedades de los Xs.

¿Qué tanto las "bases puntuales" Spec(c(s)) determinan la "base general" S?
Los límites en la categoría Esq/S podrán resolver la cuestión.
Las propiedades de esquemas sobre extensiones arbitrarias se podrán reducir
a propiedades sobre extensiones de tipo finito,
y las propiedades de esquemas sobre anillos arbitrarios se podrán reducir
a propiedades sobre álgebras de tipo finito sobre Z.

[Kronecker ® Grothendieck]

Morfismo plano ("platitude", Serre):
condición que evita variaciones bruscas de los Xs cuando s varía continuamente en S.
Morfismo étale (Grothendieck):
condición de control galoisiano sobre las fibras f-1(s):
deben estar constituidas por puntos aislados x
cuyos cuerpos residuales c(x) son extensiones finitas, separables de c(s).

[Galois ® Serre ® Grothendieck]

Cubrimientos étales:
posibilidad de buena cohomología para resolución de las Conjeturas de Weil.

[guía recomendada: Jean Dieudonné, Cours de géométrie algébrique. 1. Aperçu historique, VIII. §§27-47]

18

Séminaire de Géométrie Algébrique (SGA)
(I): Visión general
-----------------------------------------------------------------

1960-69 [1960-69] Séminaire de Géométrie Algébrique du Bois Marie (VII vols., 12 tomos; originales multicopiados: IHES)

• SGA1. Revêtements étales et groupe fondamental. 1960-61. "Un séminaire dirigé par A. Grothendieck, augmenté de deux exposés de
Mme M. Raynaud". Reediciones: LNM 224, Berlín: Springer, 1971; Documents Mathématiques 3, París: SMF, 2003.
• SGA2. Cohomologie locale des faisceaux cohérents et théorèmes de Lefschetz locaux et globaux. 1962. "Alexandre Grothendieck
(rédigé para un groupe d'auditeurs), augmenté d'un exposé para Mme Michèle Raynaud". Reedición: Advanced Studies in Pure Mathematics
2, Amsterdam: North-Holland, 1968; Documents Mathématiques 4, París: SMF, 2005.
• SGA3. Schémas en groupes. 1962-64. "Un séminaire dirigé para M. Demazure et A. Grothendieck, avec la collaboration de M. Artin, J.E.
Bertin, P. Gabriel, M. Raynaud, J.P. Serre". Tome 1 - Propiétés générales des schémas en groupes. Reediciones: LNM 151, Berlín: Springer,
1970; Documents Mathématiques 7, París: SMF, 2011. Tome 2 - Groupes de type multiplicatif et structure des schémas en groupes
généraux. Reedición: LNM 152, Berlín: Springer, 1970. Tome 3 - Structures des schémas en groupes réductifs. Reediciones: LNM 153,
Berlín: Springer, 1970; Documents Mathématiques 8, París: SMF, 2011.
• SGA4. Théorie des topos et cohomologie étale des schémas. 1963-64. "Un séminaire dirigé para M. Artin, A. Grothendieck, J.L. Verdier,
avec la collaboration de N. Bourbaki, P. Deligne, B. Saint-Donat". Tome 1 - Théorie des topos (Exposés I à IV). Reedición: LNM 269, Berlín:
Springer, 1972. Tome 2 (Exposés V à VIII). Reedición: LNM 270, Berlín: Springer, 1972. Tome 3 (Exposés IX à XIX). Reedición: LNM 305,
Berlín: Springer, 1973.
• SGA5. Cohomologie l-adique et fonctions L. 1965-66. "Dirigé par A. Grothendieck, avec la collaboration de I. Bucur, C. Houzel, L. Illusie, J.P.
Jouanolou, J.P. Serre". Reedición: LNM 589, Berlín: Springer, 1977.
• SGA6. Théorie des intersections et théorème de Riemann-Roch. 1966-67. "Un séminaire dirigé par P. Berthelot, A. Grothendieck, L.
Illusie, avec la collaboration de D. Ferrand, J.P. Jouanolou, O. Jussila, S. Kleiman, M. Raynaud, J.P. Serre". Reedición: LNM 225, Berlín: Springer,
1971.
• SGA7. Groupes de monodromie en géométrie algébrique. 1967-69. Tome 1. "Dirigé par A. Grothendieck, avec la collaboration de M.
Raynaud, D.S. Rim". Reedición: LNM 288, Berlín: Springer, 1972. Tome 2. "Par P. Deligne et N. Katz". Reedición: LNM 340, Berlín: Springer,
1973.

[SGA4 1/2. Cohomologie étale (P. Deligne). 1977]. (No reconocido por Grothendieck. Raíz de su decepción con Deligne, ver Récoltes et sémailles.]

SGA – IHES 1963
19

Breves resúmenes de algunas introducciones (escritas para las reediciones en forma de libro)

volumen introd. fecha contenidos
(parte) (pp.)

1 2-10 Agosto 1970 Volumen 1. "Fundamentos de una teoría del grupo fundamental en geometría algebraica" (2) – "descripción

axiomática del grupo fundamental de un esquema" (3) – "reformulación muy cómoda de la teoría de Galois usual" (2)
– "presentación de la teoría del descenso" (3). Volumen 4. La "topología étale y la teoría cohomológica
correspondiente (...) proveen un instrumento particularmente suave para el estudio del grupo fundamental" (4) –
hay una "necesidad de desarrollar una teoría del grupo fundamental de un topos" (5). Explicación de los enlaces
entre EGA y SGA (5-8) –"juego natural de exigencias de coherencia lógica y estética" (7)– y presentación del modo de
trabajo en SGA (6-7). "Comentario extra-matemático" (9-10): presentación de las razones del abandono del IHES.

2 6-10 Abril 1968 Sistema de producción del SGA2: exposiciones orales, manuscritos, redacciones de estudiantes y/o colegas,

recorrección y revisión por parte de Grothendieck ("armonización") (6). Volumen 2. Estudio de pasos de lo local a lo
global, vía haces y cohomologías (7) – "teorema de finitud (...) resultado técnico central" caracteriza propiedades
finitarias de transferencia entre haces coherentes y haces de cohomología (8-9) – aplicaciones al caso de espacios
analíticos complejos (9-10).

3 2-8 Marzo 1970 Arquitectónica compleja del SGA: oralidades, (re)escrituras, revisiones, ampliación de temas del Seminario Chevalley
(1)
("Biblia"), enlaces progresivos y fluctuantes con EGA y con el Seminario Bourbaki (2, 6-8). Volumen 3. Dos objetivos
centrales: A. "fundamentos cómodos para la teoría general de esquemas en grupos", problemas de representabilidad
de funtores y de pasajes al cociente (4); B. "generalización a grupos sobre un pre-esquema de base arbitrario" de la
teoría de estructura Borel-Chevalley de grupos algebraicos afines (5). "Papel crucial de los toros" (5-6). "Objetivo
principal: desarrollar técnicas que se apliquen al estudio de esquemas en grupos sobre una base arbitraria" y
profundizar en "propiedades infinitesimales (...) que permitan aplicar las técnicas de descenso en el caso no
galoisiano" (6).

4 2-13 Noviembre 1969 Volumen 4. "Objetivo inicial: desarrollar la teoría de la cohomología étale de esquemas" (2) – "el lenguaje de las
(1)
topologías y los topos en geometría algebraica ha ido creciendo" (2). Lugar central: topos, morfismos de topos,
categorías, prehaces (3). Aportes sustanciales de Deligne (3-7). Topología étale: permite formular y demostrar
resultados clásicos cohomológicos en un contexto ampliado (8), así como establecer pasajes (límites proyectivos) de
cohomologías en car. p hacia cohomologías en car. 0 (cohomología de Weil) (9). "Fenómenos esencialmente nuevos"
procedentes de car. p, intratables mediante la topología étale, dan lugar a topologías más finas ("cristalina") (9-10).
Emergencia de problemas de homotopía (grupo fundamental, teoría de tipos de homotopía) (10). Trabajos
esenciales: A. "teoría de haces desde el punto de vista de los sitios, o mejor, de los topos"; B. "teoremas de cambio de
base (...) con uso de coeficientes en haces de grupos no necesariamente conmutativos" (12).

5 iii-vii Febrero 1977 Volumen 5. "El corazón del Seminario está constituido por la fórmula de Lefschetz en cohomología étale" (iii) –
(por Luc Illusie)
"Todos los resultados anunciados por Grothendieck en su exposición del Seminario Bourbaki [alrededor de la
racionalidad de las funciones L, 1968] se demuestran aquí completamente" (iii). Comentarios sobre cómo el SGA4
1/2 (Deligne) simplifica y generaliza diversos resultados (iii-v). "En el curso del Seminario oral, Grothendieck había
hecho una exposición sobre problemas abiertos y enunciado algunas conjeturas. La exposición desafortunadamente
no fue redactada, ni tampoco su muy bella exposición introductoria, que revisaba las fórmulas de Euler-Poincaré y de
Lefschetz en diversos contextos (topológico, analítico complejo, algebraico)" (vi).

6 2-5 Junio 1971 Volumen 6. "El objetivo del presente Seminario es desarrollar una teoría global de intersecciones, y una fórmula de
Riemann-Roch, para esquemas arbitrarios" (3). "Un instrumento esencial para formular una teoría satisfactoria es la
teoría de categorías derivadas de Verdier" (3). Problema esencial: falta una "idea nueva" para poder englobar
variantes generales de Riemann-Roch y Atiyah-Singer (4).

No se escribió introducción o prefacio para el Volumen 7.
Ya la decepción de Grothendieck con su entorno, y en particular con Deligne, autor fundamental en SGA7, era demasiado grande.

1

1
1
1
20
1

(II): Topos
-----------------------------------------------------------------

1960-69 [1960-69] Séminaire de Géométrie Algébrique du Bois Marie (VII vols., 12 tomos; originales multicopiados: IHES)

• SGA4. Théorie des topos et cohomologie étale des schémas. 1963-64. "Un séminaire dirigé para M. Artin, A. Grothendieck, J.L. Verdier,
avec la collaboration de N. Bourbaki, P. Deligne, B. Saint-Donat". Tome 1 - Théorie des topos (Exposés I à IV). Reedición: LNM 269, Berlín:
Springer, 1972. Tome 2 (Exposés V à VIII). Reedición: LNM 270, Berlín: Springer, 1972. Tome 3 (Exposés IX à XIX). Reedición: LNM 305,
Berlín: Springer, 1973.

Breves resúmenes de fragmentos escogidos de SGA4

referencia contenidos

"Univers" (185-217). Grothendieck (jugando sobre los "papeles secretos" de Bourbaki, 185) introduce el axioma de
UNIVERSOS SGA4.1 suficientes universos y demuestra (prueba detallada usando recurrencia transfinita, 196-199) su equivalencia con
(por N. Bourbaki) Exposé I existencia de cardinales (fuertemente) inaccesibles. Grothendieck comenta que "según dice Paul Cohen, parece difícil y
aún indemostrable asegurar que el axioma de universos es inofensivo" (214).
Observación. La noción elemental de clasificador de subobjetos (Lawvere) no aparece tal cual en SGA4. Sin embargo, la
representabilidad de familias infinitas de monos aparece en el Exposé I (secciones 8.2, 8.3), acorde con la importancia
dada por Grothendieck al "yoga" de los funtores representables.

"Topologies et faisceaux" (219-263). Definición de topologías (posteriormente denominadas "de Grothendieck"), vía
TOPOLOGÍAS DE SGA4.1 axiomas (estabilidad, localidad, identidad) para cribas (subobjetos de funtores representables) (219-220). Sitios:
GROTHENDIECK Exposé II categorías con topologías (221). Definición de pretopologías, vía axiomas para familias de morfismos (equivalencia de
(por J. L. Verdier) topologías y pretopologías en el caso de ccc) (222). Prehaces separados y haces de conjuntos sobre un sitio (223).
Caracterización de haces asociados a prehaces (224-226). Topología canónica: topología más fina para la cual los
representables son haces (226). Teoremas de hacificación (228-230), caracterización funtorial (232-234) y
reflexividad (234-235). Límites (inductivos) y colímites (proyectivos) en categorías de haces (obtenidos a partir de la
categoría de prehaces, vía reflexividad) (235-239). Lemas tipo Giraud (257). Haces a valores en categorías arbitrarias
(anillos, grupos, módulos) (257-259). Categoría abeliana formada por haces de módulos (260).

TOPOS SGA4.1 "Topos" (299-525). "Estabilidad notable" de los topos (300) y "ampliación substancial de la noción de espacio
(por A. Grothendieck Exposé IV topológico" (301). Ventajas de la localización (sitios) (301) y uso para estudio de invariantes homológicos y
homotópicos (299). Multitud de ejemplos: topos clasificador, modular, étale, cristalino, etc. (301). "Parece razonable y
y J. L. Verdier) legítimo a los autores del presente Seminario considerar que el objeto de la topología es el estudio de los topos (y no
sólo de los espacios topológicos)" (301). Definición de un topos como equivalente a una categoría de haces sobre un
sitio (302). Teorema de Giraud (302-306): caracterización de topos por propiedades de exactitud. Ejemplos de topos
(311-322): topos asociado a un espacio topológico, topos inicial (vacío) y final (puntual), topos asociado a un espacio
de operadores, topos de acciones de un grupo, topos clasificador de un grupo topológico, topos de prehaces, topos
clasificador de un progrupo, ejemplo de un no topos (falla en generador). Morfismos de topos (formas generales de
continuidad) (323-332): morfismos "geométricos" (terminología posterior), exactitud e intuición geométrica,
equivalencias entre topos, 2-categoría de topos ("diferencia más importante" versus espacios topológicos, 331).
Ejemplos de morfismos de topos (332-365). – Etc.

TOPOS ÉTALE SGA4.2 "Site et topos étales d'un schéma" (341-365). Definiciones: morfismo étale entre esquemas, topología étale (topología de
DE UN ESQUEMA Exposé VII Grothendieck formada por cubrimientos étales de esquemas), sitio étale Xét de un esquema X, topos étale de un
esquema (topos de haces sobre el sitio Xét) (343). (Pseudo)funtorialidad de los cambios de base: esquemas / topos
(por A. Grothendieck) étales (pseudo, por cambios de universos) (344-345). El problema de universos es reducible (346). Reconstrucción del
primer grupo de homología como grupo de clases de haces principales y homogéneos sobre el sitio étale (348). El paso
de topología de Zariski a topología étale es la clave de la reconstrucción (349), ampliable a los grupos de homología
superiores (350). Generadores del topos étale (350). Reticulado de topologías diversas: Zariski, étale, fpqc, etc. (353).
Correlaciones Zariski / étale: morfismos de topos y homomormisfos de funtores cohomológicos (354-355).
Cohomología de límites proyectivos de esquemas (356-365).

Las referencias numéricas entre paréntesis corresponden a las páginas del volumen (1-3) de SGA4 en mención

21

TOPOS ÉTALE DE UN ESQUEMA
categoría de haces conjuntistas sobre el sitio étale
sitio étale

categoría de haces abelianos sobre sitio étale topología étale:
[categoría abeliana] cubrimientos de esquema por morfismos étales

cohomología étale [aplique Tohoku] morfismo étale: no singular + no ramificado
resolución Conjeturas Weil ("liso": Víctor Hugo) (GALOIS + RIEMANN)

TOPOS
categorías de haces sobre topologías de Grothendieck

TOPOLOGÍAS DE GROTHENDIECK

familias recubridoras operador clausura

RIEMANN GALOIS

GEOM (ext) ALG (int)

ESQUEMAS

anill. conm. unit.
haces sobre espectro
de ideales primos
fibras anillos locales

R-R-G

anillos de funciones anillos de enteros
holomorfas/meromorfas algebraicos

FAC + GAGA (Serre)

continuación HACES grupos abelianos
analítica CATEGORÍAS ABELIANAS

RIEMANN GALOIS

CONT DISCR

22

Motivos - Conjeturas estándar
------------------------------------------------

1963 Inicios realizados aparentemente en 1963, manuscrito 1964 [cf. Récoltes et semailles RS01, P47; RS2, 212].
196? [196?] "Motifs", manuscrito inédito.
1968 [1969] "Standard conjectures on algebraic cycles", en: Algebraic Geometry (Tata Institute, Bombay
Colloquium 1968), Oxford: Oxford University Press, 1969, pp. 193-199.
1986 [1985-86] Récoltes et Semailles, manuscrito inédito.

[RS01] (enero 1986).
"Despejé, hacia el año 1968, una versión más fuerte y, sobre todo, más «geométrica» de las conjeturas de Weil" (P44). "Desarrollé esa idea (...)
bajo el nombre de «teoría de motivos» o «filosofía (o yoga) de motivos» a lo largo de los años 1963-69" (P47). "El espíritu mismo de las
conjeturas de Weil es expresar y captar lo «aritmético» (o lo «discreto») por la mediación de lo «geométrico» (o lo «continuo») (...) Mi
reformulación consistió en despejar una suerte de «quintaesencia» (...) que llamé «conjeturas estándar» (...)" (P44). "El tema más profundo que
he introducido en matemáticas es el de los motivos (él mismo nacido del «tema cohomológico l-ádico»), corazón o alma, la parte más escondida
de los temas de esquemas (...) quintaesencia última (...) «corazón del corazón» de la nueva geometría" (P44-45). "(...) «motivo común» (o «razón
común») subyacente a la multitud de invariantes cohomológicos diferentes asociados a la variedad (...) que serían como desarrollos temáticos
diferentes, con su «tempo», «llave» y «modo» («mayor» o «menor»), a partir de un mismo «motivo de base» (llamado «teoría cohomológica
motívica»)" (P46). "El motivo me parece ser el más profundo «invariante de la forma» que se ha podido asociar hasta el momento a una
variedad algebraica, aparte de su «grupo fundamental motívico». Ambos invariantes representan para mí como las «sombras» de un «tipo de
homotopía motívico» que faltaría por describir" (P47).

[1985-86] [RS2] (abril 1986).
"Los motivos: entierro de un nacimiento" (205) (decepción con Deligne). Producto de "años de gestación de una visión, fina y elusiva al
comienzo, que se enriquece y se precisa a lo largo de meses y años, con esfuerzos obstinados", emerge el "yoga de los motivos, como aquel de
mis «huérfanos» que más cercano estaba a mi corazón" – y que sus sucesores (Deligne en particuilar) presentan "como salido de la nada, sin
alusión de paternidad" (206). Tres grandes sueños que impulsan el desarrollo de los motivos: (A) "Intuición de Serre" – "misterio a sondear":
grupos profinitos discretos como base de un sistema proyectivo de grupos analíticos y algebraicos (206) – "como amo soñar (...) recuerdo
haber entrado en ese misterio (...) por el mero hecho de la presencia de una categoría de motivos «lisos» sobre un esquema (...) con estructuras
internas similares a las de la categoría de representaciones lineales de un pro-grupo algebraico" (206-207) –"aproximación a una teoría de
Galois motívica", ligada estrechamente a grupos fundamentales de esquemas y al manejo de cohomologías como fibras y secciones – "recuerdo
el placer y la maravilla" (207). (B) Procesos de descubrimiento: sueños, impresiones ("comentarios de Serre"), adivinanzas, coherencias,
trabajo interior (208) – "filtraciones", "pesos" y comportamiento de las "seis operaciones" en la explicitación de las conjeturas estándar (209) –
"nunca tuve la impresión de inventar, sino siempre de descubrir" (209). (C) "Matrimonio de los sueños precedentes" (A, B) – estudio de "las
diferentes estructuras suplementarias que posee la categoría de motivos", "traduciendo" hechos sobre las representaciones lineales de grupos
algebraicos (209) – "polarización de un motivo" ligada a "la idea de Serre (¡siempre él!) de un análogo «kahleriano» de las conjeturas de Weil"
(209-210). Potencia del descubrimiento, nacimiento de una visión, armonía, realidad, trabajo (210-211). Paternidad y desarrollo de los
motivos: Hilbert, Riemann, el Soñador (214), Grothendieck y alumnos (decepción con Deligne, aprecio de Saavedra) (211-214).

"Enunciamos dos conjeturas sobre ciclos algebraicos que surgieron de un intento por entender las conjeturas de Weil (...) trabajadas hace tres
años" – "La primera (...) formalmente análoga al teorema de estructura de Lefschetz (...) la segunda formalmente análoga a las famosas
desigualdades de Hodge" (193). Correlaciones de las conjeturas con acciones naturales del endomorfismo de Frobenius (194). Motivación
algebraico-aritmética y forma débil C(X) de la primera conjetura (194-195). Primera conjetura: A(X) (isomorfismo dual entre grupos de
cohomología de una variedad X suave y proyectiva – generaliza prueba de Lefschetz para el caso de los complejos), B(X) (algebraicidad de
adecuada operación en la teoría de Hodge), prueba de la equivalencia entre A(X) y B(X) (196). "Estabilidad" de B(X), integralidad de los
[1969] coeficientes de la función Zeta a partir de la conjetura B – "Tengo una idea para una posible aproximación a la conjetura B" (197). Segunda
conjetura: Hdg(X) (adecuada forma bilineal restringida a ciclos algebraicos es definida positiva) – indicación de prueba de que "B(X) y

Hdg(X´X) implican, por ciertos argumentos de Weil y Serre (...) todas las conjeturas de Weil" (197). "Conclusiones. La prueba de las dos
conjeturas estándar produciría resultados bastante más allá de las conjeturas de Weil. Formarían la base de la así llamada «teoría de los
motivos», es decir una teoría sistemática de las «propiedades aritméticas» de las variedades algebraicas, encarnada en los grupos de clases de
ciclos para equivalencia numérica. Tenemos por el momento solo una muy pequeña parte de esa teoría en dimensión uno, contenida dentro de
la teoría de variedades abelianas. Al lado del problema de la resolución de singularidades, la prueba de las conjeturas estándar me parece la
tarea más urgente de la geometría algebraica" (198).

"Motivos - no distribuir - do not distribute" (1). Combinación de estrategias globales y locales a la Grothendieck: categoría abeliana de "motivos
efectivos" asociada a un esquema noetheriano (1), variación de la categoría de motivos de acuerdo con variación del esquema (2), caso de
variación vía límite inductivo (2), comparabilidades funtoriales y compatibilidades (2), casos aritméticos (3), expansión canónica a una
[196?] categoría de motivos (3), funtores Hom (4), tipos de motivos (4), filtraciones (5-6), anillos de motivos (6-8), "interpretación topológica de los
tipos dimensionales" (9), "homomorfismo fundamental" entre grupo generado por esquemas de tipo finito y motivos (9-10), preguntas sobre
superficies (11), caracterizaciones "galoisianas" – "conjetura de Weil/Riemann" – "conjetura de Tate" (12), "promotivo fundamental" (13),
"cohomología absoluta" y "teorema de dualidad absoluto" (13-15) [siguen otras 7 páginas de cálculos y preguntas cohomológicas].

Las referencias numéricas entre paréntesis corresponden a las páginas de los trabajos en cuestión.

23

Motivos de los MOTIVOS

CATEGORÍAS DE MOTIVOS

INTRODUCCIÓN DE LA VARIACIÓN CONTINUA DENTRO DE LA VARIACIÓN ALGEBRAICA (RS01, P46)

expansiones y compatibilidades canónicas
descensos y filtraciones (Galois)
anillos y topologías (Riemann)
teoremas de representación
variaciones e invarianzas

sistemas proyectivos grupos algebraicos
geometría kähleriana pro-grupos

estudio axiomático de categorías (multiplicidad)
que gobiernen las FORMAS DE LAS ANALOGÍAS FORMALES

"QUINTAESENCIA" – "CORAZÓN DEL CORAZÓN"
"captar lo aritmético (o lo discreto) por la mediación de lo geométrico (o lo continuo)"

CONJETURAS ESTÁNDAR

primera conjetura (A, B, C) segunda conjetura (Hdg)
(algebraicidad, dualidad) (bilinealidad, positividad)

igualdades tipo Lefschetz desigualdades tipo Hodge

analogías formales

acciones naturales sobre grupos de cohomología

B + Hdg
Conjeturas de Weil
24

La larga marcha a través de la teoría de Galois
------------------------------------------------------------------------

1981 (Enero-Junio) La longue marche à travers la théorie de Galois, manuscrito inédito, no destinado a
publicación, c. 1600 pp. + 1000 pp. notas y addenda.

Transcripciones parciales:
• Tomo 1 §§1-37: La longue marche à travers la théorie de Galois: transcription d'un manuscrit inédit (ed.
Jean Malgoire), Montpellier: Université de Montpellier, 1995, 253 pp.
• Tabla de Contenidos + Tomo 1 §§26-37 + Tomo 2 §49: pdfs en www.grothendieckcircle.org.

Descripción y breve estudio: Leila Schneps, "Grothendieck's «Long March through Galois Theory»", en: L. Schneps, P. Lochak (eds.), Geometric Galois Actions.
Around Grothendieck's Esquisse d'un Programme, London: Cambridge University Press, 1997, pp. 59-66.

Algunas ideas centrales de La longue marche à travers la théorie de Galois se integran luego dentro de Esquisse d'un programme (1984). Ver más adelante en el
Seminario, Abril 20-27.

Primera Parte §§1-37: topos multigaloisianos, cubrimientos de topos, variaciones pro-
multigaloisianas, "conjetura anabeliana fundamental", ajustes de hipótesis, analogía topológica
("donde el desorden de los grupoides puede expresarse completamente, en los casos anabelianos,
por los grupos exteriores de lazos"), caso aritmético, digresión cohomológica, cubrimiento de
huecos, torre de Teichmüller, espacios y grupos de Teichmüller, profinitud y discretización, enlace
con el topos modular de Teichmüller, cambios de tipos, relaciones entre los espacios de
Tabla de Teichmüller ("donde se reconstituye todo el topos étale de una curva algebraica completa, a partir
Contenidos

del p1 de un abierto anabeliano"), isomorfismo entre el grupo de Galois absoluto y T1,1, módulos de
curvas elípticas vía Legendre.

Segunda Parte §§38-53 ("carácter aún más exploratorio aún", según el transcriptor): relaciones y
variados cálculos específicos asociados al caso (g,n)=(0,3), grupos Mg,n generales, esquemas en
grupos, "la torre de Fermat", aproximaciones tipo Lie de sistemas Galois-Teichmüller, el grupo
especial de Teichmüller ST1,1.

Un nuevo estilo: conjeturas, reflexiones, digresiones, ajustes, crítica, heurística, paráfrasis, cambios de notación,
"peleas", cálculos, borradores...

Manuscritos de Grothendieck (Universidad de Montpellier): textos mecanografiados y textos manuscritos
25

estudio de variedad/esquema (ALG / NUM / GALOIS)
vía grupo fundamental topológico/algebraico (TOP / GEO / POINCARÉ)

Dado X esquema (automáticamente espacio topológico), considere el grupo fundamental de homotopía (Poincaré)
()*
! '(#, %) para algún punto % ∈ # (si X es arco-conexo podemos olvidar el punto base x).
()*
La compleción profinita de ! '(#) es por definición el grupo fundamental algebraico de X (Grothendieck):
,-. ()*
p = ! '(#) = compl-prof ( ! '(#)), grupo que clasifica lo étale:
p-órbitas finitas continuas « cubrimientos étales de X.

Ejemplo fundamental: X = plano proyectivo excepto tres puntos
,-.
El grupo de Galois absoluto Gal (/: /) actúa sobre ! '(#) y esconde fondos aritméticos profundos
(ver más adelante, "dibujos de niños").

Problema central del álgebra topológica (inversión):
,-.
¿cómo detectar/describir aquellas variedades X completamente caracterizadas por ! '(#)?
Se trata, por definición, de las variedades anabelianas
(geometría y aritmética codificadas en el grupo fundamental algebraico).
Conjeturas de Grothendieck:
(1) los espacios moduli Mg,n deben constituir las variedades anabelianas sobre Q
(2) caso particular: las curvas hiperbólicas sobre campos de números son anabelianas.

[Mochizuki 1996] prueba (2) y se lanza luego a su programa de refundación de la "geometría aritmética".

GEOMETRÍA ANABELIANA

estudio del grupo de Galois absoluto (ALG / NUM / GALOIS)
vía acciones sobre objetos geométricos (TOP / GEO / RIEMANN)

curvas

espacios moduli

arquetipo Gal (1: 1) grupos fundamentales (homotópico / algebraico) tipos

dibujos de niños

combinatoria (grupo de Grothendieck-Teichmüller)

TEORÍA DE GROTHENDIECK-TEICHMÜLLER

26

Algunas referencias a la Longue Marche (y a la Esquisse) en Récoltes et semailles

Dentro de los "doce temas maestros de mi obra":
"11. Yoga de geometría algebraica anabeliana, teoría de Galois-Teichmüller" [RS01, P21, Enero 1986]
"Los más profundos (a mis ojos) de esos doce temas, son el de los motivos, y aquel estrechamente
ligado de geometría algebraica anabeliana y del yoga de Galois-Teichmüller" [RS01, P22, nota 23] (cfr. [RS3, 639])

"He recordado la reflexión matemática más larga que he perseguido en estos últimos catorce años, de enero a junio 1981, y que llamé «La larga marcha a través de
la teoría de Galois». De hilo en hilo, tomé conciencia de que el sueño despierto que esporádicamente perseguía desde hace algunos años, que había terminado por
llamarse «geometría algebraica anabeliana», no era más que una continuación, «una consecución última de la teoría de Galois, y sin duda en el espíritu de Galois».
Cuando se me reveló esa continuidad, en el momento de escribir el pasaje del que extraigo la línea citada, una felicidad me atravesó, que no se ha disipado. Fue una
de las recompensas de un trabajo realizado en una soledad completa." [RS1, 16, Febrero 1984]

§26. "Grupos de Teichmüller profinitos (discretificación y prediscretificación)" (1-10). Grupo profinito a lazos (de tipo (g,n)), grupo de Teichmüller

extendido, bases, discretificaciones, subgrupos de Teichmüller geométricos, grupos Γ3 (vía enlaces con automorfismos exteriores

aritméticos), "determinar la indeterminación de manera precisa" (5), conjetura Γ1 » Gal(/: /), conjeturas asociadas a la descripción del grupo

absoluto como cociente.

§27. "Cambios de tipo (g,n)" (10-17). Cocientes, bases, normalizadores, isomorfismos canónicos (en la red de los Γ.,5 ).
§28. "Cambios de tipo (g,n) (sigue)" (17-23). Enlaces entre discretificaciones, consecuencias sobre la red de los Γ3 , grupoides asociados, caso del
grupoide de curvas aritméticas exteriores.
§29. "Crítica de la aproximación anterior" (24-29). "La aproximación de los parágrafos anteriores parece finalmente muy brutal" (24), trabajo con
subgrupos más pequeños, estructura simplicial de extensiones sucesivas (estructura en el infinito dentro del p1 de multiplicidades modulares M.,5 ),
descripciones estructurales (cocientes, transportes), categoría de recubrimientos universales con fibras grupoides (emergencia de los stacks).
Tomo 1 §30. "Propiedades de los 7.,5 , Γ.,5 " (29-33). Acciones, centralizadores, subgrupos finitos, "conjeturas estándar topológicas" (32).
§§26-37 §31. "Digresión sobre los elevamientos de una acción exterior de un grupo finito G sobre un grupo profinito a lazos p" (33-34). Problema de
extensión de los desarrollos anteriores al caso profinito.
§32. "Regreso sobre los aspectos aritméticos del llenar huecos: relaciones entre Γ.,5 8 Γ.,59' " (34-50). Límites proyectivos para una eventual
representación fiel de Γ1 , equivalencias de categorías "aritméticas" y "algebraicas", reconstrucciones axiomáticas de las redes a partir de "datos
puramente grupoidales y topósicos" (47), conjeturas provisorias, dudas, círculos viciosos.
§33. "Digresión topológica: anti-involuciones de superficies orientadas algebroides" (50-66). Estudio y descenso a tierra de las construcciones
anteriores, al mirar casos concretos: discos, esferas, cilindros, grupo modular, grupos dihedrales, etc.
§33bis. "Estudio de recubrimientos finitos – relación entre los 7.,5 y Γ.,5 para g variable" (66-69). "Se desearía ver lo que en el yoga anterior es
independiente de toda conjetura" (67), "creo poder mostrar, gracias al resultado del ruso [Drinfeld] que me señaló Deligne, que Γ1 ® Γ:,; es un
isomorfismo" (68), "la cuestión esencial es caracterizar Γ:,; algebraicamente, así como los 7.,5 " (68)
§34. "Descripción heurística profinita de la categoría de curvas algebraicas definidas sobre subextensiones finitas K de C/Q" (69-72). Estudio de los
puntos algebraicos de una variedad modular <.,5 con grupos fundamental aritmético y geométrico dados.
§35. "La inyectividad de Γ1 ® Autextlac(!=,> )" (72-77). Prueba del teorema enunciado vía el entendimiento preciso de !=,> (Belyi).
§36. "El isomorfismo Γ1 » Γ',' " (77-89). Acciones naturales fieles de Γ1 , presentaciones diversas de p0,3, estudio del "topos modular <',' clasificador
de las curvas elípticas" (83).
§37. "Teoría de módulos de curvas elípticas según Legendre (rigidifación de escala 2)" (89-110). Esquemas ligados al topos modular, enlace con
Deligne-Mumford, recubrimientos galoisianos universales, "curva de Fermat" (107).

Un nuevo estilo
recorridos explícitos por los caminos de invención / descubrimiento

- multitud de cálculos específicos (e.g. numeración de 37 fórmulas en §49.I, 95 fórmulas en §49.I, etc.)

- incesante vaivén reflexivo sobre el desarrollo del texto (retomas, rectificaciones, llamados de atención, etc.)
- modificación progresiva de las hipótesis (inconvenientes, obstrucciones, generalizaciones, deducciones parciales, etc.)
- búsqueda permanente de las notaciones más sencillas posibles (lucha entre lo particular y lo general, adecuaciones locales, etc.)

"Retomemos la situación ab ovo" (7) – "Para una rectificación sistemática de las notaciones que siguen (...)" (7) – "Atención" (8, 83) – "Me parece
Tomo 2 que la introducción (...) no era muy juiciosa (...)" (9) – "No parece a priori que haya inconvenientes mayores en suponer (...)" (10) – "Debe poder sin
§49 inconveniente postularse la existencia de una escisión canónica (...)" (11) – "Tenemos casi (...)" (11) – "Remordimiento. Finalmente, en todos estos
desarrollos, no se ha realmente utilizado la denominada «hipótesis fundamental» (...)" (16) – "Habría sido mejor (...)" (19) – "Observación. Al escribir

las relaciones, resultaba evidente que las notaciones utilizadas en toda esta sección eran inadecuadas (...) pues me había inspirado del caso modular
y no del caso universal (...)" (20) – "Me parece haber visto suficiente para poder retomar «a mano alzada» las construcciones anteriores y acabarlas,
con notaciones más adecuadas" (36) – "Vamos a intentar salvar la apuesta (...)" (62) – "Me pregunto si (...)" (63) – "Me planteo la cuestión si (...)"
(69) – "Sería tiempo de rectificar la confusión (...)" (79) – "Por lo tanto habría que introducir también, que lo queramos o no (...)" (80) – "Me doy
cuenta de que estoy diciendo tonterías, al haber perdido un poco el contacto con el contenido geométrico de mis cálculos" (89) – "La obstrucción,
como se debe (...)" (91) – "La obstrucción se interpreta (...)" (91) – "Recapitulación, refinamiento (...) habría más bien que parafrasear (...) dudo en
introducir notaciones (...)" (102) – "La incomodidad resulta finalmente del hecho de que es demasiado grande (...)" (114) – "Podemos también hacer
una hipótesis adicional (...)" (115) – "Tengo buenas razones para pensar que esa condición se satisface en todos los casos verdaderamente útiles"
(115) – "¿Otra manera de proceder?" (116) – "Tal vez haya aún errores de orientación bastante groseros, que se rectificarán con el examen de casos
particulares" (116) – "Este deshielo de los grupos da un poco de mal de mar" (117).

Las referencias numéricas entre paréntesis corresponden a las páginas de las transcripciones disponibles en www.grothendieckcircle.org
27

Esbozo de un programa
------------------------------------------

1983 Carta a Faltings (Junio 27 1983), 10 pp.

Transcripción (alemán) en L. Schneps & P. Lochak, Geometric Galois Actions I, Cambridge: Cambridge University Press (LMS Series 242), 1997, pp. 49-58;
traducción al inglés, ibidem, pp. 285-293.

El "desarrollo de la potencia visionaria en matemáticas" requiere penetración [insight], profundidad, delicadeza, y "emerge de la niebla"
a partir de una "delicada y obstinada sensación de los conceptos y entidades relevantes y sus relaciones mutuas" (1). "El «yoga de los
motivos» (...) es una suerte de ciencia secreta – Deligne me parece ser aquel más fluyente en ella" (1). "Yoga" de la geometría anabeliana,
problema general (2), caracterización de anabelianidad en el caso curvas por la negatividad de la característica de Euler (3),
caracterización de anabelianidad en el caso C por hiperbolicidad (3). Variedad anabeliana general como fibración de curvas anabelianas
(3). "Estoy bastante convencido de que los espacios moduli Mg,n pueden ser aproximados como «anabelianos»" (3). "No me he ocupado
de este conjunto de preguntas desde hace más de un año" (3) [i.e. desde la Longue marche]. Caracterización de las variaciones de campos
mediante variaciones de los grupos fundamentales, gracias a su "rigidez" interna, o, equivalentemente, gracias a la "fuerza" de su acción
aritmética externa (4-5). Emergencia del grupo de Galois absoluto Gal(!: !) como objeto central [Grundobjekt] de la geometría
algebraica anabeliana (5). Anabelianidad y topos étales (7). Relaciones del programa anabeliano con la conjetura de Mordell (8). Ideas
estimuladas por "algunas reflexiones trascendentales sobre la acción de grupos finitos sobre curvas complejas algebraicas y sus
recubrimientos universales" (9). Después de inicios "durante la primera parte de 1981 (...) retomé las reflexiones anabelianas de nuevo
entre Diciembre 81 y Abril 82" (9). Registro de trabajos en anabelianidad, espacios de Teichmüller y "fundamentos de la cohomología
con respecto al álgebra homotópica" [i.e. Pursuing Stacks] (9).

Las referencias numéricas entre paréntesis remiten a la paginación del documento original, indicada en los márgenes de la traducción inglesa.

1984 Esquisse d'un programme ("Esbozo de un programa") (Enero 1984), manuscrito inédito, programa de
trabajo destinado a su ingreso al CNRS (reclutado 1984-1988, apoyo en particular por Connes), 57 pp.

Transcripción (francés) en L. Schneps & P. Lochak, Geometric Galois Actions I, Cambridge: Cambridge University Press (LMS Series 242), 1997, pp. 5-48;
traducción al inglés, ibidem, pp. 243-283.

"1. ENVÍO" (1-2). "Dos voluminosos cartones de notas manuscritas" [¿Longue marche + Pursuing stacks?] (1); "trabajo de descubrimiento
(...) pensamiento que sondea y que descubre andando a tientas en la penumbra" (1); "el esbozo que sigue sobre algunos temas de
reflexión de los últimos diez o doce años tendrá lugar a la vez de esbozo de programa de trabajo para los años venideros" (1).

"2. UN JUEGO DE «LEGO-TEICHMÜLLER» Y EL GRUPO DE GALOIS DE ! SOBRE Q" (2-9). Estudio de la "intuición geométrica y topológica de las
formas, y más particularmente de las formas bidimensionales (...) que se pueden agrupar bajo la apelación de «topología de las
superficies» o «geometría de las superficies»" (2); "ha sido mi principal fuente de inspiración, así como mi hilo conductor
constante" (3); "con sorpresa y maravilla a lo largo de los años descubrí (o más bien, sin duda, redescubrí) la riqueza prodigiosa,
realmente inagotable, la profundidad insospechada de ese tema, de apariencia tan anodina" (3). Estudio del "sistema de todas las
multiplicidades Mg,n ligadas entre ellas por un cierto número de operaciones fundamentales" (4); estudio "reflejado por una estructura
análoga sobre los grupoides fundamentales correspondientes, los «grupoides de Teichmüller» (...) de manera suficientemente
intrínseca para que el grupo de Galois G de !/Q opere sobre la «torre» de los grupoides" (4); así "el grupo de Galois G se realiza
como un grupo de automorfismos de un grupo profinito muy concreto" (4). La acción de G sobre la torre puede ser descrita por su acción
en los primeros niveles (5-6); importancia de ir más allá del grupo fundamental con un punto de base, y pasar a grupoides
fundamentales con "todo un paquete [de puntos] que sea invariante para las simetrías de la situación" (5) [tema recurrente: back-and-
forth de lo Uno a lo Múltiple]; "tierra virgen (...) verdadera joya" (6). Aparición esencial del grupo modular en la base de la torre (6);
"doce «piezas de construcción» fundamentales (6 de género 0, 6 de género 1) en un «juego de Lego-Teichmüller»" (8); cercanía con el
"juego de «cirugía geodésica hiperbólica» de Thurston" (8); aparición de un "juego de vaivén típico entre lo combinatorio y lo algebraico
complejo (o mejor, lo algebraico sobre Q)" (9).

"3. CUERPOS DE NÚMEROS ASOCIADOS A UN DIBUJO DE NIÑOS" (9-18). "Mi interés por las superficies topológicas comienza a surgir en 1974"
(9); tesis doctoral de Yves Ladegaillerie (9-10); trabajo de DEA de Jean Malgoire y Christine Voisin (11); estudio de la categoría de mapas
X\K (X superficie compacta, K complejo topológico sumergido en X) (10) y descubrimiento de que los mapas pueden ser descritos
mediante recubrimientos de la esfera de Riemann (11); "se llega a una constatación que ocho años después me parece aún siempre
tan extraordinaria: ¡todo mapa orientado «finito» se realiza canónicamente sobre una curva algebraica compleja!" (11).
"Naturaleza familiar, no técnica, de los objetos considerados, dibujos de niños" (12); "a un tal dibujo se le asocian sutiles invariantes
aritméticos" (12). Aparición del grupo de Galois G (=Gal(!: !)) "como agente transformador sobre formas topológico-combinatorias de
la naturaleza más elemental posible" (13); "mi reflexión se encaminó muy rápido hacia una dirección más conceptual para llegar a
aprehender la naturaleza de esa acción de G (...) y así mi atención se dirigió hacia lo que he llamado desde entonces «geometría
algebraica anabeliana»" (14); aparición de "grupos fundamentales que están muy alejados de los grupos abelianos (y que por esta
razón he llamado «anabelianos»)" (14). Teorema de Belyi (1979) ("identidad profunda entre la combinatoria de los mapas finitos, por
28

una parte, y la geometría de las curvas algebraicas definidas sobre cuerpos de números, por otra parte") (15) y enlace con el programa de
geometría anabeliana (15). Referencia a la Longue marche, "esfuerzo de comprensión de las relaciones entre grupos de Galois
«aritméticos» y grupos fundamentales profinitos «geométricos»" (15). Enlace entre la geometría anabeliana y la teoría de Galois-
Teichmüller, a través de las "multiplicidades modulares Mg,n que aparecen como los primeros ejemplos importantes, en dimensión >1,
de variedades (o, más bien, multiplicidades) que parecen merecer la apelación «anabeliana»" (16). "Riqueza verdaderamente
inimaginable de un grupo anabeliano típico como el grupo SL(2,Z) (...) «piedra de construcción» fundamental de la «torre de
Teichmüller»" (16). "Yoga anabeliano (...): una curva algebraica anabeliana sobre un cuerpo de números K (extensión finita de
Q) se conoce módulo isomorfismo cuando se conoce su grupo fundamental mixto" (17). "Hay quienes, ante esto, se contentan con
levantar los hombros (...) Olvidan, o ignoran, que nuestra ciencia, y cualquier ciencia, sería bien poca cosa si desde sus orígenes no
hubiese estado nutrida por los sueños y las visiones de aquellos que se entregan a ella con pasión" (18).

"4. POLIEDROS REGULARES SOBRE CAMPOS FINITOS" (18-25). Problematización del caso infinito en el caso de mapas "regulares"
(correspondientes a "recubrimientos galoisianos") (18); trabajos de fundamentos de Malgoire y Voisin (19). "En 1977 y 1978,
paralelamente a dos cursos C4 sobre la geometría del cubo y aquella del icosaedro, comencé a interesarme por los poliedros regulares"
(19); "la teoría de los polígonos regulares en característica arbitraria fue el objeto de un curso de DEA en 1977/78" (20). "La extensión
de la teoría de los poliedros regulares (y, más generalmente, de toda suerte de configuraciones geométrico-combinatorias, aún los
sistemas de raíces...), desde el campo de base R o C hacia un anillo de base general, me parece de un alcance comparable, en esta parte
de la geometría, a la extensión análoga que ha tenido lugar desde el comienzo del siglo en geometría algebraica, o desde hace unos veinte
años en topología, con la introducción del lenguaje de los esquemas y los topos" (20). "Ampliación del punto de vista (...) pequeño
milagro (...) despejar un manto de brumas (...) fuerza de motivación y fascinación poco comunes, como la del sueño tal vez (...) llamado
de lo informulado, de lo informe que busca forma, de un entrevisto elusivo (...)" (23-24).

"5. HARO SOBRE LA TOPOLOGÍA DICHA «GENERAL», Y REFLEXIONES HEURÍSTICAS HACIA UNA TOPOLOGÍA DICHA «MODERADA»" (25-36). "Necesidad
de fundamentos nuevos para la topología «geométrica», en una dirección muy diferente de la noción de topos, y aún independiente de
las necesidades de la geometría algebraica denominada «abstracta» (sobre campos y anillos de base generales)" (25). "El problema de
partida, que comenzó a intrigarme hace ya unos quince años, era el de definir una teoría de descomposicón [dévissage] de las
estructuras estratificadas" (25); inspiración y motivación de las multiplicidades modulares Mg,n en "mi reflexión sobre las estructuras
estratificadas, de diciembre 1981 a enero 1982" [¿desliz de fechas? - no concuerda con las fechas de La longue marche - ¿referencia a
otro manuscrito?] Estudio de categorías isotópicas en el problema de "tornar canónico aquello que no lo es" en las cuestiones de
dévissage (27); necesidad de solventar "fenómenos «salvajes»" en cocientes, bordes, proyecciones (28); necesidad de introducir una
"«topología moderada»" (29) dirigida al "estudio de propiedades topológicas de formas geométricas diversas" (29), en contraste con la
"«topología general» (desarrollada en los años treinta y cuarenta) por analistas para las necesidades del análisis" (29). Lucha en contra de
la "inercia casi insuperable del espíritu" (30). "Aproximación axiomática" de la topología moderada (30); consecuente aparición "no de
una «teoría moderada», sino de una vasta infinitud" (30), ligada por teoremas de comparación isotópica (31). "Lo que hace falta, otra
vez, no es para nada la virtuosidad técnica de los matemáticos, a veces impresionante, sino la audacia (o simplemente la inocencia)"
(32). Aparición de "una noción de grado de trascendencia (o «dimensión») de un punto en un espacio moderado, cercano de la noción
familiar en geometría algebraica" (33) [prefiguración de la noción de dimensión en las teorías O-minimales posteriores de la teoría de
modelos]. Importancia de los "sueños" y del "trabajo de fundamentos" en la "expresión de una realidad palpable" (34). Las
multiplicidades deben estudiarse sobre categorías de índices (35); la teoría del dévissage resulta ser una "guía preciosa" para el
entendimiento de la torre de Teichmüller (35). "He podido convencerme que un tal formalismo de dévissage tiene un sentido en el
contexto (¡denominado «abstracto!») de los topos generales" (36). "La comprensión de la estructura topológica de los esquemas no ha
progresado mucho desde el trabajo de Artin-Mazur" (36).

"6. «TEORÍAS DIFERENCIABLES» A LA NASH Y «TEORÍAS MODERADAS»" (37-42). Teoremas de dévissage para teorías moderadas (37);
"canonicidad" asociada a descomposiciones en espacios contraíbles (38); isotopía y anabelianidad (39). "Fundamentos de la topología
moderada": necesidad de un "trabajo tenaz, meticuloso, sin duda de largo respiro" (39-40). Siguiendo "las ideas de Nash, que me habían
golpeado mucho (...) ¿a fines de los años 60?", estudio de "una axiomatización de «variedad lisa» y del formalismo diferenciable sobre
esas variedades" (= teoría lisa) (40); axioma de "estabilidad por continuación analítica" (41); conexiones entre sistemas de gérmenes de
funciones analíticas y teorías lisas (41); conexiones entre variedades para teorías lisas y espacios con topologías moderadas (42).

"7. A LA BÚSQUEDA DE LOS CAMPOS" (42-45). "Desde el mes de marzo del año pasado, es decir desde cerca de un año, la mayor parte de mi
energía ha estado consagrada a un trabajo de reflexión sobre los fundamentos del álgebra (co)homológica no conmutativa, o lo que
es lo mismo, finalmente, del álgebra homotópica" (42). Recuento de la escritura: notas destinadas a la publicación (Hermann), trabajo en
curso de redacción, amplitud del manuscrito (1500 pp.), dos volúmenes esperados ("À la poursuite des champs") (43); recuento de
intentos (Verdier, Giraud, Illusie, Quillen) en esa fundamentación, "no entendidos" y que "esperan aún un lenguaje preciso y plástico
para darles forma" (43-44). Referencia a las cartas a Larry Breen (1975) y cómo "en ese momento aparece la intuición que los ¥-
grupoides deben constituir modelos, particularmente adecuados, para los tipos de homotopía, correspondiendo los n-
grupoides a los tipos de homotopía truncados (con pi = 0 para i>n)" (44); referencia a los trabajos de Ronnie Brown y al "estímulo de
una correspondencia agitada" con Brown (44); emergencia del término "campo" (44). Referencia a "última conferencia pública, en el
IHES en 1976, cuyo manuscrito, confiado no sé a quien, se ha perdido" (45), donde ya intuía una "«esquematización» de los tipos de
homotopía" (45). Se trata de "un cuento de las mil y una noches, donde la atención se mantiene en suspenso a través de otros veinte
cuentos antes de conocer el fin del primero" (45).

"8. DIGRESIONES SOBRE GEOMETRÍA BIDIMENSIONAL" (45-49). Estudio de tres temas en "geometría topológica bidimensional" (45): (i)
"polígonos planos" y variedades modulares asociadas (46), (ii) "curvas sumergidas en una superficie" y "visión dinámica de las
configuraciones posibles, con el paso de una a otra por deformaciones continuas", llevando a una propiedad de "«telescopía»" en la
inmersión del círculo en una superficie (46-47), (iii) "clasificación topológico-combinatoria de sistemas de rectas" y aparición de un
"objeto notable" en cuestiones de clasificación: "suerte de «superficie modular» asociada a un sistema de pseudo-rectas" (47-48).
Constatación de soledad (46), falta de alumnos (47) y "nivel de cultura muy modesto de casi todos los alumnos que han trabajado
conmigo en estos últimos diez años" (48). Búsqueda de "métrica riemanniana canónica" en el estudio de mapas bidimensionales (48).

"9. BALANCE DE UNA ACTIVIDAD DOCENTE" (49-50). La enseñanza universitaria (Montpellier) aportó "una renovación de mi aproximación
de las matemáticas" (49), pero "constato un fracaso claro y nítido en mi actividad docente" (49); solo dos discípulos entre el 74 y el 76:
Yves Ladegaillerie y Carlos Contou-Carrère (49).
29

"10. EPÍLOGO" (50-51). La solicitud de entrada al CNRS "ha sido para mí la ocasión de escribir este esbozo, que de otra manera sin duda
nunca habría visto el día" (50); "diez años de trabajo no serían demasiados para llevar a cabo algunos de los mínimos temas esbozados
(...) ¡y cien años serían pocos para el más rico de entre ellos!" (51); "un lector atento percibirá como yo una unidad profunda" (51); "la
geometría de superficies (...) representa una renovación pero de ningún modo una ruptura. Más bien, muestra el camino de una nueva
aproximación hacia esa realidad aún misteriosa, aquella de los «motivos», que me fascinaba más que cualquier otra" (51). "Ya no soy,
como antes, el prisionero voluntario de tareas interminables" (51); "el tiempo de las tareas para mí ha terminado. Si la edad me ha
aportado algo, es ser más ligero" (51). Una nota final (pie de página 51) remite a la Esquisse Thématique (1972) donde Grothendieck
había resumido sus trabajos hasta ese momento.

"NOTAS" (52-57). Nota 1 (52): importancia de las conjeturas aparentemente "fuera de alcance"; nueva conjetura sobre el programa
anabeliano. Nota 2 (52-53): recordatorio de Maria, en el campo de Rieucros, quien le enseña a los doce años la definición de círculo; "en
ese momento, creo, es cuando vi por vez primera la potencia creativa de una «buena» definición matemática, de una formulación que
describe la esencia. Aún hoy, me parece que la fascinación que ejerció en mí esa potencia no ha perdido nada de su fuerza" (53). Nota 3
(53-54): "la geometría algebraica anabeliana (...) ignora los anillos y las ecuaciones algebraicas que sirven tradicionalmente
para describir los esquemas, al trabajar directamente con sus topos étales, expresables en términos de grupos profinitos"; "el
desarrollo de una tal traducción de un «mundo geométrico» (a saber, esquemas, multiplicidades esquemáticas, etc.) en términos de un
«mundo algebraico» (grupos profinitos y sistemas de grupos profinitos, derivados de topos étales convenientes) puede ser considerado
como el logro último de la teoría de Galois, sin duda en el espíritu mismo de Galois" (53) [cfr. Récoltes et semailles 1, 16]. Nota 4 (54-
55): reflexiones sobre el grupo modular y las representaciones motívicas de Gal(!: !) ("comenzadas en 1981"); temas principales a
desarrollar en la geometría algebraica anabeliana: (a) "construcción combinatoria de la Torre de Teichmüller", (b) "descripción del
grupo de automorfismos de la compactificación profinita de la torre, y reflexión sobre una caracterización de Gal(!: !) como subgrupo
de este", (c) "la «máquina de motivos» SL(2,Z) y sus variantes", (d) "el diccionario anabeliano y la conjetura fundamental", (e) "problema
de Fermat" (55). Nota 5 (55): ciclotomía y teoría combinatoria del bi-icosaedro ligadas al entendimiento de Gal(!: !). Nota 6 (55-56):
"unos fundamentos más apropiados para la topología no suprimirán esos fenómenos [salvajes, con su razón de ser y su propia belleza],
pero nos permitirán situarlos en su justo lugar, como «casos límite» de fenómenos de la «verdadera» topología" (56). Nota 7 (56-
57): despliegues, estratificaciones, fibras, bordes, enlaces, junturas en un sistema de espacios moderados.

Las referencias numéricas entre paréntesis remiten a la paginación del documento original, indicada en los márgenes de la transcripción francesa
(cursivas y «entrecomillados» de Grothendieck; nuestras negritas).

Manuscrito 1987 (preparatorio a EGA5) Mediados de la década de los ochenta

30

Pursuing Stacks
------------------------------

1983 (Febrero-Noviembre) Pursuing Stacks (= À la poursuite des champs, Persiguiendo campos), manuscrito
inédito, destinado en parte a publicación (cfr. p. 500). Incluye:
• Tres Cartas a Larry Breen (5 Febrero 1975, 17 Febrero 1975, s.f.), 37 pp.
• Carta a Daniel Quillen (Les Aumettes, 19 Febrero 1983), 23 pp.
• Tabla de Contenidos (25 Mayo 1983), 10 pp.
• Documento Principal (27 Febrero 1983 – 4 Noviembre 1983), 593 pp.

Recuperación de los textos, divulgación, transcripciones y digitalizaciones realizadas por Ronnie Brown y la escuela de Bangor (Gales).
Algunas ideas centrales de Pursuing Stacks se integran luego dentro de Esquisse d'un programme (1984). Ver más adelante en el Seminario, Abril 20-27.

"The modelizing story (histoire de modèles)". "I. Take-off". §§1-13. De espacios a ¥-grupoides, modelos topológicos,

amalgamación y pegamiento, reflexión sobre los términos "¥-grupoide" y "stack". "II. Test categories and test functors".

§§14-44. Fallo de los fundamentos de la topología para expresar la intuición topológica, "stacks" como concepto
unificador de homotopía y cohomología, categorías como modelos de tipos de homotopía, categorías modelo y sitios,
categorías "test", modelizadores en (Cat), esfericidad, categoría de símplices. "III. Homotopy structures and
contractibility structures" (="Grinding my way towards canonical modelizers"). §§45-66. Nociones abstractas de
homotopía, estructuras contractibles, categorías "conectadas", "un tímido comienzo de axiomatización de
equivalencias débiles en (Cat)", revisiones de terminología y de orientación. "IV. Aesphericity structures and canonical
modelizers". §§67-86. "Digresión sobre seis semanas de esbozos: derivadores", esfericidad, exactitud, inyectividad. "V.
Tabla de Homology and cohomology (abelianization of homotopy types)". §§87-102. Revisión de preguntas, programas a corto
Contenidos plazo, topos horizontales, verticales, proyectivos.

"VI. Homotopy properties of (Cat) and A^ (closed model structures)". "VII. Derivators". "VIII. Back to topoi" [estas tres últimas partes no
alcanzan a entrar en el documento; las secciones sobre la axiomatización homotópica de (Cat), los derivadores y los topos se
desarrollarán en el volumen sobre los Dérivateurs, 1990].

Revisión del programa inicial. "VI. Schematization." §§103-132. Pseudo-topos, equivalencia débil, abelianización de un
pseudo-topos, "soft versus hard" (468), haces, dualidad, "tratamiento perfectamente dual de cohomología y
homología" (426), esquematización y linealización de tipos de homotopía, fibraciones, simetrías, cambios de base,
conservatividad, teoría de la homotopía at large. "VII. Linearization of homotopy types". §§133-140. Grupoides y teoría
de Teichmüller, seis operaciones y formalismo homológico en (Cat), suavidad en (Cat), prefiguración de Récoltes et
semailles (592-593).

§1. "Síntesis de álgebra homotópica y homológica, con énfasis especial sobre topos", retrotraída a alrededores de

1966-67 (1); necesidad de una "topología moderada" (tame topology) de la misma importancia ("urgent and

exciting") de los esquemas para la geometría algebraica (1). §2. "Intuición básica": el estudio de los n-tipos de

homotopía equivale al de los n-grupoides (1'), vía la asociación de grupoides fundamentales a espacios

(generalizando Poincaré); la relativización de un n-grupoide sobre un topos arbitrario (=n-stack) abre las puertas a

una cohomología no conmutativa (1'); "heurística pura por el momento" (1'); "me guío sobre todo por la

interpretación topológica" (2); un intento de axiomatizar la noción de ¥-grupoide (2-2') lleva a una cadena infinita de

estructuras (3), que requiere el "descubrimiento de un simple principio guía" (3). §3. "Presumiblemente, la categoría
Carta a
de ¥-grupoides es una «categoría modelo» para la categoría homotópica usual" (3); intento de finalización de la
Quillen
(= I. Take-off) carta (3'), pero continuación de la misma, ya que, "después de todo, la motivación topológica sí provee el «simple
principio guía» deseado". §4. Esquema de estructuración de un ¥-grupoide (4-4'). §5. Descripción vía sucesión
canónica C0 ® ... Cn ® Cn+1 ... de categorías y funtores ["structure species" (6), recordatorio de las "espèces de
structures" de Bourbaki], determinando en cada caso construcciones categóricas requeridas (productos, productos
fibrados, límites, colímites) (5-5'). §6. La intuición topológica subyacente es la de "transponer" operaciones entre
células de un complejo a operaciones entre objetos homotópicos (6). §§7-8. Estructura primitiva en los complejos
celulares, procesos de descomposición y amalgamación (6'-7'); categoría C0 (8). §§9-10. Paso inductivo: construcción
Cn ® Cn+1 (8-8'); "la ambigüedad está en la naturaleza de las cosas" (8'); descripción explícita de la inducción (9-9').
§11. Descripción dual de un ¥-grupoide vía topología (10). §12. Co-¥-grupoides en (Top) (10'); "it's getting late and
time to go to bed!" (10'). §13. Observaciones terminológicas sobre n-grupoides, ¥-grupoides, "stacks" – referencia a
"Mme. Hoang Xuan Sinh" (11); stacks como "basic coefficient objects in non commutative homological algebra, as well
as a convenient description of homotopy types"; "may be the theory is going to take off after all, in the long last!" (12).

§14. "Gruesa inadecuación" de la "transcripción" usual de la intuición topológica (1); topos, esquemas, topología étale

son más apropiados para el desarrollo de una "teoría estructural de las estratificaciones" (1).

§15. Explicación de las limitantes históricas de las aproximaciones lineales para el entendimiento de los espacios

topológicos (2); emergencia de los stacks ("champs in French") para unificar y estabilizar la situación (3).

31

§16. "La noción de stack aparece aquí como el concepto unificador para una síntesis del álgebra homotópica y
el álgebra cohomológica no conmutativa" (6).
§16bis. "El hecho de que las categorías son objetos cómodos para definir tipos de homotopía arbitrarios es
bastante notable (...) objetos extremadamente simples y familiares (...) Lo que resulta más sofisticado es el proceso de
localización hacia los tipos de homotopía, es decir, la descripción explícita de las equivalencias débiles" (8).
§24. "Las reflexiones anteriores me convencen de que (1) hay en efecto topologías en (Cat), adecuadas para
describir los tipos naturales de homotopía de los objetos de (Cat), es decir de las categorías, y (2) no existe
Algunos definitivamente una escogencia privilegiada para una tal topología" (23-24); consecuencia: aparente imposibilidad de
pasajes del reconstruir la "categoría homotópica usual (Hot)" a partir de una topología "natural" en (Cat) (24).
Documento §25. Pregunta esencial ("aún bastante vaga"): "¿cuáles especies de estructuras algebraicas son adecuadas para
Principal expresar los tipos de homotopía?" (25).
§29. "El modelizador básico, en esta aproximación a modelos homotópicos, no es de ninguna manera la categoría
(Semisimpliciales) (por más cómoda) o la categoría (Espacios) (por más cercana de la intuición topológica), sino la
categoría (Cat) de «todas» las categorías (pequeñas)" (33).

--------------------------------------

La forma y el estilo: diario creativo, flujo del pensamiento, rectificaciones, manuscrito tipografiado y corregido a mano, cambios de
rumbo, ampliaciones... (sigue la orientación de La larga marcha a través de la teoría Galois, plástica y titubeante, en contraste con la
arquitectónica rígida de EGA, SGA, cfr. p. 445). "Ímpetu fresco (...) mirada inocente (...)" (445), "un aire de la variada fragancia del
mundo" (592). Trabajo/revelaciones en medio de la muerte (Ella, 491) y el nacimiento (Suleyman, 555) de sus nietos.

(I). 5 Febrero 1975. "Esos animales [2-categorías de Picard, n-categorías y otra fauna de ese género] son del todo

indispensables para hacer matemáticas serias" (1); "la consideración de las n-categorías (...) me parece ser la llave del

paso del álgebra homológica ordinaria («conmutativa») a un álgebra homológica no conmutativa, gracias a que provee

una interpretación geométrica correcta de los «complejos truncados al orden n»" (3); "el contexto «natural» de los

teoremas de cambio de base en cohomología étale, teoremas de tipo Lefschetz (...) es aquel de los n-campos [n-

champs]" (5); "yoga: una «n-categoría módulo n-equivalencia» es esencialmente la misma cosa que un

«conjunto semi-simplicial módulo homotopía» (5); "hay que relativizar todo el yoga encima de un topos arbitrario

X (...) poner en relación el álgebra homológica sobre X en términos de haces, con el álgebra categórica sobre X

en términos de n-campos en grupoides" (8); "la teoría de «álgebra homológica no conmutativa» que intento

sugerir podría definirse, vagamente, como el estudio paralelo de las nociones siguientes y sus múltiples relaciones:

(a) espacios topológicos, topos, (b) conjuntos semi-simpliciales, haces semi-simpliciales, (c) n-categorías (en especial
Cartas a
n-grupoides), n-campos (en especial, n-campos en grupoides) etc. (d) complejos de grupos abelianos, haces abelianos
Breen
etc. (...) Se trata por tanto de álgebra, con la presencia constante de motivaciones provenientes de la intuición
(pre-historia)
topológica. Si una tal teoría debiese ver el día, necesitaría un nombre, me pregunto si «álgebra topológica» no sería el

más adecuado" (9).

(II). 17 Febrero 1975. "Las construcciones sobre un topos X que se pueden hacer en términos de (n-1)-stacks
localmente constantes dependen sólo de sus «n-truncados tipos de homotopía»" (1); "puede darse explícitamente la
cohomología de un n-grupoide" (3); "hay esencialmente tres aproximaciones distintas para construir la cohomología
de un topos: (a) punto de vista de complejos de haces, resoluciones inyectivas, categorías derivadas (álgebra
homológica conmutativa), (b) punto de vista a la Cech o semi-simplicial (álgebra homotópica), (c) punto de vista de los
n-stacks (álgebra categórica, o álgebra homológica no conmutativa). En (a) se «resuelven» los coeficientes, en (b) se
resuelve el espacio base, en (c) no se resuelven ni el uno, ni el otro" (5).
(III). Sin fecha (1975). "Mi gran ignorancia de la topología algebraica y la homotopía" (1); "yoga conjuntos simpliciales
« ¥-grupoides" (2); "libro de Mme. Sinh" (2); "yoga según el cual «el carácter trascendente de un grupo formal se
concentra esencialmente en el grupo conmutativo formal», descubierto al parecer por Dieudonné" (3); "se podrían
unir, en una categoría derivada apropiada, la dualidad de Serre, la dualidad de Pontriagin (...) y la dualidad de Cartier"
(8); "el «tipo fino de homotopía» de un espacio moderado [dentro de la «tame topology», i.e. "donde se eliminan los
fenómenos salvajes" (18)] encarna el conocimiento, no sólo de los haces o los n-stacks, sino (vía paso al límite
inductivo) el conocimiento de todos ellos" (20); "todas las operaciones cohomológicas posibles e imaginables ya están
incluidas en los datos provistos por un sistema de n-categorías" (21); "¿cuál es esa maravillosa fórmula de Bloch-
Quillen a la que usted alude, que no conozco, y con la que se me hace agua a la boca?" (22).

Noviembre 5 1959. "Cada vez que, en virtud de mis criterios, una variedad de módulos (o mejor, un esquema de
Carta a
módulos) para la clasificación de las variaciones (globales o infinitesimales) de ciertas estructuras (variedades
Serre
completas no singulares, fibrados vectoriales, etc.) no puede existir, a pesar de eventuales buenas propiedades de
(pre-pre-
lisura, propiedad y no singularidad, la razón se debe solo a la existencia de automorfismos de la estructura que
historia)
impide funcionar la técnica de descenso". [Correspondance Grothendieck-Serre, SMF, 2001, p. 94].

Las referencias numéricas entre paréntesis en la Tabla de Contenidos, la Carta a Quillen y el Documento Principal corresponden a la numeración del propio Grothendieck.
Las referencias numéricas entre paréntesis en las Cartas a Breen corresponden a la paginación separada de cada carta. Todas las negritas son nuestras.

32

FUERZAS CENTRALES EN PURSUING STACKS

def. (actual) STACK = funtor E ® CT donde:
• el funtor es fibrado (los morfismos en CT se relevan canónicamente a E)
• las fibras CT½U (preimágenes del funtor sobre objetos U de CT) son grupoides
• el funtor "cambio de base" CT½U ® Con es un haz
• CT es una categoría C con una topología de Grothendieck T
• los cubrimientos en las fibras se relevan ("los datos de descenso son efectivos")

ejemplos esenciales:
• CT = categoría de esquemas afines sobre un esquema S fijo, con la topología étale
• E = M1,1 espacio moduli de curvas elípticas (Mumford, 1965)
• E = Mg,n espacio moduli de superficies de género g con n puntos (Grothendieck, 1981)

desarrollo de los STACKS
(hacia aritmética + Langlands) (hacia física + HoTT)
TEORÍAS DE LA CLASIFICACIÓN

NO CONMUTATIVIDAD
(GRUPOIDE FUNDAMENTAL)
TEORÍA FINA DE ESPACIOS MODULI TEORÍA HOMOTÓPICA DE CATEGORÍAS
[Laumon 2000] [Maltsiniotis 2005]

categorías algebraicas categorías analíticas n-categorías

----------------------------------------------------------------- bases ------------------------------------------------------------

variedades algebraicas variedades diferenciables 1-stacks = stacks
esquemas espacios topológicos 0-stacks = haces

STACKS ALGEBRAICOS STACKS TOPOLÓGICOS / DIFERENCIABLES n-STACKS

emergencia terminológica STACKS (= CHAMPS) (Deligne-Mumford 1969)

tránsito final (ideas de Grothendieck)

(4) se integra toda la información de variación y pegamiento en los haces

(3) aparecen entonces naturalmente los grupoides en los problemas de clasificación

(2) la clasificación de esas estructuras (espacios moduli) debe tener en cuenta las variaciones (Riemann)

(1) muchas estructuras poseen grupos de automorfismos no triviales (interés de la ambigüedad - Galois)

obstrucción inicial

33

Los derivadores
---------------------------

1990-91 Les dérivateurs, manuscrito inédito (octubre 1990 - mediados 1991), 1976 pp.

Transcripción (francés) por Matthias Künzer, edición y revisión de Georges Maltsiniotis y Jean Malgoire, disponible en www.grothendieckcircle.org.

Cap. 1 Generalidades sobre los (pre)derivadores (126 pp.)

Cap. 2 Cofinalidad (a derecha e izquierda) (preliminar a la cofinalidad cohomológica) (99 pp.)

Cap. 3 Hom externos en los derivadores (12 pp.)

Cap. 4 Diagramas substanciales (83 pp.,1-72 ausentes)
Cap. 5 Categorías de caminos y localización (52 pp.)
Cap. 6 HOT (204 pp.)
Cap. 7 Categorías de caminos (2) (171 pp.)
Cap. 8 1-tipos de homotopía relativos: su integración... (9 pp.)
Cap. 9 Regreso sobre las categorías MW-1, comparación con Quillen (25 pp.)

Cap. 10 Comparación de Cat con D^ (5 pp.)
Cap. 11 Fibraciones HOT, funtores propios y funtores lisos, etc. (136 pp. 1-126 ausentes)
Cap. 12 Caracterización de !" . Funtores W-propios, W-lisos, etc. Sumas amalgamadas y cuadrados W-cocartesianos en Cat (275 pp.)
Cap. 13 Categorías de modelos (1) (98 pp.)
Cap. 14 Cuadrados h-cartesianos y h-cocartesianos (8 pp.)
Cap. 15 Teoremas de factorización (modelos (2)) (137 pp.)

[capítulos 16-19, por transcribirse aún, a fecha Mayo 2016]

Cap. 16 Localizadores fundamentales en Cat (124 pp.)
Cap. 17 Categorías con fibraciones y cofibraciones (modelos (3)) (118 pp.)
Cap. 18 Categorías y conjuntos accesibles (492 pp., 1-49 ausentes)
Cap. 19 Modelos (4) (50 pp.)

1991 (Abril 2, Les Aumettes) Carta a Thomason. Grothendieck resume algunas de las ideas esenciales de Los derivadores:
• desarrollo de un "álgebra topológica" general bajo un amplio "fundamento de la teoría de categorías" (2)
• búsqueda de "estructuras intrísecas" (2), "esencias últimas" (9), "quintaesencia" (11), subyacentes a categorías homológicas y homotópicas
• aparición en SGA5 de la idea de derivadores: axiomas apropiados para las propiedades funtoriales asociadas a categorías derivadas (5)
• nociones fundamentales del "álgebra topológica": derivador, topos, n-categoría, n-campo, para poder captar Cat con "ojo de geómetra" (6)
• derivadores / categorías de modelos º estructuras / bases : el carácter intrínseco de los derivadores calca la independencia de cambios de base (11)

Las referencias numéricas entre paréntesis remiten a la transcripción del documento, disponible en www.grothendieckcircle.org

Les dérivateurs: algunos temas escogidos

)*
Cap. 1. Cuadro intuitivo (1.1): "categoría de coeficientes" A, "categoría de índices" I, topos de prehaces #(%) = #( , cambio de base f: I®J, y problemática de
existencia de adjuntos (izquierda, derecha) para f*: A(J)®A(I). Cuadro general: definición de derivador como 2-funtor D: Diaop ® Cat (Dia subcategoría plena
de Cat = "diagramas") que "satisface ciertas condiciones" (1.4) [un tal funtor se denominará luego "prederivador" (1.22) y los axiomas para los derivadores
irán apareciendo a medida que el texto se desarrolla naturalmente (1.5, 1.9, 1.22, 1.23-25)]. "La filosofía de los derivadores consiste en gran medida" en
responder cómo ciertos diagramas en "categorías de coeficientes" D(I) provienen inversa y canónicamente de otros diagramas (1.7). "Intuitivamente, se mira
un derivador D como una categoría [de base] fundamental con una «estructura» suplementaria, a saber las «extensiones» [de la base]", de manera funtorial;
emerge entonces un vaivén global-local entre coeficientes (1.10). Aparición "estándar" de los derivadores vía localizaciones (1.10). Ejemplo esencial:
derivador HOT elevado sobre la "categoría homotópica estándar" Hot, categoría base de "coeficientes fundamentales" (1.11). "Filosofía": los funtores entre
categorías fundamentales, subyacentes a derivadores, deben provenir de manera canónica de morfismos entre derivadores (1.14). Las notas a pie de página
(agregadas después de avances y retrocesos en el texto principal) indican "errores" (1.22), "inutilidades" (1.24), "falsedades" (1.25-27, 1.52), "mejoras"
(1.31), "contraejemplos" (1.53), "dudas" (1.65): reflejos de la labor creativa en acción de Grothendieck. Enlace entre condiciones de suavidad –morfismos
propios y lisos (1.30)– y propiedades de estabilidad en cambios de base (1.32). Descomposición globular de la esfera a través de conjuntos ordenados y
categorías (1.57-58). Desarrollo parcial del documento fechado 11 Noviembre 1990 (1.66).

Cap. 3. Acciones eventuales de Hot sobre la categoría fundamental de un derivador (5.1). Correlaciones entre Cat y Hot; localización módulo cuasi-
isomorfismos (5.2). Carácter especulativo del capítulo: ¿"nuevo axioma"? (5.3), "heurística" (5.6), "no hay duda, debe funcionar" (5.6), dudas: ¿"corrección"?
(5.7), ¿"verdad"? (5.8), confianza relativa: "O.K." (5.8). Ejemplo: funtores asociados al "tipo de homotopía del círculo estándar" (5.3).

Cap. 5. Categorías abstractas de caminos (5.1-4). Enlaces con categorías de fracciones (5.5, 5.17, 5.20). Cat hot, categoría de categorías módulo homotopía
(5.8): intento de presentación vía "demostración conceptual, sin «cálculos» fastidiosos" (5.9) [recordar la frase de Galois: "hay que saltar a pies juntillas sobre
los cálculos"].

Cap. 11. Fibraciones de tipo Hot en Cat: utilizando técnicas de haces, correspondencias entre preservación de Hot-equivalencias y preservación de fibras bajo
cambios de base (11.1-3). "Para poner resultados «topológicos» sobre una base sólida, hay que desarrollar las nociones pertinentes de funtor propio, funtor
liso, etc., sin referencia a una teoría HOT. Es lo que por otro lado había intentado hacer ya en 1983, por los tiempos de Pursuing Stacks, pero sin una redacción
en forma" (11.6).

Las referencias numéricas entre paréntesis (x.y) remiten a la paginación de la transcripción, señalando capítulos (x) y páginas (y).

34

ALGUNAS FUERZAS CENTRALES EN LOS DERIVADORES

"quintaesencia"
unidad / suavidad
arquetipo

TRÁNSITOS GENERALES EN CAT

axiomática de los derivadores

adjuntos derechos / izquierdos acción de Hot
(cohomología / homología) (formalismo homotópico)

ÁLGEBRA TOPOLÓGICA
[nivel universal global: Les dérivateurs 1991,
nivel proyectivo local: La longue marche 1981, Pursuing Stacks 1983]

tipos 1 tipos 2

ÁLGEBRA HOMOLÓGICA ÁLGEBRA HOMOTÓPICA
(coeficientes) (límites)

tránsitos
funtorialización y abstracción de los procesos de derivación
emergencia de canonicidad y universalidad a nivel Cat

estabilidad intrínseca / invarianza
"independencia de cambios de base"

(PRE)DERIVADOR

)*
funtor: C ® + , [!,-. ]
con axiomas adicionales

a partir de un "localizador" (M,W):
M categoría, W subcategoría de flechas de M,
)*
!, subcategoría de + , , !,-. cuasi-isomorfismos

CATEGORÍAS DERIVADAS complejos de cadenas Compl(A) + equivalencias débiles W : localización Compl(A)×[W-1 ]

obstrucciones
no canonicidad
no universalidad

Lema Yoneda
)*
C ® #, intuición central: topos de prehaces

)*
CATEGORÍAS ABELIANAS (A) TOPOS (#, )

(Tôhoku 1957) (SGA 1962)
35

Diagramas de la creatividad en Grothendieck
Primer periodo (1950-1960)
--------------------------------------------------------------------

(1) LA ARQUITECTÓNICA MATEMÁTICA
GERMINACIÓN
("COSECHAS")
1958
EL GIRO DEFINITIVO
(inicio de la Segunda Parte de este Seminario Grothendieck, 2015-II)
The cohomology theory of abstract algebraic varieties
(Conferencia Plenaria ICM, Edimburgo, 1958)

(B - C - G - K - L)
---------------------------------------------------------------------------------------------

1957/1960
ALREDEDOR DE LA VARIABLE COMPLEJA
Técnicas de construcción en geometría analítica
Trabajos sobre fibraciones y espacios de holomorfas

(A - B - C - D - F - G - H - I)
--------------------------------------------------------------------------------------------

1955
"EL GIRO HACIA LA GEOMETRÍA"
LOS SEGUNDOS MONUMENTOS MAYORES
Categorías abelianas (publ. 1957) K-teoría (publ. 1958)

(B - F - J - K - L)
(B - C - G - J - K - L)
-------------------------------------------------------------------------------------------------------

1953
LOS PRIMEROS MONUMENTOS MAYORES
Tesis Doctoral (publ. 1955) Résumé (publ. 1956)

(A - C - D - E - H - J - K) (A - C - D - E - F - J - K)

TOPOLOGÍA ANÁLISIS FUNCIONAL VARIABLE COMPLEJA ÁLGEBRA
(A) evtlc (D) espacios Hilbert/Banach (G) Riemann-Roch clásico (J) productos tensoriales
(B) haces (E) espacios nucleares (H) espacios de funciones holomorfas (K) propiedades permanencia
(C) (no) separación (F) aproximación (I) esfera de Riemann (L) co/homología

1950-1951
LOS GRANDES GÉRMENES
("SIEMBRAS")

CALIBRACIÓN DE FUERZAS
(# apariciones en los entornos de "germinación")

A (3) D (3) G (3) J (4)
B (4) E (2) H (2) K (5)
C (5) F (3) I (1) L (3)
36

(2) LAS TENSIONES METODOLÓGICAS

DEL "EN SÍ" AL "EN OTRO" inyección

objeto particular multiplicidad de objetos similares categoría asociada

uno (nivel inferior) múltiple (nivel intermedio) uno (nivel superior)

•

DE LOS "TIPOS" AL "ARQUETIPO" concretos • à abstracto

•

proyección

DE LO "ARTIFICIAL/SINGULAR" A LO "NATURAL/SUAVE"

las singularidades se suavizan en espacios generales
con equilibrios armónicos entre aritmética/álgebra/topología/análisis
(nuclearidad, holomorfía, hacificación, categorización)

DE LA "ESTRUCTURA" A LA "FORMA"

los objetos con estructura externa adicional
(aritmética, algebraica, topológica, analítica, etc.)
se subsumen en categorías cuya forma interna axiomática
se convierte en el objetivo esencial del conocimiento matemático

HACIA PROPIEDADES DE PERMANENCIA EN ENTORNOS NO SEPARADOS
(década 1960-1970)

espacio (geometría) : no enteramente determinado por puntos (separados)

emergencia de los TOPOS

tiempo (aritmética) : no enteramente determinado por enteros (separados)

emergencia de los ESQUEMAS

[todo esto se englobará en Cosechas y Siembras bajo la metáfora continua de la marea subiente]
37

Segundo periodo (1958-1970)
-------------------------------------------------------------

(1) LA ARQUITECTÓNICA MATEMÁTICA

GERMINACIÓN
1960-69 (SEGUNDAS "COSECHAS")
LA AMPLIACIÓN DEL CONCEPTO DE ESPACIO

(B- C - G - H - K - L - X - Y - Z)
--------------------------------------------------------------------------------------------

1960-66
LA AMPLIACIÓN DEL CONCEPTO DE NÚMERO

(B - C - H - K - L - X)
-------------------------------------------------------------------------------------------------------

1958
EL GIRO DEFINITIVO
The cohomology theory of abstract algebraic varieties
(Conferencia Plenaria ICM, Edimburgo, 1958)

(B - C - G - K - L / intuición condensada de X - Y - Z)

topos étale de un esquema
categorías de esquemas (Z) topos
esquemas haces sobre sitios
anillos locales topologías de Grothendieck
haces con fibras algebraicas haces con fibras conjuntistas
(X) (Y)
1958-62
LOS GÉRMENES MEDIOS
(SEGUNDAS "SIEMBRAS")


1950-1951
LOS GÉRMENES INICIALES
(PRIMERAS "SIEMBRAS")

(# apariciones en los segundos entornos de "germinación")

A (0) D (0) G (2) J (0)
B (3) E (0) H (2) K (3)
C (3) F (0) I (0) L (3)
X(3) Y(2) Z(2)
38


(A) AMPLIACIÓN DE LA NOCIÓN DE ESTRUCTURA

estructuras haces de estructuras categorías de haces de estructuras

vaivenes entre lo Uno y lo Múltiple

(B) EL ASCENSO Y EL DESCENSO DEL ENTENDIMIENTO (Llull)

ascenso a la generalidad (suavidad, Unidad) por medio de niveles abstractivos (inyección)

descenso a la concreción (particularidad, Multiplicidad) por medio de estratos residuales (proyección)

(C) GRANDES PROBLEMAS: INMERSIONES EN "MAREAS"

problema marea haces en juego

Riemann-Roch K-teoría grupo libre de haces coherentes

(Co)homologías categorías abelianas haces abelianos

Conjeturas de Weil topos étale morfismos étales (Gal-Riem) entre esquemas
Hipótesis de Riemann topos aritmético (Connes) haces aritméticos sobre F(1)

(D) COINCIDENTIA OPPOSITORUM (Cusa)

HACES

número (DISCR, ALG, esquemas) magnitud (CONT, ESP, topos)

[Galois] [Riemann]
unificación de los opuestos

39

Tercer periodo (1981-1991)
-------------------------------------------------------------

(1) LA VIDA ACTIVA MATEMÁTICA

GERMINACIÓN
1991 (TERCERAS "COSECHAS")
LOS FUNDAMENTOS "ARQUETÍPICOS"
Les dérivateurs

REFLEXIÓN
(B - C - F - J - K - L - Y - d - g)
La clef des songes (1987) -----------------------------------------------------------------------------------
Récoltes et semailles (1986) 1984
LA CONDENSACIÓN Y LA VISIÓN
Esquisse d'un programme

(B - C - G - I - J - K - L - X - Y - a - b - d - g)
-------------------------------------------------------------------------------------
1983
Pursuing Stacks

(B - C - G - L - Y - Z - d - g)

1981
LA GRAN RENOVACIÓN
La longue marche à travers la théorie de Galois

(B - C - G - H - I - J - K - L - X - Y - a - b - d)

(a) espacios moduli de superficies de Riemann (b) grupo de Galois absoluto (d) grupoide fundamental (g) tipos homotopía

1975-76
LOS GÉRMENES FINALES
(TERCERAS "SIEMBRAS")

(X) esquemas (Y) topologías de Grothendieck, topos (Z) topos étale de un esquema

1958-62
LOS GÉRMENES MEDIOS
(SEGUNDAS "SIEMBRAS")


1950-1951
LOS GÉRMENES INICIALES
(PRIMERAS "SIEMBRAS")
(# apariciones en los terceros entornos de "germinación")

A (0) D (0) G (3) J (3) X (2)
B (4) E (0) H (1) K (3) Y (4)
C (4) F (1) I (2) L (4) Z (1)
a(2) b(2) d(4) g(3)
40


(A)
NUEVO ESTILO:
DIARIOS DE TRABAJO PLÁSTICOS (YIN), NO ARQUITECTÓNICOS (YANG)

• lugar al error, a la corrección, a la variación progresiva de los ajustes
• espacios abiertos: descubrimiento/invención + reflexión

(B)
ACCESO DIRECTO A OBJETOS ARITMÉTICO-GEOMÉTRICOS RICOS:
REENTENDIMIENTO DE NÚMERO/ESPACIO DESDE LA PROFUNDIDAD DE LO CONCRETO

• espacios moduli de superficies de Riemann
• grupo modular / grupo de Galois absoluto
• variable compleja y torre de Teichmüller
• superficies topológicas
• dibujos de niños

(C)
ACCESO UNIVERSAL/ARQUETÍPICO A LA HOMOTOPÍA:
TRÁNSITOS AXIOMÁTICOS EN CAT DESDE LA PROFUNDIDAD DE LO GENÉRICO

• truncamientos y localizaciones: n-grupoides, n-tipos de homotopía, n-stacks
• suavizaciones y globalizaciones: derivadores

(D)
COINCIDENTIA OPPOSITORUM

"ver Cat con ojo de geómetra"
CAT-GEOM

particular (B) general (C)

tensión / armonización / suavización entre los opuestos

41
“vid.págs.” hace referencia a mi monografía sobre
Grothendieck en curso (finalización esperada 2019)
favor no hacer caso por el momento
P#`b /2 :`Qi?2M/B2+F
:`Qi?2M/B2+F- X S`Q/mBib i2MbQ`B2Hb iQTQHQ;B[m2b 2i 2bT+2b Mm+HûB`2bX S`QpB/2M+2, K2`B+M

Ji?2KiB+H aQ+B2iv- RN88 (h2bBb .Q+iQ`H- LM+v- RN8j)- RN9N@8j UpB/X T;bX N@jR- j8@j3-
99- 98- ey@ek- 3e- Ry3- RRd- Rkk- Rjy- R9e- R8e- Ree- R3e- kRk- kk9- k9jVX
ǳ_ûbmKû /2b `ûbmHiib 2bb2MiB2Hb /Mb H i?ûQ`B2 /2b T`Q/mBib i2MbQ`B2Hb iQTQHQ;B[m2b 2i /2b
2bT+2b Mm+HûB`2bǴX 1M, MMH2b /2 HǶAMbiBimi 6Qm`B2` 9 URN8kV- T;bX dj@RRk UpB/X T;bX N-
Ry- jy- jRVX
ǳS`Q/mBib i2MbQ`B2Hb iQTQHQ;B[m2b 2i 2bT+2b Mm+HûB`2bǴX 1M, aûKBMB`2 "Qm`#FB k URN8k#V-

T;bX RNj@kyy UpB/X T;bX N- jRVX
ǳam` +2ìBMb 2bT+2b /2 7QM+iBQMb ?QHQKQ`T?2b AǴX 1M, CQm`MH 7Ƀ` /B2 `2BM2 mM/ M;2@
rM/i2 Ji?2KiBF RNk URN8jV URN8jV- T;bX j8@e9 UpB/X T;bX Rj- R88- R8d- R83VX
ǳam` +2ìBMb 2bT+2b /2 7QM+iBQMb ?QHQKQ`T?2b AAǴX 1M, CQm`MH 7Ƀ` /B2 `2BM2 mM/ M;2@
rM/i2 Ji?2KiBF RNk URN8jV URN8j#V- T;bX dd@N8 UpB/X T;bX Rj- R88- R8d- R83VX
ǳ_ûbmKû /2 H i?ûQ`B2 Kûi`B[m2 /2b T`Q/mBib i2MbQ`B2Hb iQTQHQ;B[m2bǴX 1M, "QH aQ+X JiX
a½Q SmHQ 3 URN8eV URN8j+V- R@dN (JMmb+`BiQ- a½Q SmHQ- RN8j) UpB/X T;bX R8- Re- RN@kj-
k8@kd- jy- jR- jj- je@eR- ej@ed- dy- 3j- 39- 3e- NN- Ry3- Rkk- Ree- kRk- kk9VX
hQTQHQ;B+H o2+iQ` aT+2bX L2r uQ`F, :Q`/QM "`2+?- RNdj (a2KBM`BQ- a½Q SmHQ-
RN8j)- RN8j/ UpB/X T;bX jk- 9yVX
kd8
kde :`Qi?2M/B2+FX lM ;mŌ H Q#` Ki2K{iB+ v 7BHQbƠ7B+
ǳam` [m2H[m2b TQBMib /ǶH;ĕ#`2 ?QKQHQ;B[m2ǴX 1M, hƬ?QFm Ji?X CX URN8dV N URN88@8eV-
T;bX RRN@kkR UpB/X T;bX Rd- kk- k8- ke- j3- 9e- 93- ek- e9- eN- dR@dj- d8- de- d3@NN- Rye@Ry3-
RRy- RRe- RkR- Rkk- RkN- R99- R9e- Re8- R38- RNR- RN3- ky8- kRk- kRd- kk9- kkd- kkN- k8RVX
:`Qi?2M/B2+F- X ǳ*Hbb2b /2 7Bb+2mt 2i i?ûQ`ĕK2 /2 _B2KMM@_Q+?ǴX 1M, a:X oQHX eX S`Bb,

A>1a- RN88@8d- T;bX ky@dd UpB/X T;bX kk- k8- ke- ek- 3j- RyR- Ryk- Ry9- Ryd@RRk- RR9- RRe-
RRd- RkR@Rk9- RkN- Rjy- R8e- ky8- kR9- kkk- kk9VX
:2M2`H h?2Q`v Q7 6B#`2 aT+2b rBi? ai`m+im`2 a?27X AM7X iû+X Gr`2M+2, lMBp2`bBiv Q7
EMbb Ĝ La6 :RRke- RN88 UpB/X T;bX Ryj- RR3@RkRVX
ǳam` H +HbbB}+iBQM /2b }#`ûb ?QKQHQ`T?2b bm` H bT?ĕ`2 /2 _B2KMMǴX 1M, K2`B+M
CQm`MH Q7 Ji?2KiB+b dN URN8dV URN88V- T;bX RkR@Rj3 UpB/X T;bX Ryj- RR3- R88- R8d- R83VX
6QM/2K2Mib /2 H :ûQKûi`B2 H;û#`B[m2X S`Bb, aûKBMB`2 "Qm`#FB- RN8e@ek (3 2tTQbB@

+BQM2b `2HBx/b 2Mi`2 RN8e v RNek- +QM +QK2Mi`BQb }MH2b URNekV)- RN8e@ek UpB/X T;bX R89-
R33- kRy- kRR- kRjVX
ǳam` H2b 7Bb+2mt H;û#`B[m2b 2i H2b 7Bb+2mt MHviB[m2b +Q?û`2MibǴX 1M, aûKBMB`2
*ìM 1La RN8ef8d NXk URN8dV- T;bX R@Re UpB/X T;bX Ryj- RRe- RRd- RkjVX
ǳh?2 +Q?QKQHQ;v i?2Q`v Q7 #bi`+i H;2#`B+ p`B2iB2bǴX 1M, S`Q+22/BM;b AMi2`MiBQMH

*QM;`2bb Q7 Ji?2KiB+BMb U1/BM#m`;?VX *K#`B/;2, *K#`B/;2 lMBp2`bBiv S`2bb- RN83-
T;bX Ryj@RR3 UpB/X T;bX je- Ryk- RkN- Rjk- Rjj- Rj8@R8R- R8j- RdR- R3j- RNR- RNjVX
ǳh2+?MB[m2b /2 +QMbi`m+iBQM 2M ;ûQKûi`B2 MHviB[m2ǴX 1M, aûKBMB`2 >2M`B *ìM Rj

URNeRVX 1tTQbûb d@Rd- S`Bb, a2+`ûi`Bi Ji?ûKiB[m2 1La UpB/X T;bX R88- R8d- R8N- Rey-
Rek@Rd9- RNR- kRNVX
ǳJQiB7bǴX RNed UpB/X T;bX kjj- kje- kjd- k8y@k8jVX
ǳaiM/`/ +QMD2+im`2b QM H;2#`B+ +v+H2bǴX 1M, H;2#`B+ :2QK2i`v- Pt7Q`/ lMBp2`bBiv

S`2bb URNeNV- RNe3- T;bX RNj@RNN UpB/X T;bX jk- Ryk- RyN- R9N- kk9- kjj- kje- k9y@k98- k89VX
1b[mBbb2 i?ûKiB[m2 /2b T`BM+BTmt i`pmt Ki?ûKiB[m2b /2 X :`Qi?2M/B2+FX AM7X iû+X

*L_a- RNdk UpB/X T;bX R88- ReR- kyk- kyj- kky- k9eVX
P"_a .1 :_Ph>1L.A1*E kdd
ǳG HQM;m2 K`+?2 ¨ i`p2`b H i?ûQ`B2 /2 :HQBbǴX RN3R UpB/X T;bX k9- RdR- Rdk- Rd9-
RNd- kk8- k8N- kee- ked- kdR- kdkVX
ǳSm`bmBM; ai+FbǴX RN3j UpB/X T;bX RNd- kk8- kjR- k8NVX
ǳ1b[mBbb2 /ǶmM T`Q;`KK2ǴX RN39 UpB/X T;bX R8j- ReR- RdR- Rd9- RNd- kR9- kk8- kkN- k8N-
kee- kedVX
ǳ_û+QHi2b 2i b2KBHH2bǴX RN38@3e UpB/X T;bX R9- R3- kN- jR- j9- jd- 83- ed- e3- dy- dR- Ny-
N9- Ryj- RRj- RRe- Rk9- Rjy- RjR- Rje- R9N- R8R@R8j- R8e- Rdy- RdR- Rd3- RdN- R39- kyk- kyj-
kRN- kkR@kk9- kj9@kje- kj3- k98- k9d- k93- k8N@keR- ke9@kedVX
ǳG +H27 /2b bQM;2b Qm /BHQ;m2 p2+ H2 "QM .B2mǴX RN3d UpB/X T;bX RNd- kkk- k8N- kej@ke8VX
ǳG2b /û`Bpi2m`bǴX RNNR UpB/X T;bX k9- Ny- NN- RNd- kk8- kjy- k93- k8R- k8NVX
ǳ`+?Bp2b :`Qi?2M/B2+FǴX lMBp2`bBiû /2 JQMiT2HHB2`X AJ:X m`H, ?iiTb,ff;`Qi?2M/B2+FX

mKQMiT2HHB2`X7`f UpB/X T;bX 8- RR3- Rkj- Rd8- RNy- kyj- kjj- k89VX
:`Qi?2M/B2+F- X v CX .B2m/QMMûX úHûK2Mib /2 :ûQKûi`B2 H;û#`B[m2X Ao pQHbX- d Tì2bX S`Bb,

A>1a- RNey@ee (JMmb+`BiQb `2HBx/Qb 2Mi`2 RN8N v RNe9)- RN8N@e9 UpB/X T;bX k9- k3- kN- jk-
je- Ry3- RkN- Rj8- Rj3- R9y- R9R- R9j- R9N- R8y- R8k- R8j- R8d- Rej- Ree- RdR- Rdd@R3y- R3k@R3e-
R33@RNj- RNe@RNN- kyk- kyj- ky8- kRR- kRk- kR9- kj9VX
:`Qi?2M/B2+F- X v Qi`QbX aûKBMB`2 /2 :ûQKûi`B2 H;û#`B[m2X d pQHbX- Rk iQKQbX S`Bb, A>1a-

RNey@eN UpB/X T;bX RN- kN- jk- je- ed- Ny- N8- Ry3- Rky- RkN- Rj3- R9N- R8j- R8d- RdR- Rdd-
RNy@RNk- RN8@RNd- RNN- kyR@kyj- ky8@kky- kk9@kj9- k9R- k98VX
:`Qi?2M/B2+F- X v CX@SX a2``2X :`Qi?2M/B2+F@a2``2 *Q``2bTQM/2M+2X S`QpB/2M+2 f S`Bb, K2`B@

+M Ji?2KiB+H aQ+B2iv- aQ+Bûiû Ji?ûKiB[m2 /2 6`M+2- kyy9 (*ìb 2Mi`2 RN88 v RN3d)-
RN88@3d UpB/X T;bX dR- dk- Ryk- Ry3- Rkk@Rk9- keyVX

Cursos5ferZalamea PDF

Cargado por

Copyright:

Formatos disponibles

Cursos5ferZalamea PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Cursos5ferZalamea PDF

Cargado por

Copyright:

Formatos disponibles

Publicaciones Electrónicas

Sociedad Matemática Mexicana

Serie: Cursos. Vol. 5 (2018)

ENTORNO BIOGRÁFICO (1ª parte: 1928-1960)

1942-1944 Disolución de Rieucros – Alexander enviado al Liceo Cévénol en Le Chambon

(A) ARMONÍA GROTHENDICKIANA EN LOS PRODUCTOS TENSORIALES TOPOLÓGICOS

urdimbre: red de definiciones

1953 [1956] "Résumé de la théorie métrique des produits tensoriels topologiques"

$K "T Î L¥ÄL¥ êêTêêÙ £ K êêTêêH

1957 [1957] "Sur quelques points d'algèbre homologique"

ALGUNAS FUERZAS MAYORES EN EL TÔHOKU

1958 [1958] Armand Borel & Jean-Pierre Serre,

Teoría de las funciones abelianas [Riemann 1857, sección V]

haz Q de (gérmenes de) funciones meromorfas con polos asignados

en variedad fija X con "buenas" propiedades,

- linealización profunda: emergencia de la K-teoría: grupo K(X), anillo A(X)

1958 [1958] "The cohomology theory of abstract algebraic varieties",

Bibliografía (117-118): Auslander&Buchsbaum, Barsotti, Borel&Serre, Cartier (2), Chevalley&Cartan, Godement,

Manuscritos de Grothendieck (Universidad de Montpellier): textos mecanografiados y textos manuscritos

1983 Carta a Faltings (Junio 27 1983), 10 pp.

Les dérivateurs: algunos temas escogidos

ALGUNAS FUERZAS CENTRALES EN LOS DERIVADORES

con axiomas adicionales

emergencia de los TOPOS

emergencia de los ESQUEMAS

Hipótesis de Riemann topos aritmético (Connes) haces aritméticos sobre F(1)

TOPOLOGÍA ANÁLISIS FUNCIONAL VARIABLE COMPLEJA ÁLGEBRA

:`Qi?2M/B2+F- X S`Q/mBib i2MbQ`B2Hb iQTQHQ;B[m2b 2i 2bT+2b Mm+HûB`2bX S`QpB/2M+2, K2`B+M

ǳS`Q/mBib i2MbQ`B2Hb iQTQHQ;B[m2b 2i 2bT+2b Mm+HûB`2bǴX 1M, aûKBMB`2 "Qm`#FB k URN8k#V-

:`Qi?2M/B2+F- X ǳ*Hbb2b /2 7Bb+2mt 2i i?ûQ`ĕK2 /2 _B2KMM@_Q+?ǴX 1M, a:X oQHX eX S`Bb,

6QM/2K2Mib /2 H :ûQKûi`B2 H;û#`B[m2X S`Bb, aûKBMB`2 "Qm`#FB- RN8e@ek (3 2tTQbB@

ǳh?2 +Q?QKQHQ;v i?2Q`v Q7 #bi`+i H;2#`B+ p`B2iB2bǴX 1M, S`Q+22/BM;b AMi2`MiBQMH

ǳh2+?MB[m2b /2 +QMbi`m+iBQM 2M ;ûQKûi`B2 MHviB[m2ǴX 1M, aûKBMB`2 >2M`B *`iM Rj

ǳJQiB7bǴX RNed UpB/X T;bX kjj- kje- kjd- k8y@k8jVX

ǳaiM/`/ +QMD2+im`2b QM H;2#`B+ +v+H2bǴX 1M, H;2#`B+ :2QK2i`v- Pt7Q`/ lMBp2`bBiv

1b[mBbb2 i?ûKiB[m2 /2b T`BM+BTmt i`pmt Ki?ûKiB[m2b /2 X :`Qi?2M/B2+FX AM7X iû+X

ǳSm`bmBM; ai+FbǴX RN3j UpB/X T;bX RNd- kk8- kjR- k8NVX

ǳ`+?Bp2b :`Qi?2M/B2+FǴX lMBp2`bBiû /2 JQMiT2HHB2`X AJ:X m`H, ?iiTb,ff;`Qi?2M/B2+FX

:`Qi?2M/B2+F- X v CX .B2m/QMMûX úHûK2Mib /2 :ûQKûi`B2 H;û#`B[m2X Ao pQHbX- d T`i2bX S`Bb,

:`Qi?2M/B2+F- X v Qi`QbX aûKBMB`2 /2 :ûQKûi`B2 H;û#`B[m2X d pQHbX- Rk iQKQbX S`Bb, A>1a-

:`Qi?2M/B2+F- X v CX@SX a2``2X :`Qi?2M/B2+F@a2``2 *Q``2bTQM/2M+2X S`QpB/2M+2 f S`Bb, K2`B@

También podría gustarte

:`Qi?2M/B2+F- X S`Q/mBib i2MbQ`B2Hb iQTQHQ;B[m2b 2i 2bT+2b Mm+HûB`2bX S`QpB/2M+2, K2`B+M

ǳS`Q/mBib i2MbQ`B2Hb iQTQHQ;B[m2b 2i 2bT+2b Mm+HûB`2bǴX 1M, aûKBMB`2 "Qm`#FB k URN8k#V-

:`Qi?2M/B2+F- X ǳ*Hbb2b /2 7Bb+2mt 2i i?ûQ`ĕK2 /2 _B2KMM@_Q+?ǴX 1M, a:X oQHX eX S`Bb,

6QM/2K2Mib /2 H :ûQKûi`B2 H;û#`B[m2X S`Bb, aûKBMB`2 "Qm`#FB- RN8e@ek (3 2tTQbB@

ǳh?2 +Q?QKQHQ;v i?2Q`v Q7 #bi`+i H;2#`B+ p`B2iB2bǴX 1M, S`Q+22/BM;b AMi2`MiBQMH

ǳh2+?MB[m2b /2 +QMbi`m+iBQM 2M ;ûQKûi`B2 MHviB[m2ǴX 1M, aûKBMB`2 >2M`B *`iM Rj

ǳJQiB7bǴX RNed UpB/X T;bX kjj- kje- kjd- k8y@k8jVX

ǳaiM/`/ +QMD2+im`2b QM H;2#`B+ +v+H2bǴX 1M, H;2#`B+ :2QK2i`v- Pt7Q`/ lMBp2`bBiv

1b[mBbb2 i?ûKiB[m2 /2b T`BM+BTmt i`pmt Ki?ûKiB[m2b /2 X :`Qi?2M/B2+FX AM7X iû+X

ǳSm`bmBM; ai+FbǴX RN3j UpB/X T;bX RNd- kk8- kjR- k8NVX

ǳ`+?Bp2b :`Qi?2M/B2+FǴX lMBp2`bBiû /2 JQMiT2HHB2`X AJ:X m`H, ?iiTb,ff;`Qi?2M/B2+FX

:`Qi?2M/B2+F- X v CX .B2m/QMMûX úHûK2Mib /2 :ûQKûi`B2 H;û#`B[m2X Ao pQHbX- d T`i2bX S`Bb,

:`Qi?2M/B2+F- X v Qi`QbX aûKBMB`2 /2 :ûQKûi`B2 H;û#`B[m2X d pQHbX- Rk iQKQbX S`Bb, A>1a-

:`Qi?2M/B2+F- X v CX@SX a2``2X :`Qi?2M/B2+F@a2``2 *Q``2bTQM/2M+2X S`QpB/2M+2 f S`Bb, K2`B@