[논문 리뷰] Equivariant formality in $K$-theory

Chi Kwong Fok|arXiv (Cornell University)|2017. 04. 16.

Algebraic structures and combinatorial models참고 문헌 15인용 수 7

한 줄 요약

이 논문은 유한 CW 복합체 위의 컴팩트 연결 리군의 작용에 대해 유리수 $K$-이론적 등변형성(RKEF), 고전적 등변형성(cohomology 기반), 그리고 유리수 약한 등변형성($K$-이론 기반) 사이의 등가성을 확립한다. 작용이 등변형성일 때이고 오직 그 때에만 忘却사상 $K_G^*(X;\mathbb{Q}) \to K^*(X;\mathbb{Q})$ 가 전사임을 증명하며, 이는 고전적 GKM 조건의 $K$-이론적 유사체를 제공하고, 기존의 등변형성 결과에 대한 새로운 증명을 제시한다.

ABSTRACT

In this note we present an analogue of equivariant formality in $K$-theory and show that it is equivalent to equivariant formality \emph{à la} Goresky-Kottwitz-MacPherson. We also apply this analogue to give alternative proofs of equivariant formality of conjugation action on compact Lie groups, left translation action on generalized flag manifolds, and compact Lie group actions with maximal rank isotropy subgroups.

연구 동기 및 목표

• 고전적 유리수 코homological 등변형성과 일치하는 $K$-이론적 등변형성의 유사체를 확립하기 위해.
• 유리수 $K$-이론에서 忘却사상의 전사성에 기반한 조건을 정의함으로써 $K$-이론적 형성성의 모호함을 해결하기 위해.
• 유리수 $K$-이론적 형성성(RKEF)이 고전적 등변형성과 유리수 약한 등변형성과 등가임을 증명하기 위해.
• 핵심 예시들—콤팩트 리군 위의 켈리케이션 작용, 일반화된 플라그 다양체 위의 왼쪽 이동 작용, 최대 랭크의 이소트로피 부분군을 가진 작용—에 대해 $K$-이론적 방법을 사용해 기존의 등변형성 결과를 재증명하기 위해.

제안 방법

• 유리수 $K$-이론적 등변형성(RKEF)을 忘却사상 $f_G \otimes \text{Id}_{\mathbb{Q}}: K_G^*(X;\mathbb{Q}) \to K^*(X;\mathbb{Q})$ 의 전사성으로 정의한다.
• 최대 토리와 웨일 군의 불변성에 기반한 $K$-이론적 아벨리제이션을 사용하여 문제를 토리 작용으로 환원한다.
• 클러칭 구축 기법을 적용하여, 임의의 벡터 번들의 경우 충분히 많은 수의 자명한 번들의 직합을 취함으로써 등변형성이 되도록 한다.
• 등변형성인 공간들의 곱은 등변형성임을 이용하고, 클러칭 사상의 호모토피 동치성을 활용하여 등변형 구조를 올린다.
• CW 복합체 차원에 대한 귀납법을 사용하고, 안정화 이후 등변형 벡터 번들의 동형사상 존재를 이용하여 $V^\oplus p \oplus \underline{\mathbb{C}}^q$ 가 $G$-구조를 가짐을 증명한다.
• RKEF와 고전적 형성성 간의 등가성을 활용하여, 코homological 방법 없이도 기존의 $K$-이론 결과를 재증명한다.

실험 결과

연구 질문

• RQ1 고전적 유리수 코homological 등변형성과 등가인 $K$-이론적 등변형성의 유사체가 존재하는가?
• RQ2 유리수 $K$-이론에서 忘却사상의 전사성이 컴팩트 리군의 유한 CW 복합체 위 작용에 대해 고전적 등변형성을 유도하는가?
• RQ3 RKEF를 사용하여 켈리케이션 작용과 플라그 다양체에 대한 기존의 등변형성 결과를 $K$-이론적 방법으로 재증명할 수 있는가?
• RQ4 유리수 약한 등변형성($K$-이론 기반)이 유리수 $K$-이론적 형성성과 고전적 형성성과 등가인가?
• RQ5 벡터 번들의 안정화된 번들 $V^\oplus p \oplus \underline{\mathbb{C}}^q$ 에 등변형 구조가 존재하면, $V$ 에도 $G$-등변형 구조가 존재하는가?

주요 결과

• 콤팩트 연결 리군의 작용에 대해 유한 CW 복합체 위에서 유리수 $K$-이론적 등변형성(RKEF)은 고전적 등변형성과 동치이다.
• 忘却사상 $K_G^*(X;\mathbb{Q}) \to K^*(X;\mathbb{Q})$ 가 전사임은 $G$-작용이 등변형성임과 동치이다.
• 忘却사상의 전사성에 기반한 $K$-이론적 등변형성의 정의는 Harada와 Landweber가 정의한 유리수 약한 등변형성과 등가이다.
• 콤팩트 리군 위의 켈리케이션 작용은 등변형성이며, 이는 $K$-이론적 방법으로 재증명되었다.
• 일반화된 플라그 다양체 위의 왼쪽 이동 작용은 등변형성이며, 이 결과는 $K$-이론적 추론을 통해 재확립되었다.
• 최대 랭크의 이소트로피 부분군을 가진 콤팩트 리군 작용은 등변형성이며, 이는 안정화된 벡터 번들의 등변형 구조 존재성을 통해 증명되었다.