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

Sintesi Tecnica: Sul Rango delle Mappe Regolatore di Leopoldt e di Gross

Enunciato del Problema
Il saggio affronta due congetture centrali nella teoria di Iwasawa e nella teoria della trascendenza $p$-adica: la congettura di Leopoldt e la congettura di Gross-Kuz'min.

• Congettura di Leopoldt: Postula che la mappa regolatore $p$-adica $\iota_K$ dalle unità globali di un campo numerico $K$ al prodotto delle unità locali nei luoghi $p$-adici sia iniettiva. Il difetto $\delta^L_K = \dim_{\mathbb{Q}_p} \ker \iota_K$ è congetturato essere zero.
• Congettura di Gross-Kuz'min: Postula che la mappa regolatore di Gross $L_K$, che mappa le $p$-unità in un ipersorve specifico nel prodotto delle norme locali, sia suriettiva. Il difetto $\delta^G_K = \dim_{\mathbb{Q}_p} \operatorname{coker} L_K$ è congetturato essere zero.

Sebbene queste congetture siano note per estensioni abeliani di $\mathbb{Q}$ o di campi quadratici immaginari, e per campi con al massimo due primi $p$-adici, esse rimangono aperte per campi numerici generali. Il saggio mira a stabilire limiti superiori per questi difetti e a dimostrare nuovi casi delle congetture, in particolare per estensioni non abeliane e $\mathbb{Z}_p$-estensioni non ciclotomiche.

Metodologia
L'autore impiega una sintesi della teoria della trascendenza $p$-adica e del formalismo di Artin.

1. Formalismo di Artin: I difetti $\delta^L_K$ e $\delta^G_K$ sono decomposti in componenti isotipiche associate a rappresentazioni irriducibili $\rho$ del gruppo di Galois. Il saggio definisce invarianti di difetto $\delta^L_k(\rho)$ e $\delta^G_k(\rho)$ che soddisfano le proprietà standard del formalismo di Artin (induzione, inflazione e additività). Ciò permette di ridurre i problemi globali a questioni riguardanti specifiche rappresentazioni su $\mathbb{Q}$.
2. Teoria della Trascendenza $p$-adica: Lo strumento analitico centrale è l'applicazione dei teoremi di Waldschmidt, Roy e del teorema di Baker-Brumer riguardanti l'indipendenza lineare dei logaritmi $p$-adici di numeri algebrici. Nello specifico, il saggio utilizza l'affinamento di Roy al teorema di Waldschmidt (Teorema 2.2.1) per stabilire limiti inferiori sul rango di matrici con coefficienti nello span $\mathbb{Q}$-lineare dei logaritmi $p$-adici ($\Lambda$).
3. Coomologia di Galois e Teoria dell'Classe di Campo: I difetti sono reinterpretati tramite la coomologia di Galois e il teorema di dualità di Poitou-Tate. Il difetto di Gross è identificato con la dimensione del cokernello di una mappa di localizzazione che coinvolge le $p$-unità e le mappe di reciprocità locale. Questo framework facilita l'analisi di $\mathbb{Z}_p$-estensioni non ciclotomiche.

Contributi Chiave e Risultati

1. Limiti Generalizzati sui Difetti
Il saggio generalizza il limite di Waldschmidt per il difetto di Leopoldt e stabilisce un limite parallelo per il difetto di Gross.

• Teorema 1.4: Per un'estensione di campi numerici $K/k$, i difetti soddisfano:
  $$\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}$$
  Il secondo limite è stretto se $K$ ha un luogo reale e il numero di primi $p$-adici cambia. Ciò implica che la congettura di Gross-Kuz'min sia valida per tutti i campi cubici.

2. Limiti basati sulla Teoria delle Rappresentazioni (Teorema 1.5)
Per una rappresentazione irriducibile $\rho \in \operatorname{Art}_{\mathbb{Q}_p}(G_{\mathbb{Q}})$ con invarianti $d = [K:\mathbb{Q}]$, $d_+ = |S_\infty(K)|$, e $f = |S_p(K)|$, il saggio dimostra:

• $\delta^L_{\mathbb{Q}}(\rho) \leq \frac{d_+^2}{d + d_+}$
• $\delta^G_{\mathbb{Q}}(\rho) \leq \frac{f^2}{d_+ + 2f}$ (a condizione che $d_+, f$ non siano entrambi zero).
  Questi limiti sono derivati da un lemma sulle rappresentazioni di Galois locali e dal teorema di Roy sul rango delle matrici.

3. Applicazioni alle Congetture

• Rango del Regolatore di Gross: Il Corollario 1.6 dimostra che per un campo totalmente reale $k$ e una rappresentazione di Artin totalmente dispari $V$, la matrice del regolatore $p$-adico di Gross $R_p(V)$ ha un rango di almeno la metà della sua dimensione. Ciò rafforza il risultato classico di Gross secondo cui il rango è positivo.
• Nuovi Casi di Gross-Kuz'min: Il Corollario 1.7 e il Teorema 4.3.2 provano la congettura di Gross-Kuz'min (ovvero $\delta^G_K = 0$) per:
  • Estensioni abeliane di campi quadratici immaginari.
  • Estensioni abeliane di campi quadratici reali che possiedono almeno un luogo reale.
  • Vari altri casi che coinvolgono estensioni di Galois con vincoli sul numero di primi $p$-adici (ad esempio, $|S_p(K)| \leq 6$ per estensioni di Galois reali).

4. Analoghi Non Ciclotomici e Indipendenza Algebrica
Il saggio investiga la scomparsa del difetto per $\mathbb{Z}_p$-estensioni non ciclotomiche.

• Teorema 1.8: Per un campo quadratico immaginario $k$ e un'estensione abeliana $K$ dove $p$ si scinde completamente, esistono al massimo un numero finito di $\mathbb{Z}_p$-estensioni $k_\infty$ di $k$ per le quali $\delta^G_{K k_\infty/K} > 0$.
• Non Esistenza Condizionata: Se un particolare polinomio $XYZ^2 - (AX - BY)(CX - DY)$ non svanisce su alcuna 7-upla $\mathbb{Q}$-linearmente indipendente nello spazio dei logaritmi $p$-adici (una condizione implicata dalla debole congettura di Schanuel $p$-adica), allora tali $\mathbb{Z}_p$-estensioni non esistono.
• Analisi della Pendenza (Slope): Il saggio parametrizza le $\mathbb{Z}_p$-estensioni come punti su un sottospazio lineare di $\mathbb{P}^{n-1}(\mathbb{Q}_p)$. Mostra che se un difetto è non nullo, la corrispondente "pendenza" dell'estensione deve essere trascendente (Teorema 5.1.1).

Significato
Il saggio afferma di fornire i migliori limiti superiori noti per i difetti di Leopoldt e di Gross per campi numerici arbitrari, generalizzando i risultati precedenti di Waldschmidt. Sfruttando il formalismo di Artin, estende la validità della congettura di Gross-Kuz'min oltre il classico caso abeliano a specifici contesti non abeliani. Inoltre, il lavoro stabilisce un legame concreto tra la non vacuità del difetto di Gross per estensioni non ciclotomiche e l'indipendenza algebrica dei logaritmi $p$-adici, suggerendo che la congettura sia valida incondizionatamente sotto ipotesi di trascendenza standard. I risultati offrono anche un raffinamento quantitativo sul rango del regolatore di Gross, mostrando che esso è almeno la metà del rango congetturato in ampia generalità.