[논문 리뷰] Homotopical Intersection Theory, II: equivariance

John R. Klein, Bruce Williams|ArXiv.org|2008. 03. 02.

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

한 줄 요약

이 논문은 유한군 작용을 가진 다양체 위에서의 등변 교차 문제에 대해 호모토피 이론적 장애 이론을 개발한다. 매개변수화된 등변 스펙트럼을 사용하여 전이성 문제를 우회한다. 핵심 결과는 등변 맵 $ f: P \to N $ 가 $ G $-서브다양체 $ Q $ 와 이격될 수 있는지 여부를 결정하는 완전한 장애 $ e_G(f) \in H^0_G(P; \mathcal{E}(i_Q)) $ 로, 등변 메타안정 범위에서는 충분성이 보장된다.

ABSTRACT

This is the second in a series of papers. Here we develop here an intersection theory for manifolds equipped with an action of a finite group. As in our previous paper, our approach will be homotopy theoretic, enabling us to circumvent the specter of equivariant transversality. This theory has applications to embedding problems, equivariant fixed point theory and the problem of enumerating the periodic points of a self map of a compact smooth manifold.

연구 동기 및 목표

• 유한군 작용을 가진 등변 설정으로 호모토피적 교차 이론을 확장하기 위해.
• 등변 전이성의 실패를 호모토피 이론적 도구를 통해 극복하기 위해.
• 등변 임bedding 및 고정점 문제를 해결하기 위한 등변 코homology 내에서 완전한 장애를 구성하기 위해.
• 등변 역학에서 주기적 점 문제와 니엘슨 수 추측에 이 이론을 적용하기 위해.

제안 방법

• 포함사상 $ i_Q: Q \subset N $ 에서 다양체 $ N $ 위에 기본적인 매개변수화된 $ G $-스펙트럼 $ \mathcal{E}(i_Q) $ 를 구성한다.
• 맵 $ f: P \to N $ 를 사용하여 등변 장애 클래스 $ e_G(f) \in H^0_G(P; \mathcal{E}(i_Q)) $ 를 정의한다.
• 등변 푸앵카레 dualit 및 보완 공식을 사용하여 장애를 안정적 정규 자료와 연결한다.
• 톰 다이크 분해를 적용하여 등변 bordism 군을 고정점 성분으로 분해한다.
• 색인 함수의 프로젝션과 푸시포워드를 사용하여 $ G $-공간 전반에서 등장하는 이소트로피 자료를 추적한다.
• 프레임된 bordism 를 통한 호모토피 피보터 제품과의 연결을 통해 장애와 니엘슨 수 사이의 관계를 설정한다.

실험 결과

연구 질문

• RQ1 등변 맵 $ f: P \to N $ 가 $ G $-서브다양체 $ Q \subset N $ 를 피할 수 있는 조건은 무엇인가?
• RQ2 메타안정 범위에서 이러한 등변 교차 문제를 해결하기 위한 완전한 장애는 무엇인가?
• RQ3 장애 $ e_G(f) $ 는 주기적 점 이론에서 고전적 불변량인 니엘슨 수와 어떻게 관련이 있는가?
• RQ4 $ n $-주기적 점이 없는 맵의 존재 여부를 어떻게 프레임된 bordism 를 통해 장애가 탐지할 수 있는가?
• RQ5 장애 $ e_G(f) $ 는 니엘슨 수 $ N(f^k) $ 의 영이 되는 것과 동치인가?

주요 결과

• 장애 $ e_G(f) \in H^0_G(P; \mathcal{E}(i_Q)) $ 는 모든 $ (H) \in \mathcal{I}(G;P) $ 에 대해 $ p^H \leq 2f^*(i_Q)_!\operatorname{cd}_H(i_Q) - 3 $ 라는 조건 하에서, $ f $ 가 $ Q $ 와 이격된 등변 호모토피를 갖는다.
• 장애 $ e_G(f) $ 는 매개변수화된 $ G $-스펙트럼 $ \mathcal{E}(i_Q) $ 에서 유도되며, 전이성에 의존하지 않는 호모토피 이론적 접근법을 가능하게 한다.
• 불변량 $ \ell_n(f) \in \Omega_0^{\mathbb{Z}_n, \text{fr}}(\text{ho}P_n(f)) $ 는 $ n $-주기적 점이 없는 맵를 탐지하며, $ \dim M \geq 3 $ 일 때 $ \ell_n(f) = 0 $ 이면 해당 호모토피가 존재함을 의미한다.
• 논문의 추측에 따르면, $ \mathcal{N}_k(f) $ 는 $ \ell_n^k(f) $ 에서 영이 아닌 항의 수이며, 이는 $ \pi_0(E\mathbb{Z}_k \times_{\mathbb{Z}_k} \text{ho}P_k(f)) \cong \pi_{\rho,k} $ 라는 동형사상에 의해 지지된다.
• 톰 다이크 분해를 통해 등변 bordism 군은 이소트로피 부분군에 의해 인덱싱된 성분들로 분해되며, 이는 고정점 자료를 통해 장애를 계산하는 데 유용하다.
• 정리 J 의 증명은 $ \pi_0(E\mathbb{Z}_k \times_{\mathbb{Z}_k} \text{ho}P_k(f)) \cong \pi_{\rho,k} $ 를 확인하여, 장애와 니엘슨 이론 사이의 연결 고리를 확인한다.