[논문 리뷰] The torus equivariant cohomology rings of Springer varieties

Hiraku Abe, Tatsuya Horiguchi|Osaka City University (Osaka City University)|2014. 04. 04.

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

한 줄 요약

이 논문은 대칭군 $S_n$ 의 명시적 작용을 통해 $A$ 형식의 스프링거 다양체의 $T^{\ho}$-동변 코homology 링을 완전히 제시한다. 타니사키의 아이디얼을 동변 설정으로 일반화하여, 타니사키 생성자의 동변 해석을 갖는 생성자들로 구성된 아이디얼에 대한 다항식 링의 몫을 얻고, 忘각 사상에 의해 비동변 경우로 복원됨을 증명한다.

ABSTRACT

The Springer variety of type $A$ associated to a nilpotent operator on $\mathbb{C}^n$ in Jordan canonical form admits a natural action of the $\ell$-dimensional torus $T^{\ell}$ where $\ell$ is the number of the Jordan blocks. We give a presentation of the $T^{\ell}$-equivariant cohomology ring of the Springer variety through an explicit construction of an action of the $n$-th symmetric group on the $T^{\ell}$-equivariant cohomology group. The $T^{\ell}$-equivariant analogue of so called Tanisaki's ideal will appear in the presentation.

연구 동기 및 목표

• 스프링거 다양체의 $T^{\rho}$-동변 코homology 링 $H^{*}_{T^{\rho}}(\mathcal{S}_{\lambda};\mathbb{Z})$ 의 완전한 대수적 표현을 제공하는 것.
• 비동변 설정에서 타니사키의 아이디얼을 $\ell$차원 토루스 $T^\ell$ 작용으로 동변 설정으로 일반화하는 것.
• 지역화 기법을 통해 동변 코homology 군 $H^{*}_{T^\rho}(\mathcal{S}_{\lambda};\mathbb{Z})$ 에 대한 명시적 $S_n$-작용을 구성하는 것.
• 자기 모듈러성과 $\mathbb{Z}[u_1,\dots,u_\ell]$ 위에서의 랭크 일致를 보여줌으로써, 결과적인 표현이 동변 코homology 링과 동형임을 증명하는 것.
• 동변에서 비동변 코homology 로의 忘각 사상이 $\mathbb{Z}$ 위에서 타니사키의 원래 표현을 복원함을 보여주는 것.

제안 방법

• 블록 대각 행렬로 구성된 $\ell$차원 토루스 $T^\ell$ 를 정의하여, 블록 크기가 $\lambda = (\lambda_1,\dots,\lambda\ell)$ 인 조르당 표준형의 니르프텐트 연산자와 관련된 스프링거 다양체 $\mathcal{S}_\lambda$ 를 유지한다.
• 스프링거 다양체 $\mathcal{S}_\lambda$ 의 $T^\ell$-고정점은 인덱스에 대한 블록 순서 조건을 만족하는 치환 $w \in S_n$ 과 대응됨을 식별한다.
• 고정점 자료와 국소화 동형을 이용하여 $H^{*}_{T^\ell}(\mathcal{S}_\lambda;\mathbb{Z})$ 에 대한 $S_n$-작용을 구성한다.
• 타니사키 생성자의 동변 해석을 일반화한 대칭 다항식 $e_d(\bar{y}_{i_1},\dots,\bar{y}_{i_s} \mid u_{\phi_\lambda(1)},\dots,u_{\phi_\lambda(s+1-d)})$ 로 생성되는 동변 아이디얼 $\widetilde{I}_\lambda$ 를 도입한다.
• $\bar{\psi}: \mathbb{Z}[y_1,\dots,y_n,u_1,\dots,u_\ell]/\widetilde{I}_\lambda \to H^{*}_{T^\ell}(\mathcal{S}_\lambda;\mathbb{Z})$ 가 자료가 $\mathbb{Z}[u_1,\dots,u_\ell]$ 위에서 랭크 $\binom{n}{\lambda}$ 의 자유 모듈러임을 보여줌으로써, 이 사상이 동형임을 증명한다.
• 단항식 차수에 대한 귀납법과 忘각 사상 $\theta$ 의 핵을 이용하여, $y_i$ 의 단항식들이 $\mathbb{Z}[y_1,\dots,y_n]/I_\lambda$ 의 대표자들에 대한 $\mathbb{Z}[u_1,\dots,u_\ell]$-선형 조합임을 보여주어, 모듈러 생성을 증명한다.

