[논문 리뷰] The K-theory of abelian versus nonabelian symplectic quotients

Megumi Harada, Gregory D. Landweber|ArXiv.org|2006. 01. 12.

Algebraic Geometry and Number Theory참고 문헌 32인용 수 3

한 줄 요약

이 논문은 심플렉틱 몰입 $M//G$ 의 K-이론에 대해 마틴의 유리수 코homology 결과에 대한 K-이론적 유사체를 수립한다. 컴acts 연결 리군 $G$ 에 의한 심플렉틱 몰입 $M//G$ 의 K-이론은 최대 토루스 $T$ 에 대한 $K(M//T)$ 의 $T$-불변 원소들로부터 계산될 수 있으며, 이는 $\mathrm{Spin}^c$ 번들의 오일러 클래스를 통해 이루어진다. 핵심적 혁신은 마틴이 $e^2$ 의 사용에 의존하는 것을 $e$ 의 영향자집합으로 대체함으로써, 웨일 군의 순서로 나누는 것을 피하고 토르전 감지 계산을 가능하게 한다.

ABSTRACT

We compare the K-theories of symplectic quotients with respect to a compact connected Lie group and with respect to its maximal torus, and in particular we give a method for computing the former in terms of the latter. More specifically, let G be a compact connected Lie group with no torsion in its fundamental group, let T be a maximal torus of G, and let M be a compact Hamiltonian G-space. Let M//G and M//T denote the symplectic quotients of M by G and by T, respectively. Using Hodgkin's Kunneth spectral sequence for equivariant K-theory, we express the K-theory of M//G in terms of the elements in the K-theory of M//T which are invariant under the action of the Weyl group, in addition to the Euler class e of a natural Spin^c vector bundle over M//T. This Euler class e is induced by the denominator in the Weyl character formula, viewed as a virtual representation of T; this is relevant for our proof. Our results are K-theoretic analogues of similar (unpublished) results by Martin for rational cohomology. However, our results and approach differ from his in three significant ways. First, Martin's method involves integral formulae, but the corresponding index formulae in K-theory are too coarse a tool, as they cannot detect torsion. Instead, we carefully analyze related K-theoretic pushforward maps. Second, Martin's method involves dividing by the order of the Weyl group, which is not possible in (integral) K-theory. We render this unnecessary by examining Weyl anti-invariant elements, proving a K-theoretic version of a lemma due to Brion. Finally, Martin's results are expressed in terms of the annihilator ideal of e^2, the square of the Euler class mentioned above. We are able to "remove the square", working instead with the annihilator ideal of e.

연구 동기 및 목표

• 마틴의 심플렉틱 몰입에 대한 유리수 코homology 결과를 K-이론을 사용하여 정수 설정으로 확장한다.
• 정수 코homology에서의 제약, 예를 들어 토르와 키르와노의 전성 실패 등을 극복하기 위해 K-이론을 더 적합한 프레임워크로 사용한다.
• K-이론적 공식을 통해 $K(M//G)$ 를 $K(M//T)$ 로 표현함으로써 웨일 군의 순서로 나누는 것을 피하고 토르를 다룬다.
• 마틴이 $e^2$ 의 영향자집합을 사용하는 것을 $e$ 의 영향자집합으로 대체함으로써, 더 단순한 구조를 확보하고 적용 범위를 넓힌다.
• 등변 K-이론의 프로젝션과 인젝션, 웨일 군 작용을 활용하여 심플렉틱 몰입 K-이론을 계산하는 방법을 수립한다.

제안 방법

• 등변 K-이론에 대한 허드킨의 쿠엔트 스펙트럴 시퀀스를 사용하여 $K_G^*(M)$ 과 $K_T^*(M)$ 을 연결한다.
• $K(M//G)$ 를 $K(M//T)$ 의 $W$-불변 원소들로 구성된 부분모듈로 특성화하며, 이는 오일러 클래스 $e$ 의 영향자집합으로 나누어진다.
• $K$-이론적 프로젝션과 인젝션 사상들을 사용하여 $G$ 에서 $T$ 로의 군 축소에 따른 클래스의 행동을 분석한다.
• 정수 K-이론에서 유효하지 않은 웨일 군에 대한 평균화를 피하기 위해 브리온의 보조정리를 K-이론적 형태로 적용한다.
• 웨일 분모로부터 유도되는 오일러 클래스 $e$ 를 중심적인 불변량으로 사용하여 비불변 원소들을 제거한다.
• $e^2$ 가 아닌 $e$ 의 영향자집합을 다루어 제곱이 필요 없고, 토르 감지 설정에서 정밀도를 향상시킨다.

실험 결과

연구 질문

• RQ1 최대 토루스 $T$ 의 $M//T$ 의 K-이론으로부터 심플렉틱 몰입 $M//G$ 의 K-이론을 어떻게 계산할 수 있는가?
• RQ2 심플렉틱 몰입의 K-이론과 $K(M//T)$ 를 연결하는 데 오일러 클래스 $e$ 가 어떤 역할을 하는가?
• RQ3 왜 마틴의 유리수 코homology 결과를 확장하는 데 K-이론이 정수 코homology보다 더 좋은 설정인가?
• RQ4 웨일 군 작용을 사용하여 $|W|$ 로 나누지 않고도 $K(M//G)$ 를 특성화할 수 있는가?
• RQ5 $e^2$ 의 영향자집합을 $e$ 의 영향자집합으로 대체할 수 있으며, 그 장점은 무엇인가?

주요 결과

• $M//G$ 의 K-이론은 $K(M//T)$ 의 $W$-불변 원소들 중 오일러 클래스 $e$ 에 의해 영향을 받는 부분모듈과 동형이다.
• 웨일 군의 반대불변 원소와 K-이론적 브리온 보조정리의 형태를 사용함으로써 $|W|$ 로 나누는 것을 피할 수 있다.
• 오일러 클래스 $e$ 는 웨일 분모로부터 유도되며, 가상 표현 $\mathfrak{g}/\mathfrak{t}$ 와 대응되며 계산에 필수적이다.
• $e^2$ 의 사용이 필요 없이 $e$ 의 영향자집합만으로도 정확한 부분환을 추출할 수 있다. 마틴의 코homological 접근 방식에서처럼 $e^2$ 가 필요로 하지 않는다.
• 토르가 존재하는 경우에도 결과가 유효하여, 많은 정수 코homology 기법이 실패하는 상황에서 K-이론의 우수성을 입증한다.
• 타원형 이론, 복소 코바르던스 이론 등 다른 코homology 이론으로도 확장 가능하며, 이는 톰 이sovomorphism 과 오일러 클래스가 존재하는 한 성립한다.