[논문 리뷰] The tangent groupoid of a Heisenberg manifold

Raphaël Ponge|ArXiv.org|2004. 04. 07.

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

한 줄 요약

이 논문은 히젠베르크 다양체를 위한 콘네스의 탄성 군oid의 히젠베르크 버전을 구축한다. 이는 정교화된 히젠베르크 좌표와 히젠베르크 미분형사의 탄성 근사 결과를 사용한다. 주요 기여는 $M \times M$이 탄성 리 군다발 $GM$으로 매끄럽게 변형되는 $b$-미분 가능 군oid $\mathcal{G}_H M$의 정의이다. 이는 CR 및 접촉 다양체 위의 초타원형 연산자의 지수 이론을 위한 기하학적 프레임워크를 제공한다.

ABSTRACT

As a step toward proving an index theorem for hypoelliptic operators Heisenberg manifolds, including those on CR and contact manifolds, we construct an analogue for Heisenberg manifolds of Connes' tangent groupoid of a manifold $M$. As it is well known for a Heisenberg manifold $(M,H)$ the relevant notion of tangent is rather that of Lie group bundle of graded 2-step nilpotent Lie groups $GM$. We then construct the tangent groupoid of $(M,H)$ as a differentiable groupoid $\cG_{H} M$ encoding the smooth deformation of $M imes M$ to $GM$. In this construction a crucial use is made of a refined notion of privileged coordinates and of a tangent approximation result for Heisenberg diffeomorphisms.

연구 동기 및 목표

• 히젠베르크 다양체 위의 초타원형 연산자에 대한 지수 정리 증명을 위한 기하학적 프레임워크를 개발한다. 이는 CR 및 접촉 다양체를 포함한다.
• 콘네스의 탄성 군oid 구성 방식을 리만 기하학에서 히젠베르크 기하학으로 일반화한다. 이 경우 탄성 공간은 계층화된 노름 리 군다발로 대체된다.
• 매끄럽게 $M \times M$에서 탄성 리 군다발 $GM$으로 변형되는 $\mathcal{G}_H M$를 확립한다. 이는 히젠베르크 다양체의 무한소 기하학적 구조를 캡슐화한다.
• 비타원형 프시도미어레틱스 계산을 통한 아티야-식거 지수 정리의 초타원형 설정으로의 확장을 위한 기초를 마련한다.

제안 방법

• 타원형 군다발 $GM$을 $TM/H \oplus H$로 정의하고, 리 군 법칙은 레비 형식 $\mathcal{L}$을 사용하여 $ (X_0 + X') \cdot (Y_0 + Y') = X_0 + Y_0 + \frac{1}{2}\mathcal{L}(X', Y') + X' + Y' $로 주어진다.
• 히젠베르크 좌표—정교화된 특수 좌표로, 이는 히젠베르크 미분형사가 탄성 리 군 동형사로 근사됨을 보장한다.
• 탄성 군oid $\mathcal{G}_H M$를 $GM \sqcup (M \times M \times (0,\infty))$의 분리합집합으로 정의하고, 히젠베르크 좌표로부터 유도된 위상과 미분 구조를 부여한다.
• 히젠베르크 좌표에서의 점근 전개를 사용하여 곱 연산자의 매끄러움을 증명함으로써, $\mathcal{G}_H M$에 $b$-미분 가능 군oid 구조를 도입한다.
• 히젠베르크 미분형사가 군oid 동형사 $\Phi_H: \mathcal{G}_H M \to \mathcal{G}_H' M'$를 유도함으로써 함의성(함수적 성질)을 확립한다. 이는 군oid의 구조를 유지한다.
• 지역 차트 $\gamma_\kappa$를 사용하여 $\Phi_H$의 미분 가능성과 그 역의 미분 가능성 검증을 통해, 이가 $b$-미분 가능 군oid의 미분동형사임을 증명한다.

실험 결과

연구 질문

• RQ1 히젠베르크 다양체에 대해 콘네스의 구조를 일반화한 탄성 군oid를 구성할 수 있는가? 이 경우 탄성 다발은 계층화된 노름 리 군다발로 대체된다.
• RQ2 히젠베르크 미분형사는 어떤 방식으로 무한소 수준에서 리 군 동형사로 근사될 수 있으며, 이러한 근사가 가능하게 하는 기하학적 구조는 무엇인가?
• RQ3 분리합집합 $GM \sqcup (M \times M \times (0,\infty))$에 어떤 매끄러운 구조를 부여하면 이는 $b$-미분 가능 군oid가 될 수 있는가?
• RQ4 군oid $\mathcal{G}_H M$의 구성은 히젠베르크 기하학의 대칭성을 유지하는가? 즉, 히젠베르크 미분형사에 대해 함의성(함수적 성질)을 갖는가?
• RQ5 탄성 군oid $\mathcal{G}_H M$는 히젠베르크 계산에서 초타원형 연산자의 해석적 지수를 정의하는 데 사용될 수 있는가?

주요 결과

• 탄성 군oid $\mathcal{G}_H M$는 $M \times M$이 탄성 리 군다발 $GM$으로 매끄럽게 변형되는 $b$-미분 가능 군oid로 구성되며, 집합론적 분해 $\mathcal{G}_H M = GM \sqcup (M \times M \times (0,\infty))$를 가진다.
• 히젠베르크 좌표를 사용하여 $\mathcal{G}_H M$의 매끄러운 구조를 확립하였으며, 이는 일관된 전이 함수를 보장하고 곱 연산자가 매끄럽게 유지됨을 보장한다.
• 핵심 탄성 근사 결과를 증명하였다: 히젠베르크 좌표에서, 히젠베르크 미분형사는 대응되는 점에서의 탄성 군 간의 리 군 동형사로 잘 근사된다.
• 구성은 함의성(함수적 성질)을 갖는다: 모든 히젠베르크 미분형사 $\phi: (M,H) \to (M',H')$는 군oid 동형사 $\Phi_H: \mathcal{G}_H M \to \mathcal{G}_H' M'$를 유도하며, 이는 군oid의 구조를 유지한다.
• $\Phi_H$는 히젠베르크 차트에서의 국소 표현을 검증함으로써 매끄럽고 역이 존재함을 보여, 이는 $b$-미분 가능 군oid의 미분동형사임을 증명한다.
• 이 결과는 군oid $\mathcal{G}_H M$의 동형류가 $(M,H)$의 히젠베르크 미분형사류에만 의존하며, 이는 구성의 기하학적 자연스러움을 확인한다.