show · st_group.moment_simplex all knowls · up · search:

For a Sato-Tate group $G$ of odd weight and degree $2g$ with $g>1$ it is natural to organize the mixed moments \[ \mathrm{E}[a_1^{e_1}\cdots a_g^{e_g}] \] by weighted degree $\sum ie_i$; here $a_i$ denotes the $i$th symmetric function of the eigenvalues of a random element of $G$ (equivalently, the $i$th coefficient of a random characteristic polynomial). We may restrict to cases where every term in the weighted degree sum is even, since symmetry constraints will force the expectation to be zero otherwise. Moments of the same weighted degree may be ordered lexicographically by exponent vector $(e_1,\ldots,e_g)$; in this ordering their values form a non-decreasing sequence or positive integers.

The moment simplex of a Sato-Tate group is the triangular table of nonzero mixed moments with rows indexed by even weighted degree and the entries in each row sorted lexicogrpahically by exponent vector.

Authors:
Knowl status:
  • Review status: beta
  • Last edited by Andrew Sutherland on 2021-01-01 15:35:22
Referred to by:
History: (expand/hide all) Differences (show/hide)