Grothendieck: cómo reescribió la geometría algebraica del siglo XX

Quanta Magazine publicó esta semana un perfil extenso de Alexander Grothendieck (1928-2014), el matemático francés-alemán que reescribió la geometría algebraica del siglo XX. Para muchos desarrolladores el nombre suena lejano, pero sus ideas — esquemas, topoi, functores — están hoy en el corazón de asistentes de prueba como Lean, en la criptografía de curvas elípticas que protege tu HTTPS y en la teoría de categorías que sostiene lenguajes como Haskell.

Repasamos quién fue, qué construyó y por qué su obra sigue moldeando la tecnología que usamos cada día, medio siglo después de que él mismo abandonara las matemáticas profesionales.

TL;DR

• Quanta publicó el 20 de mayo de 2026 un perfil de Alexander Grothendieck, considerado el matemático más influyente del siglo XX.
• Su mayor aporte: el concepto de "esquema" (1958), que unificó geometría algebraica con teoría de números.
• En 1957 generalizó el teorema de Riemann-Roch y se volvió famoso mundialmente a los 29 años.
• Recibió la Medalla Fields en 1966, pero no fue a recogerla a Moscú como protesta política contra la URSS.
• En 1970 abandonó el IHÉS al descubrir que recibía financiación militar y se fue a Montpellier.
• Pasó sus últimos 23 años como ermitaño en un pueblo de los Pirineos franceses, escribiendo miles de páginas inéditas.
• Sus ideas alimentan hoy asistentes de prueba (Lean, Coq), criptografía elíptica y la teoría de categorías de Haskell.
• El Stacks Project, con más de 10.000 páginas online y desarrollado en GitHub, sigue formalizando su programa.

¿Quién fue Alexander Grothendieck?

Si Albert Einstein fue al siglo XX en física lo que Newton al XVII, Alexander Grothendieck cumplió ese papel en las matemáticas. Nació en Berlín en 1928, hijo de un anarquista ucraniano (Sasha Shapiro) y una periodista alemana (Hanka Grothendieck). Su infancia estuvo marcada por la guerra: pasó parte de ella en un campo de internamiento en Francia, donde su padre fue posteriormente deportado a Auschwitz y asesinado.

Esa biografía atravesada por la persecución explica en parte el carácter intenso, ascético y a veces difícil de Grothendieck. Pero también su obsesión con la libertad: rechazó honores oficiales, dineros militares y, finalmente, hasta el mundo académico. Se convirtió en un monje matemático que vivió sus últimos años aislado en un pueblo de los Pirineos, donde murió en 2014.

Entre medio, redefinió por completo lo que significa hacer geometría algebraica. Su estilo era único: en lugar de atacar problemas concretos, prefería construir el "edificio" abstracto correcto desde el cual los problemas se disolvían por sí solos. Decía que un teorema difícil debía caer "como una nuez madura sobre la cabeza" después de haber construido el marco adecuado.

La geometría algebraica antes de los esquemas

Antes de Grothendieck, la geometría algebraica era una disciplina vibrante pero también fragmentada. Como escribió el matemático David Mumford años después, "cada investigador usaba sus propias definiciones y terminología, y los fundamentos del campo se habían descrito en al menos media docena de lenguajes matemáticos distintos".

El objeto de estudio clásico era la variedad algebraica: la forma geométrica definida por ecuaciones polinómicas. Una recta (x - y = 0), un círculo (x² + y² - 1 = 0) o algo mucho más complicado con cientos de variables. La cuestión es que, dependiendo del cuerpo donde plantearas las soluciones (los reales, los complejos, un cuerpo finito), los objetos se comportaban de manera distinta y las herramientas no se transferían bien entre contextos.

Grothendieck tuvo una idea radical: ¿y si en lugar de pensar las variedades como conjuntos de puntos, las pensamos como objetos definidos por el anillo de funciones que viven sobre ellas? Esa inversión — pasar de los puntos al álgebra, y luego reconstruir los puntos como ideales del álgebra — es la semilla del esquema.

De variedades clásicas a esquemas: el cambio de perspectiva que reorganizó la disciplina.

La revolución: esquemas, gavillas y topoi

En 1958, en el Congreso Internacional de Matemáticos celebrado en Edimburgo, Grothendieck anunció su intención de rehacer toda la geometría algebraica usando un objeto nuevo: el esquema. Era una generalización masiva de la variedad algebraica que permitía hablar al mismo tiempo de puntos sobre los complejos y de puntos sobre cuerpos finitos como Z/pZ, abriendo un puente directo entre geometría y teoría de números.

Junto con su equipo en el Institut des Hautes Études Scientifiques (IHÉS), un instituto de investigación recién fundado a las afueras de París, publicó los Éléments de Géométrie Algébrique (EGA) y los Séminaire de Géométrie Algébrique (SGA): miles de páginas que reescribieron desde cero los fundamentos del campo.

El programa Grothendieck introdujo varios conceptos que se volverían centrales:

