Divisores y Riemann-Roch

Los divisores registran los ceros y polos de las funciones en una variedad, los haces de líneas los empaquetan geométricamente, y el teorema de Riemann-Roch cuenta las funciones con un comportamiento de polo prescrito en términos de invariantes geométricos.

Definition

Un divisor en una variedad es una combinación formal de subvariedades de codimensión uno que codifica ceros y polos; los haces de líneas son sus contrapartes geométricas, y el teorema de Riemann-Roch relaciona la dimensión del espacio de secciones de un divisor con su grado, el género y el divisor canónico.

Scope

Este tema desarrolla los divisores de Weil y Cartier, la equivalencia lineal, el grupo de clases de divisores y el grupo de Picard, y la correspondencia entre divisores y haces de líneas (haces invertibles). Trata los sistemas lineales y los mapas al espacio proyectivo que definen, el divisor canónico y el género de una curva, culminando en el teorema de Riemann-Roch para curvas y el papel de la dualidad de Serre. Las generalizaciones de dimensiones superiores y de Grothendieck-Hirzebruch se indican como la extensión natural.

Core questions

• ¿Cómo codifican los divisores de Weil y Cartier el comportamiento de ceros y polos de las funciones racionales?
• ¿Por qué los divisores hasta la equivalencia lineal son los mismos datos que los haces de líneas?
• ¿Cómo determinan los sistemas lineales los mapas de una variedad al espacio proyectivo?
• ¿Qué calcula el teorema de Riemann-Roch y cómo interviene la dualidad de Serre?

Key concepts

• Divisores de Weil y Cartier; equivalencia lineal
• Grupo de clases de divisores y el grupo de Picard
• Haces de líneas (haces invertibles) y sistemas lineales
• Divisor canónico y género de una curva
• Teorema de Riemann-Roch y dualidad de Serre

Clinical relevance

Los divisores y Riemann-Roch son el corazón computacional de la teoría de curvas y subyacen a la construcción de códigos de Goppa de corrección de errores, la aritmética de curvas elípticas y la clasificación de superficies algebraicas y variedades de dimensiones superiores.

History

La desigualdad de Riemann sobre la dimensión de los espacios de funciones (1857) fue completada por su estudiante Roch en el teorema de Riemann-Roch; la generalización de Hirzebruch a mediados del siglo XX y la versión relativa de Grothendieck lo incrustaron en la geometría algebraica cohomológica moderna.

Key figures

• Bernhard Riemann
• Gustav Roch
• Friedrich Hirzebruch

Seminal works

• hartshorne1977
• eisenbud1995

Frequently asked questions

¿Cuál es la relación entre divisores y haces de líneas?

En una variedad suave, los divisores hasta la equivalencia lineal corresponden exactamente a las clases de isomorfismo de los haces de líneas; la clase de un divisor en el grupo de Picard es el haz de líneas cuyas secciones se anulan a lo largo de ese divisor.

¿Qué nos dice el teorema de Riemann-Roch?

Para un divisor en una curva proyectiva suave, proporciona la dimensión del espacio de funciones racionales con polos acotados por el divisor en términos del grado del divisor y el género de la curva, un resultado de conteo fundamental.