On functional equations of Euler systems
The authors establish a functional equation for vertical determinant systems over a number field, as introduced in [Int. Math. Res. Not. 2021, No. 13, 10118--10206 (2021; Zbl 1496.11132)], and, under suitable hypotheses, deduce the existence of a higher-rank Euler system interpolating values of Dedekind zeta functions at positive even integers. They further formulate a conjectural generalisation of the Coleman-Ihara formula (see \textit{Y. Ihara} [Ann. Math. (2) 123, 43--106 (1986; Zbl 0595.12003)]).\N\NLet \(K\) be a number field and \(p\) a prime. Fix an abelian (typically infinite) extension \(\mathcal{K}\) of \(K\). The module of vertical determinant systems \(VS(T,\mathcal{K})\), associated to \(\mathcal{K}\) and a \(p\)-adic representation \(T\) over \(K\), is defined as the inverse limit, taken over all finite extensions \(F\) of \(K\) contained in \(\mathcal{K}\), of the duals of the Knudsen-Mumford determinants of the compactly supported cohomology complexes\N\[\NR\Gamma_c(\mathcal{O}_{F,S(F)}, T^{\ast}(1)).\N\]\NHere \(T^{\ast}(1)\) denotes the Kummer dual of \(T\), and \(S(F)\) denotes the set of all ``bad places, namely the archimedean, \(p\)-adic, and ramified places (both those associated to \(T\) and those arising in \(F/K\)). \par\N\NThe authors also introduce a local variant \(VS^{\mathrm{loc}}(T,\mathcal{K})\), involving the completions of \(K\) at all finite places in \(S\). Their principal result is the construction of a canonical isomorphism of \(R\)-modules\N\[\NVS^{\mathrm{loc}}(T,\mathcal{K}) \simeq \mathrm{Hom}_{R}\bigl(VS(T^{\ast}(1),\mathcal{K}), VS(T,\mathcal{K})^{\sharp}\bigr),\N\]\Nwhere \(R\) is a suitable completed group ring of the form \(\mathcal{R}[[\mathrm{Gal}(\mathcal{K}/K)]]\) (for instance, one may often take \(\mathcal{R}=\mathbb{Z}_p\)). This isomorphism is referred to by the authors as a functional equation, and its proof relies fundamentally on Artin-Verdier duality.\N\NThe main focus of the article is the case in which \(K\) is totally real, \(T=\mathbb{Z}_p(j)\) for some \(j\in\mathbb{Z}\), and \(p\) is a prime unramified in \(K\). The extension \(\mathcal{K}\) is also assumed to be totally real and to contain \(K(\mu_{p^{\infty}})^+\). The condition on \(p\) ensures the validity of local (non-equivariant) Tamagawa number conjectures at all \(p\)-adic places of \(K\). The authors point out that this can be deduced from existing results in the literature, but they also provide a direct proof.\N\NIn the special case \(T=\mathbb{Z}_p\), the validity of these conjectures yields a natural element of the module of local vertical determinant systems \(VS^{\mathrm{loc}}(\mathbb{Z}_p,\mathcal{K})\). On the other hand, the Deligne-Ribet \(p\)-adic \(L\)-function gives rise, via the Iwasawa main conjecture, to an element of \(VS(\mathbb{Z}_p,\mathcal{K})\). Through the above isomorphism (with \(T=\mathbb{Z}_p\)), one thereby obtains an element of \(VS(\mathbb{Z}_p(1),\mathcal{K})\). This element induces an Euler system \(c\) of rank \(r=[K:\mathbb{Q}]\) via a canonical (up to minor choices) homomorphism from vertical determinant systems to Euler systems. The resulting Euler system interpolates values of Dedekind zeta functions at positive even integers, more precisely the generalised Stark elements introduced by \textit{D. Burns} et al. [Adv. Stud. Pure Math. 86, 113--140 (2020; Zbl 1469.11458)]. This construction depends on the validity of the local Tamagawa number conjectures for \(T=\mathbb{Z}_p(j)\).\N\NThe case of positive odd integers remains conjectural. Under the assumption of the \(p\)-adic Beilinson conjecture, the authors are led to a conjectural generalisation of the Coleman-Ihara formula.\N\NFor the entire collection see [Zbl 1564.11006].
- A formulation of conjectures on \(p\)-adic zeta functions in noncommutative Iwasawa theory
- A higher rank Euler system for Gm over a totally real field
- Bloch-Kato conjecture and Main Conjecture of Iwasawa theory for Dirichlet characters
- Determinant functors on exact categories and their extensions to categories of bounded complexes
- Division values in local fields
- scientific article; zbMATH DE number 3991667 (Why is no real title available?)
- scientific article; zbMATH DE number 16076 (Why is no real title available?)
- scientific article; zbMATH DE number 1391019 (Why is no real title available?)
- Les nombres de Tamagawa locaux et la conjecture de Bloch et Kato pour les motifs sur un corps abélien
- On generalised Kummer congruences and higher rank Iwasawa theory at arbitrary weights
- On Stark elements of arbitrary weight and their \(p\)-adic families
- On the \(p\)-adic Beilinson conjecture and the equivariant Tamagawa number conjecture
- On the p-adic Beilinson conjecture for number fields
- On the codimension of modules over skew power series rings with applications to Iwasawa algebras.
- On the equivariant Tamagawa number conjecture for Tate motives. II
- On the theory of higher rank Euler, Kolyvagin and Stark systems
- On zeta elements for G_m
- On 𝑝-adic families of special elements for rank-one motives
- Polylogarithmic analogue of the Coleman-Ihara formula. I
- Profinite braid groups, Galois representations and complex multiplications
- Refined Iwasawa theory and Kolyvagin systems of Gauss sum type
- Tamagawa numbers for motives with (non-commutative) coefficients
- The Iwasawa conjecture for totally real fields
- The local equivariant Tamagawa number conjecture for almost abelian extensions
- The projectivity of the moduli space of stable curves. I: Preliminaries on "det" and "Div".
- Étale cohomology, cofinite generation, and \(p\)-adic \(L\)-functions
- Über gewisse Galoiscohomologiegruppen
This page was built for publication: On functional equations of Euler systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6892708)