실험 결과

연구 질문

• RQ1 스프링거 다양체 $\mathcal{S}_\lambda$ 의 $T^\ell$-동변 코homology 링은 다항식 링의 몫으로 어떻게 명시적으로 표현될 수 있는가?
• RQ2 동변 코homology 링의 맥락에서 타니사키 아이디얼의 동변 해석은 무엇인가?
• RQ3 대칭군 $S_n$ 은 $\mathcal{S}_\lambda$ 의 동변 코homology 에 어떻게 작용하며, 이 작용은 어떻게 표현을 증명하는 데 사용되는가?
• RQ4 동변 표현은 忘각 사상에 의해 비동변 코homology 링을 복원하는가? 만약 그렇다면, 어떻게 복원되는가?
• RQ5 $\mathbb{Z}[u_1,\dots,u_\ell]$ 위에서 동변 코homology 링은 자유 모듈러인가? 그 랭크는 얼마인가?

주요 결과

• 스프링거 다양체의 $T^\ell$-동변 코homology 링 $H^{*}_{T^\ell}(\mathcal{S}_\lambda;\mathbb{Z})$ 는 다항식 링 $\mathbb{Z}[y_1,\dots,y_n,u_1,\dots,u_\ell]/\widetilde{I}_\lambda$ 과 동형이며, 여기서 $\widetilde{I}_\lambda$ 는 타니사키 생성자의 동변 일반화를 생성하는 아이디얼이다.
• $\mathbb{Z}[u_1,\dots,u_\ell]$ 위에서 $H^{*}_{T^\ell}(\mathcal{S}_\lambda;\mathbb{Z})$ 의 자유 모듈러로서의 랭크는 $\binom{n}{\lambda} = \frac{n!}{\lambda_1!\lambda_2!\cdots\lambda_\ell!}$ 로, 비동변 코homology 의 랭크와 일致한다.
• 잊기 사상 $H^{*}_{T^\ell}(\mathcal{S}_\lambda;\mathbb{Z}) \to H^{*}(\mathcal{S}_\lambda;\mathbb{Z})$ 는 $\mathbb{Z}$ 위에서 타니사키의 원래 표현을 복원하며, 고전적 경우와의 일致성을 확인한다.
• $H^{*}_{T^\ell}(\mathcal{S}_\lambda;\mathbb{Z})$ 에 대한 $S_n$-작용은 $T^\ell$-고정점에서의 국소화를 통해 구성되며, 제시된 링이 코homology 와 동형임을 증명하는 데 핵심적이다.
• 증명은 $\mathbb{Z}[y_1,\dots,y_n]/I_\lambda$ 의 대표자들로 구성된 집합이 $\mathbb{Z}[y_1,\dots,y_n,u_1,\dots,u_\ell]/\widetilde{I}_\lambda$ 를 $\mathbb{Z}[u_1,\dots,u_\ell]$-모듈러로 생성함을 보여주는 데 기반한다. 이는 단항식 차수에 대한 귀납법을 사용한다.
• $\widetilde{I}_\lambda$ 는 $u_i \mapsto 0$ 사상에 의해 $I_\lambda$ 의 상을 포함하며, 몫에서의 관계 $e_d(\dots) = -\sum (-1)^{d-r} e_r h_{d-r}$ 는 $\theta$ 의 핵이 $u_1,\dots,u_\ell$ 에 의해 생성됨을 보장한다.