[논문 리뷰] Contact structures of arbitrary codimension and idempotents in the Heisenberg algebra

Erik van Erp|arXiv (Cornell University)|2010. 01. 29.

Geometric Analysis and Curvature Flows참고 문헌 21인용 수 10

한 줄 요약

이 논문은 임의의 codimension을 갖는 분포로서 최대한의 비통합성(최대 비적분 가능성)을 갖는 다각접( polycontact ) 구조를 도입한다. 이는 접촉 구조의 일반화이다. 다각접 구조는 히젠베르그 미분계산에서 비자명한 멱등원의 존재와 관련이 있으며, 이에 기반해 일반화된 즈에고 프로젝션을 구성하고 히젠베르그 미분형 연산자에 대한 $C^*$-대수의 표준적 분해를 이끌어낸다.

ABSTRACT

A contact manifold is a manifold equipped with a distribution of codimension one that satisfies a `maximal non-integrability' condition. A standard example of a contact structure is a strictly pseudoconvex CR manifold, and operators of analytic interest are the tangential Cauchy-Riemann operator and the Szego projector onto its kernel. The Heisenberg calculus is the natural pseudodifferential calculus developed originally for the analysis of these operators. We introduce a `non-integrability' condition for a distribution of arbitrary codimension that directly generalizes the definition of a contact structure. We call such distributions polycontact structures. We prove that the polycontact condition is equivalent to the existence of generalized Szego projections in the Heisenberg calculus, and explore geometrically interesting examples of polycontact structures.

연구 동기 및 목표

• 분포의 '최대 비통합성' 조건을 정의하여 접촉 구조의 개념을 임의의 codimension을 갖는 분포로 일반화한다.
• 히젠베르그 미분형 연산자 계산 내 비자명한 프로젝션의 존재를 통해 이러한 분포의 정밀한 해석기하학적 특성화를 수립한다.
• 히젠베르그 미분계산과 해석적 함수해석학을 이용해 다각접 다양체 위에 일반화된 즈에고 프로젝션을 구성한다.
• 콤���한 다각접 다각형에서 히젠베르그 미분형 연산자에 대한 $C^*$-대수가 두 단계로 분해되는 시리즈를 보인다.
• 지오메트릭적 예시—예를 들어 지방성 번들, 퀼레르티온식 접촉 다각형, 초복소 다각형 내 엄격한 편평한 볼록성 초표면—이 다각접 조건을 만족시키는지를 규명한다.

제안 방법

• 분포 $H \subset TM$가 비영 1형식 $\theta$가 $H$에 대해 영이 되는 한에서 $d\theta|_H$ 가 비퇴화임을 조건으로 하여 다각접 구조를 정의한다.
• 리 괄호에 의해 유도되는 레비 형식 $B: H \times H \to N$ 을 사용해 분포의 '비틀림' 정도를 기술하며, 비퇴화성은 다각접 구조를 의미한다.
• 히젠베르그 미분형 연산자에 대한 히르미트 이상 $I_H^0(M)$ 내에서 비자명한 멱등원의 존재가 다각접 조건과 동치임을 증명한다.
• 히젠베르그 미분형 연산자에 대한 $C^*$-대수 $\Psi_H^*$ 내에서 해석적 함수해석학을 적용하여, 바르그만-폭크 표현을 이용해 $S^{00}_H(M)$ 내의 기호로부터 일반화된 즈에고 프로젝션을 구성한다.
• 기호 대수 $S^{00}_H(M)$ 의 노름 완비화를 $S^*N$ 위의 연속적 $C^*$-대수의 필드로 식별하며, 각 필드는 $C^*(H_m, B_\theta) \cong \mathcal{K}(H^{BF}_{m,\theta})$ 와 동형임을 보인다.
• 히젠베르그 미분형 연산자에 대한 두 단계 분해 시리즈를 증명한다: $0 \to I_H^* \to \Psi_H^* \to C(S^*H) \to 0$ 과 $0 \to \mathcal{K} \to I_H^* \to C(S^*N, \mathcal{K}) \to 0$, 이는 접촉 다각형에 대해 디닌의 결과를 일반화한다.

실험 결과

연구 질문

• RQ1 접촉 구조의 일반화는 임의의 codimension을 갖는 분포로 어떻게 이루어지며, 이때 '최대 비통합성' 성질을 유지할 수 있는가?
• RQ2 히젠베르그 미분형 연산자 계산 내 비자명한 멱등원의 존재는 기저 분포의 기하학적 성질과 어떻게 관련이 있는가?
• RQ3 codimension이 1이 아닌 다각형에서 일반화된 즈에고 프로젝션을 구성할 수 있으며, 어떤 조건에서 존재하는가?
• RQ4 콤팩트 다각접 다각형에서 히젠베르그 미분형 연산자에 대한 $C^*$-대수의 구조는 어떠한가?
• RQ5 지방성 번들, 퀄터니언식 접촉, 또는 등각 구조와 같은 지오메트릭 구조들은 자연스럽게 어떤 방식으로 다각접 분포를 유도하는가?

주요 결과

• 분포 $H \subset TM$ 는 임의의 비영 1형식 $\theta$ 가 $H$ 에 대해 영이 되는 한에서 $d\theta|_H$ 가 비퇴화일 때에만 다각접이다.
• 히젠베르그 미분형 연산자 대수 내에서 비자명한 멱등원이 존재하는 것과 $H$ 가 다각접임은 동치이다. 이 멱등원은 무한차원의 핵과 범위를 갖는다.
• 다각접 다각형 위에서는 일반화된 즈에고 프로젝션이 존재하며, 해석적 함수해석학을 통한 히젠베르그 미분형 연산자로 구성할 수 있다.
• 콤팩트 다각접 다각형에서 $C^*$-대수 $\Psi_H^*$ 는 두 단계 분해를 갖는다: $0 \to I_H^* \to \Psi_H^* \to C(S^*H) \to 0$ 과 $0 \to \mathcal{K} \to I_H^* \to C(S^*N, \mathcal{K}) \to 0$, 이는 접촉 다각형에 대해 디닌의 결과를 일반화한다.
• 일반화된 즈에고 프로젝션은 $\theta \neq 0$ 일 때 $\sigma_0(m,\xi,\theta) = 2^n \exp(-\|\xi\|^2 / \|\theta\|)$ 로 유일하게 정의되며, 적합한 등각 구조가 존재할 경우 컴act perturbation에 대해 유일하다.
• 히젠베르그 군과 히젠베르그 유형의 비아벨 군은 임의의 codimension에서 다각접 구조의 예이며, 심플렉틱 곡률을 갖는 지방성 번들은 다각접 수평 분포와 동치이다.