In mathematics, the Smith–Minkowski–Siegel mass formula (or Minkowski–Siegel mass formula) is a formula for the sum of the weights of the lattices (quadratic forms) in a genus, weighted by the reciprocals of the orders of their automorphism groups. The mass formula is often given for integral quadratic forms, though it can be generalized to quadratic forms over any algebraic number field. In 0 and 1 dimensions the mass formula is trivial, in 2 dimensions it is essentially equivalent to Dirichlet's class number formulas for imaginary quadratic fields, and in 3 dimensions some partial results were given by Gotthold Eisenstein. The mass formula in higher dimensions was first given by H. J. S. Smith (1867), though his results were forgotten for many years. It was rediscovered by H. Minkowski (1885), and an error in Minkowski's paper was found and corrected by C. L. Siegel (1935). Many published versions of the mass formula have errors; in particular the 2-adic densities are difficult to get right, and it is sometimes forgotten that the trivial cases of dimensions 0 and 1 are different from the cases of dimension at least 2. Conway & Sloane (1988) give an expository account and precise statement of the mass formula for integral quadratic forms, which is reliable because they check it on a large number of explicit cases. For recent proofs of the mass formula see (Kitaoka 1999) and (Eskin, Rudnick & Sarnak 1991). The Smith–Minkowski–Siegel mass formula is essentially the constant term of the Weil–Siegel formula.
Statement of the mass formula If f is an n-dimensional positive definite integral quadratic form (or lattice) then the mass of its genus is defined to be
m ( f ) = ∑ Λ 1 | Aut ( Λ ) | {\displaystyle m(f)=\sum _{\Lambda }{1 \over |{\operatorname {Aut} (\Lambda )}|}}
where the sum is over all integrally inequivalent forms in the same genus as f, and Aut(Λ) is the automorphism group of Λ. The form of the mass formula given by Conway & Sloane (1988) states that for n ≥ 2 the mass is given by
m ( f ) = 2 π − n ( n + 1 ) / 4 ∏ j = 1 n Γ ( j / 2 ) ∏ p prime 2 m p ( f ) {\displaystyle m(f)=2\pi ^{-n(n+1)/4}\prod _{j=1}^{n}\Gamma (j/2)\prod _{p{\text{ prime}}}2m_{p}(f)}
where mp(f) is the p-mass of f, given by
m p ( f ) = p ( r n ( n − 1 ) + s ( n + 1 ) ) / 2 N ( p r ) {\displaystyle m_{p}(f)={p^{(rn(n-1)+s(n+1))/2} \over N(p^{r})}}
for sufficiently large r, where ps is the highest power of p dividing the determinant of f. The number N(pr) is the number of n by n matrices X with coefficients that are integers mod p r such that
X tr A X ≡ A mod p r {\displaystyle X^{\text{tr}}AX\equiv A\ {\bmod {\ }}p^{r}}
where A is the Gram matrix of f, or in other words the order of the automorphism group of the form reduced mod p r. Some authors state the mass formula in terms of the p-adic density
α p ( f ) = N ( p r ) p r n ( n − 1 ) / 2 = p s ( n + 1 ) / 2 m p ( f ) {\displaystyle \alpha _{p}(f)={N(p^{r}) \over p^{rn(n-1)/2}}={p^{s(n+1)/2} \over m_{p}(f)}}
… excerpt ends here. Continue reading the full article.
