[논문 리뷰] The Conley-Zehnder index for a path of symplectic matrices

Jean Gutt|arXiv (Cornell University)|2012. 01. 18.

Geometric and Algebraic Topology참고 문헌 5인용 수 14

한 줄 요약

이 논문은 심플렉틱 행렬의 경로에 대한 Conley-Zehnder 지수에 대해 자가 포함적이고 원시적인 소개를 제공한다. 적절한 경로에 대해 원환면으로의 사상의 차수를 통해 지수를 정의한다. 주요 성질인 호모토피 불변성, 가환성, 서명 성질을 확립하고, 이러한 성질들과 루프 성질, 영 성질이 지수를 특징짓는다는 것을 증명한다. 또한, 라그랑주 경로를 통해 Robbin-Salamon 지수와의 관계를 규명하여 두 지수의 차이를 명확히 하고, 심플렉틱 쉐어에서 두 지수가 일치한다는 것을 보여준다.

ABSTRACT

We give here a self contained and elementary introduction to the Conley-Zehnder index for a path of symplectic matrices. We start from the definition of the index as the degree of a map into the circle for a path starting at the identity and ending at a matrix for which 1 is not an eigenvalue. We prove some properties which characterize this index using normal forms for symplectic matrices obtained from geometrical considerations. We explore the relations to Robbin-Salamon index for paths of Lagrangians. We give an axiomatic characterization of the generalization of the Conley-Zehnder index for any continuous path of symplectic matrices defined by Robbin and Salamon.

연구 동기 및 목표

• 심플렉틱 행렬 경로에 대한 Conley-Zehnder 지수에 대해 자가 포함적이고 원시적인 기초적 기술을 제공한다.
• 호모토피, 루프, 서명 성질을 사용하여 Conley-Zehnder 지수를 축약적으로 특징짓는다.
• 라그랑주 경로에 대한 Conley-Zehnder 지수와 Robbin-Salamon 지수 간의 관계를 명확히 한다.
• 지수 특성화에 사용하기 위한 기하적 방법을 통해 심플렉틱 행렬의 표준형을 수립한다.
• Robbin-Salamon 지수와 Conley-Zehnder 지수가 일반적으로 다를 수 있음에도 불구하고, 심플렉틱 쉐어에서는 일치한다는 것을 보여준다.

제안 방법

• 경로가 항등행렬에서 시작하고 고유값 1을 갖지 않는 행렬로 끝날 경우, Conley-Zehnder 지수를 경로에서 원환면으로의 사상의 차수로 정의한다.
• 심플렉틱 군 내에서 정규행렬의 조밀성을 이용하여 정의를 정당화하고 기하적 고려를 통해 표준형을 구성한다.
• 주요 성질 증명: 자연성, 호모토피 불변성, 영 성질, 곱 성질, 루프 성질, 서명 성질, 행렬식 성질, 역행렬 성질.
• 제품 심플렉틱 공간 $\mathbb{R}^{2n} \times \mathbb{R}^{2n}$ 에서 행렬의 그래프를 통해 Conley-Zehnder 지수를 Robbin-Salamon 지수와 연결한다. 이때 $\overline{\Omega} = -\Omega_0 \oplus \Omega_0$ 이다.
• 고정된 라그랑주 부분공간 $V = \{0\} \times \mathbb{R}^n$ 의 이미지를 경로에 따라 적용하여 보조 Robbin-Salamon 지수 $\mu_{\textrm{RS}2}$ 를 도입한다.
• 두 지수 모두 호모토피 불변성, 경로의 연결에 따른 가환성, 서명 성질을 만족하지만 일반적으로는 다를 수 있으며, $\mu_{\textrm{RS}2}$ 는 $\dim(\psi_t V \cap V)$ 가 일정한 경로에서 0이 된다.

실험 결과

연구 질문

• RQ1 기하적 및 위상적 방법을 사용하여 Conley-Zehnder 지수를 원시적이고 자가 포함적인 방식으로 어떻게 정의하고 특징지을 수 있는가?
• RQ2 어떤 성질들이 심플렉틱 행렬의 적절한 경로에 대해 Conley-Zehnder 지수를 유일하게 특징짓는가?
• RQ3 라그랑주 경로에 대한 Conley-Zehnder 지수와 Robbin-Salamon 지수 사이의 정확한 관계는 무엇인가?
• RQ4 두 개의 Robbin-Salamon 지수 $\mu_{\textrm{RS}}$ 와 $\mu_{\textrm{RS}2}$ 는 어떤 경우에 일치하고, 어떤 경우에 다를까?
• RQ5 지수들은 공액, 연결, 그리고 특정 행렬 유형(예: 심플렉틱 쉐어)에서 어떻게 행동하는가?

주요 결과

• Conley-Zehnder 지수는 적절한 경로에서 호모토피, 루프, 서명 성질에 의해 완전히 특징지워진다.
• 역행렬 성질이 성립한다: $\mu_{CZ}(\psi^{-1}) = -\mu_{CZ}(\psi)$, 그리고 전치 성질 $\mu_{CZ}(\psi^\tau) = -\mu_{CZ}(\psi)$.
• 행렬식 성질이 성립한다: $(-1)^{n - \mu_{CZ}(\psi)} = \operatorname{sign} \det(\operatorname{Id} - \psi(1))$.
• Robbin-Salamon 지수 $\mu_{\textrm{RS}}$ 는 고정된 끝점을 갖는 호모토피에 대해 불변이며, 경로의 연결에 대해 가환성과 함께 성립한다.
• 지수 $\mu_{\textrm{RS}2}$ 는 $\dim(\psi_t V \cap V)$ 가 일정한 경로에서 0이 되지만, 일반적으로 $\mu_{\textrm{RS}}$ 와 다를 수 있으며, 심플렉틱 쉐어를 통한 반례로 이를 입증한다.
• 심플렉틱 쉐어 $\psi_t = \begin{pmatrix} \mathrm{Id} & B(t) \\ 0 & \mathrm{Id} \end{pmatrix}$ 에서는 $\mu_{\textrm{RS}}$ 와 $\mu_{\textrm{RS}2}$ 가 모두 $\frac{1}{2} \operatorname{Sign} B(0) - \frac{1}{2} \operatorname{Sign} B(1)$ 와 일치함을 보여, 이 경우 두 지수가 일치함을 증명한다.