Yifan Yang, Jeng-Daw Yu
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$.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
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)$.
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…
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 $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.
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$ 准素子群等于其有理尖点除子类群的对应子群。
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处局部指数的野部分。
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.
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-挠子群不同构。
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.
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.
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 猜想。
We investigate the homology of a congruence subgroup Gamma of SL_3(Z) with coefficients in the Steinberg modules St(Q^3) and St(E^3), where E is a real quadratic field and the coefficients are Q. By Borel-Serre duality, H_0(Gamma, St(Q^3)) is isomorphic to H^3(Gamma,Q). Taking the image of the connecting homomorphism H_1(Gamma, St(E^3)/St(Q^3)) \to H_0(Gamma, St(Q^3)), followed by the Borel-Serre isomorphism, we obtain a naturally defined Hecke-stable subspace H(Gamma,E) of H^3(Gamma,Q). We conjecture that H(Gamma,E) is independent of E and consists of the cuspidal cohomology H_cusp^3(Gamma,Q)…
On Torsion Subgroups of Elliptic Curves over Quartic, Quintic and Sextic Number Fields
本文研究四次、五次和六次数域上椭圆曲线挠子群的实现问题，针对已知可无限次实现的群 G∈Φ∞(d)，给出在给定数域 K 上有限次或无限次实现的明确判据，并研究最小判别式数域及 Mordell-Weil 秩的上界。
Let $E/\mathbb{Q}$ be an elliptic curve and let $\mathbb{Q}(3^\infty)$ be the compositum of all cubic extensions of $\mathbb{Q}$. In this article we show that the torsion subgroup of $E(\mathbb{Q}(3^\infty))$ is finite and determine 20 possibilities for its structure, along with a complete description of the $\overline{\mathbb{Q}}$-isomorphism classes of elliptic curves that fall into each case. We provide rational parameterizations for each of the 16 torsion structures that occur for infinitely many $\overline{\mathbb{Q}}$-isomorphism classes of elliptic curves, and a complete list of $j$-inv…
Torsion subgroups of elliptic curves over quadratic fields and a conjecture of Granville
本文借助 Bruin-Stoll 的有理点方法，将二次域 Q(√d) 上椭圆曲线挠子群的分类范围扩展至 |d|<800，并据此检验 Granville 关于超椭圆曲线扭形有理点的猜想。
Torsion of $\mathbb Q$-curves over number fields of small odd prime degree
本文研究了小奇素数次数数域上$\mathbb Q$-曲线的torsion子群，证明其与有理$j$-invariant椭圆曲线的torsion子群等价，并完成相关分类。
Stability of torsion subgroups of elliptic curves over non-Galois extensions of odd prime degree
本文研究了椭圆曲线在非伽罗瓦扩张下的扭子群稳定性，通过伽罗瓦理论条件和模ℓ循环同源特征像的关系，细化了Gonzalez-Jimenez的结果。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。