[논문 리뷰] Examples of topological spaces with arbitrary cohomology jump loci

Botong Wang|arXiv (Cornell University)|2013. 03. 31.

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

한 줄 요약

이 논문은 복소수 토러스 위에 라우렌트 다항식에 기반하여 세포를 부착하는 기하적 구성 방법을 사용하여, 주어진 차수 $k$에서 임의로 지정된 코homology jump loci 를 갖는 유한 CW 복합체를 구축한다. 주요 결과는 임의의 $\mathbb{Z}$-정의된 부분다양체 $Z \subset (\mathbb{C}^*)^n$ 와 모든 $k$에 대해, $\Sigma^k(M) = Z \cup \{\mathds{1}\}$ 이고 모든 낮은 차수의 점프 위치가 자명한 유한 CW 복합체 $M$ 가 존재함을 보여주며, 이는 준사영 다양체가 진정한 고차 호모토피 장벽을 갖는다는 것을 시사한다.

ABSTRACT

Given any subvariety of a complex torus defined over $\mathbb{Z}$ and any positive integer $k$, we construct a finite CW complex $X$ such that the $k$-th cohomology jump locus of $X$ is equal to the chosen subvariety, and the $i$-th cohomology jump loci of $X$ are trivial for $i

연구 동기 및 목표

• 복소 토러스의 주어진 부분다양체를 유한 CW 복합체의 $k$-번째 코homology 점프 위치로 실현하는 것.
• 부드러운 복소 준사영 다양체의 코homology 점프 위치가 위상뿐 아니라 고차 호모토피 유형에 의해서도 제약을 받는다는 것을 보여주는 것.
• 기존 문헌의 결과를 확장하여 특성다양체가 주어진 공간을 자가 포함적으로 구성하는 것.
• 만일 $Z$ 가 부분토러스의 토르션 이동의 합집합이 아니라면, 이러한 예들이 어떤 준사영 다양체와도 호모토피 $k$-등가가 아니라는 것을 보여주는 것.

제안 방법

• 기본 복합체로 실토러스 $M_0 = (S^1)^n$ 를 취하고, 기저점에 $k$-구를 부착하여 $M_1$ 을 형성하며, 이에 따라 $\mathbb{Z}^n$-작용을 갖는 유일한 쌍대피복공간 $N_1$ 을 유도한다.
• 목표 부분다양체 $Z$ 를 정의하는 각 라우렌트 다항식 $f_i$ 에 대해, $N_1$ 에 $(k+1)$-세포를 부착하여 그 경계가 $f_i$ 의 계수에 의해 결정되는 $H_k(N_1, \mathbb{Z})$ 내의 순환을 나타내도록 한다.
• $\mathbb{Z}^n$-이동을 전역적으로 일관되게 부착하여 전체 피복공간 $N_2$ 를 구성하며, 갈루아 작용을 유지한다.
• $\mathbb{Z}^n$-작용에 대한 몫을 취하여 유한 CW 복합체 $M$ 을 형성하며, 이에 따라 기본군 $\pi_1(M) \cong \mathbb{Z}^n$ 이 되고, 따라서 $L(M) \cong (\mathbb{C}^*)^n$ 이다.
• 그룹환 $\mathbb{Z}[x_1, x_1^{-1}, \dots, x_n, x_n^{-1}]$ 위에서의 앨리오크산 모듈을 사용하여, 모듈 $\mathrm{Alex}(G_3) \cong \mathrm{Alex}(G_2) \otimes_R R/(f_1, \dots, f_r)$ 의 지지부를 통해 코homology 점프 위치를 계산한다.
• 이 모듈의 지지부가 정확히 $Z$ 라는 것을 보여주며, 따라서 $\Sigma^k(M) = Z \cup \{\mathds{1}\}$ 이고, $N_1$ 의 $(k-1)$-연결성으로 인해 낮은 차수의 점프 위치는 자명하다.

실험 결과

연구 질문

• RQ1 임의의 $k \geq 1$ 과 $\mathbb{Z}$-정의된 부분다양체 $Z \subset (\mathbb{C}^*)^n$ 에 대해, $Z$ 가 유한 CW 복합체의 $k$-번째 코homology 점프 위치로 실현될 수 있는가?
• RQ2 코homology 점프 위치가 주어진 공간이 준사영 다양체와 호모토피 동치가 되지 못하게 하는 고차 호모토피 이론적 장벽은 무엇인가?
• RQ3 라우렌트 다항식환 위에서의 앨리오크산 모듈의 구조는 구성된 공간의 코homology 점프 위치를 어떻게 표현하는가?
• RQ4 코homology 점프 위치는 공간의 호모토피 유형에 얼마나 의존하는가? 특히 $k \geq 2$ 차수에서의 경우에 대해.
• RQ5 이 구성은 복소 토러스의 경우를 초월하여, 유한 아벨군을 $L(M)$ 의 특성군에 포함시키기 위해 일반화될 수 있는가?

주요 결과

• 임의의 $\mathbb{Z}$-정의된 부분다양체 $Z \subset (\mathbb{C}^*)^n$ 과 모든 $k \geq 1$ 에 대해, $\Sigma^k(M) = Z \cup \{\mathds{1}\}$ 이고 $i < k$ 에 대해 $\Sigma^i(M)$ 가 자명한 유한 CW 복합체 $M$ 이 존재한다.
• 구성된 공간 $M$ 은 실토러스 $(S^1)^n$ 과 호모토피 $(k-1)$-등가이지만, $Z$ 가 부분토러스의 토르션 이동의 합집합이 아니면 어떤 준사영 다양체와도 호모토피 $k$-등가가 아니다.
• 코homology 점프 위치 $\Sigma^k(M)$ 는 $Z$ 를 정의하는 라우렌트 다항식 $f_1, \dots, f_r$ 의 영점으로 정확히 일치하며, 이는 앨리오크산 모듈 $\mathrm{Alex}(G_3)$ 의 지지부를 통해 입증된다.
• 앨리오크산 모듈 $\mathrm{Alex}(G_3)$ 는 $\mathrm{Alex}(G_2) \otimes_R R/(f_1, \dots, f_r)$ 와 동형이며, 여기서 $R = \mathbb{Z}[x_1, x_1^{-1}, \dots, x_n, x_n^{-1}]$ 이고, 그 지지부는 정확히 $Z$ 이다.
• 이 구성은 $M_0$ 을 $M_0 \times Y$ 로 대체하고, $Y$ 를 유한 아벨군 $A$ 에 대한 $K(A,1)$-공간으로 설정하며, 그룹환을 적절히 조정함으로써 $L(M)$ 에 유한 아벨군을 포함시키는 방식으로 일반화될 수 있다.
• 결과적으로 준사영 다양체의 코homology 점프 위치는 고차 호모토피 유형에 의해 제약을 받는다는 것이 확인되었으며, 구성된 예들이 위치 조건을 만족하지만 어떤 준사영 다양체와도 $k$-등가가 아니라는 점에서 이를 뒷받침한다.