플뢰어 호몰로지

심플렉틱 기하학에서 플뢰어 호몰로지(영어: Floer homology)는 심플렉틱 다양체에 대하여 정의되는 무한 차원 모스 호몰로지의 일종이다.

정의

심플렉틱 다양체 $M$ 위에, 매끄러운 함수

$H:{𝕊}^1\times M\to ℝ$

가 주어졌다고 하자. 이 경우, 이를 시간 의존 해밀토니언으로 해석하여 심플렉틱 벡터장

$\omega (X_t,-)=d{H}_t(t\in {𝕊}^1)$

을 정의할 수 있다. ${𝕊}^1$의 둘레가 1이라고 놓으면, $X$를 $[0,1]$에서 적분하여 얻는 심플렉틱 사상

$\varphi :M\to M$

을 생각할 수 있다.

자유 고리 공간 $ℒM$의 접다발 $TℒM$을 생각하자. 이 경우,

$(\gamma ,v)\in TℒM$

에서 $\gamma :{𝕊}^1\to M$는 닫힌 곡선이며, $v:{𝕊}^1\to {\gamma }^{*}(TM)$는 그 위의 벡터장이다. $TℒM$ 위에 다음과 같은 범함수를 정의하자.

$F:ℒM\to ℝ$

$F:\gamma \mapsto -\underset{{𝔹}^2}{\int }{u}^{*}\omega -\underset{{𝕊}^1}{\int }H(t,\gamma (t))dt\mathrm{\forall }u:{𝔹}^2\to M,u{|}_{\partial {𝔹}^2}=\gamma$

이에 따라, $F$의 임계점은 $\rho$의 고정점과 같다.

플뢰어 사슬 복합체 $\mathrm{CF}(M,H)$는 아벨 군으로서, $F$의 임계점들로 생성되는 자유 아벨 군이다.

$\mathrm{Crit}F=\{\gamma \in ℒM:F(\gamma )=0\}$

$\mathrm{CF}(M,H)=\mathbb{Z}[\mathrm{Crit}F]$

이 위에는 콘리-첸더 지표(영어: Conley–Zehnder index)라는 등급이 존재하며, 이는 스펙트럼 흐름에 따른 양의 고윳값의 수이다. 이는 일반적으로 무한하지만, 두 등급의 차 $\mathrm{index}({\gamma }^{-},{\gamma }^{+})$는 잘 정의된다. 이 위에 다음과 같은 경계 사상을 주자.

$\partial :\mathrm{CH}(M,H)\to \mathrm{CH}(M,H)$

$\partial {\gamma }^{-}=\sum _{{\gamma }^{+}\in \mathrm{Crit}F}^{\mathrm{index}({\gamma }^{-},{\gamma }^{+})=1}\mathrm{\#}(ℳ({\gamma }^{-},{\gamma }^{+})/ℝ){\gamma }^{+}$

여기서

• $ℳ({\gamma }^{-},{\gamma }^{+})$는 $F$에 대한 기울기 흐름(영어: gradient flow)의 모듈러스 공간이다. 즉, ${\gamma }^{-}$와 ${\gamma }^{+}$를 잇는 유사 정칙 곡면의 모듈러스 공간이다.
• $ℳ({\gamma }^{-},{\gamma }^{+})$ 위에는 시간 평행 이동에 따른 자연스러운 $ℝ$-작용이 존재하며, $ℳ({\gamma }^{-},{\gamma }^{+})/ℝ$는 이에 대한 몫공간이다.
• $\mathrm{index}({\gamma }^{-},{\gamma }^{+})=1$인 경우, $ℳ({\gamma }^{-},{\gamma }^{+};A)/ℝ$는 0차원이며, $\mathrm{\#}(ℳ({\gamma }^{-},{\gamma }^{+};A)/ℝ)$는 이 몫공간의 점의 수이다.

이 경우, ${\partial }^2=0$임을 보일 수 있으며, 플뢰어 사슬 복합체의 호몰로지

$\mathrm{HF}(M,H)=\frac{\ker \partial }{\mathrm{im}\partial }$

를 플뢰어 호몰로지라고 한다. 이는 $M$의 특이 호몰로지와 일치한다. 즉, 플뢰어 호몰로지는 $H$에 의존하지 않는다.

위 정의를 약간 변형하여, 양자 코호몰로지와 일치하는 플뢰어 호몰로지를 정의할 수도 있다. 이 경우, 플뢰어 사슬 복합체는 곡선 $\gamma$ 대신 곡선과 상대 호모토피류 $[u]\in {\pi }_2(M,\gamma )$의 순서쌍 $(\gamma ,[u])$에 의하여 생성되는 자유 아벨 군이다.

관련 개념

(심플렉틱) 플뢰어 호몰로지를 변형하여, 다음과 같은 다양한 호몰로지 이론들을 얻을 수 있다.

• 라그랑지언 플뢰어 호몰로지(영어: Lagrangian Floer homology)는 어떤 라그랑지언 부분다양체가 주어진 심플렉틱 다양체에 대하여 정의되는 호몰로지 이론이다. 이는 거울 대칭에 의하여, 거울짝 다양체의 연접층의 Ext 함자와 일치한다.
• 3차원 다양체에 대하여, 다음과 같은 플뢰어 호몰로지들이 존재한다. 이들은 모두 서로 같다고 추측되며, 이는 부분적으로 증명되었다.
  • 순간자 플뢰어 호몰로지(영어: instanton Floer homology)는 도널드슨 불변량과 관련있다.
  • 자기 홀극 플뢰어 호몰로지(영어: monopole Floer homology)는 자이베르그-위튼 불변량과 관련있다.
  • 헤고르 플뢰어 호몰로지(영어: Heegaard Floer homology)는 조합론적으로 계산할 수 있는 호몰로지 이론이다.

역사

스위스의 수학자 안드레아스 플뢰어(독일어: Andreas Floer, 1956~1991)가 1988년에 아르놀트 추측을 증명하면서 도입하였다. 플뢰어는 곧 1991년에 우울증으로 인하여 34세의 나이로 자살하였다.

각주

• Atiyah, Michael (1988). 〈New invariants of 3- and 4-dimensional manifolds〉 (영어). Wells Jr., R. O. (편집). 《The Mathematical Heritage of Hermann Weyl》. Proceedings of Symposia in Pure Mathematics 48. 285–299쪽. doi:10.1090/pspum/048/974342. ISBN 9780821814826. 
• Banyaga, Augustin; Hurtubise, David (2004). 《Lectures on Morse homology》 (영어). Kluwer Academic Publishers. ISBN 1-4020-2695-1. 
• Donaldson, Simon; Furuta, M.; Kotschick, D. (2002). 《Floer homology groups in Yang-Mills theory》 (영어). Cambridge Tracts in Mathematics 147. Cambridge University Press. ISBN 0-521-80803-0. 
• Kronheimer, Peter; Mrowka, Tomasz (2007). 《Monopoles and three-manifolds》 (영어). Cambridge University Press. ISBN 978-0-521-88022-0. 
• McDuff, Dusa; Salamon, Dietmar (1998). 《Introduction to symplectic topology》 (영어). Oxford University Press. ISBN 0-19-850451-9. 
• McDuff, Dusa (2005). “Floer theory and low dimensional topology” (영어). 《Bulletin of the American Mathematical Society》 43: 25–42. doi:10.1090/S0273-0979-05-01080-3. MR 2188174. 

같이 보기

• 양자 코호몰로지
• 그로모프-위튼 불변량
• 거울 대칭
• 모스 이론