[논문 리뷰] On the large-scale geometry of the L^p-metric on the symplectomorphism group of the two-sphere

Michael Brandenbursky, Egor Shelukhin|arXiv (Cornell University)|2013. 04. 25.

Geometric and Algebraic Topology참고 문헌 20인용 수 8

한 줄 요약

이 논문은 $ p > 2 $ 인 경우, 두 차원 구면의 미분형식군에 대한 $ L^p $-거리가 임의의 유한차원 노름 공간의 이중리프시츠 임베딩을 허용한다는 것을 증명한다. 순수 브레이드 군 $ S^2 $ 위에서 유도된 브레이딩 불변량과 동차 준형사상의 활용을 통해, 경로의 $ L^p $-길이를 캘리브레이션하는 준형사상을 구성함으로써 거리의 무한성과 그로 인한 $ \mathbb{R}^d $ 의 표준 거리에 대한 제어된 왜곡을 수반하는 임베딩이 가능해진다.

ABSTRACT

We prove that the vector space R^d of any finite dimension d with the standard metric embeds in a bi-Lipschitz way into the group of area-preserving diffeomorphisms G of the two-sphere endowed with the L^p-metric for p>2. Along the way we show that the L^p-metric on the group G is unbounded for p>2 by elementary methods.

연구 동기 및 목표

• 두 차원 구면의 미분형식군에 대한 $ L^p $-거리의 거시적 기하학 문제를 해결하기 위해, 특히 $ p > 2 $ 인 경우에 초점을 맞춘다.
• 기타 표면에 대한 알려진 결과에도 불구하고, $ \mathrm{Diff}(S^2, dV) $ 에서의 $ L^p $-거리의 무한성은 여전히 해결되지 않은 상태였다. 이 문제를 해결한다.
• 유한차원 노름 공간을 $ L^p $-거리가 부여된 미분형식군에 이중리프시츠 임베딩으로서 명시적으로 구성한다.
• 이전의 캘라비 호모모르피즘 또는 코homological 불변량에 의존하지 않는, 시간에 따라 변화하는 해밀토니안 흐름에서의 브레이딩과 상대적 각운동량 수치를 기반으로 한 새로운 방법을 개발한다.

제안 방법

• 저자들은 $ r $ 이 순수 브레이드 군 $ P_n(S^2) $ 에서의 동차 준형사상이고, $ \gamma(f;x) $ 가 기본점에서의 지오데식 경로와 $ f $ 의 동형변형에서 유도된 고리인 바탕으로, $ \Phi(f) = \int_{X_n(S^2)} r(\gamma(f;x)) \, dx $ 라는 준형사상을 정의한다.
• 관련된 동차 준형사상 $ \overline{\Phi}(f) = \lim_{k \to \infty} \Phi(f^k)/k $ 가 잘 정의되고 동형변형에 대해 불변임을 보이며, 군 내 경로의 $ L^p $-길이에 대한 하한을 제공한다.
• 이 구성은 디피오모르피즘들을 디스크에 지지된 컴acts지지된 조각들로 분해하고, $ P_n(S^2) $ 에서의 브레이드의 유한 단어 길이를 활용하여 $ \Phi $ 의 적분 가능성 보장한다.
• 핵심 기술적 단계는 구성 공간의 부피와 준형사상 $ r $ 의 유계성에 기반하여 준형사상의 결함을 유계로 제한함으로써, $ \Phi $ 가 균일한 상수를 갖는 준형사상 조건을 만족하도록 보장하는 것이다.
• 저자들은 $ \pi_1(\mathrm{Diff}(S^2, dV)) \cong \mathbb{Z}/2\mathbb{Z} $ 이므로, $ \overline{\Phi} $ 가 동형변형의 선택에 관계없이 잘 정의된 함수로 내림내림될 수 있음을 이용한다.
• 저자들은 준형사상 $ \overline{\Phi} $ 와 그 가족을 선형대수적 방법을 통해 조합함으로써, $ p > 2 $ 인 경우 $ \mathrm{Diff}(S^2, dV) $ 에서의 $ L^p $-거리 하에 $ \mathbb{R}^d $ 의 이중리프시츠 임베딩을 구성한다.

실험 결과

연구 질문

• RQ1 첫 번째 코homology 가 없고 정확성이 없음에도 불구하고, $ S^2 $ 의 미분형식군에 대한 $ L^p $-거리가 $ p > 2 $ 인 경우에도 여전히 무한한가?
• RQ2 유한차원 노름 공간이 $ p > 2 $ 인 경우 $ \mathrm{Diff}(S^2, dV) $ 에 이중리프시츠 방식으로 임베딩될 수 있는가?
• RQ3 순수 브레이드 군 $ P_n(S^2) $ 에서의 브레이딩 불변량과 준형사상은 미분형식 경로의 $ L^p $-길이를 캘리브레이션하는 데 사용될 수 있는가?
• RQ4 $ \mathrm{Diff}(S^2) $ 에서의 $ L^p $-거리의 무한성을 증명하는 데 캘라비 호모모르피즘 또는 코homological 도구에 의존하지 않는 방법이 존재하는가?

주요 결과

• $ S^2 $ 의 면적을 보존하는 디피오모르피즘 군에 대한 $ L^p $-거리가 $ p > 2 $ 인 모든 경우에 대해 무한하다. 이는 준형사상을 활용한 간단한 방법으로 증명되었다.
• 임의의 유한차원 $ d $ 에 대해, 표준 노름 공간 $ \mathbb{R}^d $ 는 $ p > 2 $ 인 경우 $ \mathrm{Diff}(S^2, dV) $ 에 $ L^p $-거리 하에 이중리프시츠 임베딩을 갖는다.
• 브레이딩 자료 $ X_n(S^2) $ 에서 유도된 준형사상 $ \overline{\Phi} $ 는 경로의 $ L^p $-길이에 대한 하한을 제공하며, 이로 인해 임베딩 결과가 가능해진다.
• 동형변형에 대해 강건하며, 디피오모르피즘 군의 $ \mathbb{Z}/2\mathbb{Z} $ 기본군 덕분에 동형변형의 선택과 무관하게 정의된다.
• $ P_n(S^2) $ 에서의 브레이드의 유한한 단어 길이와 구성 공간의 유한 부피 덕분에 $ \Phi $ 의 적분 가능성 보장되며, 이로 인해 준형사상은 잘 정의되고 변동에 대해 유계가 된다.
• 이 방법은 캘라비 호모모르피즘 또는 코homological 불변량에 의존하지 않는 새로운 기하학-해석적 접근법을 제공하여, 미분형식군의 거시적 기하학을 다루는 데에 유용하다.