[논문 리뷰] The Group of Hamiltonian Homeomorphisms in the L^∞-norm

Stefan Müller|arXiv (Cornell University)|2007. 05. 10.

Geometric and Algebraic Topology인용 수 5

한 줄 요약

이 논문은 심플렉틱 다양체에서 L∞-호퍼 노름을 통해 정의된 해밀토니안 호메오모르피즘의 군이 표준적으로 L(1,∞)-호퍼 노름을 통해 정의된 군과 일치함을 입증한다. L∞-노름 하에서 해밀토니안 경로의 위상적 및 메트릭 성질을 분석함으로써, 저자들은 오우와 맥더프가 제기한 질문을 해결하며, 노름 선택이 다를지라도 두 해밀토니안 호메오모르피즘의 개념이 동치임을 증명한다.

ABSTRACT

The group Hameo (M,ω) of Hamiltonian homeomorphisms of a connected symplectic manifold (M,ω) was defined and studied in [7] and further in [6]. In these papers, the authors consistently used the L(1,∞)-Hofer norm (and not the L∞-Hofer norm) on the space of Hamiltonian paths (see below for the definitions). A justification for this choice was given in [7]. In this article we study the L∞-case. In view of the fact that the Hofer norm on the group Ham (M,ω) of Hamiltonian diffeomorphisms does not depend on the choice of the L(1,∞)-norm vs. the L∞-norm [9], Y.-G. Oh and D. McDuff (private communications) asked whether the two notions of Hamiltonian homeomorphisms arising from the different norms coincide. We will give an affirmative answer to this question in this paper.

연구 동기 및 목표

• L∞-호퍼 노름을 사용하여 정의된 해밀토니안 호메오모르피즘의 군이 L(1,∞)-호퍼 노름을 통해 정의된 표준 군과 일치하는지 조사하는 것.
• Y.-G. 오와 D. 맥더프가 제기한, 해밀토니안 호메오모르피즘 군이 호퍼 유형 노름의 선택에 따라 독립적인가에 대한 기초적인 질문을 다루는 것.
• 심플렉틱 기하학에서 L∞-노름 하에서 해밀토니안 경로의 위상적 및 메트릭적 구조를 명확히 하는 것.
• 기존 이론과 일관되게 L∞-노름을 사용하여 해밀토니안 호메오모르피즘을 정의하는 데에 대한 엄밀한 정당성을 제공하는 것.

제안 방법

• L∞-호퍼 노름을 갖춘 해밀토니안 경로의 공간을 분석하여 균일 수렴성과 유계성 성질에 중점을 둔다.
• 해밀토니안 경로의 공간에서 L∞-노름이 유도하는 위상과 L(1,∞)-노름이 유도하는 위상 간의 비교를 수행한다.
• [9]에서 확립된 바로, Ham(M,ω) 위에서 호퍼 노름은 L(1,∞)와 L∞ 노름 사이의 선택에 관계없이 독립적임을 이용하여 격차를 메운다.
• [7]과 [6]의 Hameo(M,ω)에 관한 결과를 적용하여 노름 독립성을 호메오모르피즘 설정으로 확장한다.
• 함수해석학적 기법을 사용하여 L∞-노름 하에서 해밀토니안 경로의 수렴성 및 닫힘 성질을 연구한다.
• L∞-노름 하에서 해밀토니안 미분가우의 닫힘은 L(1,∞)-노름 하에서의 닫힘과 동일한 군을 얻는다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 L∞-호퍼 노름을 통해 정의된 해밀토니안 호메오모르피즘은 L(1,∞)-호퍼 노름을 통해 정의된 것과 일치하는가?
• RQ2 해밀토니안 경로의 공간에서 Hofer-유형 노름의 선택에 관계없이 군 Hameo(M,ω)는 독립적인가?
• RQ3 결과로 얻어지는 군이 변하지 않는다는 점을 보장하면서 L∞-노름을 해밀토니안 호메오모르피즘을 정의하는 데에 일관되게 사용할 수 있는가?
• RQ4 해밀토니안 경로의 공간에서 L∞-노름과 L(1,∞)-노름이 유도하는 위상 간의 관계는 무엇인가?
• RQ5 L∞-노름은 해밀토니안 호메오모르피즘의 본질적인 기하학적 및 역학적 성질을 유지하는가?

주요 결과

• L∞-호퍼 노름을 사용하여 정의된 해밀토니안 호메오모르피즘의 군은 L(1,∞)-호퍼 노름을 통해 정의된 표준 군과 정확히 일치한다.
• 연결된 심플렉틱 다양체에서 L∞ 노름과 L(1,∞) 노름을 선택하는 것에 관계없이 해밀토니안 호메오모르피즘 군은 동일하다.
• L∞-노름 하에서 해밀토니안 미분가우의 위상적 닫힘은 L(1,∞)-노름 하에서의 닫힘과 동일한 군을 얻는다.
• 이 결과는 다양한 노름 구조 하에서도 해밀토니안 호메오모르피즘 개념의 강건성을 확인한다.
• 등가성은 서로 다른 분석적 프레임워크 간에 해밀토니안 호메오모르피즘 이론의 일관성을 지지한다.
• 연구 결과는 Y.-G. 오와 D. 맥더프가 해밀토니안 호메오모르피즘 맥락에서 노름 독립성에 관해 제기한 질문을 해결한다.