椭圆曲线L(1)的3-adic赋值达到下界的判别

别妄想泡我
958次浏览
2020年07月30日 08:35
最佳经验
本文由作者推荐

新西兰留学签证-中班下学期个人总结


第5期
华东师范大学学报(自然科学版)
No.5
11Q!童2旦丝! !!型:!!塑!篁!垫!些!堡型坚!!::::!堡f墼墅竺型i!堡::!!
丝些:!丝:
文章编号:1000.5641(2007)05_0012-08
椭圆曲线L(1)的3一adic 赋值达到下界的判别
孙乃枯
(天津科技大学数学系,天津300457)
摘要:设Ⅳ为 三次分圆域,F。-:掣2=z3—2433D1为定义在Ⅳ上的椭圆曲线,其
中D为Ⅳ中无平方因子的 代数整数,^∈z,邱德荣用一个非常复杂的函数给出了
当^=2,4时E。x的HeckeD函数在点 1处的值(除以椭圆周期)恰被3鸶一整除的充要条
件.本文用加权图的语言给出了这个充要条件一个简 单的组合论的刻画
关键词:椭圆曲线;复乘;Hecke厶函数;加权图;生成树
中图分类号: 0177

文献标识码:A
criterionfbr
Euiptic
curves
with
the
Lowest
3-Powerin
S UNNai—zhe
L(1)
(D印州mem
o,^如觇emdtl铒nⅡ哪讥un。 tIe坩却D,sclen∞肌d‰ho忉弘
nn珊ln
300457,吼m∞
Ab8 tract:
ctⅡ、吧de6ned
Let

bethe3。4
c ”k吨omic
6eld,ED^:掣2=一一2433D1be蚰elliptic
K,wh ere
D∈Ⅳ讧a
square_在eealgebraicinteger
and^ ∈z.Qiu
f【lnction聃the
criterionforthevalueoft heHecke
s=1divided
to

over

D erong
foundrather
complicated
to
L缸nct ion
att扯hed
exaccly
div妇ible
the
cu rve
ED^O=2,4)at
by
the
period
utobe
by
3鼍~.This
paper
reduced
Qiu’ s
criterion
simpler
version

te丌ns
of
weightedgraphs.
Key
gr&ph;
word s:
el】jptic
tree
cun,罄;cD脚p】既mu】t;pljcatj on;Hecke厶functjoniwejghted
印aIlning

引言< br>众所周知,椭圆曲线的L函数在椭圆曲线的算术理论中具有重要意义,著名的BsD猜
想就是关于 定义在有理数域上的椭圆曲线的L函数在点8=1处的性质与该椭圆曲线的若
干算术不变量之间的关系的 猜测.种种迹象表明BSD猜想是正确的,但是它还远远没有被证
明.关于此猜想的第一个突破是J,C oates和A.Wiles【1】在1977年证明了:如果定义在有理数
域上的椭圆曲线的工.函数 在点s=1处取值不等于o,则该曲线的有理点群必为有限群.这
符合BsD猜想的第一个断言,199 1年K.Rubin【2】证明了:如果定义在有理数域上的椭圆曲
收稿日期:2006.u
作 者简介:孙乃拮(1972),女,硕士
万方数据 


