[논문 리뷰] $G$-Homotopy Invariance of the Analytic Signature of Proper Co-compact $G$-manifolds and Equivariant Novikov Conjecture

Yoshiyasu Fukumoto|arXiv (Cornell University)|2017. 09. 18.

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

한 줄 요약

이 논문은 비자명한 작용을 하지 않거나 이산적이지 않은 군에 대해 일반화된 고전적 노비코프 추측의 함의를 다루며, 적당한 고립형 G-다양체 위에서의 서명 연산자의 해석적 G-지수의 G-호모토피 불변성을 확립한다. 이는 G-호모토피 동치인 다각체가 K₀(C*(G))에서 동일한 G-지수를 가짐을 증명한다. 결과적으로, 이는 비자명한 작용을 하지 않거나 이산적이지 않은 군에 대해 고전적 노비코프 추측을 일반화하고, 작용의 크기가 작은 곡률을 가진 힐버트 C*-대수 다발 위에서의 지수 이론을 통해 강력한 노비코프 추측을 등변 설정으로 확장한다.

ABSTRACT

The main result of this paper is the $G$-homotopy invariance of the $G$-index of signature operator of proper co-compact $G$-manifolds. If proper co-compact $G$ manifolds $X$ and $Y$ are $G$-homotopy equivalent, then we prove that the images of their signature operators by the $G$-index map are the same in the $K$-theory of the $C^{*}$-algebra of the group $G$. Neither discreteness of the locally compact group $G$ nor freeness of the action of $G$ on $X$ are required, so this is a generalization of the classical case of closed manifolds. Using this result we can deduce the equivariant version of Novikov conjecture for proper co-compact $G$-manifolds from the Strong Novikov conjecture for $G$.

연구 동기 및 목표

• 비이산성이나 자유 작용이 필요 없이, 적당한 고립형 G-다양체에 대해 서명 연산자의 해석적 G-지수의 G-호모토피 불변성을 확립하는 것.
• 국소적으로 컴act한 군에 대해, 고차 서명과 노비코프 추측에 관한 고전적 결과를 등변 설정으로 일반화하는 것.
• 군 C*-대수의 K-이론에서 G-지수 맵을 사용하여 강력한 노비코프 추측을 등변 고차 서명으로 확장하는 것.
• KK-이론에서의 변형 및 직접 극한 기법을 사용하여, 작용의 크기가 작은 곡률을 가진 거의 평탄한 다발에 의한 변형 하에서 G-지수의 불변성을 증명하는 것.
• [BCH]에서 증명 없이 기술된 결과에 대한 완전한 증명을 제공하여 등변 지수 이론 분야의 문헌 격차를 메우는 것.

제안 방법

• X와 Y 위의 서명 연산자 사이의 G-등변 호모토피 동치를 구성하여, G-지수 맵을 통해 그들의 G-지수를 연결하는 것.
• 이차 형식과 그레이드 모듈에 대한 변형 기법을 적용하여, 작은 곡률 변형 하에서 서명 연산자의 행동을 제어하는 것.
• KK-이론에서의 G-지수 맵을 사용하여 K₀(C*(G))에서의 해석적 G-지수를 정의함으로써, 일반적인 국소적으로 컴팩트한 군을 허용하는 것.
• 무한 곱 구조와 C*-대수의 직접 극한을 사용하여, 작용의 곡률이 작은 다발의 지수를 분석하고, 텐서곱과 직합 사이의 동형을 활용하는 것.
• 완비 텐서곱과 C*-대수의 직합 사이의 등장적 등장사상(이so)를 확립하여, 극한 과정에서 K-이론 클래스를 유지하는 것.
• 귀납적 극한의 보편 성질과 힐버트 C*-모듈의 구조를 활용하여, 비영 지수 클래스가 유한한 수의 성분에만 지지되어야 한다고 보여주며, 만약 유한하지 않은 수의 성분에서 비영이면 모순이 발생함을 밝힘.

실험 결과

연구 질문

• RQ1 G가 이산적이거나 자유 작용이 아닐 경우, 적당한 고립형 G-다양체에서 서명 연산자의 해석적 G-지수가 G-호모토피 동치에 대해 불변성을 유지하는가?
• RQ2 G-지수의 G-호모토피 불변성에 기반하여, 강력한 노비코프 추측으로부터 등변 노비코프 추측을 유도할 수 있는가?
• RQ3 작용의 곡률이 임의로 작은 거의 평탄한 힐버트 C*-모듈 다발에 의한 변형 하에서 G-지수는 어떻게 행동하는가?
• RQ4 커터 오퍼레이터와 곡률 노름이 비콤팩트 다각체에서 K-이론의 G-지수를 제어하는 데 어떤 역할을 하는가?
• RQ5 다양체들의 분리합집합 위의 곱 다발에서 G-지수는 성분으로 분해될 수 있으며, 이는 지수 클래스에 대해 어떤 함의를 갖는가?

주요 결과

• G-지수의 서명 연산자는 비이산성이나 자유 작용이 필요 없이, 적당한 고립형 G-다양체에서 G-호모토피 동치에 대해 불변하다.
• G-호모토피 동치인 다각체 X와 Y는 동일한 클래스를 K₀(C*(G))에 보내며, 이는 정리 A: ind_G(∂_X) = ind_G(∂_Y)를 증명한다.
• 이 결과는 G에 대해 강력한 노비코프 추측이 참이라면, 적당한 고립형 G-다양체에 대해 등변 노비코프 추측이 성립함을 시사한다.
• 곡률 노름이 ε 이하인 거의 평탄한 다발에 대해, 변형된 서명 연산자의 G-지수는 잘 정의되고 작은 변형에 대해 안정적이다.
• 분리합집합 X ⊔ (-Y) 위의 곱 다발에서 G-지수는 각 성분의 G-지수의 직합과 등장적이다. 비영 지수 클래스는 반드시 유한한 수의 성분에만 지지되어야 한다.
• 증명은 곡률이 작은 다발의 G-지수 클래스가 유한한 수의 성분 이외에 비영일 수 없음을 보여주며, 그러한 가족이 존재한다면 모순이 발생함을 밝힌다.