椭圆曲线的有理数解

椭圆曲线的研究历史悠久,其中一个基本问题就是对于一条椭圆曲线,找出其所有的有理数解.对椭圆曲线有理数解的研究也不断推动着数论中众多领域的发展.例如,椭圆曲线理论在证明费马大定理中起到了关键作用.1922年,莫德尔证明椭圆曲线的有理数解构成一个有限生成交换群.从而,椭圆曲线有无穷多解等价于这个群的秩大于0.与此相关的最著名的问题当属七大千禧年问题之一的贝赫(Birch)和斯维纳通-戴尔(SwinnertonDyer)猜想(BSD猜想):椭圆曲线的秩和哈斯-韦伊(Hasse-Weil)L函数在s=1处的阶相等.BSD猜想为判断椭圆曲线是否有无穷多有理数解提供了一个途径.然而,要证明这个猜想十分困难,数学家们仍在为此努力着.     

有限域上循环椭圆曲线

有限域上椭圆曲线的大多数性质已为人们所知,例如,它们可能的Zeta函数,自同态环和自同构群,同构类个数等.有限域上的椭圆曲线近年来用于大整数分解及公钥密码体制的研究,并取得了一些重大进展.对于密码体制的应用,人们往往需要用一个有理点群为循环群的椭圆曲线来构造公钥体制.因而,下面的问题自然地被提了出来.问题 对于固定的有限域F_q,任取一条F_q上椭圆曲线,其有理点群是循环群的概率是多大?当然,在上面问题中,同构的椭圆曲线被看成是同一条,即只考虑F_q上同构的椭圆曲线类.文献[3]中结果告诉我们,F_q上椭圆曲线的同构类个数为2q+(?)(1),这里(?)(1)是一个绝对有界常数.因此,要回答我们的问题只需求出F_q上有理点群是循环群的椭圆曲线个数c(q).一般情况下很难求得c(q)的确切值,本文将给出c(q)的上下界.由于本文用到的符号较多,因此首先定义它们.E,E′等表示F_q上的椭圆曲线.E(K)表示E的K有理点群,其中K是F_q的有限代数扩张或K是F_q的代数闭域F_q.     

关于(p,p)型数域(p≤19)的单位群

设K为(p,p)型数域,即K是有理数域Q的Galois扩张,Gaiois群Gal(K/Q)=C_p×C_p,这里C_p表示P阶循环群,P是奇素数。可以证明K洽好有(p+1)个P次循环子域,记作K_i 1≤i≤p+1。设U和U_i分别是数域K和K_i的单位群;再记     

Abel q-域的相对整基

记数域L及其一个子域K的整数环为O_L和O_K。如果O_L是自由O_(K~-)模,则称L/K有相对整基。Artin和Frhlich均提出和研究过数域的相对整基存在性问题。文献[2～5]等对双循环双二次域和四次循环域L研究了此问题。在文献[6～8]中,对四次循环域和Galois群为Gal(L/Q)≌(Z/qZ)~n的Abel域L,彻底解决了此问题(q为素数)。文献[9]研究了Galois群为(Z/q~sZ)~n的Abel域L。 有理数域Q的q幂次Abel扩张L称为Abel q-域,这里q为任意素数。对于L在其任一子域K上的相对整基存在性,以及相对判别式由一个有理数平方生成等问题,本文将系统发展上述有关结果。     

关于具有复乘的椭圆曲线的BSD猜想

Birch和Swinnerton-Dyer猜想在椭圆曲线E=E/Q的有理点群E(Q)和它的L函数L_E(s)之间有某些联系。假设E/Q是Weil曲线,于是L_E(s)可以解析开拓成整个复平面上的亚纯函数。     

Arrondo-Sols猜想的一个反例

本文在亏格为3的非超椭圆型代数曲线上给出Arrondo-Sols猜想的一个反例。 一 对于超椭圆曲线(Hyperelliptic curves),Arrondo-Sols证明了这一猜想。现设E是一二维向量丛,令     

关于一类Siegel E-函数的丢番图不等式

以Q记有理数域,Z记有理整数环,K=Q或Q~(-d)(1/2))(d是无平方因子的自然数),K~*记K中代数整数环,C记复数域.对z∈C,记z′=max(1,|z|),‖z‖=(?)|z y|。关于Siegel E-函数的定义见文献[1],以下简称E-函数。又定义E_1函数如下:     

数域上一个新的Zeta函数

根据类域论的思想,有理数域Q上可能存在哪些正规扩域取决于Q自身的算术性质.Q的算术性质中,最基本的仍是素数的分布律.由此推断,在Q的正规域扩张与素数分布律之间应存在一个实质性的联系.揭示这一联系应是类域论中一个有趣的课题.新近,我们对任意绝对正规数域K定义了一个新的Zeta函数ζ_(k_0)(s),并发现其极点与Riemann的Zeta函数ζ(s)的复零点相关联.众所周知,ζ(s)的复零点分布与素数分布之间存在密切关系.依据这些事实,我们找出了Q的正规域扩张和素数分布律的关系.特别地,当K/Q是次数不小于3的弱分     

一类用于实现密码体制的良好椭圆曲线

