椭圆曲线的秩的算法

椭圆曲线的秩是其最基本的数量特征之一。通过找独立生成元的办法,人们可以判断一条曲线的秩的下界。本文给出有理数域上的椭圆曲线的秩的一个公式、在承认Lang的一个猜想的前提下,此公式的证明过程给出秩的一个算法。设E:y~2=x~3+ax+b是有理数域Q上的椭圆曲线。对于Q的任一扩域K,以E(K)表示E上所有K-有理点组成的群。对于E(R),即E的实部分,我们分别以下两种情形:     

有限域上循环椭圆曲线

有限域上椭圆曲线的大多数性质已为人们所知,例如,它们可能的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.     

百年之久的一个数学难题已被解决

一个令人难以兰信的间接证明解决了一个老问题,并且把似乎毫无联系的两个数学领域联系起来了已经向数学家们挑战了一百多年的一个著名数论难题现在已被解决。这个问题涉及数系族,它的证明中令人惊奇而意义重大的地方是,证明过程运用了椭圆曲线,这是完全不同的另外一种数学研究对象。总之,这个问题的解可能是把椭圆曲线的分析和这些曲线的数论联系起来而迈出的一大步。     

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

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

《科学》杂志公布2006年度世界十大科学进展

证明庞加莱猜想法国大博学家亨利·庞加莱(Henri Poincar)曾在1904年提出这样一个猜想:“如果一个封闭三维空间中每条封闭曲线都可以收缩成一点,那么这个空间一定是一个圆球。”这个猜想困扰了数学界长达100多年,并被列为“数学世纪难题”之一。如今俄罗斯数学家格里高利·佩雷     

关于黎曼猜想

在人类进行科学实验的过程中,常常会遇到这样一种问题:从人们的实践经验看来,这些问题有一个肯定的答案,但是我们暂时却无法对它进行严格的证明.而在数学上,一个命题如果不能严格地证明,它就不能为人们所公认,这种命题只能被称为“猜想”.大家熟知的哥德巴赫猜想就是一个著名的尚未被证明的命题.由著名的数学家黎曼(Riemann)在1859年提出的黎曼猜想,是又一个难以证明的猜想.它的重要之处在于,如果这个猜想解决了,则一大批尚未解决的难题都将得到突破。     

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

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

当今数学界最重要的问题是什么?

很多数学家都会说,他们正在致力于解决的课题是当今最重要的数学问题。但在这些尚未解决的问题中,有一个却显得卓尔不群,那就是著名的黎曼猜想。黎曼猜想自1859年由德国数学家弗里德里克·黎曼(FriedrichB.Riemann )提出以来,一直困惑着数学家。最近,随着数学家们开始以物理学的观点来思考这个问题,证明黎曼猜想的努力达到了新的高潮。黎曼猜想是黎曼在数论领域(数论是研究整数的数学分支)的唯一涉足。它阐述了一些关于素数的深刻理论。像2 ,3 ,5和7那样除了1和它本身以外再没有别的因子的数,似乎在数轴上毫无规律地出现。欧几里德证明了…     

Arrondo-Sols猜想的一个反例

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

超椭圆曲线上的几何MDS码的主猜想

在文献[1]中讨论了几何码的主猜想,证明了当基域的元素个数足够大时,对亏格小于3的曲线上的码,主猜想为真.本文将讨论超椭圆曲线上的主猜想问题.1 一些概念在此,我们回忆一下代数几何的有关概念,F_q表示q-元有限域,X是定义在F_q上的代数曲线,X(F_q)是X在F_q上的有理点集,F_q(X)表示X在F_q上的函数域.Div(X)是X的除子群.对X在F_q上的有理除子D,Supp(D)表示D的支点集,L(D)={f∈F_q(X)~*|div(f) D≥0}∪{0}是F_q向量空间,1(D)=dimL(D).对两个除子D和D’,D～D’表示它们线性等     

图论结果得到证明

两位研究一个违反直觉的猜想的数学家,解决了一个50年之久的难题。大约在二十年前,德国数学家库尔特·魏格纳(Kurt Wagner)提出了一个关于图的性质的猜想。这个猜想乍一看来令人难以置信,甚至连他的研究生也不敢相信。然而,这个猜想很吸引人,而且因为它很基本和重要,许多数学家都想证明猜想对还是错。俄亥俄州立大学的内尔·罗伯逊(Neil Robertson)是其中     

