[논문 리뷰] Right-angularity, flag complexes, asphericity. \ Criteria for asphericity: corrigenda for "Right-angularity, flag complexes, asphericity"

Michael W. Davis|arXiv (Cornell University)|2011. 02. 23.

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

한 줄 요약

이 논문은 단체 복합체와 공간 쌍과 관련된 다면체 곱의 비구면성 조건을 수정하고 정교화한다. 체 기반의 약성 조건을 가정할 때, 각 $A(i)$가 비구면이어야 하고, 특정 쌍이 거의 비구면이어야 하며, $L^\prime$이 플래그 복합체여야 하고, $L^\prime$이 조인으로 분해되어야 하는 필요충분조건을 설정하여, 오른쪽-각도 빌딩과 모멘트-각도 복합체에 관한 이전 연구에서의 빈자리들을 메운다.

ABSTRACT

The "polyhedral product functor" produces a space from a simplicial complex L and a collection of pairs of spaces, {(A(i),B(i))}, where i ranges over the vertex set of L. We give necessary and sufficient conditions for the resulting space to be aspherical. There are two similar constructions, each of which starts with a space X and a collection of subspaces, {X_i} and then produces a new space. We give conditions for the results of these constructions to be aspherical. All three techniques can be used to produce examples of closed aspherical manifolds. Abstract for Corrigenda: This note concerns two refinements to the earlier work by the first author. First, when L is infinite, the definition of polyhedral product needs clarification. Second, the earlier paper omitted some subtle parts of the necessary and sufficient conditions for polyhedral products to be aspherical. Correct versions of these necessary and sufficient conditions are given in the present paper.

연구 동기 및 목표

• 기저 단체 복합체 $L$가 무한할 경우 다면체 곱의 정의를 수정하고 명확히 하기 위해.
• 원래의 다면체 곱의 비구면성 조건에서 누락되거나 암묵적인 가정을 식별하고 수정하기 위해.
• 체 기반의 약성 조건 하에서 $\mathbf{A}^L$의 비구면성에 대한 완전한 필요충분조건을 제공하기 위해.
• 기본군의 단사성과 $\widetilde{B}(i)$의 약성에 대한 잘못된 가정으로 인해 이전 결과가 실패한 경우를 해결하기 위해.
• 기존 결과를 비수축성 기저 쌍과 무한 복합체로 일반화하여, 모멘트-각도 복합체와 오른쪽-각도 빌딩에 관한 결과를 확장하기 위해.

제안 방법

• 기저 복합체 $L$가 유한한 부분복합체들에 대한 합성위상으로 정의된 $\mathbf{A}^L$를, 조건 (I) 유한히 많은 비기본점 좌표와 (II) $L$ 내 단체를 형성하는 지지부를 만족하는 $\prod_{i\in I} A(i)$ 의 부분공간으로 정의한다.
• 만약 $L$가 무한할 경우, $\mathbf{A}^L$에 유한 부분복합체들에 대한 합성위상 구조를 도입한다.
• 집합 $I^{\prime\prime}$, $I_1$, $I_2$, 그리고 $I^\prime = I_2 \cup I^{\prime\prime}$를 정의하고, $L^\prime = \langle I^\prime \rangle$를 통해 핵심 성분을 분리한다.
• 체 기반의 약성 조건 $(*)$을 도입하여 다면체 곱의 겉면 덮개에서 깔끔한 호몰로지 행동을 보장한다.
• 스매시 곱의 형식을 이용한 호몰로지 기준을 적용하여, [1, Thm. 2.21]의 공식을 활용해 비자명한 호몰로지를 탐지한다.
• $\widetilde{\mathbf{A}}^L$가 $\widetilde{\mathbf{A}}^{L^\prime}$와 호모토피 동치임을 보여 $\widetilde{\mathbf{A}}^{L^\prime}$가 조인 분해와 약성으로 인해 수축 가능함을 증명함으로써 $\widetilde{\mathbf{A}}^L$가 수축 가능하다는 것을 확립한다.

실험 결과

연구 질문

• RQ1 기저 복합체 $L$가 무한할 경우, 다면체 곱 $\mathbf{A}^L$가 비구면이 되기 위한 필수 및 충분조건은 무엇인가?
• RQ2 기본군의 단사성 실패나 $\widetilde{B}(i)$의 약성에 대한 오류 가정이 $\mathbf{A}^L$의 비구면성에 어떤 영향을 미치는가?
• RQ3 가정 (a)와 (b)가 만족되지 않을 경우, [4, Theorem 2.22]의 이전 기준은 어떻게 수정되어야 하는가?
• RQ4 $L^\prime = \langle I_2 \rangle * L^{\prime\prime}$의 분해는 $\mathbf{A}^L$의 비구면성과 어떤 관계가 있는가?
• RQ5 비수축성 $B(i)$가 존재할 경우, $\mathbf{A}^L$의 겉면 덮개가 여전히 수축 가능해지기 위한 조건은 무엇인가?

주요 결과

• 다면체 곱 $\mathbf{A}^L$의 수정된 비구면 조건은 각 $A(i)$가 비구면이어야 하고, $L^\prime$에서 원뿔형이 아닌 각 $i \in I^\prime$에 대해 쌍 $(A(i), B(i))$가 비구면이어야 한다는 것이다.
• $L^\prime$은 플래그 복합체여야 하고, $\langle I_2 \rangle * L^{\prime\prime}$로 분해되어야 하며, 여기서 $I_2$는 체 $\mathbb{F}$에 대해 비-약성인 $\widetilde{B}(i)$를 인덱싱한다.
• $I^{\prime\prime}$는 $|E_i| \neq 1$인 정점들을 인덱싱하며, 이는 $L^{\prime\prime}$가 비자명한 기본군 기여를 포착한다는 것을 보장한다.
• $\widetilde{\mathbf{A}}^L$가 $\widetilde{\mathbf{A}}^{L^\prime}$와 호모토피 동치임을 증명함으로써 $\widetilde{\mathbf{A}}^L$가 수축 가능하다는 것을 보였으며, 이는 조인 구조와 약성에 의해 $\widetilde{\mathbf{A}}^{L^\prime}$가 수축 가능하다는 점에서 유도된다.
• 겉면 덮개의 호몰로지는 $\widetilde{B}(i)$들의 스매시 곱을 통해 비자명성을 탐지한다; $k$차 호몰로지가 0이 아니면 빈 $k$-단체가 존재함을 의미하며, 이는 비구면성과 모순된다.
• 체 기반의 가정 $(*)$은 $I_1 \cup I_2$가 $I - I^{\prime\prime}$를 분할함을 보장하며, 이는 호몰로지 추론과 최종 결론에 있어 필수적이다.