[논문 리뷰] A topological grading on bordered Heegaard Floer homology

Yang Huang, Vinicius G. B. Ramos|arXiv (Cornell University)|2012. 11. 30.

Geometric and Algebraic Topology참고 문헌 6인용 수 3

한 줄 요약

이 논문은 경계를 가진 3차원 다중체 위의 영이 아닌 벡터장의 호모토피류를 이용하여 경계가 있는 헤가르 플로어 homology에 대한 표준적인 위상적 등급을 도입한다. 이는 닫힌 3차원 다중체에서의 절대 등급을 경계가 있는 설정으로 일반화하기 위해, $F \times [0,1]$ 위의 정렬된 평면장의 군oids를 정의하고, 접합 사상이 이러한 등급을 유지함을 증명함으로써, 경계가 있는 맥락으로 절대 등급을 확장한다.

ABSTRACT

In this paper, we construct a canonical grading on bordered Heegaard Floer homology by homotopy classes of nonvanishing vector fields. This grading is a generalization of our construction of an absolute grading on Heegaard Floer homology and it extends the well-known grading with values in a noncommutative group defined by Lipshitz-Ozsváth-Thurston.

연구 동기 및 목표

• 닫힌 3차원 다중체에서의 헤가르 플로어 homology의 절대 등급을 경계를 가진 3차원 다중체로 확장하기 위해.
• 비영이 아닌 벡터장의 호모토피류를 이용하여 경계가 있는 불변량 $\widehat{\mathit{CFA}}(Y)$ 와 $\widehat{\mathit{CFD}}(Y)$에 기하학적 등급을 정의하기 위해.
• 매개변수화된 표면 $F$와 관련된 스트랜드 대수 $\mathcal{A}(F)$를 위한 등급 군oids $G(F)$를 구성하기 위해.
• 경계가 있는 접합 사상 $\Phi$가 등급을 유지함을 증명하여, 합성된 합성합의 상대적 등급이 닫힌 다중체에서의 절대 등급과 연결됨을 보장하기 위해.

제안 방법

• 호모토피에 관하여 모odulo된 $F \times [0,1]$ 위의 정렬된 평면장의 군oids $G(F)$를 정의하고, $\mathbb{Z}$-작용 $\lambda^n$을 갖는다.
• 등급 함수 $\mathrm{gr}$를 스트랜드 대수 $\mathcal{A}(F)$ 위에 정의하여 $G(F)$ 값을 가지며, $\mathrm{gr}(a \cdot b) = \mathrm{gr}(a) \cdot \mathrm{gr}(b)$ 와 $\mathrm{gr}(\partial a) = \lambda^{-1} \mathrm{gr}(a)$ 를 만족시킨다.
• 좌측 $G(-F)$ 와 우측 $G(F)$ 작용을 갖는 이중모듈 $S(Y)$를 정의하여, $\widehat{\mathit{CFA}}(Y)$ 와 $\widehat{\mathit{CFD}}(Y)$의 등급 집합으로서 기능한다.
• 닫힌 다중체 $Y = Y_1 \cup_F Y_2$ 위의 절대 등급으로 텐서곱의 등급을 매핑하는 접합 사상 $\Psi: S(Y_1) \otimes_{G(F)} S(Y_2) \to \mathrm{Vect}(Y)$ 를 수립한다.
• 폰트리아긴-투옴 구성법을 사용하여 $Y_1$ 과 $Y_2$ 위의 벡터장의 호모토피류를 접합된 다중체 $Y$ 위의 것들과 연결한다.
• 접합 사상 $\Phi$ 가 등급을 유지함을 증명한다. 즉, $\widetilde{\mathrm{gr}}(\Phi(a \otimes b)) = \Psi(\mathrm{gr}(a) \otimes \mathrm{gr}(b))$.

실험 결과

연구 질문

• RQ1 닫힌 3차원 다중체에서의 헤가르 플로어 homology의 절대 등급을 경계를 가진 3차원 다중체로 확장할 수 있는가?
• RQ2 벡터장과 같은 위상적 자료를 이용하여 경계가 있는 불변량 $\widehat{\mathit{CFA}}(Y)$ 와 $\widehat{\mathit{CFD}}(Y)$에 기하학적 등급을 어떻게 정의할 수 있는가?
• RQ3 경계가 있는 헤가르 플로어 homology의 접합 사상은 이 새로운 등급 구조와 호환되는가?
• RQ4 등급 집합의 대수적 구조는 무엇이며, $\mathcal{A}_\infty$-모듈 작용과 어떻게 상호작용하는가?
• RQ5 경계가 있는 불변량의 등급은 접합을 통해 얻어진 닫힌 다중체의 절대 등급과 어떻게 관련이 있는가?

주요 결과

• 비영이 아닌 벡터장의 호모토피류를 이용하여 경계가 있는 헤가르 플로어 homology 불변량 $\widehat{\mathit{CFA}}(Y)$ 와 $\widehat{\mathit{CFD}}(Y)$에 대한 표준적인 등급이 구성된다.
• 이 등급은 $F \times [0,1]$ 위의 정렬된 평면장의 군oids $G(F)$ 에 값이 있으며, 호모토피에 관하여 모odulo되며, $\mathbb{Z}$-작용 $\lambda^n$ 을 갖는다.
• 등급은 $\mathcal{A}(F)$ 의 생성자에 대해 $\mathrm{gr}(a \cdot b) = \mathrm{gr}(a) \cdot \mathrm{gr}(b)$ 와 $\mathrm{gr}(\partial a) = \lambda^{-1} \mathrm{gr}(a)$ 를 만족한다.
• $\widehat{\mathit{CFA}}(Y)$ 에서, 모듈 작용의 등급은 $\mathrm{gr}(m_{l+1}(x; a_1, \dots, a_l)) = \lambda^{l-1} \mathrm{gr}(x) \cdot \mathrm{gr}(a_1) \cdots \mathrm{gr}(a_l)$ 를 만족한다.
• 접합 사상 $\Phi: \widehat{\mathit{CFA}}(Y_1) \widetilde{\otimes} \widehat{\mathit{CFD}}(Y_2) \to \widehat{\mathit{CF}}(Y_1 \cup_F Y_2)$ 는 등급을 유지하며, $= \Psi(\mathrm{gr}(a) \otimes \mathrm{gr}(b))$ 를 만족한다.
• 사상 $\Psi: S(Y_1) \otimes_{G(F)} S(Y_2) \to \mathrm{Vect}(Y)$ 는 전단사이며, 호환 가능한 등급 구조와 닫힌 다중체 위의 절대 벡터장 호모토피류 사이의 일대일 대응을 수립한다.