线E的L.函数在点s=l 处取值不等于0,则BSD猜想的第二个断言对于该曲线基本上成
立.即如果素数p不按除复乘域的单位 根群的阶,则BsD猜想的第:个断言中的等式
!!竺!=!鱼二!!::墨(曼:!!:堂坐!型里! 兰!兰!里!!!£生

(孝噩。。(Q))2
甄蓑含p静穷纂穰等,箕孛建表示魏颡 麴线静实弱麓羲者嚣嵇魏蜜璃襄(取决予Ef瓣怒
不是连通),m僻/Q)表示E/Q的shafare vmTate群,联E/Q)袭示岳役)/最一(Q)的调熬
子(在工四,1)≠O时此调整子等于1) ,cp一谗E(嘞/岛(Q,))(砀(Qp)表示约化非奇异点的集
合)为伽nagawa数.关于B sD猜想的研究避有许多其它的工作.
赵春来【3,4l研究了同余数椭圆曲线(这种曲线以高斯整数环 z[v[司为复乘环),给出了
这种曲线的五。鳓数在点5=l处的值(除以椭圆周期后)的2-8di c赋馕的达到下界的充簧条
件.该充要条{牛爨~个非霞复杂的归纳定义躲如.藿函数s。=l绘掇,然 后把s。=l与慕个
嚣为毒圈等霜莛袋,褥到该充要条舞蕊~令篱荸豹缝合劐画。在魏蒸籀主涯明了Bs D猜惩谯
上述的善矗dic赋德豹这弱下界对完全成立.
本文考察椭嘲曲线ED・:矿=舻一2 433D^,其中D∈0硝,D

1(mod6).此曲
线以三次分圆域Ⅳ的代数整数 环DⅣ为笈乘环,N.M.st印hnes【5】诫明了在A=2且D为大
于2的非立方的有理整数的时 候,3女D女工∽Dz/Q,1)~是有理整数,并且当9

D的时候有因
子3,其中 u是该椭圆曲线的实周期.邱德策[6_8l证明了当D无平方因子荠且D的素因子皆
模6余l对,L《 币Dz.1)如被啦-l整除,其中#为D豹素因子令数,势殷在^=2,4弱辩镞绘
窭7三(虿。-, 1)如达到誊8或c赋蓬数下嚣瓣宠簧条箨鸯
魄(秽(D))=孚
其中跗’(D)是~个非常复 杂的归纳定义的函数,如是3-adic赋值.
本文的目的是简化邱德荣的上述充要条件.我们将引入一 种加权图,该图可以看作是文
献咚,4l的推广;并定义关于该图的一个F≯饿的函数,这是对于以OⅣ 为复黍环的椭圆曲线所
必嚣鲍。本文缮到戆结果将毒可能证鹱美予这静夔缓鳃BsD猹憨瓣筵二夸薮言豹 等式舞璃
害3豹方幂相等f巍然这项工作静嚣一个瓣赡之憝在手3-s出m群的计算)。
本文第 l节将介绍必要的符号和定义,第2节将证明主要结粜,
l记号、约懋和定义
在给出本文的主要 结果之前,先给出一些记号、约定和定义.用f表示本原三次单位
根土专≠笪.设Ⅳ蒜Q(r),o耳为 Ⅳ的代数整数环,即oK=zfrl。令D=霄l…‰∈0Ⅳ,
其中丌{=l(黜d
6)是璐中 嚣两不嚣戆豢数,%是{壬意正整数.莰奶x表示糖圆鳇线
铲=妒一擎擎茹1,遮壁天一2,4,母Dx 表永翰孙,蟊熬Gr秘%巍*∽tef。耀£《摹Dx,s)来表舔
关于妒D-的对稻的Hecke三一 函数,用。束袭示w%诧rsna∞矿函数魏实周期,其中护如)满遐
微分方程∥(:)2=4p(z) 3—1,也就是说wiierstr∞8P函数对应的周期格为£。=u0M,其
中c‘,=3.059 908…是绝对常数.
设s={m….,%),Ⅳ={1,..,n}.我们用带日来表示黛☆日的元素 个数.称
图G(KF)Ⅳ为顶点集合,E为边的集合)是加权图,如果每一个边e∈E均对应于一个整数.这个数氇稚为e鳃较。
万方数据 


