Amod Agashe
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)$.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
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$.
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.
The rational cuspidal subgroup of J_0(N)
本文在整除N的最大完全平方数为奇素数幂或两个奇素数幂乘积时，确定J₀(N)的有理尖点子群结构，证明其等于X₀(N)的有理尖点除子类群，而后者结构已由第一作者在[14]中确定。
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…
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 lin…
In this paper, we study the torsion subgroup of $J_0(N)$ over the field generated by those points in the cuspidal group, where $N$ is an odd positive integer. We prove that, considered as Hecke modules, this group and the cuspidal subgroup are both supported at the maximal Eisenstein ideals.
We correct a mistake in the paper "On the cuspidal cohomology of $S$-arithmetic subgroups of reductive groups over number fields " by A. Borel, J.-P. Labesse, J. Schwermer that appeared in Compositio Mathematica, 102 (1996), 1-40.
Computations directly on the cuspidal cohomology of congruence subgroups of $\mathrm{SL}(3, \mathbb{Z})$
本文扩展Ash等人的工作，提出直接在$\text{SL}(3, \text{Z})$同余子群尖点上同调计算Hecke算子作用的方法，得到素数阶小于3500的数据，发现7个新非零尖点类阶并计算其中5个的局部因子。
Bernoulli determinants and cuspidal subgroups
该研究针对任意整数\(N\)的模曲线\(X_1(N)\)，给出有理尖点类群阶数的显式公式，证明依赖斯特伦的结果及相关行列式计算，还定义了高权类似物并推测其阶数与特定行列式有关。
Let $G$ be an infinite-dimensional representation-theoretic Kac--Moody group associated to a nonsingular symmetrizable generalized Cartan matrix. We consider Eisenstein series on $G$ induced from unramified cusp forms on finite-dimensional Levi subgroups of maximal parabolic subgroups. Under a natural condition on maximal parabolic subgroups, we prove that the cuspidal Eisenstein series are entire on the full complex plane.
Computing the Cuspidal Subgroup of the Modular Jacobian $J_{H}\left( p \right)$
本文针对模4余1的素数p对应的模曲线X_H(p)，计算其雅可比簇中由四个尖点生成的有限子群，覆盖亏格2至10的全部六种情形，并与相应数域上的有理挠子群进行比较。
On the cuspidal cohomology of Iwahori congruence subgroups of $\mathrm{SL}(3, \mathbb{Z})$
本文研究SL(3,Z)的伊瓦同余子群I(3,p)的尖点上同调，推广相关经典结果，对p≤227的水平找到3个非零尖点类并计算两个水平的Hecke算子作用，得到伊瓦水平下的首个相关自守表示实例。
For any number field, we prove that there exists an elliptic curve defined over this field such that its Shafarevich-Tate group has a nontrivial 2-torsion subgroup.
We show an example of Chow group of 0-cycles on surface over a p-adic field which has infinite torsion subgroup.
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$.
On Some Diophantine Parameters of the Cyclic Torsion Subgroups of Odd Order of Elliptic Curves over $\mathbb{Q}$
本文研究有理数域上椭圆曲线奇阶循环挠子群，并给出了其若干显式丢番图参数。
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$.
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…
Let $E$ be an optimal elliptic curve over $\Q$ of prime conductor $N$. We show that if for an odd prime $p$, the mod $p$ representation associated to $E$ is reducible (in particular, if $p$ divides the order of the torsion subgroup of $E(\Q)$), then the $p$-primary component of the Shafarevich-Tate group of $E$ is trivial. We also state a related result for more general abelian subvarieties of $J_0(N)$ and mention what to expect if $N$ is not prime.
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)| $.
In a previous paper [3] we computed cohomology groups H^5 (Gamma_0 (N), \C), where Gamma_0 (N) is a certain congruence subgroup of SL (4, \Z), for a range of levels N. In this note we update this earlier work by extending the range of levels and describe cuspidal cohomology classes and additional boundary phenomena found since the publication of [3]. The cuspidal cohomology classes in this paper are the first cuspforms for GL(4) concretely constructed in terms of Betti cohomology.
Modular Units on $X_{1}( p)$ and Quotients of the Cuspidal Group
本文研究素数级 p≥5 时 X_1(p) 上的模单元群，给出其显式基，并利用该基数值研究尖点群结构及确定其一个特定的大商群。
Cuspidal subgroups associated with non-rational Eisenstein maximal ideals
本文推广了Ramanujan型Eisenstein同余式到一般水平N，证明了在非平方自由水平下非有理Eisenstein极大理想对应的Ribet猜想推广成立。
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}$.
Let $k$ be a field of positive characteristic $p$. Question: Does every twisted form of $μ_p$ over $k$ occur as subgroup scheme of an elliptic curve over $k$? We show that this is true for most finite fields, for local fields and for fields of characteristic $p\leq11$. However, it is false in general for fields of characteristic $p\geq13$, which implies that there are also $p$-divisible and formal groups of height one over such fields that do not arise from elliptic curves. It also implies that the Hasse invariant does not obey the Hasse principle. Moreover, we also analyse twisted forms of $p…
We introduce an algorithm to compute the rational torsion subgroup of the Jacobian of a hyperelliptic curve of genus 3 over the rationals. We apply a Magma implementation of our algorithm to a database of curves with low discriminant due to Sutherland as well as a list of curves with small coefficients. In the process, we find several torsion structures not previously described in the literature. The algorithm is a generalisation of an algorithm for genus 2 due to Stoll, which we extend to abelian varieties satisfying certain conditions. The idea is to compute p-adic torsion lifts of points ov…
The intrinsic subgroup of an elliptic curve and Mazur's torsion theorem
本文研究了椭圆曲线的内在子群，并通过细化马祖尔 torsion 定理，确定了哪些子群可以作为内在子群出现。
Let E be an elliptic curve defined over Q. We study the relationship between the torsion subgroup E(Q)_tors and the torsion subgroup E(K)_tors, where K is a quadratic number field.
In this article, we study the minimal degree [K(T):K] of a p-subgroup T <= E(\overline{K})_tors for an elliptic curve E/K defined over a number field K. Our results depend on the shape of the image of the p-adic Galois representation ρ_{E,p^infty}:Gal_K-->GL(2,Z_p). However, we are able to show that there are certain uniform bounds for the minimal degree of definition of T. When the results are applied to K=Q and p=2, we obtain a divisibility condition on the minimal degree of definition of any subgroup of E[2^n] that is best possible.
The rational torsion subgroup of $J_0(N)$
本文证明了在特定条件下，模曲线 $X_0(N)$ 的雅可比簇 $J_0(N)$ 的有理挠子群的 $p$ 准素子群等于其有理尖点除子类群的对应子群。
Consider three normalised cuspidal eigenforms of weight $2$ and prime level $p$. Under the assumption that the global root number of the associated triple product $L$-function is $+1$, we prove that the complex Abel-Jacobi image of the modified diagonal cycle of Gross-Kudla-Schoen on the triple product of the modular curve $X_0(p)$ is torsion in the corresponding Hecke isotypic component of the Griffiths intermediate Jacobian. The same result holds with the complex Abel-Jacobi map replaced by its étale counterpart. As an application, we deduce torsion properties of Chow-Heegner points associat…
Let E be an elliptic curve defined over Q. We study the relationship between the torsion subgroup E(Q)_tors and the torsion subgroup E(K)_tors, where K is a cubic number field. In particular, We study the number of cubic number fields K such that E(Q)_tors\neq E(K)_tors.
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.
Mazur's theorem states that there are exactly 15 possibilities for the torsion subgroup of an elliptic curve over the rational numbers. We determine how often each of these groups actually occurs. Precisely, if $G$ is one of these 15 groups, we show that the number of elliptic curves up to height $X$ whose torsion subgroup is isomorphic to $G$ is on the order of $X^{1/d}$, for some number $d=d(G)$ which we compute.
Three-Torsion Subgroups and Wild Conductors of Genus 3 Hyperelliptic Curves
本文提出用复逼近、同伦延拓和格基约化计算亏格3超椭圆曲线雅可比簇三挠子群的实用方法，并将其应用于计算导子在2处局部指数的野部分。
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)|$.
Bhargava, Hanke, and Shankar have recently shown that the asymptotic average $2$-torsion subgroup size of the family of class groups of monogenized cubic fields with positive and negative discriminants is $3/2$ and $2$, respectively. In this paper, we provide strong computational evidence for these asymptotes. We then develop a pair of novel conjectures that predicts, for $p$ prime, the asymptotic average $p$-torsion subgroup size in class groups of monogenized cubic fields.
In this paper, we survey some Galois-theoretic techniques for studying torsion points on curves. In particular, we give new proofs of some results of A. Tamagawa and the present authors for studying torsion points on curves with "ordinary good" or "ordinary semistable" reduction at a given prime. We also give new proofs of: (1) The Manin-Mumford conjecture: There are only finitely many torsion points lying on a curve of genus at least 2 embedded in its Jacobian by an Albanese map; and (2) The Coleman-Kaskel-Ribet conjecture: If p is a prime number which is at least 23, then the only torsion po…
Given an elliptic curve $E/\mathbb{Q}$ with torsion subgroup $G = E(\mathbb{Q})_{\rm tors}$ we study what groups (up to isomorphism) can occur as the torsion subgroup of $E$ base-extended to $K$, a degree 6 extension of $\mathbb{Q}$. We also determine which groups $H = E(K)_{\rm tors}$ can occur infinitely often and which ones occur for only finitely many curves. This article is a first step towards a complete classification of torsion growth of over sextic fields.
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}$.
In this note, we give a short proof of the existence of certain abelian extension over a given global field $K$. This result implies that for every positive integer $m$, there exists an abelian extension $L/K$ of exponent $m$ such that the $m$-torsion subgroup of $\Br(K)$ equals $\Br(L/K)$.
Let $Φ^\infty(d)$ denote the set of finite abelian groups that occur infinitely often as the torsion subgroup of an elliptic curve over a number field of degree $d$. The sets $Φ^\infty(d)$ are known for $d\le 4$. In this article we determine $Φ^\infty(5)$ and $Φ^\infty(6)$.
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.
We prove that all elliptic curves over quadratic fields with a subgroup isomorphic to $C_{16}$, as well as all elliptic curves over cubic fields with a subgroup isomorphic to $C_2\times C_{14}$, are base changes of elliptic curves defined over $\Q$. We obtain these results by studying geometric properties of modular curves and maps between modular curves, and then obtaining a modular description of these curves and maps.
We find a tight relationship between the torsion subgroup and the image of the mod 2 Galois representation associated to an elliptic curve defined over the rationals. This is shown using some characterizations for the squareness of the discriminant of the elliptic curve.
On abelian varieties whose torsion is not self-dual
本文通过显式分析Galois群在ell-adic Tate模及其模ell约化上的作用，构造了无穷多个定义在有理数上的阿贝尔曲面，证明其ell-挠子群作为Galois模与对偶的ell-挠子群不同构。
We define a new notion of cuspidality for representations of $\GL_n$ over a finite quotient $\Oh_k$ of the ring of integers $\Oh$ of a non-Archimedean local field $F$ using geometric and infinitesimal induction functors, which involve automorphism groups $G_λ$ of torsion $\Oh$\nobreakdash-modules. When $n$ is a prime, we show that this notion of cuspidality is equivalent to strong cuspidality, which arises in the construction of supercuspidal representations of $\GL_n(F)$. We show that strongly cuspidal representations share many features of cuspidal representations of finite general linear gr…
The classification of elliptic curves E over the rationals Q is studied according to their torsion subgroups E_{tors}(Q) of rational points. Explicit criteria for the classification are given when E_{tors}(Q) are cyclic groups with even orders. The generator points P of E_{tors}(Q) are also explicitly presented in each case. These results, together with recent results of K. Ono, completely solve the problem of the mentioned explicit classification when E has a rational point of order 2.
We construct examples of families of curves of genus 2 or 3 over Q whose Jacobians split completely and have various large rational torsion subgroups. For example, the rational points on a certain elliptic surface over P^1 of positive rank parameterize a family of genus-2 curves over Q whose Jacobians each have 128 rational torsion points. Also, we find the genus-3 curve 15625(X^4 + Y^4 + Z^4) - 96914(X^2 Y^2 + X^2 Z^2 + Y^2 Z^2) = 0, whose Jacobian has 864 rational torsion points. This paper has appeared in Forum Math. 12 (2000) 315-364.
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 $E/\mathbb{Q}$ be an elliptic curve and let $\mathbb{Q}(D_4^\infty)$ be the compositum of all extensions of $\mathbb{Q}$ whose Galois closure has Galois group isomorphic to a quotient of a subdirect product of a finite number of transitive subgroups of $D_4$. In this article we first show that $\mathbb{Q}(D_4^\infty)$ is in fact the compositum of all $D_4$ extensions of $\mathbb{Q}$ and then we prove that the torsion subgroup of $E(\mathbb{Q}(D_4^\infty))$ is finite and determine the 24 possibilities for its structure. We also give a complete classification of the elliptic curves that have…
We study the torsion subgroup of the universal ordinary distribution related to a general number field. We describe a way to control this subgroup. We apply this method to the special case of an imaginary quadratic field, and we give examples of such fields where these torsion subgroups are non-trivial.
An elliptic curve $E$ over $\mathbb{Q}$ is said to be good if $N_{E}^{6}<\max\!\left\{ \left\vert c_{4}^{3}\right\vert ,c_{6}^{2}\right\} $ where $N_{E}$ is the conductor of $E$ and $c_{4}$ and $c_{6}$ are the invariants associated to a global minimal model of $E$. In this article, we generalize Masser's Theorem on the existence of infinitely many good elliptic curves with full $2$-torsion. Specifically, we prove via constructive methods that for each of the fifteen torsion subgroups $T$ allowed by Mazur's Torsion Theorem, there are infinitely many good elliptic curves $E$ with $E\!\left(\math…
For those elliptic curves defined over the rational with non--trivial torsion subgroup, we find a tight relationship between the torsion subgroup itself and a Galois group naturally arising from the curve.
Let $G$ be a reductive algebraic group over $\mathbb{Q}$ and $Γ\subset G(\mathbb{Q})$ an arithmetic subgroup. Let $K_\infty\subset G(\mathbb{R})$ be a maximal compact subgroup. We study the asymptotic behavior of the counting functions of the cuspidal and residual spectrum, respectively, of the regular representation of $G(\mathbb{R})$ in $L^2(Γ\backslash G(\mathbb{R}))$ of a fixed $K_\infty$-type $σ$. A conjecture, which is due to Sarnak, states that the counting function of the cuspidal spectrum of type $σ$ satisfies Weyl's law and the residual spectrum is of lower order growth. Using the Ar…
We report on the computation of torsion in certain homology theories of congruence subgroups of SL(4,Z). Among these are the usual group cohomology, the Tate-Farrell cohomology, and the homology of the sharbly complex. All of these theories yield Hecke modules. We conjecture that the Hecke eigenclasses in these theories have attached Galois representations. The interpretation of our computations at the torsion primes 2,3,5 is explained. We provide evidence for our conjecture in the 15 cases of odd torsion that we found in levels up to 31.
In this paper we prove that for suitable sequences of congruence subgroups of Bianchi groups, including the standard exhaustive sequences of a congruence subgroup, and even symmetric powers of the standard representation of Sl_2(C) the size of the torsion part in the first homology grows exponentially. This extends results of Bergeron and Venkatesh to a case of non-uniform lattices.
Three-Torsion Subgroups and Wild Conductor Exponents of Plane Quartics
本文提出算法，通过三次曲线与方程组描述并计算平面四次曲线雅可比簇的3-挠子群，并利用其伽罗瓦结构计算局部野导子指数。
Let $Γ$ be a principal congruence subgroup of $SL_n(Z)$ and let $σ$ be an irreducible representation of SO(n). Let $N(T,σ)$ be the counting function of the eigenvalues of the Casimir operator acting in the space of cusp forms for $Γ$ which transform under SO(n) according to $σ$. We prove that the counting function $N(T,σ)$ satisfies Weyl's law as $T\to\infty$. Especially this implies that there exist infinitely many cusp forms for the full modular group $SL_n(Z)$.
Two-Torsion Subgroups of some Modular Jacobians
本文提出利用 theta 超平面构造零维概形并结合数值逼近与格约化计算亏格 3–5 非超椭圆曲线 Jacobian 的 2-挠子群，且对多个模 Jacobian 验证广义 Ogg 猜想。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。