• Gavillas (sheaves): una manera de pegar información local para reconstruir estructuras globales.
• Cohomología étale: herramienta cohomológica que permite contar puntos sobre cuerpos finitos y fue clave para probar las conjeturas de Weil.
• Topoi (topos): generalización del concepto de espacio topológico, donde el "espacio" puede ser cualquier categoría suficientemente bien comportada.
• Functores representables: formalización del eslogan "un objeto se define por cómo se relaciona con los demás".

💭 Clave: Grothendieck movió las matemáticas a un nivel de abstracción donde lo que importa no son los objetos en sí, sino las relaciones entre objetos. Esa filosofía es exactamente la que adopta hoy la programación funcional con categorías.

Riemann-Roch y la fama instantánea

Su primer gran resultado en geometría algebraica fue, en 1957, una generalización masiva del teorema de Riemann-Roch — un resultado clásico del siglo XIX que dice cuántas funciones pueden definirse sobre una superficie según su forma topológica.

Hasta entonces el teorema se había probado caso por caso, en dimensiones bajas y con técnicas particulares. Grothendieck encontró una formulación que lo unificaba todo bajo una sola maquinaria. Como escribió Leila Schneps del CNRS, esa prueba "lo catapultó al estrellato instantáneo en el mundo de las matemáticas". Tenía 29 años.

Brian Conrad, profesor en Stanford, lo resumió así para Quanta: "Gracias a sus técnicas, toda una nueva riqueza de operaciones se vuelve disponible. Abre una manera completamente nueva de pensar por qué el teorema es verdadero". En 1966 recibió la Medalla Fields, el equivalente al Nobel en matemáticas, aunque no viajó a Moscú a recogerla como protesta contra el encarcelamiento de disidentes soviéticos.

Por qué importa para los desarrolladores

Aquí es donde el nombre Grothendieck deja de ser una pieza de museo y se conecta directamente con la pila tecnológica de 2026. Sus ideas viajaron desde la matemática pura hasta varios rincones de la computación:

graph LR
  G["Grothendieck (1958)"] --> S["Esquemas"]
  G --> C["Teoría de categorías"]
  G --> E["Cohomología étale"]
  S --> N["Teoría de números moderna"]
  E --> EC["Criptografía elíptica"]
  C --> FP["Haskell / FP"]
  C --> PA["Lean / Coq / Agda"]
  N --> PA

Esto no es una metáfora poética: las construcciones formales que hoy permiten a Lean 4 (el asistente de prueba que está formalizando matemáticas modernas) hablar de "tipos como espacios" provienen directamente del trabajo de la escuela Grothendieck sobre topoi y luego de la Homotopy Type Theory.

La criptografía elíptica le debe casi todo

Cuando hacés una conexión TLS 1.3 con tu navegador, lo más probable es que el intercambio de claves use Curve25519 o P-256: curvas elípticas definidas sobre cuerpos finitos. Toda la maquinaria matemática que justifica que sumar puntos en una curva elíptica sobre F_p tiene sentido y resulta seguro descansa sobre la teoría de esquemas y la cohomología étale.

Las curvas elípticas que protegen HTTPS heredan vocabulario de Grothendieck.

Más aún: las conjeturas de Weil, demostradas finalmente por Pierre Deligne (estudiante de Grothendieck) en 1974 usando cohomología étale, son la base teórica que garantiza que es difícil resolver el problema del logaritmo discreto en curvas elípticas. Sin esa garantía, no habría ECC, ni firmas Ed25519, ni gran parte de la seguridad de internet tal como la conocemos hoy.

💡 Tip: Si querés ver matemáticas grothendieckianas en código moderno, mirá la librería arkworks-rs en Rust o libsecp256k1 en C. Las operaciones sobre curvas en cuerpos finitos son geometría algebraica computacional pura.

Asistentes de prueba: Lean, Coq y la formalización

El campo de la matemática formalizada — donde cada paso de una prueba se verifica con una computadora — es probablemente el lugar donde el espíritu de Grothendieck está más vivo en 2026. Proyectos como mathlib4 en Lean 4 contienen ya millones de líneas formalizando teoremas modernos, muchos de ellos heredados del programa Grothendieck.

La conexión más directa: el sistema de tipos dependientes que usan Lean, Coq y Agda está basado en la Teoría de Tipos de Martin-Löf, que a su vez fue extendida a la Homotopy Type Theory, fuertemente influida por la visión topo-teórica de Grothendieck. Cuando escribís en Lean:

theorem add_comm (a b : Nat) : a + b = b + a := by
  induction b with
  | zero => simp
  | succ n ih => simp [Nat.add_succ, ih]

Estás trabajando en un universo cuya estructura categórica fue moldeada — en línea recta histórica — por los topoi de Grothendieck. El libro azul de Homotopy Type Theory publicado en 2013 por el Institute for Advanced Study explicita esa filiación de forma directa.

La salida del IHÉS y el exilio en los Pirineos

En 1970, en la cima de su carrera, Grothendieck descubrió que el IHÉS recibía parte de su financiación del ministerio de Defensa francés. Dio un ultimátum: o cortan ese dinero, o renuncia. El IHÉS no cedió. Grothendieck renunció.

