[논문 리뷰] Morava K-theory of twisted flag varieties

V. A. Petrov, Nikita Semenov|arXiv (Cornell University)|2014. 06. 12.

Algebraic Geometry and Number Theory참고 문헌 24인용 수 9

한 줄 요약

이 논문은 등변 옹호 코homology와 Rost 모티브 기법을 사용하여 날개가 튼 플래그 다양체의 Morava K-이론을 계산하는 프레임워크를 개발한다. Grothendieck의 K⁰-이론에서 두 번째 체르니클 클래스와 유사한, Morava K-이론에서 카우치 이론으로 가는 전사적이고 덧셈적인 작용을 구성하며, Lubin-Tate 형식군 법칙과 국소화 기법을 활용하여 등변 코homology에서의 고정점 계산을 통해 프로젝티브 쌍곡형의 모티브를 계산하는 알고리즘을 제공한다.

ABSTRACT

In the present article we prove some results about the Morava K-theory. In particular, we construct an operation from the Morava K-theory to the Chow theory analogous to the second Chern class for Grothendieck's K0-theory. Furthermore, we investigate ordinary and equivariant oriented cohomology theories in the sense of Levine-Morel of projective quadrics, and discuss the Rost motives.

연구 동기 및 목표

• 특성 0인 체 위에서 날개가 튠 플래그 다양체의 Morava K-이론을 위한 계산 프레임워크를 개발하는 것.
• Grothendieck의 K⁰-이론에서 두 번째 체르니클 클래스와 유사한, Morava K-이론에서 카우치 이론으로 가는 전사적이고 덧셈적인 작용을 구성하는 것.
• 프로젝티브 쌍곡형의 맥락에서 Rost 모티브 이론을 Morava K-이론과 옹호 코homology로 일반화하는 것.
• 등변 기법을 사용하여 임의의 옹호 코hom로 이론에 대해 프로젝티브 쌍곡형의 모티브를 체계적으로 계산하는 알고리즘을 제공하는 것.

제안 방법

• 높이 n인 Lubin-Tate 형식군 법칙을 통해 Lazard 링의 몫으로서 Morava K-이론을 정의하기 위해 대수적 cobordism의 보편 성질을 사용한다.
• 토르 작용 하에서 플래그 다양체와 쌍곡형에서의 고정점 기여도를 계산하기 위해 등변 코hom로의 국소화 정리를 적용한다.
• 옹호 코hom로 이론의 맥락에서 Rost 모티브 구성 기법을 활용하여 쌍곡형의 모티브를 더 단순한 성분들로 분해한다.
• 특히 Atiyah-Bott 국소화 원리를 통해 등변 코hom로에서의 푸시포워드 공식을 활용하여 플래그 다양체와 쌍곡형의 곱 사이의 사상에 沿해 푸시포워드를 계산한다.
• 플래그 다양체와 쌍곡형에서 Weyl 군 작용의 고정점에서의 무게를 분석하여 등변 코hom로 링의 구조를 결정한다.
• 등변 코hom로에서의 푸시포워드 공식(예: 공식 (6.4))을 적용하여 토르 작용을 갖는 공간 간 사상에 따라 특성 클래스의 상을 계산한다.

실험 결과

연구 질문

• RQ1 어떻게 하면 K⁰-이론에서 두 번째 체르니클 클래스를 일반화하는, Morava K-이론에서 카우치 이론으로 가는 정규 작용을 구성할 수 있는가?
• RQ2 임의의 옹호 코hom로 이론에 대해 프로젝티브 쌍곡형의 모티브는 어떤 구조를 갖는가?
• RQ3 Rost 모티브는 Morava K-이론과 Lubin-Tate 형식군 법칙의 맥락에서 어떻게 행동하는가?
• RQ4 등변 코hom로는 날개가 튠 플래그 다양체와 쌍곡형의 모티브를 계산하는 데 어떤 역할을 하는가?
• RQ5 국소화와 고정점 데이터를 사용하여 플래그 다양체의 전체 Morava K-이론을 어떻게 시스템적으로 계산할 수 있는가?

주요 결과

• Lubin-Tate 형식군 법칙에 의해 생성된 이상에 대해 모듈로한 카우치 링으로의 Morava K-이론에서의 전사적이고 덧셈적인 작용이 구성되었으며, 이는 K⁰-이론에서 두 번째 체르니클 클래스와 유사하다.
• 임의의 옹호 코hom로 이론에 대해 프로젝티브 쌍곡형의 모티브는 등변 코hom로와 고정점 데이터를 기반으로 한 알고리즘을 통해 계산되었다.
• 사상 f: P(τ₂) → OGr(1,2,Q)에 따른 클래스의 푸시포워드는 무게와 국소화를 통해 명시적으로 계산되었으며, 고정점과 그들의 정규다발 기여도를 포함한다.
• 점 (⟨e₁⟩,⟨e₁⟩) ∈ (Q×Q)^T 에서, 푸시포워드는 (l−2)개의 무게 곱으로 표현되며, 차원 2l−2인 부분쌍곡형 Z의 차원을 반영한다.
• (⟨e₁⟩,⟨e₂⟩)의 고정점 기여도는 비영이며 aₗ·(−χ₁−χ₂) 와 같다. 반면 (⟨e₁⟩,⟨e₋₁⟩)의 기여도는 f에 대한 역상이 없어 0이 된다.
• 이 방법은 모든 W-오빗의 고정점을 커버하고 각 성분에 대해 국소화 공식을 적용하여 쌍곡형의 전체 모티브를 성공적으로 계산하였다.