[논문 리뷰] Holonomic approximation and Gromov's h-principle

Yakov Eliashberg, N. Mishachev|ArXiv.org|2001. 01. 23.

Homotopy and Cohomology in Algebraic Topology참고 문헌 8인용 수 10

한 줄 요약

이 논문은 미분위상수학에서 h-원리의 증명을 위한 통합적인 프레임워크를 제공하는 일반적인 힐로노믹 근사 정리(holonomic approximation theorem)를 제안한다. 임의의 잔여다중다발(section of a jet bundle)이 양의 codimension을 가진 약간 변형된 부분다양체 근처에서 $C^0$-근사로 힐로노믹 섹션으로 근사가 가능하다는 점을 보여, 저자들은 그로모프의 h-원리 및 관련 결과들을 직접적인推論으로 도출하며, 개방다양체 위의 탄력적인 기하구조에 대한 기본 접근 방식을 크게 단순화한다.

ABSTRACT

In 1969 M. Gromov in his PhD thesis greatly generalized Smale-Hirsch-Phillips immersion-submersion theory by proving what is now called the h-principle for invariant open differential relations over open manifolds. Gromov extracted the original geometric idea of Smale and put it to work in the maximal possible generality. Gromov's thesis was brought to the West by A. Phillips and was popularized in his talks. However, most western mathematicians first learned about Gromov's theory from A. Haefliger's article. The current paper is devoted to the same subject as the papers of Gromov and Haefliger. It seems to us that we further purified Smale-Gromov's original idea by extracting from it a simple but very general theorem about holonomic approximation of sections of jet-bundles (see Theorem 1.2.1 below). We show below that Gromov's theorem as well as some other results in the h-principle spirit are immediate corollaries of Theorem 1.2.1.

연구 동기 및 목표

• 잔여다중다발에 대한 새로운 보편적 근사 정리를 활용해 그로모프의 h-원리의 기초 프레임워크를 일반화하고 단순화하는 것.
• 침습, 사상, 심플렉틱 임bedding 정리와 같은 h-원리 프로그램의 핵심 결과들이 단일 보편 근사 원리의 즉각적인 추론으로 도출됨을 보여주는 것.
• 특히 양의 codimension을 가진 부분다양체 근처에서 비-힐로노믹 섹션을 힐로노믹 섹션으로 근사하는 깔끔하고 기하학적으로 직관적인 방법을 확립하는 것.
• 가족 맵과 층다양체에 대한 적용을 가능하게 하기 위해 이론을 매개변수 및 상대적 설정으로 확장하는 것.
• micro-flexible 및 불변 미분관계를 위한 기초를 다지기 위해, 힐로노믹 근사 원리의 광범위한 적용 가능성을 보여주는 것.

제안 방법

• 핵심 방법은 $r$-잔여다중다발의 섹션에 대해, 양의 codimension을 가진 다각형 근처에서 유효한 힐로노믹 근사 정리를 설정하는 것이다.
• 저자들은 $C^0$-소작의 미분동형사상 $h$를 사용하여 도메인을 변형함으로써, $h(A)$ 근처에서 원래 섹션 $F$를 $C^0$-위상에서 근사하는 힐로노믹 섹션 $ ilde{F}$를 구성한다.
• 증명은 다각형 $A$의 스펙트럼에 대해 귀납적으로 진행되며, 임의의 섹션이 점 근처에서는 힐로노믹임을 보여주는 테일러 근사의 성질을 활용한다.
• 매개변수 및 상대적 형태는 섹션의 가족으로 확장하여, 미분동형사상과 근사가 고정된 경계 데이터와 호환되도록 보장한다.
• 이 방법은 기저 점에 따라 연속적으로 변화하는 매끄러운 국소 좌표계의 존재에 의존하여 국소 힐로노믹 근사를 구성한다.
• 이 프레임워크는 침습, 사상, 심플렉틱 구조 등 다양한 기하관계에 대해 h-원리를 유도하는 데 응용되며, 이는 모두 근사 정리로 환원된다.

실험 결과

연구 질문

• RQ1 잔여다중다발의 임의의 섹션은 양의 codimension을 가진 부분다양체 근처에서 힐로노믹 섹션으로 근사가 가능한가?
• RQ2 h-원리는 얼마나 일반적인 근사 원리로부터 유도될 수 있으며, 특수한 구성 방식에 의존하지 않는가?
• RQ3 힐로노믹 근사 정리는 어떻게 매개변수 및 상대적 설정으로 확장되어 가족 맵과 고정 데이터를 다룰 수 있는가?
• RQ4 어떤 기하구조—심플렉틱 또는 콘택트 형식 등—이 개방다양체 위에서 이 근사 방법을 통해 구성될 수 있는가?
• RQ5 특정 미분동형사상 군(예: 섹션 방향을 보존하는 것들)에 대해 불변인 미분관계를 다루기 위해 이 정리는 어떻게 변형될 수 있는가?

주요 결과

• 힐로노믹 근사 정리(정리 1.2.1)는 임의의 섹션 $F$가 양의 codimension을 가진 다각형 $A$ 근처에 정의되어 있고, 임의의 $ ho > 0$에 대해, $C^0$-소작의 미분동형사상 $h$와 $h(A)$ 위의 힐로노믹 섹션 $ ilde{F}$가 존재하여 $|| ilde{F} - F||_{C^0} < \rho$ 를 만족함을 보장한다.
• 매개변수 형태(정리 1.2.2)는 이러한 근사가 매개변수 공간 $I^m$ 에 대해 연속적으로 가능하며, 매개변수 큐브의 경계에서 근사가 고정됨을 보장한다.
• 상대적 형태는 $F$ 가 부분다각형 $B \to A$ 위에서 이미 힐로노믹이라면, 근처의 이웃에서 근사가 고정됨을 보장한다.
• 그로모프의 h-원리는 개방다양체에 대해 즉각적인 추론으로 도출되며, 형식적 해의 존재가 힐로노믹 해의 존재로 이어짐을 보여준다.
• 이 정리는 침습, 사상, $k$-머전, 분포에 대한 임의의 교차성, 개방다양체 위의 심플렉틱 및 콘택트 구조의 구성 등 광범위한 기하문제에 적용된다.
• 이 방법은 미분동형사상 군에 대해 불변인 관계, 예를 들어 $t \to h(t)$ 와 같은 섹션 방향을 보존하는 경우에 대해, 근사 원리의 일반화를 통해 micro-flexible 및 불변 미분관계에까지 확장된다.