Abstract:We generalize Waldschmidt's bound for Leopoldt's defect and prove a similar bound for Gross's defect for an arbitrary extension of number fields. As an application, we prove new cases of Gross's finiteness conjecture (also known as the Gross-Kuz'min conjecture) beyond the classical abelian case, and we show that Gross's $p$-adic regulator has at least half of the conjectured rank. We also describe and compute non-cyclotomic analogues of Gross's defect.
What problem does this paper attempt to address?
The core problems that this paper attempts to solve mainly focus on the generalization and proof of Leopoldt's conjecture and Gross - Kuz'min's conjecture. Specifically:
1. **Generalization of Leopoldt's Conjecture**:
- The author generalizes Waldschmidt's bound on Leopoldt defect ($\delta_L^K$) and gives a similar bound under arbitrary number field extensions.
- Leopoldt's conjecture predicts that for a given number field $K$ and prime number $p$, the Leopoldt regulator map $\iota_K$ is injective. That is, $\delta_L^K = 0$.
2. **New Progress on Gross - Kuz'min's Conjecture**:
- The author proves new instances of Gross - Kuz'min's conjecture (also known as Gross's finiteness conjecture) beyond the classical abelian case and shows that Gross's $p$-adic regulator has at least half of the expected rank.
- Gross - Kuz'min's conjecture states that for a given number field $K$ and prime number $p$, the Gross regulator map $L_K$ is surjective. That is, $\delta_G^K = 0$.
3. **Calculation of Non - Cyclic Analogs**:
- The paper also describes and calculates the non - cyclic analogs of Gross defect, which helps to further understand the properties of these regulator maps.
### Specific Content Summary
#### 1. Leopoldt Regulator Map
The Leopoldt regulator map is defined as:
\[
\iota_K: O_{K, \wedge}^\times \to \prod_{P \mid p} O_{K_P, \wedge}^\times
\]
where $O_{K, \wedge}^\times$ represents the tensor product form of the unit group, and $O_{K_P, \wedge}^\times$ represents the unit group after $p$-adic completion.
#### 2. Waldschmidt's Bound
Waldschmidt's result shows that for any number field $K$, we have:
\[
\delta_L^K \leq \frac{|S_\infty(K)| - 1}{2}
\]
This is the best upper bound for Leopoldt defect so far.
#### 3. Gross Regulator Map
The Gross regulator map is defined as:
\[
L_K: O_K[1/p]^\times \to H^\wedge, \quad x \mapsto (-\log_p(N_P(x)))_P
\]
where $N_P$ is the local norm map, and $\log_p$ is the usual Iwasawa $p$-adic logarithm.
#### 4. Main Results
By introducing Artin formalism, the author obtains the following inequalities:
\[
\delta_L^K \leq \delta_L^k + \frac{|S_\infty(K)| - |S_\infty(k)|}{2}, \quad \delta_G^K \leq \delta_G^k + \frac{|S_p(K)| - |S_p(k)|}{2}
\]
#### 5. Applications
These results not only verify Leopoldt's and Gross - Kuz'min's conjectures under certain specific conditions, but also provide a conjectural interpretation of $p$-adic Artin $L$-functions, and have potential applications to the equivariant Tamagawa number conjecture as well.
In conclusion, through the study of Leopoldt's and Gross regulator maps, this paper deepens our understanding of important conjectures in $p$-adic number theory and provides new tools and methods for future research.