[논문 리뷰] Coincidences of homological densities, predicted by arithmetic

Benson Farb, Jesse Wolfson외 1명|arXiv (Cornell University)|2016. 11. 14.

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

한 줄 요약

이 논문은 다양체 위의 0-사이클 공간에 대한 동치 밀도(concept of homological density)를 도입하여, 다양한 구성에서의 한계 Poincaré 다항식 비율의 일치를 예측한다. 산술적 유사성과 Björner-Wachs의 사전순서 리마이닝 구조화 이론을 사용하여, 공액수 $mn$ 이 고정되어 있을 경우, 위상적으로 다를 수 있는 구성들 사이에서도 이러한 한계 밀도가 일치함을 증명한다. 또한 코homological 소멸 조건 하에서 모든 경우에 대해 명시적인 공식을 유도한다.

ABSTRACT

Motivated by analogies with basic density theorems in analytic number theory, we introduce a notion (and variations) of the homological density of one space in another. We use Weil's number field/ function field analogy to predict coincidences for limiting homological densities of various sequences $\mathcal{Z}^{(d_1,\ldots,d_m)}_n(X)$ of spaces of $0$-cycles on manifolds $X$. The main theorem in this paper is that these topological predictions, which seem strange from a purely topological viewpoint, are indeed true. The obstacle to proving such a theorem with current technology is how to deal with the combinatorial complexity of all possible "collisions" of points, this problem does not arise in the simplest (and classical) case $(m,n)=(1,2)$ of configuration spaces. To overcome this obstacle we develop a method that uses the Björner--Wachs theory of lexicographic shellability from algebraic combinatorics to study such problems. As a consequence we derive new homological stability theorems for broad classes of $0$-cycles on manifolds. Even in the classical case $(m,n)=(1,2)$ this gives a new, simplified proof of classical results, and also of recent theorems of Church and others.

연구 동기 및 목표

• 수론에서의 산술 밀도에 대한 위상적 유사물로서 동치 밀도의 개념을 정당화한다.
• 산술적 유사성을 통해 다양체 위의 0-사이클 구성에서의 한계 동치 밀도가 $m$과 $n$ 개별 값이 아닌 곱 $mn$ 에만 의존함을 예측한다.
• 코homological 소멸 조건을 만족하는 다양체에 대해 이러한 예측된 일치가 참임을 증명한다.
• 대칭 곱에서의 점 충돌 복잡성을 다루기 위해 사전순서 리마이닝 구조화를 활용한 조합론적 프레임워크를 개발한다.
• 모든 경우에 대해 $Z_{\vec{d}}^n(X)$ 와 $\mathrm{Sym}_{\vec{d}}(X)$ 의 Poincaré 다항식에 대한 명시적 공식을 수립하여 한계 밀도의 계산을 가능하게 한다.

제안 방법

• 동치 밀도를 $t$-adic 위상에서의 Poincaré 다항식 비율 $P_{Z_{\vec{d}}^n(X)}(t) / P_{\mathrm{Sym}_{\vec{d}}(X)}(t)$ 으로 정의한다.
• Weil 추측과 수체 유사성을 사용하여, 한계 밀도가 $m$과 $n$ 개별 값이 아닌 $mn$ 에만 의존함을 예측한다.
• Björner-Wachs 이론의 사전순서 리마이닝 구조화를 적용하여 대칭 곱에서의 점 충돌에 기인한 조합론적 복잡성을 해결한다.
• 스펙트럴 시퀀스와 $G$-동치 코homology를 사용하여 포함사상 $Z_{\vec{d}}^n(X) \hookrightarrow \mathrm{Sym}_{\vec{d}}(X)$ 의 Leray 스펙트럴 시퀀스의 $E_2$-항을 계산한다.
• Frobenius 호환성과 Künneth 동형을 사용하여 $X$ 의 곱 위에서 대칭군 작용에 대한 불변량을 계산한다.
• 코homology 의 대칭 거듭제곱에 대한 계수가 휘어진 계수를 가지는 $E_2$-페이지에 대한 명시적 공식을 유도하며, 이는 $\dim X$ 와 $mn$ 에 따라 달라진다.

실험 결과

연구 질문

• RQ1 수론의 산술적 유사성은 0-사이클 공간의 동치 밀도에서 위상적 일치를 예측할 수 있는가?
• RQ2 다양체 위의 $Z_{\vec{d}}^n(X)$ 의 한계 동치 밀도는 $m$과 $n$ 개별 값에 관계없이 곱 $mn$ 에만 의존하는가?
• RQ3 일반적인 $m,n$ 에 대해 $Z_{\vec{d}}^n(X)$ 의 유리 코homology 의 정확한 구조는 무엇이며, $\mathrm{Sym}_{\vec{d}}(X)$ 와의 관계는 어떠한가?
• RQ4 대칭 곱에서의 점 충돌에 기인한 조합론적 복잡성은 코homological 계산에서 어떻게系통적으로 해결될 수 있는가?
• RQ5 포함사상 $Z_{\vec{d}}^n(X) \hookrightarrow \mathrm{Sym}_{\vec{d}}(X)$ 가 유리 코homology 에 대해 동형을 유도하는 조건은 무엇인가?

주요 결과

• 모든 $m,n$ 에 대해 $mn \geq k$ 일 때, 한계 동치 밀도 비율 $\lim_{\vec{d} \to \infty} P_{Z_{\vec{d}}^n(X)}(t) / P_{\mathrm{Sym}_{\vec{d}}(X)}(t)$ 는 $t$-adic 위상에서 존재한다. 여기서 $k$ 는 컴act 지지 클래스의 쿠퍼 곱의 소멸 임계값이다.
• 만약 $mn = 2$ 이면, 순서 없는 서로 다른 점들($m=1,n=2$)의 경우와, 어느 위치에도 두 색상이 동시에 존재하지 않는 두 색 구성($m=2,n=1$)의 경우 모두 동일한 한계 밀도 비율 $1 + t + t^2 + \cdots$ 을 갖는다.
• 차원이 $2r+1 \geq 3$ 인 홀수 차원 다양체에 대해서는 포함사상 $Z_{\vec{d}}^n(X) \hookrightarrow \mathrm{Sym}_{\vec{d}}(X)$ 가 유리 코homology 에 대해 동형을 유도하므로, 한계 밀도는 정확히 1이다.
• 포함사상 $Z_{\vec{d}}^n(X) \to \mathrm{Sym}_{\vec{d}}(X)$ 의 Leray 스펙트럴 시퀀스의 $E_2$-페이지는 단일 원소와 크기 $mn$ 의 블록들로 분할하는 데 따른 합으로 명시적으로 계산되며, 계수로는 휘어진 코homology 를 가진다.
• 명시적인 공식은 $X$ 의 코homology 의 대칭 거듭제곱에 대해 계수가 $\mathrm{gr}$-계수의 이중차수 $(0, 2r(mn-1)-1)$ 인 복합층을 가지며, 짝수 차원 $X$ 에 대해 유의미하고, 홀수 차원 $X$ 는 자명하다.
• 복소수 위의 매끄러운 아핀 다양체에 대해서는 스펙트럴 시퀀스의 가중치가 산술적으로 예측된 바와 일치하여, 코homological 구조에서 산술-기하학적 이중성의 확인이 이루어진다.