English

Serre's "formule de masse" in prime degree

Number Theory 2013-01-07 v6 Commutative Algebra

Abstract

For a local field F with finite residue field of characteristic p, we describe completely the structure of the filtered F_p[G]-module K^*/K^*p in characteristic 0 and $K^+/\wp(K^+) in characteristic p, where K=F(\root{p-1}\of F^*) and G=\Gal(K|F). As an application, we give an elementary proof of Serre's mass formula in degree p. We also determine the compositum C of all degree p separable extensions with solvable galoisian closure over an arbitrary base field, and show that C is K(\root p\of K^*) or K(\wp^{-1}(K)) respectively, in the case of the local field F. Our method allows us to compute the contribution of each character G\to\F_p^* to the degree p mass formula, and, for any given group \Gamma, the contribution of those degree p separable extensions of F whose galoisian closure has group \Gamma.

Cite

@article{arxiv.1005.2016,
  title  = {Serre's "formule de masse" in prime degree},
  author = {Chandan Singh Dalawat},
  journal= {arXiv preprint arXiv:1005.2016},
  year   = {2013}
}

Comments

36 pages; most of the new material has been moved to the new Section 9

R2 v1 2026-06-21T15:21:42.664Z