[논문 리뷰] Topology and geometry of the canonical action of $T^4$ on the complex Grassmannian $G_{4,2}$ and the complex projective space $CP^{5}$

Victor Matveevich Buchstaber, Svjetlana Terzić|arXiv (Cornell University)|2014. 10. 09.

Geometry and complex manifolds참고 문헌 13인용 수 16

한 줄 요약

이 논문은 복소 그라스만이안 $G_{4,2}$와 복소 사영 공간 $\mathbb{C}P^5$ 위의 표준적 $T^4$-작용의 위상수학적 및 기하학적 성질을 조사하며, 궤도 공간 $G_{4,2}/T^4$가 $S^5$와 위상동형이지만 비미분 가능 구조를 지닌다는 것을 증명한다. 반면 $\mathbb{C}P^5/T^4$는 $\mathbb{C}P^2 * S^2$와 위상동형이다. 이러한 결과들은 $\mathbb{Z}_2^4$-작용을 통해 실수 경우로 확장되며, $G_{4,2}(\mathbb{R})/\mathbb{Z}_2^4 \simeq S^4$ 및 $\mathbb{R}P^5/\mathbb{Z}_2^4 \simeq \mathbb{R}P^2 * S^2$를 얻는다. 연구는 모멘트 맵, 플루커 좌표, 토릭 위상수학을 활용하여 궤도 구조와 특이점을 분석한다.

ABSTRACT

We consider the canonical action of the compact torus $T^4$ on the Grassmann manifold $G_{4,2}$ and prove that the orbit space $G_{4,2}/T^4$ is homeomorphic to the sphere $S^5$. We prove that the induced differentiable structure on $S^5$ is not the smooth one and describe the smooth and the singular points. We also consider the action of $T^4$ on $CP^5$ induced by the composition of the second symmetric power $T^4\subset T^6$ and the standard action of $T^6$ on $CP^5$ and prove that the orbit space $CP^5/T^4$ is homeomorphic to the join $CP^2\ast S^2$. The Plücker embedding $G_{4,2}\subset CP^5$ is equivariant for these actions and induces embedding $CP^1\ast S^2 \subset CP^2 \ast S^2$ for the standard embedding $CP^1 \subset CP^2$. All our constructions are compatible with the involution given by the complex conjugation and give the corresponding results for the real Grassmannian $G_{4,2}(R)$ and the real projective space $RP^5$ for the action of the group $Z _{2}^{4}$. We prove that the orbit space $G_{4,2}(R)/Z _{2}^{4}$ is homeomorphic to the sphere $S^4$ and that the orbit space $RP^{5}/Z _{2}^{4}$ is homeomorphic to the join $RP^2\ast S^2$.

연구 동기 및 목표

• 표준적 $T^4$-작용에 의한 복소 그라스만이안 $G_{4,2}$의 궤도 공간 구조를 토릭 기하학과 심플렉틱 기하학을 활용하여 이해하는 것.
• 궤도 공간 $G_{4,2}/T^4$에 유도된 미분 구조를 분석하여 미분 가능점과 특이점의 위치를 규명하는 것.
• 복소 사영 공간 $\mathbb{C}P^5$ 위의 $T^4$-작용이 $T^6$의 두 번째 대칭 거듭제곱을 통해 어떻게 유도되는지 분석하고, 그 궤도 공간의 구조를 규명하는 것.
• $G_{4,2}(\mathbb{R})$와 $\mathbb{R}P^5$ 위의 $\mathbb{Z}_2^4$-작용을 통해 이러한 결과의 실수 해석을 수립하여, 각각 $S^4$와 $\mathbb{R}P^2 * S^2$와 위상동형임을 증명하는 것.
• 특히 $(2n,k)$-다양체와 토릭 위상수학의 맥락에서, 그라스만이안 단체의 계층적 구조 위에 섹션의 존재성을 조사하는 것.

제안 방법

