[논문 리뷰] Generalised symplectic Schubert classes

Thomas Hudson|arXiv (Cornell University)|2015. 04. 29.

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

한 줄 요약

이 논문은 보트-사멜슨 해소를 통해 심플렉틱 슈버트 다양체의 대수적 코버드르 fundamental 클래스를 계산하며, 연결 K-이론과 초등 코homology로 특수화되는 보편 공식을 수립한다. 형식적 군법칙과 일반화된 이중 슈버트 다항식을 사용하여 명시적인 슈버트 클래스 공식을 제공하며, 보편적 성질을 가진 오리엔티드 코hom로지 이론으로 풍선의 접근을 확장한다.

ABSTRACT

Under the assumption that the base field k has characteristic 0, we compute the algebraic cobordism fundamental classes of a family of Schubert varieties isomorphic to full and symplectic flag bundles. We use this computation to prove a formula for the push-forward class of the Bott-Samelson resolutions associated to the symplectic flag bundle. We specialise our formula to connective K-theory and the Grothendieck ring of vector bundles, hence obtaining a description for all Schubert classes.

연구 동기 및 목표

• 특성 0의 체 위에서 심플렉틱 플래그 번들의 가장 작은 슈버트 다양체의 대수적 코버드르 기본 클래스를 계산하는 것.
• 풍선의 재귀적 방법을 대수적 코버드르의 보편 설정으로 확장하는 것.
• 중첩 플래그 번들의 인도적 기법을 사용하여 심플렉틱 플래그 번들 내 보트-사멜슨 해소의 푸시포워드 공식을 유도하는 것.
• 보편 코버드르 공식을 연결 K-이론과 그로텐디크 환으로 특수화하여 명시적인 슈버트 클래스 표현을 도출하는 것.

제안 방법

• 가장 작은 슈버트 다양체에서 시작하여 중첩된 심플렉틱 플래그 번들의 기본 클래스를 귀납적으로 계산한다.
• 보트-사멜슨 해소를 슈버트 다양체의 비특이화로 적용하여 대수적 코버드르 내 푸시포워드를 계산한다.
• 보편 형식적 군법칙과 대수적 코버드르의 형식적 역원을 사용하여 푸시포워드 공식 내 코이븐 클래스의 행동을 표현한다.
• 웨일 군의 구조와 최장 원소의 최소 분해를 통해 일반화된 슈버트 다항식을 도출한다.
• 매개수 β를 사용하여 보편 공식을 연결 K-이론으로 특수화하고, 새로운 종류의 슈버트 다항식을 정의한다.
• 기저 변경과 교차성의 논증을 적용하여 연속적인 해소와 플래그 번들 간의 푸시포워드를 연결한다.

실험 결과

연구 질문

• RQ1 심플렉틱 플래그 번들 내 가장 작은 슈버트 다양체의 기본 클래스는 대수적 코버드르에서 어떻게 계산할 수 있는가?
• RQ2 보트-사멜슨 해소의 푸시포워드는 오리엔티드 코호몰로지 이론 전반에 대해 보편적으로 표현될 수 있는가?
• RQ3 대수적 코버드르에서 유도된 연결 K-이론 내 슈버트 클래스 공식의 구조는 어떠한가?
• RQ4 연결 K-이론에서 유도된 슈버트 다항식은 초등 코호몰로지와 그로텐디크 K-이론의 다항식과 어떻게 관련이 있는가?
• RQ5 심플렉틱 번들 랭크에 따라 의존하는 통일된, 매개수화된 슈버트 클래스 기술이 존재하는가?

주요 결과

• 대수적 코버드르 내 심플렉틱 플래그 번들 $\mathcal{F}\ell^{\text{C}}V_m$ 의 기본 클래스는 형식적 군법칙 연산에 의한 코이븐 클래스의 곱으로 주어진다: $[\mathcal{F}\ell^{\text{C}}V_m]_{\Omega} = \prod_{i+j\leq n,\,1\leq j\leq n-m} F_{\Omega}(x_i, \chi_{\Omega}(y_j)) \cdot \prod_{\cdots}$.
• 보트-사멜슨 해소 $\mathcal{R}_I$ 의 푸시포워드 클래스는 교차성과 귀납적 기법을 통해 계산되며, $\mathcal{R}_I = \overline{A_j}(\mathcal{S}\mathfrak{B}^{(n)}_{I'}(c_1(M_k^{(n)}), c_1(L_j^\vee)))$ 를 얻는다.
• 연결 K-이론에서 슈버트 클래스 $[\Omega_w^{(n)}]_{CK}$ 는 $\mathcal{S}\mathfrak{H}_w^{(n)}(c_1(M_i^{(n)}), c_1(L_j^\vee))$ 로 주어지며, 여기서 $\mathcal{S}\mathfrak{H}_w^{(n)}$ 는 매개수 β를 가진 일반화된 이중 슈버트 다항식이다.
• 초등 코호몰로지 클래스 $[\Omega_w^{(n)}]_{CH}$ 는 연결 K-이론 공식에서 β = 0 으로 놓음으로써 얻어지며, $\mathcal{S}\mathfrak{S}_w^{(n)}(c_1(M_i^{(n)}), c_1(L_j^\vee))$ 를 얻는다.
• 그로텐디크 K-이론 클래스 $[\mathcal{O}_{\Omega_w^{(n)}}]_{K^0}$ 는 β = -1 로 놓음으로써 얻어지며, $\mathcal{S}\mathfrak{G}_w^{(n)}(c_1(M_i^{(n)}), c_1(L_j^\vee))$ 를 얻는다.
• 슈버트 다항식 $\mathcal{S}\mathfrak{H}_w^{(n)}$ 는 명시적으로 n 에 의존하며, 랭크에 독립적인 통일된 기술은 존재하지 않는다 — 예를 들어, $\mathcal{S}\mathfrak{S}_{(\overline{1},1)}^{(1)} = -x_1 + y_1$ 이지만 $\mathcal{S}\mathfrak{S}_{(\overline{1},1)}^{(2)} = -x_1 - x_2 + y_1 + y_2$ 이다.