[논문 리뷰] Constructing homotopy equivalences of chain complexes of free ZG-modules

Lukáš Vokřínek|arXiv (Cornell University)|2013. 04. 24.

Homotopy and Cohomology in Algebraic Topology참고 문헌 6인용 수 5

한 줄 요약

이 논문은 비등변성의 사슬 호모토피 동치에서 G-등변 사슬 호모토피 동치를 구성하는 알고리즘적 방법을 제시하며, π가 유한 생성 ZG-모듈러일 경우 Eilenberg-MacLane 공간 K(π, n)의 등변 (코)homology를 효과적으로 계산할 수 있도록 한다. 이 방법은 G∞-구조와 펌프된 바르 구조를 통한 코프리미티브 대체를 사용하며, 자유 기저를 갖는 1을 생성자로 가지는 임의의 음이 아닌 등급을 가진 미분 등급 대수로 일반화된다.

ABSTRACT

We describe a general method for algorithmic construction of G-equivariant chain homotopy equivalences from non-equivariant ones. As a consequence, we obtain an algorithm for computing equivariant (co)homology of Eilenberg-MacLane spaces K(pi,n), where pi is a finitely generated ZG-module. This result will be used in a forthcoming paper to construct equivariant Postnikov towers of simply connected spaces with free actions of a finite group G and further to compute stable equivariant homotopy classes of maps between such spaces. The methods of this paper work for modules over any non-negatively graded differential graded algebra, whose underlying graded abelian group is free with 1 as one of the generators.

연구 동기 및 목표

• 비등변성의 사슬 호모토피 동치에서 G-등변 사슬 호모토피 동치를 구성하는 알고리즘적 방법을 개발하는 것.
• π가 유한 생성 ZG-모듈러일 경우 Eilenberg-MacLane 공간 K(π, n)의 등변 (코)homology를 알고리즘적으로 계산할 수 있도록 하는 것.
• 특히 단순 연결 공간에서 유한군 G가 자유롭게 작용하는 경우, 등변 설정으로의 효과적 호모로지 대수의 확장.
• 등변 Postnikov 탑재를 구성하고 안정적인 등변 호모토피 사상의 클래스를 계산하는 데 기초를 마련하는 것.
• R∞-구조와 코프리미티브 대체를 사용하여 효과적 호모로지 대수 프레임워크를 등변 설정으로 일반화하는 것.

제안 방법

• G-복합체 M과 국소 유한 Z-복합체 N 사이의 비등변성 호모토피 동치에서 시작한다.
• G∞-구조를 구성함으로써 N에 '호모토피를 거쳐서' G-작용을 도입한다. 이는 비등변 설정에서의 A∞-구조와 유사하다.
• 엄격한 G-선형성을 완화하는 G∞-사슬 사상과 호모토피를 정의하여 알고리즘적 조작을 가능하게 한다.
• 펌프된 바르 구조를 사용하여 M과 N의 코프리미티브 대체 BM과 BN를 구성함으로써 G∞-사상의 엄격화를 달성한다.
• BM과 BN 위에서 다시 시작하여 새로운 사슬 호모토피를 구성함으로써 G-선형 호모토피 동치를 재구성한다.
• 최종적으로 G-등변 호모토피 동치를 얻기 위해 결과적으로 얻은 G-선형 동치 BM ≃ BN와 추가로 얻은 G-선형 동치 BM ≃ M을 사용한다.

실험 결과

연구 질문

• RQ1 G-복합체와 국소 유한 Z-복합체 사이의 비등변성 호모토피 동치를 알고리즘적으로 G-등변 호모토피 동치로 승격시킬 수 있는가?
• RQ2 π가 유한 생성 ZG-모듈러일 경우 Eilenberg-MacLane 공간 K(π, n)의 등변 (코)homology를 알고리즘적으로 계산할 수 있는가?
• RQ3 G∞-구조와 코프리미티브 대체를 사용하여 효과적 호모로지 대수의 프레임워크를 등변 설정으로 확장할 수 있는가?
• RQ4 특히 다항시간 호모로지의 맥락에서, 이러한 G-등변 동치를 구성하는 계산 복잡도는 어떻게 되는가?
• RQ5 등변 감소 이후 궤도 복합체 M/G의 (코)homology를 계산하기 위해 스미스 정규형을 어떻게 적용할 수 있는가?

주요 결과

• 논문은 G-복합체 M과 국소 유한 Z-복합체 사이의 임의의 비등변성 호모토피 동치를 국소 유한 G-복합체와의 G-선형 호모토피 동치로 변환하는 알고리즘적 방법을 구성한다.
• 이 방법은 목표 복합체 N에 G∞-구조를 도입하고, 펌프된 바르 구조를 사용하여 코프리미티브 대체 BM과 BN를 구성하는 데 의존한다.
• 결과적으로 얻어진 G-선형 호모토피 동치 BM ≃ BN는 알고리즘적이며, 입력 데이터가 다항시간으로 계산 가능할 경우 다항시간 계산 가능성을 유지한다.
• 이 구성은 π가 유한 생성 ZG-모듈러일 경우 K(π, n)의 등변 (코)homology를 알고리즘적으로 계산할 수 있도록 하며, Eilenberg-MacLane의 고전 결과를 등변 설정으로 일반화한다.
• N/G의 미분에 대한 스미스 정규형은 다항시간 내에 계산 가능하며, 이는 궤도 복합체 M/G의 (코)homology를 효율적으로 계산할 수 있도록 한다.
• 이 프레임워크는 군 대수 외에도 자유 기저를 갖는 1을 생성자로 가지는 임의의 음이 아닌 등급을 가진 미분 등급 대수 R에도 적용 가능하다.