[논문 리뷰] Lattice Spectral Sequences and Cohomology of Configuration Spaces

Philip Tosteson|arXiv (Cornell University)|2016. 12. 19.

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

한 줄 요약

이 논문은 구성 공간 $\mathrm{Conf}_n(X)$ 의 코homology로 형성된 FI 모듈의 유한 생성성을 증명하기 위해 분할 레이스와 $X^n$ 의 대각선에 대한 상대 코homology로부터 유도된 스펙트럴 시퀀스를 사용하여 호모로지 기준을 수립한다. 주요 결과는 $X$ 가 국소적으로 $\mathbb{R}^2$-유사하거나 2차원 이상의 국소적 구조를 가질 경우, 모든 $i$ 에 대해 $H^i(\mathrm{Conf}_n(X),k)$ 가 유한 생성된 FI 모듈이 된다는 것이다. 이는 표현 안정성 이론을 다각도적인 위상공간으로 일반화한다.

ABSTRACT

For a topological space $X$, we introduce a criterion for the $ m FI$ module $H^i({ m Conf}_n(X))$ to be finitely generated and give several applications. For instance, if $C$ is a finite connected $CW$ complex, then $X = C imes \mathbb{R}^2$ satisfies the criterion. Our main tool is a spectral sequence that we derive from the homological algebra of the partition lattice.

연구 동기 및 목표

• 다양체를 초월하여 더 일반적인 위상공간으로 $H^i(\mathrm{Conf}_n(X),k)$ 가 FI 모듈로서의 유한 생성성을 확장하기.
• 큰 $n$ 에서 상대 코hom로 $H^i(X^n, X^n - \Delta X, k)$ 가 0이 되는 것을 기반으로 한 호모로지 기준 제시.
• FI 모듈 프레임워크를 통해 이전의 표현 안정성 및 호모로지 안정성 결과들을 통합하고 일반화하기.
• 모든 $i$ 에 대해 $H^i(\mathrm{Conf}_n(X),k)$ 가 큰 $n$ 에서 균일한 행동을 보이는 조건을 확립하기, 특히 양의 특성에서의 경우를 포함하여.

제안 방법

• 분할 레이스의 호모로지 대수학으로부터 스펙트럴 시퀀스를 유도하여 구성 공간의 코homology를 분석하기.
• 베르디에 이중성과 이중화 복합체 $\omega_X$ 를 사용하여 상대 코homology $H^i(X^n, X^n - \Delta X, k)$ 를 $\mathrm{R}\Delta_n^!\underline{k} \simeq (\omega_X^*)^{\otimes n-1}$ 로 재표현하기.
• 국소 코hom로의 쿤첸 공식을 적용하여 상대 코hom로 계산을 국소 데이터의 곱으로 줄이기.
• 국소 기준 확립: $X$ 가 국소적으로 $V \times \mathbb{R}^2$ 의 곱이면, 코homology FI 모듈은 유한 생성된다.
• $\mathrm{R}i^!$ 함자를 국소화하여 전반적인 코hom로지 조건을 국소 조건으로 줄이기.
• 어느 점을 제거해도 이웃에서 연결성이 유지되면, 모든 $i$ 에 대해 $H^i(\mathrm{Conf}_n(X),k)$ 는 유한 생성된 FI 모듈이 된다는 증명.

실험 결과

연구 질문

• RQ1 어떤 위상적 조건을 만족할 경우, $X$ 에 대해 $n \mapsto H^i(\mathrm{Conf}_n(X),k)$ 가 FI 모듈로서 유한 생성되는가?
• RQ2 상대 코homology $H^i(X^n, X^n - \Delta X, k)$ 는 어떻게 구성 공간 코homology 의 유한 생성성을 탐지할 수 있는가?
• RQ3 유한 생성 결과를 다양체에서부터 $\geq 2$차원 국소 구조를 가진 분할 또는 비다양체 공간으로 확장할 수 있는가?
• RQ4 이중화 복합체 $\omega_X$ 는 구성 공간의 코homological 행동을 결정하는 데 어떤 역할을 하는가?
• RQ5 분할 레이스로부터 유도된 스펙트럴 시퀀스는 구성 공간 코homology 의 표현 안정성과 어떻게 관련되는가?

주요 결과

• 만약 $X$ 가 유한한 연결 CW 복합체이면, $X \times \mathbb{R}^2$ 는 유한 생성 조건을 만족하므로, 모든 $i$ 에 대해 $H^i(\mathrm{Conf}_n(X \times \mathbb{R}^2),k)$ 는 유한 생성된 FI 모듈이다.
• 모든 점에서 국소적으로 $V_p \times \mathbb{R}^2$ 의 곱으로 표현되는, Hausdorff 이며 국소적으로 수축 가능한 공간 $X$ 에 대해, 모든 $i$ 에 대해 $H^i(\mathrm{Conf}_n(X),k)$ 는 유한 생성된 FI 모듈이다.
• 모든 점 $p$ 가 $U - \{p\}$ 가 연결된 수축 가능한 이웃 $U$ 를 가지면, 모든 $i$ 에 대해 $H^i(\mathrm{Conf}_n(X),k)$ 는 유한 생성된 FI 모듈이다.
• $\mathbb{R}^d$ 위의 구성 공간 코homology 는 $d \geq 2$ 이면 유한 생성 조건을 만족하며, $H^{(d-1)n}(\mathbb{R}^{dn}, \mathbb{R}^{dn} - \Delta \mathbb{R}^d, k) \cong k$ 를 만족한다.
• 연결된 유한 그래프 $G$ 에 대해, $H^i(\mathrm{Conf}_n(G \times \mathbb{R}^1),k)$ 는 모든 $i$ 에 대해 유한 생성된 FI 모듈이지만, $G \times \mathbb{R}^1$ 은 2차원이므로 예외적인 경우이다.
• 이중화 복합체 $\omega_X$ 는 $\mathrm{R}\Delta_n^!\underline{k} \simeq (\omega_X^*)^{\otimes n-1}$ 를 만족하며, 이는 퇴화 조건의 이중성 기반 재구성 가능성을 제공한다.