Feixes e Coomologia

Um feixe registra dados definidos localmente e colados de forma consistente, e a coomologia de feixes mede a obstrução para passar de soluções locais para uma global.

Definition

Um feixe em um espaço atribui a cada conjunto aberto um conjunto (ou grupo, anel ou módulo) de seções compatíveis sob restrição e colagem; a coomologia de feixes é a sequência de functores derivados de tomar seções globais, quantificando a falha das seções locais em se colarem globalmente.

Scope

Este tópico introduz pré-feixes e feixes em um espaço topológico ou esquema, caules, feixificação e morfismos de feixes, com os exemplos centrais do feixe de estrutura, feixes ideais e feixes coerentes e quase-coerentes. Ele desenvolve a coomologia de feixes via functores derivados do functor de seções globais e a ferramenta computacional da coomologia de Čech, a coomologia de feixes coerentes no espaço projetivo, e resultados fundamentais como os teoremas de finitude e anulação de Serre e a dualidade de Serre.

Core questions

• Como os axiomas de colagem tornam um feixe a ferramenta certa para dados locais-para-globais?
• O que os feixes coerentes e quase-coerentes capturam sobre a geometria em um esquema?
• Por que a coomologia de feixes é definida como um functor derivado, e como a coomologia de Čech a calcula?
• O que os teoremas de finitude, anulação e dualidade de Serre nos dizem sobre a coomologia coerente?

Key concepts

• Pré-feixes, feixes, caules e feixificação
• Feixes coerentes e quase-coerentes
• Coomologia de feixes como um functor derivado
• Coomologia de Čech e sua concordância com a coomologia derivada
• Finitude, anulação e dualidade de Serre

Clinical relevance

A coomologia de feixes é o motor computacional central da geometria algébrica, controlando seções de fibrados de linha, deformações e teoria da obstrução; a mesma maquinaria subjaz à coomologia étale usada para provar as conjecturas de Weil e é pervasiva na topologia e geometria complexa.

History

Leray introduziu feixes e sua coomologia na década de 1940; o FAC de Serre (1955) trouxe a coomologia de feixes coerentes para a geometria algébrica, e Grothendieck reformulou a coomologia como functores derivados em seu artigo de Tôhoku (1957), a estrutura adotada nos tratamentos modernos.

Key figures

• Jean Leray
• Jean-Pierre Serre
• Alexander Grothendieck

Seminal works

• hartshorne1977
• maclane1971

Frequently asked questions

Qual a diferença entre um pré-feixe e um feixe?

Um pré-feixe atribui dados a conjuntos abertos com mapas de restrição; um feixe exige adicionalmente que seções locais que concordam em sobreposições se colem a uma seção global única, que é exatamente a localidade necessária para a geometria.

Por que a coomologia de feixes é importante geometricamente?

Suas dimensões contam seções globais, obstruções e invariantes como o gênero; o anulamento de coomologia superior é o que permite que dados geométricos locais — por exemplo, seções de um fibrado de linha — sejam montados globalmente.