[논문 리뷰] The exponential map of the complexification of {\em Ham} in the real-analytic case

D. Burns, Ernesto Lupercio외 1명|arXiv (Cornell University)|2013. 07. 01.

Geometry and complex manifolds참고 문헌 4인용 수 9

한 줄 요약

이 논문은 실해석적 켈러 설정에서 해밀턴 군 Ham의 복소화에 대한 지수 사상의 구축을, 복소 해밀턴 구조를 갖춘 복소다양체 X와 실構조, 라그랑주 분할을 갖춘 허수 구조를 통해 수행한다. 핵심 결과는 복소해밀턴 함수의 실부의 해밀턴 흐름이 순수 허수 해밀턴 함수를 지수화하는 디피오모르피즘의 가为准을 생성하며, 흐름의 접선 공간이 실다양체에 대해 교차함으로써 국소 지오데식 연장이 가능하다.

ABSTRACT

Let $(M, ω, J)$ be a Kähler manifold and K its group of hamiltonian symplectomorphisms. The complexification of K introduced by Donadson is not a group, only a "formal Lie group". However it still makes sense to talk about the exponential map in the complexification. In this note we show how to construct geometrically the exponential map (for small time), in case the initial data are real-analytic. The construction is motivated by, but does not use, semiclassical analysis.

연구 동기 및 목표

• 실해석적 켈러 기하학에서 해밀턴 군 Ham의 복소화에 대한 기하적 지수 사상의 구축.
• 무한차원 켈러 기하학에서 순수 허수 해밀턴 함수를 포함한 복소수 해밀턴 함수로 해밀턴 흐름의 개념을 확장.
• 켈러 포텐셜 공간의 지오데식이 복소화된 동역학을 통해 언제 연장 가능한지 조건을 규명.
• 도널드슨의 형식적 복소화를 허수 기하학적 방법으로 기하학적으로 실현.

제안 방법

• 반복적 해석적 구조 τ와 허수 라그랑주 분할 Π: X → M를 갖춘 허수 심플렉틱 다양체 (X, I, Ω)를 사용.
• M 위의 복소수 해밀턴 함수 h의 허수 연장 H에 대해, X 위에서 Re(H)의 해밀턴 흐름 Φₜ를 구성.
• 각 점에서 흐름의 임의의 부분다양체의 복소화된 접선 공간과 실다양체 M의 접선 공간 사이의 교차 조건을 분석.
• 국소 다르부 좌표를 적용하여, H의 헤시안을 포함하는 행렬 지수로 표현된 선형화된 흐름 dΦₜ,* 를 계산.
• Tₓ¹⁰ℱₜ ∩ TₓM = {0} 조건을 적용하여 흐름이 여전히 교차함을 보장하고, 이는 유효한 지수 사상의 정의를 가능하게 한다.
• 임계점에서 헤시안의 스펙트럼 분석을 통해, 랭크와 부호수에 기반한 연장 장애의 분류를 수행.

실험 결과

연구 질문

• RQ1 순수 허수 해밀턴 함수의 해밀턴 흐름이 Ham의 복소화에서 잘 정의된 일차 파라미터 가为准의 디피오모르피즘을 생성하는 조건은 무엇인가?
• RQ2 복소화에 진정한 군 구조가 없을 경우, 지수 사상은 어떻게 기하학적으로 실현될 수 있는가?
• RQ3 해밀턴 함수의 실해석성이 허수 연장과 흐름의 존재를 보장하는 데 어떤 역할을 하는가?
• RQ4 켈러 포텐셜 공간의 지오데식이 언제 연장 불가능해지며, 이러한 장애는 무엇에 의해 결정되는가?
• RQ5 복소해밀턴 함수의 헤시안의 랭크와 부호수는 흐름이 실다양체에 대해 교차함을 결정하는 데 어떤 영향을 미치는가?

주요 결과

• 해밀턴 군 Ham의 복소화에 대한 지수 사상은 허수 심플렉틱 다양체 X 위에서 Re(H)의 해밀턴 흐름을 통해 기하학적으로 구축 가능하며, 이는 흐름이 실다양체 M와 교차함을 유지할 경우에 한하여 성립한다.
• 임계점에서 H의 헤시안이 최대 랭크(랭크 2n)를 가질 경우, 모든 t ∈ ℂ 에 대해 Tₓ¹⁰ℱₜ ∩ TₓM = {0} 이 성립하여 국소 연장이 보장된다.
• 헤시안의 랭크가 임계점에서 1일 경우, 유한한 실시간 t = 1/λ₁ 에서 교차 조건이 성립하지 않아 지오데식의 계속이 차단된다.
• 2차원에서의 장애는 헤시안의 고유값 중 하나가 0일 경우 정확히 발생하며, 이는 교차 조건에서 행렬 행렬식이 0이 되어 나타난다.
• 비퇴화된 헤시안(랭크 2)의 경우, 모든 복소시간에 대해 흐름이 여전히 교차하므로 지수 사상은 국소적으로 잘 정의된다.
• 이 구축은 M = ℂⁿ, M = ℙ¹ 및 코어지oints 오비트와 같은 특정 케이스에 적용되며, 구체적인 예시를 통해 헤시안이 장애를 결정하는 데서의 역할을 보여준다.