On non-commutative Euler systems

MaRDI QIDQ6339218zbMATH OpenFDO

Authors David Burns, Takamichi Sano

Publication date 22 April 2020

Abstract: Let $p$ be a prime, $T$ a $p$-adic representation over a number field $K$ and $mathcalK$ an arbitrary Galois extension of $K$. Then for each non-negative integer $r$ we define a natural notion of a `non-commutative Euler system of rank $r$' for $T$ relative to the extension $mathcalK/K$. We prove that if $p$ is odd and $T$ and $mathcalK/K$ satisfy certain mild hypotheses, then there exist non-commutative Euler systems that control the Galois structure of cohomology groups of $T$ over intermediate fields of $mathcalK/K$ and have rank that depends explicitly on $T$. As a first concrete application of this approach, we (unconditionally) extend the classical Euler system of cyclotomic units to the setting of arbitrary totally real Galois extensions of $mathbbQ$ and describe explicit links between this extended cyclotomic Euler system, the values at zero of derivatives of Artin $L$-series and the Galois structures of ideal class groups. As an important preliminary to the formulation and proof of these results, we introduce natural non-commutative generalizations of several standard constructions in commutative algebra including higher Fitting invariants, higher exterior powers and the Grothendieck-Knudsen-Mumford determinant functor on perfect complexes that are of independent interest.

This page was built for publication: On non-commutative Euler systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6339218)