Sato–Tate distribution (for families of elliptic curves)
E753156
The Sato–Tate distribution (for families of elliptic curves) is a probabilistic law describing how the normalized Frobenius traces (or equivalently, the angles in the Hasse bound) of elliptic curves are distributed, typically following a specific sine-squared measure on the interval [0, π].
All labels observed (1)
| Label | Occurrences |
|---|---|
| Sato–Tate distribution (for families of elliptic curves) canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T8733517 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
Target entity: Sato–Tate distribution (for families of elliptic curves) Context triple: [Hasse bound for elliptic curves, relatedConcept, Sato–Tate distribution (for families of elliptic curves)]
-
A.
Hasse bound for elliptic curves
The Hasse bound for elliptic curves is a fundamental result in number theory that gives tight limits on how far the number of points on an elliptic curve over a finite field can deviate from the size of the field plus one.
-
B.
Siegel’s theorem on zeros of L-functions
Siegel’s theorem on zeros of L-functions is a result in analytic number theory that gives strong bounds on how close nontrivial zeros of Dirichlet L-functions can approach 1, with deep implications for the distribution of primes in arithmetic progressions.
-
C.
Artin’s conjecture on L-functions
Artin’s conjecture on L-functions is a major unproven hypothesis in number theory asserting that nontrivial Artin L-functions associated to Galois representations are entire, with deep implications for the distribution of primes and the structure of number fields.
-
D.
Birch and Swinnerton-Dyer Conjecture
The Birch and Swinnerton-Dyer Conjecture is a central unsolved problem in number theory that predicts a deep connection between the arithmetic of rational points on an elliptic curve and the behavior of its associated L-function at a specific value.
-
E.
Chebotarev density theorem
The Chebotarev density theorem is a fundamental result in algebraic number theory that generalizes the prime number theorem to describe how often primes in a number field have a given Frobenius conjugacy class in its Galois group.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
Target entity: Sato–Tate distribution (for families of elliptic curves) Target entity description: The Sato–Tate distribution (for families of elliptic curves) is a probabilistic law describing how the normalized Frobenius traces (or equivalently, the angles in the Hasse bound) of elliptic curves are distributed, typically following a specific sine-squared measure on the interval [0, π].
-
A.
Hasse bound for elliptic curves
The Hasse bound for elliptic curves is a fundamental result in number theory that gives tight limits on how far the number of points on an elliptic curve over a finite field can deviate from the size of the field plus one.
-
B.
Siegel’s theorem on zeros of L-functions
Siegel’s theorem on zeros of L-functions is a result in analytic number theory that gives strong bounds on how close nontrivial zeros of Dirichlet L-functions can approach 1, with deep implications for the distribution of primes in arithmetic progressions.
-
C.
Artin’s conjecture on L-functions
Artin’s conjecture on L-functions is a major unproven hypothesis in number theory asserting that nontrivial Artin L-functions associated to Galois representations are entire, with deep implications for the distribution of primes and the structure of number fields.
-
D.
Birch and Swinnerton-Dyer Conjecture
The Birch and Swinnerton-Dyer Conjecture is a central unsolved problem in number theory that predicts a deep connection between the arithmetic of rational points on an elliptic curve and the behavior of its associated L-function at a specific value.
-
E.
Chebotarev density theorem
The Chebotarev density theorem is a fundamental result in algebraic number theory that generalizes the prime number theorem to describe how often primes in a number field have a given Frobenius conjugacy class in its Galois group.
- F. None of above. chosen
Statements (49)
| Predicate | Object |
|---|---|
| instanceOf |
conjecture in number theory
ⓘ
probability distribution ⓘ theorem in arithmetic geometry ⓘ |
| angleDefinition | θ_p ∈ [0, π] with a_p(E) = 2√p cos θ_p ⓘ |
| appliesTo |
elliptic curves over number fields
ⓘ
elliptic curves over ℚ ⓘ families of elliptic curves ordered by conductor ⓘ families of elliptic curves ordered by height ⓘ |
| associatedWith |
Frobenius endomorphism
NERFINISHED
ⓘ
Hasse–Weil zeta function NERFINISHED ⓘ L-functions of elliptic curves ⓘ |
| assumes | non-CM elliptic curves for the classical form ⓘ |
| concerns | primes of good reduction ⓘ |
| densityFunction | (2/π) sin²(θ) dθ on [0, π] ⓘ |
| describes |
distribution of angles in the Hasse bound for elliptic curves
ⓘ
distribution of normalized Frobenius traces of elliptic curves ⓘ |
| excludes | primes of bad reduction ⓘ |
| field |
algebraic geometry
ⓘ
arithmetic geometry ⓘ automorphic forms ⓘ number theory ⓘ |
| generalizedBy |
Sato–Tate conjecture for motives
NERFINISHED
ⓘ
Sato–Tate groups for abelian varieties NERFINISHED ⓘ |
| hasVariant |
Sato–Tate distribution for CM elliptic curves
NERFINISHED
ⓘ
generalized Sato–Tate distributions for higher-dimensional abelian varieties ⓘ |
| implies |
moments of Frobenius traces match those of SU(2)
ⓘ
statistical regularity of point counts of elliptic curves modulo primes ⓘ |
| measureOn | conjugacy classes of SU(2) ⓘ |
| measureType | Haar measure on SU(2) pushed forward to [0, π] ⓘ |
| namedAfter |
John Tate
NERFINISHED
ⓘ
Mikio Sato NERFINISHED ⓘ |
| normalization | normalized Frobenius trace a_p(E)/(2√p) ⓘ |
| parameterization | a_p(E) = 2√p cos θ_p ⓘ |
| predicts | equidistribution of angles θ_p with respect to (2/π) sin²(θ) dθ ⓘ |
| proofYear | around 2006–2008 for elliptic curves over ℚ without CM ⓘ |
| provedBy |
Laurent Clozel
NERFINISHED
ⓘ
Michael Harris NERFINISHED ⓘ Nicholas Shepherd-Barron NERFINISHED ⓘ Richard Taylor NERFINISHED ⓘ |
| relatedConcept |
Chebotarev density theorem
NERFINISHED
ⓘ
Langlands program NERFINISHED ⓘ Sato–Tate conjecture NERFINISHED ⓘ equidistribution of Frobenius conjugacy classes ⓘ |
| relatedTo | Hasse bound |a_p(E)| ≤ 2√p NERFINISHED ⓘ |
| status |
open in full generality for all motives
ⓘ
proved for many elliptic curves over totally real fields ⓘ |
| support | interval [0, π] ⓘ |
| uses |
modularity of elliptic curves over ℚ
ⓘ
potential automorphy of symmetric power L-functions ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Subject: Sato–Tate distribution (for families of elliptic curves) Description of subject: The Sato–Tate distribution (for families of elliptic curves) is a probabilistic law describing how the normalized Frobenius traces (or equivalently, the angles in the Hasse bound) of elliptic curves are distributed, typically following a specific sine-squared measure on the interval [0, π].
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.