mndede标签
dede标签 时间:2021-02-28 阅读:(
)
GeneralizedDedekindSumsArisingfromEisensteinSeriesTristieStucker&AmyVennosAdvisor:Dr.
MatthewYoungDepartmentofMathematics,TexasA&MUniversityNSFDMS–1757872July16,2018MobiusTransformationsSL2(Z)=abcda,b,c,d∈Z,adbc=1.
MobiusTransformationsSL2(Z)=abcda,b,c,d∈Z,adbc=1.
Givenγ∈SL2(Z),theMobiustransformationassociatedtoγisthecomplexmapdenedbyz→az+bcz+d,wherez∈H={x+iy|x,y∈R,y>0}.
MobiusTransformationsSL2(Z)=abcda,b,c,d∈Z,adbc=1.
Givenγ∈SL2(Z),theMobiustransformationassociatedtoγisthecomplexmapdenedbyz→az+bcz+d,wherez∈H={x+iy|x,y∈R,y>0}.
Wewriteγz=az+bcz+d.
AutomorphicFormsAfunctionf:H→CisanautomorphicformifAutomorphicFormsAfunctionf:H→Cisanautomorphicformif1.
fobeyssometransformationproperty.
e.
g.
faz+bcz+d=(cz+d)kf(z)AutomorphicFormsAfunctionf:H→Cisanautomorphicformif1.
fobeyssometransformationproperty.
e.
g.
faz+bcz+d=(cz+d)kf(z)2.
fsatisesacertaindierentialequation(complexanalytic,harmonicfunctions,AutomorphicFormsAfunctionf:H→Cisanautomorphicformif1.
fobeyssometransformationproperty.
e.
g.
faz+bcz+d=(cz+d)kf(z)2.
fsatisesacertaindierentialequation(complexanalytic,harmonicfunctions,3.
fexhibitssomeboundarybehavior.
(polynomialgrowth,boundednessasfunctionapproachesi∞EisensteinSeriesFork≥4andkeven,theweight-kEisensteinSeriesisEk(z)=12gcd(c,d)=11(cz+d)k.
EisensteinSeriesFork≥4andkeven,theweight-kEisensteinSeriesisEk(z)=12gcd(c,d)=11(cz+d)k.
Forallγ=abcd∈SL2(Z),Ek(γz)=(cz+d)kEk(z).
DirichletCharactersADirichletcharacterχ(modq)isafunctionχ:Z→Cwiththefollowingproperties:DirichletCharactersADirichletcharacterχ(modq)isafunctionχ:Z→Cwiththefollowingproperties:1.
χ(n+ql)=χ(n)n,l∈ZDirichletCharactersADirichletcharacterχ(modq)isafunctionχ:Z→Cwiththefollowingproperties:1.
χ(n+ql)=χ(n)n,l∈Z2.
χ(n)=0igcd(n,q)=1DirichletCharactersADirichletcharacterχ(modq)isafunctionχ:Z→Cwiththefollowingproperties:1.
χ(n+ql)=χ(n)n,l∈Z2.
χ(n)=0igcd(n,q)=13.
χ(mn)=χ(m)χ(n)m,n∈ZDirichletCharactersADirichletcharacterχ(modq)isafunctionχ:Z→Cwiththefollowingproperties:1.
χ(n+ql)=χ(n)n,l∈Z2.
χ(n)=0igcd(n,q)=13.
χ(mn)=χ(m)χ(n)m,n∈ZExample:Jacobi/LegendreSymbolsEisensteinSerieswithDirichletCharactersEχ1,χ2(z,s)=12gcd(c,d)=1(q2y)sχ1(c)χ2(d)|cq2z+d|2s|cq2z+d|cq2z+dkwhereχ1andχ2areDirichletcharactersmoduloq1,q2,respectively.
EisensteinSerieswithDirichletCharactersEχ1,χ2(z,s)=12gcd(c,d)=1(q2y)sχ1(c)χ2(d)|cq2z+d|2s|cq2z+d|cq2z+dkwhereχ1andχ2areDirichletcharactersmoduloq1,q2,respectively.
Eχ1,χ2(γz,s)=ψ(γ)Eχ1,χ2(z,s),whereψ(γ)=χ1(d)χ2(d),forallγ=abcd∈Γ0(q1q2).
EisensteinSerieswithDirichletCharactersEχ1,χ2(z,s)=12gcd(c,d)=1(q2y)sχ1(c)χ2(d)|cq2z+d|2s|cq2z+d|cq2z+dkwhereχ1andχ2areDirichletcharactersmoduloq1,q2,respectively.
Eχ1,χ2(γz,s)=ψ(γ)Eχ1,χ2(z,s),whereψ(γ)=χ1(d)χ2(d),forallγ=abcd∈Γ0(q1q2).
Γ0(N)=abcd∈SL2(Z)c≡0(modN)PeriodicityofEχ1,χ2LetT=1101∈Γ0(q1q2).
ThenTz=1z+10z+1=z+1,soEχ1,χ2(z+1,s)=(0z+1)kχ1(1)χ2(1)Eχ1,χ2(z,s)=Eχ1,χ2(z,s).
PeriodicityofEχ1,χ2LetT=1101∈Γ0(q1q2).
ThenTz=1z+10z+1=z+1,soEχ1,χ2(z+1,s)=(0z+1)kχ1(1)χ2(1)Eχ1,χ2(z,s)=Eχ1,χ2(z,s).
Thus,Eχ1,χ2isperiodic.
FourierExpansionfortheCompletedEisensteinSeriesDenethecompletedEisensteinseriesasEχ1,χ2(z,s):=(q2/π)sikτ(χ2)Γ(s+k2)L(2s,χ1χ2)Eχ1,χ2(z,s)FourierExpansionfortheCompletedEisensteinSeriesDenethecompletedEisensteinseriesasEχ1,χ2(z,s):=(q2/π)sikτ(χ2)Γ(s+k2)L(2s,χ1χ2)Eχ1,χ2(z,s)TheFourierexpansionforthecompletedEisensteinseriesisEχ1,χ2(z,s)=eχ1,χ2(y,s)+n=0λχ1,χ2(n,s)|n|e2πinx·Γ(s+k2)Γ(s+k2sgn(n))Wk2sgn(n),s12(4π|n|y).
EvaluatingEχ1,χ2(z,s)atk=0ands=1Eχ1,χ2(z,1)=n>0e2πinz√nab=nχ1(a)χ2(b)ba12+χ2(1)n>0e2πinz√nab=nχ1(a)χ2(b)ba12Theη-functionandDedekindSumsη(z)=eπiz/12∞n=1(1e2πinz)Theη-functionandDedekindSumsη(z)=eπiz/12∞n=1(1e2πinz)logηaz+bcz+d=logη(z)+πia+d12c+s(d,c)+12log(i(cz+d))Theη-functionandDedekindSumsη(z)=eπiz/12∞n=1(1e2πinz)logηaz+bcz+d=logη(z)+πia+d12c+s(d,c)+12log(i(cz+d))s(h,k)=k1r=1rkhrkhrk12EvaluatingEχ1,χ2(z,s)atk=0ands=1Eχ1,χ2(z,1)=n>0e2πinz√nab=nχ1(a)χ2(b)ba12fχ1,χ2(z)+χ2(1)n>0e2πinz√nab=nχ1(a)χ2(b)ba12fχ1,χ2(z)EvaluatingEχ1,χ2(z,s)atk=0ands=1Eχ1,χ2(z,1)=n>0e2πinz√nab=nχ1(a)χ2(b)ba12fχ1,χ2(z)+χ2(1)n>0e2πinz√nab=nχ1(a)χ2(b)ba12fχ1,χ2(z)Wehavebeeninvestigatingthefunctionfχ1,χ2.
TransformationPropertiesoffχ1,χ2(z)Deneφχ1,χ2(γ,z):=fχ1,χ2(γz)ψ(γ)fχ1,χ2(z).
TransformationPropertiesoffχ1,χ2(z)Deneφχ1,χ2(γ,z):=fχ1,χ2(γz)ψ(γ)fχ1,χ2(z).
MainGoal.
Findanitesumformulaforφχ1,χ2.
Propertiesofφχ1,χ2Lemma1.
Thefunctionφχ1,χ2isindependentofz.
Propertiesofφχ1,χ2Lemma1.
Thefunctionφχ1,χ2isindependentofz.
Proof.
SinceEχ1,χ2(γz,1)=ψ(γ)Eχ1,χ2(z,1)andEχ1,χ2(z,1)=fχ1,χ2(z)+χ2(1)fχ1,χ2(z),φχ1,χ2(γ,z)=χ2(1)φχ1,χ2(γ,z).
Sinceφχ1,χ2isaholomorphicfunctionandφχ1,χ2isanantiholomorphicfunction,φχ1,χ2mustbeconstant.
Propertiesofφχ1,χ2Lemma1.
Thefunctionφχ1,χ2isindependentofz.
Proof.
SinceEχ1,χ2(γz,1)=ψ(γ)Eχ1,χ2(z,1)andEχ1,χ2(z,1)=fχ1,χ2(z)+χ2(1)fχ1,χ2(z),φχ1,χ2(γ,z)=χ2(1)φχ1,χ2(γ,z).
Sinceφχ1,χ2isaholomorphicfunctionandφχ1,χ2isanantiholomorphicfunction,φχ1,χ2mustbeconstant.
Fromnowon,wewillwriteφχ1,χ2(γ)insteadofφχ1,χ2(γ,z).
Propertiesofφχ1,χ2Lemma2.
Letγ1,γ2∈Γ0(q1q2).
Thenφχ1,χ2(γ1γ2)=φχ1,χ2(γ1)+ψ(γ1)φχ1,χ2(γ2).
Propertiesofφχ1,χ2Lemma2.
Letγ1,γ2∈Γ0(q1q2).
Thenφχ1,χ2(γ1γ2)=φχ1,χ2(γ1)+ψ(γ1)φχ1,χ2(γ2).
Proof.
Sinceψismultiplicative,φχ1,χ2(γ1γ2)=fχ1,χ2(γ1γ2z)ψ(γ1γ2)fχ1,χ2(z)=fχ1,χ2(γ1γ2z)ψ(γ1)ψ(γ2)fχ1,χ2(z)=fχ1,χ2(γ1γ2z)ψ(γ1)fχ1,χ2(γ2z)+ψ(γ1)fχ1,χ2(γ2z)ψ(γ1)ψ(γ2)fχ1,χ2(z)=φχ1,χ2(γ1)+ψ(γ1)φχ1,χ2(γ2).
MainTheoremTheorem.
Letγ=abcd∈Γ0(q1q2).
Thenφχ1,χ2(γ)=πiχ2(1)τ(χ1)j(modc)n(modq1)χ2(j)χ1(n)B1jcB1nq1ajc,whereB1(z)=zz12,z/∈Z0,otherwise,andτ(χ)=q1n=0χ(n)e2πinq,forχmoduloq.
CarnivalFunhouseProofofMainTheoremLetγ=abcd∈Γ0(q1q2).
Choosez=dc+ic2u∈Hforsomeu∈R,u=0.
Thenγz=ac+iu.
φχ1,χ2(γ)=limu→0+fχ1,χ2ac+iuψ(γ)fχ1,χ2dc+ic2uCarnivalFunhouseProofofMainTheoremLetγ=abcd∈Γ0(q1q2).
Choosez=dc+ic2u∈Hforsomeu∈R,u=0.
Thenγz=ac+iu.
φχ1,χ2(γ)=limu→0+fχ1,χ2ac+iuψ(γ)fχ1,χ2dc+ic2ulimu→0+fχ1,χ2dc+ic2u=0.
CarnivalFunhouseProofofMainTheoremLetγ=abcd∈Γ0(q1q2).
Choosez=dc+ic2u∈Hforsomeu∈R,u=0.
Thenγz=ac+iu.
φχ1,χ2(γ)=limu→0+fχ1,χ2ac+iuψ(γ)fχ1,χ2dc+ic2ulimu→0+fχ1,χ2dc+ic2u=0.
Thus,φχ1,χ2(γ)=limu→0+fχ1,χ2ac+iu.
CarnivalFunhouseProofofMainTheoremfχ1,χ2(z)=∞k=1∞l=1χ1(l)χ2(k)le2πiklz.
CarnivalFunhouseProofofMainTheoremfχ1,χ2(z)=∞k=1∞l=1χ1(l)χ2(k)le2πiklz.
Simplifyingfχ1,χ2andevaluatinglimu→0+fχ1,χ2ac+iu,wegetφχ1,χ2(γ)=χ2(1)∞l=1χ1(l)lj(modc)χ2(j)B1jce2πialjc.
CarnivalFunhouseProofofMainTheoremFromthetransformationpropertiesofEχ1,χ2,wehaveφχ1,χ2(γ)=12(φχ1,χ2(γ)χ2(1)φχ1,χ2(γ)).
Wesimplifythismoresymmetricversionofφχ1,χ2togetφχ1,χ2(γ)=πiχ2(1)τ(χ1)j(modc)n(modq1)χ2(j)χ1(n)B1jcB1nq1ajc.
SummaryofResultsWefounda"natural"proofforthegeneralizedDedekindsumformulawithDirichletcharacters.
SummaryofResultsWefounda"natural"proofforthegeneralizedDedekindsumformulawithDirichletcharacters.
WebeganwithanicerversionoftheEisensteinseries.
SummaryofResultsWefounda"natural"proofforthegeneralizedDedekindsumformulawithDirichletcharacters.
WebeganwithanicerversionoftheEisensteinseries.
WecalculatedthegeneralizedDedekindsumdirectlyfromtheFourierexpansionoftheEisensteinseries.
SummaryofResultsWefounda"natural"proofforthegeneralizedDedekindsumformulawithDirichletcharacters.
WebeganwithanicerversionoftheEisensteinseries.
WecalculatedthegeneralizedDedekindsumdirectlyfromtheFourierexpansionoftheEisensteinseries.
Withmoretime,wewouldliketocalculateareciprocitytheoremforourgeneralizedDedekindsum.
SummaryofResultsWefounda"natural"proofforthegeneralizedDedekindsumformulawithDirichletcharacters.
WebeganwithanicerversionoftheEisensteinseries.
WecalculatedthegeneralizedDedekindsumdirectlyfromtheFourierexpansionoftheEisensteinseries.
Withmoretime,wewouldliketocalculateareciprocitytheoremforourgeneralizedDedekindsum.
12hks(h,k)+12khs(k,h)=h2+k23hk+1References1.
T.
M.
Apostol,ModularFunctionsandDirichletSeriesinNumberTheory,Springer-VerlagNewYork,Inc.
,1976.
2.
B.
Berndt,CharacterTransformationFormulaeSimilartoThosefortheDedekindEta-Function,Proc.
Sym.
PureMath.
,No.
24,Amer.
Math.
Soc,Providence,(1973),9–30.
3.
M.
C.
Dagl,M.
Can,OnReciprocityFormulasforApostol'sDedekindSumsandtheirAnalogues,J.
IntegerSeq.
17(5)(2014),Article14.
5.
4,105–1244.
L.
Goldstein,DedekindSumsforaFuchsianGroup,I.
NagayaMath.
J.
50(1973),21–47.
5.
C.
Nagasaka,OnGeneralizedDedekindSumsAttachedtoDirichletCharacters,JournalofNumberTheory19(1984),no.
3,374–383.
6.
M.
Young,ExplicitCalculationswithEisensteinSeries.
arXiv:1710.
03624,(2017),1–37.
螢光云官網萤光云成立于2002年,是一家自有IDC的云厂商,主打高防云服务器产品。在国内有福州、北京、上海、台湾、香港CN2节点,还有华盛顿、河内、曼谷等海外节点。萤光云的高防云服务器自带50G防御,适合高防建站、游戏高防等业务。本次萤光云中秋云活动简单无套路,直接在原有价格上砍了一大刀,最低价格16元/月,而且有没有账户限制,新老客户都可以买,就是直接满满的诚意给大家送优惠了!官网首页:www....
A400互联怎么样?A400互联是一家成立于2020年的商家,A400互联是云服务器网(yuntue.com)首次发布的云主机商家。本次A400互联给大家带来的是,全新上线的香港节点,cmi+cn2线路,全场香港产品7折优惠,优惠码0711,A400互联,只为给你提供更快,更稳,更实惠的套餐,香港节点上线cn2+cmi线路云服务器,37.8元/季/1H/1G/10M/300G,云上日子,你我共享。...
今天下午遇到一个网友聊到他昨天新注册的一个域名,今天在去使用的时候发现域名居然不见。开始怀疑他昨天是否付款扣费,以及是否有实名认证过,毕竟我们在国内域名注册平台注册域名是需要实名认证的,大概3-5天内如果不验证那是不可以使用的。但是如果注册完毕的域名找不到那也是奇怪。同时我也有怀疑他是不是忘记记错账户。毕竟我们有很多朋友在某个商家注册很多账户,有时候自己都忘记是用哪个账户的。但是我们去找账户也不办...
dede标签为你推荐
刷网站权重如何刷流量才能提高网站权重在线漏洞检测漏洞扫描工具有哪些伪静态什么是伪静态网站?伪静态网站有什么优势镜像文件是什么系统镜像是什么淘宝店推广给淘宝店铺推广有什么好处?硬盘人硬盘是指什么人畅想中国畅想中国发展前景怎么点亮qq空间图标怎样点亮qq空间的图标xp系统停止服务XP停止服务后该怎么办?iphone6上市时间苹果6什么时候在中国大陆上市
日本私人vps 5折 z.com 国外空间服务商 iis安装教程 php探针 商家促销 丹弗 500m空间 anylink 老左正传 qq云端 免费申请个人网站 网游服务器 银盘服务是什么 学生服务器 网络速度 聚惠网 带宽测速 卡巴斯基免费版下载 更多