Esquemas

Los esquemas son la vasta generalización de las variedades de Grothendieck, construidos mediante la unión de espectros de anillos conmutativos arbitrarios, lo que permite que la geometría algebraica funcione sobre cualquier anillo y mantenga un registro de la información infinitesimal y aritmética.

Definition

Un esquema es un espacio localmente anillado que es localmente isomorfo al espectro de un anillo conmutativo (un esquema afín), donde los puntos son ideales primos y el haz de estructura registra el anillo de funciones en cada conjunto abierto.

Scope

Este tema construye el espectro de un anillo conmutativo como un espacio localmente anillado, define esquemas afines y esquemas generales mediante la unión, y desarrolla morfismos de esquemas y el punto de vista relativo. Trata propiedades clave —esquemas reducidos, integrales, separados, propios y suaves— productos fibrados y cambio de base, y la perspectiva del funtor de puntos. Se enfatiza el papel de los nilpotentes en la captura de la estructura no reducida y el uso de esquemas sobre los enteros para la geometría aritmética.

Core questions

• ¿Cómo el espectro primo de un anillo convierte la álgebra conmutativa arbitraria en geometría?
• ¿Qué permiten expresar los elementos nilpotentes y los puntos genéricos en los esquemas que las variedades no pueden?
• ¿Cómo los esquemas relativos y el cambio de base sustentan una teoría uniforme sobre cualquier base?
• ¿Cómo el punto de vista del funtor de puntos caracteriza un esquema por los mapas hacia él?

Key concepts

• Espectro de un anillo y la topología de Zariski sobre primos
• Haz de estructura y espacios localmente anillados
• Esquemas afines y unión para formar esquemas generales
• Morfismos, productos fibrados y cambio de base
• Funtor de puntos y estructura no reducida (nilpotente)

Clinical relevance

La teoría de esquemas es el lenguaje fundamental de la geometría algebraica y la geometría aritmética modernas; hizo posibles las pruebas cohomológicas de las conjeturas de Weil y los resultados de modularidad detrás del Último Teorema de Fermat, y enmarca los problemas de módulos y la teoría de deformaciones.

History

Basándose en la geometría algebraica de Serre basada en haces, Grothendieck introdujo los esquemas en los Éléments de géométrie algébrique (década de 1960), generalizando las variedades a espectros de anillos arbitrarios y reconstruyendo todo el campo sobre fundamentos cohomológicos y categóricos.

Key figures

• Alexander Grothendieck
• Jean-Pierre Serre
• David Mumford

Seminal works

• hartshorne1977
• eisenbud1995

Frequently asked questions

¿En qué se diferencia un esquema de una variedad?

Una variedad es esencialmente un esquema integral, reducido y de tipo finito sobre un cuerpo; un esquema general puede tener funciones nilpotentes, infinitos puntos o puntos genéricos, y puede definirse sobre cualquier anillo conmutativo, incluidos los enteros.

¿Por qué los puntos de un esquema incluyen ideales primos, no solo los maximales?

Los ideales primos que no son maximales dan puntos genéricos que se encuentran en la clausura de las subvariedades, capturando la estructura de inclusión de los subesquemas irreducibles y haciendo que la geometría sea funtorial bajo los mapas de anillos.