即D^)=沁q)I(罢):≠1 ,幻-112,…,州≠J),
嘲㈨=卜黔
E(G。x)=似圳倒”≠Ⅷ_l,2,州≠J).
图GD-是带权的无向图(即边(仉,q)的权与顶点的顺序无关).
∽・,
(12)
定义边m,1)的权为【;]‘”,于是图GD-成为一个加权图.根据三次互反律,我们知道
下面将要用到[纠‘1’和[封‘”.设Ⅱ=l+6∞+打),n,6∈z,则
(;):=r学=r毕纠 2p”1,
所以
f二1‘11=(2n一6)A(m。d
3).
类似地有(1.3)
引M=(删6)^(mod
3).
(14)
对任意的整数a, 卢∈oK以及oK的素元素亿其中%卢不被口整除,由[一]‘1’的定义容
引“=[∥+伊’.
这是以后要经常用到的性质.用j幻x表示以y(GDx)为顶点的(简单无向)完全图.
设g表示加 权图GD-的一个生成树,定义
(1s,
邪)=Ⅱ吲”
l”●,”,Jt廿LoJ
为生成树g的权,加权图G。。的生成树的权的和记为
f(Go-)=∑口(9)
9CKD^
万方数据 


笙!塑
下面的函数:
型盈苎:塑圈些 垡!(12竺兰型!壁堕垄型!墨塑型型
!!
这里目(9)和f(GDa)也是F3一值函数. 对于D=7r1,…,%,A=2,4,邱德荣【6】归纳地定义了
6驴)c。,2{兰二::。。一。 ,。+。一。(兀。。l右,(矾一(鲁):]『ji:2。,,,。>。,
其中DT=兀*T仉,西T =品;并证明了如下的结果:
定理1.1
设妒D-表示椭圆曲线E肼/耳的Gr68ench” acter,%。表示其共轭,则
”3(工(巧。-,1)/Ⅳ)≥;一1,
并且等式成立当且 仅当"3(攒’(D))=!!芸.
对于同样的D和A,归纳地定义F3.矗函数sp’(D)如下:< br>s妒’c。,={皇::,_,,。一。+。,EⅡ,[鲁]c”g埘。。,,,:二i’
t=k 善鬻
嘲”’≠o一(鲁)?’舢
在q51(mod
6)且qfDr时,容易验证
地(q一(鲁)?’)=;骨(鲁)≯扎
于是,研究搿’(D)的3-甜ic赋值的下界问题,就转化 为研究F3值函数『一1(1’的取值问题.
(_1广州。蛸协’刮娶斟’…刮娶削"盯’
的项 的和,其中T=T(o))T(1)3…]T(m)]{巩).
2定理及证明
引理2-1
元素,那么u3(砖、’(D))=兰芸当且仅当西吣(D)≠o.
证明
设D=丌'..:. %,其中以i1(mod
6)O=1….,n)是DⅣ中互不相同的素
先对于A=2(孟od< br>6)的情形作证明.令
万方数据 


16
华东师范大学学报(自然 科学版)2007年
A={T£Ⅳl州《2)(D圳=半且%沁一(鲁):)=;,慨f珥),
伊(D)=薹(.1)”t+1Ⅱ(仉一(鲁):)鼎DT).
T∈^
qtDr
’“。

(-1)”l-‘县∽・篡饕嚣叫,仁。,
Ⅱ‘l所
F,l,PL

…n㈣一(竿):)(ie一1),
…‘。
一“每导
‘。
等;1( modl一r),鲁i1+r;2i一1(modl—r).
7;:!!;j:;i::!学;。k一2 bk;2(2。k一6k)(1】。。d1一r),
订广::。;:F=——=ji_三ok一26k兰 2【20k一6k)【modl—7),
(2.3)(2・3)
i-i‘i!i;;}蓦;(一 -)“+l~。(一-)”一l一‘(。nt—a一)
(鲁):=r骨[鲁](2)乩(鲁):=r2错 [鲁】f2)=吐
2(2n“);吲2’(mod
3),
万方数据 
(2.4 )


