[논문 리뷰] Torus actions of complexity one in non-general position

Anton Ayzenberg, Vladislav Cherepanov|Osaka City University (Osaka City University)|2019. 05. 12.

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

한 줄 요약

이 논문은 고립된 고정점과 비영인 홀수 차수 유리호모로지 조건을 만족하는 매끄럽고 컴act한 다양체 위에서 복잡도 1의 효과적인 해밀토니안 토르스 작용을 구성하여, 궤도 공간이 임의의 유한 심플리시얼 복합체의 삼중 스터핑과 호모토피 동치가 될 수 있음을 보여준다. 페르뮤토헤드랄 다양체 위의 프로젝티브 라인 번들의 사용과 반복적인 앨리크산더 쌍대성의 응용을 통해, 공호모로지 등기형성 조건 하에서도 궤도 공간이 3차 이상의 임의의 호모로지를 실현할 수 있음을 증명한다.

ABSTRACT

Let the compact torus $T^{n-1}$ act on a smooth compact manifold $X^{2n}$ effectively with nonempty finite set of fixed points. We pose the question: what can be said about the orbit space $X^{2n}/T^{n-1}$ if the action is cohomologically equivariantly formal (which essentially means that $H^{odd}(X^{2n};\mathbb{Z})=0$). It happens that homology of the orbit space can be arbitrary in degrees $3$ and higher. For any finite simplicial complex $L$ we construct an equivariantly formal manifold $X^{2n}$ such that $X^{2n}/T^{n-1}$ is homotopy equivalent to $Σ^3L$. The constructed manifold $X^{2n}$ is the total space of the projective line bundle over the permutohedral variety hence the action on $X^{2n}$ is Hamiltonian and cohomologically equivariantly formal. We introduce the notion of the action in $j$-general position and prove that, for any simplicial complex $M$, there exists an equivariantly formal action of complexity one in $j$-general position such that its orbit space is homotopy equivalent to $Σ^{j+2}M$.

연구 동기 및 목표

• 접선 가중치가 일반 위치에 있지 않은 경우 복잡도 1 토르스 작용의 궤도 공간 위상구조를 조사하는 것.
• 공호모로지 등기형성 조건을 만족하고 고립된 고정점이 존재하는 작용이 고차수에서 임의의 호모로지를 가진 궤도 공간을 유도할 수 있는지 확인하는 것.
• 고정점에서의 접선 가중치에 대한 $j$-일반 위치 개념을 도입하고 연구하는 것.
• 스터핑을 통한 구체적 다양체를 구성하여 주어진 유한 심플리시얼 복합체를 궤도 공간의 호모토피 유형으로 실현하는 것.

제안 방법

• 퍼뮤토헤드랄 토릭 다양체 위의 프로젝티브 라인 번들의 총공간으로서 다양체 $X_{\tilde{L}}^{2n}$을 구성한다.
• 조합론적 앨리크산더 쌍대성을 두 번 적용: 첫째, 궤도 공간을 구면 내의 부분복합체의 여집합과 연결하고, 둘째, 궤도 공간의 호모로지와 쌍대 복합체의 호모로지를 연결한다.
• $j$-일반 위치 조건을 사용하여 특별한 부분복합체 $K_{\text{sp}}$ 의 차원을 제어함으로써 궤도 공간의 저차수 호모로지의 소멸을 보장한다.
• 심플리시얼 복합체에 대한 스터핑 유사 연산 $s(\bullet)$ 를 정의하여 이웃성(neighborliness)을 증가시키면서도 호모토피 유형을 유지함으로써, $\Sigma^{j+2}M$ 이 궤도 공간으로 실현 가능하게 한다.
• 공호모로지 등기형성 조건인 $H^{\text{odd}}(X) = 0$ 이 성립하면 세르 스펙트럴 시퀀스가 $E_2$ 에서 붕괴됨을 이용한다.
• 쌍대성과 스터핑 호모토피 동치의 사슬을 통해 궤도 공간 $Q^{n+1} = X^{2n}/T^{n-1}$ 이 $\Sigma^3 L$ 과 호모토피 동치임을 증명한다.

실험 결과

연구 질문

• RQ1 공호모로지 등기형성 조건을 만족하는 복잡도 1 토르스 작용의 궤도 공간이 3차 이상에서 임의의 호모로지를 가질 수 있는가?
• RQ2 고정점에서 접선 가중치가 일반 위치에 있지 않을 경우 궤도 공간에 어떤 위상적 제약 조건이 발생하는가?
• RQ3 $j$-일반 위치 개념이 고전적 일반 위치 조건을 어떻게 정교화하고 궤도 공간의 호모토피 유형에 영향을 미치는가?
• RQ4 임의의 유한 심플리시얼 복합체 $L$ 이 이러한 작용의 궤도 공간의 호모토피 유형으로 실현될 수 있는가?
• RQ5 페르뮤토헤드랄 다양체와 프로젝티브 라인 번들의 역할은 이러한 작용의 궤도 공간 위상 구조를 사전에 지정하는 데 어떤 기여를 하는가?

주요 결과

• 모든 유한 심플리시얼 복합체 $L$ 에 대해, $H^{\text{odd}}(X_{\tilde{L}}^{2n}) = 0$ 이고 고립된 고정점이 존재하는 닫힌 매끄러운 다양체 $X_{\tilde{L}}^{2n}$ 과 효과적인 $T^{n-1}$-작용이 존재하여 $X_{\tilde{L}}^{2n}/T^{n-1} \simeq \Sigma^3 L$ 이다.
• 궤도 공간 $Q^{n+1}$ 은 차수 0, 1, 2에서 퇴화된 호모로지가 없으며, 모든 $i \geq 0$ 에 대해 $\widetilde{H}_{i+3}(Q^{n+1}) \cong \widetilde{H}_i(L)$ 를 만족한다.
• 구성된 다양체 $X_{\tilde{L}}^{2n}$ 은 페르뮤토헤드랄 다양체 위의 프로젝티브 라인 번들의 총공간이므로, 이 작용은 해밀토니안이고 등기형성 조건을 만족한다.
• 모든 유한 심플리시얼 복합체 $M$ 과 정수 $j \geq 1$ 에 대해, $j$-일반 위치 조건을 만족하는 작용이 존재하여 궤도 공간이 $\Sigma^{j+2}M$ 과 호모토피 동치가 된다.
• 이 구성은 반복적인 앨리크산더 쌍대성과 호모토피 유형을 유지하면서 이웃성을 증가시키는 스터핑 유사 연산 $s(\cdot)$ 에 의존한다.
• 특수한 경우인 $L = \partial\Delta^{n-1}$ 은 일반 위치에 해당하며 호모로지 구를 유도하지만, 이 경우는 예외적이며 일반적인 비일반 위치 행동의 특성을 반영하지 못한다.