[논문 리뷰] Twisted cohomology of configuration spaces and spaces of maximal tori via point-counting

Weiyan Chen|arXiv (Cornell University)|2016. 03. 12.

Advanced Combinatorial Mathematics참고 문헌 9인용 수 8

한 줄 요약

이 논문은 유한체 위에서의 점수세기와 그로텐디크-레프셰츠 추적 공식을 사용하여 GL_n(ℂ)의 구성 공간과 최대 토러스 공간의 비틀린 베텨 수를 계산한다. 안정적인 비틀린 베텔 수가 코homological 차수에서 선형 재귀 관계를 만족함을 입증하여 표현 안정성 이론에서 오랫동안 남아있던 문제를 해결하고, 특성 다항식과 목걸이 다항식을 통해 생성 함수를 제공한다.

ABSTRACT

We consider two families of algebraic varieties $Y_n$ indexed by natural numbers $n$: the configuration space of unordered $n$-tuples of distinct points on $\mathbb{C}$, and the space of unordered $n$-tuples of linearly independent lines in $\mathbb{C}^n$. Let $W_n$ be any sequence of virtual $S_n$-representations given by a character polynomial, we compute $H^i(Y_n; W_n)$ for all $i$ and all $n$ in terms of double generating functions. One consequence of the computation is a new recurrence phenomenon: the stable twisted Betti numbers $\lim_{n o\infty}\dim H^i(Y_n; W_n)$ are linearly recurrent in $i$. Our method is to compute twisted point-counts on the $F_q$-points of certain algebraic varieties, and then pass through the Grothendieck-Lefschetz fixed point formula to prove results in topology. We also generalize a result of Church-Ellenberg-Farb about the configuration spaces of the affine line to those of a general smooth variety.

연구 동기 및 목표

• 모든 i와 n에 대해 W_n이 가상의 S_n-표현일 때 H^i(Conf_n(ℂ); W_n)와 H^i(𝒯_n(ℂ); W_n)의 비틀린 베텔 수를 계산하는 것.
• Farb가 2014년 ICM 연설에서 제기한 M = ℂ인 비틀린 베텔 수에 대한 질문 1을 해결하는 것.
• 안정적인 비틀린 베텔 수에 새로운 재귀 현상이 있음을 규명하여, 이들이 코homological 차수 i에 대해 선형 재귀 관계를 만족함을 보이는 것.
• 아핀 직선에 대한 Church-Ellenberg-Farb의 점수세기 결과를 일반적인 매끄러운 다양체로 일반화하는 것.

제안 방법

• 비틀린 점수세기를 𝔽_q에서의 점수와 ℂ 위의 코homology 베텔 수 사이의 관계로 연결하기 위해 그로텐디크-레프셰츠 고정점 공식을 사용한다.
• 가상의 S_n-표현 W_n을 매개변수화하기 위해 ℚ[X₁,X₂,…]에 속하는 특성 다항식 P를 사용하며, 특정 경우에 P = X 선택 λ로 표현된다.
• 목걸이 다항식 M_k(z⁻¹)과 (tz)^k에 대한 유리함수를 사용하여 비틀린 베텔 수의 이중 생성 함수를 유도한다.
• GL_n(𝔽_q)-토러스의 점수세기 생성 함수에 형식적 미분 연산자 (∂/∂x_i)^λ를 적용하여 비틀린 수를 추출한다.
• 생성 함수를 z = q⁻¹에서 평가하고, 소 거듭제곱에 대한 해석적 계속을 통해 형식적 변수로 확장한다.
• n → ∞일 때 Conf_n(V)(𝔽_q) 위의 가중 점수세기 수렴성을 이용하여 위상적 안정성과 재귀성을 도출한다.

실험 결과

연구 질문

• RQ1 W_n이 가상의 S_n-표현일 때, 모든 i와 n에 대해 dim H^i(Conf_n(ℂ); W_n)의 비틀린 베텔 수는 무엇인가?
• RQ2 안정적인 비틀린 베텔 수 lim_{n→∞} dim H^i(Conf_n(ℂ); W_n)는 i에 대해 어떤 구조적 재귀 관계를 만족하는가?
• RQ3 𝔽_q 위에서의 점수세기 방법은 아핀 직선에서 일반적인 매끄러운 다양체 V로 일반화될 수 있는가?
• RQ4 GL_n(ℂ)의 최대 토러스 공간의 비틀린 베텔 수는 어떻게 행동하는가? 이를 묘사하는 생성 함수는 무엇인가?
• RQ5 n → ∞일 때, Conf_n(V)(𝔽_q) 위의 가중 점수세기의 점근적 행동은 어떠한가?

주요 결과

• Conf_n(ℂ)의 비틀린 베텔 수 생성 함수는 목걸이 다항식 M_k(z⁻¹)과 (tz)^k에 대한 유리함수를 포함하는 이항계수의 곱으로 주어진다.
• 최대 토러스 공간 𝒯_n(ℂ)의 경우, 생성 함수는 (t^k / (1 - q^{-k}))^{λ_k} 항과 1/(1 - q^{-k}t)에 대한 무한곱을 포함하는 유사한 곱의 구조를 가진다.
• 안정적인 비틀린 베텔 수 β_i = lim_{n→∞} dim H^{2i}(𝒯_n(ℂ); X 선택 λ)는 생성 함수가 분모 차수 |λ|인 유리함수이므로 길이 |λ|의 선형 재귀 관계를 만족한다.
• 안정적인 베텔 수의 생성 함수는 ∑_i β_i z^i = (1/z_λ) ∏_{k=1}^l (1 - z^k)^{-λ_k}로 주어지며, 이는 유리성과 재귀성을 확인한다.
• 이 방법은 n → ∞일 때 Conf_n(V)(𝔽_q) 위의 가중 점수세기 수렴성을 증명하여, Church-Ellenberg-Farb의 아핀 직선 결과를 일반화한다.
• 논문은 점수세기 방법을 사용하여 Farb-Wolfson의 최근 정리에 대한 새로운 증명을 제시하고, 구성 공간과 최대 토러스의 비틀린 코homology에 대한 완전한 공식을 제공한다.