[논문 리뷰] Residues formulas for the push-forward in K-theory, the case of G2/P

Andrzej Weber, Magdalena Zielenkiewicz|arXiv (Cornell University)|2017. 11. 16.

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

한 줄 요약

이 논문은 $\mathbf{G}_2/P_2$에 대한 등변 K-이론에서의 푸시포워드에 대한 잔류 공식을 개발한다. $\mathbf{G}_2/P_2$는 $Gr(2,7)$에 매bedded되어 있으며, 심플렉틱 축소와 국소화를 통해 등변 변수에 의존하는 기본 클래스를 가진 K-이론적 잔류 공식을 유도한다. 이는 고전적 그라스만이안과 다름을 보이며, 그로텐디크 다항식을 통해 계산 가능하게 하고, 슈베르트 클래스의 명시적 푸시포워드 값을 도출한다.

ABSTRACT

We study residue formulas for push-forward in K-theory of homogeneous spaces. First we review formulas for classical groups, which we derive from a formula for the classical Grassmannian case. Next we consider the homogeneous spaces for G2. One of them embeds in the Grassmannian Gr(2,7). We find its fundamental class in the equivariant K-theory and obtain the residue formula for the push-forward. This formula is valid for G2/B as well.

연구 동기 및 목표

• 예외적 동형 공간 $\mathbf{G}_2/P_2$에 대한 등변 K-이론에서의 푸시포워드에 대한 잔류 공식 유도.
• $\mathbf{G}_2/P_2$의 기본 클래스를 $K^\mathbb{T}(Gr(2,7))$에서 그로텐디크 다항식을 사용하여 표현.
• 고전적 그라스만이안에서의 잔류 방법을 예외적 군, 특히 $\mathbf{G}_2$로 확장.
• $K^\mathbb{T}(\mathbf{G}_2/P_2)$와 $K^\mathbb{T}(\mathbf{G}_2/B)$에서 슈베르트 클래스의 명시적 푸시포워드 계산.
• 푸시포워드 공식이 등변 변수에 의존하는 기본 클래스를 가지므로 고전적 경우와 근본적으로 다름을 입증.

제안 방법

• 심플렉틱 축소와 제피리-키르단 국소화 방법을 적용하여 K-이론적 잔류 공식 유도.
• $\mathbf{G}_2/P_2$가 $Gr(2,7)$에 매bedded되어 있음을 활용하여 그 기본 클래스를 그라스만이안의 등변 K-이론으로 올림.
• 효율적인 K-이론 계산을 위한 기저로 그로텐디크 다항식 사용.
• 고정점 기여를 합산함으로써 공식 (1)을 이용해 푸시포워드 계산 (모듈러 $D_{12}/\mathbb{Z}_2$ 코셋 기반).
• 합리적 함수 표현식 (3)에 대해 반복 잔류 $Res_{Z=0,\infty}$를 적용하여 푸시포워드 추출.
• 슈베르트 클래스의 교차 행렬을 $A = 3 - t_1 - t_2^{-1} - t_2/t_1$ 및 $B = 3 - t_2 - t_1^{-1} - t_1/t_2$ 에 대한 대칭 다항식으로 환원.

실험 결과

연구 질문

• RQ1 등변 K-이론에서의 푸시포워드 잔류 공식은 고전적 그라스만이안에서 예외적 동형 공간, 특히 $\mathbf{G}_2/P_2$로 어떻게 일반화될 수 있는가?
• RQ2 $K^\mathbb{T}(Gr(2,7))$에서 $\mathbf{G}_2/P_2$의 기본 클래스의 구조는 어떠한가?
• RQ3 왜 $\mathbf{G}_2/P_2$의 푸시포워드 공식은 고전적 경우와 근본적으로 다를까, 특히 등변 변수에 의존하는가?
• RQ4 그로텐디크 다항식은 $\mathbf{G}_2/P_2$에서 푸시포워드를 계산하는 데 효과적인 기저가 될 수 있는가?
• RQ5 $K^\mathbb{T}(\mathbf{G}_2/P_2)$에서 슈베르트 클래스의 교차 행렬의 대수적 구조는 어떠한가?

주요 결과

• $p_!$에 의한 그로텐디크 다항식 $G_{[0]}, G_{[1]}, G_{[2]}, G_{[11]}, G_{[3]}, G_{[21]}, G_{[31]}, G_{[22]}$의 푸시포워드는 1과 같다.
• $G_{[4]}, G_{[41]}, G_{[32]}$의 푸시포워드는 2이며, $p_!(G_{[33]}) = 0$이다.
• $p_!(G_{[5]}), p_!(G_{[51]}), p_!(G_{[42]})$의 푸시포워드는 $A + B$와 같다. 여기서 $A$와 $B$는 $t_1, t_2$에 대한 대칭 라우렌트 다항식이다.
• $p_!(G_{[52)}) = A^2 + B^2 + AB - 2A - 2B$이며, $p_!(G_{[43]}) = AB - A - B$이다.
• $5 \times 2$ 직사각형 내의 슈베르트 클래스의 $21 \times 21$ 교차 행렬의 행렬식은 $-1$이며, 이는 유니모듈라 성질을 나타낸다.
• $\mathbf{G}_2/P_2$의 기본 클래스는 $K^\mathbb{T}(Gr(2,7))$에서 $2G_{41} + 2G_{32} - G_{33} - 3G_{42} + G_{43} + (A+B)(G_{21} - G_{22} - G_{31} + G_{32})$로 표현된다.