[논문 리뷰] The coarse index class with support

Ulrich Bunke, Alexander Engel|arXiv (Cornell University)|2017. 06. 21.

Advanced Operator Algebra Research참고 문헌 8인용 수 8

한 줄 요약

이 논문은 $G$--equivariant Dirac 연산자에 대해 완비 Riemannian 다양체 위에서 proper isometric 군 작용을 갖는 경우, 등급 조건을 갖는 등급적 $K$-호모로지 이론을 사용하여 등급적 지수 클래스를 구성한다. 등급 상대 지수 정리를 확립하고, 스텝 스위칭 이sovomorphism과의 호환성을 증명함으로써, 직접 연산자 이론적 계산 없이 등급 호모토피 이론을 통해 보조 지수 불변량을 분석할 수 있게 한다.

ABSTRACT

We construct the coarse index class with support condition (as an element of coarse $K$-homology) of an equivariant Dirac operator on a complete Riemannian manifold endowed with a proper, isometric action of a group. We further show a coarse relative index theorem and discuss the compatibility of the index with the suspension isomorphism.

연구 동기 및 목표

• 완비 Riemannian 다양체 위의 $G$-equivariant Dirac 연산자에 대해 지지 조건이 있는 등급적 지수 클래스를 정의하고 구성하는 것.
• 지수 정보의 국소성을 관 invariant 부분집합의 관점에서 기술하는 등급 상대 지수 정리를 확립하는 것.
• 등급적 $K$-호모로지 이론 내에서 지수 클래스가 스텝 스위칭 이sovomorphism과 호환되는지 증명하는 것.
• 직접 Dirac 연산자의 구조를 분석하지 않고도 보조 등급 지수 불변량을 도출할 수 있는 프레임워크를 제공하는 것.
• Poe와 Zeidler의 지수 구성 방법을 $K\!\mathcal{X}^G$-이론을 활용하여 더 넓은 범주론적 및 호모토피 이론적 맥락으로 일반화하는 것.

제안 방법

• 군 작용을 고려한 대규모 기하학을 형식화하기 위해 $G$-bornological coarse spaces의 범주를 사용한다.
• 등급적 $K$-호모로지 이론 $K\!\mathcal{X}^G$를 $G$-bornological coarse spaces 위의 스펙트럼 값 함수로 구성한다.
• 지지 집합 $A$가 주어진 경우, $A$ 외부에서 균일하게 국소적으로 양성인 Dirac 연산자에 대해 $K\!\mathcal{X}^G_n(\{A\})$ 내의 지수 클래스 $\mathtt{Ind}(\not{D},\mathit{on}(A))$를 정의한다.
• 제어된 유니터리 통합과 $C^*$-대수의 정확한 수열을 활용하여 스텝 구축의 다양한 수준 간의 $K$-이론 군 간의 관계를 설정한다.
• 등급 이론의 장점 수열에서의 경계 사상들을 활용하여, 등급 $n$에서의 지수 클래스를 등급 $n+1$에서의 스텝된 클래스와 연결하며, 스텝 스위칭 이sovomorphism과의 호환성을 이용한다.
• 등급적 $K$-호모로지 이론의 보편 성질과 경계 사상의 자연성에 기반하여, 스텝 호환성 증명의 핵심 다이어그램 추적를 확립한다.

실험 결과

연구 질문

• RQ1 완비 $G$-다양체 위의 Dirac 연산자의 등급적 지수는 부분집합 $A$에 대한 지지 정보를 어떻게 보다 정교하게 기록할 수 있는가?
• RQ2 등급적 $K$-호모로지 이론 내에서 지지 조건이 있는 지수 클래스의 정확한 대수적 및 위상수학적 구조는 무엇인가?
• RQ3 지수 클래스는 스텝 스위칭 연산에서 어떻게 행동하며, 스텝 스위칭 이sovomorphism과 호환되는가?
• RQ4 등급적 $K\!\mathcal{X}^G$-이론 프레임워크 내에서 $G$-equivariant Dirac 연산자에 대해 상대 지수 정리를 확립할 수 있는가?
• RQ5 직접 Dirac 연산자의 분석 없이도, 등급 호모토피 이론적 자료로부터 보조 지수 불변량을 얼마나 정확히 회복할 수 있는가?

주요 결과

• 지지 집합 $A$가 주어진 경우, $A$ 외부에서 균일하게 국소적으로 양성인 $G$-equivariant Dirac 연산자에 대해 지수 클래스 $\mathtt{Ind}(\not{D},\mathit{on}(A))$는 $K\!\mathcal{X}^G_n(\{A\})$의 원소로 잘 정의되어 있다.
• 등급 상대 지수 정리가 성립한다: 지수 클래스는 $A$의 여집합에서 Dirac 연산자의 비가역성만 정확히 기록하며, Weizenboeck 항의 국소적 양성성을 반영한다.
• 지수 클래스는 스텝 스위칭 이sovomorphism과 호환되며, 등급 $n+1$에서의 스텝된 지수 클래스는 원래 지수 클래스의 스텝과 일치한다.
• 이 구성은 직접 Dirac 연산자의 스펙트럼 성질 분석 없이도 보조 등급 지수 불변량을 등급 호모토피 이론을 통해 도출할 수 있도록 한다.
• 스텝 호환성 증명은 제어된 $C^*$-대수 확장과 경계 사상에 의해 유도된 $K$-이론 군 간의 다이어그램 추적에 기반하며, $K$-이론 스펙트럼의 보편 성질에 의해 호환성이 보장된다.
• 이 프레임워크는 Piazza–Schick 및 Zeidler의 이전 결과를 회복하고 일반화하며, 그들의 지수 클래스들이 국소화 대수 위에서 더 정교한 구성의 평가 사상의 영상으로서 나타남을 보여준다.