[논문 리뷰] Orbifolds and stable homotopy groups

Johann Leida|ArXiv.org|2005. 05. 20.

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

한 줄 요약

이 논문은 리 군oids와 고정점 세그먼트를 이용하여 내재된 안정적 오비포ลด 호모토피 군과 확장된 불안정한 오비포ลด 호모토피 군을 도입하며, 고전적 오비포ลด 호모토피 불변량을 일반화한다. 톰 다이크의 등변 안정 호모토피에 대한 정리에 기반하여, 자리를 바꾸어도 변하지 않는 불변량을 정의함으로써 이소트로피와 고정점 데이터를 포괄하며, 이러한 군들이 오비포ลด 불변량임을 증명한다. 특히 전역 몰입의 경우, 서로 다른 표현에 대한 안정 호모토피 군 간의 동형사상이 확립된다.

ABSTRACT

Lie groupoids generalize transformation groups, and so provide a natural language for studying orbifolds and other noncommutative geometries. In this paper, we investigate a connection between orbifolds and equivariant stable homotopy theory using such groupoids. A different sort of twisted sector, along with a classical theorem of tom Dieck, allows for a natural definition of stable orbifold homotopy groups, and motivates defining extended unstable orbifold homotopy groups generalizing previous definitions.

연구 동기 및 목표

• 동일한 분류공간을 가졌지만 이소트로피 구조가 다른 오비포ลด를 구분하는 데에 실패하는 고전적 오비포ลด 호모토피 군의 부족함을 해결하기 위해.
• 등변 안정 호모토피 이론에 영감을 받아, 모든 이소트로피 부분군을 포함하는 고정점 데이터를 통합한 안정 오비포ลด 호모토피 군을 정의하기 위해.
• 이 새로운 불변량이 모리타 불변량임을 증명하여, 오비포ลด의 구조에 진정으로 내재된 성질임을 보장하기 위해.
• 전역 몰입 오비포ลด의 경우, 총 안정 등변 호모토피 군이 오비포ลด 불변량임을 증명하여 오비포ลด K-이론의 결과를 일반화하기 위해.

제안 방법

• 오비포ลด 군oids $\mathcal{G}$ 에서 유도된 고정점 세그먼트의 군oids $\widetilde{\mathcal{G}}$ 를 이용하여, 안정 오비포ลด 호모토피 군을 $\varpi^{\mathrm{orb}}_{n}(\mathfrak{X}) := \varpi_{n}(B\widetilde{\mathcal{G}}_{+})$ 로 정의한다.
• 기저점이 고정점 세그먼트에 속하는 $\hat{\pi}^{\mathrm{orb}}_{n}(\mathfrak{X},(x,H)) := \pi_{n}(B\widetilde{\mathcal{G}},[x,H])$ 를 통해 확장된 불안정 오비포ลด 호모토피 군을 정의한다.
• 등변 안정 호모토피와 오비포ลด 불변량을 연결하기 위해 톰 다이크의 동형사상 $\varpi_{n}^{G}(X) \cong \bigoplus_{(H)} \varpi^{W_{G}H}_{n}(EW_{G}H_{+} \wedge X^{H})$ 을 적용한다.
• 분류공간의 등변 호모토피 유형과 연관시키기 위해 보렐 구성 $EG \times_G M \simeq B(G \ltimes M)$ 을 사용한다.
• 단순형 군oids 모델을 통해 $B(G \ltimes M)$ 과 $EG \times_G M$ 사이의 호모토피 동치를 구축함으로써 시그랄의 주장 일반화한다.
• 유 endomorphism 군의 경우 $d(H)$ 가 0이 되므로, 동일한 오비포ลด의 서로 다른 전역 몰입 표현에 대한 안정 호모토피 군 간의 동형사상을 확립한다.

실험 결과

연구 질문

• RQ1 고정점 데이터에 기반하여, 특정 군 작용이나 표현에 의존하지 않는 내재적인 오비포ลด 안정 호모토피 군을 정의할 수 있는가?
• RQ2 고정점 세그먼트와 이소트로피 부분군이 모델 이론적 관점에서 오비포ลด의 호모토피 유형을 어느 정도 결정하는가?
• RQ3 동일한 오비포ลด의 서로 다른 전역 몰입 표현에 대한 안정 등변 호모토피 군은 서로 동형인가?
• RQ4 새로운 안정 오비포ลด 호모토피 군의 정의는 고전적 오비포ลด 호모토피 이론과 등변 안정 호모토피 이론과 어떻게 관련되는가?
• RQ5 이 새로운 호모토피 군이 약한 동치를 감지할 수 있도록, 오비포ลด 또는 리 군oids의 카테고리에 모델 구조를 구성할 수 있는가?

주요 결과

• 안정 오비포ลด 호모토피 군 $\varpi^{\mathrm{orb}}_{n}(\mathfrak{X})$ 와 확장된 불안정 오비포ลด 호모토피 군 $\hat{\pi}^{\mathrm{orb}}_{n}(\mathfrak{X},(x,H))$ 이 모리타 불변량임이 증명되었으며, 따라서 오비포ลด에 내재된 성질이다.
• 전역 몰입 오비포ลด $\mathfrak{X} = M/G$ 의 경우, 총 안정 등변 호모토피 군 $\varpi^{G}_{\mathrm{tot}}(M_{+})$ 는 오비포ลด 불변량이다.
• 유한 군 몰입의 경우, 동일한 오비포ลด $\mathfrak{X}$ 의 두 전역 몰입 표현에 대해 $\varpi^{G}_{n}(M_{+}) \cong \varpi^{G'}_{n}(M'_{+})$ 이 성립한다.
• 고정점 세그먼트를 유한 군에서 군oids로의 호모모르피즘 사상의 사상 공간과 연관지켜, 스택과 스킴과의 유사성을 도출한다.
• 유한 군의 경우 동형사상의 증명은 톰 다이크의 정리와 유한 군에 대해 차원 함수 $d(H)$ 가 0이 되는 사실에 기반하여 직접적으로 유도된다.
• 논문은 향후 오비포ลด 또는 리 군oids의 카테고리에 대한 모델 구조를 구성할 경우, 이러한 불변량을 이용해 오비포ลด 간의 호모토피 동치를 형식화할 수 있을 것이라 제안한다.