Gregory B. Furman
Abstract:Dynamics of zeroth order quantum coherences and preparation of the pseudopure states in homonuclear systems of dipolar coupling spins is closely examined. It has been shown an extreme important role of the non-diagonal part of zeroth order coherence in construction of the pseudopure state. Simulations of the preparation process of pseudopure states with the real molecular structures (a rectangular (-chloro- -nitrobenzene molecule), a chain (hydroxyapatite molecule), a ring (benzene molecule), and a double ring (cyclopentane molecule)) open the way to experimental testing of the obtained results.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the Mazur - Tate - Teitelbaum conjecture regarding elliptic curves. Specifically, this conjecture describes the derivative formula of the \(p\)-adic \(L\)-function \(L_p(E, s)\) at \(s = 1\) when the elliptic curve \(E\) has split multiplicative reduction at the prime number \(p\).
### Specific content of the conjecture
According to the description in the paper, when the elliptic curve \(E\) has split multiplicative reduction at the prime number \(p\), its \(p\)-adic \(L\)-function \(L_p(E, s)\) has an additional zero at \(s = 1\). The Mazur - Tate - Teitelbaum conjecture (now proven as a theorem by Greenberg - Stevens) describes the derivative formula of \(L_p(E, s)\) at \(s = 1\):
\[
\left. \frac{d}{ds} L_p(E, s) \right|_{s = 1}=\frac{\log_p(q_E)}{\text{ord}_p(q_E)}\cdot\frac{L(E, 1)}{\Omega_E^+}
\]
where:
- \(q_E\) is the Tate period from the \(p\)-adic uniformization of \(E\),
- \(\log_p\) is the Iwasawa \(p\)-adic logarithm,
- \(\Omega_E^+\) is the real period of \(E\),
- \(L(E, 1)\) is the special value of the complex Hasse - Weil \(L\)-function at \(s = 1\).
### Main contributions of the paper
The author Shinichi Kobayashi provides an elementary and purely local method to prove this conjecture by using Kato elements. He derives the first - order derivative formula of the Coleman map and applies it to the Kato elements, thereby verifying the Mazur - Tate - Teitelbaum conjecture. This method not only simplifies the proof process but also emphasizes the local nature behind this problem.
### Formula explanation
The key formulas are as follows:
\[
\left. \frac{d}{dX}\text{Col}(z)(X) \right|_{X = 0}=\frac{p}{(p - 1)\log_p\kappa(\gamma)}\cdot\frac{\log_p(q_E)}{\text{ord}_p(q_E)}\cdot\exp_{\omega_E}^*(z)
\]
In particular, for the Kato element \(z = z_{\text{Kato}}\), we have:
\[
\left. \frac{d}{ds} L_p(E, s) \right|_{s = 1}=\frac{\log_p(q_E)}{\text{ord}_p(q_E)}\cdot\frac{L(E, 1)}{\Omega_E^+}
\]
These formulas clearly show the relationship between the derivative of the \(p\)-adic \(L\)-function at \(s = 1\) and the Tate period, the Iwasawa logarithm, and the complex \(L\)-function.