show · lf.family_mass all knowls · up · search:

Let $I/K$ be a family of extensions of $p$-adic fields with base field $K$. Let $f$ be the residue field degree of the family, and let $K_f$ be the unramified extension of $K$ of degree $f$, which is contained in every $L/K \in I/K$. To each $L/K\in I/K$ we assign a mass $1/|\operatorname{Aut}(L/K_f)|$. The mass of the family $I/K$ is the sum of the masses of the elements of $I/K$. We also assign an absolute mass $1/|\operatorname{Aut}(L/\Q_p)|$ to each $L/K\in I/K$, and define the absolute mass of the family to be the sum of the absolute masses of the elements of $I/K$. When $K = \Q_p$, the mass is the product of the absolute mass with $f$.

For some families, not all of the fields within the family are contained within the LMFDB. In these cases, we display the fraction of the absolute mass among those fields within the database as a percentage.

Authors:
Knowl status:
  • Review status: beta
  • Last edited by David Roe on 2025-05-15 06:16:18
Referred to by:
History: (expand/hide all) Differences (show/hide)