English

Dedekind Zeta motives for totally real fields

Algebraic Geometry 2013-01-15 v2 Number Theory

Abstract

Let kk be a totally real number field. For every odd n3n\geq 3, we construct a Dedekind zeta motive in the category \MT(k)\MT(k) of mixed Tate motives over kk. By directly calculating its Hodge realisation, we prove that its period is a rational multiple of πn[k:\Q]ζk(1n)\pi^{n[k:\Q]}\zeta^*_k(1-n), where ζk(1n)\zeta^*_k(1-n) denotes the special value of the Dedekind zeta function of kk. We deduce that the group \Ext\MT(k)1(\Q(0),\Q(n))\Ext^1_{\MT(k)} (\Q(0),\Q(n)) is generated by the cohomology of a quadric relative to hyperplanes. This proves a surjectivity result for certain motivic complexes for kk that have been conjectured to calculate the groups \Ext\MT(k)1(\Q(0),\Q(n))\Ext^1_{\MT(k)} (\Q(0),\Q(n)). In particular, the special value of the Dedekind zeta function is a determinant of volumes of geodesic hyperbolic simplices defined over kk.

Keywords

Cite

@article{arxiv.0804.1654,
  title  = {Dedekind Zeta motives for totally real fields},
  author = {Francis Brown},
  journal= {arXiv preprint arXiv:0804.1654},
  year   = {2013}
}

Comments

Shorter, updated version

R2 v1 2026-06-21T10:29:32.728Z