Let $p$ be a prime, and $q$ a power of $p$. Using Galois theory, we show that over a field $K$ of characteristic zero, the endomorphism algebras of the jacobians of certain superelliptic curves $y^q=f(x)$ are products of cyclotomic fields.
We give a structure theorem for the $m$-torsion of the Jacobian of a general superelliptic curve $y^m=F(x)$. We study existence of torsion on curves of the form $y^q=x^p-x+a$ over finite fields of characteristic $p$. We apply those results to bound from below the Mordell-Weil ranks of Jacobians of certain superelliptic curves over $\mathbb Q$.
Let K be a field of characteristic zero, n>4 an integer, f(x) an irreducible polynomial over K of degree n, whose Galois group is doubly transitive simple non-abelian group. Let p be an odd prime, Z[ζ_p] the ring of integers in the p-th cyclotomic field, C_{f,p}:y^p=f(x) the corresponding superelliptic curve and J(C_{f,p}) its jacobian. Assuming that either n=p+1 or p does not divide n(n-1), we prove that the ring of all endomorphisms of J(C_{f,p}) coincides with Z[ζ_p].
In this paper we study the Coleman-Oort conjecture for superelliptic curves, i.e., curves defined by affine equations $y^n=F(x)$ with $F$ a separable polynomial. We prove that up to isomorphism there are at most finitely many superelliptic curves of fixed genus $g\geq 8$ with CM Jacobians. The proof relies on the geometric structures of Shimura subvarieties in Siegel modular varieties and the stability properties of Higgs bundles associated to fibred surfaces.
Given a polynomial $f\in\mathbb{C}[x]$, we consider the family of superelliptic curves $y^d=f(x)$ and their Jacobians $J_d$ for varying integers $d$. We show that for any integer $g$ the number of abelian varieties up to isogeny of dimension $\le g$ which appear in any $J_d$ is finite and their multiplicities are bounded.
This is (mostly) a survey article. We use an information about Galois properties of points of small order on an abelian variety in order to describe its endomorphism algebra over an algebraic closure of the ground field. We discuss in detail applications to jacobians of cyclic covers of the projective line.
设$K$是特征为0的域,$p$是奇素数,$r$是正整数,$q=p^r$是素数幂。假设$f(x)$是一个次数为$n > 4$的多项式,系数在$K$中,没有重根。让我们考虑超椭圆曲线$C: y^q=f(x)$和它的雅可比$J(C)$。假设$K$是复数域的一个子域,我们研究了相应的复交换簇$J(C)$的(连通约化代数)Hodge群$Hdg$。在我们以前的论文(arXiv:0907.1563 [math.AG])中,我们研究了$Hdg. In this paper we study the semisimple part (commutator subgroup) of $ Hdg $. Assuming that $ p $ does not divide $ n $ and $ n-1 $ is not divisible by $ q $, the Galois group of $ f(x)$ over $ K $ is either the full symmetric group $ S_n $ or the alternating group $ A_n $, we prove that the semisimple part of $ Hdg$是“尽可能大”的中心.
Let $K$ be a field of prime characteristic $p$, $n>4 $ an integer, $f(x)$ an irreducible polynomial over $K$ of degree $n$, whose Galois group is either the full symmetric group $S_n$ or the alternating group $A_n$. Let $l$ be an odd prime different from $p$, $Z[ζ_l]$ the ring of integers in the $l$th cyclotomic field, $C_{f,l}:y^l=f(x)$ the corresponding superelliptic curve and $J(C_{f,l})$ its jacobian. We prove that the ring of all endomorphisms of $J(C_{f,l})$ coincides with $Z[ζ_l]$ if $J(C_{f,l})$ is an ordinary abelian variety and $(l,n)\ne (5,5)$.
In 2016, Yuri Zarhin gave formulas for "dividing a point on a hyperelliptic curve by 2." Given a point $P$ on a hyperelliptic curve $\mathcal{C}$, Zarhin gives the Mumford's representation of every degree $g$ divisor $D$ such that $2(D - g \infty) \sim P - \infty$. The aim of this paper is to generalize Zarhin's result to the superelliptic situation; instead of dividing by 2, we divide by $1 - ζ$. Even though there is no Mumford's representation for superelliptic curves, we give a formula for functions which cut out $D$.
We describe several improvements to algorithms for the rigorous computation of the endomorphism ring of the Jacobian of a curve defined over a number field.
Let $p$ be a prime, let $r$ and $q$ be powers of $p$, and let $a$ and $b$ be relatively prime integers not divisible by $p$. Let $C/\mathbb F_{r}(t)$ be the superelliptic curve with affine equation $y^b+x^a=t^q-t$. Let $J$ be the Jacobian of $C$. By work of Pries--Ulmer, $J$ satisfies the Birch and Swinnerton-Dyer conjecture (BSD). Generalizing work of Griffon--Ulmer, we compute the $L$-function of $J$ in terms of certain Gauss sums. In addition, we estimate several arithmetic invariants of $J$ appearing in BSD, including the rank of the Mordell--Weil group $J(\mathbb F_{r}(t))$, the Faltings …
Let $C$ be a curve of genus at least three defined over a number field, and let $r$ be the rank of the rational points of its Jacobian. Under mild hypotheses on $r$, recent results by Katz, Rabinoff, Zureick-Brown, and Stoll bound the number of rational points on $C$ by a constant that depends only on its genus. Yet one expects an even stronger bound that depends favorably on $r$: when $r$ is small, there should be fewer points on $C$. In a 2013 paper, Stoll established such a "rank-favorable" bound for hyperelliptic curves using Chabauty's method. In the present work we extend Stoll's results…
This paper is the first version of a project of classifying all superelliptic curves of genus $g \leq 48$ according to their automorphism group. We determine the parametric equations in each family, the corresponding signature of the group, the dimension of the family, and the inclussion among such families. At a later stage it will be determined the decomposition of the Jacobians and each locus in the moduli spaces of curves.
We describe an algorithm, based on the properties of the characteristic polynomials of Frobenius, to compute $\operatorname{End}_{\overline{K}}(A)$ when $A$ is the Jacobian of a nice genus-2 curve over a number field $K$. We use this algorithm to confirm that the description of the structure of the geometric endomorphism ring of $\operatorname{Jac}(C)$ given in the LMFDB ($L$-functions and modular forms database) is correct for all the genus 2 curves $C$ currently listed in it. We also discuss the determination of the field of definition of the endomorphisms in some special cases.
In [5], without giving a detailed proof, Yamauchi provided a formula to calculate the genus of a certain family of smooth complete intersection algebraic curves. That formula is used extensively in [1] to study the algebraic curves for which their Jacobian has superelliptic components. In this note, we determine the correct version of the genus formula with an algebraic proof. Then, we show that the formula given in [5] works only under certain conditions.
We give a quasihomogeneity criterion for Gorenstein curves. For complete intersections, it is related to the first step of Vasconcelos' normalization algorithm. In the process, we give a simplified proof of the Kunz-Ruppert criterion.
Given a polynomial $W$ with an isolated singularity, we can consider the Jacobian ring as an invariant of the singularity. If in addition we have a group action on the polynomial ring with $W$ fixed, we are led to consider the twisted Jacobian ring which reflects the equivariant structure as well. Our main result is to show that the twisted Jacobian ring is isomorphic to an endomorphism ring of the "twisted diagonal" matrix factorization. As an application, we suggest a way to investigate Floer theory of Lagrangian submanifolds which represent homological mirror functors.
In this work we consider constructions of genus three curves $X$ such that $\mathrm{End}(\mathrm{Jac} (X))\otimes Q$ contains the totally real cubic number field $Q(ζ_7 +\barζ_7 )$. We construct explicit three-dimensional families whose generic member is a nonhyperelliptic genus 3 curve with this property. The case when $X$ is hyperelliptic was studied in a previous work by Hoffman and Wang and some nonhyperelliptic curves were constructed in a previous paper by Hoffman, Z. Liang. Sakai and Wang.
In this work we consider constructions of genus three curves $X$ such that $\mathrm{End}(\mathrm{Jac}(X)) \otimes Q$ contains the totally real cubic number field $Q(ζ_ 7 + \overlineζ_7)$. We construct explicit two-dimensional families defined over $Q(s; t)$ whose generic member is a nonhyperelliptic genus 3 curve with this property. The case when X is hyperelliptic was studied by the authors Hoffman and Wang in a previous work. We calculate the zeta function of one of these curves. Conjecturally this zeta function is described by a modular form.
Let $G$ be a finite group acting effectively on the complex affine plane. If the $G$-action commutes with an étale endomorphism $f$ of the affine plane and the order of $G$ is even then the endomorphism $f$ is an automorphism.
We give practical numerical methods to compute the period matrix of a plane algebraic curve (not necessarily smooth). We show how automorphisms and isomorphisms of such curves, as well as the decomposition of their Jacobians up to isogeny, can be calculated heuristically. Particular applications include the determination of (generically) non-Galois morphisms between curves and the identification of Prym varieties.
Let $\ell$ be a rational prime and $k$ a number field. Given a superelliptic curve $C/k$ of $\ell$-power degree, we describe the field generated by the $\ell$-power torsion of the Jacobian variety in terms of the branch set and reduction type of $C$ (and hence, in terms of data determined by a suitable affine model of $C$). If the Jacobian is good away from $\ell$ and the branch set is defined over a pro-$\ell$ extension of $k(μ_{\ell^\infty})$ unramified away from $\ell$, then the $\ell$-power torsion of the Jacobian is rational over the maximal such extension. By decomposing the covering int…
We give uniformizations of the Klein quartic curve and the Fermat septic curve as Shimura curves parametrizing Abelian $6$-folds with endomorphisms $\ZZ[\z_7]$.
A curve over a field of characteristic $p$ is called ordinary if the $p$-torsion of its Jacobian as large as possible, that is, an $\mathbb{F}_p$ vector space of dimension equal to its genus. In this paper we consider the following question: fix a finite field $\mathbb{F}_q$ and a family $\mathscr{F}$ of curves over $\mathbb{F}_q$. Then, what is the probability that a curve in this family is ordinary? We answer this question when $\mathscr{F}$ is either the Artin-Schreier family in any characteristic or a superelliptic family in characteristic 2.
We study the Selmer varieties of smooth projective curves of genus at least two defined over $\mathbb{Q}$ which geometrically dominate a curve with CM Jacobian. We extend a result of Coates and Kim to show that Kim's non-abelian Chabauty method applies to such a curve. By combining this with results of Bogomolov-Tschinkel and Poonen on unramified correspondences, we deduce that any cover of $\mathbf{P}^1$ with solvable Galois group, and in particular any superelliptic curve over $\mathbb{Q}$, has only finitely many rational points over $\mathbb{Q}$.
Jedrzejewicz showed that a polynomial map over a field of characteristic zero is invertible, if and only if the corresponding endomorphism maps irreducible polynomials to irreducible polynomials. Furthermore, he showed that a polynomial map over a field of characteristic zero is a Keller map, if and only if the corresponding endomorphism maps irreducible polynomials to square-free polynomials. We show that the latter endomorphism maps other square-free polynomials to square-free polynomials as well. In connection with the above classification of invertible polynomial maps and the Jacobian Conj…
A polynomial endomorphism $σ\in {\rm End}_K(P_n)$ is called a Jacobian map if its Jacobian is a nonzero scalar (the field has zero characteristic). Each Jacobian map $σ$ is extended to an endomorphism $σ$ of the Weyl algebra $A_n$. The Jacobian Conjecture (JC) says that every Jacobian map is an automorphism. Clearly, the Jacobian Conjecture is true iff the twisted (by $σ$) $P_n$-module ${}^σ P_n$ is 1-generated for all Jacobian maps $σ$. It is shown that the $A_n$-module ${}^σ P_n$ is 1-generated for all Jacobian maps $σ$. Furthermore, the $A_n$-module ${}^σ P_n$ is holonomic and as a result h…
A smooth complex variety satisfies the Generalized Jacobian Conjecture if all its étale endomorphisms are proper. We study the conjecture for $\mathbb{Q}$-acyclic surfaces of negative Kodaira dimension. We show that $G$-equivariant counterexamples for infinite group $G$ exist if and only if $G=\mathbb{C}^*$ and we classify them relating them to Belyi-Shabat polynomials. Taking universal covers we get rational simply connected $\mathbb{C}^*$-surfaces of negative Kodaira dimension which admit non-proper $\mathbb{C}^*$-equivariant étale endomorphisms. We prove also that for every integers $r\geq …
The Jacobian Conjecture is stably equivalent to the Dixmier Conjecture
关于$n$维的雅可比猜想断言,在特征为零的域上,$n$维仿射空间的任何多项式自同态,当雅可比等于1时,都是可逆的。秩为$n$的Dixandian猜想断言$n$阶Weyl代数($n$变量中的多项式微分算子代数)的任何自同态都是可逆的。证明了维度$2n$上的Jacobian猜想蕴含秩$n$上的Dixmier猜想。再加上一个著名的相反方向的含义,它表明稳定的雅可比矩阵和Dixobian矩阵是等价的。证明的主要工具是有限特征化约。在论文完成后,我们了解到主要结果已经由Y.Tsuchimoto在Osaka Journal of Mathematics第42卷第2期(2005年6月)上发表。他的证明是不同的。