[논문 리뷰] Regularization and minimization of Haefliger structures of codimension one

Gaël Meigniez|arXiv (Cornell University)|2009. 04. 19.

Homotopy and Cohomology in Algebraic Topology참고 문헌 5인용 수 3

한 줄 요약

이 논문은 차원이 4 이상인 닫힌 다양체 위의 codimension-one 폴리아션이나에 대해 Thurston의 h-원리에 대한 초등적이고 구조적인 증명을 제시한다. Mather의 호모로지 동치를 사용하지 않고, 정규화와 최소화 기법을 활용하여 모든 잎이 조밀한 최소 폴리아션을 생성한다. 주요 결과는 오일러 특성이 0인 모든 이러한 다양체가 최소 smooth codimension-one 폴리아션을 갖는다는 것이다.

ABSTRACT

We prove the existence of a minimal (all leaves dense) foliation of codimension one, on every closed manifold of dimension at least 4 whose Euler characteristic is null, in every homotopy class of hyperplanes distributions, in every homotopy class of Haefliger structures, in every differentiability class, under the obvious embedding assumption. The proof uses only elementary means, and reproves Thurston's existence theorem in all dimensions. A parametric version is also established.

연구 동기 및 목표

• 차원 ≥4에서 Mather의 호모로지 동치를 사용하지 않고 Thurston의 h-원리에 대한 초등적이고 구조적인 증명을 제공하는 것.
• 차원이 4 이상인 닫힌 다양체 위에 모든 잎이 조밀한 최소 폴리아션을 구성하는 것.
• 경계를 가진 다양체로 h-원리를 확장하여 최소성과 폴리아션의 호모토피류를 유지하는 것.
• Lawson의 고전적 질문을 해결하고 Novikov의 폐쇄 잎 정리의 고차원 일반화에 대한 추측을 반증하는 것.
• 오일러 특성이 0인 모든 닫힘, 연결된 다양체가 차원 ≥4에서 최소 폴리아션을 갖는다는 것을 보여주는 것.

제안 방법

• 주어진 ${\Gamma_{1}}$-구조를 일반적인 호모토피를 통해 근사적으로 제어 가능한 특이점을 갖는 모스 특이 폴리아션으로 변형하는 것.
• 지수 1과 2인 모스 특이점을 쌍으로 생성하여 국소적 움직임을 통해 잎의 종수를 증가시키고 최소성을 달성하는 것.
• 특이점들을 연결하는 수직 호를 형성하기 위해 선택된 벡터장 $V$와 반대 방향을 갖는 의사구배장 $\nabla\xi$ 를 도입하는 것.
• compact 잎을 생성하지 않도록 구멍을 메우기 위해 최소성과 호모토피 유형을 유지하는 웜 갤러리 기법을 사용하는 것.
• 특이점 및 수직 호 주변에서 $C^r$-소형의 이sov타피를 적용하여 폴리아션을 부드럽게 하되, $C^r$-구조를 유지하는 것.
• 폴리아션이 수직 호를 제외하고는 부드럽게 되어 있는 이웃 영역에서 Shoshitaichvili의 정리를 적용하여 원하는 최소 폴리아션이 존재함을 보장하는 것.

실험 결과

연구 질문

• RQ1 차원 ≥4에서 Mather의 호모로지 동치를 사용하지 않고 codimension-one 폴리아션에 대한 Thurston의 h-원리를 구조적으로 증명할 수 있는가?
• RQ2 차원이 4 이상인 닫힌 다양체 위에 모든 잎이 조밀한 최소 폴리아션을 생성할 수 있는가?
• RQ3 어떤 조건을 만족해야만 최소 smooth codimension-one 폴리아션이 존재하는가?
• RQ4 최소성과 호모토피류를 유지하면서 h-원리를 경계를 가진 다양체로 어떻게 확장할 수 있는가?
• RQ5 최소 폴리아션을 사용하여 고차원에서 Novikov의 폐쇄 잎 정리의 일반화에 대한 고전적 추측을 반증할 수 있는가?

주요 결과

• 오일러 특성이 0인 모든 닫힘, 연결된 다양체는 차원 ≥4에서 최소이고 smooth한 codimension-one 폴리아션을 갖는다.
• 증명은 Mather의 호모로지 동치를 회피하고 오직 초등적인 미분위상수학과 호모토피 기법에 의존한다.
• 최소 폴리아션은 모스 특이점을 쌍으로 상쇄시키고 compact 잎을 생성하지 않도록 구멍을 메우는 방식으로 구성된다.
• 상대적인 경우에도 h-원리가 성립한다: 경계를 가진 다양체의 경우, 폴리아션은 경계에 대해 원래 구조와 호모토피적이면서 최소성이 유지된다.
• 이 구성은 모든 $C^r$-정규성 클래스($1 \leq r \leq \infty$)에 적용되며, 임계 영역에서 폴리아션을 부드럽추기 위해 $C^1$-소형 이sov타피가 사용된다.
• 이 결과는 Lawson의 오랜 질문을 해결하고 고차원에서 최소 폴리아션이 존재하지 않는다는 추측을 반증한다.