Divisores e Riemann-Roch

Divisores registram os zeros e polos de funções em uma variedade, feixes de linha os empacotam geometricamente, e o teorema de Riemann-Roch conta as funções com comportamento de polo prescrito em termos de invariantes geométricos.

Definition

Um divisor em uma variedade é uma combinação formal de subvariedades de codimensão um que codificam zeros e polos; feixes de linha são suas contrapartes geométricas, e o teorema de Riemann-Roch relaciona a dimensão do espaço de seções de um divisor ao seu grau, ao gênero e ao divisor canônico.

Scope

Este tópico desenvolve os divisores de Weil e Cartier, equivalência linear, o grupo de classes de divisores e o grupo de Picard, e a correspondência entre divisores e feixes de linha (feixes invertíveis). Ele trata de sistemas lineares e dos mapas para o espaço projetivo que eles definem, o divisor canônico e o gênero de uma curva, culminando no teorema de Riemann-Roch para curvas e no papel da dualidade de Serre. Generalizações de dimensões superiores e de Grothendieck-Hirzebruch são indicadas como a extensão natural.

Core questions

• Como os divisores de Weil e Cartier codificam o comportamento de zeros e polos de funções racionais?
• Por que divisores até equivalência linear são os mesmos dados que feixes de linha?
• Como os sistemas lineares determinam mapas de uma variedade para o espaço projetivo?
• O que o teorema de Riemann-Roch calcula e como a dualidade de Serre entra em cena?

Key concepts

• Divisores de Weil e Cartier; equivalência linear
• Grupo de classes de divisores e o grupo de Picard
• Feixes de linha (feixes invertíveis) e sistemas lineares
• Divisor canônico e gênero de uma curva
• Teorema de Riemann-Roch e dualidade de Serre

Clinical relevance

Divisores e Riemann-Roch são o cerne computacional da teoria das curvas e sustentam a construção de códigos de Goppa corretores de erros, a aritmética de curvas elípticas e a classificação de superfícies algébricas e variedades de dimensões superiores.

History

A desigualdade de Riemann sobre a dimensão dos espaços de funções (1857) foi completada por seu aluno Roch no teorema de Riemann-Roch; a generalização de Hirzebruch em meados do século XX e a versão relativa de Grothendieck a incorporaram na geometria algébrica cohomológica moderna.

Key figures

• Bernhard Riemann
• Gustav Roch
• Friedrich Hirzebruch

Seminal works

• hartshorne1977
• eisenbud1995

Frequently asked questions

Qual é a relação entre divisores e feixes de linha?

Em uma variedade suave, divisores até equivalência linear correspondem exatamente a classes de isomorfismo de feixes de linha; a classe de um divisor no grupo de Picard é o feixe de linha cujas seções se anulam ao longo desse divisor.

O que o teorema de Riemann-Roch nos diz?

Para um divisor em uma curva projetiva suave, ele fornece a dimensão do espaço de funções racionais com polos limitados pelo divisor em termos do grau do divisor e do gênero da curva, um resultado de contagem fundamental.