Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userThe rational cuspidal subgroup of $J_0(p^2M)$ with $M$ squarefree
158
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
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 determine the necessary and sufficient conditions for such products to be modular units on $X_0(N)$ under a mild assumption.
rate research
Read More
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 all modular units on $X_0(N)$ on such $N$ are products of functions of the form $eta(mtau+k/h)$, $mh^2|N$ and $kinmathbb Z$ and determine the necessary and sufficient conditions for products of such functions to be modular units on $X_0(N)$.
We define a suitably tame class of singular symplectic curves in 4-manifolds, namely those whose singularities are modeled on complex curve singularities. We study the corresponding symplectic isotopy problem, with a focus on rational curves with irreducible singularities (rational cuspidal curves) in the complex projective plane. We prove that every such curve is isotopic to a complex curve in degrees up to 5, and for curves with one singularity whose link is a torus knot. Classification results of symplectic isotopy classes rely on pseudo-holomorphic curves together with a symplectic version of birational geometry of log pairs and techniques from 4-dimensional topology.
We classify rational cuspidal curves of degrees 6 and 7 in the complex projective plane, up to symplectic isotopy. The proof uses topological tools, pseudoholomorphic techniques, and birational transformations.
In 1922, Mordell conjectured the striking statement that for a polynomial equation $f(x,y)=0$, if the topology of the set of complex number solutions is complicated enough, then the set of rational number solutions is finite. This was proved by Faltings in 1983, and again by a different method by Vojta in 1991, but neither proof provided a way to provably find all the rational solutions, so the search for other proofs has continued. Recently, Lawrence and Venkatesh found a third proof, relying on variation in families of $p$-adic Galois representations; this is the subject of the present exposition.
We prove estimates for the level of distribution of the Mobius function, von Mangoldt function, and divisor functions in squarefree progressions in the ring of polynomials over a finite field. Each level of distribution converges to $1$ as $q$ goes to $infty$, and the power savings converges to square-root cancellation as $q$ goes to $infty$. These results in fact apply to a more general class of functions, the factorization functions, that includes these three. The divisor estimates have applications to the moments of $L$-functions, and the von Mangoldt estimate to one-level densities.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
