[논문 리뷰] $L^2$-index formula for proper cocompact group actions

W Hang|arXiv (Cornell University)|2011. 06. 22.

Advanced Operator Algebra Research참고 문헌 16인용 수 3

한 줄 요약

이 논문은 단위형이면서 국소적으로 컴act한 군 $G$가 완비 리만다만에서 적절하고 코컴act하며 등장하는 등장 작용을 하도록 하는 $X$ 위의 $G$-불변 타원적 미분선형연산자에 대한 $L^2$-지표 공식을 수립한다. 열핵 방법과 $K$-이론을 사용하여, $L^2$-지표가 접다발 위에서 $\text{ch}(\text{기호})$, $\text{ch}(\text{곡률})$, $\text{ch}(\text{왜곡})$의 곱의 적분과 일치함을 증명하며, 이는 비콤팩트 설정에서 아티야와 콘네-모스코비치의 공식을 일반화한다.

ABSTRACT

We study the index of the $G$-invariant elliptic pseudo-differential operator acting on a complete Riemannian manifold, where a unimodular, locally compact group $G$ acts properly and cocompactly. An $L^2$-index formula was obtained using the heat kernel method.

연구 동기 및 목표

• 완비 리만다만 $X$ 위에서 $G$가 적절하고 코콤팩트하며 등장하는 방식으로 작용하는 비콤팩트 군 작용으로 $L^2$-지표 공식을 일반화하는 것.
• von Neumann 대수 이론과 $G$-트레이스를 이용하여 $G$-불변 타원적 연산자의 $L^2$-지표에 대한 위상수학적 공식을 수립하는 것.
• 이전 결과들을 통합하고 확장하는 것 — 특히 자유 코콤팩트 작용에 대한 아티야의 $L^2$-지표 공식과 단위형 리 군의 동차공간에 대한 콘네-모스코비치의 공식을 포함.
• 만일 $X/G$가 오비폴드일 경우 $L^2$-지표와 오비폴드 지표 사이의 차이를 명확히 하는 것 — 특히 $L^2$-지표는 일반적으로 유리수이고 오비폴드 지표는 정수 값을 가지며, 이 둘이 일치하는 경우는 $X/G$가 매끄러운 다양체일 때에만 발생한다.

제안 방법

• 열핵 방법과 $K$-이론을 사용하여 $L^2$-지표를 $\text{Ker}(P_0)$와 $\text{Ker}(P_0^*)$ 위의 프로젝션에 대한 von Neumann 트레이스의 차이로 정의한다.
• 카스파로프의 $K$-이론 프레임워크를 통해 $L^2$-지표 계산을 디랙형 연산자로 감소시키며, $K_0(C^*(G))$ 내의 고차원 지표를 유지한다.
• 열핵 방법을 적용하여 디랙형 연산자의 $L^2$-지표를 계산하며, 군 작용에 의해 불변인 곡률과 특성류를 활용한다.
• 군 작용에 대한 $G$-불변 형식으로 $TX$ 위의 적분을 $G \times V$ 위의 $G$-불변 형식으로 올리며, $rak{g} = rak{h} imes rak{m}$의 $H$-불변 분해와 동차공간 $G/H$ 위의 곡률 형식을 사용한다.
• 크로니크 특성과 $\text{ch}(\text{기호})$를 사용하여 지표를 접다발 위의 적분으로 표현하며, $\text{ch}(\text{곡률})$는 표현환 $R(H)$와 톰 이sov모르피즘을 통해 계산한다.
• 위상수학적 불변성에 기반하여 일반 공식과 콘네-모스코비치 공식 간의 동치성을 증명한다. 이는 $\text{ch}(\text{기호})_V = \text{ch}(a)$와 $\text{ch}(\text{곡률})_V = \text{ch}(\text{곡률 형식 on } V)$를 보여주며, $\text{ch}$와 $\text{ch}(\text{곡률})$의 위상수학적 불변성에 기반한다.

실험 결과

연구 질문

• RQ1 군 $G$가 완비 리만다만 $X$ 위에서 적절하고 코콤팩트하며 등장하는 방식으로 작용할 때, $G$-불변 타원적 연산자에 대한 $L^2$-지표를 위상수학적으로 어떻게 계산할 수 있는가?
• RQ2 이러한 군 작용 하에서 $L^2$-지표와 $K_0(C^*(G))$ 내의 고차원 지표 사이의 정확한 관계는 무엇인가?
• RQ3 비콤팩트 설정에서 $L^2$-지표 공식이 아티야와 콘네-모스코비치의 결과를 어떻게 일반화하는가?
• RQ4 만일 $X/G$가 오비폴드일 경우 $L^2$-지표와 오비폴드 지표는 어떻게 다를 수 있으며, 언제 일치하는가?
• RQ5 타입 II von Neumann 대수와 $G$-불변 기하학의 맥락에서 열핵 방법을 어떻게 조정하여 $L^2$-지표를 계산할 수 있는가?

주요 결과

• 군 $G$-불변 타원적 연산자 $P$의 $L^2$-지표는 위상수학적 공식 $\text{ind}P = \frac{1}{\text{vol}(G)} \times \text{vol}(G) \times \text{int}_{TX} c \text{ch}(\text{기호}) \text{ch}(\text{곡률}) \text{ch}(\text{왜곡})$로 주어지며, 여기서 $c$는 $\text{int}_G c(g^{-1}x) dg = 1$를 만족하는 $G$-불변 컷오프 함수이다.
• 다양체 $X$ 위의 디랙형 연산자 $D$의 $L^2$-지표는 $\text{ind}D = \text{int}_{TM} c \text{ch}(\text{기호}) \text{ch}(\text{곡률}) \text{ch}(\text{왜곡})$로 계산되며, $G$-불변성에 의해 적분이 $V$로 감소된다.
• 공식 $\text{ind}D = \text{int}_V \text{ch}(a) \text{ch}(\text{곡률})$는 $a$가 $R(H) \to K_H(V)$의 톰 이sov모르피즘에 의한 $V(\text{기호})|_{V^+}$의 역상일 때 콘네-모스코비치 공식과 일치한다. 이 경우 $\text{ch}$-류는 접속의 선택과 무관하다.
• $\text{ch}(\text{기호})_V$와 $\text{ch}(\text{곡률})_V$는 모두 $H$-불변이며, 표현 $r:H \to \text{GL}(E)$의 크로니크 특성과 같다. 이는 지표가 오직 $H$-표현과 곡률에 의해서만 결정됨을 보여준다.
• $\text{ch}(\text{곡률})$류는 위상수학적으로 불변이다: $\text{ch}(\text{곡률})_V = \text{ch}(\text{곡률 형식 on } V)$, 접속의 선택과 무관하게 성립한다. 이는 $\text{ch}$와 $\text{ch}(\text{곡률})$의 위상수학적 성질에 기반한다.
• $L^2$-지표는 일반적으로 유리수이지만, 오비폴드 지표는 정수 값을 가지며, 이 둘이 일치하는 것은 $X/G$가 매끄러운 다양체일 때에만 발생한다. 이는 기하학적 및 해석적 지표 이론 사이의 핵심적 차이를 드러낸다.