A geometria algébrica derivada é um ramo da matemática que generaliza a geometria algébrica para uma situação onde os anéis comutativos, que fornecem cartas locais, são substituídos por álgebras diferenciais graduadas (sobre ), anéis comutativos simpliciais ou espectros de anéis da topologia algébrica, cujos grupos de homotopia superiores respondem pela não-discrição (por exemplo, Tor) do feixe estrutural. A teoria dos esquemas de Grothendieck permite que o feixe estrutural carregue elementos nilpotentes. A geometria algébrica derivada pode ser pensada como uma extensão dessa ideia, e fornece configurações naturais para a teoria da interseção (ou teoria da homotopia motívica) de variedades algébricas singulares e complexos cotangentes na teoria da deformação (cf. J. Francis), entre outras aplicações.
Introdução Os objetos básicos de estudo neste campo são os esquemas derivados e os stacks derivados. A motivação frequentemente citada é a fórmula de interseção de Serre.Serre intersection formula and derived algebraic geometry?
Na formulação usual, a fórmula envolve o funtor Tor e, portanto, a menos que os Tor superiores se anulem, a interseção esquema-teórica (isto é, o produto fibrado de imersões) não produz o número de interseção correto. No contexto derivado, toma-se o produto tensorial derivado , cuja homotopia superior é o Tor superior, e cujo Spec étale não é um esquema, mas sim um esquema derivado. Logo, o produto fibrado "derivado" fornece o número de interseção correto. Veja o Teorema 3.22 em Khan, onde a teoria da interseção derivada foi desenvolvida.
O termo "derivado" é usado da mesma forma que em funtor derivado ou categoria derivada, no sentido de que a categoria de anéis comutativos está sendo substituída por uma ∞-categoria de "anéis derivados". Na geometria algébrica clássica, a categoria derivada de feixes quase-coerentes é vista como uma categoria triangulada, mas ela possui um aprimoramento natural para uma ∞-categoria estável, que pode ser pensada como o análogo ∞-categórico de uma categoria abeliana.
Definições A geometria algébrica derivada é fundamentalmente o estudo de objetos geométricos usando álgebra homológica e homotopia. Como os objetos neste campo devem codificar as informações homológicas e de homotopia, existem várias noções do que os espaços derivados encapsulam. Os objetos básicos de estudo na geometria algébrica derivada são os esquemas derivados e, de forma mais geral, os stacks derivados. Heuristicamente, os esquemas derivados devem ser funtores de alguma categoria de anéis derivados para a categoria de conjuntos:
o que pode ser generalizado ainda mais para ter como alvo grupoides superiores (que se espera que sejam modelados por tipos de homotopia). Esses stacks derivados são funtores adequados da forma:
Muitos autores modelam tais funtores como funtores com valores em conjuntos simpliciais, uma vez que eles modelam tipos de homotopia e são bem estudados. As diferentes definições sobre esses espaços derivados dependem de uma escolha de quais são os anéis derivados e como devem ser os tipos de homotopia. Alguns exemplos de anéis derivados incluem álgebras diferenciais graduadas comutativas, anéis simpliciais e anéis .
Geometria derivada sobre característica 0 Sobre a característica 0, muitas das geometrias derivadas concordam entre si, uma vez que os anéis derivados são os mesmos. Álgebras são apenas álgebras diferenciais graduadas comutativas sobre característica zero.
Podemos então definir esquemas derivados de forma semelhante aos esquemas na geometria algébrica. Semelhante à geometria algébrica, também poderíamos ver esses objetos como um par que consiste em um espaço topológico com um feixe de álgebras diferenciais graduadas comutativas. Por vezes, os autores adotam a convenção de que estes são graduados negativamente, de modo que para . A condição de feixe também poderia ser enfraquecida para que, para uma cobertura de , os feixes fossem colados em sobreposições apenas por quase-isomorfismo.
Infelizmente, sobre a característica p, as álgebras diferenciais graduadas funcionam mal para a teoria da homotopia, devido ao fato de que . Isso pode ser superado usando álgebras simpliciais.
Geometria derivada sobre característica arbitrária Os anéis derivados sobre característica arbitrária são tomados como anéis comutativos simpliciais por causa das boas propriedades categóricas que eles possuem.
Em particular, a categoria de anéis simpliciais é enriquecida simplicialmente, o que significa que os conjuntos-hom (hom-sets) são eles próprios conjuntos simpliciais. Além disso, existe uma estrutura de modelo canônica em anéis comutativos simpliciais proveniente de conjuntos simpliciais. De fato, é um teorema de Quillen que a estrutura de modelo em conjuntos simpliciais pode ser transferida para anéis comutativos simpliciais.
Stacks superiores Conjectura-se que existe uma teoria final de stacks superiores que modelam tipos de homotopia. Grothendieck conjecturou que estes seriam modelados por grupoides globulares, ou uma forma fraca de sua definição. Simpson fornece uma definição útil no espírito das ideias de Grothendieck. Lembre-se que um stack algébrico (aqui um 1-stack) é chamado representável se o produto fibrado de quaisquer dois esquemas for isomorfo a um esquema.O que pode ser verificado observando o morfismo diagonal e verificando se ele mesmo é representável. Verifique https://math.dartmouth.edu/~jvoight/notes/moduli-red-harvard.pdf para mais informações Se assumirmos a premissa de que um 0-stack é apenas um espaço algébrico e um 1-stack é apenas um stack, podemos definir recursivamente um n-stack como um objeto tal que o produto fibrado ao longo de quaisquer dois esquemas é um (n-1)-stack. Se voltarmos à definição de um stack algébrico, essa nova definição concorda com a anterior.
Esquemas espectrais Outra teoria da geometria algébrica derivada é encapsulada pela teoria dos esquemas espectrais. A sua definição requer uma quantidade considerável de tecnologia para ser formulada com precisão. Contudo, em resumo, os esquemas espectrais são dados por um -topos espectralmente anelado junto com um feixe de anéis sobre ele, sujeito a algumas condições de localidade semelhantes à definição de esquemas afins. Em particular:
deve ser equivalente ao -topos de algum espaço topológico Deve existir uma cobertura de tal que o topos induzido seja equivalente a um topos espectralmente anelado para algum anel
Além disso, o esquema espectral é chamado de conectivo se para .
Exemplos
Lembre-se de que o topos de um ponto é equivalente à categoria de conjuntos. Então, na configuração de -topos, consideramos em vez disso -feixes de -grupoides (que são -categorias com todos os morfismos inversíveis), denotados , dando um análogo do topos de ponto na configuração de -topos. Assim, a estrutura de um espaço espectralmente anelado pode ser dada anexando um anel . Note que isso implica que espaços espectralmente anelados generalizam os anéis , pois todo anel pode ser associado a um sítio espectralmente anelado.
Este topos espectralmente anelado pode ser um esquema espectral se o espectro deste anel produzir um -topos equivalente, de modo que seu espaço subjacente seja um ponto. Por exemplo, isso pode ser dado pelo espectro de anel , chamado de espectro de Eilenberg-Maclane, construído a partir dos espaços de Eilenberg-MacLane .
Aplicações
A geometria algébrica derivada foi usada por para provar a conjectura de Weibel sobre o anulamento da K-teoria algébrica negativa. A formulação da correspondência de Langlands geométrica por Arinkin e Gaitsgory utiliza a geometria algébrica derivada.
Ver também Derivador (matemática)
Referências
Notas
DAG Simplicial
DAG diferencial graduada
Anéis En e E∞
Spectral algebraic geometry - Rezk Operads and Sheaf Cohomology - JP May - Anéis sobre característica 0 e estrutura para cohomologia de feixes Tangent complex and Hochschild cohomology of En-rings https://arxiv.org/abs/1104.0181 Francis, John; Derived Algebraic Geometry Over -Rings
Aplicações
Lowrey, Parker; Schürg, Timo. (2018). Grothendieck-Riemann-Roch for Derived Schemes Ciocan-Fontanine, I., Kapranov, M. (2007). Virtual fundamental classes via dg-manifolds Mann, E., Robalo M. (2018). Gromov-Witten theory with derived algebraic geometry Ben-Zvi, D., Francis, J., and D. Nadler. Integral Transforms and Drinfeld Centers in Derived Algebraic Geometry.
Teorias Quânticas de Campos
Notes on supersymmetric and holomorphic field theories in dimensions 2 and 4
Ligações externas Jacob Lurie's Home Page Visão geral sobre Spectral Algebraic Geometry DAG reading group (Outono de 2011) em Harvard http://ncatlab.org/nlab/show/derived+algebraic+geometry Michigan Derived Algebraic Geometry RTG Learning Workshop, 2012 Derived algebraic geometry: how to reach research level math? Derived Algebraic Geometry and Chow Rings/Chow Motives Gabriele Vezzosi, An overview of derived algebraic geometry, Outubro de 2013
Categoria:Geometria algébrica Categoria:Álgebra homotópica Categoria:Topologia algébrica Categoria:Teoria dos anéis Categoria:Teoria de esquemas