Se fue a enseñar a la Universidad de Montpellier, una institución provincial donde él mismo había estudiado de pregrado. Dejó de hablar con la mayor parte de la comunidad matemática. Fundó un movimiento ecologista marginal ("Survivre et Vivre"), militó contra la energía nuclear y la militarización de la ciencia.

En los años 80 y 90 escribió miles de páginas de memorias, reflexiones filosóficas y nuevas matemáticas. La más famosa, Récoltes et Semailles ("Cosechas y siembras"), es un texto desbordante de más de 1.000 páginas donde mezcla autobiografía, teoría matemática y una crítica feroz a sus colegas. No se publicó en vida; circuló durante décadas en fotocopias antes de aparecer en edición formal.

En 1991 se mudó a un pueblo pequeño en los Pirineos (Lasserre, en Ariège) y vivió como ermitaño. Murió el 13 de noviembre de 2014, a los 86 años.

El legado: Stacks Project y matemáticas vivas

El programa que Grothendieck dejó incompleto sigue ocupando a comunidades enteras de matemáticos. El Stacks Project, iniciado por Aise Johan de Jong en 2005, es una enciclopedia colaborativa abierta que formaliza la teoría de esquemas y stacks (una generalización ulterior). En 2026 supera las 10.000 páginas y tiene más de 100 contribuidores activos.

El proyecto está bajo licencia libre y se desarrolla en GitHub, mostrando cómo las prácticas del software open source se trasladaron a la matemática pura: pull requests, issues, builds reproducibles desde TeX, todo. Es probablemente el mejor ejemplo contemporáneo de cómo el espíritu colaborativo y la abstracción grothendieckiana siguen reorganizando la disciplina.

📌 Nota: Para desarrolladores curiosos, el Stacks Project es navegable como un sitio estático moderno (cada definición tiene un identificador permanente tipo "Tag 01F0"). La estructura es virtualmente idéntica a una documentación técnica bien armada.

📖 Resumen en Telegram: Ver resumen

Preguntas frecuentes

¿Por qué Grothendieck es menos conocido que Einstein si tuvo un impacto comparable?

Porque las matemáticas se vuelven técnicas mucho más rápido que la física. Mientras la relatividad puede explicarse con metáforas (espacio curvo, velocidad de la luz), un esquema es un objeto categórico abstracto que requiere conocer álgebra conmutativa, topología y teoría de categorías para apreciar. La barrera de entrada es alta.

¿Qué es un esquema, en una sola frase?

Un esquema es un objeto geométrico generalizado que se obtiene "pegando" anillos conmutativos locales, igual que una variedad diferenciable se obtiene pegando trozos de espacio euclídeo. Permite hablar de geometría sobre cualquier anillo, no solo sobre los reales o complejos.

¿Necesito saber teoría de categorías para programar en Haskell?

No para empezar, pero ayuda enormemente para entender por qué Monad, Functor y Applicative son lo que son. Esos type classes son, literalmente, definiciones tomadas de la teoría de categorías — un campo que Grothendieck ayudó a popularizar como lenguaje universal de las matemáticas.

¿Existe alguna implementación computacional directa de los esquemas?

Sí. Sistemas como SageMath, Macaulay2 y Singular implementan operaciones sobre esquemas y variedades algebraicas. Para criptografía, PARI/GP y librerías como arkworks-rs permiten trabajar con curvas elípticas (esquemas particulares) directamente en producción.

¿Por qué Grothendieck rechazó la Medalla Fields y otros honores?

Tenía una postura política firme: rechazó viajar a Moscú en 1966 para recibir la Fields como protesta contra el régimen soviético, y en 1988 rechazó el Premio Crafoord (con un cheque cercano a 270.000 dólares) argumentando que la ciencia profesional estaba moralmente corrompida por sus vínculos con la industria militar.

¿Dónde puedo empezar a aprender geometría algebraica moderna?

El libro estándar es Algebraic Geometry de Robin Hartshorne, aunque es famoso por su dificultad. Para una introducción más amable, The Rising Sea de Ravi Vakil (PDF libre disponible en su sitio de Stanford) es probablemente la mejor opción contemporánea. Para formalización, mathlib4 tiene tutoriales introductorios accesibles desde la web.

Referencias

• Quanta Magazine — How Alexander Grothendieck Revolutionized 20th-Century Mathematics — el perfil que inspiró este artículo.
• Wikipedia — Alexander Grothendieck — biografía detallada con cronología, obra y referencias secundarias.
• The Stacks Project — enciclopedia colaborativa abierta de geometría algebraica moderna que continúa el programa Grothendieck.
• Institut des Hautes Études Scientifiques (IHÉS) — el instituto donde Grothendieck desarrolló la mayor parte de su obra entre 1959 y 1970.

📱 ¿Te gusta este contenido? Únete a nuestro canal de Telegram @programacion donde publicamos a diario lo más relevante de tecnología, IA y desarrollo. Resúmenes rápidos, contenido fresco todos los días.