[논문 리뷰] The equivariant analytic index for proper groupoid actions

Alan L. T. Paterson|ArXiv.org|2007. 04. 20.

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

한 줄 요약

이 논문은 $G$-콤���트이고 $C^{inity,0}$인 $G$-공간 위에서 연속적 가족 군oids의 적절한 작용에 대해 불변인 $L^m_{\rho,\rho}$-연산자들의 타원형 임의의 가역적 가족에 대해 분석적 인덱스를 구성한다. 이는 콘네스와 모스코비치의 평균화 기법의 군oids 판으로 일반화된 카스파로프 모듈 구성법을 사용하여 고전적 아티야-식링 인덱스 정리를 군oids 설정으로 확장하며, 부드러운 군oids에 대한 콘네스의 일반적 추측을 증명하기 위한 기초 단계를 확립한다.

ABSTRACT

The paper constructs the analytic index for an elliptic pseudodifferential family of $L^{m}_{ρ,\de}$-operators invariant under the proper action of a continuous family groupoid on a $G$-compact, $C^{\infty,0}$ $G$-space.

연구 동기 및 목표

• 연속적 가족 군oids의 적절한 작용에 대한 아티야-식링 인덱스 정리를 $C^{\finity,0}$ $G$-공간 위에서 확장한다.
• 기본적인 $K$-이론에서의 감소된 $C^*$-대수 $C^*_{\text{red}}(G)$의 분석적 인덱스를 구성하는 것 — 부드러운 군oids에 대한 콘네스의 일반적 추측을 위한 핵심 단계이다.
• $L^m_{\rho,\rho}$-연산자와 이러한 연산자들의 연속적으로 변화하는 가족으로 고전적 분석적 인덱스 구성법을 일반화한다.
• 필립스의 등변 $K$-이론에 의존하지 않고 직접 카스파로프 모듈을 통해 인덱스를 구성함으로써 이를 피한다.
• 적절한 $C^{\finity,0}$ 왼쪽 하어 시스템이 존재함을 증명함으로써, 인덱스 구성에 필요한 기초적인 기술적 조건을 확보한다.

제안 방법

• 연속적 가족 군oids의 $C^{\finity,0}$ 작용에 대해 $L^m_{\rho,\rho}$-임의의 가역적 연산자들의 국소적으로 연속적으로 변화하는 가족 이론을 개발한다.
• 콘네스와 모스코비치의 동차 공간에 대한 방법을 모방한 군oids 평균화 기법을 사용하여 분석적 인덱스를 나타내는 카스파로프 모듈을 구성한다.
• 절단 함수를 사용한 평균화 기법을 적용하여 비등변 가족에서 $G$-불변이고 타원형인 연산자 가족을 생성한다.
• $C^{\finity,0}$ 왼쪽 하어 시스템이 적절한 $C^{\finity,0}$ $G$-공간 위에 항상 존재함을 이용하여 평균화 과정의 매끄러움을 보장한다.
• 카스파로프 모듈을 통해 $K_0(C^*_{\text{red}}(G))$ 내의 원소로 분석적 인덱스를 확립함으로써 고전적 인덱스 구성법을 일반화한다.
• 히술륨과 스타카다리스의 초타원적 계산법과 $KK$-이론에 관한 결과를 활용하여 인덱스 구성의 프레임워크를 지원한다.

실험 결과

연구 질문

• RQ1 연속적 가족 군oids의 적절한 작용 하에서 타원형 임의의 가역적 가족에 대해 분석적 인덱스는 어떻게 구성할 수 있는가?
• RQ2 고전적 분석적 인덱스 구성법은 군oids 설정에서 $L^m_{\rho,\rho}$-연산자와 연속적으로 변화하는 가족으로 일반화될 수 있는가?
• RQ3 필립스의 등변 $K$-이론에 의존하지 않고 직접 카스파로프 모듈 접근법을 통해 분석적 인덱스를 구성하는 것이 가능한가?
• RQ4 $C^{\finity,0}$ 왼쪽 하어 시스템은 인덱스 구성에 필요한 매끄러움과 불변성을 보장하는 데 어떤 역할을 하는가?
• RQ5 군oids 평균화 기법은 콘네스와 모스코비치의 방법을 연속적 가족 군oids 맥락으로 어떻게 일반화하는가?

주요 결과

• 논문은 $G$-콤팩트이고 $C^{\finity,0}$인 $G$-공간 위에서 $G$-불변인 타원형 $L^m_{\rho,\rho}$-연산자 가족의 분석적 인덱스를 $K_0(C^*_{\text{red}}(G))$의 원소로 구성한다.
• 연속적 가족 군oids와 적절한 $C^{\finity,0}$ $G$-공간은 항상 $C^{\finity,0}$ 왼쪽 하어 시스템을 갖는다. 이는 이전 결과들에 비해 핵심적인 기술적 향상이다.
• 분석적 인덱스는 필립스의 등변 $K$-이론을 피하기 위해 군oids 평균화 과정을 통해 구성된 카스파로프 모듈을 통해 실현된다.
• 이 구성법은 고전적 아티야-식링 인덱스 정리를 연속적 가족 군oids와 $L^m_{\rho,\rho}$-연산자 맥락으로 일반화한다.
• 이 방법은 콘네스의 일반적 추측을 부드러운 군oids에 대해 증명하기 위한 기초 단계를 제공하며, 인덱스 정리의 분석적 인덱스 측면을 확립한다.
• 이 프레임워크는 최종 단락에서 제안된 lin에 따라 토폴로지 인덱스와 코homological 인덱스 공식으로의 향후 확장도 지원한다.