[논문 리뷰] The Full Orbifold $K$-theory of Abelian Symplectic Quotients

Rebecca Goldin, Megumi Harada외 2명|ArXiv.org|2008. 12. 29.

Advanced Combinatorial Mathematics참고 문헌 20인용 수 3

한 줄 요약

이 논문은 관성 K-이론과 정수 계수 K-이론적 Kirwan 전성성의 활용으로 아벨 심플렉틱 몫공간의 전체 오비폴드 K-이론을 계산하는 명시적 알고리즘을 개발한다. 가중 투영 공간이 심플렉틱 몫공간으로서 유도되는 경우, 전체 오비폴드 K-이론이 정수 위에서 비틀림 없음을 증명하며, 고정점 데이터와 세그먼트 기여도로부터 유도된 생성자와 관계를 통해 정수 위에서의 완전한 표현을 제공한다.

ABSTRACT

In their 2007 paper, Jarvis, Kaufmann, and Kimura defined the full orbifold $K$-theory of an orbifold ${\mathfrak X}$, analogous to the Chen-Ruan orbifold cohomology of ${\mathfrak X}$ in that it uses the obstruction bundle as a quantum correction to the multiplicative structure. We give an explicit algorithm for the computation of this orbifold invariant in the case when ${\mathfrak X}$ arises as an abelian symplectic quotient. Our methods are integral $K$-theoretic analogues of those used in the orbifold cohomology case by Goldin, Holm, and Knutson in 2005. We rely on the $K$-theoretic Kirwan surjectivity methods developed by Harada and Landweber. As a worked class of examples, we compute the full orbifold $K$-theory of weighted projective spaces that occur as a symplectic quotient of a complex affine space by a circle. Our computations hold over the integers, and in the particular case of weighted projective spaces, we show that the associated invariant is torsion-free.

연구 동기 및 목표

• 아벨 심플렉틱 몫공간으로서 유도되는 오비폴드의 전체 오비폴드 K-이론을 정수 위에서 명시적으로 계산하는 체계적 방법을 개발하는 것.
• 이전의 스트링이론 K-이론 연구를 확장하여 국소적으로 자유롭지 않은 작용에 대해 관성 K-이론을 일반화하는 것.
• 심플렉틱 몫공간에 대해 정수 계수 K-이론적 Kirwan 전성성의 유사체를 확립하는 것.
• 가중 투영 공간의 전체 오비폴드 K-이론 링에 대한 명시적 표현을 제공하는 것.
• 이러한 가중 투영 공간의 전체 오비폴드 K-이론이 정수 위에서 비틀림 없음을 증명하는 것.

제안 방법

• 스테이블리 복소 다양체 위에서 국소적으로 자유롭지 않은 작용에 대해 일반화된 관성 K-이론 $NK^\bullet_T(M)$을 도입한다.
• T-고정점 집합과 그 정규다발을 이용하여 오비폴드 코hom올로지와 유사한 $\natural$-곱을 통해 스트링 곱을 재구성한다.
• 정수 계수 K-이론적 Kirwan 전성성 정리를 적용하여 전체 공간의 관성 K-이론과 몫공간의 오비폴드 K-이론을 연결한다.
• 다항식 링 $\mathbb{Z}[u,u^{-1}]$의 몫으로서 전체 오비폴드 K-이론 링을 구성하며, 이데알 $\mathcal{I}$(곱관계)와 $\mathcal{J}$(Kirwan 사상의 핵)를 이용한다.
• 등급 이론의 국소화 기법을 활용하여 고정점 부분다양체의 K-이론과 오비폴드 링에 기여하는 기여도를 계산한다.
• $\mathbb{P}^2_{(1,2,4)}$에서의 명시적 계산을 통해 일반적 프레임워크를 검증하고 비틀림 없음을 확인한다.

실험 결과

연구 질문

• RQ1 아벨 심플렉틱 몫공간의 전체 오비폴드 K-이론은 정수 위에서 어떻게 명시적으로 계산할 수 있는가?
• RQ2 심플렉틱 몫공간으로서 유도된 가중 투영 공간의 전체 오비폴드 K-이론 링의 구조는 어떠한가?
• RQ3 이러한 가중 투영 공간의 전체 오비폴드 K-이론에 비틀림 원소가 존재하는가?
• RQ4 관성 K-이론은 국소적으로 자유롭지 않은 경우 스트링 K-이론을 어떻게 일반화하는가?
• RQ5 정수 계수 K-이론적 Kirwan 전성성은 비글로벌 몫스택에 대해 오비폴드 K-이론을 계산하는 데 사용될 수 있는가?

주요 결과

• 가중 투영 공간 $\mathbb{P}^n_b$의 전체 오비폴드 K-이론은 $\mathbb{Z}[u,u^{-1},\alpha_0,\ldots,\alpha_\ell]/(\mathcal{I} + \mathcal{J})$와 동형이며, 여기서 $\mathcal{I}$는 곱관계를, $\mathcal{J}$는 Kirwan 사상의 핵을 나타낸다.
• 이 링의 구조는 원소의 순환 작용 고정점 데이터와 단위근에서 유도된 세그먼트 기여도에 의해 완전히 결정된다.
• $\mathbb{P}^2_{(1,2,4)}$의 구체적 예시에서는 전체 오비폴드 K-이론이 $\mathbb{Z}[u,u^{-1},\alpha_0,\alpha_1,\alpha_2,\alpha_3]/(\mathcal{I} + \langle\alpha_0 - 1\rangle + \mathcal{J})$로 명시적으로 계산되며, $\mathcal{I}$와 $\mathcal{J}$는 곱표와 핵 계산에서 유도된다.
• 가중 투영 공간의 전체 오비폴드 K-이론은 분해에서의 합성원소의 구조를 분석함으로써 정수 위에서 비틀림 없음을 입증한다.
• T-작용이 국소적으로 자유롭지 않은 경우 관성 K-이론 링 $NK^\diamond_T(M)$는 새로운 불변량이며, 몫공간의 전체 오비폴드 K-이론으로 전성된다.
• 계산 결과는 비글로벌 몰입 스택의 경우 전체 오비폴드 K-이론이 글로벌 몰입 사례에서의 $G$-불변 부분공간의 스트링 K-이론과 동형임을 확인하며, 더 일반적인 경우에 대해 더 넓은 적용 범위를 가진다.