• 복소 그라스만이안 $G_{4,2}$의 플루커 임베딩을 통해 $\mathbb{C}P^5$에 포함시키고, 모멘트 맵 $\mu: G_{4,2} \to \mathbb{R}^4$를 정의하며, 그 이미지는 히퍼시매플렉스 $\Delta_{4,2}$, 즉 정팔면체이다.
• 행렬 $F(A) = A(A^*)^T$의 대각성분을 이용해 표준 모멘트 맵 $\nu: G_{4,2} \to \mathbb{R}^4$를 정의하며, 이는 플루커 모멘트 맵과 일치함을 보인다.
• $(\mathbb{C}^*)^4$의 $G_{4,2}$ 위 작용을 활용하여 궤도 폐쇄와 스트라타를 분석하며, 특히 메인 스트라타 $W$와 그 여집합을 중심으로 다룬다.
• 일반적인 선형 함수 $h$를 $\mathbb{R}^4$에 적용하여 $h \circ \mu$라는 모스 함수를 구성하며, 그 임계점이 $T^4$-고정점들과 일치함을 증명한다.
• 모멘트 맵 이미지와 궤도 유형의 위상적 분석 및 세포 분해를 통해 궤도 공간 $G_{4,2}/T^4$가 $S^5$와 위상동형임을 보인다.
• 두 번째 대칭 거듭제곱을 통한 유도된 $T^4$-작용을 활용하여 $\mathbb{C}P^5/T^4$가 조인 $\mathbb{C}P^2 * S^2$임을 식별한다.

실험 결과

연구 질문

• RQ1 표준적 $T^4$-작용에 의한 궤도 공간 $G_{4,2}/T^4$의 위상수학적 구조는 무엇인가?
• RQ2 궤도 공간 $G_{4,2}/T^4$에 유도된 미분 구조는 미분 가능한가? 만약 그렇지 않다면 특이점은 어디에 위치해 있는가?
• RQ3 $T^6$의 부분군인 $T^4$의 두 번째 대칭 거듭제곱을 통해 유도된 $\mathbb{C}P^5$ 위의 $T^4$-작용은 궤도 공간의 구조에 어떤 영향을 미치는가?
• RQ4 복소 그라스만이안 $G_{4,2} \subset \mathbb{C}P^5$의 플루커 임베딩은 두 다양체의 궤도 공간 구조와 어떤 관계가 있는가?
• RQ5 $G_{4,2}(\mathbb{R})$와 $\mathbb{R}P^5$ 위의 $\mathbb{Z}_2^4$-작용에 따른 이러한 결과의 실수 해석은 무엇인가?

주요 결과

• 궤도 공간 $G_{4,2}/T^4$는 5차원 구 $S^5$와 위상동형이지만, 유도된 미분 구조는 표준적인 미분 구조가 아니다.
• $G_{4,2}/T^4$의 미분 가능점과 특이점이 명시적으로 기술되며, 특이점은 토러스 작용에서 비자명한 이소트로피를 가질 때 발생한다.
• $\mathbb{C}P^5/T^4$ 궤도 공간은 조인 $\mathbb{C}P^2 * S^2$와 위상동형이며, 이는 두 번째 대칭 거듭제곱을 통한 유도된 $T^4$-작용에서 유래된다.
• 플루커 임베딩 $G_{4,2} \subset \mathbb{C}P^5$는 $T^4$-등변이며, 이는 $\mathbb{C}P^1 * S^2 \subset \mathbb{C}P^2 * S^2$의 임베딩을 유도한다.
• 실수 경우에서 궤도 공간 $G_{4,2}(\mathbb{R})/\mathbb{Z}_2^4$는 $S^4$와 위상동형이며, $\mathbb{R}P^5/\mathbb{Z}_2^4$는 $\mathbb{R}P^2 * S^2$와 위상동형이다. 이들에 대한 유사한 특이점 분석이 수행된다.
• 모멘트 맵 $\mu: G_{4,2} \to \mathbb{R}^4$가 행렬 $F(A) = A(A^*)^T$로 정의된 대각 맵 $\nu$와 일치함을 보여, 그 표준 형태가 확인된다.