On the rank of Leopoldt's and Gross's regulator maps

Resumo Técnico: Sobre o Posto dos Mapas Reguladores de Leopoldt e Gross

Enunciado do Problema
O artigo aborda duas conjecturas centrais na teoria de Iwasawa e na teoria da transcendência $p$-ádica: a conjectura de Leopoldt e a conjectura de Gross-Kuz'min.

• Conjectura de Leopoldt: Postula que o mapa regulador $p$-ádico $\iota_K$ das unidades globais de um corpo numérico $K$ para o produto de suas unidades locais nos lugares $p$-ádicos é injetivo. O defeito $\delta^L_K = \dim_{\mathbb{Q}_p} \ker \iota_K$ é conjecturado como sendo zero.
• Conjectura de Gross-Kuz'min: Postula que o mapa regulador de Gross $L_K$, mapeando $p$-unidades para um hiperplano específico no produto de normas locais, é sobrejetivo. O defeito $\delta^G_K = \dim_{\mathbb{Q}_p} \operatorname{coker} L_K$ é conjecturado como sendo zero.

Embora essas conjecturas sejam conhecidas para extensões abelianas de $\mathbb{Q}$ ou de corpos quadráticos imaginários, e para corpos com no máximo dois primos $p$-ádicos, elas permanecem em aberto para corpos numéricos gerais. O artigo busca estabelecer limites superiores para esses defeitos e provar novos casos das conjecturas, particularmente para extensões não abelianas e extensões $\mathbb{Z}_p$ não ciclotômicas.

Metodologia
O autor emprega uma síntese da teoria da transcendência $p$-ádica e do formalismo de Artin.

1. Formalismo de Artin: Os defeitos $\delta^L_K$ e $\delta^G_K$ são decompostos em componentes isotípicas associadas a representações irredutíveis $\rho$ do grupo de Galois. O artigo define invariantes de defeito $\delta^L_k(\rho)$ e $\delta^G_k(\rho)$ que satisfazem as propriedades padrão do formalismo de Artin (indução, inflação e aditividade). Isso permite a redução de problemas globais para questões sobre representações específicas sobre $\mathbb{Q}$.
2. Teoria da Transcendência $p$-ádica: A ferramenta analítica central é a aplicação de teoremas de Waldschmidt, Roy e o teorema de Baker-Brumer referente à independência linear de logaritmos $p$-ádicos de números algébricos. Especificamente, o artigo utiliza o refinamento de Roy ao teorema de Waldschmidt (Teorema 2.2.1) para estabelecer limites inferiores no posto de matrizes com coeficientes no espaço gerado linearmente sobre $\mathbb{Q}$ pelos logaritmos $p$-ádicos ($\Lambda$).
3. Cohomologia de Galois e Teoria de Classe de Hilbert: Os defeitos são reinterpretados via cohomologia de Galois e o teorema de dualidade de Poitou-Tate. O defeito de Gross é identificado com a dimensão do cofoco de um mapa de localização envolvendo $p$-unidades e mapas de reciprocidade locais. Este arcabouço facilita a análise de extensões $\mathbb{Z}_p$ não ciclotômicas.

Principais Contribuições e Resultados

1. Limites Generalizados para os Defeitos
O artigo generaliza o limite de Waldschmidt para o defeito de Leopoldt e estabelece um limite paralelo para o defeito de Gross.

• Teorema 1.4: Para uma extensão de corpos numéricos $K/k$, os defeitos satisfazem:
  $$\delta^L_K \leq \delta^L_k + \frac{|S_\infty(K)| - |S_\infty(k)|}{2}$$
  $$\delta^G_K \leq \delta^G_k + \frac{|S_p(K)| - |S_p(k)|}{2}$$
  O segundo limite é estrito se $K$ possuir um lugar real e o número de primos $p$-ádicos mudar. Isso implica que a conjectura de Gross-Kuz'min é válida para todos os corpos cúbicos.

2. Limites de Teoria de Representação (Teorema 1.5)
Para uma representação irredutível $\rho \in \operatorname{Art}_{\mathbb{Q}_p}(G_{\mathbb{Q}})$ com invariantes $d = [K:\mathbb{Q}]$, $d_+ = |S_\infty(K)|$, e $f = |S_p(K)|$, o artigo prova:

• $\delta^L_{\mathbb{Q}}(\rho) \leq \frac{d_+^2}{d + d_+}$
• $\delta^G_{\mathbb{Q}}(\rho) \leq \frac{f^2}{d_+ + 2f}$ (desde que $d_+, f$ não sejam ambos zero).
  Estes limites são derivados usando um lema sobre representações de Galois locais e o teorema de Roy sobre postos de matrizes.

3. Aplicações às Conjecturas

• Posto do Regulador de Gross: O Corolário 1.6 demonstra que, para um corpo totalmente real $k$ e uma representação de Artin totalmente ímpar $V$, a matriz do regulador $p$-ádico de Gross $R_p(V)$ possui um posto de pelo menos metade de seu tamanho. Isso fortalece o resultado clássico de Gross de que o posto é positivo.
• Novos Casos de Gross-Kuz'min: O Corolário 1.7 e o Teorema 4.3.2 provam a conjectura de Gross-Kuz'min (ou seja, $\delta^G_K = 0$) para:
  • Extensões abelianas de corpos quadráticos imaginários.
  • Extensões abelianas de corpos quadráticos reais que possuem pelo menos um lugar real.
  • Vários outros casos envolvendo extensões de Galois com restrições no número de primos $p$-ádicos (por exemplo, $|S_p(K)| \leq 6$ para extensões de Galois reais).

4. Análogos Não-Ciclotômicos e Independência Algébrica
O artigo investiga o desaparecimento do defeito para extensões $\mathbb{Z}_p$ não ciclotômicas.

• Teorema 1.8: Para um corpo quadrático imaginário $k$ e uma extensão abeliana $K$ onde $p$ se decompõe completamente, existem no máximo finitas extensões $\mathbb{Z}_p$ ($k_\infty$) de $k$ para as quais $\delta^G_{K k_\infty/K} > 0$.
• Não Existência Condicional: Se um polinômio específico $XY Z^2 - (AX - BY)(CX - DY)$ não se anula em nenhum 7-tupla $\mathbb{Q}$-linearmente independente no espaço dos logaritmos $p$-ádicos (uma condição implicada pela conjectura de Schanuel $p$-ádica fraca), então tais extensões $\mathbb{Z}_p$ não existem.
• Análise de Inclinação (Slope): O artigo parametriza extensões $\mathbb{Z}_p$ por pontos em um subespaço linear de $\mathbb{P}^{n-1}(\mathbb{Q}_p)$. Ele mostra que, se um defeito for não nulo, a "inclinação" correspondente da extensão deve ser transcendente (Teorema 5.1.1).

Significância
O artigo afirma fornecer os melhores limites superiores conhecidos para os defeitos de Leopoldt e Gross para corpos numéricos arbitrários, generalizando resultados anteriores de Waldschmidt. Ao utilizar o formalismo de Artin, ele estende a validade da conjectura de Gross-Kuz'min além do caso abeliano clássico para configurações específicas não abelianas. Além disso, o trabalho estabelece um vínculo concreto entre o não desaparecimento do defeito de Gross para extensões não ciclotômicas e a independência algébrica de logaritmos $p$-ádicos, sugerindo que a conjectura é válida incondicionalmente sob hipóteses de transcendência padrão. Os resultados também oferecem um refinamento quantitativo sobre o posto do regulador de Gross, mostrando que ele é de pelo menos metade do posto conjecturado em ampla generalidade.