[논문 리뷰] $G$-invariant Szegö kernel asymptotics and CR reduction

Chin-Yu Hsiao, Rung-Tzung Huang|arXiv (Cornell University)|2017. 02. 16.

Geometry and complex manifolds참고 문헌 18인용 수 4

한 줄 요약

이 논문은 $G$-불변 샤페르 커널이 컴acts한 CR 다양체 위에서 전이성 $S^1$ 작용을 가질 때, $\mu^{-1}(0)$의 영수준 집합 외부에서는 매끄럽고, $m \to \infty$일 때 $m$-번째 푸리에 성분에 대한 점점 가까운 전개를 유도한다. 주요 결과는 큰 $m$에 대해 양자화가 축소와 교환된다는 것을 보여주며, 이는 $X$ 위의 $G$-불변 조화 형식의 차원이 축소된 공간 $Y_G$의 것과 같다는 것을 의미한다. 이는 기하적 양자화 추측의 등변 버전을 확인한다.

ABSTRACT

Let $(X, T^{1,0}X)$ be a compact connected orientable CR manifold of dimension $2n+1$ with non-degenerate Levi curvature. Assume that $X$ admits a connected compact Lie group action $G$. Under certain natural assumptions about the group action $G$, we show that the $G$-invariant Szegö kernel for $(0,q)$ forms is a complex Fourier integral operator, smoothing away $μ^{-1}(0)$ and there is a precise description of the singularity near $μ^{-1}(0)$, where $μ$ denotes the CR moment map. We apply our result to the case when $X$ admits a transversal CR $S^1$ action and deduce an asymptotic expansion for the $m$-th Fourier component of the $G$-invariant Szegö kernel for $(0,q)$ forms as $m o+\infty$. As an application, we show that if $m$ large enough, quantization commutes with reduction.

연구 동기 및 목표

• 연결된 컴팩트 리 군 작용을 가진 컴팩트 CR 다양체 위에서 $G$-불변 샤페르 커널의 미세구조를 규명하는 것.
• CR 모멘트 맵 $\mu$의 영수준 집합 $\mu^{-1}(0)$ 근처에서 $G$-불변 샤페르 커널의 특이성을 분석하는 것.
• 전이성 $S^1$ 작용 하에서 $m \to \infty$일 때 $G$-불변 샤페르 커널의 $m$-번째 푸리에 성분에 대한 점점 가까운 전개를 도출하는 것.
• 충분히 큰 $m$에 대해 $X$ 위의 $G$-불변 조화 $(0,q)$-형식의 차원이 축소된 공간 $Y_G$ 위의 조화 형식의 차원과 일치함을 증명하여, 양자화가 축소와 교환됨을 확인하는 것.

제안 방법

• CR 모멘트 맵 $\mu$를 사용하여 축소된 공간 $Y_G = \mu^{-1}(0)/G$를 정의하고, 이는 양자화 사상의 대상이 된다.
• 복소 푸리에 적분 연산자 이론을 사용하여 $\mu^{-1}(0)$ 근처에서 제어된 특이성을 가진 분포 핵으로서 $G$-불변 샤페르 커널을 묘사하는 것.
• 미세구조 분석과 정적 위상 방법을 적용하여 커널의 $m$-번째 푸리에 성분의 점점 가까운 전개를 유도하는 것.
• 모수 전개를 $m$에 대해 사용하여 $G$-불변 샤페르 커널의 정준자(Parametrix)를 구성하고, 주된 기호가 $\mu^{-1}(0)$ 근처에 집중되도록 하는 것.
• 스펙트럼 추정을 사용하여 큰 $m$에 대해 $X$ 위의 $G$-불변 조화 형식과 $Y_G$ 위의 조화 형식 사이의 유니터리 동치를 확립하는 것.
• $\|R_m\| \to 0$임을 보여 $\sigma_m$의 단사성과 결국 동형사상임을 증명하여, $\dim H^q_{b,m}(X)^G = \dim H^{q-r}_{b,m}(Y_G)$임을 유도하는 것.

실험 결과

연구 질문

• RQ1 CR 모멘트 맵의 영수준 집합 $\mu^{-1}(0)$ 근처에서 $G$-불변 샤페르 커널의 미세구조적 행동은 어떻게 되는가?
• RQ2 전이성 $S^1$ 작용 하에서 $m \to \infty$일 때 $G$-불변 샤페르 커널의 $m$-번째 푸리에 성분의 점점 가까운 구조는 무엇인가?
• RQ3 큰 $m$에 대해 $X$ 위의 $G$-불변 조화 $(0,q)$-형식의 차원이 축소된 공간 $Y_G$의 것과 일치하는가?
• RQ4 $G$-불변 샤페르 커널은 정확한 특이성 구조를 가진 복소 푸리에 적분 연산자로 묘사될 수 있는가?
• RQ5 고주파수 근처에서 $G$-불변 샤페르 커널이 축소된 공간 $Y_G$에 얼마나 집중되는가?

주요 결과

• $(0,q)$-형식에 대한 $G$-불변 샤페르 커널은 $\mu^{-1}(0)$를 제외한 곳에서는 매끄럽고, $\mu^{-1}(0)$ 근처에서 정확한 특이성 구조를 가진 복소 푸리에 적분 연산자이다.
• 점점 가까운 전개는 $m \to \infty$일 때 $m$-번째 푸리에 성분에 대해 존재하며, 주요 항은 $S^{n - d/2}$에 속하는 기호와 위상 함수 $\Psi$에 의해 결정된다.
• $\|R_m\| \to 0$임을 보여 $I + R_m$이 큰 $m$에 대해 단사적임을 유도한다.
• $\sigma_m: H^q_{b,m}(X)^G \to H^{q-r}_{b,m}(Y_G)$는 충분히 큰 $m$에 대해 동형사상이며, 따라서 $\dim H^q_{b,m}(X)^G = \dim H^{q-r}_{b,m}(Y_G)$임을 증명한다.
• 큰 $m$에 대해 양자화가 축소와 교환됨이 성립하며, 이는 $X$ 위의 $G$-불변 조화 공간과 축소된 공간 $Y_G$의 차원이 같다는 것을 의미한다.
• $\hat{g}_0(x,y)$의 주기호는 모든 $x_0 \in \mu^{-1}(0) \cap U$에 대해 $|\hat{g}_0(x,y)| \leq C |(x,y) - (x_0,x_0)|^{2^{N+1}}$를 만족하며, 이는 스펙트럼 추정에서 나머지의 감쇠를 보장한다.