The Sato-Tate group of a motive $X$ is a compact Lie group $G$ containing (as a dense subset) the image of a representation that maps Frobenius elements to conjugacy classes. When $X$ is an Artin motive, $G$ corresponds to the image of the Artin representation; when $X$ is an abelian variety over a number field, one can define $G$ in terms of an $\ell$-adic Galois representation attached to $X$.
For motives of even weight $w$ and degree $d$, the Sato-Tate group is a compact subgroup of the orthogonal group $\mathrm{O}(d)$. For motives of odd weight $w$ and even degree $d$, the Sato-Tate group is a compact subgroup of the unitary symplectic group $\mathrm{USp}(d)$. For motives $X$ arising as abelian varieties, the weight is always $w=1$ and the the degree is $d=2g$, where $g$ is the dimension of the variety.
The simplest case is when $X$ is an elliptic curve $E/\Q$, in which case $G$ is either $\mathrm{SU}(2)=\mathrm{USp}(2)$ (the generic case), or $G$ is $N(\mathrm{U}(1))$, the normalizer of the subgroup $\mathrm{U}(1)$ of diagonal matrices in $\mathrm{SU}(2)$, which contains $\mathrm{U}(1)$ with index 2.
The generalized Sato-Tate conjecture states that when ordered by norm, the sequence of images of Frobenius elements under this representation is equidistributed with respect to the pushforward of the Haar measure of $G$ onto its set of conjugacy classes. This is known for all elliptic curves over totally real number fields (including $\mathbb{Q}$) or CM fields.
- Review status: reviewed
- Last edited by Andrew Sutherland on 2021-01-16 14:29:36
- ec.invariants
- ec.q.invariants
- g2c.st_group
- rcs
- rcs.cande.st_group
- rcs.source.st_group
- st_group.1.2.A.1.1a.top
- st_group.1.2.B.2.1a.bottom
- st_group.1.4.A.1.1a.top
- st_group.1.4.F.48.48a.bottom
- st_group.ambient
- st_group.component_group
- st_group.components
- st_group.connected
- st_group.data
- st_group.degree
- st_group.embedding
- st_group.first_a2_moment
- st_group.fourth_trace_moment
- st_group.generators
- st_group.hodge_circle
- st_group.identity_component
- st_group.label
- st_group.moment_matrix
- st_group.moment_simplex
- st_group.moments
- st_group.name
- st_group.probabilities
- st_group.rational
- st_group.real_dimension
- st_group.search_input
- st_group.second_trace_moment
- st_group.subgroups
- st_group.subsupgroups
- st_group.summary
- st_group.supgroups
- st_group.trace_moments
- st_group.trace_zero_density
- st_group.weight
- lmfdb/ecnf/main.py (line 456)
- lmfdb/ecnf/templates/ecnf-curve.html (line 161)
- lmfdb/elliptic_curves/elliptic_curve.py (line 441)
- lmfdb/elliptic_curves/templates/ec-curve.html (line 198)
- lmfdb/sato_tate_groups/main.py (line 1214)
- lmfdb/sato_tate_groups/main.py (line 1221)
- 2021-01-16 14:29:36 by Andrew Sutherland (Reviewed)
- 2021-01-01 15:27:05 by Andrew Sutherland
- 2021-01-01 15:26:53 by Andrew Sutherland
- 2019-05-02 23:26:44 by Kiran S. Kedlaya (Reviewed)
- 2019-05-02 23:24:49 by Kiran S. Kedlaya
- 2019-03-09 14:52:45 by Andrew Sutherland