[논문 리뷰] Homology of torus spaces with acyclic proper faces of the orbit space

Anton Ayzenberg|arXiv (Cornell University)|2014. 05. 19.

Geometric and Algebraic Topology참고 문헌 9인용 수 4

한 줄 요약

이 논문은 궤도 공간의 비자명한 면이 약순환인 토르스 다양체를 위해 호모로지 스펙트럴 시퀀스를 개발하며, 자유 부분이 비틀림이 없을 경우 전체 스펙트럴 시퀀스가 궤도 공간의 호모로지와 조합론에 의해 기술될 수 있음을 보여준다. 핵심 결과는 이러한 다양체의 호모로지에 대한 완전한 덧셈적 기술이며, 베티 수와 면 링을 선형 매개변수 체계로 나눈 링에서 코homology 링으로 가는 사상의 핵에 대한 명시적 공식이 포함되어 있다.

ABSTRACT

Let $X$ be 2n-dimensional compact manifold with a locally standard action of a compact torus. The orbit space $X/T$ is a manifold with corners. Suppose that all proper faces of $X/T$ are acyclic. In the paper we study the homological spectral sequence $E^*_{*,*}\Rightarrow H_*(X)$ corresponding to the filtration of $X$ by orbit types. When the free part of the action is not twisted, we describe the whole spectral sequence in terms of homology and combinatorial structure of $X/T$. In this case we describe the kernel and the cokernel of the natural map $k[X/T]/(l.s.o.p.) o H_*(X)$, where $k[X/T]$ is a face ring of $X/T$ and $(l.s.o.p.)$ is the ideal generated by a linear system of parameters (this ideal appears as the image of $H^{>0}(BT)$ in equivariant cohomology. There exists a natural double grading on $H_*(X)$, which satisfies bigraded Poincare duality. This general theory is applied to compute homology groups of origami toric manifolds with acyclic proper faces of the orbit space. A number of natural generalizations is considered. These include Buchsbaum simplicial complexes and posets. h'- and h''-numbers of simplicial posets appear as the ranks of certain terms in the spectral sequence $E^*_{*,*}$. In particular, using topological argument we show that Buchsbaum posets have nonnegative h''-vectors. The proofs of this paper rely on the theory of cellular sheaves. We associate to a torus space certain sheaves and cosheaves on the underlying simplicial poset, and observe an interesting duality between these objects. This duality seems to be a version of Poincare-Verdier duality between cellular sheaves and cosheaves.

연구 동기 및 목표

• 궤도 공간의 비자명한 면이 약순환일 경우 궤도 공간의 위상수학과 조합론에 따라 토르스 다양체의 호모로지를 기술하는 것.
• 특히 주 토르스 번들의 구조가 자명일 경우 궤도 유형 필터링과 관련된 스펙트럴 시퀀스의 구조를 규명하는 것.
• 면 링을 선형 매개변수 체계로 나눈 링에서 다양체의 코homology 링으로 가는 자연스러운 사상의 핵과 상위를 특성화하는 것.
• 기저가 되는 단순형 포지셋 위의 세포적 셰브와 코셰브 사이의 이중성 관계를 규명하여 위상수학적 이중성과 조합적 불변량을 연결하는 것.
• 이론을 적용하여 옵리가 토릭 다양체의 호모로지를 계산하고, 부크스바움 포지셋에 대해 $h''$-벡터의 비음성을 증명하는 것.

제안 방법

• 궤도 유형 필터링을 사용하여 토르스 공간 $X$의 호모로지로 수렴하는 스펙트럴 시퀀스 ${{}^{X}}\negmedspace E^{r}_{*,*} \Rightarrow H_*(X)$를 구성하는 것.
• 주 토르스 번들이 자명할 경우, $Y = Q \times T^n$ 이면 ${{}^{X}}\negmedspace E^{2}_{*,*}$ 를 ${{}^{Y}}\negmedspace E^{2}_{*,*}$ 와 연결함으로써 스펙트럴 시퀀스를 궤도 공간 $Q = X/T$ 로 축소하는 것.
• 단순형 포지셋의 이중성에 기반한 세포적 셰브와 코셰브 이론을 적용하여, Poincaré–Verdier 유형의 이중성을 확립하는 것.
• 단순형 포지셋의 면 벡터와 $h'$-, $h''$-수를 사용하여 스펙트럴 시퀀스 항의 계수를 계산하는 것.
• 등변 순환과 선형 매개변수 체계로부터 유도된 관계를 통해 $\Bbbk[S]/\Theta \to H^*(X)$ 사상의 핵을 명시적으로 기술하는 것.
• 기본 모델을 주 $T^n$-번들의 형태로 $Q$ 위에 구성함으로써 일반 문제를 자명한 번들로의 축소하는 것.

실험 결과

연구 질문

• RQ1 궤도 공간 자체는 약순환일 수 없지만 모든 비자명한 면이 약순환일 경우 토르스 다양체의 호모로지는 어떻게 기술할 수 있는가?
• RQ2 주 토르스 번들이 자명할 경우 궤도 유형 필터링과 관련된 스펙트럴 시퀀스 ${{}^{X}}\negmedspace E^{r}_{*,*}$ 의 구조는 어떠한가?
• RQ3 궤도 공간의 이중 단순형 포지셋의 $h'$- 및 $h''$-수는 토르스 다양체의 호모로지와 어떻게 관련이 있는가?
• RQ4 자연스러운 사상 $\Bbbk[S]/\Theta \to H^*(X)$ 의 핵은 무엇이며, 등변 순환의 관점에서 어떻게 기술되는가?
• RQ5 세포적 셰브와 코셰브 사이의 이중성은 부크스바움 포지셋에 대해 $h''$-벡터의 비음성을 증명하는 데 사용될 수 있는가?

주요 결과

• 주 번들이 자명할 경우 스펙트럴 시퀀스 ${{}^{X}}\negmedspace E^{r}_{*,*}$ 는 궤도 공간 $Q$ 의 호모로지와 조합론에 의해 완전히 결정된다.
• X의 베티 수는 특성 매핑에 영향을 받지 않으며, 오직 $Q$ 의 조합론과 $b_1 = \dim H^1(Q)$ 에만 의존한다.
• ${{}^{X}}\negmedspace E^{\infty}_{q,q}$ 의 차원은 $q \neq n-2$ 에서는 $h'_{n-q}$ 이며, $\dim {{}^{X}}\nolimits^{\infty}_{n-2,n-2} = h'_2 - \binom{n}{2}b_1$ 이다.
• 직접 계산된 차원: $\dim H_{1,0}(X) = \dim H_{n,n-1}(X) = b_1$ 이고, $\dim H_{n,n-2}(X) = n b_1$ 이다.
• 사상 $\Bbbk[S]/\Theta \to H^*(X)$ 의 핵은 오직 차수 4에서만 비자명하며, 그 생성자는 관계 $L'_{\beta,A}$ 를 통해 기술된다.
• 부크스바움 포지셋의 $h''$-벡터는 비음성임을 위상수학적 이중성과 스펙트럴 시퀀스 분석을 통해 증명하였다.