Morse不等式的一個新證明

Morse不等式的一個新證明

李合朋

(四川文理學院數(shù)學與財經(jīng)學院，四川達州635000)

摘要：用Witten形變理論在帶邊微分流形上給出Morse不等式一個新的證明方法. 首先，說明了相切型Morse函數(shù)很自然地與帶邊流形的Hodge理論相結(jié)合；然后，利用Witten形變給出算子ΔT在臨界點的性態(tài)，進而證明了定理.

關(guān)鍵詞：Morse不等式；Witten形變；Hodge理論；臨界點

收稿日期：2015-06-02

基金項目：四川文理學院2013年度自然科學面上項目“動力系統(tǒng)幾何理論研究”(2013Z004Y)

作者簡介：李合朋(1984—),男，河南蘭考人.助教，碩士，主要從事微分幾何研究.

中圖分類號：O186.1文獻標志碼：A

不論是無邊流形還是帶邊流形的Morse理論都已經(jīng)被廣泛的研究了.[1-3]80年代初，Witten提出了一套新的方法，使Morse理論重新成為焦點，這個方法被稱為Witten形變.它不僅給出了經(jīng)典Morse理論新的證明，而且還自然地與Thom-Smale理論相連.這套理論的量子化即后來發(fā)展的Floer理論.

處理帶邊流形時，通?？紤]梯度與邊界相截的Morse函數(shù)，然后將問題轉(zhuǎn)化為無邊流形，從而獲得相關(guān)結(jié)論.一個自然的問題是：是否可以不借助無邊流形，直接研究帶邊流形的Morse理論.譬如，如何運用Witten形變等等，由此考慮此類問題的量子化.

基于上述目的，發(fā)現(xiàn)合理的選擇應(yīng)該是梯度與邊界相切的Morse函數(shù).它很自然地與帶邊流形的Hodge理論相結(jié)合，由此，利用Witten形變給出了帶邊流形Morse理論新的證明.

1預(yù)備知識

1．1帶邊流形的Morse理論

假設(shè)(M,N=?M)是一個n維的可定向的緊致的帶邊流形.g是一個度量，假設(shè)N 的鄰域為N×[0,ε),度量在這個鄰域上為

g=gN+dt2

記外法向量-?/?t為ν.

令f:M→R是一個Morse函數(shù)，滿足

稱之為相切型Morse函數(shù).注意到，任何一個梯度與邊界橫截的函數(shù)都可以適當?shù)男巫兂上嗲行偷?

將f的臨界點分為三類：內(nèi)點，內(nèi)向的邊界點，外向的邊界點.先解釋一下后兩者的定義，假設(shè)x∈N是f的臨界點，不妨假設(shè)存在一個坐標卡y=(y1，…，yn-1,t)使得度量

以及

并且當k=n時，″=″成立.

于是有復(fù)形

1．2帶邊流形的Hodge理論與Witten變形

在帶邊流形上，考慮的兩種同調(diào)理論H*(M,R)和H*(M,N,R)，它們都有自己相應(yīng)的deRham理論.令

ivdω|N=0}

(1)

v*∧δω|N=0}

(2)

這里δ是d的對偶，v*是v的對偶.

對上述兩個復(fù)形，做如下Witten變換.為簡單起見，著重對其中一個描述, 考慮復(fù)形

對任意T∈R,定義dT=e-TfdeTf.

證明： 利用f是相切型這一性質(zhì)，容易直接驗證.

因此可以定義復(fù)形

顯然，這個復(fù)形定義的同調(diào)自然同構(gòu)于原復(fù)形所定義的同調(diào)理論.

下面考慮該復(fù)形的Hodge理論[6],由直接計算知dT的對偶

δT=eTfδe-Tf.

定義

則由經(jīng)典的Hodge理論[7]

2主要結(jié)論

假設(shè)x是非退化臨界點，存在一個鄰域Ux以及坐標y=(y1，…yn)使得

以及

由標準的計算，算子ΔT在Ω*的核是

當x是內(nèi)點，則沒有什么需要特殊處理的; 當x是內(nèi)向的；則

證明的方法即把上面的“局部”觀察轉(zhuǎn)化為流形整體的結(jié)果.在此僅討論x是邊界點的情形，局部上有形式ωx,T,下面將適當?shù)倪x取一個截斷函數(shù)γ:M→R 使得它的支集在x的一個小鄰域Ux內(nèi).令

其中

引理2ivρx,T=0,ivdρx,T=0.

首先

ivωx,T=0,ivdωx,T=0,

所以顯然

ivρx,T=0.

若選取的γ滿足

ivdγ=0.

(3)

則顯然有ivdρx,T=0,于是引理得證.

下面構(gòu)造一個γ使得(3)成立.

γ(y)=γ(y′,t)=γ1(y′)γ2(t).

此函數(shù)顯然滿足(3),從而證明了定理3.

由此命題出發(fā)，證明所有相關(guān)的Morse理論全是標準的.

參考文獻：

[1] Bismut J M.TheWittenComplexandtheDegenerateMorseInequalities[J]. Journal of Differential Geometry,1986(3):207-240.

[2] Zhang Gongqing, Liu Jiaquan.Morsetheoryundergeneralboundarycoditions[J]. Systems Science and Mathematical Sciences,1991(1):78-83.

[3] Zhou Jianwei.TheWittencomplexandtheMorseinequalities[J].Journal of Suzhou university,1999(4)：8-11.

[4] J.Milnor.Morsetheory[M]. Princeton:Princeton University Press,1963：27-31.

[5] M. Taylor.PartialdierentialequationsI[M].New York:Springer-Verlag,1997：368-370.

[6] F.W.Warner.FoundationsofdierentiablemanifoldsandLiegroups[M]. New York: Springer-Verlag,1983：222-249.

[7] 伍鴻熙，陳維桓.黎曼幾何選講[M].北京：北京大學出版社，1993：7-13.

[8] Weiping Zhang.LecturesonChern-WeiltheoryandWittendeformation[M].Tianjin:Nankai Treats in Mathematics,Vol.4,World Scientic,2001：59-72.

[責任編輯范藻]

A New Proof of Morse Inequalities

LI Hepeng

(Mathematics and Finance School of Sichuan University of Arts and Science, Dazhou Sichuan 635000, China)

Abstract:Witten deformation theory is applied to a new proof of the Morse inequalities on a differentiable manifold with boundary. It is explained that the tangential Morse function is naturally combined with the Hodge theory of the manifold with boundary, then, Witten deformation gives the behavior of ΔT at critical point, and thus the theorem is proved.

Key words:Morse inequalities; Witten deformation; Hodge theory; critical point