资源描述:
《p-shin teichmuller riron no kaisetsu (hokudai 2001-01)》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
1、AnIntroductiontop-adicTeichm¨ullerTheoryஓஉૼɟ1TheStackofNilcurves1.1ᙐእ࠹˴ƔǒƷmotivationஜራƴƭƍƯƸ[Ord],IntroǛӋༀŵXǛCɥƷhyperboliccurve(smooth,proper,connected,genusgminusrpoints2g−2+r≥0)ŴXǛ˄᨟ƢǔȪȸȞȳ᩿ƱƢǔŵؕஜ፭π1(X)ƕ୍ᢄᘮᙴX˜ƴ˺ဇƢǔŵKoebeƷɟॖܭྸX˜∼=H:={z∈C
2、Im(z)>0}Remark1.1.Mumford-SchottkyɟॖƱƸᢌƏŵբ᫆ᲴƜǕƷpᡶ˩ƕDŽƠƍŵpᡶႎƴৢ
3、ƏƨNJƴɥƷܭྸƷˊૠႎƳᢿЎǛӕǓЈƢŵπ1(X)→PSL2(R)→PGL2(C)ƔǒᲢPSL2(R)ƸHƷദЩᐯࠁӷ፭μ˳ƱLjƳƤǔᲣ(XטP1)/π(X)→X˜/π(X)C11ǛࢽǔŵƜƷˊૠǛP→XƱƢǔŵH∼=X˜→XטP1CǑǓsectionσ:X→PƱዓ∇PƕܭLJǓŴ∼∗-Spencermorphism∇P(σ):τX→στP/XƸӷƱƳǔŵƜƷǑƏƳ(P,∇P)ǛஊளᲢindigenousbundleᲦ᳃ᲣƱƍƏŵ᳃μ˳ƸH0(X,ω⊗2)ɥƷtorsorƴƳƬƯƍǔᲢr=0ƷƱƖᲣᲴXS¯g,r→M¯g,r1logƸΩM¯-torsorŵƜƜưŴS¯g
4、,r,M¯g,rƸƦǕƧǕstablecurve+IB,type(g,r)g,rstablecurveƷmoduliᆰ᧓ŵKoebeƷɟॖƔǒแႎᲢcanonicalᲣƳܱᚐௌႎƳЏૺƕܭLJǔᲴsH(S¯g,r)C(M¯g,r)CƜǕƷpᡶ˩ƕDŽƠƍ1.2ஊளƷؕஜႎࣱឋᛇƠƘƸ[Ord],Ch.I,§1,2ǛӋༀŵ1.2.1ܭ፯f:X→SǛproper,smooth,genusgcurveƷଈƱƢǔᲢቇҥƷƨNJr=0)ŵπ1Definition1.2.(P→X,∇P)ƕஊளᲢ᳃ᲣưƋǔƱƸŴዓ˄ƖP-ȐȳȉȫưƋƬƯŴƋǔЏૺσ:X→Pƕ܍נƠƯ∇P(σ):τX→σ∗τP/
5、XƕӷưƋǔƜƱǛƍƏŵRemark1.3.ƭLJǓlocalƴƸɟॖƴƳƬƯƍǔƱƍƏƜƱŵ1.2.2Filtration&deRhamcohomologyA=Ad(P)=π∗τP/XƱƓƘŵƜǕƸXɥƷȩȳǯᲭƷșǯȈȫளưŴޅႎƴsl2ƱӷƳLieƷನᡯǛNjƭŵഏƷࡸπ(τ)iσ∗τ∼=τ∗P/XP/XXj2∼=OKeri(Iσ/Iσ)⊗τP/XX∼=Kerj(I2/I3)⊗τ∼=ωσσP/XXƔǒAƷfiltrationƕᛔƞǕǔᲴ(F−1/F0)(A)=τ,(F0/F1)(A)=O,(F1/F2)(A)=ω.XXX.ƠƨƕƬƯŴRfDR,∗(A,∇A)
6、ƴfiltrationƕᛔƞǕǔŵ2Proposition1.4.i=1ƷƱƖŴRif(A,∇)=0.DR,∗Ai=1ƷƱƖഏƷܦμኒЗƕƋǔ:0→fω⊗2→R1f(A,∇)→R1fτ→0.∗XDR,∗A∗XᇹɟᲢᇹʚŴᇹɤᲣƸ᳃ƱƠƯƷ٭࢟Ტ(P,∇P)Ʒ٭࢟ŴXƷКƷ٭࢟Ʒ᳃ƱƳǔ٭࢟ᲣǛᚘǔŵᇹʚƔǒᇹɤǁƷϙƸcurveƷ٭࢟ưƋƬƯ(P,∇P)ƕƦƷ٭࢟ɥ᳃ƱƳǔNjƷǛݣࣖƞƤǔŵ1.2.3FormaluniformizationഏƷࡸǛᙸǔŵӷϙƸ∇PƷ࢟ࡸᆢЎƴǑǔᲵσƸ᳃Ǜܭ፯ƢǔƱƖƴྵǕǔsectionŵ∼=π∗Pπ∗P12
7、π∗σ1PDX×SXPπ2π1XXDǛπ2ƴǑǔOƷpush-forwardƱƢǔŵӳǛƱǔƱɦƷໜዴƷݧƕưƖǔᲴXσdSpecDPXPDƜƜưdƸdiagonalX→X×SXƔǒƘǔNjƷŵƜǕƔǒŴ࢟ࡸɟॖƕࢽǒǕǔᲴξOˆPD@σ→∼D.PӷưƋǔƜƱƸŴI/I2I/I2σσDD∼=σ∗ωωP/XX3ƔǒǘƔǔŵƜƜưɦƷӷƸ-SpencerƔǒŵCorollary1.5.[3]P∼=P(ID/ID)ƭ
8、LJǓŴ᳃Ƹ∇PưൿLJǔŵProof.P∼=P(I/I[3])(P1-bundleƷtautology)σσ∼=P(I/I[3])(formaluniformizationǑǓ)DDCorollary1.6.⊗2{᳃μ˳}=(f∗ωX)-torsorProof.0I[2]/I[3]I/I[3]I/I[2]0DDDDDD∼=∼=ω⊗2ωXX∇,∇ǛʚƭƷዓƱƢǔƱŴ∇−∇∈F0(Ad(I/I[3]))⊗