We study hyperelliptic curves arising from Chebyshev polynomials. The aim of this paper is to characterize the pairs $(q,d)$ such that the hyperelliptic curve $\cC$ over a finite field $\FF_{q^2}$ corresponding to the equation $y^2 = φ_{d}(x)$ is maximal over the finite field $\FF_{q^2}$ of cardinality $q^2$. Here $φ_{d}(x)$ denotes the Chebyshev polynomial of degree $d$. The same question is studied for the curves corresponding to $y^2=(x\pm 2) φ_{d}(x)$, and also for $y^2=(x^2-4)φ_d(x)$.
In this paper, we study a Howe curve $C$ in positive characteristic $p \geq 3$ which is of genus 3 and is hyperelliptic. We will show that if $C$ is superspecial, then its standard form is maximal or minimal over $\mathbb{F}_{p^2}$ without taking its $\mathbb{F}_{p^2}$-form.
We analyze complex multiplication for Jacobians of curves of genus 3, as well as the resulting Shimura class groups and their subgroups corresponding to Galois conjugation over the reflex field. We combine our results with numerical methods to find CM fields $K$ for which there exist both hyperelliptic and non-hyperelliptic curves whose Jacobian has complex multiplication by $\mathbb{Z}_K$. More precisely, we find all sextic CM fields $K$ in the LMFDB for which (heuristically) Jacobians of both types with CM by $\mathbb{Z}_K$ exist. There turn out to be 14 such fields among the 547,156 sextic …
In this article, we show that in each of four standard families of hyperelliptic curves, there is a density-$1$ subset of members with the property that their Jacobians have adelic Galois representation with image as large as possible. This result constitutes an explicit application of a general theorem on arbitrary rational families of abelian varieties to the case of families of Jacobians of hyperelliptic curves. Furthermore, we provide explicit examples of hyperelliptic curves of genus $2$ and $3$ over $\mathbb Q$ whose Jacobians have such maximal adelic Galois representations.
We study the locus of tropical hyperelliptic curves inside the moduli space of tropical curves of genus g. We define a harmonic morphism of metric graphs and prove that a metric graph is hyperelliptic if and only if it admits a harmonic morphism of degree 2 to a metric tree. This generalizes the work of Baker and Norine on combinatorial graphs to the metric case. We then prove that the locus of 2-edge-connected genus g tropical hyperelliptic curves is a (2g-1)-dimensional stacky polyhedral fan whose maximal cells are in bijection with trees on g-1 vertices with maximum valence 3. Finally, we s…
We introduce and study the dynamics of Chebyshev polynomials on $d>2$ real intervals. We define isoharmonic deformations as a natural generalization of the Chebyshev dynamics. This dynamics is associated with a novel class of constrained isomonodromic deformations for which we derive the constrained Schlesinger equations. We provide explicit solutions to these equations in terms of differentials on an appropriate family of hyperelliptic curves of any genus $g=d-1\ge 2$. The verification of the obtained solutions relies on the combinatorial properties of the Bell polynomials and on the analysis…
{\it $(N,γ)$-hyperelliptic} semigroups were introduced by Fernando Torres to encapsulate the most salient properties of Weierstrass semigroups associated to totally-ramified points of $N$-fold covers of curves of genus $γ$. Torres characterized $(2,γ)$-hyperelliptic semigroups of maximal weight whenever their genus is large relative to $γ$. Here we do the same for $(3,γ)$-hyperelliptic semigroups, and we formulate a conjecture about the general case whenever $N \geq 3$ is prime.
The geometry of the Fano scheme of maximal linear spaces contained in the base locus of a pencil of quadrics has been studied by algebraic geometers when the base field is algebraically closed. In this paper, we work over an arbitrary base field of characteristic not equal to 2 and show how these Fano schemes are related to the Jacobians of hyperelliptic curves. In particular, if $B$ is the base locus of a generic pencil of quadrics in $\bbp^{2n+1}$, and $F$ is the Fano variety of $n - 1$ planes contained in $B$, then $F$ is a component of a disconnected commutative algebraic group $G = \picz(…
We study families of n-gonal curves with maximal variation of moduli, which have a rational section. Certain numerical results on the degree of the modular map are obtained for such families of hyperelliptic and trigonal curves. In the last case we use the description of the relative Picard group of the universal family of trigonal curves.
We study the solution set to multivariate Chebyshev approximation problem, focussing on the ill-posed case when the uniqueness of solutions can not be established via strict polynomial separation. We obtain an upper bound on the dimension of the solution set and show that nonuniqueness is generic for the ill-posed problems on discrete domains. Moreover, given a prescribed set of points of minimal and maximal deviation we construct a function for which the dimension of the set of best approximating polynomials is maximal for any choice of domain. We also present several examples that illustrate…
Given a pair of translation surfaces it is very difficult to determine whether they are supported on the same algebraic curve. In fact, there are very few examples of such pairs. In this note we present infinitely many examples of finite collections of translation surfaces supported on the same algebraic curve. The underlying curves are hyperelliptic curves with many automorphisms. For each curve, the automorphism of maximal order acts on the space of holomorphic 1-forms. We present a translation surface corresponding to each of the eigenforms of this action.
Let $k$ be a number field, and let $S$ be a finite set of maximal ideals of the ring of integers of $k$. In his 1962 ICM address, Shafarevich asked if there are only finitely many $k$-isomorphism classes of algebraic curves of a fixed genus $g\ge 1$ with good reduction outside $S$. He verified this for $g=1$ by reducing the problem to Siegel's theorem. Parshin extended this argument to all hyperelliptic curves (cf. also the work of Oort). The general case was settled by Faltings' celebrated work. In this note we give a short proof of Shafarevich's conjecture for hyperelliptic curves, by reduci…
The number $N_9(5)$, the maximal number of $\mathbb{F}_9$-rational points on curves over $\mathbb{F}_9$ of genus $5$ is unknown, but it is known that $32 \le N_9(5)\le 35$. In this paper, we enumerate hyperelliptic curves and trigonal curves over $\mathbb{F}_3$ which have many $\mathbb{F}_9$-rational points (and $\mathbb{F}_3$-rational points), especially the maximal number of $\mathbb{F}_9$-rational points of those curves is $30$. Kudo-Harashita studied the nonhyperelliptic and nontrigonal case,where they found a new example of curves (over $\mathbb{F}_3$) of genus five which attains $32$ and…
This paper presents algorithmic approaches to study superspecial hyperelliptic curves. The algorithms proposed in this paper are: an algorithm to enumerate superspecial hyperelliptic curves of genus $g$ over finite fields $\mathbb{F}_q$, and an algorithm to compute the automorphism group of a (not necessarily superspecial) hyperelliptic curve over finite fields. The first algorithm works for any $(g,q)$ such that $q$ and $2g+2$ are coprime and $q>2g+1$. As an application, we enumerate superspecial hyperelliptic curves of genus $g=4$ over $\mathbb{F}_{p}$ for $11 \leq p \leq 23$ and over $\math…
Given a sextic CM field $K$, we give an explicit method for finding all genus 3 hyperelliptic curves defined over $\mathbb{C}$ whose Jacobians are simple and have complex multiplication by the maximal order of this field, via an approximation of their Rosenhain invariants. Building on the work of Weng, we give an algorithm which works in complete generality, for any CM sextic field $K$, and computes minimal polynomials of the Rosenhain invariants for any period matrix of the Jacobian. This algorithm can be used to generate genus 3 hyperelliptic curves over a finite field $\mathbb{F}_p$ with a …
We complete the computation of all $\mathbb{Q}$-rational points on all the $64$ maximal Atkin-Lehner quotients $X_0(N)^*$ such that the quotient is hyperelliptic. To achieve this, we use a combination of various methods, namely the classical Chabauty--Coleman, elliptic curve Chabauty, quadratic Chabauty, and the bielliptic quadratic Chabauty method combined with the Mordell-Weil sieve. Additionally, for square-free levels $N$, we classify all $\mathbb{Q}$-rational points as cusps, CM points (including their CM field and $j$-invariants) and exceptional ones. We further indicate how to use this …
We present a quasi-linear algorithm to compute isogenies between Jacobians of curves of genus 2 and 3 starting from the equation of the curve and a maximal isotropic subgroup of the l-torsion, for l an odd prime number, generalizing the Vélu's formula of genus 1. This work is based from the paper "Computing functions on Jacobians and their quotients" of Jean-Marc Couveignes and Tony Ezome. We improve their genus 2 case algorithm, generalize it for genus 3 hyperelliptic curves and introduce a way to deal with the genus 3 non-hyperelliptic case, using algebraic theta functions.
Let G be the separable Galois group of a finite field F of characteristic p, and X/F an imaginary hyperelliptic curve such that G acts transitively on its set W(X) of Weierstrass points. The existence of a G-invariant 2-torsion point on the Jacobian J(X) of X depends only on the parity of |W(X)|, but for large enough |F|, there exist two such curves X and X' with |W(X)|=|W(X')|, such that J(X) has (and J(X') does not have) a G-invariant 4-torsion point. The problem is equivalent to a study of the 2-,4- and 8-rank of the class number of the maximal order in the function field of such curves, an…
Let $\mathbb{P}^1$ and $(X,q)$ denote, respectively, the projective line and a fixed elliptic curve marked at its origin, both defined over an algebraically closed field $\mathbb{K}$ of arbitrary characteristic $\emph{\textbf{p}} \neq2$. We will consider all finite separable marked morphisms $π:(Γ,p)\rightarrow (X,q)$, such that $Γ$ is a degree-$2$ cover of $ \mathbb{P}^1$, ramified at the smooth point $p \in Γ$. Canonically associated to $π$ there is the Abel (rational) embedding of $Γ$ into its \emph{generalized Jacobian}, $A_p: Γ\to Jac\,Γ$, and $\{0\} \subsetneq V^1_{Γ,p}...\subsetneq V ^g…
Let k=F_q be a finite field of characteristic 2. A genus 3 curve C/k has many involutions if the group of k-automorphisms admits a C_2\times C_2 subgroup H (not containing the hyperelliptic involution if C is hyperelliptic). Then C is an Artin-Schreier cover of the three elliptic curves obtained as the quotient of C by the nontrivial involutions of H, and the Jacobian of C is k-isogenous to the product of these three elliptic curves. In this paper we exhibit explicit models for genus 3 curves with many involutions, and we compute explicit equations for the elliptic quotients. We then character…
Catanese and Tonoli showed that the maximal cardinality for an even set of nodes on a sextic surface is 56 and they constructed such nodal surfaces. In this paper we give an alternative, rather simple, construction for these surfaces starting from a non-hyperelliptic genus three curve. We illustrate our method by giving explicitly the equation of such a sextic surface starting from the Klein curve.
In this article we study rational curves with a unique unibranch genus-$g$ singularity, which is of {\it $\ka$-hyperelliptic} type in the sense of \cite{To}; we focus on the cases $\ka=0$ and $\ka=1$, in which the semigroup associated to the singularity is of (sub)maximal weight. We obtain a partial classification of these curves according to the linear series they support, the scrolls on which they lie, and their gonality.
Brodsky, Joswig, Morrison and Sturmfels showed that not all abstract tropical curves of genus $3$ can be realized as a tropicalization of a quartic in the euclidean plane. In this article, we focus on the interior of the maximal cones in the moduli space and classify all curves which can be realized as a faithful tropicalization in a tropical plane. Reflecting the algebro-geometric world, we show that these are exactly those which are not realizably hyperelliptic. Our approach is constructive: For any not realizably hyperelliptic curve, we explicitly construct a realizable model of the tropica…
Given a smooth non-hyperelliptic curve C of genus 3 and a maximal isotropic subgroup (w.r.t. the Weil pairing) L in Jac(C)[2], there exists a smooth curve C' s.t. Jac(C')=Jac(C)/L. This construction is symmetric. i.e. if we start with C' and the dual flag on it, we get C. A previous less explicit approach was taken by Donagi and Livne. The advantage of our construction is that it is explicit enough to describe the isomorphism H^0(C,K_C)=H^0(C',K_C').
For a given genus $g \geq 1$, we give lower bounds for the maximal number of rational points on a smooth projective absolutely irreducible curve of genus $g$ over ${\mathbb F}_q$. As a consequence of Katz-Sarnak theory, we first get for any given $g>0$, any $\varepsilon>0$ and all $q$ large enough, the existence of a curve of genus $g$ over ${\mathbb F}_q$ with at least $1+q+ (2g-\varepsilon) \sqrt{q}$ rational points. Then using sums of powers of traces of Frobenius of hyperelliptic curves, we get a lower bound of the form $1+q+1.71 \sqrt{q}$ valid for $g \geq 3$ and odd $q \geq 11$. Finally,…
Automorphisms of Plane Curves defined from Chebychev polynomials
Universidade Estadual de Campinas (UNICAMP)（坎皮纳斯州立大学）；Bernoulli Institute for Mathematics, Computer Science, and Artificial Intelligence（伯努利数学、计算机科学与人工智能研究所）
本文研究了由切比雪夫多项式定义的平面曲线的自同构群，确定了d=4及一般情况下2d=p^r+1或4d=p^r+1时的自同构群结构，并应用结果证明某些同 genus 的极大曲线不相等。
Let (A,λ) be a principally polarized abelian variety defined over a global field k, and let \Sha(A) be its Shafarevich-Tate group. Let \Sha(A)_\nd denote the quotient of \Sha(A) by its maximal divisible subgroup. Cassels and Tate constructed a nondegenerate pairing \Sha(A)_\nd \times \Sha(A)_\nd \rightarrow \Q/\Z. If A is an elliptic curve, then by a result of Cassels the pairing is alternating. But in general it is only antisymmetric. Using some new but equivalent definitions of the pairing, we derive general criteria deciding whether it is alternating and whether there exists some alternatin…
