[논문 리뷰] The cohomology ring of certain compactified Jacobians

Alexei Oblomkov, Zhiwei Yun|arXiv (Cornell University)|2017. 10. 15.

Algebraic Geometry and Number Theory참고 문헌 23인용 수 4

한 줄 요약

이 논문은 $(p,q)=1$ 인 유리 곡선 $C_{q/p}: x^q = y^p$ 에 대한 컴acts화된 잭비안 $J_{q/p}$ 의 등변 코homology 링을 명시적으로 제시하며, 이 링이 다항식 아이디얼의 포화를 통해 $A(z)$ 와 $B(z)$ 를 포함하는 것에서 유도된 관계를 갖는 $e_2, \dots, e_p$ 의 차수별 콘차 클래스들에 의해 생성됨을 규명한다. 주요 결과는 $H^*(J_{q/p})$ 에서의 휘어진 필터링이 곱셈적임을 증명하며, 이에 대응하는 그룹화된 링은 $\mathbb{P}^1 \to C_{q/p}$ 로의 강체화된 매핑의 계수 링의 변형으로 간주될 수 있다. 이는 체레드니크 대수와 아핀 스프링거 필러와 깊은 연결 고리가 있음을 시사한다.

ABSTRACT

We provide an explicit presentation of the equivariant cohomology ring of the compactified Jacobian $J_{q/p}$ of the rational curve $C_{q/p}$ with planar equation $x^{q}=y^{p}$ for $(p,q)=1$. We also prove analogous results for the closely related affine Springer fiber $Sp_{q/p}$ in the affine flag variety of $SL_{p}$. We show that the perverse filtration on the cohomology of $J_{q/p}$ is multiplicative, and the associated graded ring under the perverse filtration is a degeneration of the ring of functions on a moduli space of maps $\mathbb{P}^{1} o C_{q/p}$. We also propose several conjectures about $J_{q/p}$ and more general compactified Jacobians.

연구 동기 및 목표

• $(p,q)=1$ 인 유리 곡선 $C_{q/p}: x^q = y^p$ 에 대해 컴팩티피케이션된 잭비안 $J_{q/p}$ 의 등변 코homology 링에 대한 명시적 제시를 제공한다.
• 모듈러스 공간의 휘어진 필터링이 곱셈적임을 증명하여 코homology 링의 핵심 구조적 성질을 규명한다.
• 휘어진 필터링의 관련 그룹화된 링을 강체화된 매핑 $\mathbb{P}^1 \to C_{q/p}$ 의 계수 링과 연결하여 변형 메커니즘을 제안한다.
• 이 결과들을 $\mathrm{SL}_p$ 의 아핀 플래그 다양체 내 아핀 스프링거 필러 $\mathrm{Sp}_{q/p}$ 와 밀접하게 연결된 경우로 확장하며, 비토릭성 및 비평면 곡선으로의 일반화를 추측한다.

제안 방법

• 직선 $J_{q/p} \times C_{q/p}$ 상의 보편 층 $\mathcal{F}^{\mathrm{univ}}$ 와 그로부터 유도된 $J_{q/p} \times \mathbb{P}^1$ 으로의 사영 사상에 의한 직접 이미지 $\mathcal{E}^{\mathrm{univ}}_x$ 를 이용해 콘차 클래스 $e_i$ 를 정의한다.
• 다항식 항등식을 포함하는 $A(z)$ 와 $B(z)$ 를 포함하는 아이디얼의 $\epsilon$-포화 $I^{\mathrm{sat}}_{q/p}$ 를 통해 등변 코homology 링을 구성하며, $\mathbb{Q}[\epsilon, e_2, \dots, e_p, f_2, \dots, f_q]/I^{\mathrm{sat}}_{q/p} \cong H^*_{\mathbb{G}_m}(J_{q/p})$ 의 등급 링 동형사상을 이용한다.
• 등변 코homology 클래스의 순서 대칭 다항식을 이용한 콘차 필터링을 정의하며, 이는 [OY] 에서의 합리적 체레드니크 대수 이론을 통해 휘어진 필터링과 일치함을 보인다.
• $C_{q/p}$ 에 작용하는 $\mathbb{G}_m(q/p)$-행동을 이용해 강체화된 매핑의 모듈러스 공간 $M^{\mathrm{rig}}_1(\mathbb{P}^1, C_{q/p})$ 에 등급을 정의하며, 그 계수 링 $\mathcal{O}_{q/p}$ 는 휘어진 필터링의 관련 그룹화된 링과 동형이 될 것이라 추측한다.
• 계산 기반 대수 시스템을 활용해 추측을 수치적으로 검증하며, 비토릭 곡선인 $C_{4,2q,s}$ ($s > 2q > 4$, $q,s$ 가 홀수) 에 대해 $J_{q/p}$ 의 베티 수와 $\mathcal{O}_{q/p}$ 의 등급 조각의 차원을 비교한다.
• 유리 정규화와 평면 특이점을 갖는 일반 곡선 $\Gamma$ 에 대해 $\chi(J_{\Gamma})$ 와 $\dim \mathcal{O}_{\Gamma}$ 를 연결하는 추측을 수립하며, 계산적 증거에 기반한다.

