[논문 리뷰] Parabolic Hilbert schemes via the Dunkl-Opdam subalgebra

Eugene Gorsky|arXiv (Cornell University)|2020. 06. 25.

Algebraic structures and combinatorial models참고 문헌 45인용 수 4

한 줄 요약

이 논문은 무리수 Cherednik 대수와 양자화된 Gieseker 대수의 작용을 평면 곡선 특이점 $\{x^m = y^n\}$에 대해 공액된 Hilbert 스킴의 $\mathbb{C}^*$-동형 호모로지 위에 Dunkl-Opdam 부분대수를 사용하여 구성한다. 주요 기여는 Cherednik 대수의 $t=0$에서의 표현 이론을 통해 비환원 곡선과 특이 평면 곡선에서 이러한 대칭성을 조합론적으로 실현하는 것이다.

ABSTRACT

In this note we explicitly construct an action of the rational Cherednik algebra $H_{1,m/n}(S_n,\\mathbb{C}^n)$ corresponding to the permutation representation of $S_n$ on the $\\mathbb{C}^{*}$-equivariant homology of parabolic Hilbert schemes of points on the plane curve singularity $\\{x^{m} = y^{n}\\}$ for coprime $m$ and $n$. We use this to construct actions of quantized Gieseker algebras on parabolic Hilbert schemes on the same plane curve singularity, and actions of the Cherednik algebra at $t = 0$ on the equivariant homology of parabolic Hilbert schemes on the non-reduced curve $\\{y^{n} = 0\\}.$ Our main tool is the study of the combinatorial representation theory of the rational Cherednik algebra via the subalgebra generated by Dunkl-Opdam elements.

연구 동기 및 목표

• 서로소 $m,n$에 대해 평면 곡선 특이점 $\{x^m = y^n\}$ 위의 파라보릭 Hilbert 스킴의 $\mathbb{C}^*$-동형 호모로지 위에 유리 Cherednik 대수 작용의 기하적 실현을 수립하는 것.
• 동일한 특이 곡선 기하학에서 이 작용을 양자화된 Gieseker 대수로 확장하는 것.
• $\{y^n = 0\}$의 비환원 곡선 위의 파라보릭 Hilbert 스킴의 동형 호모로지 위에 Cherednik 대수의 $t=0$ 작용을 구성하는 것.
• Dunkl-Opdam 부분대수를 통한 Cherednik 대수의 표현 이론을 이용한 유리 Cherednik 대수 표현 이론의 조합론적 프레임워크를 개발하는 것.
• 대표 이론적 도구를 통해 Hilbert 스킴의 기하학적 및 대수적 구조를 통합하는 것.

제안 방법

• 유리 Cherednik 대수 $H_{1,m/n}(S_n,\mathbb{C}^n)$의 Dunkl-Opdam 부분대수를 중심적인 대수적 도구로 사용한다.
• Dunkl-Opdam 원소의 조합론을 통해 파라보릭 Hilbert 스킴의 $\mathbb{C}^*$-동형 호모로지 위에 유리 Cherednik 대수의 명시적 작용을 구성한다.
• 유리 Cherednik 대수의 표현 이론을 특이 곡선 $\{x^m = y^n\}$ 위의 기하적 대상—파라보릭 Hilbert 스킴—에 적용한다.
• 동일한 대수적 프레임워크와 기하적 배경을 활용하여 이 구성의 양자화된 Gieseker 대수로의 확장을 수행한다.
• Cherednik 대수의 $t=0$의 경우를 분석하여 비환원 곡선 $\{y^n = 0\}$ 위의 파라보릭 Hilbert 스킴의 동형 호모로지 위에 작용을 정의한다.
• $S_n$의 $\mathbb{C}^n$ 위의 순열 표현의 구조를 이용하여 대수적 작용의 구성에 안내한다.

실험 결과

연구 질문

• RQ1 유리 Cherednik 대수 $H_{1,m/n}(S_n,\mathbb{C}^n)$는 어떻게 $\{x^m = y^n\}$ 위의 파라보릭 Hilbert 스킴의 $\mathbb{C}^*$-동형 호모로지 위에 기하적으로 실현될 수 있는가?
• RQ2 Dunkl-Opdam 부분대수는 이러한 작용을 구성하고 양자화된 Gieseker 대수로의 전환을 가능하게 하는 데 어떤 역할을 하는가?
• RQ3 Cherednik 대수의 $t=0$은 비환원 곡선 $\{y^n = 0\}$ 위의 파라보릭 Hilbert 스킴의 동형 호모로지 위에 실현될 수 있는가?
• RQ4 Dunkl-Opdam 부분대수를 통한 Cherednik 대수의 조합론적 표현 이론은 특이 곡선 특이점 위의 기하적 구성에 어떻게 기여하는가?
• RQ5 부드러운 곡선에서 비환원 곡선 설정으로의 작용 확장 시 어떤 대수적 구조가 도출되는가?

주요 결과

• 논문은 서로소 $m,n$에 대해 평면 곡선 특이점 $\{x^m = y^n\}$ 위의 파라보릭 Hilbert 스킴의 $\mathbb{C}^*$-동형 호모로지 위에 유리 Cherednik 대수 $H_{1,m/n}(S_n,\mathbb{C}^n)$의 작용을 명시적으로 구성한다.
• 이 구성은 동일한 대수적 프레임워크를 통해 동일한 기하적 대상 위에 양자화된 Gieseker 대수의 작용을 정의하는 데로 이어진다.
• 저자들은 비환원 곡선 $\{y^n = 0\}$ 위의 파라보릭 Hilbert 스킴의 동형 호모로지 위에 Cherednik 대수의 $t=0$ 작용을 실현하여 기하적 그림을 특이 및 비환원 설정으로 확장한다.
• Dunkl-Opdam 부분대수는 논문 전반에 걸쳐 조합론적 및 기하적 구성에 핵심적인 대수적 구조로 기능한다.
• Dunkl-Opdam 원소를 기반으로 한 표현 이론적 프레임워크는 특이 곡선의 Hilbert 스킴 위에서 대칭성을 실현하는 통합적 메커니즘을 제공한다.
• 결과적으로 이는 유리 Cherednik 대수의 조합론과 특이 및 비환원 곡선 위의 Hilbert 스킴 기하학 사이의 다리를 놓는다.