非线性演化方程的对称性和守恒律之间的关系

自应用科学中的一个新概念——孤立于(Soliton)提出以来,在物理学的许多领域中已发现了众多的具有孤立子解的非线性演化方程。研究表明,这些演化方程具有一个引人注目的特色,即具有无穷多个守恒律。如所周知,一个具有Lagrangian的系统,守恒律常与系统的不变变换群(亦即对称性)密切相关(Noether定理)。但此处不变变换系对Lagrangian而     

Blaschke(布拉什克)积的临界点及方程△u=e~(2u)

单位圆到自身的proper解析映照叫做(有限)Blaschkc积,它也正是单位圆到自身的分歧覆盖,其支点恰是临界点。本文证明了这个分歧覆盖由其支点(阶数算在内)在相差单位圆的一自同构的意义下唯一确定,而且支点的分布是任意的(定理A)。作为应用,我们得到了方程△u=e~(2u)在单位圆内有限多点处有给定的对数奇性并在圆边界上有给定的无穷奇性的解的存在性和唯一性定理(定理B)。这个问题来自规范场的瞬时子问题。我们证明了方程△u=e~(2u)在整个平面上无C~2的解(定理C),而Wittich只证明了它在整个平面上无整函数     

全局渐近稳定性的Jacobi猜想的证明

设f∈C~1(R~2,R~2),f(o)=0.考虑平面微分方程x=f(x) (1)很久以来人们猜测:如果(?)x∈R~2,f的Jacobi矩阵Df(x)的特征值都具有负实部,则微分方程(1)的零解全局渐近稳定.在文献中,此猜想被称为Jacobi猜想或平面Markus-Yamabe猜想.1963年,Olech证明此猜想等价于f的全局单射性.1988年,Meisters和Olech证明,当f是多项式映射时,Jacobi猜想成立.1991年Gassull,Llibre和Sotomayor证明,当f是Khovansky函数(一类解析函数)时,Jacobi猜想成立.本文对一般情况证明了Jacobi猜想成立.1 预备知识设S~k(R~2,R~2)={f∈C~k(R~2,R~2)|(?)_x∈R~2,Df(x)是稳定矩阵},k=1,2,…, ∞ .设f∈S~∞(R~2,R~2),则(?)_x∈R~2,Lyapunov矩阵方程Df(x)G(x)十G(x)(Df(x))~T=-I_2 (2)有唯一正定解G(x),其中I_2为2×2单位阵.显然G∈C~∞(R~2,R~(2×2)).定义微分方程(?)y=G(y)ν,ν∈R~2, (3)y(0)=x,     

关于椭圆曲线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-级数,我们将首先证明     

关于引力规范理论中带电质点的外解

最近,文献[1]证明了在引力规范理论中对于带电粒子的场不存在无挠的球对称静态解。文中使用了与文献[2]类似的证明方法,即使用了附加的无穷远处的边界条件:假定曲率张量在无穷远处趋于零(渐近平直空间)。但是,实际上这个附加条件是不必要的。文献[1]和文献     

关于具有质量的杨-米尔斯方程

一、引言关于四维吋空中杨-米尔斯方程是否存在具有限能量又无奇点、且场强在无限远处为0的静态解,是规范场研究中大家关心的一个问题。到1976年,Deser得出:除n=5外,n维时空(指度规为ds~2=-dx+dx+dx+…+dx_(n-1)~2)中紧致群规范场方程不存在具有限能量又无奇点,且场强在无穷远处适当快地趋于0的静态解。这里,特别令人注意的是四维     

Amari猜想的一个解答

日本统计学家Amari(甘利俊一)在文献[1](定理3.10)中曾经证明,为了保持散度D_f(p,q)的不变性,Fisher信息度量(简称为F度量)和α-连络是统计流形上唯一的度量和连络。他同时提出一个猜想,即在不计一个常数因子的条件下,F度量和α-连络是在参数空间和样本空间中保持不变性的唯一可能的度量和仿射连络。他也提出一个问题,即若猜想不     

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上的相对整基存在性,以及相对判别式由一个有理数平方生成等问题,本文将系统发展上述有关结果。     

某些李型单群的一个新刻划

对所有的有限单群给出形式统一的刻划显然是有意义的。我们继续证明下述猜想。 猜想 设G是群,π_e(G)是G的元的阶之集,H为有限单群,则G≌H的充要条件是: