Regulators in the Arithmetic of Function Fields

Enunciado do Problema

Este artigo aborda o desenvolvimento de uma teoria do regulador para $A$-motivos de Anderson sobre corpos de funções, visando estabelecer análogos das conjecturas de Beilinson conhecidas na aritmética de corpos numéricos. Especificamente, o autor busca definir um morfismo regulador para $A$-motivos de Anderson rigidamente analiticamente triviais e investigar as propriedades de finitude e de posto dos grupos de cohomologia motivica associados.

No cenário clássico sobre corpos numéricos, as conjecturas de Beilinson relacionam a dimensão dos grupos de extensão de motivos mistos (especificamente $\text{Ext}^1_{\mathbb{Z}}(1, M)$) a valores especiais de funções $L$ via um mapa regulador para espaços de realização de Hodge. No cenário de corpos de funções, o trabalho anterior do autor ([Gaz22]) iniciou o estudo da cohomologia $A$-motivica, mas encontrou obstáculos: o módulo natural de extensões, $\text{Ext}^1_{A}(1, M)$, é geralmente não finitamente gerado. Essa falha decorre de duas fontes: a não exatidão ao tomar filtrações de Hodge e a natureza infinita do grupo de Galois absoluto $G_\infty$ no lugar em infinito. O artigo visa resolver esses problemas definindo um módulo de extensões refinado com "redução analítica" e construindo um regulador correspondente para estruturas de Hodge-Pink.

Metodologia

O autor emprega uma síntese de geometria analítica rígida, cohomologia de Galois e a teoria de modelos de shtuka. A metodologia procede através de várias etapas fundamentais:

1. $A$-Motivos Rigidamente Analiticamente Triviais e Realização de Betti: O estudo é restrito à subcategoria de $A$-motivos rigidamente analiticamente triviais ($\text{AMot}^{\text{rat}}_K$). Para tais motivos, o funtor de realização de Betti $M \mapsto M_B$ é exato. O autor estabelece que $M_B$ carrega uma ação contínua natural do grupo de Galois profínito $G_\infty = \text{Gal}(K_\infty^s | K_\infty)$.
2. Redução Analítica e Extensões Reguladas: Para abordar a falta de geração finita, o autor define a "redução analítica em $\infty$" para extensões. Uma extensão possui redução analítica se ela se decompõe como uma representação de $G_\infty$. Isso leva à definição do módulo \text{Ext}^1_{A, \infty}^{\text{reg}}(1, M), o núcleo do mapa de extensões reguladas para a cohomologia de Galois $H^1(G_\infty, M_B)$.
3. Estruturas de Hodge-Pink com Frobenii Infinitos: O artigo estende a teoria de Pink de estruturas de Hodge-Pink introduzindo "Frobenii infinitos", que são representações contínuas de $G_\infty$ compatíveis com o reticulado de Hodge-Pink. Isso permite a construção de um funtor de realização de Hodge-Pink $H^+$ de $\text{AMot}^{\text{rat}}_K$ para a categoria de estruturas de Hodge-Pink com Frobenii infinitos ($\text{HdgPk}^+$).
4. Modelos de Shtuka: Uma ferramenta técnica central é a associação de $A$-motivos com modelos de shtuka.
   • Modelos de $C$-shtuka: Associados a qualquer $A$-motivo sobre a superfície $(\text{Spec } A) \times C$.
   • Modelos de $C \times C$-shtuka: Associados a $A$-motivos com pesos negativos sobre $C \times C$.
     O autor prova que o complexo que computa a cohomologia motivica ($G_M$) é quasi-isomorfo à cohomologia coerente desses modelos de shtuka. Essa conexão permite o uso do teorema de Grothendieck sobre funções formais e da finitude da cohomologia coerente em esquemas próprios para deduzir resultados de finitude.
5. Construção do Regulador: A exatidão do funtor de realização de Hodge-Pink induz um morfismo (o regulador) do módulo de extensões reguladas e analiticamente reduzidas de $A$-motivos para o espaço de extensões de Hodge-aditivas e analiticamente reduzidas de estruturas de Hodge-Pink.

Principais Contribuições e Resultados

O artigo estabelece dois teoremas principais relativos à estrutura da cohomologia $A$-motivica e às propriedades do regulador:

1. Teorema de Finitude (Teorema 6.1):

   • Os $A$-módulos \text{Ext}^1_{A, \infty}^{\text{reg}}(1, M) (extensões integrais, reguladas com redução analítica) e o módulo de classe $\text{Cl}(M)$ (o cofator do mapa de redução analítica) são finitamente gerados.
   • Se os pesos de $M$ forem todos negativos, o módulo de classe $\text{Cl}(M)$ é finito.
   • Este resultado serve como o análogo em corpos de funções para a expectativa de que $\text{Ext}^1_{\mathbb{Z}}(1, M)$ seja finitamente dimensional no cenário de corpos numéricos.

2. Teorema de Igualdade de Posto (Teorema 6.2):

   • Assumindo que os pesos de $M$ são todos negativos, o posto de \text{Ext}^1_{A, \infty}^{\text{reg}}(1, M) como um $A$-módulo é igual à dimensão do espaço alvo \text{Ext}^1_{\infty}^{\text{ha}}(1^+, H^+(M)) como um espaço vetorial de $K_\infty$.
   • Esta dimensão é explicitamente computável em termos dos pesos positivos de Hodge-Pink de $M$.

3. Falha de Posto Total:

   • Ao contrário do quadro conjectural sobre corpos numéricos (onde espera-se que o regulador tenha densidade/posto total), o autor demonstra que a imagem do regulador de Hodge-Pink $\text{Reg}(M)$ pode falhar em ter posto total em seu alvo.
   • Essa falha é observada mesmo em casos simples, como o $p$-ésimo twist de Carlitz. Consequentemente, um análogo direto da conjectura de Beilinson referente à densidade da imagem não se sustenta neste cenário.

Significância e Alegações

O artigo afirma fornecer um arcabouço rigoroso para a cohomologia motivica no cenário de corpos de funções, superando os problemas de geração infinita presentes em formulações anteriores. Ao introduzir o conceito de redução analítica e utilizar modelos de shtuka, o autor prova com sucesso resultados de finitude que espelham expectativas clássicas.

Contudo, o artigo nota modestamente uma divergência significativa da analogia com corpos numéricos: o regulador não possui necessariamente posto total. O autor sugere que essa discrepância implica que as estruturas de Hodge-Pink padrão podem não ser os objetos corretos para formular uma conjectura completa do tipo Beilinson em corpos de funções. Em vez disso, o autor propõe que "estruturas de Hodge de corpos de funções" (sem os dados de reticulado) poderiam precisar ser reabilitadas para definir um regulador com posto total. O artigo conclui que, embora a igualdade de posto (Teorema 6.2) seja válida, a formulação precisa do análogo à conjectura de Beilinson (relacionando a imagem do regulador a valores especiais de $L$) permanece um problema aberto que requer investigação adicional. O trabalho é apresentado como uma sequência natural de [Gaz22], estabelecendo a ponte entre $A$-motivos de Anderson e o cenário conjectural de motivos mistos.