[논문 리뷰] Operations on polyhedral products and a new topological construction of infinite families of toric manifolds

Abbas Bahri, Martin Bendersky외 2명|arXiv (Cornell University)|2010. 10. 30.

Advanced Combinatorial Mathematics참고 문헌 25인용 수 12

한 줄 요약

이 논문은 단일 토릭 다양체에서 유한한 무한 가족의 토릭 다양체를 구성하기 위해 단체 복합체에 대한 새로운 조합적 연산을 도입한다. 이는 다면체 제품과 일반화된 모멘트-각도 복합체를 사용한다. 주요 기여는 새로운 다양체 $M(J)$의 정수 계수 코homology 링을 원래 다면체와 특성 지도의 용어로 완전히 기술하는 것으로, 간단한 위상수학적 불변량을 갖는 토릭 다양체의 체계적 생성을 가능하게 한다.

ABSTRACT

A combinatorial construction is used to analyze the properties of polyhedral products and generalized moment-angle complexes with respect to certain operations on CW pairs including exponentiation. This allows for the construction of infinite families of toric manifolds, associated to a given one, in a way which simplifies the combinatorial input and consequently, the presentation of the cohomology rings. The new input is the interaction of a purely combinatorial construction with natural associated geometric constructions related to polyhedral products and toric manifolds. Applications of the methods and results developed here have appeared in literature.

연구 동기 및 목표

• 주어진 하나의 토릭 다양체에서 무한 가족의 토릭 다양체를 체계적으로 생성하는 방법을 개발하기 위해.
• 토릭 다양체의 코homology 링을 기술하기 위해 필요한 조합적 및 코homological 입력을 단순화하기 위해.
• 등변 호메오모르피즘을 통한 일반화된 모멘트-각도 복합체와 표준적인 다면체 제품 사이의 위상적 동치를 확립하기 위해.
• 원래 자료의 용어로 새로운 토릭 다양체 $M(J)$의 완전한 코homological 기술을 제공하기 위해.
• 표준 $H^2$-구조를 유지하면서 코homology 맵이 전형적인 임베딩을 갖는 중첩된 토릭 다양체의 순서를 구성하기 위해.

제안 방법

• m개의 꼭짓점을 가진 단체 복합체에 대해 $J = (j_1, \dots, j_m)$의 양의 정수열을 사용하여, $d(J) = \sum j_i$개의 꼭짓점을 갖는 새로운 복합체 $K(J)$를 만드는 연산 $J$를 정의한다.
• 정리 7.5에 의해, 다면체 제품 $Z(K(J); (D^2, S^1))$가 $Z(K; (D^{2J}, S^{2J-1}))$와 등변 호메오모르픽임을 보여, 일반화된 모멘트-각도 복합체와 표준 복합체를 연결한다.
• 신규 토릭 다양체 $M(J)$의 코homology는 $Z(K; (\mathbb{C}P^\infty, \mathbb{C}P^{J-1})) \to BT^m$의 필베이션에 대한 세르 스펙트럴 시퀀스로부터 유도되며, $H^*(M(J); \mathbb{Z})$는 $\mathbb{Z}[v_1, \dots, v_m]$의 아이디얼 $I_K^J + L_M$에 대한 몫으로 식별된다.
• 디비스-자누스키에이 공간을 모델로 사용하며, $BT^n$에서 $BT^m$으로 가는 맵 $p^*$는 특성 지도 $\lambda$를 코딩하고 아이디얼 $L_M$을 정의한다.
• 직접 곱 순서에 기반한 중첩 구조를 도입하여 $J < L$에 대해 임베딩 $M(J) \subset M(L)$을 얻으며, 정규(bundle)은 $\bigoplus (l_i - j_i)\alpha_i$가 된다.
• 스펙트럴 시퀀스 붕괴와 다이어그램 추적을 통해, $i^*: H^k(M(L)) \to H^k(M(J))$의 코homology 맵이 모든 $k$에 대해 전형이며, $k=2$에선 동형임을 보였다.

실험 결과

연구 질문

• RQ1 어떻게 주어진 하나의 토릭 다양체에서 체계적으로 무한 가족의 토릭 다양체를 생성할 수 있는가?
• RQ2 원래 다면체와 특성 지도의 용어로 새로운 토릭 다양체 $M(J)$의 코homology 링의 정확한 구조는 무엇인가?
• RQ3 등변 위상수학을 통해 일반화된 모멘트-각도 복합체는 표준적인 다면체 제품과 어떻게 관련되어 있는가?
• RQ4 순서 $J < L$에 대해 임베딩 $M(J) \subset M(L)$의 위상적 성질은 무엇이며, 코homology에 어떤 영향을 미치는가?
• RQ5 특성 지도 $\lambda$의 불변량은 중첩된 토릭 다양체 가족에서 미분형 또는 호모토피 동치를 감지할 수 있는가?

주요 결과

• 신규 토릭 다양체 $M(J)$의 코homology 링은 $\mathbb{Z}[v_1, \dots, v_m]/(I_K^J + L_M)$과 동형이며, 여기서 $I_K^J$는 복합체 $K(J)$에서 유래하고 $L_M$은 원래 특성 지도 $\lambda$에서 유래한다.
• 다면체 제품 $Z(K(J); (D^2, S^1))$는 $Z(K; (D^{2J}, S^{2J-1}))$와 등변 호메오모르픽이며, 이는 일반화된 복합체와 표준 복합체 사이의 위상적 동치를 확립한다.
• 세르 스펙트럴 시퀀스에서 맵 $p^*$는 $(\alpha^{-1})^* \circ (p_1^* \circ s^*)$의 복합으로 식별되며, 그 이미지는 코homology 몫에서 아이디얼 $L_M$을 생성한다.
• $J < L$에 대해 임베딩 $\zeta: M(J) \to M(L)$의 정규(bundle)은 $\bigoplus_{i=1}^m (l_i - j_i)\alpha_i$이며, 여기서 $c_1(\alpha_i) = v_i$이다.
• $i^*: H^k(M(L)) \to H^k(M(J))$의 코homology 맵은 모든 $k$에 대해 전형이며, 스펙트럴 시퀀스 붕괴와 필베이션의 구조 덕분에 $k=2$에선 동형이다.
• 코homology 맵이 전형적이고 $k=2$에선 동형이며, $d(J_i) = m + i$인 중첩된 토릭 다양체의 순서 $M(J_0) \subset M(J_1) \subset \cdots$가 구성되었으며, 각 임베딩의 코드림은 2이며, 코homology 맵은 전형적이고 $k=2$에선 동형이다.