Related papers: Tetragonal intermediate modular curves
We study the real components of modular curves. Our main result is an abstract group-theoretic description of the real components of a modular curve defined by a congruence subgroup of level N in terms of the corresponding subgroup of…
We describe an algorithm to compute the number of points over finite fields on a broad class of modular curves: we consider quotients $X_H/W$ for $H$ a subgroup of $\GL_2(\mathbb Z/n\mathbb Z)$ such that for each prime $p$ dividing $n$, the…
We determine all modular curves X(N) (with $N\geq 7$) which are hyperelliptic or bielliptic. We make available a proof that the automorphism group of X(N) coincides with the normalizer of $\Gamma(N)$ in $\operatorname{PSL}_2(\mathbb{R})$.
Let $n$ be an integer such that the modular curve $X_0(n)$ is hyperelliptic of genus $\ge2$ and such that the Jacobian of $X_0(n)$ has rank $0$ over $\mathbb Q$. We determine all points of $X_0(n)$ defined over quadratic fields, and we give…
Let $M$ be the moduli space of rank $2$ stable bundles with fixed determinant of degree $1$ on a smooth projective curve $C$ of genus $g\ge 2$. When $C$ is generic, we show that any elliptic curve on $M$ has degree (respect to…
Given a Mumford curve $X$ over $\bar{\mathbb Q_p}$, we show that for every semistable model $\mathcal X$ of $X$ and every closed point $x$ of this semistable model, there exists a finite \'etale cover $Y$ of $X$ such that every semistable…
We study the moduli of trigonal curves. We establish the exact upper bound of ${36(g+1)}/(5g+1)$ for the slope of trigonal fibrations. Here, the slope of any fibration $X\to B$ of stable curves with smooth general member is the ratio…
For a positive integer $N$, let $\mathscr C(N)$ be the subgroup of $J_0(N)$ generated by the equivalence classes of cuspidal divisors of degree $0$ and $\mathscr C(N)(\mathbb Q):=\mathscr C(N)\cap J_0(N)(\mathbb Q)$ be its $\mathbb…
Let $E:y^2=x^3+ax+b$ be an elliptic curve defined over $\mathbb{Q}$. We compute certain twists of the classical modular curves $X(8)$. Searching for rational points on these twists enables us to find non-trivial pairs of $8$-congruent…
We describe an algorithm for computing a $\Q$-rational model for the quotient of a modular curve by an automorphism group, under mild assumptions on the curve and the automorphisms, by determining $q$-expansions for a basis of the…
A general canonical curve X determines a finite set T(X) of hyperplanes, which is in bijective correspondence with the set of odd theta-characteristics of X. The definition of T(X) can be extended to certain singular curves, in a way that…
We give upper bounds on the genus of a curve with general moduli assuming that it can be embedded in a projective nonsingular surface $Y$ so that $\dim(|C|) > 0$. We find such bounds for all types of surfaces of intermediate Kodaira…
For each open subgroup $G$ of ${\rm GL}_2(\hat{\mathbb{Z}})$ containing $-I$ with full determinant, let $X_G/\mathbb{Q}$ denote the modular curve that loosely parametrizes elliptic curves whose Galois representation, which arises from the…
We study the minimal degrees and gonalities of curves on complete intersections. We prove a classical conjecture which asserts that the degree of any curve on a general complete intersection $X \subseteq \mathbb{P}^N$ cut out by polynomials…
We prove that every elliptic curve defined over a totally real number field of degree 4 not containing $\sqrt{5}$ is modular. To this end, we study the quartic points on four modular curves.
A curve X over the field Q of rational numbers is modular if it is dominated by X_1(N) for some N; if in addition the image of its jacobian in J_1(N) is contained in the new subvariety of J_1(N), then X is called a new modular curve. We…
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…
The modular degree m_E of an elliptic curve E/Q is the minimal degree of any surjective morphism X_0(N) -> E, where N is the conductor of E. We give a necessarily set of criteria for m_E to be odd. Specializing to N prime our results imply…
We determine, for an elliptic curve $E/\mathbb{Q}$, all the possible torsion groups $E(K)_{tors}$, where $K$ is the compositum of all $\mathbb{Z}_{p}$-extensions of $\mathbb{Q}$. Furthermore, we prove that for an elliptic curve…
It is known that to every 1|1 dimensional supercurve X there is associated a dual supercurve \hat{X}, and a superdiagonal \Delta in their product. We establish that the categories of D-modules on X, \hat{X}, and \Delta are equivalent. This…