[논문 리뷰] Complex Legendre duality

Bo Berndtsson, Dario Cordero–Erausquin외 2명|arXiv (Cornell University)|2016. 08. 19.

Geometry and complex manifolds참고 문헌 10인용 수 6

한 줄 요약

이 논문은 컴acts한 복소다양체 위의 켈러 메트릭에 대한 레지온드르 변환의 복잡한 일반화를 제안하며, Mabuchi 메트릭 하에서 실해석적 켈러 포텐셜 주위의 국소 등거리 대칭을 정의한다. 주요 기여는 Mabuchi 메트릭을 유지하는 이중성 사상으로, 고정점 근처에서의 치환성(역함수 성질)을 가지며, Lempert의 기울기 맵 등거리성과의 확장을 통해 Semmes의 복소 면적-암페르 측도에 대한 질문을 해결한다.

ABSTRACT

We introduce complex generalizations of the classical Legendre transform, operating on Kähler metrics on a compact complex manifold. These Legendre transforms give explicit local isometric symmetries for the Mabuchi metric on the space of Kähler metrics around any real analytic Kähler metric, answering a question originating in Semmes' work.

연구 동기 및 목표

• 클래식한 레지온드르 변환을 컴팩트한 복소다양체 위의 켈러 포텐셜에 대해 복소기하학적으로 일반화하는 것.
• 실해석적 켈러 포텐셜 주위에서 Mabuchi 메트릭 하에 국소 등거리 치환을 구성하는 것.
• Semmes의 복소 면적-암페르 측도에 대한 대칭성에 관한 오랜 질문을 해결하는 것.
• 해석적 생성 함수와 복소 심플렉틱 기하학을 통해 Lempert의 기울기 맵 등거리성을 통합 및 일반화하는 것.
• 심플렉틱 변환에 의한 복소보간 이론에서의 이중성의 기하적 실현을 제공하는 것, 특히 복소 코탄제인트 번들의 상에서

제안 방법

• 실해석적 켈러 포텐셜 φ에 대한 극화를 이용해 복소레지온드르 변환을 정의하며, 이를 φℂ(z,w)로 표기한다. 여기서 φℂ(z,w)는 z에 대해 해석적이고 w에 대해 코메르지언트 해석적이다.
• 변환은 Lφ(ψ)(w) = supz [ -Dφ(z,w) - ψ(z) ] 로 정의되며, 여기서 Dφ(z,w) = φ(z) + φ(w) - 2Re φℂ(z,w) 는 칼라비의 디아스타시스 함수이다.
• 이 변환이 실해석적 켈러 포텐셜 φ의 C² 위상에서의 근처에서 Mabuchi 메트릭에 대해 등거리임을 입증한다.
• 해석적 생성 함수 φℂ를 사용하여 복소 코탄제인트 번지 T*(M) 위의 심플렉틱 사상으로 이 변환을 식별함으로써 심플렉틱 기하학을 적용한다.
• 심플렉틱 변환이 φℂ로 정의될 경우, 이 변환이 Lempert의 일반화된 기울기 맵과 일치함을 보인다.
• 이 변환이 치환성임을 확인한다 (Lφ² = id), 그리고 고정점이 φ임을 보이며, 이 고정점은 켈러 포텐셜 φ에 대응한다.

실험 결과

연구 질문

• RQ1 클래식한 레지온드르 변환은 Mabuchi 메트릭이 켈러 포텐셜 공간에서 유지되는 방식으로 복소기하학적으로 일반화될 수 있는가?
• RQ2 실해석적 켈러 포텐셜 주위에서 Mabuchi 메트릭 하에 국소 등거리 치환성이 존재하는가? 이는 볼록해석학에서의 레지온드르 이중성과 유사한가?
• RQ3 Lempert의 기울기 맵 등거리성은 복소 심플렉틱 기하학과 해석적 생성 함수를 통해 임의의 실해석적 켈러 포텐셜로 일반화될 수 있는가?
• RQ4 칼라비의 디아스타시스 함수는 켈러 메트릭에 대한 이중성 변환을 정의하는 데 기하학적으로 어떤 역할을 하는가?
• RQ5 Semmes의 추측한 ∂ψ의 그래프 위에서의 반복합함수 치환성은 Mabuchi 메트릭 하에서의 거리 유지 변환과 관련이 있는가?

주요 결과

• 칼라비의 디아스타시스 함수 Dφ(z,w)를 통해 정의된 복소레지온드르 변환은 실해석적 켈러 포텐셜 φ의 C² 근처에서 Mabuchi 메트릭에 대해 등거리이다.
• ψ가 φ에 충분히 가까울 경우 Lφ²(ψ) = ψ를 만족함으로써, 이 변환이 고정점 φ를 유일하게 가지며 치환성임을 확인한다.
• φ(z) = |z|² 일 경우, 이 변환은 고전적인 복소레지온드르 변환으로 축소되며, Lempert의 기울기 맵 하에서 측도 보존 결과를 복원한다.
• 이 변환은 복소 코탄제인트 번지 T*(M) 위의 심플렉틱 변환에 대응하며, φℂ(z,w)는 생성 함수로 기능한다.
• 이 구성은 Semmes의 추측한 ∂ψ의 그래프 위에서의 반복합함수 치환성을 기하학적으로 실현하며, 이는 Λψ 를 ΛLφ(ψ) 로 매핑한다.
• Mabuchi 메트릭은 이 변환 하에서도 유지되며, 이는 Mabuchi 메트릭의 지오데식선이 지오데식선으로 매핑됨을 의미한다. 이는 복소보간 이론에서의 이중성 원리에 대한 지지를 제공한다.