arXiv subjects

Yih-Dar Shieh

Publications and source records attributed to Yih-Dar Shieh.

3 recordsLinked to original sources

arXiv2020

On Sato--Tate distributions, extremal traces, and real multiplication in genus 2

The vertical Sato--Tate conjectures gives expected trace distributions for for families of curves. We develop exact expression for the distribution associated to degree-$4$ representations of $\mathrm{USp}(4)$, $\mathrm{SU}(2)\times\mathrm{SU}(2)$ and $\mathrm{SU}(2)$ in the neighborhood of the extremities of the Weil bound. As a consequence we derive qualitative distinctions between the extremal traces arising from generic genus-$2$ curves and genus-$2$ curves with real or quaternionic multiplication. In particular we show, in a specific sense, to what extent curves with real multiplication dominate the contribution to extremal traces.

math.NT↗

arXiv2016

Character theory approach to Sato-Tate groups

In this article, we propose to use the character theory of compact Lie groups and their orthogonality relations for the study of Frobenius distribution and Sato-Tate groups. The results show the advantages of this new approach in several aspects. With samples of Frobenius ranging in size much smaller than the moment statistic approach, we obtain very good approximation to the expected values of these orthogonality relations, which give useful information about the underlying Sato-Tate groups and strong evidence of the correctness of the generalized Sato-Tate conjecture. In fact, $2^{10}$ to $2^{12}$ points provide satisfactory convergence. Even for $g = 2$, the classical approach using moment statistics requires about $2^{30}$ sample points to obtain such information.

math.NT↗

arXiv2016

Point Counting on Non-Hyperelliptic Genus 3 Curves with Automorphism Group $\mathbb{Z} / 2 \mathbb{Z}$ using Monsky-Washnitzer Cohomology

We describe an algorithm to compute the zeta function of any non-hyperelliptic genus 3 plane curve $C$ over a finite field with automorphism group $G = \mathbb{Z} / 2 \mathbb{Z}$. This algorithm computes in the Monsky-Washnitzer cohomology of~the curve. Using the relation between the Monsky-Washnitzer cohomology of $C$ and its quotient $E := C/G$, the computation splits into 2 parts: one in a subspace of the Monsky-Washnitzer cohomology and a second which reduces to the point counting on an elliptic curve $E$. The former corresponds to the dimension $2$ abelian surface $\mathrm{ker}(\mathrm{Jac}(C) \rightarrow E)$, on which we can compute with lower precision and with matrices of smaller dimension. Hence we obtain a faster algorithm than working directly on the curve $C$.

math.AG↗