[논문 리뷰] $C^0$-coerciveness of Moser's problem and smoothing area preserving homeomorphisms

Yong‐Geun Oh|ArXiv.org|2006. 01. 09.

Geometric and Algebraic Topology참고 문헌 9인용 수 19

한 줄 요약

이 논문은 체적 형식과 관련된 측도의 약한 위상에 기반하여 Moser 문제의 $C^0$-강건성(코erciveness)을 확립하며, 임의의 면적을 보존하는 위상수학적 동형사상이 2차원 표면 위에서 $C^0$-근사로 표현될 수 있음을 증명한다. 주요 결과는 심플렉틱 위상수학의 군이 2차원에서 면적을 보존하는 위상수학적 동형사상의 군과 일치함을 확인함으로써, 심플렉틱 위상수학 분야의 한 추측을 해결한다.

ABSTRACT

In this paper, we establish the $C^0$-coerciveness of Moser's problem of mapping one smooth volume form to another in terms of the weak topology of measures associated to the volume forms. The proof relies on our analysis of Dacorogna-Moser's solution to Moser's problem of mapping one volume form to the other with the same total mass. As an application, we give a proof of smoothing result of area preserving homeomorphisms and its parametric version in two dimension, (or more generally in any dimension in which the smoothing theorem of homeomorphisms is possible, e.g., in dimension 3 but not necessarily in dimension 4). This in turn results in coincidence of the area-preserving homeomorphism group and the symplectic homeomorphism group in two dimension.

연구 동기 및 목표

• 체적 형식과 관련된 측도의 약한 위상에 대해 Moser 문제의 $C^0$-강건성을 확립하는 것.
• 콤���한 2차원 표면 위의 임의의 면적을 보존하는 위상수학적 동형사상이 $C^0$-근사로 표현될 수 있음을 증명하는 것.
• 심플렉틱 위상수학에서의 군이 2차원에서 면적을 보존하는 위상수학적 동형사상의 군과 일치함을 보여, 심플렉틱 위상수학 분야의 추측을 해결하는 것.
• 2차원에서 면적을 보존하는 위상수학적 동형사상의 매개변수화된 호( isotopy )에 대해 스무딩 결과를 확장하는 것.

제안 방법

• Dacorogna-Moser의 Moser 문제 해법을 기반으로 체적을 보존하는 미분형사상을 구성하는 데 활용한다.
• Dacorogna-Moser 구성의 강건한 재구성을 적용하여 얻어진 미분형사상의 $C^0$-노름을 제어한다.
• 삼각형 맵과 큐브 위의 선형화 기법을 사용하여 문제를 국소적 추정으로 환원한다.
• 열린 사상 정리와 측도 이론적 추정을 활용하여 변형에 따른 체적 형식의 차이를 제한한다.
• Dacorogna-Moser 구성의 고차항을 분석하여 해의 $C^0$-노름을 제어한다.
• 벡터장 성분의 $L^\infty$-노름과 $\zeta$-의존성 변형을 사용하여 측도 왜곡에 대한 균일한 경계를 확립한다.

실험 결과

연구 질문

• RQ1 Moser 문제를 체적 형식과 관련된 측도의 약한 위상에 대해 $C^0$-강건한 방식으로 재구성할 수 있는가?
• RQ2 모든 면적을 보존하는 위상수학적 동형사상은 2차원 표면에서 $C^0$-근사로 표현될 수 있는가?
• RQ3 2차원에서 심플렉틱 위상수학의 군이 면적을 보존하는 위상수학적 동형사상의 군과 일치하는가?
• RQ4 2차원에서 면적을 보존하는 위상수학적 동형사상의 매개변수화된 호에 대해 스무딩 결과를 확장할 수 있는가?
• RQ5 측도를 보존하는 성질은 고차원에서 위상수학적 동형사상이 미분형사상으로 $C^0$-근사 가능하게 하는가?

주요 결과

• 체적 형식의 약한 위상에 기반한 Moser 문제의 $C^0$-강건성이 확립되어, 체적 형식의 작은 $C^0$-변형이 문제의 해에 대한 작은 $C^0$-변형을 유도함을 보장한다.
• 콤팩트한 2차원 표면 위의 임의의 면적을 보존하는 위상수학적 동형사상은 $C^0$-근사로 표현될 수 있으며, 이는 정리 I′의 증명이다.
• 2차원에서 심플렉틱 위상수학의 군 $\mathrm{Sympeo}(\Sigma,\omega)$는 면적을 보존하는 위상수학적 동형사상의 군 $\mathrm{Homeo}^\Omega(\Sigma)$와 일치한다.
• 스무딩 결과의 매개변수화된 형태가 성립한다: 임의의 면적을 보존하는 위상수학적 동형사상의 호는 $C^0$-근사로 표현될 수 있는 매끄러운 호로 근사 가능하다.
• 이 증명은 미분형사상의 근사가 가능한 임의의 콤팩트 다양체로 확장 가능하며, 예를 들어 3차원에서는 성립하지만 4차원에서는 반드시 성립하지는 않는다.
• Dacorogna-Moser 해의 $C^0$-노름에 대한 균일한 경계가 유도되었으며, 오차 항은 $|\zeta \cdot u||u|$와 $\varepsilon_1(\zeta)$에 의해 제어되며, 강건성의 확인이 이루어졌다.