[논문 리뷰] On stable homology of congruence groups

Aurélien Djament|arXiv (Cornell University)|2017. 07. 25.

Homotopy and Cohomology in Algebraic Topology참고 문헌 19인용 수 4

한 줄 요약

이 논문은 호몰로지 군의 호몰로지가 $d$ 차수에서 약한 다항형수 functors로도 정의되며, 이는 호몰로지 군 호몰로지와 함수형수 호몰로지 사이의 스펙트럴 시퀀스를 통해 유도된다. 이 함수형수는 다항형수의 낮은 차수 항들을 제외한 나머지에 대해 유도 캔 확장과 다항형수의 텐서 구조를 통해 기술되며, 수스린의 분리 결과를 일반화하고, 창-밀러-나팔-레인홀트의 최근 작업을 새로운 함수형수 방법론으로 확장한다.

ABSTRACT

We show in this work that homology in degree d of a congruence group, in a very general framework, defines a weakly polynomial functor of degree at most 2d and we describe this functor modulo polynomial functors of smaller degree. Our main tool is a spectral sequence connecting homology of congruence-like groups (in a formal setting close to the one introduced with Vespa in 2010 for orthogonal groups) and functor homology. We prove and use in a crucial way properties of some tensor structures and derived Kan extensions on polynomial functors.Our results extend especially, with different methods, the work by Suslin on excision in integer algebraic K-theory and a recent preprint by Church-Miller-Nagpal-Reinhold.

연구 동기 및 목표

• 일반적 프레임워크에서 동치군의 안정 호몰로지의 구조를 이해하기 위해.
• 차수 $d$에서의 호몰로지를 최대 $2d$ 차수의 약한 다항형수 함수형수로 기술하기 위해.
• 유도 범주 기법을 사용하여 낮은 차수의 다항형수 함수형수에 대해 이 함수형수를 분석하기 위해.
• 함수형수 및 호몰로지 도구를 사용하여 정수 대수적 $K$-이론에서 수스린의 분리 기준을 일반화하기 위해.
• 최근의 표현 안정성 및 FI-모듈 결과를 함수형수 호몰로지를 통해 동치군 호몰로지로 확장하기 위해.

제안 방법

• 형식적 범주 설정에서 동치군 유사군의 호몰로지와 함수형수 호몰로지를 연결하는 스펙트럴 시퀀스를 구성하기 위해.
• 함수형수 호몰로지의 안정화 및 구조를 분석하기 위해 다항형수 함수형수에 대한 유도 캔 확장을 사용하기 위해.
• 다항형수 함수형수의 텐서 구조를 사용하여 호몰로지 함수형수의 $2d$ 차수 부분을 기술하기 위해.
• 직교군에 대한 지아멘트-베스파의 작업을 영감으로 삼은 형식적 프레임워크에서 작업하여, 이를 동치군으로 일반화하기 위해.
• 약한 다항형수 함수형수의 성질과 분해를 활용하여 $2d$ 차수 성분을 분리하기 위해.
• 유한 생성 자유 아벨군과 분할 단사 사상의 범주 $\mathbf{S}(\mathbf{ab})$를 사용하여 안정화를 모델링하기 위해.

실험 결과

연구 질문

• RQ1 동치군 호몰로지가 안정화 하에서 함수형수로서 어떻게 행동하는가?
• RQ2 함수형수 $H_d(GL(I);\mathbb{Z})$의 정확한 다항형수 차수는 무엇인가?
• RQ3 낮은 차수의 다항형수 함수형수에 대해 이 함수형수를 어떻게 기술할 수 있는가?
• RQ4 유도 캔 확장과 다항형수 함수형수의 텐서 구조는 동치군 호몰로지의 구조를 어떻게 제어하는가?
• RQ5 이 결과들은 어떻게 수스린의 분리 기준과 최근의 FI-모듈 결과를 확장하는가?

주요 결과

• 동치군의 차수 $d$에서의 호몰로지는 최대 $2d$ 차수의 약한 다항형수 함수형수로 정의된다.
• 함수형수 $H_d(GL(I);\mathbb{Z})$는 유도 캔 확장과 텐서 구조를 통해 $2d$ 이하의 차수 다항형수 함수형수를 제외한 나머지에 대해 기술된다.
• 구성된 스펙트럴 시퀀스는 형식적 설정에서 동치군 호몰로지와 함수형수 호몰로지를 연결한다.
• 결과는 정수 대수적 $K$-이론에서 수스린의 분리 정리의 일반화를 보이며, 첫 번째 비자명한 작용이 $e$가 첫 번째 비분리 차수일 때 $2e$ 차수에 해당함을 보여준다.
• 이 프레임워크는 창-밀러-나팔-레인홀트의 표현 안정성 결과를 함수형수 호몰로지를 통해 동치군 하위군으로 확장한다.
• 이 논문은 전통적인 호모토피적 또는 스펙트럴 시퀀스 방법과는 다릅니다. 동치군의 안정 호몰로지에 대한 새로운 함수형수 접근법을 제공한다.