[논문 리뷰] QUATERNIONIC GRASSMANNIANS AND PONTRYAGIN CLASSES IN ALGEBRAIC GEOMETRY

Ivan Panin, Charles Walter|arXiv (Cornell University)|2010. 11. 02.

Algebraic structures and combinatorial models참고 문헌 12인용 수 20

한 줄 요약

이 논문은 심플렉틱으로 양호화된 코homology 이론에서 심플렉틱 번들의 보렐 계급 이론을 수립하여 히사키안 그라스만يان의 코homology를 계산할 수 있게 한다. 이 이론에 따르면 이러한 이론들에서 히사키안 복소수 프로젝티브 공간 $\mathbb{HP}^n$ 의 코homology 는 $A(\text{pt})[p]/(p^{n+1})$ 와 동형이며, $\mathbb{G}_a$-몫을 이용한 셀 유사 분해를 구성하여 위상수학적 히사키안 공간과의 깊은 유사성을 드러낸다.

ABSTRACT

Abstract. The quaternionic Grassmannian HGr(r,n) is the affine open subscheme of the ordinary Grassmannian parametrizing those 2r-dimensional subspaces of a 2n-dimensional symplectic vector space on which the symplectic form is nondegenerate. In particular there is HP n = HGr(1,n+1). For a symplectically oriented cohomology theory A, including oriented theories but also hermitian K-theory, Witt groups and algebraic symplectic cobordism, we have A(HP n) = A(pt)[p]/(p n+1). We define Pontryagin classes for symplectic bundles. They satisfy the splitting principle and the Cartan sum formula, and we use them to calculate the cohomology of quaternionic Grassmannians. In a symplectically oriented theory the Thom classes of rank 2 symplectic bundles determine Thom and Pontryagin classes for all symplectic bundles, and the symplectic Thom classes can be recovered from the Pontryagin classes. The cell structure of the HGr(r,n) exists in the cohomology, but it is difficult to see more than part of it geometrically. The exception is HP n where the cell of codimension 2i is a quasi-affine quotient of A 4n−2i+1 by a nonlinear action of Ga. 1.

연구 동기 및 목표

• 심플렉틱으로 양호화된 코homology 이론을 사용하여 위상수학의 보렐 계급 및 톰 계급 이론을 대수기하학으로 확장한다.
• 대수기하학에서 히사키안 그라스만얀 $\operatorname{HGr}(r,n)$, 특히 $\mathbb{HP}^n = \operatorname{HGr}(1,n+1)$ 의 코homology 를 연구한다.
• 대수기하학에서 대수적 K-이론과 코버디즘의 위상수학적 히사키안 프로젝티브 번들의 정리에 대응하는 모티브적 유사 정리를 수립한다.
• $\mathbb{G}_a$-몫과 바이알리니치-비르울라 분해를 통해 $\operatorname{HGr}(r,n)$ 의 셀 구조를 분석한다.

제안 방법

• 심플렉틱으로 양호화된 코homology 이론에서 분할 원리와 카르탕 합 공식을 만족하는 심플렉틱 번들에 대한 보렐 계급을 도입한다.
• 모든 심플렉틱 번들에 대한 보편 심플렉틱 번들 $\operatorname{HGr}(r,n)$ 에서 보렐 계급을 정의하고, 심플렉틱 양호화의 보편 성질을 통해 이들을 톰 계급과 연결한다.
• 바이알리니치-비르울라 분해를 열린 스트라타 $X_0 \subset \mathbb{HP}^n$ 에 적용하여, 차원이 $2i$ 인 여부에 따라 $\mathbb{A}^{4n-2i+1}$ 에 대한 $\mathbb{G}_a$-몫으로 표현한다.
• 벡들러 $\operatorname{HGr}(F)$ 를 $\operatorname{Gr}(2r,2n)$ 에 매장하고, 그 여집합을 $\operatorname{HGr}(E)$ 위의 벡터 번들의 분석을 통해 히사키안 그라스만얀의 코homology 에 대한 장점 긴 수열을 구성한다.
• 코homology 에서의 강한 호모토피 불변성과 제거 성질을 활용하여 포함사상 $A(k) \to A(\mathbb{A}^{2n})$ 가 동형임을 보이고, 이는 $t^A$ 가 동형임을 의미한다.
• 정규 번들의 구조와 벡터 번들의 동형사상들을 이용하여 $X_0$ 가 애니지 공간 위의 $\mathbb{G}_a$-몫임을 보이고, 각 스트라타의 클로처가 낮은 차원의 히사키안 그라스만얀 위의 벡터 번들과 같음을 밝힌다.

실험 결과

연구 질문

• RQ1 대수기하학에서 분할 원리와 카르탕 합 공식을 만족하는 심플렉틱 번들에 대한 보렐 계급을 어떻게 정의할 수 있는가?
• RQ2 심플렉틱으로 양호화된 코homology 이론에서 히사키안 그라스만얀 $\operatorname{HGr}(r,n)$ 의 코homology 는 어떤 구조를 가지는가?
• RQ3 $\mathbb{HP}^n$ 의 셀 분해는 대수기하학적으로 기하학적으로 실현될 수 있는가? 만약 그렇다면 어떤 군 작용 또는 몫을 통해 실현되는가?
• RQ4 심플렉틱 번들에 대한 톰 계급은 심플렉틱으로 양호화된 이론에서 보렐 계급과 어떻게 관련되는가?
• RQ5 $\mathbb{G}_a$-작용은 $\mathbb{HP}^n$ 의 열린 스트라타를 애니지 공간의 몫으로 실현하는 데 어떤 역할을 하는가?

주요 결과

• 임의의 심플렉틱으로 양호화된 이론 $A$ 에서 $\mathbb{HP}^n$ 의 코homology 는 $A(\text{pt})[p]/(p^{n+1})$ 와 동형이며, 이는 위상수학적 프로젝티브 번들의 정리의 일반화이다.
• 열린 스트라타 $X_0 \subset \mathbb{HP}^n$ 는 $\mathbb{A}^{4n+1}$ 에 대한 $\mathbb{G}_a$-몫과 동형이며, 각 스트라타 $X_{2i}$ 는 비선형 $\mathbb{G}_a$-작용에 의한 $\mathbb{A}^{4n-2i+1}$ 의 준아핀 몫이다.
• 클로저 $\overline{X}_{2i}$ 는 $\mathbb{HP}^{n-i}$ 위의 계수 $2i$ 의 벡터 번들과 동형이며, 이는 셀 구조의 기하학적 실현을 제공한다.
• 히사키안 그라스만얀 $\operatorname{HGr}(F)$ 의 코homology 에서의 장점 긴 수열은 열린 스트라타의 여집합이 $\operatorname{HGr}(E)$ 위의 벡터 번들과 같다는 점을 통해 구성되며, 이는 국소화 추론을 이끈다.
• 호모토피 불변성과 제거 성질 덕분에 포함사상 $A(k) \to A(\mathbb{A}^{2n})$ 는 동형이며, 이는 전이 사상 $t^A$ 가 동형임을 의미한다.
• 바이알리니치-비르울라 분해에서 고정점 집합의 정규 번들의 분해는 $N = N_1 \oplus L$ 로 표현되며, 여기서 $N_1$ 은 번들 사상의 그래프이고, $Z_0$ 는 $L$ 의 영단면 위의 부분번들의 동형이다.