A curve X over Q 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 prove that for each g ≥ 2, the set of new modular curves over Q of genus g is finite and computable. For the computability result, we prove an algorithmic version of the de Franchis-Severi Theorem. Similar finiteness results are proved for new modular curves of bounded gonality, for new modular curves whose jacobian is a quotient of J 0 (N ) new with N divisible by a prescribed prime, and for modular curves (new or not) with levels in a restricted set. We study new modular hyperelliptic curves in detail. In particular, we find all new modular curves of genus 2 explicitly, and construct what might be the complete list of all new modular hyperelliptic curves of all genera. Finally we prove that for each field k of characteristic zero and g ≥ 2, the set of genus-g curves over k dominated by a Fermat curve is finite and computable. Curves and varieties in this paper are smooth, projective, and geometrically integral, unless otherwise specified. When we write an affine equation for a curve, its smooth projective model is implied.1 Question 1.12. Is it true that for every field k of characteristic zero, and every g ≥ 2, the set of k-modular curves over k of genus g up to k-isomorphism is finite?Remark 1.13. If X is a k-modular curve over k, and we define k 0 = k ∩ Q ⊆ k, then X = X 0 × k 0 k for some k 0 -modular curve X 0 . This follows from the de Franchis-Severi Theorem.Remark 1.14. If k and k ′ are fields of characteristic zero with [k ′ : k] finite, then a positive answer to Question 1.12 for k ′ implies a positive answer for k, since Galois cohomology and the finiteness of automorphism group of curves of genus at least 2 show that for each X ′ over k ′ , there are at most finitely many curves X over k with X × k k ′ ≃ X ′ . But it is not clear, for instance, that a positive answer for Q implies or is implied by a positive answer for Q. Recovering curve information from differentials2.1. Recovering a curve from partial expansions of its differentials. The goal of this section is to prove the following result, which will be used frequently in the rest of this paper.Proposition 2.1. Fix an integer g ≥ 2. There exists an integer B > 0 depending on g such that if k is a field of characteristic zero, and w 1 , . . . , w g are elements of k[[q]]/(q B ), then up to k-isomorphism, there exists at most one curve X over k such that there exist P ∈ X(k) and an analytic uniformizing parameter q in the completed local ringÔ X,P such that w 1 dq, . . . , w g dq are the expansions modulo q B of some basis of H 0 (X, Ω).Lemma 2.2. Let k be a field, and let X/k be a curve of genus g. Let P ∈ X(k) be a k-rational point, let F ∈ k[t 1 , . . . , t g ] be a homogeneous polynomial of degree d, and let q be an analytic uniformizing parameter inÔ X,P . Suppose we are given elements ω 1 , . . . , ω g ∈ H 0 (X, Ω), and for each i...
We present explicit models for non-elliptic genus one Shimura curves X 0 (D, N ) with Γ 0 (N )-level structure arising from an indefinite quaternion algebra of reduced discriminant D, and Atkin-Lehner quotients of them. In addition, we discuss and extend Jordan's work [10, Ch. III] on points with complex multiplication on Shimura curves.
Abstract. We study the set of isomorphism classes of principal polarizations on abelian varieties of GL 2 -type. As applications of our results, we construct examples of curves C, C ′ /Q of genus two which are nonisomorphic overQ and share isomorphic unpolarized modular Jacobian varieties over Q; we also show a method to obtain genus two curves over Q whose Jacobian varieties are isomorphic to Weil's restriction of quadratic Q-curves, and present examples.
Let C be an elliptic curve over Q and let ω denote its Néron differential (uniquely determined up to sign). According to a conjecture of Manin-Stevens, there is a modular parametrization π: X 1 ( N ) → C defined over Q such that the so-called Manin constant c (π) is equal to 1. The constant c (π) is defined by the equality π*(ω) = c (π) f ( q ) dq/q , where f is a normalized newform of weight 2 on Γ 1 ( N ). In this paper we propose a generalization of the Manin constant as a certain ideal (we call it the Manin ideal) attached to modular parametrizations of elliptic curves defined over number fields. We conjecture that its value is (1), generalizing Manin-Stevens, and show the Manin ideal to be an "integral" ideal involving only primes dividing twice the conductor. Motivated by the Manin ideal considerations, we first study several aspects of building blocks of modular abelian varieties and modular parametrizations of Q -curves. Some examples are included to provide numerical evidence of the generalized conjecture, and the paper also contains the analogous items on the Manin ideals for modular building blocks of higher dimension.
We derive equations for the modular curve X ns (11) associated to a non-split Cartan subgroup of GL 2 (F 11 ). This allows us to compute the automorphism group of the curve and show that it is isomorphic to Klein's four group.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.