[논문 리뷰] C^0-rigidity of Poisson brackets

Michael Entov, Leonid Polterovich|ArXiv.org|2007. 12. 18.

Geometric and Algebraic Topology참고 문헌 12인용 수 23

한 줄 요약

이 논문은 심플렉틱 다양체 위에서 파울슨 괄호의 $C^0$-강성( rigidity )을 입증한다. 이는 함수들의 균일(C⁰) 수렴에 따라 파울슨 괄호의 $L^\natural$-노름이 하방연속임을 보여주는 것으로, 증명은 호퍼 기하학과 해밀턴 경로의 최소성에 기반한다. 이로써 작은 $C^0$-편미분에 의한 파울슨 괄호의 최댓값이 감소하지 않음을 보여준다. 반면, 논문은 세 개 이상의 함수에 대한 다중 파울슨 괄호에 대해서는 이러한 강성이 성립하지 않음을 보여준다.

ABSTRACT

Consider a functional associating to a pair of compactly supported smooth functions on a symplectic manifold the maximum of their Poisson bracket. We show that this functional is lower semi-continuous with respect to the product uniform (C^0) norm on the space of pairs of such functions. This extends previous results of Cardin-Viterbo and Zapolsky. The proof involves theory of geodesics of the Hofer metric on the group of Hamiltonian diffeomorphisms. We also discuss a failure of a similar semi-continuity phenomenon for multiple Poisson brackets of three or more functions.

연구 동기 및 목표

• 심플렉틱 다양체 위에서 컴actsupport된 매끄러운 함수 쌍에 대해 파울슨 괄호의 최댓값의 $C^0$-하방연속성을 확립하는 것.
• 카르딘-비테르보 결과를 개선하여, 함수들의 $C^0$-수렴에 따라 파울슨 괄호의 $L^\natural$-노름이 극한에서 유지됨을 보이는 것.
• 유사한 강성 현상이 세 개 이상의 함수에 대한 다중 파울슨 괄호로까지 확장되는지 조사하는 것.
• 삼중 파울슨 괄호에 대해 $C^0$-강성이 실패함을 보이며, 임의로 작은 $C^0$-편미분을 통해 괄호를 제거하는 구축을 제시하는 것.
• 함수의 $C^0$-수렴과 그들의 파울슨 괄호의 수렴 간의 차이를 명확히 하여, 괄호 사상의 비연속성을 부각하는 것.

제안 방법

• 함수군 $\mathrm{Ham}^c(M)$ 위에서 호퍼 거리의 기하학적 이론을 사용하며, 한파라미터 부분군의 짧은 세그먼트가 그 호모토피 클래스 내에서 양의 호퍼 길이를 최소화한다는 사실을 활용한다.
• McDuff의 결과를 적용하여 해밀턴 경로의 최소성과 함께, 교환자들의 호퍼 노름과 생성 함수들의 파울슨 괄호를 연결한다.
• 시간 1 유한체의 스케일링된 해밀턴 함수를 사용한 편미분 기법을 적용하여, $[\tilde{f}_s, \tilde{g}_t]$의 호퍼 노름을 $\|K_{s,t}\|$와 $\|\{F,G\}\|$에 따라 추정한다.
• 심플렉틱 다양체의 두꺼운 격자 분해를 구성하여, 격자 영역에서 일정한 함수인 $T$-타임드 함수를 정의함으로써 파울슨 괄호를 제어한다.
• 국소 다르부 차트를 사용하여 2차원 반례를 고차원 다양체에 통합함으로써, 삼중 파울슨 괄호가 임의로 작은 $C^0$-편미분에 의해 정확히 0이 될 수 있음을 보여준다.
• 파울슨 괄호의 곱의 법칙을 적용하여 $\chi F_i$의 괄호를 인수분해함으로써, 한 함수가 영역에서 일정할 경우 삼중 괄호가 0이 되도록 보장한다.

실험 결과

연구 질문

• RQ1 두 함수의 파울슨 괄호 최댓값은 함수들의 $C^0$-수렴에 대해 하방연속적인가?
• RQ2 카르딘-비테르보의 $C^0$-강성 결과가 파울슨 괄호의 $L^\natural$-노름에 대해 극한에서 등식으로 강화될 수 있는가?
• RQ3 심플렉틱 다양체에서 $C^0$-강성이 세 개 이상의 함수에 대한 다중 파울슨 괄호로까지 확장되는가?
• RQ4 다양체의 차원에만 의존하는 일관된 $N$이 존재하여, 임의의 $N$-튜플 함수를 $C^0$-편미분하여 반복 파울슨 괄호를 0으로 만들 수 있는가?
• RQ5 삼중 파울슨 괄호 $\{F, \{G,H\}\}$가 비영일 수 있지만, $F,G,H$의 임의로 작은 $C^0$-편미분을 통해 정확히 0이 될 수 있는가?

주요 결과

• 함수들의 $C^0$-수렴 하에서 파울슨 괄호의 최댓값은 하방연속적이다: 모든 $F,G \in C_c^\infty(M)$에 대해 $\max\{F,G\} = \liminf_{F',G' \to F,G} \max\{F',G'\}$.
• 카르딘-비테르보 정리의 개선으로, $\|\{F,G\}\| = \liminf_{F',G' \to F,G} \|\{F',G'\}\|$임을 보여, [5]에서 제기된 질문을 확인한다.
• 삼중 파울슨 괄호에 대해 $C^0$-강성이 실패한다: 임의의 심플렉틱 다양체 $M$에 대해, $\{F,\{G,H\}\} \not\equiv 0$ 이지만 $C^0$-근접한 $F',G',H'$에 대해 $\{F',\{G',H'\}\} \equiv 0$ 임을 만족하는 $F,G,H$가 존재한다.
• 2차원에서는 $N=3$일 때 결과가 성립하여, 임의의 삼중 함수는 $C^0$-편미분을 통해 반복 파울슨 괄호를 0으로 만들 수 있다.
• 강성의 실패는 국소적이다: 2차원 반례는 다르부 차트를 통해 고차원 다양체에 통합되며, 편미분의 $C^0$-작은 크기를 유지한다.
• 증명은 파울슨 괄호 노름에 대해 $\liminf$를 $\lim$으로 대체할 수 없음을 보여주며, 임의로 작은 $C^0$-편미분으로 최댓값이 임의로 크게 증가시킬 수 있음을 보여준다.