设F_q是一个有限域,q=p~ι,ι≥1,p是一个素数,p≠2,3,f(x)=x~3+Ax+B,A,B是整数,p△=-16(4A~3+27B~2)。再设E是由y~2=f(x)所决定的一条F_q上的椭圆曲线。最近,Koblitz利用椭圆曲线离散对数问题求解的困难性,实现了两种密码体制。但是,Koblitz提出的明文嵌入方     

纤维化又是上纤维化的刻划定理

1974年,Milgram首先发现,纤维化序列K(Q/Z,n)→K(Z,n 1)→K(Q,n 1)(n≥1)又是上纤维化序列,注意到K(Q,n 1)=K(Z,n 1)_0,即K(Z,n 1)→K(Q,n 1)是单连通空间K(Z,n 1)的有理化(0-局部化).1981年,Schiffman将Milgram的例子推广到一般的单连通空间,即证明了:对于单连通空间X,局部化纤维化序列F→X→Xp又是上纤维化序列,这里Xp是X的p-局部化,p为素数或0.1983年,Alons再将Schiffman的结果推广到幂零空间,即证明了:对于幂零空间X,如果Xp是单连通的,则局部化纤维化序列F→X→Xp又是上纤维化序列.同时,Alonso也给出了纤维化序列又是上纤维化序列的充分必要条件.定理1纤维化序列F→E→B又是上纤维化序列,即诱导映射EUCF→B是同伦等价,当且仅当存在一族素数P,使得同调群(?)(F)和(?)(ΩB)中一个为P-局部的,另一个为P’-挠群,这里P’为P的余集.     

椭圆曲线有理点偶数阶循环扭子群的明显分类

研究有理数Ｑ上椭圆曲线Ｅ的有理点扭子群Ｅｔｏｒｓ（Ｑ）的分类问题,对于Ｅｔｏｒｓ（Ｑ）为偶数阶循环群的情形,给出了其明显分类和判定条件,并给出了各型中扭子群的生成元,这些结果,加同Ｏｎｏ最近对于非循环扭子群的结果,完全解决了Ｅ含有二阶有理点时扭子群的明显分类问题。     

Noether定理的一个推广

设C是复数域(?)上的亏格大于2的光滑代数曲线,K是C的典则线丛.我们有下面熟知的Noether定理,如果C不是超椭圆曲线,则映射S~pH~0(c,k)→H~0(C,pK)对所有正整数P都是满射.     

不分明集的一个分解定理及其在不分明拓扑中的应用

设A是X上的任一不分明集,σ_r(A)={x:A(x)>r}表示A的强r截集,X_E表示X的子集E的特征函数,Q是[0,1)内所有有理数的集,则有以下     

关于实二次域的类数

Q表有理数域,D>1为无平方因子正整数,Q(D~(1/2))为实二次域,以h(D)表Q(D~(1/2))的类数。命     

关于椭圆曲线y~2=x~3-k上的有理点

椭圆曲线上的很多结果都是对以Z[i]为复乘的曲线得到的,其可以认为是最简单的情形.次简单的情形可能是以Z[ρ]为复乘的椭圆曲线,其中ρ=(-1+(-3)~(1/2))/2.本文给出了这类曲线上的一些结果. 设整数D无立方因子,Γ_D表示椭圆曲线:X~3+Y~3=DZ~3(如果我们令x=12DZ,y=36D(Y-X),z=x+y,则此方程变为y~2z=x~3-2~4·3~3·D~2·z~3).以L_D(s)表示Γ_α的Hecke L-级数,我们将首先证明     

一个关于线性型转换定理的注记

命n≥1,■_1,…,■_n为n个实数,且1,■_1,…,■_n在有理数域Q上线性独立。命‖x‖表示实数x至它最近的整数的距离,■=max(1,|x|)。命题A 对于任意■>0,皆存在仅依赖于     

二次函数域和超椭圆曲线码

Goppa几何码是利用有限域上非异射影曲线构造的。这类码对纠错码理论意义重大,而且它本身有许多理论问题。为了避免超椭圆曲线y~2=D(x)在无穷远点(0,1,0)的奇异性,我们用二次函数域的算术理论讨论一类超椭圆曲线码的最小距离。     

关于(q~s,q~s,…,q~s)型数域的相对整基

文献[1]中简洁构作了Abel数域K的Genus域K_G。本文将对K_G作进一步刻画,从而决定Abel数域K的导子f(K)和判别式D(K)。最后证明(q~s,q~s,…,q~s)型数域扩张L/K具有相对整基。设L是一个数域,K是其一子域。域K的整数环O_K是Dedekind环,O_L是无扭O_K-模。于是由E.Steinitz(1912)和I.Kaplansky(1952)关于Dedekind环上模的结构定理知O_LO_K~(-1)J,其中n=[L:K],J是K的理想,在相差主理想倍(即同一理想类)意义下唯一决定。于是,代表的理想类[J]就完全决定了O_L的环结构。特别     

一类复数的对数的线性形式

以Q,C,Z分别表示有理数域,复数域,有理整数环.设A_1相似文献   

特征数2的域上对称阵定义的群的生成元

设K是特征数2的域,S是K上的一个n级可逆对称阵,K上满足条件ASA′=S的n级可逆阵A的全体,对于矩阵乘法组成群,叫做K上由对称阵S所定义的群,记作G_n(K,S)。在域K上,由合同的对称阵所定义的群是同构的对称阵在合同变换下可化为