arXiv:1009.3262v3 [math.SG] 9 Mar 2012

(1)

arXiv:1009.3262v3 [math.SG] 9 Mar 2012

ALGEBRAICTORSION INCONTACTMANIFOLDS

JANKOLATSCHEVANDCHRISWENDL

(WITHANAPPENDIXBYMICHAELHUTCHINGS)

Abstrat.WeextrataninvarianttakingvaluesinN[f1g,whihweallthe

orderofalgebraitorsion,fromtheSympletiFieldTheoryofalosedontat

manifold,andshowthatitsnitenessgivesobstrutionstotheexisteneofsym-

pletillingsandexatsympletiobordisms.Aontatmanifoldhasalgebrai

torsionoforder0ifandonlyifitisalgebraiallyovertwisted(i.e.hastrivialontat

homology),andanyontat3-manifoldwithpositiveGirouxtorsionhasalgebrai

torsionoforder1(thoughtheonverseisnottrue).Wealsoonstrutexamples

foreahk2Nofontat3-manifoldsthathavealgebraitorsionoforderkbut

notk 1,andderiveonsequenesforontatsurgeriesonsuhmanifolds.

TheappendixbyMihaelHuthingsgivesanalternativeproofofourobordism

obstrutionsindimensionthreeusingarenementoftheontatinvariantinEm-

beddedContatHomology.

1.Introdution

1.1.Main results.Sympletieldtheory(SFT)isaverygeneraltheoryofholo-

morphiurvesinsympletimanifoldswhihwasoutlinedbyEliashberg,Givental

andHofer[EGH00℄,andwhoseanalytialfoundationsareurrentlyunderdevelop-

mentbyHofer,WysokiandZehnder,f.[Hof℄. Itontainsasspeialasesseveral

theoriesthathavebeenshowntohavepowerfulonsequenesinontattopology|

notablyontathomologyandGromov-Wittentheory|butthemoreelaboratestru-

tureof\full"SFThasyettondappliation,asitisusuallyfartooompliatedto

ompute. Ourgoalhereistointrodueanumerialinvariant,whihweallalge-

braitorsion,thatisextratedfromthefullSFTalgebraandwhosenitenessgives

obstrutionstotheexisteneofsympletillingsandexatsympletiobordisms.

Algebraitorsionisdenedinalldimensions,andweillustrateitseetivenessby

provingexpliitnonexisteneresultsforexatsympletiobordismswhoseendsare

ertainpresribednonllableontat3-manifolds,seeCorollary1below.Tothebest

ofourknowledge,resultsofthistypearenewandseemtobebeyondthepresent

reahofmoretopologiallyorientedmethodssuhasHeegaardFloerhomology.

Fromthepointof viewtaken inthis paper,whihisadaptedfrom[CL09℄and

desribedinmoredetailinx2,theSFTofaontatmanifold(M;)isthehomology

H SFT

(M;)ofaZ2-gradedBV1-algebra(A[[~℄℄;DSFT),whereAhasgeneratorsq

2010MathematisSubjetClassiation.Primary53D42;Seondary57R17,53D35,32Q65.

foreahgoodlosedReeborbitwithrespettosomenondegenerateontatform

for,~isanevenvariable,andtheoperator

D

SFT

:A[[~℄℄!A[[~℄℄

isdened byounting rigidsolutionsto asuitableabstrat perturbationof aJ-

holomorphiurveequationinthesympletizationof(M;).Thedomainsforthese

solutionsarepunturedlosedRiemannsurfaes,andnearthepunturesthesolutions

haveso-alledpositiveornegativeylindrialends. Itfollowsfromtheexatnessof

thesympletiforminthesympletizationthatallsuhurvesmusthaveatleastone

positiveend.Algebraially,thistranslatesintothefatthatthegroundringR[[~℄℄of

AonsistsoflosedelementswithrespettoD

SFT

.Thismotivatesthefollowing:

Denition1.1.Let(M;)bealosedmanifoldofdimension2n 1withapositive,

o-orientedontatstruture.Foranyintegerk0,wesaythat(M;)hasalgebrai

torsionoforderk(orsimplyalgebraik-torsion)if[~

k

℄=0inH SFT

(M;).

NotethatalthoughtheversionofSFTdesribedin[EGH00℄hasoeÆientsinthe

groupringofH

2

(M),thehomologyH SFT

(M;)aboveisdenedwithoutgroupring

oeÆients|oneanalwaysdothisattheostofreduingtheusualZ-gradingto

aZ

2

-grading(seex2fordetails). WewillintroduegroupringoeÆientslaterto

obtainamorerenedinvariant,f.Denition1.8.

Inordertostateourrstmainresult,weneedafewstandardonepts. Reall

thatastrongsympletillingofaontatmanifold(M;)isaompatsympleti

manifold(W;!)withW=MforwhihthereexistsavetoreldY,denednear

theboundaryand pointingtransverselyoutwardthere, withL

Y

! =! (i.e.Y isa

Liouvillevetoreld)andsuhthat

Y

!j

M

isaontatformforgivingtheorret

o-orientation. Moregenerally,asympletiobordismwithpositiveend(M +

; +

)

andnegativeend(M ; )isaompatsympletimanifold(W;!)withboundary

M +

t( M )andavetoreldasabovewith

=ker(

Y

!j

M

),withthedierene

thatY isrequiredtopointoutwardonlyalongM +

andinwardalongM .Notethat

sineL

Y

!=d(

Y

!)=!,thesympletiformisalwaysexatneartheboundaryof

asympletiobordism,thoughitneednotbeexatglobally.TheowofY anbe

usedtoidentifyaneighborhoodofW with

([0;)M ;d(e s

(

Y

!)j

M

))t(( ;0℄M +

;d(e s

(

Y

!)j

M +));

andsoanysympletiobordismintheabovesenseanbeompletedbygluinga

positivehalfofthesympletizationof(M +

; +

)andanegativehalfofthesymple-

tizationof(M ; )totherespetiveboundaries.Holomorphiurvesinompleted

sympletiobordismsarethemainobjetofstudyinSFT,withthesympletization

RMbeinganimportantspeialaseofaompletedsympletiobordism.

Asympletiobordism(W;!)isalledexat ifthevetoreldY asdesribed

aboveextendsgloballyoverW;equivalently,thismeans!=dfora1-formonW

whoserestritionstoM

deneontatformsfor

.Fromtheabovedenitionofal-

gebraitorsionandthegeneralformalismofSFT,wedrawthefollowingonsequene,

whihisourrstmainresultandisproveninx2.

(2)

Theorem1.If(M;)hasalgebraitorsionthenitisnotstronglyllable.Moreover,

supposethereisanexatsympletiobordismhavingontatmanifolds(M +

; +

)and

(M ; )aspositiveandnegativeendsrespetively: thenif(M +

; +

)hasalgebrai

k-torsion,sodoes(M ; ).

Remark1.2.Itistimeforamoreorlessstandarddislaimer:Allthetheoremsregard-

ingSFTthatweshallstateinthisintrodutiondependontheanalytialfoundations

ofSFT,whihremainsalargeprojetinprogressbyHofer,WysokiandZehnder(see

e.g.[Hof℄). Inpartiular,themaintehnialdiÆultywhihisthesubjetoftheir

workistoestablishasuÆientlywellbehavedabstratperturbationshemesothat

H SFT

(M;)iswelldenedandthenaturalmapsinduedbyountingsolutionstoa

perturbedholomorphiurveequationinsympletiobordismsexist. Weshalltake

itforgrantedthroughoutthefollowingthatsuhaperturbationshemeexistsand

hasthepropertiesthatitsarhitetslaim(f.Remark3.7)|thefurtherdetailsof

thisshemewillbeirrelevanttoourarguments.Notehoweverthatourmainapplia-

tions,Corollaries1and3,analsobeprovedusingtheEmbeddedContatHomology

tehniquesdesribed intheappendix(f.Theorem7),andthusdonotdependon

anyunpublishedworkinprogress.

Remark 1.3.Algebraitorsionhassomeobviousappliationsbeyondthosethatwe

willonsiderinthispaper,e.g.itisimmediatefromtheformalismofSFTdisussedin

x2thatanyontatmanifoldwithalgebraitorsionsatisestheWeinsteinonjeture.

Thesimplestexampleofalgebraitorsionistheasek=0: wewillshowinx2

(Proposition2.9)thatthisisequivalentto(M;)havingtrivialontathomology,

inwhihaseitisalledalgebraiallyovertwisted,f.[BN10℄. Thisisthease, for

instane,whenever(M;)isanovertwistedontat3-manifold,andinhigherdimen-

sionsithasbeenshowntoholdwhenever(M;)ontainsaplastikstufe[BN℄,orwhen

(M;)isaonnetedsumwithaertainexotiontatsphere[BvK10℄.

Indimensionthree,therearealsomanyknownexamplesofontatmanifoldsthat

aretightbutnotllable. Animportantlassofexamplesisthefollowing:(M;)is

saidtohaveGirouxtorsionifitadmitsaontatembeddingof(T 2

[0;1℄;T)where

T

=ker[ os(2t)d+sin(2t)d℄

inoordinates(;;t)2T 2

[0;1℄=S 1

S 1

[0;1℄.ItwasshownbyD.Gay[Gay06℄

thatontat3-manifoldswithGirouxtorsionareneverstronglyllable,andaom-

putationofthetwistedOzsvath-SzaboontatinvariantduetoGhigginiandHonda

[GH℄showsthatGirouxtorsionisalsoanobstrutiontoweakllingswheneverthe

submanifoldT 2

[0;1℄MseparatesM.Thereareobviousexamplesofmanifolds

withthesepropertiesthatarealsotight. OnT 3

=S 1

S 1

forexamplewith

oordinates(;;t),theontatform

os (2Nt)d+sin(2Nt)d

hasGirouxtorsionforanyintegerN2,butitalsohasnoontratibleReeborbits,

thisprojetwas tondanalgebraiinterpretation ofGirouxtorsion thatimplies

nonllability. Thesolutiontothisproblemisthefollowingresult,whihisimplied

bythemoregeneralTheorem6below:

Theorem2.If(M;)isaontat3-manifoldwithGirouxtorsion,thenithasalge-

brai1-torsion.

Whileitispossiblethat\overtwisted"and\algebraiallyovertwisted"ouldbe

equivalentnotionsindimensionthree,itturnsoutthattheonverseofTheorem2is

nottrue. Wewillshowthisusingaspeiallassofontatmanifoldsonstrutedas

follows:assume

+

and areompat(notneessarilyonneted)orientedsurfaes

withnonemptydieomorphiboundaries,anddenoteby

=+[

thelosedorientedsurfaeobtainedbygluingthemalongsomeorientationreversing

dieomorphism

+

! . Weshallassumetobeonneted. Theommon

boundaryofformsamultiurve . Thenbyaonstrutionoriginallydue

toLutz[Lut77℄,theprodutS 1

admitsaunique(uptoisotopy)S 1

-invariant

ontatstruture forwhihtheloopsS 1

fzgarepositively/negativelytransverse

forzintheinteriorof

,andLegendrianforz2 . (Wewillgiveamoreexpliit

onstrutionofthisontatstrutureinx4.) ByanargumentduetoGiroux(see

[Mas ℄),(S 1

;)hasnoGirouxtorsionwheneverithasthefollowingtwoproperties:

Noonnetedomponentof isontratiblein,

Notwoonnetedomponentsof areisotopiin.

Itiseasytondexamples(seeFigure1)forwhihboththeseonditionsaresatised,

aswellastheassumptioninthefollowingresult:

Theorem3. Ifeitherof

+

or isdisonneted,thentheS 1

-invariantontat

manifold(S 1

; )desribedabove hasalgebrai1-torsion. Inpartiular, there

existontat3-manifoldsthathavealgebrai1-torsionbutnoGirouxtorsion.

Remark1.4.Theorem1impliesthattheexamplesinTheorem3arenotstronglyll-

able.ThelatterhasbeenestablishedpreviouslyviavanishingresultsfortheOzsvath-

SzaboontatinvariantinsuturedFloerhomology,see[HKM ,Mas,Mat℄.

Examplesshowingthatalgebraitorsionisinterestingforallordersanbeon-

strutedinalmostthesameway.IntheonstrutionofS 1

-invariantontatmanifolds

(S 1

;)above,assumethat

arebothonnetedwithk1boundaryom-

ponents,andthat hasgenus0and

+

hasgenusg 0

>0.Thesurfaeobtained

bygluingwillhavegenusg=g 0

+k 1. Wedenotetheresultingontatmanifold

by(V

g

;

k ):=(S

1

; ).Wethenobtain:

Theorem4.(V

g

;

k

)hasalgebraitorsionoforderk 1,butnotk 2.

Theproofthat(V

g

;

k

)hasalgebraitorsionoforderk 1willbeaonsequene

(3)

PSfragreplaements

+

S 1

(W;d)

(V

4

;

3 )

(V2;2)

Figure 1. Asurfae =

+

[ suh that (S 1

; ) has

algebrai1-torsionbutnoGirouxtorsion.

notionofplanartorsionreentlyintroduedbytheseondauthor[Wena ℄. Thisis

disussedindetailinx3. Theproofthatthereisnoalgebraitorsionoflowerorder

oupiesalargepartofx4.ItisbasedonaombinationofalgebraipropertiesofSFT

andaonstrutionofertainexpliitontatformsfortheontatstrutures

k ,for

whihtheReebdynamisandtheholomorphiurvesanbeunderstoodsuÆiently

well.

CombiningTheorems1and4yieldsthefollowingonsequene.

Corollary1. Supposeg k 2. Thenfor anyexat sympletiobordism with

negativeend(V

g

;

k

),thepositiveenddoesnothavealgebrai(k 2)-torsion.

Inpartiular,thereexistsnoexatsympletiobordismwithpositiveend(Vg+;k+)

andnegativeend(V

g

;

k )ifk

+

<k (Figure2).

Remark1.5.Theinlusionoftheword\exat"intheaboveorollaryisruial,asa

reentonstrutionduetotheseondauthor[Wenb ℄showsthatnon-exatsympleti

obordismsexistbetweenanytwoontat3-manifoldswithplanartorsion.

Remark1.6.Sometimesexatobordismsareknowntoexistwhenthenegativeend

hasasmallerorderofalgebraitorsionthanthepositiveend,e.g.EtnyreandHonda

[EH02℄haveshownthatanypositiveendisallowedifthenegativeendisovertwisted

(meaning0-torsion,inthepresentontext). Similarly,JeremyVanHorn-Morrishas

explainedtousthataSteinobordismwithnegativeend(Vg;k)andpositiveend

(V

g+1

;

k+1

)doesalwaysexist;f.Remark4.18inx4foranoutlineoftheonstrution.

TogetherwithCorollary1,thisgivesinnitesequenes ofontat3-manifoldssuh

thateahisexatlyobordanttoitssuessor,butnotvieversa.

Remark1.7.Theasek

+

=1ofCorollary1anbededuedalreadyfromtheargu-

mentusedbyHofer[Hof93℄toprovetheWeinsteinonjetureforovertwistedontat

strutures. Indeed, (V

g+

;

k+

)isalwaysovertwistedifk

+

= 1,and transplanting

Hofer'sargumentfromthesympletizationtoanexatsympletiobordismshows

that(Vg ;k )mustthenhaveaontratibleReeborbitforallnondegenerateontat

PSfragreplaements

+

S 1

(W;d)

(V4;3) (V

2

;

2 )

Figure2. Anexampleofanexatsympletiobordismthatannot

existaordingtoCorollary1.

forms,whihiseasilyshowntobefalseifk 2.Inthissense,theobstrutionsom-

ingfromalgebraitorsionmaybeseenasa\higherorder"generalizationofHofer's

argument,whihinidentallywasthestartingpointforthedevelopementofSFT.

Toobtainamoresensitiveinvariant,wenowintrodueamoregeneralnotionof

algebraitorsionusingSFTwithgroupringoeÆients.Namely,foranylinearsub-

spaeRH

2

(M;R),oneandenethealgebraofSFTwithoeÆientsinthegroup

ringR[H2(M;R)=R℄,whihmeanskeepingtrakofthelassesinH2(M;R)=Rrep-

resentedbytheholomorphiurvesthatareounted. WeshalldenotetheSFTwith

orrespondingoeÆientsbyH SFT

(M;;R). Themostimportantspeialasesare

R=H

2

(M;R)andR=f0g,alledtheuntwistedandfullytwistedasesrespetively,

andR=kerwithalosed2-formonM.Weshallabbreviatetheuntwistedase

byH SFT

(M;)=H SFT

(M;;H

2

(M;R)),andoftenwritetheaseR=keras

H SFT

(M;;):=H SFT

(M;;ker):

Denition1.8.If(M;)isalosedontatmanifold,foranyintegerk0andlosed

2-formonM wesaythat(M;)has-twistedalgebraik-torsionif[~

k

℄=0in

H SFT

(M;;).Ifthisistrueforall,orequivalently,if[~

k

℄=0inH SFT

(M;;f0g),

thenwesaythat(M;)hasfullytwistedalgebraik-torsion.

(4)

ToseethesignianeofalgebraitorsionwithmoregeneraloeÆients,weon-

sideramoregeneralnotionofsympletillings,forwhihthesympletiformneed

notbeexatneartheboundary.

Denition 1.9. Suppose(W;!)isaompatsympletimanifoldwithboundary

W=M,andisapositive(withrespettotheboundaryorientation)o-oriented

ontatstrutureonM. Weall(W;!)astablesympletilling of(M;)ifthe

followingonditionsaresatised:

(1)!j

isnondegenerateandtheinduedorientationonisompatiblewithits

o-orientation

(2)admitsanondegenerateontatformsuhthattheReebvetoreldX

generatestheharateristilineeldonW

(3)admitsaomplexbundlestrutureJwhihistamedby 1

bothdj

and!j

NotethatastrongllingwithLiouvillevetoreldYisalsoastablellingwhenever

theontatform

Y

!j

M

isnondegenerate,whihanalwaysbeassumedafterasmall

perturbation. In general,theboundaryofastablellingisastablehypersurfae

asdenedin[HZ94℄,meaningitbelongstoa1-parameterfamilyofhypersurfaesin

(W;!)whoseHamiltoniandynamisareallonjugate.Inpartiular,thepair(;!j

M )

denesastableHamiltonianstrutureonM(f.[CV℄).

Theorem5.If(M;)isalosedontatmanifoldwith-twistedalgebraitorsion

forsomelosed2-formonM,thenitdoesnotadmitanystablelling(W;!)for

whih!j

M

isohomologousto. Inpartiular,if(M;)hasfullytwistedalgebrai

torsion,thenitisnotstablyllable.

ReallthatfordimM=3,(W;!)withW =M issaidtobeaweaksympleti

llingof(M;)if!j

>0. Thusastablellingisalsoaweaklling. What'sfar

lessobviousisthattheonverseistrueuptodeformation:by[NW11,Theorem2.8℄,

everyweakllinganbedeformednearitsboundarytoastablellingofthesame

ontatmanifold,heneweakandstablellabilityareompletelyequivalentnotions

indimensionthree.Theorem5thusimplies:

Corollary2.Contat3-manifoldswithfullytwistedalgebraitorsionarenotweakly

llable.

Figure3inx3belowshowssomeexamplestowhihthisresultapplies,inluding

onethathasnoGirouxtorsion;seealsoTheorem6below,and[NW11℄.

Inhigherdimensions,itisnothardtondexamplesofstablellingsforwhihthe

sympletiformisnotexatneartheboundary,thoughit'slessobviouswhetherthere

arealsoexampleswhiharenotstronglyllable.Suhexamplesarefoundinthework

inprogressbyMassot,Niederkrugerandtheseondauthor[MNW ℄,whihdenesa

suitablegeneralizationofweakllingstoarbitrarydimensions:inanutshell,(W;!)

1

Theompatnessresultsin[BEH +

03℄arestatedforompatibleJ,buttheyholdwithouthange

withW=Misaweakllingof(M;)if!tamesanalmostomplexstrutureJ

thatpreserves andisalsotamedby thenaturalonformalsympletistruture

on.Underthisdenition,oneanuseanexisteneresultofCieliebak-Volkov[CV ℄

toshowthatweakandstablellabilityareequivalent,see[MNW ℄fordetails.Thus

SFTalsogivesobstrutionstoweakllinginalldimensions,wherethedistintion

between\strong"and\weak"isdetetedalgebraiallyviathehoieofoeÆients.

Asalreadymentioned,theseondauthor[Wena℄reentlyintroduedanewlass

ofllingobstrutionsindimensionthreealledplanartorsion,whihalsohasanon-

negativeinteger-valuedorder. Aontat3-manifoldisthenovertwistedifandonly

ifithasplanar0-torsion,andGirouxtorsionimpliesplanar1-torsion.Wewillreall

thedenitionofplanartorsionand-separatingplanartorsioninx3,andprovethe

followinggeneralizationofTheorem2.

Theorem 6.Suppose(M;) isalosedontat3-manifold, is alosed2-form

onMandk0isaninteger.

(1)If(M;)hasplanark-torsionthenitalsohasalgebraik-torsion.

(2)If(M;)has-separatingplanark-torsionthenitalsohas-twistedalgebrai

k-torsion.

Remark1.10.TogetherwithTheorem1andCorollary2,thisyieldsnewproofsthat

ontat3-manifoldswithplanartorsionarenotstronglyllable,andalsonotweakly

llableiftheplanartorsionisfullyseparating. Thesetworesultswererstproved

in[Wena℄and[NW11℄respetively.Theformeralsoprovesavanishingresultforthe

ECHontatinvariantwhihisloselyanalogoustoTheorem6andhasthusfarbeen

inaessiblefromthediretionofHeegaardFloerhomology. Ourargumentinfat

impliesarenementofthisvanishingresultintermsoftherelativeltrationonECH

introduedintheappendix;seeTheorem7below.

WeannowstateamoregeometrianalogueofCorollary1.Thenotionofplanar

torsiongivesrisetoaontatinvariantPT (M;)2N[f0;1g,theminimalorder

ofplanartorsion,denedby

PT (M;):=sup

k0

(M;)hasnoplanar`-torsionforany`<k :

Thisnumber isinnitewhenever (M;) isstronglyllable,and ispositiveifand

onlyif(M;)istight.Reallthatontatonnetedsumsand( 1)-surgeriesalways

yieldSteinobordismsbetweenontat3-manifolds(seee.g.[Gei08℄).Thefollowing

anthenbethoughtofasdemonstratingahigherordervariantofthewellknown

onjeturethatsuhsurgeriesalwayspreservetightness.

Corollary3. Foranygk1,PT (V

g

;

k

)=k 1. Moreover,suppose(M;)is

anyontat3-manifoldthatanbeobtainedfrom(V

g

;

k

)byasequeneof

ontatonnetedsumswithitselforexatlyllableontatmanifolds,and/or

ontat( 1)-surgeries.

(5)

Atpresent,wedonotknowanyexampleforwhihtheminimalorderofalgebrai

torsionisstritlysmallerthantheminimalorderofplanartorsion,butTheorem3

seemstosuggestthatsuhexamplesarelikelytoexist.

Hereisasummaryoftheremainderofthepaper. Inx2wereviewthealgebrai

formalismofSFTasaBV

1

-algebra,inpartiularprovingTheorems1and5. Inx3

wereviewthedenitionofplanartorsionandproveTheorem6,asaneasyappliation

ofsomeresultsonholomorphiurvesfrom[Wena ℄.TheS 1

-invariantexamples(S 1

; )arethentreatedatlengthinx4,leadingtotheproofsofTheorems3and4.

Welosewithabriefdisussionofopenquestionsandrelatedissuesinx5.

InMihaelHuthings'sappendixtothispaper,itisshownthattheappliations

to3-dimensionalontattopologydesribedaboveanalsobeprovedusingmethods

fromEmbeddedContatHomology. Indeed,asremarkedabove,allofourexamples

ofontat3-manifoldswithalgebraitorsionanalsobeshowntohavevanishing

ECHontatinvariant,suggestingthatarenementofthelattershouldexistwhih

oulddetettheorderoftorsion. Theappendixarriesoutenoughofthisprogramto

suÆeforourappliations.Inpartiular,Huthingsassoiatestoanylosedontat

3-manifold(M;)withgeneriontatform,ompatibleomplexstrutureJ and

positivenumberT2(0;1℄,twononnegative(possiblyinnite)integersf T

(M;;J)

andf T

simp

(M;;J). TheseanbeniteonlyiftheECHontatinvariantvanishes,

andtheyhavethepropertythat

f T+

simp (M

+

; +

;J +

)f T

(M ; ;J )

wheneverthereisanexatobordism(X;d)with=e s

atthepositive/negative

endand T T

+

(f.TheoremA.9). Sinef T

andf T

simp

aredened byounting

embeddedholomorphi urves insympletizations, ourSFT omputationsan be

reinterpretedasestimatesoftheseintegers,leadingtothefollowing:

Theorem7.

(1)If(M;)hasplanark-torsion,thenadmitsanondegenerateontatform

andgeneriomplexstrutureJsuhthatf 1

simp

(M;;J)k.

(2)Foranygk1,(V

g

;

k

)admitsasequeneofgeneriontatformsand

omplexstrutures(

i

;J

i

)suhthat:

(a)f Ti

(V

g

;

i

;J

i

)k 1forsomesequeneofrealnumbersT

i

!+1,

(b)Fori< j, thereis anexat sympletiobordism (X;d)suhthat

mathese s

i

atthepositiveendande s

j

atthenegativeend.

AsmentionedinRemark1.2above,thisimmediatelyimpliesanalternativeproof

ofCorollaries1and3,f.CorollaryA.10intheappendix.

Aknowledgments. TheauthorswouldliketothankKaiCieliebak,HelmutHofer,

PatrikMassot,KlausNiederkrugerandJeremyVanHorn-Morrisforhelpfulonver-

sations. TheinlusionofMihaelHuthings'sappendixameaboutduetodisus-

sionsbetweenHuthingsandtheseondauthorattheMSRIWorkshopSympleti

CWgratefullyaknowledgessupportfromanAlexandervonHumboldtFoundation

researhfellowship.ThisworkwasstartedwhenbothauthorsheldpositionsatETH

Zurih,andsigniantprogresswasmadeduringajointonferenevisittotheLorentz

CenterinLeiden. Itisapleasure tothankthese institutionsforthestimulating

workingenvironment.

2.ReviewofSFTasaBV

1

-algebra

ThegeneralframeworkofSFT,inpartiularitsalgebraistruture,waslaidout

in[EGH00℄(seealso[Eli07℄foramorereentpointofview),whereastheanalyti

foundationsarethesubjetofongoingworkbyHofer-Wysoki-Zehnder(see[Hof℄).

Inthissetion,wewilltaketheexisteneofSFTasdesribedin[EGH00℄forgranted

andreviewaversionofthetheorywhihisreadilyderivedfromthisdesription(f.

[CL09℄forsomedetailsofthistranslation). Tokeepthedisussionreasonablybrief,

wewillfrequentlyrefertothesesouresfordetails.Theorems1and5willbesimple

onsequenesofthealgebraipropertiesofSFT.

2.1.Reviewof thebasisetupof SFT. Let(M;)bealosedmanifoldofdi-

mension2n 1withao-orientedontatstruture. TodesribeSFT,oneneeds

toxanondegenerateontatform,aswellassomeadditionalhoies,whihwe

denotebyasingleletter

f

^(for^framing).^The^mostîmportantôf^theseâre:â^ylindri-

alalmostomplexstrutureJ onthesympletizationofM,oherentorientations

forthemodulispaeofniteenergyJ-holomorphiurves,anabstratperturbation

shemefortheJ-holomorphiurveequationandsuitablespanningsurfaesforReeb

orbits.

Given alinearsubspae R H

2

(M;R), letR

R := R[H

2

(M;R)=R℄denotethe

groupringoverRofH2(M;R)=R,whoseelementswewriteas P

aiz d

i

withai2R

andd

i 2H

2

(M;R)=R. DeneA=A()tobetheZ

2

-gradedalgebrawithunitover

thegroupringR

R

,generatedbyvariablesq

,whererangesovertheolletionof

goodlosedReeborbitsfor(f.[EGH00,footnoteonp.566andRemarks1.9.2and

1.9.6℄),andthedegreeofq

isdenedas

jq

j:=n 3+

CZ

() mod2:

HereCZ()denotesthemod2Conley-Zehnderindexofthelosedorbit,whihis

denedintermsofthelinearizedPoinarereturnmapfor(f.[EGH00,p.567℄).We

alsointrodueanextravariable~ofevendegreeandonsiderthealgebraofformal

powerseriesA[[~℄℄.

Toonstrutthedierential,onehoosesaylindrialalmostomplexstrutureJ

onthesympletization(RM;!=d(e s

)). Tobepreise,wesaythatanalmost

omplexstrutureJ onRM isadaptedtoifitisR-invariant, mapstheunit

vetor

s

intheR-diretiontotheReebvetoreldX

of,andrestritstoatamed

omplexstrutureonthesympletivetorbundle(;d).Afterahoieofspanning

(6)

energyholomorphiurveuanbeappedotoa2-yleinM,andsoitgivesrise

toahomologylassinH2(M),whihweprojettodene[u℄2H2(M;R)=R .

Asexplainedin[CL09,setion6℄,theountofsuitablyperturbedJ-holomorphi

urvesinRMwithniteHoferenergygivesrisetoadierentialoperator

DSFT:A[[~℄℄!A[[~℄℄

suhthat

D

SFT

isoddandsquarestozero,

D

SFT

(1)=0,and

D

SFT

= P

k1 D

k

~ k 1

,whereD

k

:A!Aisadierentialoperatoroforder

k.

Morepreisely,

D

k

= X

+; ;g;d

j +j+g=k n

g ( ;

+

;d) 1

C( ;

+ )

q

1 q

s z

d

q

+

1

q

+

s

+

;

wherethesum rangesover all nonnegativeintegers g 0,homologylasses d2

H

2

(M;R)=R and ordered(possibly empty)olletions ofgood losedReeborbits

=(

1

;:::;

s

) suhthats

+

+g=k. Thenumbern

g ( ;

+

;d)2Q denotes

theountof(suitablyperturbed)holomorphiurvesofgenusgwithpositiveasymp-

totis

+

andnegativeasymptotis inthehomologylassd,inludingasymptoti

markersasexplainedin[EGH00,p.622f℄.Finally,C( ;

+

)2Nisaombinatorial

fatordenedas

C( ;

+ )=s !s

+

!

1

s

+

1

+

s

+

;

where

denotestheoveringmultipliityoftheReeborbit.

ObserveinpartiularthatforQ=q

1 q

r

,theonstantoeÆient(i.e. theele-

mentofthegroundring)inD

k

(Q)forkrorrespondstotheountofholomorphi

urves ofgenusk rwithpositiveasymptotis =f

1

;;

r

gandnonegative

ends.

The homologyof (A[[~℄℄;D

SFT

) isdenoted by H SFT

(M;;

f

^;^R). ^Note ^that^by

denitiontheoperatorD

SFT

ommuteswith~andwithelementsofR

R . AsD

SFT

isnot aderivation,thehomologyisnot analgebra, butonly anRR[[~℄℄-module.

However,theelement12AandallitsR

R

[[~℄℄-multiplesarealwayslosedbythe

seondpropertyabove,andsotheydenepreferredhomologylasses. Thespeial

aseR=H

2

(M;R)isofpartiularimportane:thenR

R

reduestothetrivialgroup

ringRandweabbreviate

H SFT

(M;;

f

⁾^:=^H^SFT

(M;;

f

^;^H2(M;^R));

whihwerefertoastheSFTwithuntwisted oeÆients. Similarly,foranylosed

2-formonM,weabbreviatethespeialaseR=kerH

2 (M;R)by

H SFT

(M;;

f

^;⁾^:=^H^SFT

(M;;

f

^;^ker⁾

andallthistheSFTwith-twistedoeÆients.Thefully twistedSFTis

H SFT

(M;;

f

^;^f0g);

denedbytakingRtobethetrivialsubspae. Observethattheinlusionsf0g,!

ker,!H

2

(M;R)induenaturalR[[~℄℄-modulemorphisms

H SFT

(M;;

f

^;^f0g)^!^H^SFT

(M;;

f

^;⁾^!^H^SFT (M;;

f

^):

Aframedobordism(X;!;

f

X

) withpositiveend(M +

; +

;

f

⁺⁾^and ^negative^end

(M ; ;

f

⁾îsâ^sympletiôbordism^(X;^!)^withôriented^boundary^M⁺^t( ^M ^),

togetherwiththefollowingadditionaldata:

aLiouvillevetoreldY,denedneartheboundary,pointingoutwardatM +

andinwardatM ,suhthat

Y

!j

M =

,

atamedalmostomplexstrutureJinterpolatingbetweenthegivenylindri-

alstruturesJ

attheends,

oherent orientations forthemodulispaes ofnite energy J-holomorphi

urvesintheompletionofX,

anabstratperturbationshemeompatiblewith

f

⁺^and

f

^,^and

spanningsurfaesfortheobordismasdesribedin[EGH00,p.571f℄.

Asexplainedin[CL09,setion8℄,suhaobordismgivesrisetoamorphismfrom

H SFT

(M

+

; +

;

f

⁺⁾^to^H^SFT

(M ; ;

f

⁾^after^suitably^twisting^the^dierential^as^fol-

lows.

SupposeR

H

2 (M

;R) andR(X) ker!H

2

(X;R) arelinearsubspaes

suh thatthemapsH

2 (M

;R) !H

2

(X;R) induedbytheinlusionsM

,!X

mapR

intoR(X). DenethegroupringsR

R =R[ H

2

(M;R)=R

℄andR

R(X)

=

R[H

2

(X;R)=R(X)℄,andlet(A

[[~℄℄;D

SFT

)denotetheBV

1

-algebrasasdenedabove

for(M

;

f

⁾^with^oeÆientsⁱⁿ^RR .

WealsodenotebyA

X

thealgebragen-

eratedbytheq

withoeÆientsinR

R(X)

instead ofR

R

,Novikovompletedas

desribedin[EGH00,p.624℄(notethatintegrationof!givesawelldenedhomo-

morphismH

2

(X;R)=R(X)!R). TheinlusionsM

,!Xgiverisetomorphisms

H

2 (M

;R)=R

!H

2

(X;R)=R(X) andR

R !R

R(X)

,whihinpartiulardeter-

mineamorphismofalgebrasA !A

X .

Now(X;!;

f

X

)givesrisetoseveralstrutures,therstofwhihisanelementA2

~ 1

A

X

[[~℄℄satisfyingD

SFT (e

A

) =0,whihisobtainedfromountingholomorphi

urves inX with nopositivepuntures (thesemayexistonly ifX isnotexat).

Using this,one andenea twisteddierentialD

X : A

X

[[~℄℄ !A

X

[[~℄℄bythe

formula

D

X (Q)=e

A

D

SFT (e

A

Q):

In thisway, weget atwistedversion ofSFTfor(M ; ;

f

^),^whih ^depends^on

(X;!;

f

X ).

Remark 2.1.AbovewehavedenedtwokindsoftwistedversionsofSFT,namely

SFTtwistedwithrespettoalosedtwo-form,andthetwistedSFTofthenegative

(7)

endofa(non-exat)sympletiobordism.Wehopethatitisalwayslearfromthe

ontextwhihkindoftwistingismeant.

The other strutureone obtains isa hainmap = e

: (A +

[[~℄℄;D +

SFT ) !

(A

X [[~℄℄;D

X

)determinedbyamap=

X :A

+

!A

X

[[~℄℄satisfying

isevenand(1)=0,

e

D +

SFT

=D

X e

,and

=

P

k1

k

~ k 1

,whereeah

k :A

+

!A

X

isadierentialoperatoroforder

koverthezeromorphism.

2

ThisountsholomorphiurvesinXwithatleastonepositivepunture. The

rstonditionabovetranslatestothefatthat(1)=1. Againis~-linear,soit

induesamorphismofR[[~℄℄-modulesH

(A

+

;D +

SFT )!H

(A

X

;D

X

),whihmapsthe

preferredlass[1℄2H(A +

;D +

SFT

)anditsR

M +

[[~℄℄-multiplestotheorresponding

lassesinH

(A

X

;D

X ).

Todisusstheinvarianepropertiesof SFT,onestudies holomorphiurves in

topologiallytrivialobordismsRM. Morepreisely,giventwoontatforms

forthesameontatstruture,thereisaonstant>0andanexatsympleti

form! = d(e s

s

) on RM suh thattheprimitive

s

agrees with atthe

negativeendandwith +

atthepositiveendoftheobordism. Similarly,onends

aframing

f

^RM ^ompatible^with^given^framings

f

^at^the^ends. ^Note^thatⁱⁿ^this

aseker!=H

2 (X)=H

2

(M),soweanhooseR

=R=R(X)andobservethat

theompletionproessinthedenitionofA

X

istrivialsine!isexat,givingrise

toanaturalidentiationofA

X

withA . Likewise,A2~ 1

A vanishesasthe

obordismisexat. Sineresalingofdoesnotinuenetheountofholomorphi

urves,weobtainahainmap(A +

[[~℄℄;D +

SFT

)!(A [[~℄℄;D

SFT ).

Reversingtherolesof +

and , oneobtainsasimilarhainmapintheother

diretion,andadeformationargumentimpliesthatbothompositionsarehainho-

motopitotheidentitymapson(A

;D

SFT

),respetively.Inpartiular,theyindue

R

[[~℄℄-moduleisomorphismsonhomology,sothattheontatinvariant

H SFT

(M;;R):=H SFT

(M;;

f

^;^R)

iswelldeneduptonaturalisomorphisms.Itisimportantforustoobservethat,by

onstrution,thesemorphismsaretheidentityonR

R [[~℄℄A

,thusH SFT

(M;;R)

omeswithpreferredhomologylassesassoiatedtotheelementsofRR[[~℄℄.Consid-

eringthespeialaseswhereRisf0g,kerorH

2

(M;R)againgivesrisetothefully

twisted,-twistedanduntwistedversionsrespetively, withnaturalR[[~℄℄-module

morphisms

(2.1) H

SFT

(M;;f0g)!H SFT

(M;;)!H SFT

(M;):

2

Givenamorphism:A1!A2betweengradedommutativealgebras,ahomogeneouslinear

mapD:A

1

!A

2

isadierentialoperatoroforderkoverifforeahhomogeneouselement

a2A1themapx7!D(ax) ( 1) jDjjaj

(a)D(x)isadierentialoperatoroforderk 1,with

theonventionthatthezeromaphasorder 1.

Remark 2.2.The abovedisussionofmorphismsanberenedslightlyasfollows.

GivenanondegenerateontatformandaonstantT >0,weanonsiderthe

linearsubspaeA(;T)A()intheorrespondinghainlevelalgebragenerated

byallthemonomialsoftheformq1:::qrforwhihthetotalationisboundedby

T,i.e.

r

X

j=1 Z

j <T:

SinetheenergyofholomorphiurvesontributingtoD

SFT

isnonnegativeandgiven

bytheationdiereneoftheasymptotis,theoperatorD

SFT

restritstodenea

dierential

D

SFT

:A(;T)[[~℄℄!A(;T)[[~℄℄:

Moreover,if!=d(e s

s

)isasympletiformonRMsuhthatagreeswith +

at

thepositiveendand atthenegativeend,thentheresultingmorphismrespets

thetrunationwithsuitableresaling,i.e.itgivesrisetoahainmap

T :(A(

+

;T)[[~℄℄;D +

SFT

)!(A( ;T)[[~℄℄;D

SFT

)=(A( ;T=)[[~℄℄;D

SFT ):

Bewarehoweverthat,duetotheresalingofformsfortheylindrialobordisms,

thereisnomeaningfulltrationonH SFT

(M;;R).

IntheproofofTheorem4wewillusethisrenementinthesituationwhere has

onlyitsperiodiorbitsofationatmostTnondegenerate,inwhihasethetrunated

omplex(A( ;T)[[~℄℄;D

SFT

)anstillbeonstrutedwithalltherequiredproperties.

Itisusefultoonsiderhowthehainmap :(A +

[[~℄℄;D +

SFT )!(A

X [[~℄℄;D

X )

induedbyasympletiobordism(X;!)simplieswheneverertainnaturalextra

assumptionsareplaedonX. First,supposethat(X;!)isanexat obordism.As

wealreadyobservedabove,inthisaseX ontainsnoholomorphiurveswithout

positiveends,henethe\twisting"termA2~ 1

A

X

[[~℄℄vanishes. Moreover,sine

ker!=H

2

(X;R),weansetR(X)=H

2

(X;R)andredueR

R(X)

totheuntwisted

oeÆientringR.MakingorrespondinghoiesR

=H

2 (M

;R)sothatR

R =R

forthepositiveandnegativeends,wethenhaveanaturalidentiationofthetwo

hainomplexes(A

X [[~℄℄;D

X

)and(A [[~℄℄;D

SFT

),henetheaforementionedhain

mapyieldsthefollowing:

Proposition2.3.Anyexatsympletiobordism(X;!)withpositiveend(M +

; +

)

andnegativeend (M ; ) givesrise toanaturalR[[~℄℄-module morphismonthe

untwistedSFT,

X :H

SFT

(M

+

; +

)!H SFT

(M ; ):

Nowsuppose(X;!)isastrongllingof(M +

; +

),whihwemayviewasasymple-

tiobordismwhosenegativeend(M ; )istheemptyset.Foranygivensubspae

R(X)ker!,theNovikovompletionR

R(X) ofR

R(X)

neednotbetrivial,butthe

hainomplex(A

X [[~℄℄;D

X

)hasnogeneratorsotherthantheunit,anditsdieren-

tialvanishes,heneitshomologyissimplyRR(X)[[~℄℄. ChoosingRH2(M;R)so

(8)

thatthenaturalmapH

2

(M;R)!H

2

(X;R)induedbytheinlusionM,!Xtakes

RintoR(X),wealsoobtainanaturalR[[~℄℄-modulemorphismRR[[~℄℄!RR(X)[[~℄℄.

Notethatsine!isneessarilyexatnearX,weanalwayshooseR(X)=ker!

andR=H2(M;R).Weobtain:

Proposition2.4.Suppose(X;!)isastrongllingof(M;),andR(X)ker!

H

2

(X;R) andRH

2

(M;R) arelinearsubspaesforwhihthenaturalmapfrom

H2(M;R) toH2(X;R) takesRinto R(X). ThenthereisanaturalR[[~℄℄-module

morphism

X:H SFT

(M;;R)!RR(X)[[~℄℄;

whihats on R

R [[~℄℄ H

SFT

(M;;R) as thenatural maptoR

R(X)

[[~℄℄indued

bytheinlusion M ,!X. In partiular, theuntwistedSFT of(M;) admitsan

R[[~℄℄-modulemorphism

X :H

SFT

(M;)!R

ker!

[[~℄℄:

Finally,wegeneralizetheabovetoallowforstablesympletillingsasdened

intheintrodution. Reallthatif(X;!)isastablellingof(M;)andwewrite

:=!j

M

,thenadmitsanondegenerateontatformandomplexstrutureJ

suhthat!j

anddj

bothdenesympletibundlestruturestamingJ

,andthe

ReebvetoreldX

generatesker. Inpartiular,thepair(;)isthenastable

Hamiltonianstruture,meaningitsatises:

(1)^ n 1

>0,

(2)d=0,

(3)kerkerd.

AroutineMoserdeformationargumentshowsthataneighborhoodofXin(X;!)

anthenbeidentiedsympletiallywiththeollar

(( ;0℄M;d(t)+)

for>0suÆientlysmall. Chooseasmallnumber

0

>0anddene

T :=f'2C 1

([0;1)![0;0))j' 0

>0everywhereand'(t)=tneart=0g:

Thenif

0

issmallenough,every'2T givesrisetoasympletiform!

' onthe

ompletion b

X:=X[M([0;1)M) ,denedby

!'= (

! onX;

d('(t))+ on[0;1)M:

Deneaylindrialalmostomplexstrutureon[0;1)Mwhihmaps

s toX

and

restritstoJ

on;duetotheompatibilityassumptionsonJ

,thisis!

'

-tameforall

possiblehoiesof'2T.Weanthusextendittoageneri!

'

-tamealmostomplex

strutureJ on b

X. Thenoneangeneralizethepreviousdisussionbyonsidering

punturedJ-holomorphiurvesu: _

S! b

Xthatsatisfytheniteenergyondition

E(u):=sup

'2T Z

_ u

!

' :

Thisdenitionof energyisequivalent totheonegivenin[BEH +

03℄inthesense

thatboundsoneitherimplyboundsontheother; itfollowsthattheompatness

theoremsof[BEH +

03℄applytosequenesu

k

ofpunturedJ-holomorphiurvesfor

whihE(uk)isuniformlybounded. Suhaboundexistsforanysequeneofurves

withxedgenus,asymptotisandhomologylass.NotealsothattherestritionofJ

totheylindrialendisalsoadaptedtointheusualsense, thustheupperlevel

urvesthatappearinholomorphibuildingsarisingfromtheompatnesstheorem

arepreiselytheurvesthatareountedinthedenitionofH SFT

(M;;

f

^;^R).

TheaboveobservationsyieldthefollowinggeneralizationofProposition2.4:

Proposition2.5.Suppose(X;!)isastablesympletillingof(M;),andR(X)

ker!H2(X;R) andRH2(M;R)arelinearsubspaessuhthatthenaturalmap

H

2

(M;R)!H

2

(X;R)takesRintoR(X). ThenthereexistsanaturalR[[~℄℄-module

morphism

X :H

SFT

(M;;R)!R

R(X) [[~℄℄;

whihatsonR

R

[[~℄℄asthenaturalmaptoR

R(X)

[[~℄℄induedbytheinlusionM,!

X. Inpartiular,deninga2-formonMby=!jM,the-twistedSFTof(M;)

admitsanR[[~℄℄-modulemorphism

X :H

SFT

(M;;)!R

ker!

[[~℄℄:

Example2.6.Thefollowingshowsthatasidefromdeningllingobstrutions,SFT

analsoprovideinformationastothelassiationofsympletillings.Considerfor

instanethetightontatstruture0onS 1

S 2

,whihitaquiresastheboundary

oftheSteindomainS 1

B 3

T

S 1

R 2

.Presenting(S 1

S 2

;

0

)viaasymmetri

summedopenbookwithdisk-likepages(seeDenition3.1),oneanndaReeborbit

thatisuniquelyspanned bytworigidholomorphiplaneswhosehomologylasses

dierbythegenerator[S 2

℄:=[fgS 2

℄2H

2 (S

1

S 2

;R). Hene,inthenotation

establishedatthebeginningofthissetion,thefullytwistedSFTsatisesarelation

oftheform

[1 z [S

2

℄

℄=02H SFT

(S

1

S 2

;

0

;f0g):

Thenif(X;!)isanyweakllingof(S 1

S 2

;

0

),Proposition2.5givesamapfrom

H SFT

(S

1

S 2

;

0

;f0g)totheNovikovompletionofR[H

2

(X;R)℄whoseationon

R[H

2

(M;R)℄[[~℄℄isdeterminedbytheinlusionS 1

S 2

,!X.Inlightoftheabove

relation,thisimpliesthatthenaturalmapH

2 (S

1

S 2

;R)!H

2

(X;R)takes[S 2

℄to

zero. Infat,thisisknowntobetrue: itfollowsfromthediskllingargumentof

Eliashberg[Eli90℄,whihimpliesthateveryweakllingofS 1

S 2

isdieormorphi

toablow-upofS 1

B 3

.

Anotherexampleisprovidedbythestandard3-torus(T 3

;

0

),whihistheboundary

oftheSteindomainT 2

D T

T 2

andanalsobepresentedbyasymmetrisummed

openbook,butwithylindrialpages.Oneanthenhoosea1-dimensionalsubspae

R H2(T 3

;R) withgeneratord0 represented byapre-Lagrangiantorus, sothat

ountingholomorphiylindersyieldsrelationsoftheform

[(1 z d1

)~℄=[(1 z d2

)~℄=02H SFT

(T 3

;0;R)

(9)

forboth oftheotheranonialgenerators d

1

;d

2 2 H

2 (T

3

;R). ApplyingProposi-

tion2.5again,oneanusethistoshowthatforanyweaklling(X;!)of(T 3

;0)suh

that R

d0

!=0,andinpartiularforanystronglling,thenaturalmapH

2 (T

3

;R)!

H

2

(X;R)hasitsimageinaspaeofdimensionatmostone.Thisisalsoknowntobe

true: byaombinationofargumentsin[Wen10b ℄and[NW11℄,(X;!)mustinthis

asebeasympletiblow-upofthestandardSteinllingT 2

D.

2.2.Algebrai torsion and itsonsequenes. Asabove,wewriteRforsome

givenlinearsubspaeinH

2

(M;R),andusethenotationR

R

=R[H

2

(M;R)=R℄ for

theorrespondinggroupring.Reallthefollowingdenitionfromtheintrodution:

Denition 2.7. Foranyintegerk 0, we saythat(M;) has algebraitorsion

oforderkwithoeÆientsinR

R if[~

k

℄=0inH SFT

(M;;R). Wesingleoutthe

followingspeialases:

(M;)has(untwisted)algebraik-torsionif[~

k

℄=02H SFT

(M;).

Foralosed2-formonM,(M;)has-twistedalgebraik-torsionif[~

k

℄=

02H SFT

(M;;).

(M;)hasfullytwistedalgebraik-torsionif[~

k

℄=02H SFT

(M;;f0g).

Bydefault,whenwespeakofalgebraitorsionwithoutspeifyingtheoeÆients,

wewillalways meanthe untwistedversion. Observethat duetothemorphisms

(2.1),fullytwistedtorsionimplies-twistedtorsionforalllosed2-forms, and

itisnot hardtoshowthattheonverse isalsotrue. Likewise,-twistedtorsion

foranyonelosed2-formimpliesuntwistedtorsion,andk-torsionforanyhoie

ofoeÆientsimplies(k+1)-torsionforthesameoeÆientssineD

SFT (Q)=~

k

impliesD

SFT (~Q)=~

k+1

.

Remark2.8.SineallpowerseriesinR[ [~℄℄arenaturallylosedelementsoftheSFT

hainomplex,oneandeneaseeminglymoregeneralnotionthanalgebraitorsion

viatheondition

[f(~)℄=02H SFT

(M;)

foranynonzeropowerseriesf2R[[~℄℄. Infat,thisisnotmoregeneral:allelements

oftheform1+O(~)anbeinvertedinR[ [~℄℄viaalternatingseries,thus[f(~)℄=0

impliesuntwistedalgebraik-torsionwherek0isthelargestintegerwithf(~)=

~ k

g(~)forsomeg2R[[~℄℄. Thesituationhangeswhenoneonsidersthevanishing

ofnonzeroelementsofRR[[~℄℄inH SFT

(M;;R): asshownbyExample2.6above,

thisdoesnotalwaysimplynonllability,butitanyieldtopologialrestritionson

thesympletillingsthatexist.

Thespeialasek=0isnotanewonept;thefollowingresultisstatedforthe

untwistedtheorybuthasobviousanaloguesforanyhoieofoeÆientsR

R .

Proposition2.9. Thefollowingstatementsareequivalent.

(i)(M;)hasalgebrai0-torsion.

(ii)H SFT

(M;)=0.

(iii)(M;) is algebraiallyovertwisted in thesense of [BN10℄, i.e.its ontat

homologyistrivial.

Proof.Theonlylaimnotimmediatefromthedenitionsisthat(i)implies(ii),for

whihweuseavariationonthemainargumentin[BN10℄.ForQ

1

;Q

2

2A[[~℄℄,dene

[Q

1

;Q

2

℄:=D

SFT (Q

1 Q

2 ) D

SFT (Q

1 )Q

2 ( 1)

jQ1j

Q

1 D

SFT (Q

2 )

tobethedeviationofD

SFT

frombeingaderivation. Notethatsinetherstterm

D

1

intheexpansionofD

SFT

isaderivation,wealwayshave[Q

1

;Q

2

℄=O(~). One

alsoeasilyheksthatD

SFT

isaderivationofthisbraket,inthesensethat

DSFT[Q1;Q2℄= [DSFTQ1;Q2℄ ( 1) jQ1j

[Q1;DSFTQ2℄:

Thesesignsareorretbeausethebrakethasodddegree.

NowsupposeDSFT(P)=1,anddeneamapB:A[[~℄℄!A[[~℄℄asanalternating

sumofiteratedbraketswithP,i.e.as

B(Q):=Q [P;Q℄+[P;[P;Q℄℄ :::

Clearly[P;B(Q)℄=Q B(Q)andD

SFT

(B(Q))=B(D

SFT

(Q)),andsoifD

SFT (Q)=

0,then

D

SFT

(PB(Q))=[P;B(Q)℄+D

SFT

(P)B(Q)=Q B(Q)+B(Q)=Q;

provingthateverylosedelementinA[[~℄℄isexat.

Withthealgebraiformalisminplae, theproofsofTheorems1and5arenow

immediate.

ProofsofTheorems1and5.Suppose(X;!)isanexatsympletiobordismwith

positiveend(M +

; +

)andnegativeend(M ; ).Thenif[~

k

℄=02H SFT

(M

+

; +

),

thesamemustbetrueinH SFT

(M ; )duetoProposition2.3.

Likewise,if(X;!)isastrongllingof(M;),thenProposition2.4givesanR[[~℄℄-

modulemorphismfromH SFT

(M;)toR

R(X)

[[~℄℄,whereR

R(X)

istheNovikovomple-

tionofR[H2(X;R)=ke r!℄.Sinenopowerof~vanishesinRR(X)[[~℄℄,thesamemust

betrueinH SFT

(M;),ompletingtheproofofTheorem1. Theorem5followsby

exatlythesameargument,usingProposition2.5andobservingthatH SFT

(M;;)

dependsonlyon(M;)andtheohomologylassof.

3. Relationtoplanartorsionindimension3

Thissetiondesribestherelationofalgebraitorsiontoplanartorsion, andin

partiularprovidestheproofofTheorem6.

(10)

3.1.Reviewofplanartorsion. Webeginbyreviewingbrieythenotionofplanar

torsion, whih isdened inmoredetailin[Wena ℄. Aplanartorsiondomain isa

speialtypeofontatmanifoldwithboundarywhihgeneralizesthethikenedtorus

(T 2

[0;1℄;T)inthedenitionofGirouxtorsion.Weandeneitintermsofopen

bookdeompositionsasfollows.

Reallrstthatif

M isalosedoriented(notneessarilyonneted)3-manifold

withanopenbookdeomposition:

Mn

B!S 1

,thentheopenbookanbe\blown

up"alongpartofitsbindingtoprodueamanifoldwithboundary: foranygiven

bindingomponent

B,thismeansreplaingwithitsunitnormalbundle.The

latteristhena2-torusTintheboundaryoftheblownupmanifoldM,anditomes

withaanonialhomologybasisf;gH

1

(T),whereisthemeridianaroundthe

boundaryofaneighborhoodofandisaboundaryomponentofapage. Given

anytwobindingomponents

1

;

2

B,oneanthenprodueanewmanifoldviaa

so-alledbindingsum,whihonsistsofthefollowingtwosteps:

(1)Blow upat

1 and

2

to produeboundarytoriT

1 andT

2

withanonial

homologybasesf

1

;

1 gandf

2

;

2

grespetively.

(2)AttahT

1 to T

2

viaanorientationreversingdieomorphismT

1

!T

2 that

maps

1 to

2 and

1

to

2 .

Combiningboththeblow-upandbindingsumoperationsforagivenlosedmanifold

withanopenbook:

Mn

B!S 1

,oneobtainsaompatmanifoldM,possibly

withboundary,arryingabration

:Mn(B[I)!S 1

;

whereBisanoriented(possiblyempty)linkonsistingofallomponentsof

Bthat

havenotbeenblownup,andIisaspeial(alsopossiblyempty)olletionof2-tori

whihareeahtheresultofidentifyingtwoblownupbindingomponentsinabinding

sum. ThetoriTI[M eaharryanonialhomologybasesf;gH

1 (T),

whereforT 2I, isdenedonly uptoasign. These homologybasestogether

withthebration determine aso-alledblown upsummedopenbook on M,

withbindingBandinterfaeI.Itspagesaretheonnetedomponentsofthebers

1

(onst ).Weallablownupsummedopenbookirreduibleifthebers 1

(onst )

areonneted,whihmeansitontainsonlyasingleS 1

-familyofpages. Ingeneral,

everymanifoldMwithablownupsummedopenbookanbewrittenasaunion

ofirreduiblesubdomains,

M=M

1

[:::[M

n

;

whereM

i

aremanifoldswithboundarythateaharryirreduibleblownupsummed

openbooks

i

,whosepagesarepagesof,andtheyareattahedtoeahotheralong

toriintheinterfaeof.

JustasanopenbookonMdeterminesaspeiallassofontatforms,wedenea

GirouxformonamanifoldMwithablownupsummedopenbooktobeanyontat

(1)TheReebvetoreldX

iseverywherepositivelytransversetothepagesand

positivelytangenttotheorientedboundariesoftheirlosures,

(2)Theharateristifoliationutoutby=keroneahboundaryorinterfae

torusTI[Mhaslosedleavesinthehomologylassofthemeridian.

NotethatwheneverisaGirouxform,thebindingonsistsofperiodiorbitsofX

,

andeahtorusinI[Misfoliatedbyperiodiorbits.AGirouxformanbedened

foranyblownupsummedopenbookthatontainsnolosedpages,anditisthen

uniqueuptodeformation. WesaythataontatstrutureonMissupportedby

agivenblownupsummedopenbookifandonlyifitanbewrittenasthekernelof

aGirouxform. Theeetofabindingsumonsupportedontatstruturesisthen

equivalenttoaspeialaseoftheontatbersumdenedbyGromov[Gro86℄and

Geiges[Gei97℄.

Denition 3.1. Ablownupsummedopen bookisalledsymmetri ifithasno

boundaryandontainsexatlytwoirreduiblesubdomains,eahwithpagesofthe

sametopologialtype,andeahwithemptybindingand(interior)interfae.

Symmetriexamplesareonstrutedingeneralbytakinganytwoopenbookswith

dieomorphipages,hoosinganorienteddieomorphismfromthebindingofoneto

thebindingoftheotherandonstrutingtheorrespondingbindingsumontheir

disjointunion.Supportedontatmanifoldsthatariseinthiswayinludethetight

S 1

S 2

(withdisk-likepages)andthestandardT 3

(ylindrialpages).

Weallanirreduibleblownupsummedopenbookplanarifitspageshavegenus0,

andageneralblownupsummedopenbookisthenpartiallyplanarifitontainsa

planarirreduiblesubdomaininitsinterior.

Denition 3.2. For anyintegerk 0, aplanartorsiondomain oforder k (or

simplyplanark-torsiondomain)isaonnetedontat3-manifold(M;),possibly

withboundary,withasupportingblownupsummedopenbooksuhthat:

(1)MontainsaplanarirreduiblesubdomainM P

M initsinterior,whose

pageshavek+1boundaryomponents,

(2)MnM P

isnotempty,and

(3)isnotsymmetri.

Wethenallthesubdomains M P

andMnM P

theplanarpiee and thepadding

respetively.

Aontat3-manifoldissaidtohaveplanark-torsionwheneveritadmitsaontat

embeddingofaplanark-torsiondomain.

Denition3.3.Suppose(M;)isaontat3-manifoldontainingaplanark-torsion

domainM

0

M withplanarpieeM P

0

forsomek0,andisalosed2-form

onM. IfeveryinterfaetorusTM0lyinginM P

0 satises

R

T

=0,thenwesay

that(M;)has-separatingplanark-torsion.Wesaythat(M;)hasfullyseparating

planark-torsionifthisistrueforeverylosed2-formonM,orequivalently,eahof

(11)

1

0 3 2

PSfragreplaements

+

S 1

(W;d)

(V

4

;

3 )

(V

2

;

2 )

Figure3. Someexamplesofonvexsurfaesanddividingsetsthat

determineS 1

-invariantplanartorsiondomains,oforders1,0,3and2

respetively. Theexamplesatthetoprightandbottomleftareboth

fullyseparating. Thebottomrightexampledenesalosedmanifold

ontatomorphitotheexample(V4;3)fromTheorem4. Notethat

inthisase,it'simportantthatthetwosurfaesoneithersideofthe

dividingsetarenotdieomorphi(sothatthesummedopenbookis

notsymmetri).

Example3.4.ThesimplestexamplesofplanartorsiondomainshavetheformS 1

,

whereisanorientablesurfae(possiblywithboundary),theontatstrutureis

S 1

-invariantandtheresultingdividingset ontainstheboundary.Thismaybe

viewedasablownupsummedopenbookwhosepagesaretheonnetedomponents

ofn ,sothebindingisempty,andtheinterfaeandboundarytogetherareS 1

.

SomespeialasesareshowninFigure3.

Remark 3.5.Anotherphenomenonthatisallowedbythedenitionbutnotseenin

theasesS 1

ofExample3.4isforanirreduiblesubdomaintohaveinterfaetori

initsinterior,duetosummingofasingleonnetedopenbooktoitselfatdierent

0 2

PSfragreplaements

+

S 1

(W;d)

(V

4

;

3 )

(V

2

;

2 )

Figure 4. Shemati representationsof twosummedopen books

thatinlude \selfsumming", i.e.interfae toriintheinterior ofan

irredubilesubdomain. Assumingtrivialmonodromy,theexampleat

theleftisobtainedfromthetightS 1

S 2

withitsobviousylindrial

openbookbysummingonebindingomponenttotheother:theresult

isaSteinllableontatstrutureonthetorusbundleoverS 1

with

monodromy 1.Attheright,theadditionalsubdomainwithdisk-like

pagesturnsitintoaplanartorsiondomain:the3-manifoldisthesame,

buttheontatstrutureishangedbyahalfLutztwistandisthus

overtwisted. Notethatinthisexampleeitherirreduiblesubdomain

anbetakenastheplanarpiee,soitisbotha0-torsiondomainand

a2-torsiondomain.

bindingomponents. ExamplesofthisareshowninFigure4,whihalsoillustrates

thefatthatthehoieofplanarpiee(andonsequentlytheorderofplanartorsion)

isnotalwaysunique,evenforaxedplanartorsiondomain.

Itisshownin[Wena ℄thataontatmanifoldhasplanar0-torsionifandonlyif

itisovertwisted, andeveryontatmanifoldwith Girouxtorsion alsohas planar

1-torsion.ThelatteristhereasonwhyTheorem6impliesTheorem2.

3.2.ProofofTheorem6. Withthesedenitionsinplae,Theorem6followseasily

fromanexisteneanduniquenessresultprovedin[Wena ℄forJ-holomorphiurvesin

blownupsummedopenbooks.Namely,suppose(M;)isalosedontat3-manifold

ontainingaompatandonneted3-dimensionalsubmanifoldM

0

,possiblywith

boundary,onwhihissupportedbyablownupsummedopenbookwithbind-

ingB,interfaeIandinduedbration:M

0

n(B[I)!S 1

. Assumethereare

N2irreduiblesubdomains

M

0

=M

1 [:::[M

N

;

ofwhihM1liesfullyintheinteriorofM0,anddenotetheorrespondingrestritions

ofby

i :M

i n(B

i [I

i )!S

1

fori=1;:::;N,withB

i

:=B\M

i andI

i

:=I\intM

i

. Notethatwhileitself

isnotneessarilywelldenedatMi,ialwayshasaontinuousextensiontoMi.

(12)

Assumethepages inM

i

havegenusg

i

0,whereg

1

=0. Inpartiular,M

0 isa

planartorsiondomainwithplanarpieeM1.

Proposition 3.6([Wena ℄). Foranynumber 0 >0, (M;) admitsaMorse-Bott

ontatformandompatibleFredholmregularalmostomplexstrutureJ withthe

followingproperties.

(1)OnM0,isaGirouxformfor.

(2)TheReeborbitsinBarenondegenerateandellipti,andtheomponentsof

I[M0areallMorse-Bottsubmanifolds.

(3)AllReeborbitsinB

1 [I

1 [M

1

haveminimalperiodatmost

0

,whileevery

otherlosedorbitof theReeb vetoreld X inM hasminimalperiod at

least1.

(4)ForeahirreduiblesubdomainMiwithgi=0,thebrationi:Min(Bi[

I

i )!S

1

admitsaC 1

-smallperturbation^

i :M

i n(B

i [I

i )!S

1

suhthat

theinteriorofeahber^ 1

i

()for 2S 1

lifts uniquelytoanR-invariant

familyofproperlyembeddedsurfaes

S (i)

;

RMi; (;)2RS 1

;

whiharetheimagesofembeddedniteenergyJ-holomorphiurves

u (i)

;

=(a (i)

+;F

(i)

):

_

Si!RMi;

allofthemFredholmregularwithindex2,andwithonlypositiveends.

(5)Supposeu: _

S!RMisaniteenergypunturedJ-holomorphiurvewhih

isnotaoverofatrivialylinder,andsuhthatallitspositiveasymptoti

orbitsaresimplyoveredandontainedinB1[I1[M1, withatmostone

positiveendapproahingeahonnetedomponentofB

1 [M

1

andatmost

twoapproahingeahonnetedomponentofI1. Thenuhasgenuszeroand

parametrizesoneofthesurfaesS (i)

;

desribedabove.

ReallthataJ-holomorphiurveisalledFredholmregularifitorrespondsto

atransversalintersetionoftheappropriatesetionofaBanahspaebundlewith

thezero-setion,seeforexample[Wen10a ℄.WealsosaythatJisFredholmregularif

everysomewhereinjetiveJ-holomorphiurveisFredholmregular;thisisageneri

onditiondueto[Dra04℄. IfuisarigidurvethatisFredholmregular,thisimplies

inpartiularthatuanbeperturbeduniquelytoasolutionofanysuÆientlysmall

perturbationofthenonlinearCauhy-Riemannequation.

ProofofTheorem6.Thefollowingisanadaptationoftheargumentusedin[Wena ℄

toshow thatplanartorsionkills theECHontatinvariant,anditan similarly

beusedtoomputeanupperboundontheintegerf T

simp

(M;;J)denedviaECH

intheappendix. Givenalosed2-formonM,letk

0

kbethesmallestorder

of-separatingplanartorsionthat(M;)admits. Wewillprovethat(M;)then

has-twistedalgebraik

0

-torsion,whihaspreviouslyobserved,impliesalgebraik-

=0.Throughouttheproof,foranyd2H

2

(M;R),wedenoteby

d2H

2

(M;R)=ke r

theorrespondingequivalenelass.

SupposeM

0

(M;)isaplanark

0

-torsiondomainwithplanarpieeM P

0

M

0 ,

suhthat[T℄kerH

2

(M;R)foreveryinterfaetorusTlyinginM P

0 . Denote

by

P

:M P

0 n(B

P

[I P

)!S 1

theorrespondingbrationintheplanarpiee. Writetheonnetedomponentsof

thebinding,interfaeandboundaryrespetivelyas

B P

=1[:::[m;

M P

0

=T1[:::[Tn;

I P

=Tn+1[:::[Tn+r;

wherebydenitionwehave

m+n+2r=k

0

+1 and n1:

NowgiventhespeialMorse-Bottontatform

0

andompatiblealmostomplex

strutureJ

0

providedbyProposition3.6,weonsiderthemodulispae

M(J0):=M0(1;:::;m;T1;:::;Tn;Tn+1;Tn+1;:::;Tn+r;Tn+r;J0)

ofunparametrizedJ

0

-holomorphiurvesu: _

S!RMsuhthat

(1) _

Shasgenus0,nonegativepunturesandm+n+2rpositivepuntures

z1;:::;zm;1;:::;n;w +

1

;w

1

;:::;w +

r

;w

r

(2)Forthepuntureslistedabove,uapproahesthesimplyoveredorbit

i atz

i ,

anysimplyoveredorbitinTiatiandanysimplyoveredorbitinTn+iat

bothw +

i andw

i .

ByProp.3.6,Misaonneted2-dimensionalmanifoldonsistingofanR-invariant

familyofembeddedFredholmregularurvesthatprojettothepagesinM P

0 . Note

herewe are using thefatthat theblown upsummed open book onM

0 is not

symmetri,soinpartiularthepaddingM0nM P

0

annotontainadditionalgenus0

urveswiththeasymptotibehaviorthatdenesM(J

0

).Italsoannotontainany

genus0urvesasymptotitoapropersubsetofthesameorbits,asthiswouldmean

theexisteneofan-separatingplanartorsiondomainwithorderlessthank

0 .

WenextperturbtheMorse-Bottdata(

0

;J

0

)togenerinondegeneratedata(;J)

bytheshemedesribedin[Bou02℄,extendJtoasuitableframing

f

^and^assume^that

H SFT

(M;;

f

^;⁾^is^well^dened^(see^Remark^3.7^below). ^Reall^that^the^perturba-

tiontonondegeneratedataisahievedbyhoosingaMorsefuntiononeahofthe

relevantMorse-Bottfamiliesoforbitsandusingittoaltertheontatforminsmall

neighborhoodsofthesefamilies.Inourase,eahMorse-bottfamilyisparametrized

byairle,sowemayassumewithoutlossofgeneralitythatourMorsefuntiononS 1

(13)

surviveas nondegenerate orbitsafter theperturbation. Moreover, J-holomorphi

urves areobtainedasperturbationsofJ0-holomorphi\asades",i.e. multi-level

buildingsomposedofamixtureofholomorphiurveswithgradientowlinesalong

theMorse-Bottmanifolds.Wemaythereforeassumeaftertheperturbationthateah

ofthetoriT

i

fori=1;:::;n+rontainstwonondegeneratesimpleReeborbits e

i and

h

i

,elliptiandhyperbolirespetively. Theseorbitsomewithpreferredframings

determinedbythetangentspaestoT

i

,andintheseframingstheirConley-Zehnder

indiesare

CZ (

e

i

)=1 and

CZ (

h

i )=0:

Thereare also twoembedded J-holomorphi index1ylinders (orrespondingto

gradientowlinesalongtheMorse-Bottfamily)

v

i :RS

1

!RM

whoseprojetionstoMaredisjointandllthetworegionsinTiseparatedby e

i and

h

i

,sothehomologylassestheyrepresentarerelatedtoeahotherby

[v +

i

℄ [v

i

℄=[T

i

℄2H

2 (M;R);

andforasuitablehoieofoherentorientation,thesetwotogetherontributeterms

oftheform

(z [Ti℄

1)q

h

i

q e

i

totheoperatorDSFT.TheurvesinM(J0)likewisegiverisetoauniqueJ-holomorphi

punturedsphereinthespae

M(J):=M

0 (

1

;:::;

m

; h

1

; e

2

;:::; e

n

; e

n+1

; e

n+1

;:::; e

n+r

; e

n+r

;J)

withpunture

1

asymptotito h

1

and allotherpuntures asymptotito ellipti

orbits. Thisurveisembeddedandhasindex1,thusifd2H

2

(M;R) denotesthe

homologylassdenedbythepagesinM P

0

withattahedappingsurfaes,thenthis

urveproduesaterm

z

d

~ m+n+2r 1

q

h

1 m

Y

i=1

q

i n

Y

i=2

q e

i r

Y

i=1 1

2

q e

n+i

q e

n+i

inDSFT.Wethusdenethemonomial

F=q

1 :::q

m q

h

1 q

e

2 :::q

e

n q

e

n+1 q

e

n+1 :::q

e

n+r q

e

n+r

andompute,

D

SFT F=z

d

~ k0

+ n+r

X

i=2 (z

[Ti℄

1)q

h

i F

q

e

i :

Everyterminthesummationnowvanishessine[T

i

℄ker,implyingthat~ k0

is

Remark3.7.Tomaketheaboveomputationfullyrigorous,onemustshowthatthe

relevantountofurvesdoesn'thangeunderasuitableabstratperturbation,e.g.as

providedby[Hof℄.TheurvesthatwereountedintheaboveargumentareFredholm

regularandwillthussurviveanysuhperturbation,butwealsoneedtohekthat

noadditionalurvesappear. Ifanysuhurvesexist,thenintheunperturbedlimit

theymustgiverisetonontrivialholomorphiasadesinthenaturalompatiation

ofM(J

0

),see[BEH +

03℄. ItsuÆesthereforetoobservethatintheabovesetup,all

possibleasadesareaountedforbytheJ0-holomorphipagesinM P

0

,duetothe

uniquenessstatementinProp.3.6.

4. S 1

-invariantexamplesindimension3

Inthissetionweonsiderthespeialexamples(S 1

; )desribedintheintro-

dution,andproveinpartiularTheorems3and4.Notethattheexamples(V

g

;

k )of

Theorem4anbeonstrutedviaasummedopenbookasfollows.Fixgk1,and

let(M ; )denotethelosedontat3-manifoldsupportedbyaplanaropenbook

:M nB !S 1

withkbindingomponentsandtrivialmonodromy. Similarly,

let(M

+

;

+

)betheontatmanifoldsupportedbyanopenbook

+ :M

+ nB

+

!S 1

withpagesofgenusg k+1>0,kbindingomponentsandtrivialmonodromy.

Choosinganyone-to-oneorrespondenebetweentheonnetedomponentsofB

+

andB ,weprodueanewlosedontatmanifold(M;)bytakingthebindingsum

of(M+;+)t(M ; )alongorrespondingbindingomponentsasdesribedinx3;

thisproduesalosedplanar(k 1)-torsiondomainwhihisontatomorphito

(Vg;k).

ToompletetheproofofTheorem4,wewillhavetoshowthatertaintypesof

holomorphiurvesinRVgdonotexist(atleastalgebraially),whihwouldneed

toexistif~ k 2

wereexat(seeLemma4.15below). Todothis,wewillonstrut

apreise modelforontatmanifoldsof the form(S 1

; ),inwhih allthe

relevant holomorphiurves anbe lassied. The proofof Theorem 3willalso

followimmediatelyfromthislassiation.

4.1.Holomorphi urvesin(S 1

; ).Thebasiideaofourmodelfor(S 1

; )willbetohoosedatasothatthesingularfoliationofdenedbythegradient

owlinesofasuitableMorsefuntiongivesrisetoafoliationofthesympletization

byholomorphiylinders,whihanbeountedbyMorsehomology. Wewillthen

beable toexlude allthe otherrelevant urves by aombinationof intersetion

argumentsandindexestimates.

Fortheonstrutionsarriedoutbelow,thefollowinglemmaturnsouttobeon-

venient.

Lemma 4.1. Suppose is aompatonnetedoriented surfae withnonempty

boundary,and

~

h:!R isasmoothMorsefuntionwithallritialpointsinthe

interiorandnoneofindex2,andwith=

~

h 1

(1). Thenthereexistsaonformal