실험 결과

연구 질문

• RQ1 $(p,q)=1$ 인 곡선 $x^q = y^p$ 에 대해 컴팩티피케이션된 잭비안 $J_{q/p}$ 의 등변 코homology 링에 대한 명시적 제시는 무엇인가?
• RQ2 모듈러스 공간의 휘어진 필터링 $H^*(J_{q/p})$ 는 곱셈적인가? 그리고 등변 코homology 클래스를 통한 콘차 필터링과의 관계는 어떻게 되는가?
• RQ3 모듈러스 공간의 강체화된 매핑 $\mathbb{P}^1 \to C_{q/p}$ 의 계수 링으로의 변형으로서, 휘어진 필터링의 관련 그룹화된 링을 식별할 수 있는가?
• RQ4 유리 정규화와 단일 평면 특이점을 갖는 일반 곡선 $\Gamma$ 에 대해 $\dim \mathcal{O}_{\Gamma} = \chi(J_{\Gamma})$ 가 성립하는가?
• RQ5 비토릭 곡선에 대해 $J_{\Gamma}$ 의 베티 수는 $\mathcal{O}_{\Gamma}$ 의 등급 조각의 차원과 어떻게 비교되며, 이를 바탕으로 추측적 부등식을 수립할 수 있는가?

주요 결과

• 등변 코homology 링 $H^*_{\mathbb{G}_m}(J_{q/p})$ 는 $\mathbb{Q}[\epsilon, e_2, \dots, e_p, f_2, \dots, f_q]/I^{\mathrm{sat}}_{q/p}$ 와 동형이며, 여기서 $I^{\mathrm{sat}}_{q/p}$ 는 $A(z)$ 와 $B(z)$ 를 포함하는 다항식 항등식에서 유도된 아이디얼의 $\epsilon$-포화이다. $A(z)$ 와 $B(z)$ 는 각각 $e_i$ 와 $f_j$ 를 계수로 갖는 $z$ 에 대한 차수 $p$ 와 $q$ 다항식이다.
• 모듈러스 공간의 휘어진 필터링 $H^*(J_{q/p})$ 는 곱셈적이다. 즉, $P_{\leq i} \cup P_{\leq j} \subset P_{\leq i+j}$ 를 만족하며, 이 필터링은 [OY] 의 결과를 통해 등변 코homology 클래스의 대칭 함수로 정의된 콘차 필터링과 일치한다.
• 휘어진 필터링의 관련 그룹화된 링 $\mathrm{Gr}^P H^*(J_{q/p})$ 는 강체화된 매핑 $\mathbb{P}^1 \to C_{q/p}$ 의 계수 링 $\mathcal{O}_{q/p}$ 의 변형으로 간주되며, 추측에 따르면 $\mathrm{Gr}^P H^{2i}(J_{q/p}) \cong \mathrm{Gr}^{j-i}_{\mathfrak{m}} \mathcal{O}_{q/p}[j]$ ($j \in \mathbb{Z}$) 의 동형이 존재한다.
• 비토릭 곡선인 $C_{4,2q,s}$ ($s > 2q > 4$, $q,s$ 가 홀수) 에 대해 $J_{q/p}$ 의 베티 수는 $\mathcal{O}_{q/p}$ 의 등급 조각의 차원을 초과한다. 이는 일반적으로 부등식 $\dim \mathrm{Gr}^{\delta-i}_{\mathfrak{m}} \mathcal{O}_{q/p} \leq \dim H^{2i}(\overline{\mathrm{Jac}}(C))$ 가 엄밀하게 성립함을 시사하지만, $C_{q/p}$ 에서는 등호가 성립한다.
• 비토릭 곡선에 대해 $\dim \mathcal{O}_{\Gamma} = \chi(J_{\Gamma})$ 의 추측은 $C_{4,2q,s}$ 와 같은 모든 테스트된 비토릭 곡선에 대해 성립하며, 그뢰브너 기저 기법을 통한 계산적 검증에 의해 뒷받침된다.
• 비토릭 곡선에 대해 피온트코프스키의 $J_{\Gamma}$ 작업에서의 베티 수 데이터는 $\mathrm{Gr}^{\delta-i}_{\mathfrak{m}} \mathcal{O}_{q/p}$ 의 차원과 일치하지만, 고차수에서는 엄밀한 부등식이 나타나며, 이는 추측 $\dim \mathcal{O}_{\Gamma} = \chi(J_{\Gamma})$ 가 평면 토릭 곡선에 대해서만 정확히 성립할 수 있음을 시사한다.