arXiv:0802.3842v4 [math.SG] 16 Aug 2009

arXiv:0802.3842v4 [math.SG] 16 Aug 2009

AUTOMATICTRANSVERSALITY AND ORBIFOLDS OF

PUNCTURED HOLOMORPHICCURVES IN DIMENSION

FOUR

CHRISWENDL

Abstrat. WederiveanumerialriterionforJ{holomorphiurves

in4{dimensionalsympletiobordismstoahievetransversalitywith-

outanygeneriityassumption.ThisgeneralizesresultsofHofer-Lizan-

Sikorav[HLS97℄andIvashkovih-Shevhishin[IS99℄toallowpuntured

urveswithboundarythatgenerallyneednotbesomewhereinjetive

orimmersed.Asanappliation,weombinethiswiththeintersetion

theoryofpunturedholomorphiurvestoprovethatertaingeomet-

riallynaturalmodulispaesaregloballysmoothorbifolds,onsisting

generiallyofembeddedurves,plusunbranhedmultipleoversthat

formisolatedorbifoldsingularities.

Contents

1. Introdution 2

1.1. Thesetting 3

1.2. Loalandglobaltransversalityresults 7

1.3. Outlineoftheproofs 10

2. Cauhy-Riemanntypeoperatorsonbundles 12

2.1. Generalities 12

2.2. Thelinebundlease 15

3. Thenormaloperatorforaholomorphiurve 18

3.1. TeihmullersliesandCauhy-Riemannoperators 18

3.2. Funtionalanalytisetup 23

3.3. Thegeneralizednormalbundle 30

3.4. Splittingthelinearization 33

3.5. Thetransversalityriterionindimensionfour 38

4. Appliationtospaesofembeddedurves 38

4.1. Intersetiontheoryforpunturedholomorphiurves 39

4.2. Someoveringrelations 43

4.3. Multiplyoveredlimitsareimmersed 47

AppendixA. Countingboundaryzeros 55

Referenes 57

2000MathematisSubjetClassiation.Primary32Q65;Seondary57R17.

ResearhpartiallysupportedbyanNSFPostdotoralFellowship(DMS-0603500)and

aDFGgrant(CI45/2-1).

1. Introdution

Appliationsofpseudoholomorphiurvesinsympleti4{manifoldsand

ontat3{manifoldsoftendependontheratherspeialtransversalityprop-

ertiesthatexistinthislow-dimensionalsetting. Unlikethegeneralsitua-

tion,wherethemodulispaeissmoothonlyatsomewhereinjetiveurves

andonlyforgeneridata,ertainmodulispaesindimension4aresmooth

foralldataaslongastherightnumerialriteriaaresatised.Forexam-

ple, suppose(W;J)is any almostomplex4{manifold,(;j)isa losed

Riemannsurfaeofgenusg andu:(;j)!(W;J)isapseudoholomor-

phiurve. Thefollowingresultwasrstmentionedby Gromov[Gro85℄,

andlatergivenaompleteproofbyHofer-Lizan-Sikorav:

Theorem([HLS97℄).Ifuisembeddedand

1 (u

TW;J)>0,thenthemod-

ulispaeofunparametrizedpseudoholomorphiurvesnearuisasmooth

manifoldofdimension2

1 (u

TW;J)+2g 2.

Observe thatthe assumptionsinthetheoremdonotrequireanydata

to be generi: rather,theriterion

1 (u

TW)>0 impliesregularityfor

uniquely 4{dimensionalreasons that are looselyrelated to positivity of

intersetions. Thedimensionofthemodulispaeisthenequaltoitsso-

alled virtualdimension,alsoalledthe index ofu,dened asind(u)=

2

1 (u

TW)+2g 2. Thus

1 (u

TW)>0isequivalenttotheondition

ind(u)>2g 2,whihleadsonetosummarizeresultsofthistypewith

themotto,\themodulispaeissmoothiftheindexissuÆiently large."

Exatlyhowlargetheindexneedstobedependsonthegenus:thisisthe

reasonwhyalmostallappliationsofsuhresults(inludingtheoneinthis

paper)prinipallyinvolveurvesofgenuszero.

Versionsofthetheoremaboveforompatimmersedholomorphiurves

withboundarywereprovedin [HLS97℄,andsimilarresultsforimmersed

punturedurvesinsympletizationsofontat3{manifoldsalsoappeared

in[HWZ99,Wen05 ℄. Thereasonfordealingwithimmersedurvesinpar-

tiularwasthatoneouldthendesribeaneighborhoodofuinthemoduli

spaeusingsetionsofitsnormalbundleandthusreduethelinearization

to the so-alled normal Cauhy-Riemann operator. The key fat about

this operator isthatitsdomainis aspaeofsetionson aomplexline

bundle, thus thezeroes ofthese setionsanbe ounted andrelated to

the sametopologialinvariantsthatappearin theindexformula,giving

risetoonstraintsonthekernelandokernel. Ageneralizationforlosed

holomorphiurveswithritialpointswasarriedoutin[IS99℄,wherethe

normalbundlewasreplaedbyanormalsheaf.

In this paper, we establish a transversality riterionthat generalizes

alloftheaboveresults,applyingtoarbitraryJ{holomorphiurveswith

totally real boundary and ylindrial ends in 4{dimensional sympleti

obordisms.

Oneoftheadvantagesofthisapproahtotransversalityis thatitap-

pliestomorethanjustsomewhereinjetiveurves: inx4,wewilldesribe

asettinginwhihourriterion,ombinedwithsomenontrivialinterse-

tiontheory,impliesthatertainmodulispaesaresmoothorbifolds,whih

onsistmostlyofembeddedholomorphiurvesbutalsohaveisolatedsin-

gularitiesonsistingofunbranhedmultipleoversoverembeddedurves.

Thesemodulispaesarisequitenaturallyinageometrisetting:theyare

thebuildingbloksofJ{holomorphifoliations,f.[HWZ03,Wen08℄.

1.1. Thesetting. Letn2. Inallofwhatfollows,(W;J)willdenote

a2n{dimensional almostomplexmanifoldwith nonompatylindrial

ends,whihapproah(2n 1){manifoldsM

equippedwithstableHamil-

tonianstrutures.Wenowreallthepreisedenitions.

WeusethetermstableHamiltonianstruturetomeantheolletionof

datathatwereintroduedin[BEH +

03℄astheappropriatesettingforpseu-

doholomorphiurvesin ylindrialmanifolds. Namely, suhastruture

H=(;X;!;J)ona(2n 1){manifoldMonsistsofthefollowingdata:

1

isasmoothoorientedhyperplanedistributiononM

!isasmoothlosed2{formonM whihrestritstoasympleti

strutureonthevetorbundle!M

Xisasmoothvetoreldwhihistransverseto,satises!(X;)

0,andwhoseowpreserves

Jisasmoothomplexstrutureonthebundle!M,ompatible

with!inthesensethat!(;J)denesabundlemetri

Notethat,asaonsequeneofthese denitions,the ow' t

X

:M !M

ofXalsopreservesthesympletistruture!j

,andthespeial1{form

assoiatedtoandX bytheonditions

(X)1; ker;

satisesd(X;)0. Thesympletization RM nowadmitsanatural

R{invariantalmostomplexstruture

~

J,denedbytheonditions

~

J

a

=X;

~

Jj

=J

whereadenotestheoordinateontheR{fatorand

a

2T(RM)isthe

orrespondingunitvetoreld.

ReallthataT{periodiorbitx:R !M isnondegenerate ifthelin-

earizedreturnmapd' T

X (x(0))j

x(0)

doesnothave1asaneigenvalue.More

generally, a Morse-Bott manifold of T{periodi orbits is a submanifold

NM tangenttoXsuhthat' T

X j

N

istheidentity,andforallp2N,

T

p

N=ker d' T

X (p)

1

:

1

TheinlusionofJinthedataissomewhatnonstandardbutonvenientforour

purposes. Thedata(;X;!)areequivalenttothedenitionofaframedHamiltonian

struturestatedin[EKP06℄,withtheexeptionthatthelatterrequires!tobeexat;

We willsaythatanorbit withperiodT is Morse-Bott ifit isontained

in a Morse-Bottmanifoldof T{periodiorbits; note that this manifold

ouldbeairle,meaningtheorbitisnondegenerate. Moreover,X itself

issaidtobeMorse-Bott(ornondegenerate)ifeveryperiodiorbitofX is

Morse-Bott(ornondegenerate).

Wenowxtwolosed(2n 1){manifoldsM

withstableHamiltonian

struturesH

=(

;X

;!

;J

)andassoiateddata

and

~

J

,aswell

asanalmostomplex2n{manifold(W;J)whihdeomposes

W=E [

M W

0 [

M+

E

+

sothat

W

0

isaompat2n{manifoldwithboundaryW

0

=M tM

+

(E ;J)

=(( 1;0℄M ;

~

J )and(E

+

;J)

=([0;1)M

+

;

~

J

+ )

FixalsoatotallyrealsubmanifoldLW.

NearE

E

, the data H

dene naturalsympleti forms !

+

d(a

)whihanbe extended(non-uniquely)over E

. Thengiven any

sympletiform!onW

0

thatattahessmoothlyto!

+d(a

)atW

0 ,

wedenotebyJ

! (W;H

+

;H )thespaeofalmostomplexstruturesJon

W thatareompatiblewith!onW0andsatisfytheonditionsabove.

2

Wewillonsiderpseudoholomorphi(orJ{holomorphi)urves

u:( _

;j)!(W;J);

where _

=n , (;j) is a ompatonnetedRiemannsurfaewith

boundary, intis anitesetofinteriorpuntures, 3

andbydeni-

tion usatises thenonlinearCauhy-RiemannequationTuÆj=JÆTu

andboundaryonditionu()L. We alsowillassumeuisasymptoti-

allyylindrial,whihmeansthefollowing. Partitionthepunturesinto

positiveandnegativesubsets

= +

[ ;

andateahz2

,hooseabiholomorphiidentiationofapuntured

neighborhoodofzwiththehalf-ylinderZ

,where

Z

+

=[0;1)S 1

and Z =( 1;0℄S 1

:

Then writingunearthepuntureinylindrialoordinates(s;t),forjsj

suÆientlylarge,itsatisesanasymptotiformulaoftheform

uÆ'(s;t)=exp

(Ts;x(Tt))

h(s;t)2E

:

Here T > 0 is a onstant, x : R ! M

is a T{periodi orbit of X

,

the exponential map is dened with respet to any R{invariant metri

2

Thesympletiform!willplayalmostnoroleinanythingthatfollows,butbeomes

importantinappliations,e.g.ityieldsompatnessresultsasin[BEH +

03℄.

3

Forbrevitywe'releavingouttheaseofpunturesontheboundary,thoughthis

on RM

, h(s;t) 2

x(Tt)

goes to 0 uniformlyin t as s ! 1 and

':Z

!Z

isasmoothembeddingsuhthat

'(s;t) (s+s

0

;t+t

0 )!0

ass!1forsomeonstantss

0 2R,t

0 2S

1

. Wewilldenoteby

z the

T{periodiorbitparametrizedbyx, andallittheasymptotiorbit ofu

atthepunturez. Withthisasymptotibehaviorinmind,itisonvenient

tothinkof( _

;j)asaRiemannsurfaewithylindrialends,andwewill

sometimesrefertoneighborhoodsofthepunturesasendsof _

. Asiswell

known (f.[Hof93,HWZ96℄),the asymptotiallyylindrial holomorphi

urves in (W;J)arepreiselythose whihsatisfyaertain niteenergy

ondition,thoughwewillnotneedthisfathere.

Denote by M := M(J;L) themodulispaeof equivalene lasses of

asymptotiallyylindrialJ{holomorphiurvesinWwithboundaryonL;

here an equivalene lass is dened by the data (;j; ;u) where is

onsideredtobeanorderedset,andwedene(;j; ;u)( 0

;j 0

; 0

;u 0

)if

thereexistsabiholomorphimap':(;j)!( 0

;j 0

)taking to 0

with

theorderingpreserved,suhthatu=u 0

Æ'.Weshalloftenabusenotation

andwriteu2 Mor(;j; ;u)2 Mwhen we mean[(;j; ;u)℄2 M.

Themodulispaehasanaturaltopologydenedby C 1

lo

{onvergeneon

_

anduniformonvergeneuptotheends. Forany u2 M,denoteby

M

u

theonnetedomponentofMontainingu.

Itisofteninterestingtoonsider subspaesofMdenedbyimposing

onstraintsontheasymptotibehavioratsomeofthepuntures.

Denition1.1. Foragivenpunturedsurfae _

=n( +

[ ),let

denoteahoieofperiodiorbit

z inM

forsomesubsetofpuntures

z2

. Weallahoieofasymptotionstraints, 4

andrefer toeah

punturezforwhihspeiesanorbit

z

asaonstrainedpunture.

Foranyhoieofdomain _

andasymptotionstraints,weanonsider

theonstrainedmodulispae

M

M

onsistingof urves u: _

!W thatapproahthe speiedorbit

z at

eahoftheonstrainedpunturesz2 , andarbitraryorbitsattheun-

onstrainedpuntures. Theonstraintsdeneanotherpartitionof ,

=

C [

U

4

Oneanimposemorestringentonstraintsaswell,e.g.ontherateatwhihuon-

vergestoitsasymptotiorbits;suhonstraintsaretreatedin[Wenb ,Wena℄.Another

possibilityistoallowmarkedpointsthatmaptospeiedpointsintheimage,perhaps

withuspsofpresribedorder,asin[Bar00,Fra05℄.Weomitallthesepossibilitieshere

intothesetsofonstrainedandunonstrainedpunturesrespetively. The

positiveandnegativesubsetswithineahofthesewillbe denotedby

C

and

U .

IftheasymptotiorbitsofuareallMorse-Bott,thentheso-alledvirtual

dimension ofM

u

isgivenbytheFredholmindex

(1.1) ind(u;)=(n 3)(

_

)+2

1 (u

TW)+

(u;)

where

1 (u

TW)istherelativerstChernnumberof(u

TW;J)! _

with

respettoasuitablehoieoftrivializationalongtheendsandboundary,

and

(u;)isasumofConley-Zehnderindiesoftheasymptotiorbits

andaMaslovindexattheboundarywithrespetto;apreisedenition

willbegiveninx3.2.

Asweshallreviewinmoredetailinx3,thenonlinearCauhy-Riemann

equationanbeexpressedasasmoothsetionofaBanahspaebundle

J

:B!E:(j;u)7!Tu+JÆTuÆj;

suhthataneighborhoodofanynon-onstant(;j; ;u)inM

isinone-

to-oneorrespondenewith

1

J

(0)=Aut(

_

;j),wherethegroupAut(

_

;j)

of biholomorphimaps (;j) ! (;j) xing ats on pairs (j 0

;u 0

) 2

1

J (0)by

'(j 0

;u 0

)=('

j 0

;u 0

Æ'):

Itisthenstandardtosaythat(;j; ;u)2Misregularifitrepresentsa

transverseintersetionwiththezero-setion,i.e. thelinearization

D

J (j;u):T

(j;u) B!E

(j;u)

issurjetive. Wewillgiveapreisedenitioninx3.2onethefuntional

analyti setupis in plae. Observe thatif u: _

!W is notonstant,

thentheationofAut ( _

;j)induesanaturalinlusionofitsLiealgebra

aut(

_

;j)intokerD

J

(j;u). Forthesakeofompleteness,wewillpresent

inx3.2aproofofthefollowingstandardfolktheorem:

Theorem0. Assumeu:( _

;j)!(W;J)isanon-onstanturveinM

withonlyMorse-Bottasymptotiorbits.Ifuisregular,thenaneighborhood

ofuinM

naturallyadmitsthestrutureofasmoothorbifoldofdimension

ind(u;),whoseisotropygroupatuis

Aut (u):=f'2Aut(

_

;j)ju=uÆ'g;

andthereisanaturalisomorphism

T

u M

=kerD

J

(j;u)=aut(

_

;j):

In partiular,regularity implies thatM

is amanifoldnear u ifu is

somewhereinjetive,andingeneraltheisotropygroupforanorbifoldsin-

gularity has orderboundedby the overing numberof u. Notethat in

shallinthispaperbeespeiallyinterestedinaseswhereuahievesreg-

ularitydespitebeingmultiplyovered,sothemodulispaeissmoothbut

maybeanorbifoldratherthanamanifold.

IntheasedimW=4,anothernumberthatturnsouttoplayanimpor-

tantroleistheso-allednormalrstChernnumber

N (u;)2

1

2 Z,whih

anbedenedmostsimplyviatheformula

(1.2) 2

N

(u;)=ind(u;) 2+2g+#

0 ()+#

0 ():

Heregisthegenusofand 0() isthesubsetofpunturesforwhih

theasymptotiorbit haseven Conley-Zehnderindex(thisis theorret

denitionifallorbitsarenondegenerate;intheMorse-Bottasethede-

nitionismoreompliatedandmaydependontheasymptotionstraints,

seex3.2).Wewillbeabletogiveabettermotivateddenitioninx3.5using

thelineartheoryinx2,butfornow,thesignianeof

N

(u;)anbeillus-

tratedbyonsideringtheasewhereislosedand =;.Thenaombi-

nationof(1.1)and(1.2)yieldstherelation

N

(u;)=

1 (u

TW) (),

so

N

(u;)istherstChernnumberofthenormalbundleifuisimmersed.

Thisistheappropriatephilosophialinterpretationof

N

(u;)ingeneral,

aswillbeomeobviousfromfurtheronsiderations.

Asanalpieeofpreparation,notethatsineanon-onstantholomor-

phiurve u: _

!W isneessarilyimmersedneartheends,itanhave

atmostnitelymanyritialpoints. Indeed,aswewillreviewinx3.3,the

bundleu

TW! _

admitsanaturalholomorphistruturesuhthatthe

setion

du2 (Hom

C (T

_

;u

TW))

isholomorphi;itsritialpointsarethusisolatedandhavepositiveorder,

whihwedenotebyord(du;z)foranyz2Crit(u). Thequantity

(1.3) Z(du):=

X

z2du 1

(0)\int _

ord(du;z)+ 1

2 X

z2du 1

(0)\

ord(du;z)

isthereforeanitenonnegativehalf-integer(orintegerif=;),andit

equalszeroifandonlyifuisimmersed.

1.2. Loalandglobal transversalityresults. Wenowstatethemain

resultofthispaper.Thefollowingwillbeaonvenientpieeofshorthand

notation: if6=;,thenforgivenonstants2RandG0,denethe

nonnegativeinteger

K(;G)=minfk+`jk;`nonnegativeintegers,

kGand2k+`>2g:

(1.4)

If=;wemodifythisdenitionslightlyby requiringtheinteger`to

beeven.Notethatinmostappliationsknowntotheauthor,itwillturn

Theorem1.SupposedimW=4and(;j; ;u)2M

isanon-onstant

urvewithonlyMorse-Bottasymptotiorbits.If

(1.5) ind(u;)>

N

(u;)+Z(du);

thenuisregular.Moreoverwhenthisonditionisnotsatised,wehavethe

followingboundsonthedimensionofkerD

J(j;u): ifind(u;)2Z(du)

then

2Z(du)dim

kerD

J

(j;u)=aut(

_

;j)

2Z(du)+K(

N

(u;) Z(du);#

0 ())

andif2Z(du)ind(u;),then

ind(u;)dim

kerD

J

(j;u)=aut(

_

;j)

ind(u;)+K(N(u;)+Z(du) ind(u;);# 0()):

Remark 1.2.Plugginginthedenitionof

N

(u;)andtheindexformula,

theondition(1.5)isequivalentto

ind(u;)>2g+#

0 ()+#

0

() 2+2Z(du);

or

2

1 (u

TW)+

(u;)+#

1

()>2Z(du);

where 1():= n 0(). Thesearediretgeneralizationsoftheriteria

in[HLS97,Wen05,IS99℄.

Remark 1.3. An importantspeial ase of the dimensionbound, whih

we will use in the appliation, appears when

N

(u;) < Z(du): then

K(

N

(u;) Z(du);#

0

()) = 0, so dimker D

J (j;u)

= 2Z(du), its

smallestpossiblevalue.

Resultsof thistype have beenused previously fora variety ofappli-

ations, inluding disklling and deformation arguments in ontat 3{

manifolds [Hof93,HWZ95b,Wen08℄, andthe sympletiisotopy problem

[She01,Sik03℄.Inthelastsetionofthispaper,wewilluseourgeneraliza-

tiontoproveasomewhatsurprisingglobalstruturetheoremforertainge-

ometriallynaturalmodulispaesofholomorphiurvesin4{dimensional

sympletiobordisms.

Tomotivatethis,onsiderforamomenttheaseofalosedholomorphi

urveu:!Wthatsatisestheriterionind(u)>

N

(u)+Z(du). We

knowthenthatMissmoothinsomeneighborhoodofu,butideallyone

wouldliketoknowthattheentireonnetedomponentM

u

issmooth. In

generalthiswillnotbetrue,asotherurvesinM

u

mayhavemoreritial

pointsand thusfail tosatisfy theriterion. One favorite way toevade

thisissueisbyassumingthatuisembedded: thentheadjuntionformula

(f.[MS04℄)guaranteesthatallsomewhereinjetiveurves u 0

2M

u are

0

thatunlessoneimposesadditionalrestritiveonditionsonthehomology

lass[u℄2H

2

(W),noteveryurve inM

u

needbesomewhereinjetive:

asequeneofembeddedurves mayonvergetoabranhedover,whih

willnotalways beregularsineitsbranhpointsareritial. ThusM

u

mayfailtobegloballysmoothifitontainsbranhedovers,andthereis

nowaytoavoidthisingeneral.

5

Thesurprising fat isthat ifwe imposeanadditional, rathernatural

intersetion-theoretiondition onu,thenthemultipleovers thatarise

turnouttobe\harmless": eventhemultipleoversareregular,andM

u

isthusgloballysmooth. Theonditioninquestionarisesfromthestudy

ofJ{holomorphifoliations:inpartiular,wefousonpunturedembed-

ded urves u: _

!W thatexistin 1{or 2{dimensionalfamilies (with

respettosomeonstraints)andhavethepropertyofneverinterseting

theirneighbors, i.e.these familiesfoliateeither anopenset ora hyper-

surfaeontainingu(

_

)W. Aompleteharaterizationofsuhurves

isgivenin[Wenb ℄andwillbereviewedinx4;werefertothemasstable,

nielyembeddedurves. Ifuissuhaurve,thenitautomatiallysatises

theriterionofTheorem1,thustheloalstrutureofM

u

nearuiswell

understood,butonestillhastheglobalquestion:

Question.Canasequeneofstable,nielyembeddedurvesonvergetoa

multipleover?

Iftheanswerisno,thenM

u

isasmoothmanifold,andwe'llshowthat

thisisindeedtheasewheneverWisanR{invariantsympletization(with

generiJ)ora losedsympletimanifold. Ingeneral, itturnsoutthat

multipleoversanappear,butonlyiftheyareimmersed,in whihase

theregularityriterionisstillsatised.Theproofofthisfatwillmakeuse

ofourtransversalityargumentsfornon-immersedurves, establishingin

eetthatanyomponentofM

ontainingsuhanon-immersedmultiple

overanonsistonlyofmultipleovers.Theresultis:

Theorem2.ForgeneriJ,ifu2M

isastable,nielyembeddedurve,

theneveryurveinM

u

isregular:inpartiularM

u

naturallyadmitsthe

strutureof asmoothorbifoldof dimensionind(u;)2f1;2g,withonly

isolated singularities. Moreover, all urves inM

u

are embedded exept

foradisretesubset,onsistingofunbranhedmultipleoversoverstable,

nielyembeddedindex0urves,andtheimagesofanytwourvesinM

u

areeitheridentialordisjoint.

Thiswillfollowfromamoregeneralresult(Theorem4)provedinx4,

whihappliesalsotoparametrizedmodulispaesunderagenerihomotopy

ofalmostomplexstrutures. Asasimpleorollary,weobserve thetwo

aforementionedaseswheretheanswertothequestionposedaboveisno:

5

Notethatmultiplyoveredurvesalsoposeaprobleminthestandardtransversality

theory,butforompletelydierentreasons.

Corollary 1.4. Forthe urveu : _

! W in Theorem 2, supposethat

either

_

isalosedRiemannsurfae(withoutpuntures),or

(W;J)=(RM;

~

J)isthe sympletizationof a 3{manifoldwith

stableHamiltonianstrutureH=(X;;!;J),whereJisgeneri.

TheneveryurveinM

u

isembedded,thusM

u

isamanifold.

Proof.For theR{invariantsympletization(RM;

~

J),a multipleover

u=vÆ'wouldrequireasomewhereinjetive urvevofindex0,whih

doesn'texistifJ isgeneri. Thereasoninginthelosedaseisdierent:

itdependsonthefatthat,aswe'llshowinx4.3,stablenielyembedded

urvesalwayshavegenuszero. Then'mustbeaholomorphimapS 2

!

S 2

withnobranhpoints,ontraditingtheRiemann-Hurwitzformula.

Unbranhedmultipleoversananddoappearingeneralif _

haspun-

turesand(W;J)isanon-ylindrialmanifold,e.g.anontrivialsympleti

obordism. Wewillshowanexampleattheendofx4,wheretheresulting

olletionofurvesatuallyfoliatesW.

ThephenomenonillustratedbyTheorem2ontrastswiththemoregen-

eralstudyofholomorphiurves,e.g.inSympletiFieldTheory,where

transversality anonlybe ahievedin generalbyabstratperturbations.

Suhperturbationsusuallydestroymanyoftheniegeometriproperties

ofholomorphiurves|suhaspositivityofintersetions|butthephiloso-

phyhereisthatforurvesthatareespeiallynieinsomegeometrisense,

preiselythese niepropertiesmake abstratperturbations unneessary.

Inpartiular,thetheoremispartofalargerprogramoutlinedin[Wena ℄,

toprovethattheompatiedmodulispaesofurvesthatanourin

foliationsalwayshave anieglobalstruture: in priniple,afterproving

a suitableompatnesstheoremforthis\nie"lassofurves, transver-

salityshouldalwaysfollow\forfree". Suhresultsareneessarytoolsin

thegeneraltheoryofJ{holomorphifoliations,asonewouldliketoprove

thatthesefoliationsanalwaysbearriedthroughundervarioustypesof

homotopiesandstrethingarguments. The situationisalreadywellun-

derstoodin theR{invariantasedueto[Wena ℄,andTheorem2 maybe

seenasa partialresult inthediretionofgeneralizingthatompatness

theorem tosympletiobordisms. (SeeExample 4.22and Remark4.23

foranideaofwhatsuhageneralizationmightlooklike.)

1.3. Outlineoftheproofs. ThetehnialbakboneofTheorem1isthe

analysisof the normalCauhy-Riemann operator D N

u

assoiated to any

holomorphiurveu: _

!W. Aswewillreall,thisiswelldenedeven

ifuhasritialpoints,beausetherealwaysexistsasplitting

u

TW=T N

suhthat(T

u )

z

istheimageofT

z _

underduatallregularpointsz. The

domainofD N

u

isthenaspaeofsetionsofN

u

,aomplexlinebundle.We

desribetherequiredlineartheoryofsuhoperatorsinx2,givingriteria

thatguaranteesurjetivity ofD N

u

aswellasboundsonthedimensionof

itskernel.

ThenextstepisthentorelatetheoperatorD N

u

tothenonlinearproblem.

In theimmersed ase, the traditionalapproah(f.[HLS97,HWZ99℄)is

tosetupthenonlinear problemtodetetJ{invariantmaps thatanbe

expressedassetionsofthenormalbundleofagivensolutionu,inwhih

asethelinearizationisequivalenttoD N

u

. Thisisnolongerpossiblewhen

uhasritialpoints;IvashkovihandShevhishinin[IS99℄dealtwiththis

diÆultybyreplaingthenormalbundlewithanormalsheaf andproving

thatuisregularifandonlyifD N

u

issurjetive. Ourapproahtakessome

inspirationfromtheirsbutislessalgebraiandmoreanalytialinavor,as

weavoidanyreferenetosheavesandexatsequenesinfavorofBanah

spaesplittingsandFredholmoperators.Unlike[HLS97,HWZ99 ℄,wetreat

thenonlinearprobleminthewaythatisstandardforarbitrarydimensions,

asasetion

J

:T B!E

ofasuitableBanahspaebundle,whereBisa(globallydened)Banah

manifoldofmaps _

!W (inludingreparametrizations)andT isa(lo-

allydened)nitedimensionalspaeofomplexstruturesparametrizing

onopensubsetinthe Teihmullerspaeof _

. We willusethe splitting

u

TW =T

u N

u

andsomepropertiesofthestandardCauhy-Riemann

operator on (T _

) to give a preise relation(Theorem 3) between the

kernelsandimagesofD

J

(j;u)andD N

u

inarbitrarydimensions. Aon-

sequeneisthefatthateahoftheseoperatorsissurjetiveifandonlyif

theotheris.

AsfortheproofofTheorem2: assumeu

n

isasequeneofstable,niely

embeddedurvesonvergingtoamultipleoveru=vÆ',wherevissome-

whereinjetive.Weobserverstthattheembeddedurvesu

n

neessarily

satisfytheriterionofTheorem1,sothiswillremaintrueforthelimitu

unlessitaquiresritialpoints. Themaintaskthenistoshowthatuis

immersed,andthekernelboundsinTheorem1fornon-immersedurves

turnouttobeausefultoolinprovingthis.Therststepistoshowthat

theunderlyingsimpleurvevisembeddedandhasindex0:thisfollowsby

aarefulappliationoftheintersetiontheoryofpunturedholomorphi

urves,whihwereviewatthebeginningofx4. Notethatthisistheonly

pointintheargumentatwhihweassumeJtobegeneri: it'sneessaryto

obtainalowerboundontheindexofvandthusonitsrelatedintersetion

invariants,butitwillnotberequiredinprovingtransversalityforu.With

thisestablished,ritialpointsofuariseonlyfrombranhpointsofthe

over',heneZ(du)=Z(d'),i.e.theramiationnumberof'.Nowthe

dimensionboundin Theorem1 turnsouttoimplythataneighborhood

of uinM

u

\livesinside aspaeofdimensionatmost2Z(du)"; we will

makethisstatementpreiselaterusingtheimpliitfuntiontheorem.But

if Z(du)>0,thenthespaeof holomorphibranhed overs homotopi

to'isnontrivialandhaspreiselythisdimension,whihyieldsa2Z(du){

dimensionalsmoothsubmanifoldofM

u

ontainingu.Itfollowsthatthis

desribesaneighborhoodofuinM

u

,soanysequeneofurvesonverging

toumustthenhavetheformu

n

=vÆ'

n

,i.e.theyareallmultipleovers

withthesameimage,andthisisaontradition.

Aknowledgments. Many thanks toDenisAuroux, Kai Cieliebak,Oliver

Fabert, Helmut Hofer, SamLisi, Klaus Mohnke, Sewa Shevhishinand

RihardSiefringforusefulonversations.

2. Cauhy-Riemanntypeoperatorsonbundles

2.1. Generalities. Let(;j)beaompatRiemannsurfaewithgenusg,

m0boundaryomponents,andanitesetofpositive/negativeinterior

puntures = +

[ int, withtheorrespondingpunturedsur-

fae denotedby _

=n . Regarding _

asa surfaewith ylindrial

ends fU

z g

z2

biholomorphitothehalf-ylindersZ

, itadmitsanatu-

ralompatiationobtainedby replaing[0;1)S 1

by[0;1℄S 1

and( 1;0℄S 1

by[ 1;0℄S 1

. Theompatiedspaeisnaturallya

topologial2{manifoldwithboundary

=t

[

z2 Æ

z

;

whereforeahz2

,Æ

z

=

f1gS 1

denotestheorresponding\irle

atinnity". Notethatinmakingthisdenitionwe've hosenylindrial

oordinates(s;t)2 Z

over eahendfU

z g

z2 ,

andwe willontinueto

usetheseoordinateswheneveronvenient. ThedenitionsofandÆ

z do

notdependonthishoie,andinfattheresultingidentiationofeah

Æ

z withS

1

=R=Zisuniqueuptoaonstantshift.

LetE!beaomplexvetorbundleofranknwhoserestritionto _

andeahoftheirlesÆ

z

hasasmoothstruture. AssumemoreoverthatE

isgivenaHermitianstrutureovereahendU

z

. Byanadmissibletrivial-

izationofEnearz2

,wemeanasmoothunitarybundleisomorphism

:Ej

Uz

!Z

R

2n

(whereR 2 n

isidentiedwithC n

),whihoversthe

oordinatemapUz !Zandextendsontinuouslytoasmoothunitary

trivializationEj

Æz

!S 1

R 2 n

. Anasymptotioperator atz2 isthena

boundedreallinearoperator

A

z :H

1

(Ej

Æz )!L

2

(E

Æz )

whose expression with respet toany admissibletrivializationtakes the

form

H 1

(S 1

;R 2 n

)!L 2

(S 1

;R 2n

):7! J

0 _

S;

here J

0

= i is the standard omplexstruture onR 2 n

= C n

and S =

S(t)isanysmoothloopofsymmetri2n{by{2nmatries. Thisdenesan

unboundedself-adjointoperatorontheomplexiationofL 2

(Ej

Æz ). We

saythatA

z

isnondegenerateifitsspetrum(A

z

)doesnotontain0.

Denethestandard

{operatorforsmoothfuntionson _

by

:C 1

( _

;C)! 0;1

( _

):f7!df+idfÆj:

For any two omplexvetor bundles E and E 0

over the samebase, we

denote by Hom

C (E;E

0

) and Hom

C (E;E

0

) the orrespondingbundles of

omplexlinearandantilinearmaps E!E 0

respetively. Therearealso

the orrespondingendomorphism bundles End

C

(E):= Hom

C

(E;E) and

End

C

(E):=Hom

C (E;E).

Denition 2.1. A (smooth, reallinear) Cauhy-Riemanntypeoperator

onEisarst-orderlineardierentialoperator

D: (Ej

_

)!

Hom

C (T

_

;Ej_

)

suhthatforeverysmoothsetion v: _

!E andsmoothfuntionf :

_

!R,

D(fv)=(

f)v+f(Dv):

GivenanasymptotioperatorA

z atz2

,wewillsaythatDisasymp-

totitoA

z

ifitsexpressioninanadmissibletrivializationnearztakes

theform

(Dv)(s;t)=

s

v(s;t)+J

0

t

v(s;t)+S(s;t)v(s;t);

whereS(s;t)isasmoothfamilyofreal-lineartransformationsonR 2 n

whih

onvergesuniformlyass!1toasmoothloopofsymmetrimatries

S(t),suhthat

J

0 d

dt S(t)

istheoordinateexpressionforA

z

withrespetto.

DenetheBanahspaeW k;p

(E)toonsistofsetionsv : _

!E of

lassW k;p

lo

suh thatinany hoieofadmissible trivializationnear eah

punturez 2

, theorrespondingmapZ

!R 2n

isoflassW k;p

. If

`Ej

isasmoothtotallyrealsubmanifold,denethesubspae

W k;p

`

(E)=fv2W k;p

(E)jv()`g:

ObservethatHomC(T _

;E)alsoadmitsanaturalextensionover,andthe

ombinationoftheoordinates(s;t)withthetrivializationnearz2

alsogivesrisetoatrivializationofHom (T _

;E).Usingthisweandene

theBanahspaesW k;p

(Hom

C (T

_

;E)). WewillgenerallywriteW 0;p

as

L p

.

Now x a smooth totally real subbundle ` Ej, and asymptoti

operatorsA

z

foreahz2 ,denotingtheolletionofalltheseoperators

by A . Let D be a Cauhy-Riemann type operator thatis asymptoti

toA

z

foreahz2 . Wewillthenbe interestedinthebounded linear

operator

D:W 1;p

`

(E)!L p

(Hom

C (T

_

;E)):

ThisisaFredholmoperatorifalltheA

z

arenondegenerate,anditsindex

is determinedbyavarietyoftopologialquantitieswhihweshallreall

next.

Fixasetofadmissibletrivializationsneareahpunturez2 aswell

as smoothomplextrivializationsof Ej

, denoting theolletion ofall

these hoies by . OneanthendenetherelativerstChernnumber

1

(E)2Z.IfEisalinebundle,then

1

(E)isdenedsimplybyounting

zeroesofagenerismoothsetion _

!Ethatextendsontinuouslyover

andis anonzeroonstant withrespet toon . For higherrank

bundles,

1

(E)anbedened axiomatiallyviathediretsumproperty

andtheassumptionthatitmathestheordinaryrstChernnumberif _

islosed.

ForeahonnetedomponentC,thetotallyrealsubbundle`j

C

Ej

C

hasaMaslovindex

(Ej

C

;`j

C

),andweshalldenotethesumofthese

by

(E;`).

Finallyforeahpunturez2

,theasymptotioperatorAz,expressed

as J

0

t

S(t)withrespetto,givesrisetoalinearHamiltonianow

inR 2n

viatheequation

_ (t)=J

0 S(t)(t):

If A

z

is nondegenerate, then the resulting pathof sympleti matries

(t)2Sp(n)endsatamatrix (1)whihdoesnothave1asaneigenvalue,

soithasawelldenedConley-Zehnderindexwhihwedenoteby

CZ (A

z ).

AllofthistogetherallowsustodenethetotalMaslovindex

(E;`;A ):=

(E;`)+ X

z2 +

CZ (A

z )

X

z2

CZ (A

z ):

TheFredholmindexofDisthengivenbythefollowinggeneralizationof

theRiemann-Rohformula:

(2.1) ind(D)=n(

_

)+2

1 (E)+

(E;`;A):

This follows from the formula for the ase = ; proved in [Sh95 ℄,

togetherwithagluing/doublingargument;f.[Wen05℄. Notethatallde-

pendeneonintherighthandsideof(2.1)anelsout.

Letusbrieyreviewtheusefulgeneralizationoftheabovethatarisesby

onsideringBanahspaeswithexponentialweights. PiknumbersÆ 2R

foreahz2 anddenotetheolletionofthesebyÆ =fÆ

z g

z2 . Then

wedene

W k;p;Æ

(E)

tobethespaeofW k;p

lo

setionsv: _

!Esuhthatinanadmissibletrivi-

alizationneareahz2

,thefuntionZ

!R 2n

:(s;t)7!e Æzs

v(s;t)is

oflassW k;p

. Thisimposesanexponentialdeayonditionateahpun-

turewhereÆ

z

>0,oraboundonexponentialgrowthifÆ

z

<0.Thereare

nowobviousdenitionsforthespaesW 1;p;Æ

`

(E)andL p;Æ

(Hom

C (T

_

;E)),

sothattheCauhy-RiemanntypeoperatorDdenesaboundedlinearmap

D:W 1;p;Æ

`

(E)!L p;Æ

(Hom

C (T

_

;E)):

It issimple toshow (f.[HWZ99,Wenb ℄) thatthismapis onjugate to

anotherCauhy-RiemannoperatorD

Æ : W

1;p

`

(E)!L p

(Hom

C (T

_

;E)),

whihisasymptotiatz2

toA

z Æ

z

;denotethelatterolletionof

operatorsbyA Æ . TheoperatorontheweightedspaeisthusFredholm

ifandonlyifÆ

z 62(A

z

)forallz2

,anditsindexanthenberead

oagainfrom(2.1),butwithA Æ replaingA . Notein partiular

thatifallA

z

arenondegenerateandallÆ

z

aresuÆientlyloseto0,then

theweightingdoesnothangetheindexofD.

2.2. Thelinebundlease. Fortherestofthissetionweassumen=1,

so eah asymptotioperator is equivalent to an unbounded self-adjoint

operatoronL 2

(S 1

;R 2

)oftheformA= J

0 d

dt

S(t),whoseeigenfuntions

anbeassignedwindingnumbers. For2 (A) denew()2 Ztobe

the windingnumber ofany nontrivialsetionin the {eigenspaeofA;

thisnumberdependsonlyon,byaresultin[HWZ95a℄. Moreover,itis

shownin thesamepaper thatw()is aninreasingfuntionofwhih

takeseveryintegervalueexatlytwie(ountingmultipliity).Wedene

(A)=maxfw()j2(A),<0g;

+

(A)=minfw()j2(A),>0g;

p(A)=

+

(A) (A);

(2.2)

soifAisnondegenerate,p(A)2f0;1g. Byanotherresultin[HWZ95a℄,

thesewindingnumbersarerelatedtotheConley-Zehnderindexby

(2.3)

CZ

(A)=2 (A)+p(A)=2

+

(A) p(A):

ThisentiredisussionappliesalsototheoperatorsA

z

onetrivializations

arespeied; we thusdenotethese windingnumbersby

(A

z ), and

observethatp(Az)2f0;1gdoesnotdependon. Thelatteristheparity

ofthepunturez2 ,deningapartitionof intosetsofeven andodd

puntures,denoted and respetively.

Denethe 1

2

Z{valuedadjustedrstChernnumberof(E;`;A)by

(2.4)

1

(E;`;A )=

1 (E)+

1

2

(E;`)+ X

z2 +

(A

z )

X

z2

+ (A

z );

and observe thatthisdoesnotdependon. Using(2.3)andtheindex

formula,itiseasytoshowthat

(2.5) 2

1

(E;`;A )=ind(D) 2+2g+#

0 +m:

Notethat

1

(E;`;A )isneessarilyanintegerif=;.

TheadjustedrstChernnumberhasthefollowinginterpretationwhih

justies itsname. Ifv2kerDisa nontrivialsetion,thentheequation

Dv = 0 together with the similarity priniple implies that v has only

isolatedzeroes,allofpositiveorder. Moreover,byargumentsin[HWZ96,

Sie08℄,vsatisesanasymptotiformulaoftheform

(2.6) v(s;t)=e

s

(e

(t)+r(s;t))

inadmissibletrivializationsneareahpunturez2

,where2(A

z )

satises<0,e

2 (Ej

Æz

)isasetionintheorrespondingeigenspae

andtheremainderr(s;t)goestozeroass!1.Itfollowsthatv(s;t)has

onlynitelymanyzeroes,andnearz2

ithasawelldenedasymptoti

windingnumber wind

z

(v)2Z,whihisboundedfromaboveby

(Az)

ifz2 +

,orfrombelowby

+ (A

z

)ifz2 . We usethistodenethe

asymptotivanishingofv:

Z

1 (v)=

X

z2 +

(A

z ) wind

z (v)

+ X

z2

wind

z (v)

+ (A

z )

:

Denealsothe 1

2

Z{valuedountofzeroes,

Z(v)= X

z2v 1

(0)\int _

ord(v;z)+ 1

2 X

z2v 1

(0)\

ord(v;z);

wheretheorderofazeroontheboundaryisdenedbyadoublingargu-

mentdesribedin theappendix. Nowasimpleomputationusing these

denitionsandProp.A.2yieldstherelation

(2.7) Z(v)+Z

1 (v)=

1

(E;`;A ):

Observethatbothtermsonthelefthandsidearemanifestlynonnegative.

Thenextresultisthemainobjetive ofthissetion. Reallfrom(1.4)

thenonnegativeintegerK(;G).

Proposition 2.2.

(1) Inthe ase ind(D) 0, Dis injetive if

1

(E;`;A) < 0, and

otherwise

dimkerDK(

1

(E;`;A );#

0 ):

(2)Intheaseind(D)0,Dissurjetiveifind(D)>

1

(E;`;A ),

andotherwise

ind(D)dimkerDind(D)+K(1(E;`;A ) ind(D);# 0):

Proof.Theargumentrestsruiallyon(2.7),togetherwiththeobservation

thatifz2

0

,thenthespaeofeigenfuntionswithnegativeeigenvalueand

winding

(A

z

)is1{dimensional,asisthespaewithpositiveeigenvalue

andwinding

+ (A

z ).

We prove theresultrstfortheaseind(D)0. If

1

(E;`;A )<0,

then Dis learlyinjetive, else(2.7)wouldfore any nontrivialsetion

v 2 kerDtohave either Z(v) <0 orZ

1

(v) <0. Toestablish thedi-

mensionboundforkerDwhen

1

(E;`;A )0,hooseany nonnegative

integerskandnsuhthatk#

0

and2k+n>2

1

(E;`;A). Inthissit-

uationweanonstrutaninjetivehomomorphismfromkerDintoareal

vetorspaeofdimensionn+k. Indeed,if6=;,pikndistintpoints

1

;:::;

n

2,andhoosealsokdistintevenpunturesz

1

;:::;z

k 2

0 .

Foreahofthe z

j

, theorrespondene v 7!e

omingfromthe asymp-

totiformula(2.6)denesalinearmapfromkerDintothe1{dimensional

vetorspaeV

zj

onsistingofeigenfuntionsofA

zj

withwindingequalto

(A

zj

). Weandenethismapsothatittakesthevalue02V

zj ifand

onlyifthe eigenfuntionin(2.6)hasa dierentwindingnumber. Using

these maps andthe evaluationof v atthe pointsj 2 , we obtaina

homomorphism

:kerD!`

1

:::`

n V

z1

:::V

z

k :

Thelaimisthat isinjetive,andthusdimkerDn+k. Indeed,sup-

posev2kerDisanontrivialsetionwith (v)=0.Thentheasymptoti

windingofv diersfrom

(A

zj

)ateahofthe punturesz

j

,implying

Z1(v)k. Similarly,vhasboundaryzeroesat1;:::;n,ontributingat

leastn=2toZ(v),hene

1

(E;`;A )=Z(v)+Z

1 (v)

n

2 +k;

whihontraditsourassumptionsonnandk.

Aminormodiationtothisargumentisneededif=;. Wemust

nowassumeniseven,andhoosedistintinteriorpoints

1

;:::;

n=2 2

_

,

usingevaluationatthesepointstodenethehomomorphism

:kerD!E

1

:::E

n=2 V

z1

:::V

zk :

Therighthandsideisagainavetorspaeofrealdimensionn+k, and

thesameargumentasaboveshowsthat isinjetive.

Todealwiththe aseind(D)0,we onsiderthe formaladjointD

(f.[Sh95 ℄). Thisanberegardedas aCauhy-Riemann type operator

onthebundleF :=Hom (T _

;E)! _

withanappropriatetotallyreal

boundaryondition`

andasymptotioperatorsA

z

,whihhavethesame

parityasA

z

. Itsatises

(2.8) ind(D

)= ind(D); dimkerD

=dimokerD;

andapplying(2.5)toDandD

together,wend

1

(E;`;A )

1 (F;`

;A

)= 1

2

[ind(D) ind(D

)℄=ind(D):

Then theondition

1 (F;`

;A

)<0issatisedifandonlyif ind(D)>

1

(E;`;A ), andthis impliesD issurjetive. Ifind(D)

1

(E;`;A ),

then

1 (F;`

;A

)0andweanapplytheaboveestimatetodimkerD

,

giving

dimkerD=ind(D)+dimokerD=ind(D)+dimkerD

ind(D)+K(

1 (F;`

;A

);#

0 )

=ind(D)+K(

1

(E;`;A ) ind(D);#

0 ):

Remark2.3.TheproofofTheorem2requiresonlytheverysimplestaseof

thisdimensionbound,namelythatkerDistrivialwhen

1

(E;`;A )<0.

As thatproofwilldemonstrate, however, suhboundsansometimesbe

useful in ases where D is not surjetive, so perhaps the more general

dimensionboundwilleventuallyndsimilarappliation.

3. Thenormaloperatorforaholomorphiurve

Inthissetionwewillgivethepreisedenitionofregularityandshow

thatitis equivalenttothesurjetivityofaertainCauhy-Riemannop-

eratoronageneralizednormalbundle. Thepreiserelationbetweenthis

operatorandtheoneptofregularityisstatedinx3.4asTheorem3,and

in x3.5 we applythe lineartransversalitytheoryfrom x2.2to showthat

Theorem1followsasaneasyorollary.

Throughout the following, we x a ompat, onnetedand oriented

surfaeofgenusg0withm0boundaryomponents,andanite

set int,writing _

=n .

3.1. TeihmullersliesandCauhy-Riemannoperators. Webegin

byolletingsomelassialfatsaboutmodulispaesofRiemannsurfaes

whihanberelatedtotheanalysisofCauhy-Riemanntypeoperators.

Let J() denotethe spae of smooth omplex strutureson that

induethegivenorientation,anddenotebyDi

+

(; )thegroupofori-

entationpreserving dieomorphisms on thatx , andDi0(; )

Di

+

(; )thosewhiharehomotopitotheidentity. Bothofthesegroups

atonJ()by(';j)7!'

j,andtheTeihm ullerspaeof _

isasmooth

nite-dimensionalmanifolddenedas

T( _

)=J()=Di (; ):

Itsquotientby themappinglassgroupM(

_

)=Di

+

(; )=Di

0 (; )

gives themodulispaeofRiemann surfaes (withgenusg, mboundary

omponentsand# interiormarkedpoints)

M(

_

)=T( _

)=M(

_

)=J()=Di

+ (; );

whihisingeneralanorbifoldofthesamedimension. Wesay _

isstable

if( _

)<0,inwhihase

dimM(

_

)=6g 6+3m+2# = 3(

_

) # ;

andtheautomorphismgroup

Aut(

_

;j)=f'2Di

+

(; )j'

j=jg

isniteforanyhoieofj 2J()(thoughitsordermaydependonj).

LetD C denotethelosedunitdisk,A =[0;1℄S 1

theompatannulus

andT 2

=R 2

=Z 2

the2{dimensionaltorus.Forourpurposes,thenon-stable

asestobeonsideredarethefollowing:

(1)M(S 2

)=f[i℄ganddimAut(S 2

;i)=6.

(2)M(C)=f[i℄ganddimAut(C;i)=4.

(3)M(D)=f[i℄ganddimAut(D;i)=3.

(4)M(RS 1

)=f[i℄ganddimAut(RS 1

;i)=2.

(5)M(D nf0g)=f[i℄ganddimAut(D nf0g;i)=1.

(6)dimM(A)=1anddimAut(A;j)=1.

(7)dimM(T 2

)=2anddimAut (T 2

;j)=2.

Forallbutthelastase,themappinglassgroupM( _

)istrivialandthus

M(

_

)=T( _

)isamanifold.Observealsothatif _

isnotstable,

(3.1) dimAut ( _

;j) dimM(

_

)=3(

_

)+# :

Fixing p > 2, the latter is the Fredholm index of the standardlinear

Cauhy-Riemannoperator

D

:W 1;p

T()

(T; )!L p

(End

C (T));

whereW 1;p

T()

(T; )isthespaeofW 1;p

{smoothvetoreldsY :!T

satisfyingY()T()andYj =0.

Lemma3.1. Forallhoiesof(;j; ),dimoker (D

)=dimM(

_

).

Proof.ThismayberegardedasastandardpieeofTeihmullertheoryin

thestablease(f.[Tro92℄),andalsofollowsbyusingasimpliedversion

oftheargumentintheproofofProp.2.2toshowthatD

isinjetive.Here

onemustaountalsofortheondition Yj =0,whihensuresZ(Y)

# , thusit suÆes to observe thatthe adjusted rst Chern number is

stritlylessthan# . Inthenon-stablease,asimilarargumentshowsthat

_

of a nonlinear operator

j

' = T'+jÆT'Æj, onesees thatker (D

)

ontainsaut(

_

;j),givinganinequalityintheotherdiretion,hene

dimker (D

)=dimAut(

_

;j):

Theresultthenfollowsfrom(3.1).

Givenj2J()andtheorrespondingCauhy-RiemannoperatorD

,

pik aomplementofim(D

), i.e.asubspae C L p

(End

C

(T))suh

that

im(D

)C=L p

(End

C (T)):

Byapproximation,wemayassumeeverysetioninCissmoothandvan-

ishesonaneighborhoodof . Weanthenhooseasmallneighborhood

OCof0anddenethemap

(3.2) :O!J():y7!

1

⁺¹

2 jy

j

1

⁺¹

2 jy

1

;

whihhastheproperties(0)=jand

t (ty)

t=0

=y;

thusitisinjetiveifOissuÆientlysmall. Theimage

T :=(O)J()

isthusasmoothmanifoldofdimensiondimC=dimT( _

),withTjT =C

andonsistingofsmoothomplexstrutureslosetoj thatareidential

tojonsomexedneighborhoodof . Itparametrizesaneighborhoodof

[j℄inT( _

),i.e.theprojetionJ()!T( _

)restritstoadieomorphism

fromT ontoaneighborhoodof[j℄. Thisprovidesanexpliitonstrution

ofthefollowinggeneralobjet:

Denition 3.2. Givenj 2 J(),we deneaTeihm ullersliethrough

j tobe any smoothfamilyT J()parametrizedby aninjetive map

U !J(), where U is anopen subsetof R d imT(

_

)

, suh thatall j 0

2

T areidentialon somexedneighborhoodof , andim(D

)T

j T =

L p

(End

C (T)).

Lemma 3.3. If( _

;j)is stable, then there existsa Teihm uller slieT

through j that isinvariant under thegroupation Aut(

_

;j)J()!

J():(';j 0

)7!'

j 0

.

Proof.The automorphism group G := Aut(

_

) is niteand onsists of

biholomorphimapson(;j)thatx . Eahpointin thenhasaG{

invariantneighborhoodbiholomorphiallyequivalenttothestandardunit

disk, onwhihGatsbyrationalrotations. Letgdenoteametrion

thatisinvariantundertheationofG;suhametrianbeonstruted

_

rotation-invariantmetrisondisk-like neighborhoodsofeahpointin .

ThenginduesabundlemetrionEnd

C

(T)!andaorresponding

G{invariantL 2

{innerproduth; i

L 2

onthespaeofsetionsofthisbundle.

Toprovethelemma,itsuÆestoonstrutaG{invariantomplement

CL p

(End

C

(T))ofim(D

)thatonsistsofsmoothsetionsvanishing

near :thenanappropriateTeihmullerslieanbedenedvia(3.2)sine

'

j =j implies('

y)='

(y)forany'2G. Observe thatim(D

)

itselfisG{invariant,sine'

j=jalsoimpliesD

('

Y)='

(D

Y)forall

Y 2W 1;p

T()

(T; ). NowusingtheG{invariantL 2

{produthosenabove,

deneaomplementC

0 astheL

2

{orthogonalomplementofim(D

),i.e.

C

0

= n

y2L p

(End

C (T))

D

Y;y

L 2

=0forallY 2W 1;p

T() (T; )

o

:

ThisspaeisG{invariantduetotheG{invarianeofim(D

)andh; i

L 2,

andbyelliptiregularityforweaksolutionsoftheformaladjointequation,

it onsists onlyof smoothsetions. Nowhoosing G{invariantdisk-like

neighborhoodsofthepointsin ,weanobtainthedesiredomplement

CbymultiplyingthesetionsinC

0

by G{invariantutofuntionsthat

vanishnearGandequal1outsideasuÆientlysmallneighborhoodof .

Forthetwonon-stableasesinwhihT( _

)isnontrivial,itwillbeon-

venienttohaveexpliitglobalTeihmullerslies. If _

=A =[0;1℄S 1

,for

eah>0denethedieomorphism'

:A ![0;℄S 1

:(s;t)7!(s;t)

and let T

A

denote the olletion of omplexstrutures f'

ig

>0 . This

parametrizes the entirety ofT(A) (whihequals M(A) sine the map-

pinglassgroupistrivial),andalsogivesanaturalidentiationofevery

Aut(A;'

i)withS 1

,atingonA by translationofthe seondfator. If

_

= T 2

= R 2

=Z 2

, we dene T

T

2 to be the spae of all onstant om-

plexstruturesonR 2

=C thatareompatiblewiththestandardorienta-

tion;learlythesedesendtoT 2

,andtheyalsoparametrizetheentiretyof

T(T 2

). Thenforeahj2T

T 2,

thesubgroup

Aut

0 (T

2

;j):=Aut(T 2

;j)\Di

0 (T

2

)

anbe identiednaturally withT 2

, ating by translations. Choosinga

basepointp=[(0;0)℄2T 2

,thestabilizerof[j℄2T(T 2

)undertheation

ofM(T 2

)=SL(2;Z)ismeanwhilethenitesubgroup

Aut(T 2

;j;p):=f'2Aut(T 2

;j)j'(p)=pg=fA2SL(2;Z)jAj=jAg;

andAut(T 2

;j)isthesemidiretprodutofAut(T 2

;j;p)withAut

0 (T

2

;j)=

T 2

. Note in partiular that forany j 2 T

T

2, this groupats by aÆne

transformationsonR 2

(desending toT 2

), andtheation(';j 0

)7!'

j 0

thereforepreservesT

T 2.

Thefollowingwillbeusefulfortehnialreasonsinouranalysisofthe

relationshipbetweenD anditsnormalomponent.

Lemma 3.4. For any j 2 J() andnite set K _

, thereexists a

Teihm ullerslieT throughj suhthateveryj 0

2T isidentialtoj on

somexedneighborhoodofK[ .

Proof.ItsuÆestoonstrutC=T

j

T sothateveryy2Cvanishesnear

K[ . Thisanbe doneusingutofuntionstoreplaeabasisofany

givenomplementwithonethatvanishesinsuhaneighborhood;thenew

basisanbemadeL p

{losetotheoldoneiftheneighborhoodissuÆiently

small.

ForanyTeihmullerslieT throughj,theoperator

L :T

j T W

1;p

(T; )!L p

(End

C

(T)):(y;Y)7!jy+D

Y

is learly surjetive; indeed, sine D

is omplex linear, L (y;jY) =

j y+D

Y

,andthetargetspaeisspannedbyT

j

T andim(D

).Forthe

analysisinthefollowingsetionsitwillbeusefultoderiveaorresponding

statementforthestandardCauhy-RiemannoperatoronaRiemannsur-

faewithends. Wewillreallinthenextsetiontheonstrutionofertain

Banahmanifoldsontainingasymptotiallyylindrialmaps _

!W. In

thesimpleaseW = _

,thetangentspaetosuhaBanahmanifoldB

attheidentitymap

1

^{:_ !_ anbewrittenas}

T

1

^B

=W 1;p;Æ

T() (T

_

)V

;

whereÆ>0isasmallweightapplyingateveryendandV

(T

_

)isa

2# {dimensionalspaeofsmoothsetionsthataresupportednearinnity

andonstantinsomexedhoieofylindrialoordinatesneareahend.

The natural nonlinear Cauhy-Riemann operator denes a setion of a

BanahspaebundleoverB

,whoselinearizationat

1

^{istheusuallinear}

Cauhy-RiemannoperatorgivenbytheholomorphistrutureofT _

!

_

,

denotedhereby

D

:W 1;p;Æ

T() (T

_

)V

!L p;Æ

(End

C (T

_

)):

Nowsineeveryy2T

j

T issmoothandvanishesnear ,thereisanatu-

ralinlusionofT

j T L

p;Æ

(End

C (T

_

)),aswellasaboundedlinearmap

T

j T !L

p;Æ

(End

C (T

_

)):y7!jy.

Lemma3.5.Theoperator

L:T

j T

W 1;p;Æ

T() (T

_

)V

!L p;Æ

(End

C (T

_

))

(y;)7!jy+D

issurjetive.

Proof.Applyingthelineartheoryinx2,wendthatind(D

)=ind(D

)

andheneind(L)=ind(L ). Nowinlightofthenaturalinlusion

W 1;p;Æ

(T _

)V

,!W 1;p

(T; );

we haveker (L)ker (L ),butsinedimker (L)ind(L)ingeneraland

dimker (L )=ind(L )bytheremarksabove,itfollowsthat

dimker (L)dimker (L )=ind(L )=ind(L);

implyingLissurjetive.

Corollary3.6.ForanyTeihm ullerslieT throughj,L p;Æ

(End

C (T

_

))=

im(D

)T

j T.

3.2. Funtionalanalytisetup. Tostatethedenitionofregularity,we

beginbyreviewingthenonlinearfuntionalanalytisetupusedin[Dra04,

Bou02℄forasymptotiallyylindrialmapsu: _

!Wwithnondegenerate

orMorse-Bottasymptotiorbits. Fixthesurfae,puntures = +

[

int, andasymptotionstraints. Reallthatthe latterhoie

partitions intoa set ofonstrained andunonstrained puntures =

C [

U

,andassignstoeahz2

C

anorbitP

z ofX

,whihwewillassume

isMorse-Bott,andwewilldenoteitsperiodbyT

z

. Foreahz2

U , we

insteadhooseanarbitraryMorse-BottmanifoldofperiodiorbitsinM

,

denotedagainbyP

z

,withperiodT

z

>0. Byaslightabuseofnotation,

eahP

z

mayberegardedbothasasubmanifoldP

z

M

andasasetof

T

z

{periodiorbits2P

z

(sometimeswithonlyoneelement).Denotethis

olletionofhoiesforallpunturesz2 byP . Weshallthenonsidera

Banahmanifoldonsistingofasymptotiallyylindrialmapsu: _

!W

whoseasymptotiorbits

z

forz2 satisfy

z 2P

z .

BeforeexplainingtheBanahmanifold,wedigressforamomenttodene

someimportantinvariantsthatenterintotheindexformula. Reallthat

anyT{periodiorbit ofX

hasanassoiatedasymptotioperator A

,

denedon setionsofthebundle

along. Oneanwriteitdownby

hoosingaparametrizationx:S 1

!M

ofwith(x)_ T,anddening

A

: (x

)! (x

)by

A

v= J

(r

t

v TrX

)

foranysymmetri onnetionronM

. Thisgivesan unbounded self-

adjointoperatoronL 2

(x

)oftheformonsideredinx2,anditisnonde-

generateifandonlyiftheorbitisnondegenerate,inwhihasewedene

theConley-Zehnderindex

CZ ()=

CZ (A

)foranyhoieoftrivialization

onx

. If isdegenerate,thenA

anbeperturbedtoanondegen-

erateasymptotioperatorbyaddinganynumber2Rn (A),andwe

thusdenetheperturbed Conley-Zehnderindex

CZ

(+):=

CZ (A

+);

anditsparity

p(+ )= (

0 if

CZ

(+)iseven,

1 if

(+)isodd,

whih does not depend on . Observe that if is nondegenerate and

is suÆientlylose tozero, then

CZ

(+) =

CZ

()sine (A

) is

disrete. Moregenerally, oneanseefrom therelationshipbetweenthe

Conley-Zehnder indexand spetralow(f.[RS95℄) thatforsuÆiently

small>0,

(3.3)

CZ

( )

CZ

(+ )=dimker (A

):

In partiularif belongstoaMorse-BottfamilyP,thentherighthand

sideof(3.3)isdimP 1,and

CZ

()remainsunhangedifwemove

toadierentorbitinthesamefamily.

IfM

are3{dimensional,then

have omplexrankone, sorealling

thedenitionsinx2.2,we anassoiatetoanyT{periodiorbit ofX

andrealnumbertheso-alledextremalwindingnumbers

(+):=

(A

+);

or forthe ase = 0, simply

() =

(A

). We willrefer to the

eigenfuntionsofA

involvedinthisdenitionasextremaleigenfuntions

atif=0,ormoregenerallyextremaleigenfuntionswithrespetto .

Nowif62 (A

),(2.3)gives

CZ

(+)=2

(+)p(+)

p(+)=

+

(+)

(+ )2f0;1g:

ChoosingÆ>0arbitrarilysmall,itwillalsobeonvenienttodene

(3.4)

()=

( Æ)

(+Æ);

whihequals0wheneverisnondegenerate,andisotherwiseeither0or1.

6

Notation. FixanumberÆ>0,whihwewillgenerallyassumetobeas

smallasmaybeneeded. Suppose = +

[ isasetofpunturesand

isasetofasymptotionstraints,deningonstrainedandunonstrained

subsets

C

;

U

respetively. Wethenassoiatetoeahpunturez2

arealnumber

(3.5)

z :=

(

Æ ifz2

C ,

Æ ifz2 U.

Forasymptotiallyylindrialmapsu: _

!Wsubjettoonstraints,

wewillusethefollowingnotationalonventionsthroughout. Theasymp-

totiorbit ofuat apunturez2

willbealledz,withasymptoti

operatorA

z :=A

z

,andtheolletionofthese forallpuntureswillbe

denotedby andA respetively. Denotetheorrespondingolletionof

6

Fororbitsintwo-dimensionalfamilies,thenumbers

()areloselyrelatedtothe

signofaMorse-Bottsurfae,asdenedin[Wenb℄.

perturbedasymptotioperatorsfA

z

z g

z2

byA ,notingthatthe

signhoiemustalwaysmaththesignofthepunture.Fori2f0;1g,let

i

()=fz2

jp(

z

z )=ig

and

i ()=

+

i ()[

i

(). Thisdenesapartitionof intoso-alledeven

andodd puntureswithrespettotheonstraints. Notethatwhen

z is

nondegenerate,the parityofzis simplytheeven/oddparityof

CZ (

z );

ingeneralhoweverthisdistintiondependsonnotjusttheorbitandon-

straints,butalsothesignofthepunture.

Choosep>2anddenetheBanahmanifold

B:=B 1;p;Æ

( _

;W;L;P )

toonsistof maps _

! W of lassW 1;p

lo

whih satisfyu() L and

have asymptotiallyylindrialbehaviorapproahingthe orbitsfP

z g

z2

attheorrespondingpuntures: thelattermeansinpartiularthatusing

ylindrialoordinates(s;t)2Z

nearz2

,thereexistsanorbit

z 2

P

z

withparametrization x : R ! M

and a onstants

0

suhthat for

suÆientlylargejsj,

u(s+s

0

;t)=exp

~ x(s;t)

h(s;t);

where~x (s;t):= (Tzs;x(Tzt))2ERM andh2 (~x

TE)is of

weightedSobolevlassW 1;p;Æ

onZ

. ThetangentspaeT

u

Banthenbe

writtenas

T

u B=W

1;p;Æ

(u

TW)V X ;

wherethesummandsaredenedasfollows.Thesubsriptreferstothe

totallyrealsubbundle

(3.6) :=(uj

)

TL!;

sothatsetions v2 W 1;p;Æ

(u

TW)arerequired tosatisfythe boundary

ondition v() , as well asdeayingin aordane with thesmall

exponentialweightÆ>0ateahend. Theothertwosummandsareboth

nitedimensionalvetorspaesonsistingofsetions _

!u

TW thatare

supported near innity and asymptotiallyequalto onstant vetorsin

somehoieofR{invariantoordinatesneartheasymptotiorbit.Inpar-

tiular,V hasdimension2# andontainsvetoreldsthatareparallel

totheorbitylinders~x (s;t)=(Ts;x(Tt))nearinnity,while thevetor

eldsinX aretrivialwheneverP

z

isaxedorbitandotherwiseparallel

totheMorse-BottmanifoldsPz,thus

(3.7) dimX = X

z2 (dimP

z 1)=

X

z2

U

dimker (A

z ):

Fixingaomplexstruturejon,thereisaBanahspaebundleE!B

whosebersarespaesofomplexantilinearbundlemaps

E

u

=L p;Æ

(Hom

C (T

_

;u

TW));

andthenonlinearCauhy-Riemannoperatordenesasmoothsetion

J

:B!E:u7!Tu+JÆTuÆj;

whose zeroes are parametrizations ofasymptotially ylindrial pseudo-

holomorphiurvesu:( _

;j)!(W;J). Thelinearizationof

J atazero

udenesalinearCauhy-Riemanntypeoperator,

D

u : (u

TW)! (Hom

C (T

_

;u

TW))

v7!rv+JÆrvÆj+(r

v

J)ÆTuÆj;

(3.8)

whererisanysymmetrionnetiononW. Asaboundedlinearoperator

T

u B!E

u ,D

u

isFredholm.Towritedownitsindex,letbeanarbitrary

hoieoftrivializationforu

TW alongandfor

alongtheorbits

z ,

anddenethetotalMaslovindex

(u;)=

(u

TW;)+ X

z2 +

CZ (

z +

z )

X

z2

CZ (

z

z ):

Thetrivializationsof

extendnaturallytotrivializationsofTW=T(R

M

)alongtheorbitsviathesplitting

(3.9) T(RM

)=(RRX

)

;

sothatoneanalsodenetherelativeChernnumber

1 (u

TW).

Proposition 3.7.

ind(D

u )=n(

_

)+2

1 (u

TW)+

(u;)+# :

Proof.DenotebyD

0

therestritionofD

u toW

1;p;Æ

(u

TW),so

ind(D

u

)=ind(D

0

)+dimV +dimX

=ind(D

0

)+2# + X

z2

U

dimker (A

z ):

ThenD0 isaCauhy-Riemanntypeoperatorasymptotiatz2 tothe

operators

B

z

:=CA

z

;

whereweusethesplitting(3.9)anddeneontherstsummandthe\triv-

ial"asymptoti operator C = J

0 d

dt

. The latter is degenerate, butwe

have

(3.10)

CZ

(CÆ)=1

ifÆ>0issuÆientlysmall. Bythedisussionofexponentialweightsin

x2.1,D

0

isnowonjugatetoaCauhy-RiemannoperatorW 1;p

(u

TW)!

L p

(Hom

C (T

_

;u

TW))withnondegenerateasymptotis,soby(2.1):

ind(D

0 )=n(

_

)+2

1 (u

TW)+

(u

TW;)

+ X

z2 +

CZ (B

z +Æ)

X

z2

CZ (B

z Æ)

=n(

_

)+2

1 (u

TW)+

(u

TW;)

+ X

z2 +

CZ (A

z +Æ)

X

z2

CZ (A

z

Æ) # ;

whereinthelastline we've usedthesplittingB

z

=CA

z

and (3.10).

Nowusing(3.3),wehave

X

z2 +

CZ (Az+Æ)

X

z2

CZ

(Az Æ) #

+2# + X

z2

U

dimker (A

z )

= X

z2 +

U

CZ (A

z Æ)+

X

z2 +

C

CZ (A

z +Æ)

X

z2

U

CZ (A

z +Æ)

X

z2

C

CZ (A

z

Æ)+#

= X

z2 +

CZ (A

z +

z )

X

z2

CZ (A

z

z )+# ; (3.11)

andtheresultfollows.

Forthefollowinglemma,reallthatD

: (T _

)! (End

C (T

_

))de-

notesthenaturallinearCauhy-Riemannoperatoron (T _

)determined

bytheholomorphistrutureofT _

;itisthelinearizationattheidentity

oftheoperator

j

'=T'+jÆT'Æjatingonmaps': _

!

_

. Weuse

thebundlemapdu:T _

!u

TW todenelinearmaps

(T _

) du

! (u

TW);

(End

C (T

_

)) du

! (Hom

C (T

_

;u

TW):

(3.12)

Lemma3.8. Foranysmoothvetoreldv2 (T _

),

Du(du(v))=du(D

v):

Proof.Chooseany opensubset U _

with ompatsupport. Onthis

neighborhood,theow'

ofviswelldenedfor suÆientlyloseto0,

andbydenition,ifz2UandY 2T

z _

,

(D

v)Y =r

j '

(Y)

;

whererisanyonnetionon _

. Similarly,usingthefatthatu:( _

;j)!

(W;J)and

1

^{:( ;_ j)!( ;_ j)areboth}holomorphi,

D

u

(du(v))(Y)=r

J (uÆ'

)(Y)

=0

=r

[ T(uÆ'

)(Y)+JÆT(uÆ'

)Æj(Y)℄j

=0

=r

[ TuÆT'

(Y)+JÆTuÆT'

Æj(Y)℄j

=0

=r

[ TuÆT'

(Y)+TuÆjÆT'

Æj(Y)℄j

=0

=r

du('

(z))

j '

(Y)

=0

=r

v(z) (du)

j

(

1

^)(Y)+du

r

j '

(Y)

=0

=du(D

v(Y)):

Varyingomplexstruturesonthedomainanbeinorporatedintothe

piturebyxingj02J()andhoosingaTeihmullerslieT throughj0

(seeDef.3.2). WeannowredenetheBanahspaebundleEoverTB

sothat

E

(j;u)

=L p;Æ

Hom

C ((T

_

;j);(u

TW;J))

;

andextendthesetion

J

overthisbundleby

J

:T B!E:(j;u)7!Tu+JÆTuÆj:

Thelinearizationat(j;u)2

1

J

(0)annowbe expressedviaits\partial

derivatives,"

D

J (j;u):T

j T T

u B!E

(j;u)

:(y;v)7!G

u y+D

u v

where

G

u :T

j

T (End

C (T

_

))! (Hom

C ((T

_

;j);(u

TW;J)))

y7!JÆTuÆy:

Weannowpresentthepreisedenitionofregularity.

Denition 3.9. The urve (;j; ;u) 2 M

is alled regular if there

existsaTeihmullerslieT throughjsuhthattheoperatorD

J (j;u):

T

j T T

u B!E

(j;u)

issurjetive.

Remark 3.10.Thisonditionlearlydoesn'tdependonthehoieofmap

u :( _

;j)!(W;J)representing agivenequivalenelassinM

; if' :

( 0

;j 0

) ! (;j) is a biholomorphi mapand u 0

= uÆ', onean use

thepullbak'

toonstrutaTeihmullerslieT 0

throughj 0

sothatthe

operatorsD

J (j

0

;u 0

)andD

J

(j;u)areonjugate. Thenextlemmashows

alsothatthesurjetivityofD

J

(j;u)|andinfattheodimensionofits

image|doesnotdependonthehoieofTeihmullerslie.