[논문 리뷰] On the violation of Thurston-Bennequin inequality for a certain non-convex hypersurface

Atsuhide Mori|arXiv (Cornell University)|2011. 11. 02.

Geometric and Algebraic Topology참고 문헌 6인용 수 5

한 줄 요약

이 논문은 3차원을 초월하는 접촉 다양체에서, 쌓음 불등식을 위반하는 비볼록 초표면이 존재하며, 그러한 초표면은 어떤 매끄러운 볼록 초표면으로도 근사될 수 없다는 것을 보여준다. 이 구성은 1-제트 공간 $J^1(\bbR^n, \bbR)$ 내에서 특정한 초표면을 사용하며, 이는 소스와 싱크 점을 갖는 특이한 특성 폴리에이션을 가지며, 이들의 지수는 불등식을 위반한다. 또한 심플렉틱 토폴로지 제약 조건을 통해 볼록성의 장애를 이용해 근사 불가능성을 증명한다.

ABSTRACT

We show that any open subset of a contact manifold of dimension greater than three contains a certain non-convex hypersurface violating the Thurston-Bennequin inequality.

연구 동기 및 목표

• 3차원 접촉 다양체에서 볼록 표면에 대해 성립하는 쌓음-벤뉴인 불등식이 고차원으로 확장되는지 조사하기.
• $n > 1$ 인 $J^1(\bbR^n, \bbR)$ 내에서 쌓음-벤뉴인 불등식을 위반하는 특정한 비볼록 초표면을 구성하기.
• 해당 초표면이 동일한 접촉 다양체 내에서 어떤 볼록 초표면으로도 매끄럽게 근사될 수 없음을 보여주기.
• 3차원에서 모든 표면가 볼록 초표면으로 근사 가능하다는 것과는 대조적으로, 고차원에서 접촉 초표면의 행동을 비교하기.

제안 방법

• 특정한 접촉 해밀토니언과 특이점을 갖는 벡터장 $X$ 를 $\Sigma$ 의 근방에서 정의하여 초표면 $\Sigma \subset J^1(\bbR^n, \bbR)$ 를 구성하기.
• 심플렉틱 수직선을 통한 $T\Sigma \cap \ker\alpha$ 에 대한 정의를 통해 $\Sigma$ 상의 특성 폴리에이션 $\mathcal{F}_\Sigma$ 를 정의하며, 이는 원주좌표계에서 원점에 고립된 특이점을 갖는다.
• 특이점의 지수를 계산한다: 소스($S_+$)와 싱크($S_-$) 모두 지수 1을 가지며, 이는 쌓음-벤뉴인 불등식 위반으로 이어진다.
• Eliashberg-Floer-McDuff 정리를 사용하여 볼록 심플렉틱 다양체의 경계는 구와 기타 성분들의 분리된 합집합을 포함할 수 없음을 보이고, 만약 $\Sigma$ 가 볼록 표면으로 근사 가능하다면 이는 모순이 된다.
• 커버링 구성과 사영을 통해 반구형 모델 상의 폴리에이션 구조를 분석하고, 타원형 및 쌍곡형 특이점을 식별하기.
• 접촉 형식 $\beta = (2r^2 - 1)dz + r^2(r^2 - 1)d\theta + \sum_{i=1}^{n-1}(x_i dy_i - y_i dx_i)$ 를 정의하여 접촉 구조를 설정하고, 필요한 기하 조건을 확인하기.

실험 결과

연구 질문

• RQ1 3차원을 초월하는 접촉 다양체에서 비볼록 초표면이 쌓음-벤뉴인 불등식을 위반할 수 있는가?
• RQ2 $n > 1$ 인 $J^1(\bbR^n, \bbR)$ 내에서 쌓음-벤뉴인 불등식을 위반하고, 동시에 매끄럽게 볼록 초표면으로 근사될 수 없는 초표면이 존재하는가?
• RQ3 고차원에서 이러한 초표면을 볼록 초표면으로 매끄럽게 근사하는 것을 막는 위상적 또는 기하학적 장애는 무엇인가?
• RQ4 3차원과 고차원 접촉 다양체에서 특성 폴리에이션과 특이점의 행동은 어떻게 다를까?

주요 결과

• $n > 1$ 인 $J^1(\bbR^n, \bbR)$ 내에서 구성된 초표면 $\Sigma$ 는 싱크 점(지수 1)과 소스 점(지수 1)이 존재하여 쌓음-벤뉴인 불등식을 위반하며, 이로 인해 $\sum_{p \in S_-} \mathrm{Ind}\,p = 1 > 0$ 이다.
• 경계 $\partial\Sigma$ 는 특성 폴리에이션이 경계와 횡단하므로 접촉형이다. 이는 불등식의 제작 조건을 만족한다.
• 볼록 초표면으로 $\Sigma$ 를 매끄럽게 근사할 수 없다. 만약 그러한 근사가 가능하다면 Eliashberg-Floer-McDuff 정리에 의해 심플렉틱 경계의 성질과 모순이 된다.
• $\Sigma$ 상의 특이 폴리에이션 $\mathcal{F}_\Sigma$ 는 소스와 싱크 점을 가지며, 커버링 사상에 의한 상사상은 추가로 타원형 및 쌍곡형 특이점을 드러내어 비볼록성의 확인을 뒷받침한다.
• 접촉 해밀토니언 함수를 갖는 벡터장 $X$ 를 이용하여 접촉 구조를 유지하고 특이점들을 고립시키며 지수 1로 유지한다.
• 이 결과는 $n > 1$ 인 $J^1(\bbR^n, \bbR)$ 의 임의의 열린 부분집합에서 성립하므로, 고차원 접촉 기하학에서 이러한 현상은 일반적임을 보여준다.