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

The trace zero density of a Sato-Tate group is the probability that a randomly sampled element (chosen according to the Haar measure) has trace zero.

On each component of a Sato-Tate group, the trace is either constant and equal to zero, or varies continuously taking each particular value with probability zero; so this probability is simply the ratio of the number of components on which the trace is identically zero to the total number of components.

Authors:
Knowl status:
• Review status: reviewed
• Last edited by Kiran S. Kedlaya on 2019-04-20 16:11:50
Referred to by:
History:
Differences