[논문 리뷰] Section problems for configuration spaces of surfaces

Lei Chen|arXiv (Cornell University)|2017. 08. 26.

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

한 줄 요약

이 논문은 표면 위의 순서된 및 순서되지 않은 구성공간의 피브레이션에 대한 연속적 섹션을 분류하며, $\mathbb{R}^2$ ($n>3$) 및 $S^2$ ($n>4$)의 경우 섹션이 항상 '무한원에 점을 추가하는 것' 또는 '특정 $x_k$ 근처에 점을 추가하는 것'임을 증명한다. 반면, 종수 $g>1$ ($n>1$)인 표면이나 $n=2$인 $S^2$의 경우는 연속적 섹션이 존재하지 않는다. 이 분류는 호모토피 이론적 분석과 테라스톤의 표면 미분형식 분류에서 유도된 표준 감소 체계를 기반으로 한다.

ABSTRACT

In this paper we give a close-to-sharp answer to the basic questions: When is there a continuous way to add a point to a configuration of $n$ ordered points on a surface $S$ of finite type so that all the points are still distinct? When this is possible, what are all the ways to do it? More precisely, let PConf$_n(S)$ be the space of ordered $n$-tuple of distinct points in $S$. Let $f_n(S): ext{PConf}_{n+1}(S) o ext{PConf}_n(S)$ be the map given by $f_n(x_0,x_1,\ldots ,x_n):=(x_1,\ldots ,x_n)$. We classify all continuous sections of $f_n$ up to homotopy by proving the following. 1. If $S=\mathbb{R}^2$ and $n>3$, any section of $f_{n}(S)$ is either "adding a point at infinity" or "adding a point near $x_k$". (We define these two terms in Section 2.1; whether we can define "adding a point near $x_k$" or "adding a point at infinity" depends in a delicate way on properties of $S$. ) 2. If $S=S^2$ a $2$-sphere and $n>4$, any section of $f_{n}(S)$ is "adding a point near $x_k$"; if $S=S^2$ and $n=2$, the bundle $f_n(S)$ does not have a section. (We define this term in Section 3.2) 3. If $S=S_g$ a surface of genus $g>1$ and for $n>1$, we give an easy proof that the bundle $f_{n}(S)$ does not have a section.

연구 동기 및 목표

• 유한 유형의 표면 $S$에 대해 忘却 피브레이션 $f_n(S): \text{PConf}_{n+1}(S) \to \text{PConf}_n(S)$ 의 모든 연속적 섹션을 분류하는 것.
• 해당 섹션이 언제 존재하는지와 그 호모토피 유형이 무엇인지 결정하는 것. 특히 '무한원에 점을 추가하는 것'과 '특정 $x_k$ 근처에 점을 추가하는 것'을 구분하는 것.
• 순서되지 않은 구성공간으로의 확장을 몰입 피브레이션 $F_n(S)$ 를 통해 수행하는 것.
• 특히 종수 $g>1$인 표면의 경우 섹션 존재에 대한 위상적 장벽을 기본군과 코homology 기법을 사용하여 해결하는 것.

제안 방법

• 테라스톤의 표면 미분형식 분류에서 유도된 표준 감소 체계를 활용하여 단순화 및 섹션 장벽을 분석하는 것.
• 호모토피 이론적 기법을 적용하여 호모토피류에 따라 섹션을 분류하고, '무한원에 점을 추가하는 것'과 '특정 $x_k$ 근처에 점을 추가하는 것'의 유형을 구분하는 것.
• 기본군과 코homology에 유도된 사상 분석. 특히 $f_*: \pi_1(\text{PConf}_n(S)) \to \pi_1(S)$ 와 $f^*: H^1(S) \to H^1(\text{PConf}_n(S))$ 의 분석.
• 포incare 대칭성과 쿠퍼드 곱의 구조를 활용하여 $S_g \times S_g$ 에서의 대각선 클래스 $[\triangle]$ 의 비자명한 역상 탐지.
• 문제를 $f_*$ 의 이미지가 忘却 사상 $p_{i*}$ 를 통해 인코딩되거나 순환군이 되는 것으로 축소한 후, 코homology 기반의 모순 추론을 통해 해결하는 것.
• 브레인드 군과 구성공간의 안정성에 관한 기존 결과를 활용하면서도, 랜턴 관계와 심플렉틱 기저를 통해 새로운 도구를 도입하는 것.

실험 결과

연구 질문

• RQ1 표면 $S = \mathbb{R}^2$ 와 $n > 3$ 일 때, 피브레이션 $f_n(S): \text{PConf}_{n+1}(S) \to \text{PConf}_n(S)$ 는 연속적 섹션을 갖는가?
• RQ2 표면 $S = S^2$ 일 때, 섹션은 언제 존재하며, $n=2$, $n>4$, $n=3$ 인 경우의 호모토피 유형은 무엇인가?
• RQ3 종수 $g > 1$ 이고 $n > 1$ 인 표면 $S_g$ 에 대해 피브레이션 $f_n(S_g)$ 는 섹션을 갖는가?
• RQ4 순서된 구성공간 피브레이션의 섹션은 $\Sigma_n$ 으로 몰입함으로써 순서되지 않은 경우와 어떻게 관련되는가?
• RQ5 다중 섹션 피브레이션 $\text{PConf}_{m}(S - \{x_1,\dots,x_n\})/\Sigma_m \to \text{PConf}_{n+m}(S)/\Sigma_m$ 의 호모토피 유형은 무엇인가?

주요 결과

• 표면 $S = \mathbb{R}^2$ 이고 $n > 3$ 일 때, $f_n(S)$ 의 모든 연속적 섹션은 어떤 $1 \leq k \leq n$ 에 대해 '무한원에 점을 추가하는 것' 또는 '특정 $x_k$ 근처에 점을 추가하는 것'과 호모토피적이다.
• 표면 $S = S^2$ 이고 $n = 2$ 일 때, 피브레이션 $f_n(S)$ 는 연속적 섹션을 갖지 않는다.
• 표면 $S = S^2$ 이고 $n > 4$ 일 때, $f_n(S)$ 의 모든 연속적 섹션은 어떤 $k$ 에 대해 '특정 $x_k$ 근처에 점을 추가하는 것'과 호모토피적이다.
• 종수 $g > 1$ 이고 $n > 1$ 인 표면 $S_g$ 에 대해 피브레이션 $f_n(S)$ 는 연속적 섹션을 갖지 않으며, 이는 코homology와 기본군 분석을 통한 모순에 의해 증명된다.
• 순서되지 않은 경우, $F_n(\mathbb{R}^2)$ 는 $n > 3$ 일 때만 '무한원에 점을 추가하는 것' 유형의 섹션을 갖는다. 반면 $F_n(S^2)$ 는 $n = 2,3$ 또는 $n > 4$ 일 때 섹션을 갖지 않는다.
• 종수 $g > 1$ 의 경우 증명은 임의의 섹션이 $\text{PConf}_n(S_g) \to S_g$ 를 유도하는 사상 $f$ 를 만든다. 이 사상에서 대각선 클래스의 역상이 모순을 일으키며, 유일한 가능성이 $f_*$ 의 이미지가 순환군이거나 忘却 사상 $p_{i*}$ 를 통해 인코딩되는 것으로 제한된다. 그러나 이러한 조건들은 코homological 제약 조건에서 실패한다.