[논문 리뷰] Integrable Gradient Flows and Morse Theory

Ivan Dynnikov, А. П. Веселов|arXiv (Cornell University)|1995. 06. 09.

Homotopy and Cohomology in Algebraic TopologyMathematics참고 문헌 13인용 수 21

한 줄 요약

이 논문은 고전적인 리만다이만 다양체, 특히 리 군과 대칭 공간에서 모어스 함수에 대한 적분 가능 그라디언트 흐름을 도입하며, 이러한 공간에서 일반적인 높이 함수가 명시적으로 해를 구할 수 있는 적분 가능 그라디언트 흐름을 갖는 완전한 모어스 함수임을 보여준다. 주요 기여는 이러한 흐름을 통해 다양체의 기하학적 세분화를 제공하며, 그라마니안의 플래그 조인(flag join)에 대한 바시예프의 정리에 대한 간단한 증명을 이끌어내고, 유니타리 군의 호모로지가 슈베르트 사이클을 통해 실현됨을 보여준다.

ABSTRACT

Examples of Morse functions with integrable gradient flows on some classical Riemannian manifolds are considered. In particular, we show that a generic height function on the symmetric embeddings of classical Lie groups and certain symmetric spaces is a perfect Morse function, i.e. has as many critical points as the homology requires, and the corresponding gradient flow can be described explicitly. This gives an explicit cell decomposition and geometric realization of the homology for such a manifold. As another application of the integrable Morse functions we give an elementary proof of Vassiljev's theorem on the flag join of Grassmannians.

연구 동기 및 목표

• 리만다이만 다양체에서 모어스 함수가 적분 가능 그라디언트 흐름을 갖는 조건을 설정하는 것.
• 고전적 리 군과 대칭 공간에서 일반적인 높이 함수가 완전한 모어스 함수임을 보여주는 것.
• 적분 가능 그라디언트 흐름을 사용하여 이러한 다양체의 명시적 기하학적 세분화를 제공하는 것.
• 적분 가능 모어스 이론을 통해 그라마니안 플래그 조인에 대한 바시예프의 정리에 대한 간단한 증명을 제공하는 것.
• 플래그 조인에서의 불변 부분공간을 통해 구성된 슈베르트 세포를 통해 유니타리 군의 호모로지를 실현하는 것.

제안 방법

• 적분 가능 모어스 함수를 정의하여, 그라디언트 흐름 방정식이 명시적으로 해를 갖는 모어스 함수로 간주한다.
• 추적을 가진 대칭 행렬의 구에서 $ f = \frac{1}{3}\operatorname{Tr}(X^3) $ 를 사용하여 적분 가능 그라디언트 흐름을 구성한다.
• 유계좌표 $ a_i = \frac{\lambda_{i+1} - \lambda_1}{\lambda_n - \lambda_1} $ 를 도입하여 흐름을 일반화된 볼테라 사슬으로 변환한다.
• 변수 치환 $ b_i = \sum_{k=1}^i a_k $ 를 통해 볼테라 유형 시스템을 해결하며, $ \frac{db_i}{d\tau} = b_i(b_i - 1) $ 를 얻는다. 이는 명시적으로 적분 가능하다.
• 유니타리 연산자가 부분공간을 보존하고 그 여집합에서 $ -I $ 로 작용하도록 하여, 그라마니안 $ G_k(\mathbb{C}^n) $ 의 슈베르트 세포에서 $ U(n) $ 의 사이클을 구성한다.
• 명시적인 흐름 역학을 사용하여 플래그 조인의 그라마니안이 표준 구와 미분동형인 부드러운 구조를 갖는다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 고전적 리 군과 대칭 공간에서의 높이 함수가 적분 가능 그라디언트 흐름을 갖는 완전한 모어스 함수임을 입증할 수 있는가?
• RQ2 $ f = \frac{1}{3}\operatorname{Tr}(X^3) $ 가 대칭 행렬의 구에서 어떻게 명시적으로 적분될 수 있는가?
• RQ3 그라마니안 임bedding 관점에서 얻어진 세분화의 기하학적 의미는 무엇인가?
• RQ4 적분 가능 그라디언트 흐름으로부터 바시예프-마호왈드 분해 $ H_*(U(n)) $ 를 유도할 수 있는가?
• RQ5 그라마니안의 플래그 조인은 흐름에 의해 유도된 세분화와 호환되는 부드러운 구조를 갖는가?

주요 결과

• $ f = \frac{1}{3}\operatorname{Tr}(X^3) $ 가 추적을 가진 대칭 행렬의 구에서의 그라디언트 흐름은 적분 가능하며, 임베딩된 그라마니안에 정점이 있는 단체로 구를 분해한다.
• 유계좌표에서의 흐름은 일반화된 볼테라 사슬 방정식 $ \frac{d}{d\tau}a_i = a_i\left(\sum_{k=1}^{i-1}a_k - \sum_{l=i+1}^{n-1}a_l\right) $ 를 만족하며, 이는 명시적으로 해를 갖는다.
• 변수 $ b_i = \sum_{k=1}^i a_k $ 에 대해 $ b_i = \frac{1}{1 - c_i e^{\tau}} $ 의 해는 적분 가능성과 함께 흐름의 완전한 기술을 제공한다.
• 그라마니안의 플래그 조인 $ \Theta_n(\mathbf{k}) $ 은 표준 구와 미분동형인 부드러운 구조를 갖는다. 모든 그라마니안 임베딩은 부드럽다.
• 바시예프-마호왈드 분해 $ H_i(U(n)) \cong \bigoplus_{k=0}^n H_{i-k^2}(G_k(\mathbb{C}^n)) $ 는 슈베르트 세포로부터 구성된 사이클을 통해 기하학적으로 실현된다.
• 이 구성은 적분 가능 그라디언트 흐름의 역학을 사용하여 바시예프의 정리에 대한 간단한 증명을 제공한다.