[논문 리뷰] Equivariant $K$-theory of smooth projective spherical varieties

Soumya Banerjee, Mahir Bilen Can|arXiv (Cornell University)|2016. 03. 16.

Advanced Algebra and Geometry참고 문헌 3인용 수 3

한 줄 요약

이 논문은 부드럽고 프로젝티브인 구면적 다양체에 대한 정수 계량형 K-이론의 통합적 기술을 제공하며, Brion의 계량형 코homology 결과를 일반화한다. 토러스 고정점에서의 합동 조건을 사용하여 GKM 유형의 표현을 수립하고, 최소 랭크 대칭 다양체의 아름다운 컴actsfication에서의 슈부르트 클래스로부터 유도된 구조 상수를 사용한다. 이는 이전의 고정형 군에 대한 연구를 더 넓은 범위의 구면적 다양체로 확장한다.

ABSTRACT

We present a description of the equivariant $K$-theory of a smooth projective spherical variety. This provides an integral $K$-theory version of Brion's calculation of equivariant Chow-cohomology of such varieties. We consider the equivariant $K$-theory of wonderful compactifications of minimal rank symmetric varieties. We obtain a formula for their structure constants in terms of certain lower dimensional Schubert classes. This generalizes results of Uma on equivariant compactifications of adjoint groups.

연구 동기 및 목표

• 고정형 군을 초월하여 일반적인 부드럽고 프로젝티브인 구면적 다양체로 정수 계량형 K-이론 계산을 확장하는 것.
• Brion의 유리수 차우 코homology 결과와 유사한 GKM 유형의 표현을 계량형 K-이론에 제공하는 것.
• 토러스 불변 곡선의 양의 차원 가중 가중치를 가진 비-T-스케일링 구면적 다양체의 도전 과제를 해결하는 것.
• Uma의 고정형 군의 아름다운 컴actsfication 결과를 최소 랭크 대칭 다양체로 일반화하는 것.
• 토러스 기하학을 이용한 기저 변경 프레임워크를 수립하여 고차원 문제를 랭크-1 구면적 SL₂ 컴actsfication으로 환원하는 것.

제안 방법

• Ahiezer와 Brion의 분류 결과를 통해 계량형 K-이론 계산을 랭크-1 구면적 SL₂ 컴actsfication으로 환원하는 방법.
• 공기저 변경 정리(정리 2.7)를 사용하여 토릭 다양체에서 일반적인 구면적 다양체로 K-이론 자료를 올리는 방법.
• 고정점 튜플에서의 합동 조건이 K-이론 환을 표현한다: T-안정 곡선이 무게 χ를 가지면 f_x - f_y ≡ 0 mod (1 - χ).
• 고차원 합동 조건은 ℙ², ℙ¹×ℙ¹, 및 루핑 표면 ℱₙ 성분을 고려하며, Weyl 군 대칭이 조건에 의해 표현된다.
• Weyl 군 작용을 사용하여 G-계량형 K-이론을 T-계량형 이론의 W-불변 부분환으로 정의한다.
• 완비화와 계량형 리만-로흐 동형사상에 의한 공명성 논증을 통해 K-이론과 차우-이론 표현 간의 관계를 맺는다.

실험 결과

연구 질문

• RQ1 부드럽고 프로젝티브인 구면적 다양체에 대한 정수 계량형 K-이론을 군의 경우를 초월해 어떻게 묘사할 수 있는가?
• RQ2 이러한 다양체의 계량형 K-이론 환을 정의하는 정확한 합동 조건은 무엇인가?
• RQ3 최소 랭크 대칭 다양체의 아름다운 컴actsfication에서의 슈부르트 클래스와 K-이론 환의 구조 상수는 어떻게 관련되는가?
• RQ4 GKM 유형 프레임워크는 양의 차원의 토러스 불변 곡선 가중치를 가진 비-T-스케일링 구면적 다양체로 확장 가능한가?
• RQ5 계량형 리만-로흐 동형사상은 K-이론과 차우-이론 표현 간의 공명성을 어느 정도 유지하는가?

주요 결과

• 부드럽고 프로젝티브인 구면적 G-다양체 X의 T-계량형 K-이론은 고정점에서의 튜플 (f_x)이 특정 합동 조건을 만족하는 부분환 ∏_{x∈X^T} K_*(k)⊗R(T) 와 동형이다.
• 합동 조건은 X^{Ker(χ)} 내의 T-안정 곡선, ℙ², ℙ¹×ℙ¹, 및 루핑 표면 ℱₙ 성분에 의해 결정되며, Weyl 군 대칭이 기하학을 표현한다.
• 최소 랭크 대칭 다양체의 아름다운 컴actsfication의 K-이론 환의 구조 상수는 낮은 차원의 슈부르트 클래스로 표현된다.
• G-계량형 K-이론은 T-계량형 K-이론의 W-불변 부분환으로 얻어지며, 고정점에서의 Weyl 군 작용을 반영한다.
• 공명성 있는 K-이론 표현은 공명성 있는 차우-이론 표현을 암시하며, 유한한 수의 관계가 관련된 그레디드 환을 결정한다.
• 결과는 Uma의 고정형 군에 대한 작업을 일반화하고, GKM 유형 프레임워크를 비-T-스케일링 케이스를 포함한 모든 부드럽고 프로젝티브인 구면적 다양체로 확장한다.