Computations in non-commutative Iwasawa theory

Tim Dokchitser,Vladimir Dokchitser
DOI: https://doi.org/10.1112/plms/pdl014
2005-09-14
Abstract:We study special values of L-functions of elliptic curves over Q twisted by Artin representations that factor through a false Tate curve extension $Q(\mu_p^\infty,\sqrt[p^\infty]{m})/Q$. In this setting, we explain how to compute L-functions and the corresponding Iwasawa-theoretic invariants of non-abelian twists of elliptic curves. Our results provide both theoretical and computational evidence for the main conjecture of non-commutative Iwasawa theory.
Number Theory
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the verification of some core conjectures in non - commutative Iwasawa theory and the development of computational methods. Specifically, the author studied the special values of the L - function of the elliptic curve E over Q after being twisted by the false Tate curve extension \( Q(\mu_{p^\infty}, p^{\infty}\sqrt{m})/Q \), and explained how to calculate these L - functions and their corresponding Iwasawa theory invariants. ### Main problems 1. **Study of special values**: Study the special value at \( s = 1 \) of the L - function \( L(E,\tau,s) \) of the elliptic curve E over Q after being twisted by the Artin representation \(\tau\). 2. **Computational methods**: Provide methods for calculating the above - mentioned L - functions and the corresponding Iwasawa theory invariants. 3. **Evidence for the main conjecture**: Provide theoretical and computational evidence for the main conjecture in non - commutative Iwasawa theory. ### Specific background The paper pays special attention to how to deal with the influence of non - commutative twisting transformations on elliptic curves under the given false Tate curve extension \( F_\infty=Q(\mu_{p^\infty}, p^{\infty}\sqrt{m}) \). This setting enables researchers to explore Iwasawa theory in more complex non - commutative situations. ### Key formulas In order to better understand these problems, some key formulas and concepts are introduced in the paper: - **Modified L - value**: \[ L_E(\tau)=\frac{L_v\nmid mp(E,\tau,1)}{\Omega_+(E)d_+(\tau)\Omega_-(E)d_-(\tau)\epsilon_p(\tau)}\cdot\frac{P_p(\tau^*,u^{-1})}{P_p(\tau,w^{-1})}\cdot u^{-n(\tau)} \] where \( L_v\nmid mp(E,\tau,s) \) is the L - function with the local factors at the prime factors of \( m \) and \( p \) removed. - **Non - commutative Euler characteristic**: \[ \chi_{na}(E,\tau)=\chi(G_k,X(E/F_\infty)\otimes_{\mathbb{Z}_p}\tau) \] ### Paper structure 1. **Introduction**: Introduce the research background and motivation. 2. **Twisted L - functions**: Definition and properties. 3. **Cyclic Iwasawa theory**: Review the basic results of elliptic curves. 4. **False Tate curve extension**: Describe this specific extension in detail. 5. **Conjecture compatibility**: Discuss the relationships between different conjectures. 6. **Computational methods**: Give specific computational methods and examples. 7. **Numerical examples**: Show specific computational results. Through these contents, the paper aims to provide more theoretical and computational support for the main conjecture in non - commutative Iwasawa theory.