[논문 리뷰] Quasi-morphisms and the Poisson bracket

Michael Entov, Leonid Polterovich외 1명|ArXiv.org|2006. 05. 15.

Geometric and Algebraic Topology참고 문헌 15인용 수 3

한 줄 요약

이 논문은 해밀턴 군의 분할 덮개 위의 동차 준형사상에 기반한 플로어 homology를 통해, 심플렉틱 다양체 위의 매끄러운 함수 F와 G의 비환류성(비교교환성)을 파oisson 괄호를 통해 측정하는 기능 Π(F,G)를 제안한다. 이 기능은 파oisson 괄호의 L∞-노름과 관련된 리프시츠 연속인 하한을 확립한다. 주요 기여는 동차 준형사상에 기반한, 플로어 homology에 뿌리를 두고 있는 날카로운 부등식 Π(F,G) ≤ C√||{F,G}||의 유도이다. 이는 양자 측정 오차와 심플렉틱 다양체 위의 단위 분할 제약 조건에 응용된다.

ABSTRACT

For a class of symplectic manifolds, we introduce a functional which assigns a real number to any pair of continuous functions on the manifold. This functional has a number of interesting properties. On the one hand, it is Lipschitz with respect to the uniform norm. On the other hand, it serves as a measure of non-commutativity of functions in the sense of the Poisson bracket, the operation which involves first derivatives of the functions. Furthermore, the same functional gives rise to a non-trivial lower bound for the error of the simultaneous measurement of a pair of non-commuting Hamiltonians. These results manifest a link between the algebraic structure of the group of Hamiltonian diffeomorphisms and the function theory on a symplectic manifold. The above-mentioned functional comes from a special homogeneous quasi-morphism on the universal cover of the group, which is rooted in the Floer theory.

연구 동기 및 목표

• 심플렉틱 다양체 위의 함수 F와 G의 비환류성을 심플렉틱 준상태를 사용하여 정량화하는 기능 Π(F,G)를 정의하는 것.
• 파oisson 괄호 {F,G}와 비환류성의 C^0-안정성 사이의 정량적 연관성을 확립하여, Π(F,G) ≤ C√||{F,G}||를 보이는 것.
• 이 기능을 응용하여 고전역학에서 비환류하는 해밀토니안의 동시 측정 오차에 하한을 도출하는 것.
• 이를 위해 이웃한 이동 가능 집합의 커버링에 대해 서브오더된 단위 분할의 함수들 사이의 최대 파oisson 괄호에 하한을 증명하는 것.
• 이 하한의 날카로움과 플로어 이론적 준형사상이 C^0-안정성 현상에서 수행하는 역할을 조사하는 것.

제안 방법

• 해밀턴 군 G의 분할 덮개 위에서의 동차 준형사상에 기반한, 특정 폐쇄 심플렉틱 다양체 위의 심플렉틱 준상태 ζ를 구성하는 것.
• Π(F,G) = |ζ(F+G) - ζ(F) - ζ(G)|로 정의된 기능을 통해, 덧셈의 실패 즉 비환류성의 정도를 측정하는 것.
• 심플렉틱 준상태와 동차 준형사상 간의 연결을 이용하여, 플로어 호모로지 기법을 통해 Π(F,G) ≤ C√||{F,G}||의 부등식을 도출하는 것.
• Π가 균일 노름에 대해 1-리프시츠 연속임을 증명하여, 함수의 C^0-소실에 대한 안정성을 확보하는 것.
• 이 기능을 응용하여, 비환류하는 관측량 F와 G의 동시 측정 오차에 하한을 도출하는 것.
• 준형사상의 결함과 성질을 이용하여, 이웃한 이동 가능 집합의 커버링에 대해 서브오더된 단위 분할 {ρ_i}에 대해 max_{i,j}||{ρ_i, ρ_j}|| ≥ const/N^3 를 도출하는 것.

실험 결과

연구 질문

• RQ1 기능 Π(F,G)는 파oisson 괄호 ||{F,G}||에 대해 C^0-안정 하한을 제공할 수 있으며, Π(F,G) ≤ C√||{F,G}|| 부등식의 날카로운 상수 C는 무엇인가?
• RQ2 기능 Υ(F,G) = liminf_{F',G'→F,G} ||{F',G'}|| 는 ||{F,G}|| 와 같으며, 이는 파oisson 괄호의 완전한 C^0-연속성을 나타내는가?
• RQ3 이웃한 이동 가능 집합의 커버링에 대해 서브오더된 단위 분할에 대해 max_{i,j}||{ρ_i, ρ_j}|| ≥ const/N^3 의 하한은 N→∞ 일 때 점점 더 개선될 수 있는가?
• RQ4 두 차원에서 Π(F,G) ≤ C√||{F,G}|| 부등식은 '부드러운'(위상적) 증명을 가질 수 있는가, 아니면 플로어 이론적 방법이 필수적인가?
• RQ5 표준 준상태를 가진 2차원 구에서 Π(F,G) ≤ √(2C·||{F,G}||) 부등식의 날카로운 상수 C의 정확한 값은 무엇인가?

주요 결과

• 기능 Π(F,G)는 어떤 상수 C에 대해 Π(F,G) ≤ C√||{F,G}|| 를 만족하며, 플로어 이론에 의해 C ≤ 2 가 도출되고, 두 차원에서는 위상적 방법을 통해 C ≤ 1/2 로 개선된다.
• 기능 Π는 균일 노름에 대해 1-리프시츠 연속이며, 이는 함수의 소규모 C^0-변형에 대한 안정성을 보장한다.
• 이웃한 이동 가능 집합의 커버링에 대해 서브오더된 단위 분할 {ρ_i}에 대해, 최대 파oisson 괄호는 max_{i,j}||{ρ_i, ρ_j}|| ≥ const/N^3 를 만족한다.
• 최대 파oisson 괄호에 대한 하한 max_{i,j}||{ρ_i, ρ_j}|| ≥ const/N^3 는, m-중복 함수의 구성으로 보여지듯이 점점 더 ∼N^{-2} 이상으로 개선될 수 없다.
• 기능 Π(F,G)는 고전역학에서 비환류하는 해밀토니안 F와 G의 동시 측정 오차에 하한을 제공한다.
• 2차원 구에서는 준상태 ζ 가 기본적이며, 비록 기능 Π 가 '부드럽게' 정의되었지만, 정리 1.4의 증명은 '경직된' 플로어 이론적 방법을 필요로 하므로, C^0-안정성 현상은 고차원에서 본질적으로 비자명하다.