Cartier duality for gerbes of vector bundles

Resumo Técnico: Dualidade de Cartier para Gerbes de Feixes Vetoriais

Enunciado do Problema
O artigo aborda a necessidade de uma formulação robusta e funcional da dualidade de Cartier no contexto da geometria analítica e algébrica, especificamente para feixes vetoriais e gerbes. Embora a dualidade de Cartier clássica estabeleça uma anti-equivalência entre álgebras de Hopf comutativas e cocomutativas (ou esquemas de grupos afins), estender isso para objetos geométricos mais complexos como stacks, gerbes e feixes vetoriais de dimensão infinita tem sido um desafio. Formulações anteriores, como em [RC24], careciam de clareza quanto à funcionalidade e à troca entre produtos tensoriais e produtos de convolução. Além disso, estruturas existentes, como a teoria de Lurie para a dualidade de Cartier em categorias monoidais simétricas de categorias apresentáveis ([Lur18a]), excluem exemplos importantes que surgem de feixes de feixes vetoriais étale ou espaços de Banach-Colmez, e não é claro como derivar a estrutura de álgebra de Hopf de um dual de Cartier puramente a partir da estrutura de grupo de um stack.

Metodologia
O autor desenvolve um framework baseado na categoria de núcleos (kernels) dentro de um formalismo de seis funções.

1. Categoria Apresentável de Núcleos: O artigo utiliza a teoria de núcleos apresentáveis ($Pr_{D,S}$) associada a um formalismo de seis funções $D$ em uma configuração geométrica $(C, E)$. Esta categoria é enriquecida em categorias apresentáveis e admite uma estrutura monoidal simétrica.
2. Dualidade Abstrata de Lurie: O trabalho adapta a dualidade de Cartier abstrata de Lurie para objetos de álgebras de Hopf dualizáveis em categorias monoidais simétricas para este cenário de núcleos. Um insight fundamental é que a categoria de núcleos possui naturalmente uma autodualidade que troca pullbacks $\ast$ (produtos tensoriais) por pushforwards $!$ (produtos de convolução).
3. Descida e a Topologia 1-étale: Para lidar com objetos de stack e simplificar computações, o autor introduz uma topologia 1-étale na categoria de Gestalten 1-afins (inspirada na teoria de Gestalten de Scholze e Stefanich). Isso permite a descida da dualidade de Cartier de objetos simples e concretos (como tori ou retas afins) para stacks mais complexos (como feixes vetoriais e gerbes).
4. Construção de Pareamento: A dualidade é estabelecida através da construção de pareamentos específicos (frequentemente envolvendo aplicações exponenciais) entre um objeto geométrico e seu proposto dual, mapeando para um objeto invertível universal ($GL_1$ ou $G_m$). O transform de Fourier-Mukai associado a esses pareamentos é mostrado para induzir a anti-equivalência de álgebras de Hopf necessária na categoria de núcleos.

Contribuições Principais e Resultados

• Dualidade de Cartier Universal para Gerbes: O artigo prova uma dualidade de Cartier geral para gerbes de feixes vetoriais (analíticos ou algébricos). Especificamente, estabelece uma anti-equivalência de álgebras de Hopf na categoria de núcleos, mostrando que o dual de Cartier de uma gerbe bandada por um feixe vetorial está relacionado ao stack de classificação do feixe dual (com modificações sobreconvergentes ou sólidas específicas).
• Dualidade para Feixes Vetoriais: O autor fornece uma formulação de stack para a dualidade de Cartier de feixes vetoriais analíticos (Teorema 3.2.37). Isso inclui várias encarnações:
  • Feixes vetoriais algébricos (relacionados a envelopes de potências divididas/divided power envelopes).
  • Feixes vetoriais sólidos (sobre anéis sólidos).
  • Feixes de discos e vizinhanças sobreconvergentes.
  • Lattices $Z_p$ localmente analíticos.
    Em cada caso, a dualidade troca o produto tensorial padrão com o produto de convolução resultante da estrutura de grupo.
• Aplicação a Gerbes de Hodge-Tate e Simpson: Uma aplicação primária é a prova de uma dualidade de Cartier entre o stack de Hodge-Tate ($X_{HT}$) de uma variedade rígida suave $X$ e a gerbe de Simpson ($S_X$) de Bhatt-Zhang.
  • O stack de Hodge-Tate é identificado como um torsor de $B T^\dagger_X(1)$.
  • A gerbe de Simpson é um torsor de $B G_m$ sobre o fibrado cotangente analítico de Tate-twist $T^{*,an}_X(-1)$.
  • O artigo estabelece uma equivalência natural de categorias $D(X_{HT}) \cong D(S_X)_{wt=1}$, onde o lado direito consiste de feixes de peso 1 na gerbe de Simpson.
  • Esta equivalência respeita a estrutura de módulo sobre $D(T^{*,an}_X(-1))$ e decompõe a categoria de feixes na gerbe de Simpson em um produto de componentes de peso, com o componente de peso 0 recuperando a categoria base.

Significância
O artigo afirma fornecer uma "resposta conceitual" para a funcionalidade da dualidade de Cartier no contexto de stacks analíticos. Ao trabalhar na categoria de núcleos de um formalismo de seis funções, ele unifica vários exemplos díspares de dualidade (tori, feixes vetoriais, gerbes) sob um único guarda-chuva teórico. A metodologia permite o cálculo de duais de Cartier via descida, reduzindo dualidades de stacks complicadas a casos mais simples e concretos.

O resultado referente ao stack de Hodge-Tate e a gerbe de Simpson é apresentado como uma realização concreta da expectativa de que esses dois objetos são duais de Cartier. Isso fornece uma nova perspectiva sobre a relação entre a decomposição analítica de Hodge-Tate e a geometria da gerbe de Simpson, ligando a categoria de feixes quase-coerentes sólidos no stack de Hodge-Tate aos feixes de peso 1 na gerbe de Simpson. O trabalho é fortemente inspirado e utiliza a teoria emergente de Gestalten de Scholze e Stefanich, servindo como uma aproximação 1-categórica que facilita computações explícitas em geometria analítica.