Matthew H. Honnor
Abstract:Let $F$ be a totally real number field. Dasgupta conjectured an explicit $p$-adic analytic formula for the Gross-Stark units of $F$. In a later paper, Dasgupta-Spiess conjectured a cohomological formula for the principal minors and the characteristic polynomial of the Gross regulator matrix associated to a totally odd character of $F$. Dasgupta-Spiess conjectured that these conjectural formulas coincide for the diagonal entries of Gross regulator matrix. In this paper, we prove this conjecture when $F$ is a cubic field.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to verify whether two different formulas are equivalent under specific conditions. Specifically, the author Matthew H. Honnor studied two conjectural formulas about Gross - Stark units proposed by Dasgupta and Dasgupta - Spieß, and proved that when the number field \(F\) is a cubic field (i.e., \(n = 3\)), these two formulas are consistent.
### Background and Problem Description
1. **Brumer - Stark Conjecture**:
- Tate proposed the Brumer - Stark conjecture, stating that there exists a \(p\)-unit \(u\), whose order is equal to the value of a certain partial zeta function at 0.
- Gross - Stark units are special units defined in the case of a totally real number field \(F\) and a totally complex number field \(H\).
2. **Dasgupta's Conjecture**:
- Dasgupta constructed an explicit \(p\)-adic formula based on the values of the Shintani zeta function and conjectured that this formula is equal to the image of Gross - Stark units in \(F_p^*\).
3. **Dasgupta - Spieß's Conjecture**:
- Dasgupta - Spieß proposed a cohomology formula for calculating the principal minors and characteristic polynomials of the Gross regulator matrix.
- They also conjectured that these two formulas are consistent on the diagonal elements of the Gross regulator matrix.
### Main Results
The author proved that when \(F\) is a cubic field, Dasgupta's conjecture is consistent with Dasgupta - Spieß's conjecture. Specifically, the author proved the following theorem:
\[
R_p(\chi)_p^{\text{an}}=-\frac{l_p(U_{p,\chi})}{o_p(U_{p,\chi})}
\]
where:
- \(R_p(\chi)_p^{\text{an}}\) is the cohomology formula proposed by Dasgupta - Spieß;
- \(U_{p,\chi}\) is the representation form of the \(p\)-unit constructed by Dasgupta.
### Method Overview
To prove this result, the author adopted the following steps:
1. **Select Appropriate Subgroups**: By selecting a free finite - index subgroup \(V\subset E^+(f)\), the handling of the Shintani domain was simplified.
2. **Control Translation Properties**: The problem of the lack of control in the translation process of the Shintani domain was solved, ensuring the well - definedness of the Shintani domain.
3. **Show the Equality of Formulas**: Through the explicit calculation of the Shintani domain, the equality of the two formulas was demonstrated.
### Significance
This result not only verifies the equivalence of two important conjectures in the case of a cubic field but also provides new methods and techniques for more extensive research. In particular, combined with the work of Dasgupta - Kakde, it further promotes the understanding of the Gross - Stark conjecture.
### Summary
The main contribution of this paper is to prove that when the number field \(F\) is a cubic field, the two conjectural formulas about Gross - Stark units proposed by Dasgupta and Dasgupta - Spieß are consistent. This provides an important theoretical basis for further research in related fields.