[논문 리뷰] Genuine equivariant factorization homology

Asaf Horev|arXiv (Cornell University)|2019. 10. 16.

Homotopy and Cohomology in Algebraic Topology참고 문헌 22인용 수 7

한 줄 요약

이 논문은 유한군 $G$에 대해 진정된 $G$-동변성인 요약 호몰로지의 확장을 구축하며, $G$-작용을 가진 다양체에 진정된 $G$-스펙트럼을 부여한다. 이 이론은 Hill-Hopkins-Ravenel 노름과 $\otimes$-excision과 호환되며, $G$-카테고리와 $G$-대칭 모노이드적 구조를 통해 공리적 특성화를 제공하며, 실수 위상적 Hochschild 호몰로지와 $C_n$-링 스펙트럼에의 응용을 포함한다.

ABSTRACT

We construct a genuine $G$-equivariant extension of factorization homology for $G$ a finite group, assigning a genuine $G$-spectrum to a manifold with $G$-action. We show that $G$-factorization homology is compatible with Hill-Hopkins-Ravenel norms and satisfies equivariant $\otimes$-excision. Following Ayala-Francis we prove an axiomatic characterization of genuine $G$-factorization homology. Applications include a description of real topological Hochschild homology and relative topological Hochschild homology of $C_n$-rings using genuine $G$-factorization homology.

연구 동기 및 목표

• 표준적인 요약 호몰로지 이론가 유한군 $G$에 대해 진정된 $G$-동변성 이론으로 확장하여, $G$-다양체에 진정된 $G$-스펙트럼을 부여하는 것.
• 표준적인 요약 호몰로지가 단지 일관된 호모토피 작용을 제공할 뿐이므로, 진정된 $G$-스펙트럼의 구조를 갖춘 이론을 구축하여 이 제한을 해결하는 것.
• 이론이 Hill-Hopkins-Ravenel 노름과 $\otimes$-excision과 호환되도록 보장하여, 동변성 스펙트럼 이론과의 일관성을 확보하는 것.
• 진정된 $G$-요약 호몰로지의 공리적 특성화를 $G$-카테고리와 $G$-대칭 모노이드적 구조를 사용하여 제공하는 것.
• 이론을 사용하여 실수 위상적 Hochschild 호몰로지와 $C_n$-링 스펙트럼의 상대 위상적 Hochschild 호몰로지를 $G$-요약 호몰로지로 기술하는 것.

제안 방법

• G-다양체와 G-디스크의 G-카테고리를 구축하며, G-대칭 모노이드적 구조와 매개화된 $Π$-카테고리를 사용한다.
• G-디스크의 G-카테고리에서 진정된 G-스펙트럼으로의 함자를 정의함으로써 G-디스크 대수를 정의하며, 대칭 모노이드적 봉인 구조를 사용한다.
• f-프레임드 G-다양체의 G-카테고리에 沿해 왼쪽 칸 확장을 취하여 요약 호몰로지를 G-함수로 확장한다.
• G-코카르티esian 피브레이션을 G-카테고리 위에서 사용하여 G-동변성 $ϴ$-excision을 구현한다.
• Ayala-Francis 공리적 프레임워크를 적용하여, G-동변성 설정에서의 보편 성질을 통해 이론을 특성화한다.
• Hill-Hopkins-Ravenel 노름 구조를 사용하여 G-요약 호몰로지를 유한 G-집합 위의 샘스 곱으로 연결한다.

실험 결과

연구 질문

• RQ1 요약 호몰로지를 어떻게 확장하여, $G$-다양체에 진정된 $G$-스펙트럼을 부여할 수 있을까? (단지 난잡한 $G$-작용이 아닌).
• RQ2 진정된 $G$-동변성 요약 호몰로지 이론에 적합한 공리는 무엇이며, 어떻게 보편적으로 특성화할 수 있을까?
• RQ3 이론은 $G$-동변성 설정에서 Hill-Hopkins-Ravenel 노름과 $\otimes$-excision과 어떻게 상호작용하는가?
• RQ4 실수 위상적 Hochschild 호몰로지는 진정된 $G$-요약 호몰로지의 특수한 경우로 복원될 수 있는가?
• RQ5 G-디스크와 G-프레임드 다양체는 어떻게 G-동변성 요약 호몰로지 함수를 구성하는 데 기여하는가?

주요 결과

• 진정된 $G$-요약 호몰로지는 임의의 $G$-다양체에 대해 진정된 $G$-스펙트럼을 부여하며, 이는 분리 합집합에 대해도 구조가 유지된다.
• 이론은 $G$-동변성 $\otimes$-excision을 만족한다. 즉, 열린 분할 $M = M' \cup M''$에 대해, $M$의 요약 호몰로지는 $M'$과 $M''$의 호몰로지의 스매시 곱과 동치이다.
• 이론은 Hill-Hopkins-Ravenel 노름과 호환된다: $G$-다양체의 요약 호몰로지는 부분군 위에서의 요약 호몰로지의 노름과 동형이다.
• 이론은 $G$-카테고리와 $G$-대칭 모노이드 함수를 통해 공리적 특성화를 갖는다. 이는 Ayala-Francis 프레임워크를 진정된 동변성 설정으로 일반화한다.
• 실수 위상적 Hochschild 호몰로지는 자명한 $C_2$-작용을 가진 점에 대한 진정된 $C_2$-요약 호몰로지로 실현된다.
• $C_n$-링 스펙트럼의 상대 위상적 Hochschild 호몰로지는 $G = C_n$인 진정된 $G$-요약 호몰로지를 통해 기술되며, 새로운 기하학적 해석을 제공한다.