Hecke characters and the K-theory of totally real and CM fields

DOI10.4064/AA170913-27-11MaRDI QIDQ5376578zbMATH OpenOpenAlexFDO

Authors Cristian D. Popescu, Grzegorz Banaszak

Publication date 13 May 2019

Published in Acta Arithmetica (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1402.5451

zbMATH Keywords

Euler systemsHecke charactersQuillen K-theory of number fieldsspecial values of \(L\)-functions

Mathematics Subject Classification ID

(K)-theory of global fields (11R70) Higher symbols, Milnor (K)-theory (19D45) Symbols and arithmetic ((K)-theoretic aspects) (19F15)

Abstract: Let $F/K$ be an abelian extension of number fields with $F$ either CM or totally real and $K$ totally real. If $F$ is CM and the Brumer-Stark conjecture holds for $F/K$, we construct a family of $G(F/K)$--equivariant Hecke characters for $F$ with infinite type equal to a special value of certain $G(F/K)$--equivariant $L$-functions. Using results of Greither-Popescu on the Brumer-Stark conjecture we construct $l$-adic imprimitive versions of these characters, for primes $l>2$. Further, the special values of these $l$-adic Hecke characters are used to construct $G(F/K)$-equivariant Stickelberger-splitting maps in the $l$-primary Quillen localization sequence for $F$, extending the results obtained in 1990 by Banaszak for $K=BbbQ$. We also apply the Stickelberger-splitting maps to construct special elements in the $l$-primary piece $K_{2n}(F{)}_l$ of $K_{2n}(F)$ and analyze the Galois module structure of the group $D(n{)}_l$ of divisible elements in $K_{2n}(F{)}_l$, for all $n>0$. If $n$ is odd and coprime to $l$ and $F=K$ is a fairly general totally real number field, we study the cyclicity of $D(n{)}_l$ in relation to the classical conjecture of Iwasawa on class groups of cyclotomic fields and its potential generalization to a wider class of number fields. Finally, if $F$ is CM, special values of our $l$-adic Hecke characters are used to construct Euler systems in the odd $K$-groups with coefficients $K_{2n+1}(F,BbbZ/l^k)$, for all $n>0$. These are vast generalizations of Kolyvagin's Euler system of Gauss sums and of the $K$-theoretic Euler systems constructed in Banaszak-Gajda when $K=BbbQ$.

Recommendations

• On the non-abelian Brumer-Stark conjecture and the equivariant Iwasawa main conjecture
• scientific article; zbMATH DE number 3879041
• Existence of algebraic Hecke characters.
• Conjectures of Brumer, Gross and Stark
• On the Brumer-Stark conjecture
• L-functions at the origin and annihilation of class groups in multiquadratic extensions
• Hilbert modular forms and the Gross-Stark conjecture
• Stark's question and a refinement of Brumer's conjecture extrapolated to the function field case
• A Brumer-Stark conjecture for non-abelian Galois extensions
• Values at s = −1 of L -functions for multi-quadratic extensions of number fields and annihilation of the tame kernel

Cites work

• Existence of algebraic Hecke characters.
• scientific article; zbMATH DE number 4200318 (Why is no real title available?)
• scientific article; zbMATH DE number 34713 (Why is no real title available?)
• scientific article; zbMATH DE number 202997 (Why is no real title available?)
• scientific article; zbMATH DE number 2116723 (Why is no real title available?)
• scientific article; zbMATH DE number 936424 (Why is no real title available?)
• Integral and p-adic refinements of the abelian Stark conjecture
• The K-book. An introduction to algebraic K-theory
• The Stark conjectures on Artin L-functions at s=0. Lecture notes of a course in Orsay edited by Dominique Bernardi and Norbert Schappacher.

Cited in

(5)

• On calculation of \(L_ K(1,\chi)\) for some Hecke characters
• The Stickelberger splitting map and Euler systems in the K-theory of number fields
• An equivariant Tamagawa number formula for Drinfeld modules and applications
• Cyclotomic fields are generated by cyclotomic Hecke \(L\)-values of totally real fields
• Existence of algebraic Hecke characters.

This page was built for publication: Hecke characters and the $K$-theory of totally real and CM fields

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