[논문 리뷰] Dual mixed volumes and isosystolic inequalities

Juan Carlos Álvarez Paiva|ArXiv.org|2004. 08. 30.

Advanced Differential Geometry Research참고 문헌 37인용 수 3

한 줄 요약

이 논문은 코탄젠트 번들의 스타 본체에 대해 이중 혼합 부피를 확장하고, 이 틀을 이용해 히르슈만 기하학과 해밀턴 시스템에 대한 동일체적 부등식을 확립한다. 상대적 불변량 $\tilde{W}_k(M;L,L_0)$ 와 혼즈텀-테이터스 부피 및 동일체적 불변량을 도입함으로써, $\frac{\mathrm{sys}_k(M,L)^n}{\mathrm{sys}_k(M,L_0)^n} \leq \tilde{W}_k(M;L,L_0)^n \leq \frac{\mathrm{vol}(M,L)^{n-k}}{\mathrm{vol}(M,L_0)^{n-k}}$ 를 증명하며, 푸의 정리와 버거의 정리를 히르슈만 기하학과 해밀턴 역학으로 일반화한다.

ABSTRACT

The theory of dual mixed volumes is extended to star bodies in cotangent bundles and is used to prove several isosystolic inequalities for Hamiltonian systems and Finsler metrics.

연구 동기 및 목표

• \texttt{\mathbb{R}P^n} 위의 리만 기하학에 대한 푸의 날카로운 동일체적 부등식을 히르슈만 기하학으로 일반화하기.
• 해밀턴 시스템을 이용해 버거의 무한소 동일체적 부등식을 히르슈만 기하학으로 확장하기.
• 동일체적 및 부피 불변량을 분석하기 위해 코탄젠트 번들 내의 스타 본체에 대한 이중 혼합 부피 이론 개발하기.
• 주기적 지오데식 흐름을 통한 $\mathbb{R}P^2$에 대한 균일화 추측의 히르슈만 일반화 수립하기.
• 평균화 기법을 사용해 등각 및 상호작용하는 해밀턴 조건 하에서 동일체적 부등식 증명하기.

제안 방법

• 코탄젠트 번들의 이중 혼합 부피 이론을 사용하여, 컴act한 $n$-다양체 $M$ 위의 히르슈만 기하학 쌍에 대해 이중 혼합 부피 $\tilde{W}_k(M;L,L_0)$ 를 정의한다.
• 해밀턴 관점에서 자연스러운 혼즈텀-테이터스 부피를 히르슈만 기하학의 부피 측도로 사용한다.
• 등호가 성립할 조건이 $L$ 이 $L_0$ 의 상수배일 때 뿐임을 증명함으로써, 부등식 $\tilde{W}_k(M;L,L_0)^n \leq \frac{\mathrm{vol}(M,L)^{n-k}}{\mathrm{vol}(M,L_0)^{n-k}}$ 를 확립한다.
• 세 가지 가정 조건 하에서 $\tilde{W}_k(M;L,L_0) \geq \frac{\mathrm{sys}_k(M,L)}{\mathrm{sys}_k(M,L_0)}$ 를 증명한다: 등각성과 불변 기하학, 주기적 지오데식 흐름, 상호작용하는 흐름.
• 해밀턴 평균화 기법을 적용하여, $t=0$ 에서 $L_t$ 와 일阶에 대해 일致하는 경로 $K_t$ 를 구성하고, 이로써 동일체적 부등식을 만족시킨다.
• 만약 $H_0$ 가 주기적 흐름을 가지면, 임의의 일차 동차 함수 $H$ 는 $E + \{H_0, F\}$ 로 표현 가능하며 $\{H_0, E\} = 0$ 를 만족함으로써, 변형 제어가 가능해진다.

실험 결과

연구 질문

• RQ1 푸의 동일체적 부등식이 $\mathbb{R}P^2$ 에 대해 확장되어 히르슈만 기하학으로 일반화될 수 있는가?
• RQ2 $\mathbb{R}P^n$ 에서 히르슈만 기하학에 대해 $\frac{\mathrm{sys}_1^n(M,L)}{\mathrm{vol}(M,L)} \leq \frac{\mathrm{sys}_1^n(M,L_0)}{\mathrm{vol}(M,L_0)}$ 가 성립하는 조건은 무엇인가?
• RQ3 주기적 지오데식 흐름과 상호작용하는 해밀턴 함수는 동일체적 부등식 유도에 어떤 역할을 하는가?
• RQ4 해밀턴 평균화 기법을 사용해 버거의 무한소 동일체적 부등식을 히르슈만 기하학으로 일반화할 수 있는가?
• RQ5 $\mathbb{R}P^2$ 에 대해 모든 역행성 히르슈만 기하학이 주기적 지오데식 흐름을 가지는 기하학과 등각적일 수 있는가?

주요 결과

• $\mathbb{R}P^n$ 에서 $L_0$ 가 불변 기하학일 때, $L$ 이 $L_0$ 와 등각적이라면 $\frac{\mathrm{sys}_1^n(M,L)}{\mathrm{vol}(M,L)} \leq \frac{\mathrm{sys}_1^n(M,L_0)}{\mathrm{vol}(M,L_0)}$ 가 성립하며, 이는 푸의 정리를 일반화한다.
• $\mathbb{R}P^n$ 에서 $L_0$ 가 주기적 지오데식 흐름을 가지며 $L$ 이 해밀턴 관점에서 $L_0$ 와 상호작용한다면 $\frac{\mathrm{sys}_1^n(M,L)}{\mathrm{vol}(M,L)} \leq \frac{\mathrm{sys}_1^n(M,L_0)}{\mathrm{vol}(M,L_0)}$ 가 성립한다.
• $SO(3)$ 위의 히르슈만 기하학 $L$ 이 좌변 불변 기하학과 등각적이라면 $\frac{\mathrm{sys}_1^3(SO(3),L)}{\mathrm{vol}(SO(3),L)} \leq \pi$ 를 만족하며, 등호는 $L$ 이 양변 불변일 때 성립한다.
• $\mathbb{R}P^n$ 에서 $L_0$ 가 주기적 지오데식 흐름을 가지는 부드러운 경로 $L_t$ 가 주어지면, $t=0$ 에서 $L_t$ 와 일阶에 일致하는 경로 $K_t$ 가 존재하여 $\frac{\mathrm{sys}_1^n({\mathbb{R}}P^n,K_t)}{\mathrm{vol}({\mathbb{R}}P^n,K_t)} \leq \frac{\mathrm{sys}_1^n({\mathbb{R}}P^n,L_0)}{\mathrm{vol}({\mathbb{R}}P^n,L_0)}$ 를 만족한다. 이는 버거의 결과를 확장한다.
• $\tilde{W}_k(M;L,L_0)^n \leq \frac{\mathrm{vol}(M,L)^{n-k}}{\mathrm{vol}(M,L_0)^{n-k}}$ 는 등호가 성립할 조건이 $L$ 이 $L_0$ 의 상수배일 때 뿐임을 증명한다.
• 모든 역행성 히르슈만 기하학이 주기적 지오데식 흐름을 가지는 기하학과 등각적일 수 있다는 추측은, 아이바노프의 결과에 의해 히르슈만 기하학의 푸 정리의 일반화를 이끌어낸다.