[논문 리뷰] Equivariant Chern characters with generalized coefficients

Paul-Émile Paradan, Michèle Vergne|ArXiv.org|2008. 01. 18.

Advanced Operator Algebra Research참고 문헌 19인용 수 7

한 줄 요약

이 논문은 컴act 리 군 작용을 가진 컴팩트 다중류상의 횡방향 타원형 연산자에 대해 $C^{-\infty}$ 계수를 갖는 일반화된 등변 체르니호프 특성(Chern character)을 제안한다. $K$-불변 1형식 $\lambda$를 이용한 체르니호프 특성의 국소화를 통해, 컴팩트한 지지를 가지며 등변적으로 닫힌 형식을 구성하며, 그 적분은 $K$ 위의 일반화된 함수로서 등변 지수를 제공한다. 이는 아티야-싸이머스 지수 정리가 비타원적 설정으로까지 확장됨을 의미한다.

ABSTRACT

These notes form the next episode in a series of articles dedicated to a detailed proof of a cohomological index formula for transversally elliptic pseudo-differential operators and applications. The first two chapters are already available as math.DG/0702575 and arXiv:0711.3898. In this episode, we construct the relative equivariant Chern character of a morphism of vector bundles, localized by a one form, and we prove a multiplicativity property of this generalized Chern character

연구 동기 및 목표

• 컴팩트 다중류상의 컴팩트 리 군 작용을 가진 횡방향 타원형 미분연산자에 대해 아티야-싸이머스 지수 정리를 비타원적 설정으로 확장하기.
• 일반화된 함수 계수를 갖는 컴팩트 지지, 등변 체르니호프 특성을 $K$-불변 1형식 $\lambda$ 가 존재하는 조건에서 구성하기.
• 텐서곱과 군 작용 하에서 일반화된 체르니호프 특성의 승법성과 함의성(functoriality)을 증명하기.
• 리우빌 1형식과 관련된 모멘트 맵의 임계집합을 통한 비아벨 군 국소화 공식 수립하기.
• $K$ 위의 일반화된 함수를 계수로 하는 $C^{-\infty}$ 계수를 갖는 등변적으로 닫힌 형식의 적분으로 표현하는 코homological 프레임워크 제공하기.

제안 방법

• 모멘트 맵 $f_\lambda: N \to \mathfrak{k}^*$와 관련된 $K$-불변 1형식 $\lambda$에 대해 임계집합 $C_\lambda = f_\lambda^{-1}(0)$ 정의하기.
• 지지가 $C_\lambda \cap F$ 위에 있는, $C^{-\infty}$ 계수를 갖는 상대 등변 체르니호프 특성 $\operatorname{Ch}_{\rm rel}(\sigma, \lambda)$ 구성하기. 여기서 $F$ 는 사상 $\sigma$ 의 특이 지지이다.
• 등변 cohomology의 지지가 있는 역극한과 상대 cohomology를 이용해 $\mathcal{C}^{-\infty}$ 설정에서 일반화된 특성 정의하기.
• 1형식 $\lambda$에 의한 체르니호프 특성의 변형 도입하여, $\mathbf{T}^*M$ 상에서의 적분을 통한 국소화 지수 공식 유도하기.
• 볼타라 전개와 진동 적분에 대한 추정을 이용해, 텐서곱과 군 작용 하에서 일반화된 체르니호프 특성의 승법성을 증명하기.
• 컴팩트 지지를 갖는 $Q(X)$, $\operatorname{e}^{i\langle\xi,X\rangle}$, $\operatorname{e}^{-t^2 R(y)}$ 를 포함하는 진동 적분에 대한 $L^2$ 추정을 수행하며, $t$ 및 $y$ 에 대해 일관된 유계성 확보하기.

실험 결과

연구 질문

• RQ1 체르니호프 특성은 어떻게 횡방향 타원형 연산자에 대해 일반화될 수 있으며, 일반화된 함수 계수를 갖는가?
• RQ2 $K$-불변 1형식 $\lambda$ 는 체르니호프 특성을 컴팩트 지지 등변 형식으로 국소화하는 데 어떤 역할을 하는가?
• RQ3 임계집합 $C_\lambda = f_\lambda^{-1}(0)$ 는 일반화된 체르니호프 특성의 지지와 어떻게 관련되어 있는가?
• RQ4 일반화된 계수를 갖는 $C^{-\infty}$ 설정에서 텐서곱과 군 작용 하에서 체르니호프 특성의 승법성이 유지되는가?
• RQ5 기호가 타원적이지 않을 경우 지수 적분의 수렴을 보장하기 위해 필요한 추정은 무엇인가?

주요 결과

• 일반화된 등변 체르니호프 특성 $\operatorname{Ch}_{\rm c}(\sigma, \omega)(X)$ 는 $\mathbf{T}^*M$ 상에서 $C^{-\infty}$ 계수를 갖는 컴팩트 지지, 닫힌, 등변 미분형식이며, $C_\omega \cap F$ 근처에 지지된다.
• 횡방향 타원형 연산자의 지수는 $\operatorname{index}(P)(\exp X) = \int_{\mathbf{T}^*M} (2i\pi)^{-\dim M} \operatorname{Ch}_{\rm c}(\sigma, \omega)(X) \cdot \operatorname{Todd}(\mathbf{T}^*M)(X)$ 로 주어지며, 이는 $K$ 위의 일반화된 함수를 제공한다.
• 구성은 승법성 성질을 만족한다: $\operatorname{Ch}_{\rm c}(\sigma_1 \otimes \sigma_2, \omega) = \operatorname{Ch}_{\rm c}(\sigma_1, \omega) \cdot \operatorname{Ch}_{\rm c}(\sigma_2, \omega)$ 로 고전적 체르니호프 특성 성질을 일반화한다.
• 정리 5.9의 추정에 따르면, $\|D(\partial_y) \cdot J_Q(\xi, y_1, y_2, t)\| \leq \text{cst} \cdot \|Q\|_{\mathcal{K}^{\prime\prime}, 2p} \cdot (1+\|y_2\|)^\mu (1+\|\xi\|^2)^{-p} (1+t)^{q+2r_W} \operatorname{e}^{-t^2 \operatorname{m}(R(y))}$ 이며, 여기서 $\mu$ 는 $p$ 에 영향을 받지 않는다.
• 이 방법은 볼타라 전개와 진동 적분에 대한 균일한 유계성에 기반하여, 매개변수 $X \in \mathfrak{k}$ 에서의 수렴성과 미분 가능성 보장한다.
• 이 프레임워크는 $C^{-\infty}$ 계수와 모멘트 맵 국소화를 통해 베르린-버그너 국소화 공식을 비아벨 및 비타원적 설정으로 일반화한다.