[논문 리뷰] An index theorem for higher orbital integrals

Peter Hochs, Yanli Song외 1명|arXiv (Cornell University)|2020. 05. 13.

Advanced Operator Algebra Research참고 문헌 31인용 수 6

한 줄 요약

이 논문은 선형 재구성 리 군의 선형 재구성 리 군의 스웨츠 대수 위에 있는 고차 순환 코호몰로지와 함께, 적절하고 코컴팩트한 $G$-다양체 위의 타원형 연산자의 등변 지수의 완전한 위상수학적 공식을 수립한다. 파라보릭 유도와 궤도 적분 기법을 사용하여, 이러한 쌍대성은 몫 $X/N$ 위의 위상수학적 불변량에 의해 완전히 결정됨을 증명하며, 콘네-모스코비치의 $L^2$-지수 정리의 일반화이자 고차 궤도 적분을 통한 $K$-이론 클래스의 완전한 기술을 제공한다.

ABSTRACT

Recently, two of the authors of this paper constructed cyclic cocycles on Harish-Chandra's Schwartz algebra of linear reductive Lie groups that detect all information in the $K$-theory of the corresponding group $C^*$-algebra. The main result in this paper is an index formula for the pairings of these cocycles with equivariant indices of elliptic operators for proper, cocompact actions. This index formula completely determines such equivariant indices via topological expressions.

연구 동기 및 목표

• 선형 재구성 리 군에 대해 적절하고 코컴팩트한 $G$-다양체 위의 타원형 연산자의 등변 지수에 대한 완전한 위상수학적 기술을 제공하는 것.
• 콘네-모스코비치의 $L^2$-지수 정리를 파라보릭 부분군과 관련된 고차 순환 코호몰로지로 확장하는 것.
• 등변 지수와 고차 순환 코호몰로지의 쌍대성이 $K_*(C^*_r(G))$의 전부를 탐지함을 증명하는 것.
• 편미분 $ω$-스핀$^c$-디랙 연산자에 대한 일반적인 지수 공식을 수립하고, 일반적인 타원형 연산자로 확장하는 것.
• 표현 이론, 기하학, 위상수학 분야에서 공식의 응용을 보여주며, 일반화된 $ω$-클래스의 비영성으로 인한 양의 스칼라 곡률 메트릭의 존재를 방해하는 장벽을 제공하는 것.

제안 방법

• 하이퍼 순환 코호몰로지의 구조는 하리쉬-찬드라의 스웨츠 대수 위에서 파라보릭 유도를 통해 $P=MAN$ 부분군으로부터 구성된다.
• 함수 해석학과 $χ(E)$ 내의 연산자들을 적용하여, $X$ 위의 지수를 몫 $X/N$ 위의 지수와 연결한다.
• 증명은 $M$-등변 미분형식과 아티야-세갈-사이먼 고정점 공식을 사용한 $X/N$ 위의 지수 쌍대성의 재구성에 기반한다.
• 핵심 요소로는 $Φ^P_x$-코호몰로지가 있으며, 이는 궤도 적분의 고차 일반화이자, 추적 유사 함수를 통한 등변 지수와의 쌍대성에 사용된다.
• 콘네-모스코비치의 이산군에 대한 기법을 일반화하고, 호크스-왕(2017)의 궤도 적분 결과를 확장하는 접근법을 사용한다.
• 증명 과정은 슬라이스 분해와 $M$-작용 불변성에 의해 $X$ 위의 지수 쌍대성을 $X/N$ 위의 위상수학적 표현으로 감소시킨다.

실험 결과

연구 질문

• RQ1 적절하고 코컴팩트한 $G$-다양체 위의 $G$-불변 타원형 연산자의 등변 지수는 위상수학적 불변량으로 완전히 기술될 수 있는가?
• RQ2 파라보릭 부분군과 관련된 고차 순환 코호몰로지가 선형 재구성 리 군의 $K_*(C^*_r(G))$의 전부를 탐지하는가?
• RQ3 등변 지수와 이러한 코호몰로지의 쌍대성은 아티야-세갈-사이먼 또는 콘네-모스코비치의 $L^2$-지수 정리와 어떻게 관련되는가?
• RQ4 지수 공식은 $ω$-스핀$^c$-디랙 연산자에서 일반적인 타원형 연산자로 확장될 수 있는가?
• RQ5 공식은 표현 이론, 특히 이산 급수와 컴팩트 카르탕 부분군에 대해 어떤 함의를 갖는가?

주요 결과

• 정리 2.1은 편미분 $ω$-스핀$^c$-디랙 연산자에 대해 고차 순환 코호몰로지 $Φ^P_x$와의 쌍대성에 대한 완전한 위상수학적 지수 공식을 수립한다.
• 쌍대성 $< \Phi^P_x, \mathrm{ind}_G(D) \u003e$ 는 몫 $X/N$ 위의 $M$-등변 지수 $\mathrm{ind}_M(D_Y)(x)$ 와 일치하며, 위상수학적 표현을 제공한다.
• 복소수 단순 군의 경우 공식은 아티야-세갈-사이먼 고정점 공식으로 축소되며, 기약 표현의 특성함수를 복원한다.
• $G=\mathrm{SL}(2,\mathbb{C})$ 의 경우, 쌍대성은 특성함수 $\frac{\sin((n+1)\alpha)}{\sin(\alpha)}$ 를 제공하며, 비등급의 경우 비자명성을 확인한다.
• 결과는 이산 급수 표현이 존재하기 위해 컴팩트 카르탕 부분군이 필수적임을 시사하며, 하리쉬-찬드라의 고전적 결과의 절반을 복원한다.
• 공식은 일반화된 $ω$-클래스를 통한 $G$-불변 양의 스칼라 곡률 메트릭의 존재에 대한 비영성 장벽을 제공한다.