Related papers: Modular Units on $X_{1}( p)$ and Quotients of the …
In this article, we consider the group $F_1^\infty(N)$ of modular units on $X_1(N)$ that have divisors supported on the cusps lying over $\infty$ of $X_0(N)$, called the $\infty$-cusps. For each positive integer $N$, we will give an…
Let $\mathcal{C}(\mathfrak{p}^r)$ be the rational cuspidal divisor class group of the Drinfeld modular curve $X_0(\mathfrak{p}^r)$ for a prime power level $\mathfrak{p}^r\in \mathbb{F}_q[T]$. We relate the rational cuspidal divisors of…
For a fixed prime $p$ congruent to $1$ modulo $4$ we may define the modular curve $X_{H}\left( p \right)$ associated to the subgroup of non-zero squares modulo $p$. This curve has four cusps and we consider the subgroup of the Jacobian…
In this article, we determine the structure of the $p$-primary subgroup of the cuspidal rational torsion subgroup of the Jacobian $J_1(p^n)$ of the modular curve $X_1(p^n)$ for a regular prime $p$.
I find an explicit description of modular units in terms of Siegel functions for the modular curves $X^+_{ns}(p^k)$ associated to the normalizer of a non-split Cartan subgroup of level $p^k$ where $p\not=2,3$ is a prime. The Cuspidal…
In this paper we describe a method for computing a basis for the space of weight $2$ cusp forms invariant under a non-split Cartan subgroup of prime level $p$. As an application we compute, for certain small values of $p$, explicit…
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…
The group of units modulo constants of an affine variety over an algebraically closed field is free abelian of finite rank. Computing this group is difficult but of fundamental importance in tropical geometry, where it is desirable to…
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 $p$ be a prime number such that the modular curve $X_0(p)$ has genus at least two. We show that the only points of the reduction mod $p$ of $X_0(p)$ with image in the reduction mod $p$ of $J_0(p)$ in the cuspidal group are the two…
Let $ \mathfrak{C}^+_{ns}(p) $ be the Cuspidal Divisor Class Group of the modular curves $X^+_{ns}(p) $ associated to the normalizer of a non-split Cartan subgroup of level $ p$. I study the $ p-$primary part of $ \mathfrak{C}^+_{ns}(p) $…
In this paper, we extend previous results to prove that generalized modular forms with rational Fourier expansions whose divisors are supported only at the cusps and certain other points in the upper half plane are actually classical…
For a positive integer $N$, let $\mathscr{C}_N(\mathbb{Q})$ be the rational cuspidal subgroup of $J_0(N)$ and $\mathscr{C}(N)$ be the rational cuspidal divisor class group of $X_0(N)$, which are both subgroups of the rational torsion…
For a rational map $\phi: X \to G$ from a normal algebraic variety $X$ to a commutative algebraic group $G$, we define the modulus of $\phi$ as an effective divisor on $X$. We study the properties of the modulus. This work generalizes the…
We examine canonical bases for weakly holomorphic modular forms of weight $0$ and level $p = 2, 3, 5, 7, 13$ with poles only at the cusp at $\infty$. We show that many of the Fourier coefficients for elements of these canonical bases are…
Given a closed smooth manifold M which carries a positive scalar curvature metric, one can associate an abelian group P(M) to the space of positive scalar curvature metrics on this manifold. The group of all diffeomorphisms of the manifold…
Let $p$ be a prime greater than 3. Consider the modular curve $X_0(3p)$ over $\mathbb{Q}$ and its Jacobian variety $J_0(3p)$ over $\mathbb{Q}$. Let $\mathcal{T}(3p)$ and $\mathcal{C}(3p)$ be the group of rational torsion points on $J_0(3p)$…
We study stable vector bundles over the modular curve X(p) corresponding to the principal congruence subgroup of the modular group of prime level p which are invariant with respect to its automorphism group.
After a general discussion of group actions, orbifolds, and "weak orbifolds" this note will provide elementary introductions to two basic moduli spaces over the real or complex numbers: First the moduli space of effective divisors with…
We study the elliptic modular surface attached to the commutator subgroup of the modular group. This has an elliptic curve as base and only one singular fibre. We employ an algebraic approach and then consider some arithmetic questions.