[논문 리뷰] Geometric structures on contactomorphism groups and contact rigidity in jet spaces

Frol Zapolsky|arXiv (Cornell University)|2012. 02. 25.

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

한 줄 요약

이 논문은 제트 공간 $J^1N$ 및 $T^*N \times S^1$ 의 접촉형형태군에 대해 생성 함수를 이용한 레지언드리안에 기반하여 내재된 이항부분순서와 정수값을 갖는 거리함수를 수립한다. 이를 통해 접촉형형태의 강성 결과를 증명한다: 특정 부분집합 $X \times S^1$ 은 접촉형형태의 연속변형을 통해 영단면에서 분리될 수 없으며, 해밀턴-이동 가능 영역에 지지된 벡터장들에 의해 생성된 교환 가능한 접촉형형태의 곱은 스펙트럴 불변량과 부분 준형사상 $ \nu$ 를 통해 제약을 받는다. 주요 기여는 순서론적 및 거리적 구조를 통해 제트 공간 내 접촉형형태의 강성에 대한 새로운 기하학적 및 역학적 이해를 제공하는 것이다.

ABSTRACT

For a closed connected manifold N, we establish the existence of geometric structures on various subgroups of the contactomorphism group of the standard contact jet space J^1N, as well as on the group of contactomorphisms of the standard contact T*N imes S^1 generated by compactly supported contact vector fields. The geometric structures are biinvariant partial orders (for J^1N and T*N imes S^1) and biinvariant integer-valued metrics (T*N imes S^1 only). Also we prove some forms of contact rigidity in T*N imes S^1, namely that certain (possibly singular) subsets of the form X imes S^1 cannot be disjoined from the zero section by a contact isotopy, and in addition that there are restrictions on the kind of contactomorphisms of T*N imes S^1 which are products of pairwise commuting contactomorphisms generated by vector fields supported in sets of the form U imes S^1 with U \subset T*N Hamiltonian displaceable. The method is that of generating functions for Legendrians in jet spaces.

연구 동기 및 목표

• 제트 공간 $J^1N = T^*N \times \mathbb{R}$ 와 $V = T^*N \times S^1$ 의 접촉형형태군의 부분군에 대해 내재된 기하학적 구조—이항부분순서와 정수값 거리함수—를 구성하는 것.
• 접촉형형태의 동역학과 그 스펙트럴 불변량을 분석하여 제트 공간 내 접촉형형태 이론을 확장하는 것.
• 만약 $X$ 가 초무거운 조건을 만족하면, $T^*N \times S^1$ 내의 특정 부분집합 $X \times S^1$ 이 접촉형형태의 연속변형을 통해 영단면에서 분리될 수 없다는 것을 증명하는 것.
• 해밀턴-이동 가능 영역에 지지된 컴팩트한 지지집합을 가진 접촉벡터장들에 의해 생성된 상호교환 가능한 원소들의 곱으로 이루어진 접촉형형태에 대한 제약 조건을 설정하는 것.

제안 방법

• 제트 공간 내 레지언드리안에 대한 생성 함수를 사용하여 접촉해밀턴함수와 관련된 스펙트럴 불변량을 정의하고 분석하는 것.
• 그룹의 구조를 유지하고 코너제약에 대해 불변인 부분 준형사상 $ \nu$ 를 $\operatorname{Cont}_{0,c}(V)$ 에 도입하며, 이는 스펙트럴 불변량의 동차화로 정의된다.
• 스펙트럴 불변량 $\ell_{\pm}$ 과 그 동차화를 적용하여 $\operatorname{Cont}_{0,c}(V)$ 에 정수값 거리함수 $\nu$ 를 유도하며, 단조성과 코너제약 불변성 등의 성질을 만족한다.
• 해밀턴함수의 전량화를 통해 $T^*N$ 에서의 스펙트럴 자료를 $T^*N \times S^1$ 에서의 접촉해밀턴함수로 올리는 데 기반하며, 해밀턴역학과 접촉역학을 연결한다.
• 만약 접촉해밀턴함수가 영단면에서 멀리 떨어져 지지되어 있다면 그 스펙트럴 불변량이 0이 되며, 이는 $\nu(\phi_H) = 0$ 이라는 것을 의미함으로써 강성 결과를 증명하는 데 사용된다.
• 집합 $X \subset T^*N$ 의 초무거운 성질을 활용하여, $X$ 의 근방에 지지된 해밀턴함수 $H$ 에 대해 $\nu(\phi_H) = 1$ 이 되며, 이는 이동 가능성 가정과 모순이 된다.

실험 결과

연구 질문

• RQ1 제트 공간 $J^1N$ 과 $T^*N \times S^1$ 의 접촉형형태군 부분군에 대해 자연스럽게 이항부분순서를 정의할 수 있는가?
• RQ2 접촉형형태군 $T^*N \times S^1$ 에는 이항부분정수거리함수를 갖는가? 만약 그렇다면 어떻게 구성되는가?
• RQ3 만약 $X$ 가 초무거운 조건을 만족한다면, $T^*N \times S^1$ 내의 형식 $X \times S^1$ 의 부분집합이 접촉형형태의 연속변형을 통해 영단면에서 분리될 수 있는가?
• RQ4 해밀턴-이동 가능 영역에 지지된 접촉벡터장들에 의해 생성된 상호교환 가능한 원소들의 곱으로 이루어진 접촉형형태에 대해 어떤 제약 조건이 존재하는가?
• RQ5 접촉해밀턴함수의 스펙트럴 불변량은 그 역학과 접촉형형태군에 대한 기하학적 구조와 어떻게 관련이 있는가?

주요 결과

• $\operatorname{Cont}_0(J^1N)$, $\operatorname{Cont}_{0,c}(J^1N)$, 그리고 $\operatorname{Cont}_0^\mathbb{Z}(J^1N) \simeq \operatorname{Cont}_{0,c}(T^*N \times S^1)$ 는 각각 접촉형형태의 연속변형 양성에 의해 유도된 자연스러운 이항부분순서 $\leq$, $\leq_c$, $\leq^\mathbb{Z}$ 를 지닌다.
• $\operatorname{Cont}_{0,c}(T^*N \times S^1)$ 는 스펙트럴 불변량의 동차화로 구성된 이항부분정수거리함수 $\nu$ 를 지닌다.
• 만약 $X \subset T^*N$ 가 초무거운 집합이고 $H$ 가 $X$ 근방에 지지된 접촉해밀턴함수이면, $\nu(\phi_H) = 1$ 이며, 이는 $X \times S^1$ 이 영단면에서 이동 가능하다는 가정과 모순된다.
• 영단면에서 멀리 떨어져 지지된 접촉형형태는 $\nu(\phi_H) = 0$ 이며, 이 성질은 코너제약과 곱에 대해 유지된다.
• 만약 $T^*N \times S^1$ 의 영벽에서 $H \geq c > 0$ 이면, $\nu(\phi_H) \geq 1$ 이며, 이는 이러한 흐름이 거리함수 $\nu$ 에서 자명하지 않음을 보여주며, 이는 이동 가능한 지지집합에서의 교환 가능한 흐름으로의 분해를 제약한다.
• 부분 준형사상 $ \nu$ 는 $H$ 가 $T^*N$ 에서의 해밀턴함수 $h$ 의 전량화이면 $\nu(\phi_H) = \mu(\phi_h)$ 를 만족하며, 접촉 및 해밀턴 스펙트럴 불변량을 연결한다.