For any positive integer $N$, we completely determine the structure of the rational cuspidal divisor class group of $X_0(N)$, which is conjecturally equal to the rational torsion subgroup of $J_0(N)$. More specifically, for a given prime $\ell$, we construct a rational cuspidal divisor $Z_\ell(d)$ for any non-trivial divisor $d$ of $N$. Also, we compute the order of the linear equivalence class of the divisor $Z_\ell(d)$ and show that the $\ell$-primary subgroup of the rational cuspidal divisor class group of $X_0(N)$ is isomorphic to the direct sum of the cyclic subgroups generated by the linear equivalence classes of the divisors $Z_\ell(d)$.
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 explicit basis for the group $F_1^\infty(N)$. This enables us to compute the group structure of the rational torsion subgroup $C_1^\infty(N)$ of the Jacobian $J_1(N)$ of $X_1(N)$ generated by the differences of the $\infty$-cusps. In addition, based on our numerical computation, we make a conjecture on the structure of the $p$-primary part of $C_1^\infty(p^n)$ for …
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) $ and estimate the order of growth of $ |\mathfrak{C}^+_{ns}(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 Divisor Class Group $\mathfrak{C}^+_{ns}(p^k)$ on $X^+_{ns}(p^k)$ is explicitly described as a module over the group ring $R = \mathbb{Z}[(\mathbb{Z}/p^k\mathbb{Z})^*/\{\pm 1\}]$. In this paper I give a formula involving generalized Bernoulli numbers $B_{2,χ}$ for $|\mathfrak{C}^+_{ns}(p^k)|$.
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$.
Let $A$ be an elliptic curve over $\Q$ of square free conductor $N$. We prove that if $A$ has a rational torsion point of prime order $r$ such that $r$ does not divide $6N$, then $r$ divides the order of the cuspidal subgroup of $J_0(N)$.
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 Q$-rational subgroup. Let also $\mathscr C_{\mathbb Q}(N)$ be the subgroup of $\mathscr C(N)(\mathbb Q)$ generated by $\mathbb Q$-rational cuspidal divisors. We prove that when $N=n^2M$ for some integer $n$ dividing $24$ and some squarefree integer $M$, the two groups $\mathscr C(N)(\mathbb Q)$ and $\mathscr C_{\mathbb Q}(N)$ are equal. To achieve this, we show that…
In [6], Kohnen proves that if $Γ=Γ_0(N)$ where $N$ is a square-free integer, then any modular function of weight $0$ for $Γ$ having a divisor supported at the cusps is an $η$-product. Under the condition of having rational Fourier coefficients, we are able to extend Kohnen's result to the case where $N$ is the square of a prime. If the rationality condition does not hold, we show that the statement is no longer true by providing a family of counter-examples that generalizes naturally the Dedekind $η$-function. This paper fits within the framework of generalized modular forms in the sense of Kn…
We consider the generalized Jacobian $\widetilde{J}_0(N)$ of a modular curve $X_0(N)$ with respect to a reduced divisor given by the sum of all cusps on it. When $N$ is a power of a prime $\geq 5$, we exhibit that the group of rational torsion points $\widetilde{J}_0(N)(\mathbb{Q})_{\mathrm{Tor}}$ tends to be much smaller than the classical Jacobian.
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 subgroup of $J_0(N)$. We prove that two groups $\mathscr{C}_N(\mathbb{Q})$ and $\mathscr{C}(N)$ are equal when $N=p^2M$ for any prime $p$ and any squarefree integer $M$. To achieve this we show that all modular units on $X_0(N)$ can be written as products of certain functions $F_{m, h}$, which are constructed from generalized Dedekind eta functions. Also, we deter…
Rational points in the boundary of a hyperbolic curve over a field with sufficiently nontrivial Kummer theory are the source for an abundance of sections of the fundamental group exact sequence. We follow and refine Nakamura's approach towards these boundary sections. For example, we obtain a weak anabelian theorem for hyperbolic genus 0 curves over quite general fields including for example the maximal abelian extension of the rational numbers.
We propose a conjectural explicit isogeny from the Jacobians of hyperelliptic Drinfeld modular curves to the Jacobians of hyperelliptic modular curves of $\mathcal{D}$-elliptic sheaves. The kernel of the isogeny is a subgroup of the cuspidal divisor group constructed by examining the canonical maps from the cuspidal divisor group into the component groups.
Let $N$ be a non-squarefree positive integer and let $\ell$ be an odd prime such that $\ell^2$ does not divide $N$. Consider the Hecke ring $\mathbb{T}(N)$ of weight $2$ for $Γ_0(N)$, and its rational Eisenstein primes of $\mathbb{T}(N)$ containing $\ell$, defined in Section 3. If $\mathfrak{m}$ is such a rational Eisenstein prime, then we prove that $\mathfrak{m}$ is of the form $(\ell, ~\mathcal{I}^D_{M, N})$, where the ideal $\mathcal{I}^D_{M, N}$ of $\mathbb{T}(N)$ is also defined in Section 3. Furthermore, we prove that $\mathcal{C}(N)[\mathfrak{m}] \neq 0$, where $\mathcal{C}(N)$ is the …
Let $\mathcal{C}_N$ be the cuspidal subgroup of the Jacobian $J_0(N)$ for a square-free integer $N>6$. For any Eisenstein maximal ideal $\mathfrak{m}$ of the Hecke ring of level $N$, we show that $\mathcal{C}_N[\mathfrak{m}]\neq 0$. To prove this, we calculate the index of an Eisenstein ideal $\mathcal{I}$ contained in $\mathfrak{m}$ by computing the order of a cuspidal divisor annihilated by $\mathcal{I}$.
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 modular forms. We discuss possible limitations to this extension and pose questions about possible zeroes for modular forms of prime level.
We give bounds on the degree of generation and relations of section rings associated to arbitrary $\mathbb{Q}$-divisors on projective spaces of all dimensions and Hirzebruch surfaces. For section rings of effective $\mathbb{Q}$-divisors on projective spaces, we find the best possible bound on the degrees of generators and relations.
Let $k$ be a field with algebraic closure $\bar{k}$ and $D \subset \mathbb{P}^{1}_{\bar{k}}$ a reduced, effective divisor of degree $n \ge 3$, write $k(D)$ for the field of moduli of $D$. A. Marinatto proved that when $n$ is odd, or $n = 4$, $D$ descends to a divisor on $\mathbb{P}^{1}_{k(D)}$. We analyze completely the problem of when $D$ descends to a divisor on a smooth, projective curve of genus $0$ on $k(D)$, possibly with no rational points. In particular, we study the remaining cases $n \ge 6$ even, and we obtain conceptual proofs of Marinatto's results and of a theorem by B. Huggins ab…
We construct certain rational functions (modular units) on the moduli stack of Drinfeld shtukas. The divisors of these rational functions are supported on horospherical divisors of the moduli stack. The key to our construction is a vanishing theorem for shtukas with zeros and poles satisfying certain conditions. Using deformation theory, we calculate the divisors of these rational functions.
When we have a morphism f : P^n -> P^n, then we have an inequality \frac{1}{°f} h(f(P)) +C > h(P) which provides a good upper bound of $h(P)$. However, if $f$ is a rational map, then \frac{1}{°f} h(f(P))+C cannot be an upper bound of h(P). In this paper, we will define the $D$-ratio of a rational map $f$ which will replace the degree of a morphism in the height inequality of h(P).
Let $Γ$ be the Fuchsian group of the first kind. For an even integer $m\ge 4$, we study $m/2$-holomorphic differentials in terms of space of (holomorphic) cuspidal modular forms $S_m(Γ)$. We also give in depth study of Wronskians of cuspidal modular forms and their divisors.
Let $\frak{n}$ be a square-free ideal of $\mathbb{F}_q[T]$. We study the rational torsion subgroup of the Jacobian variety $J_0(\frak{n})$ of the Drinfeld modular curve $X_0(\frak{n})$. We prove that for any prime number $\ell$ not dividing $q(q-1)$, the $\ell$-primary part of this group coincides with that of the cuspidal divisor class group. We further determine the structure of the $\ell$-primary part of the cuspidal divisor class group for any prime $\ell$ not dividing $q-1$.
Cuspidal subgroups associated with non-rational Eisenstein maximal ideals
Indian Institute of Science Education and Research Pune（印度科学教育研究所浦那分校）；Indian Institute of Technology Hyderabad（印度理工学院海德拉巴分校）；Indian Institute of Technology Madras（印度理工学院马德拉斯分校）；Institut für Mathematik, Universität Heidelberg（海德堡大学数学研究所）
Let $\ell$ be a prime and let $n\geq 1$. In this note we show that if there is a non-cuspidal, non-CM isolated point $x$ with a rational $j$-invariant on the modular curve $X_1(\ell^n)$, then $\ell=37$ and the $j$-invariant of $x$ is either $7\cdot11^3$ or $-7.137^3\cdot2083^3$. The reverse implication holds for the first j-invariant but it is currently unknown whether or not it holds for the second.
We prove three main results: all Langlands-Shahidi automorphic $L$-functions over function fields are rational; after twists by highly ramified characters our automorphic $L$-functions become polynomials; and, if $π$ is a globally generic cuspidal automorphic representation of a split classical group or a unitary group ${\bf G}_n$ and $τ$ a cuspidal (unitary) automorphic representation of a general linear group, then $L(s,π\times τ)$ is holomorphic for $\Re(s) > 1$ and has at most a simple pole at $s=1$. We also prove the holomorphy and non-vanishing of automorphic exterior square, symmetric s…
We consider a problem posed by Shparlinski, of giving nontrivial bounds for rational exponential sums over the arithmetic function $τ(n)$, counting the number of divisors of $n$. This is done using some ideas of Sathe concerning the distribution in residue classes of the function $ω(n)$, counting the number of prime factors of $n$, to bring the problem into a form where, for general modulus, we may apply a bound of Bourgain concerning exponential sums over subgroups of finite abelian groups and for prime modulus some results of Korobov and Shkredov.
For any positive integer $N$, we prove that the rational torsion subgroup of $J_0(N)$ agrees with its rational cuspidal subgroups up to a factor of $6N\prod_{p\mid N}(p^2-1)$. Moreover, for modular Jacobians of the form $J_0(DC)$ with $D$ a positive square-free integer and $C$ any positive divisor of $D$, we prove that the $ψ$-part of the torsion subgroup of $J_0(DC)$ agrees with the $ψ$-part of its cuspidal subgroup up to a factor of $6D\prod_{p\mid D}(p^2-1)$, where $ψ$ is any quadratic character of conductor dividing $C$.
Assume Vojta's Conjecture. Suppose $a, b, α,β\in \mathbb{Z}$, and $f(x),g(x) \in \mathbb{Z}[x]$ are polynomials of degree $d \ge 2$. Assume that the sequence $(f^{\circ n}(a), g^{\circ n}(b))_n$ is generic and $α,β$ are not exceptional for $f,g$ respectively, we prove that for each given $\varepsilon > 0$, there exists constant $C = C(\varepsilon,a,b,α,β,f,g)>0$, such that for all $n \ge 1$, we have $$\gcd(f^{\circ n}(a)-α, g^{\circ n}(b) -β) \le C\cdot\exp({\varepsilon\cdot d^n}). $$ We prove an estimate for rational functions and for a more general gcd and then obtain the above inequality as…
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)$ and the cuspidal group of $J_0(3p)$, respectively. We prove that the $3$-primary subgroups of $\mathcal{T}(3p)$ and $\mathcal{C}(3p)$ coincide unless $p\equiv 1 \pmod 9$ and $3^{\frac{p-1}{3}} \equiv 1 \!\pmod {p}$.
We study the rational torsion subgroup of the modular Jacobian $J_0(N)$ for $N$ a square-free integer. We give a new proof of a result of Ohta on a generalization of Ogg's conjecture: for a prime number $p \nmid 6N$, the $p$-primary part of the rational torsion subgroup equals that of the cuspidal subgroup. Whereas previous proofs of this result used explicit computations of the cardinalities of these groups, we instead use their structure as modules for the Hecke algebra.
Let $D$ be an odd square-free positive integer and $C$ a divisor of $D$. For any quadratic character $χ$ modulo $C$, we prove that the $χ$-part of the group $J_0(DC)_\text{tor}$ of torsion points of $J_0(DC)$ coincides with the $χ$-part of its cuspidal subgroup, away from those primes of bad reduction or where possible congruences between oldforms and newforms occur.
The modularity theorem implies that for every elliptic curve $E /\mathbb{Q}$ there exist rational maps from the modular curve $X_0(N)$ to $E$, where $N$ is the conductor of $E$. These maps may be expressed in terms of pairs of modular functions $X(z)$ and $Y(z)$ where $X(z)$ and $Y(z)$ satisfy the Weierstrass equation for $E$ as well as a certain differential equation. Using these two relations, a recursive algorithm can be used to calculate the $q$ - expansions of these parametrizations at any cusp. %These functions are algebraic over $\mathbb{Q}(j(z))$ and satisfy modular polynomials where e…
Let $b \geq 2$ be an integer and $S$ be a finite non-empty set of primes not containing divisors of $b$. For any non-dense set $A \subset [0,1)$ such that $A \cap \mathbb{Q}$ is invariant under $\times b$ operation, we prove the finiteness of rational numbers in $A$ whose denominators can only be divided by primes in $S$. A quantitative result on the largest prime divisors of the denominators of rational numbers in $A$ is also obtained.
