[논문 리뷰] A Stringy Product on Twisted Orbifold K-theory

Alejandro Ádem, Yongbin Ruan외 1명|ArXiv.org|2006. 05. 18.

Homotopy and Cohomology in Algebraic Topology참고 문헌 24인용 수 21

한 줄 요약

이 논문은 컴act하고 약간 복소 구조를 가진 오비폴드 $\mathcal{X}$ 에 대해, $H^4(B\mathcal{X}, \mathbb{Z})$ 에서 $H^3(B\wedge\mathcal{X}, \mathbb{Z})$ 로의 역 전도를 사용하여 정의된, 외부 토폴로지가 부여된 오비폴드 K-이론 위에 연관된 스트링스러운 곱을 제안한다. 이 구성은 고장된 벡터 번들의 수정을 포함함으로써 페트리아노 곱과 채른-룬 코homology 곱을 일반화하며, 고정점 집합의 비교형 교차 문제를 해결하고, 인ertia 오비폴드 위의 당김과 K-이론 클래스를 포함하는 기하학적 프로젝션 공식을 통해 결합의 결합법칙을 보장한다.

ABSTRACT

In this paper we define an associative stringy product for the twisted orbifold K-theory of a compact, almost complex orbifold X. This product is defined on the twisted K-theory of the inertia orbifold of X, where the twisting gerbe is assumed to be in the image of the inverse transgression map.

연구 동기 및 목표

• 외부 토폴로지가 부여된 오비폴드 K-이론 위에 페트리아노 곱과 채른-룬 곱을 일반화하는 결합법칙을 만족하는 곱을 정의하는 것.
• 고정점 집합에서의 비비교형 교차 문제를 고장된 벡터 번지의 수정을 통해 해결하는 것.
• 스트링스러운 곱의 구조가 $H^3(B\mathcal{X}, \mathbb{Z})$ 가 아니라 $H^4(B\mathcal{X}, \mathbb{Z})$ 를 통해 역 전도를 통해 유도된다는 것을 보여주는 것.
• 오비폴드의 외부 K-이론 맥락에서 채른-룬 곱에 대응하는 K-이론적 대응체를 수립하는 것.

제안 방법

• 인ertia 오비폴드 $\wedge\mathcal{X}$ 에서 당김 $e_1^*, e_2^*$ 와 프로젝션 $e_{12*}$ 를 사용하여 스트링스러운 곱을 정의하고, 수정 항 $e_K(E_{\mathcal{G}^2})$ 를 포함한다.
• 외부 토폴로지에 사용하기 위해 $\theta: H^4(B\mathcal{X}, \mathbb{Z}) \to H^3(B\wedge\mathcal{X}, \mathbb{Z})$ 를 통해 4-류를 3-류로 올리는 역 전도를 사용한다.
• 고정점 집합에서의 비비교형 교차를 다루기 위해 깔끔한 교차 공식을 적용하여 곱의 잘 정의됨을 보장한다.
• 다른 외부 토폴로지에 대응하는 K-이론 클래스를 동치로 만드는 표준 동형사상 $^\gamma K({\mathcal{G}}^2) \cong {}^{e_{12}^*\theta(\phi)}K({\mathcal{G}}^2)$ 을 사용한다.
• 인피니티 오비폴드 $\mathcal{G}^3$ 에서의 치환 $I_3$ 을 활용하여 삼중 곱의 순서를 바꾸고, K-이론 사상의 공변성에 의해 결합법칙을 증명한다.
• 당김, 프로젝션, $I_3^*$ 에 대한 불변성에 기반하여 $ (\alpha \star \beta) \star \gamma = \alpha \star (\beta \star \gamma) $ 를 검증함으로써 결합법칙을 입증한다.

실험 결과

연구 질문

• RQ1 외부 토폴로지가 부여된 오비폴드 K-이론 위에 페트리아노 곱과 채른-룬 곱을 일반화하는 결합법칙을 만족하는 스트링스러운 곱을 정의할 수 있는가?
• RQ2 스트링스러운 곱의 구조는 $H^3(B\mathcal{X}, \mathbb{Z})$ 가 아니라 $H^4(B\mathcal{X}, \mathbb{Z})$ 에 의존하는가?
• RQ3 고정점 집합에서의 비비교형 교차는 어떻게 수정되어야 하며, K-이론에서 잘 정의된 곱을 정의할 수 있는가?
• RQ4 $^\tau K_{\text{orb}}(\wedge\mathcal{X})$ 에 대해 채른-룬 곱과 유사한 기하학적 곱을 구성할 수 있는가?
• RQ5 군의 그룹oid 수준의 구성과 프로젝션-당김 공식을 사용하여 스트링스러운 곱의 결합법칙을 증명할 수 있는가?

주요 결과

• 논문은 컴팩트하고 약간 복소 구조를 가진 오비폴드 $\mathcal{X}$ 와 $\tau$ 가 역 전도의 이미지에 속할 경우, $^\tau K_{\text{orb}}(\wedge\mathcal{X})$ 에 대해 결합법칙을 만족하는 스트링스러운 곱을 구성한다.
• 곱은 $\alpha \star \beta = e_{12*}(e_1^*\alpha \cdot e_2^*\beta \cdot e_K(E_{\mathcal{G}^2}))$ 로 정의되며, 고장된 벡터 번지의 K-이론 클래스에 의한 수정을 포함한다.
• 결합법칙은 $\mathcal{G}^3$ 에 당김하고 $I_3$ 에 대한 치환을 적용했을 때, $ (\alpha \star \beta) \star \gamma $ 와 $ \alpha \star (\beta \star \gamma) $ 가 동일한 표현으로 줄어듦을 보여줌으로써 증명된다.
• 이 구성은 외부 토폴로지가 외부 코homology 클래스의 코 boundary 차이가 나는 경우에도 K-이론 클래스 간의 표준 동형사상을 통해 일관성을 확보한다.
• 핵심 통찰은 외부 토폴로지 클래스가 $H^3(B\mathcal{X}, \mathbb{Z})$ 가 아니라 $H^4(B\mathcal{X}, \mathbb{Z})$ 를 통해 역 전도를 통해 유도된다는 점이며, 이는 스트링스러운 곱의 기원을 재정의한다.
• 이 곱은 외부 페트리아노 곱과 채른-룬 코homology 곱을 일반화하며, 스트링스러운 코homology 곱에 대응하는 K-이론적 대응체를 수립한다.