所以
∑(-lr…。嘣㈤刊娶黜’…刊霉削砷盯’蝌㈣
进而有
吲印(D))=孚骨¥(D)≠o
这就完成了引理2.1在^;2(mod6)时的证明.
A ;4(mod6)时的证明完全类似,只要注意用
赫=掣笋;。一a剧‰瑙洲moa・叫
3), 以保证能够应用公式(1.5).引
代替(2,3)式,相应地(2.4)式变为4(2。一砷;[剽‘ 4’(m。d
理2.1证毕.
下面的引理给出s_妒’(D)的表达式.
引理2.2< br>设D=Ⅱ1..."。,其中仉=l(mod6)(i=l,..,n)是0Ⅳ中互不相同的素元
素,^=2或4(Ⅲod
6),砼,GD-如前面所定义,9c砼是图GDx生成树,那么有
跗 )(D)=(圣[丢r)(.∑,Ⅱ
[詈r).
☆=l

(。劫
9c ⅣD(F。,口,)∈F(g)
’。
证明
只对于A§2(mod
6)证明这个 引理(^14(mod6)的情形完全类似).对于n用
归纳法.当n=1时,(2.5)式显然成立. 假定(2.5)式在1,…,n一1的时候成立.于是由方括号
函数的性质(见(1.5)式)以及归纳 假设有
鼎。卜,囊。c叫”¨l,EⅡ,[鲁](2)(妾嘲偿’)(。,磊泓~恐。刚[考】(2))
手≠T妄Ⅳ
JEⅣ一T…J。
、k=l¨‘‘。
7、9fcKD£(口。,* ,j∈E(9T)u‘,。

2鲫。H+驴矿“1。黯,霄’。,毫㈨。‰盱’)
。娄 [丢](2)(点。c叫”¨l。,蠹一,.乏㈡(亘[杀](2)。。。忍。圳[剽但’)),cz㈣
l-1

婷T呈Ⅳ
9T‘耳D手‘‘1=:二∥‘“=1…f。r
(%F‘) EE(9r)…‘。

其中({l,…,{。一t)取遍T”一。中的所有元素,{r1…., r。一。)=Ⅳ一T.式(2.6)中的每个乘积项
亘带’㈣盟爿㈤
对应于硒的一个生成树9, g可以通过添加顶点集合V={砟.Ih=1,…,n一计到生成
树gT的顶点集合y(9,)以及边的 集合£={(丌t。,7rh)I^=1,…,n一0添加到9t的边的集
合E(gT)得到.
万方数据 


!!
竺查堑垄查兰兰塑(鱼签型兰壑2
1塑!兰
容 易看出,对于取定生成树9,V中的每个点都是生成树9的一次顶点.KD孚不同的生
成树,或者相同的 生成树不同的序列(n,…,“一t),其扩展而得的K暑的生成树是不同的.但
是,对于不同的集合? 可能得到相同的K0的生成树.设
缸刊“+l。船,时’。,
=(一1)一”1∑∑
9 TcⅣ蚌(“小州)∈p一‘



£翟哩
‰一‰
n删㈣扣

喏Ⅱ脚

弘+磊。c叫”H1。珏,[鲁】(2)。,邑扣。,恐。刚嘲怛 ’+萎。如,
那么有
踏)(D)=量霎ct,r[老](2)=宴已[丢】(2).

(。.7)
咖≠TS_Ⅳ#l
t=l

取定图GD。的生成树9,用 §表示生成树g去掉所有的一次顶点以及与其所关联的边后得
到的子树,y(9)表示其顶点集合.我们断苦:岛,T出现在a中错{∈T并且y(§)妄{ml{∈T).如果t≠T,那
么c涸[刳 忙’不出现在(2.7)中,从而凸,r不出现在a中.如果V(§)垡{几}∈T),那么必然
存在某 个乃∈y(§).但是q隹T.由前面的说明,可以知道叶∈y(§),则叶的次数至少是2-
但是如果 磊.r出现在矗,那么由丌』《T,可以知道吩的次数为1,得矛盾.于是只有已,T不
出现在&.反过 来,假设l∈T并且y(§)£{几h∈T}.记9r=K腓n9,那么9T是满足
§cgT的ⅣD王的 生成树.这个gT可以通过添加顶点yp)一y(9r)和边E(9)一E(gT)之
后,扩展成9.换 句话说,就是通过恰当的选择一组(t1,…,{n.t)∈T”‘之后得到的(2.6)式
中的项,对 应的K%的生成树g,于是已,T出现在巳.这就证明了我们的断言.
不难看出,满足z∈T并且y(§ )£{mb∈r}的真子集T的个数为
c::一弗(晒)U{m+嚷一书(y(挪㈨))+…+《:;鼢 器g揣~=2”州州卸L儿讣L1,
根据前面的说明,这2n一带(V(§)u(i))一1个T可以得 到相同的生成树,于是对应于这个生成树
的凸中的项为
((一1)一削‘却∽”+1《州y(§ MtJ)+(一1)”社‘岬ⅢⅢ-1“嚷州y(前帅})+¨・
…删2《瓣粼。1)h盟捌‘2’:(一1)((1—1)畔(晒㈣)-1)Ⅱ吲”=Ⅱ吲”,
从而
妊∑Ⅱ吲2’
口 cK己(i”丌j)∈E(o)

万方数据 


苎!塑
十是,由 (2.6)式司知
塑翌苎!塑堕些垡!f

2塑兰丝!!堕笪垄型!墨竺型型
!!
即c功5砉c4豪](2)。娄。邑。。埋即,[考】(2)晤](2)
=(氍](2)) (轰帆,黥,耵’)・
这就完成了引理2.2的证明.
根据引理2.1,2.2以及定理1_l ,容易得出本文的主要结果:
定理2・1
设D=”1…‰,其中仉!l(mod6)0=1,… ,n)是亨不相同的素元素,
那么”a(工(阳)/u)≥;一1,并且地(£(阳)/u)=;一1当 且仅当∑叫”≠o并且

f(GD、)≠O.
证明
根据定理1.1知,%(工 (每Dx,1)~)≥罢一l,并且
u3(工(如。,1)/u)=;一1幸昔珊(甜’(D))=2芸 .
由引理2.1,2.2可以知道
均(嚣’(D))=兰芸车=争跗’(D)≠o
一( 喜[轳)(。邑h盟捌n’)≠。
甘壹倒”≠o并且粥训≠o
这就证明了定理2.】.
参考文献








co ATEs
J,wILEs
Aon
theconjectu件of
RuBIN< br>K
Tbe‘Ma-玎conjectu地’of
25_68
zHAo
c ^cri蜥i∞for
38孓400
ellimi㈣with
la哪t
Bir ch叩d
swi哪rton-Dyer|J】In”nt
MBth,1077,39:223_ 251
I硼8a肿theory
for
imagin8ry
qu鲥rBtic 6eldB【J】Invent
Ma山,1991,103
2・p州er
iⅡ五(1) Ⅲ.M毗h
Procc&ⅢbPhn
soc,1007,12l:
zHAo


criteri佃for
elliptic
curv髑with
1 34:407.420.
l洲t
2_pa啪r
in工(1)(II)m
cM< br>Math
Procc8mb
Phil
soc,2003,
M.Thd‘ oph叩tiⅡe
….JRei脯^n邸wMath,1帅8。231:121.162.
sT EPHNEsN
equ砒i㈣3+矿=D,蚰d
the∞nJectu托of
Birc h叩d
swi眦rton—Dyer
qIu
DRon
p-adic
o f
uluatio㈣f二(1)of
ellipticcurv髑with
by口【J 】Pro∞耐m95
ofthe
R础al
society
Edjnburgh ,2003.133
A:13吕。-1407.
QIuDR,zHANGxK
Elli ptic
cun髑wiIhcM
by ̄,=j蜘d
Math.2002.108:38 5・397
qIu
DR
cM
2002,12(10):785_7髓.
sIL、‘ERMAN
ellipticcu㈣6
HThe
3-djc博luati 叩8。ftheirL弛rie8mManu摹criptB
p.adic
valu砒i删缸t he.r厶∞ri船砒j=1
fJ】Pr0盯嘲iⅡNatur出science,
BlR明B ,swINNEIⅡ10N—DYER



Nob嘲iⅡE1liptic
Arithmetlc
to
sILvERMAN

H^dv衄ced 聊曲jn
cI哪icBl
Arithmetic
of
E11lpt.c
the
c嗍(11)I川J
Mdth,19∞,218:7舢108
cur哪【M】 .New
York:8pringer—verl吣,1986.
of叫iptic
c ㈣【M】.New
ReineAngew
York:spri“ger.verIag,199 4
9加n也
IRELAND
K,RosEN
M.A
Introduc tIon
ModemNumber
Theory【M】2nd
ed
N州1ro rk
sprioger-
Verl雌.1990.
万方数据 


椭圆曲线L(1)的3-adic赋值达到下界的判别
作者:
作者单位:
刊名:
英文刊名:
年,卷(期):
孙乃喆, SUN Nai-zhe
天津科技大学,数学 系,天津,300457
华东师范大学学报(自然科学版)
JOURNAL OF EAST CHINA NORMAL UNIVERSITY(NATURAL SCIENCE)
2007(5)

参考文献(12条)

B;SWINNERTON-DYER H P

Notes in Elliptic Curves (II) 1965
D R

CM elliptic curves and p-adic valuations of their L-series at s = 1[期刊论文]
-
Progress in
Natural Science 2002(10)
D R;ZHANG X K

Elliptic curves with CM by (√)-3 and 3-adic valuations of their I-series 2002
D R

On p-adic valuations of L(1) of elliptic curves with CM by (√)-3 2003
ES N M

The diophantine equation x3 + y3 = Dz3 and the conjecture of Birch and Swinnerton-
Dyer 1968
C

A criterion for elliptic curves with lowest 2-power in L(1)(II) 2003
C

A criterion for elliptic curves with lowest 2-power in L(1) 1997
D K;ROSEN M

A Classical Introduction to Modern Number Theory 1990
MAN J H

Advanced Topics in the Arithmetic of Elliptic Curves 1994
MAN J H

The Arithmetic Of Elliptic Curves 1986
K

The 'Main Conjecture' of Iwasawa theory for imaginary quadratic fields 1991
J;WILES A

On the conjecture of Birch and Swinnerton-Dyer 1977


本文链接:http:odical_

全国二本院校排名-构建和谐校园


曹植聪慧-晚安短信大全


英语4级准考证-我劳动我快乐


大学综合排名-大四学年鉴定


英国留学生退税-设计总结


知天命-新学期的打算300字


悼文怎么写-技师技术总结


兰州工业学院-打工心得