[논문 리뷰] Higher representation stability for ordered configuration spaces and twisted commutative factorization algebras

Quoc P. Ho|arXiv (Cornell University)|2020. 04. 01.

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

한 줄 요약

이 논문은 계수로 쓰인 비틀린 교환 대수(TCA)를 사용한 분해 호몰로지로 순서화된 구성공간의 호몰로지에 대해 더 높은 표현 안정성을 확립한다. 유한 생성성을 증명하기 위한 반복적 절차를 제시하고, 유도된 분해 불가능성에 대한 명시적 상한을 계산한다; 특정 $C_\infty$-작용이 0이면 구성공간 호몰로지가 TCA 모듈러 자유가 되며, 이는 Church–Ellenberg–Farb의 결과를 일반화하고, 이러한 조건 하에서 Miller–Wilson의 추측을 해결한다.

ABSTRACT

Using factorization homology with coefficients in twisted commutative algebras (TCAs), we prove two flavors of higher representation stability for the cohomology of (generalized) configuration spaces of a scheme/topological space $X$. First, we provide an iterative procedure to study higher representation stability using actions coming from the cohomology of $X$ and prove that all the modules involved are finitely generated over the corresponding TCAs. More quantitatively, we compute explicit bounds for the derived indecomposables in the sense of Galatius-Kupers-Randal-Williams. Secondly, when certain $C_\infty$-operations on the cohomology of $X$ vanish, we prove that the cohomology of its configuration spaces forms a free module over a TCA built out of the configuration spaces of the affine space. This generalizes a result of Church-Ellenberg-Farb on the freeness of $\mathrm{FI}$-modules arising from the cohomology of configuration spaces of open manifolds and, moreover, resolves the various conjectures of Miller-Wilson under these conditions.

연구 동기 및 목표

• 스킴 또는 위상공간 $X$의 일반화된 구성공간 호몰로지에 대해 더 높은 표현 안정성을 확립하기 위해.
• 구성공간의 호몰로지에서 $X$의 호몰로지 작용을 이용한 반복적 방법을 개발하여 비틀린 교환 대수(TCA) 위에서의 유한 생성성을 증명하기 위해.
• Galatius–Kupers–Randal-Williams의 의미에서 구성공간 호몰로지의 유도된 분해 불가능성에 대한 명시적 상한을 계산하기 위해.
• 특정 $C_\infty$-작용이 0이면, $\operatorname{FI}$-모듈러의 Church–Ellenberg–Farb의 자유성 결과를 TCA로 일반화하기 위해.
• 구성공간 호몰로지의 $C_\infty$-작용이 0이면 성립하는 조건 하에서, Miller–Wilson의 더 높은 표현 안정성 추측을 해결하기 위해.

제안 방법

• 비틀린 교환 대수(TCA)를 계수로 사용한 분해 호몰로지로 구성공간 호몰로지를 분석한다.
• 구성공간을 카테고리적으로 모델링하기 위해 비틀린 교환 대수 $\operatorname{Ran}$ 공간 $\operatorname{Ran}(X,\operatorname{FB}_+)$ 를 구성한다.
• 호몰로지와 리 대수 작용을 연결하기 위해 $\operatorname{ComAlg}$ 와 $\operatorname{coLie}$ 사이의 코스졸 dualit에 적용한다.
• $\operatorname{Ran}(X,\operatorname{FB}_+)$ 에 대한 기수 필터를 적용하여, 디비산스 시퀀스를 통해 호몰로지를 분해한다.
• 대각선 절단과 $\operatorname{Ran}(f)$-구조와의 호환성을 통해 문제를 $X$ 위의 TCA로 환원한다.
• 반복된 $\operatorname{FI}$-호몰로지 유사체를 계산하기 위해 단위 요소 분해 호몰로지와 $\Lambda_0$-텐서 곱 구조를 사용한다.

실험 결과

연구 질문

• RQ1 TCA 작용을 통해 구성공간 호몰로지의 더 높은 표현 안정성을 체계적으로 연구할 수 있는 방법은 무엇인가?
• RQ2 일반화된 구성공간 호몰로지의 유도된 분해 불가능성에 대한 정확한 상한은 무엇인가?
• RQ3 어떤 조건에서 구성공간의 호몰로지가 아핀 공간 구성공간으로부터 만든 TCA 위의 자유 모듈러가 되는가?
• RQ4 $X$의 호몰로지에서 $C_\infty$-작용이 0이면 구성공간 호몰로지의 자유성과 안정성에 어떤 영향을 미치는가?
• RQ5 이 프레임워크는 어떤 정도까지 Church–Ellenberg–Farb의 $\operatorname{FI}$-모듈러 자유성 결과를 더 높은 표현 안정성으로 일반화하는가?

주요 결과

• 일반화된 구성공간 호몰로지가 해당 비틀린 교환 대수(TCA) 위에서 유한 생성임을 보였다.
• 반복적 $\Lambda_0 \otimes_{\mathcal{O}_{2,\leq m}(X)}$ 구조를 사용하여 호몰로지의 유도된 분해 불가능성에 대한 명시적 상한을 계산하였다.
• $X$ 가 $\operatorname{T}_m$ 조건을 만족하고 $C_\infty$-작용이 0이면, 그 구성공간의 호몰로지가 아핀 공간 구성공간으로부터 만든 TCA 위의 자유 모듈러가 된다.
• 논문은 [Miller–Wilson, 추측 3.31]을 $\operatorname{T}_m$-경우에 대해 해결하였으며, $\mathrm{H}^c(\Lambda_0 \otimes_{\mathcal{O}_{2,m}(X)} \cdots \otimes_{\mathcal{O}_{2,1}(X)} \mathcal{A}_2(X))_k = 0$ 를 $k > c/b$ 에서 성립함을 보였다.
• 이 프레임워크는 Church–Ellenberg–Farb의 $\operatorname{FI}$-모듈러 자유성 결과를 더 높은 표현 안정성의 TCA 설정으로 일반화한다.
• 호몰로지 차수를 정확히 추적하였으며, 결과는 참조된 모듈러의 자유성 덕분에 $\operatorname{FI}$-하이퍼호몰로지 계산과 일치한다.