[논문 리뷰] Nested Punctual Hilbert Schemes and Commuting Varieties of Parabolic Subalgebras

Michaël Bulois, Laurent Evain|arXiv (Cornell University)|2013. 06. 20.

Advanced Topics in Algebra참고 문헌 25인용 수 10

한 줄 요약

이 논문은 $M_n({\boldsymbol{k}})$의 복소수 하위대수인 파라보릭 부분대수의 교환 변수와 중첩된 점형 Hilbert 스킴 사이의 기하학적 연결을 수립하며, 순환 벡터 구성과 궤도 분해를 통해 이러한 모듈리 공간의 기약성과 차원을 분석할 수 있음을 증명한다. 이는 $S^{[2,n]}_0$, $S^{[n-2,n]}_0$, 및 $S^{[\![n-2,n]\!]}_0$ 가 차원 $n-1$ 에 대해 등차원이며 정확히 $\left\lfloor\frac{n}{2}\right\rfloor$ 개의 기약 성분을 가짐을 보여준다.

ABSTRACT

It is known that the variety parametrizing pairs of commuting nilpotent matrices is irreducible and that this provides a proof of the irreducibility of the punctual Hilbert scheme in the plane. We extend this link to the nilpotent commuting variety of parabolic subalgebras of $M\_n(\K)$ and to the punctual nested Hilbert scheme. By this method, we obtain a lower bound on the dimension of these moduli spaces. We characterize the numerical conditions under which they are irreducible. In some reducible cases, we describe the irreducible components and their dimension.

연구 동기 및 목표

• 기약 행렬과 Hilbert 스킴 사이의 알려진 연결 고리를 중첩 및 점형 경우로 확장한다.
• 파라보릭 부분대수 $\mathfrak{p}_{k,n} \subset M_n(\boldsymbol{k})$ 에 대해 노름형 교환 대수체 $\mathcal{N}(\mathfrak{p}_{k,n})$ 의 기약성과 차원을 분석한다.
• 궤도 분해와 순환 벡터 조건을 통해 $\mathcal{N}(\mathfrak{p}_{k,n})$ 와 $\mathcal{N}(\mathfrak{q}_{k,n})$ 의 기약 성분을 특성화한다.
• 순환 벡터를 통한 기하학적 몫 구성법을 통해 교환 대수체와 중첩 Hilbert 스킴 사이의 기하학적 연결 고리를 수립한다.
• $S^{[2,n]}_0$, $S^{[n-2,n]}_0$, 및 $S^{[\![n-2,n]\!]}_0$ 의 기약 성분의 수와 차원을 규명한다.

제안 방법

• 순환 벡터를 사용하여 $\widetilde{\mathcal{N}}^{\text{cyc}}(\mathfrak{p}_{k,n})/P_{k,n}$ 와 $\widetilde{\mathcal{N}}^{\text{cyc}}(\mathfrak{q}_{k,n})/Q_{k,n}$ 의 기하학적 몫을 구성함으로써, 콘jugation에 대해 스킴을 매개변수화한다.
• Hilbert 스킴의 함자적 정의와 그 표현 가능성에 기반하여, 차원이 0인 스킴과 교환 행렬 쌍을 연결한다.
• 비재단성 군 작용에도 불구하고 Mumford의 기하학적 안정성 이론을 적용하여 몫을 구성한다.
• $\mathcal{N}(\mathfrak{q}_{2,n})$ 의 궤도를 조합론적 자료 $\boldsymbol{\mu} \in \mathcal{P}^{\prime\prime}(n)$ 와 $c_{\boldsymbol{\mu}} = 1$ 으로 분류함으로써 궤도 유형과 성분 차원을 연결한다.
• $\mathfrak{p}_{2,n}$ 의 모든 쌍이 $\mathfrak{q}_{2,n}$ 의 쌍으로 콘jugate임을 보여 $\mathcal{N}(\mathfrak{p}_{2,n})$ 의 연구를 $\mathcal{N}(\mathfrak{q}_{2,n})$ 로 감소시킨다.
• $S^{[\![n-2,n]\!]}_0 \to S^{[n-2,n]}_0$ 의 전사 사상으로 성분 수를 유계화하고 등차원성을 확립한다.

실험 결과

연구 질문

• RQ1 파라보릭 부분대수 $\mathfrak{p}_{k,n} \subset M_n(\boldsymbol{k})$ 에 대해 노름형 교환 대수체 $\mathcal{N}(\mathfrak{p}_{k,n})$ 가 언제 기약성을 갖는가?
• RQ2 $S^{[2,n]}_0$ 의 중첩된 점형 Hilbert 스킴의 기약 성분의 차원은 무엇인가?
• RQ3 $S^{[2,n]}_0$ 은 몇 개의 기약 성분을 가지며, 그 기하학적 구조는 어떠한가?
• RQ4 $\mathcal{N}(\mathfrak{p}_{2,n})$ 의 등차원성은 궤도 분해를 통해 $\mathcal{N}(\mathfrak{q}_{2,n})$ 의 구조에서 유추될 수 있는가?
• RQ5 순환 벡터는 교환 대수체와 Hilbert 스킴 사이의 기하학적 몫 구성에서 어떤 역할을 하는가?

주요 결과

• $S^{[2,n]}_0$, $S^{[n-2,n]}_0$, 및 $S^{[\![n-2,n]\!]}_0$ 는 모두 차원 $n-1$ 에 대해 등차원이다.
• 이 스킴들은 각각 $\left\lfloor\frac{n}{2}\right\rfloor$ 개의 기약 성분을 가지며, $c_{\boldsymbol{\mu}} = 1$ 인 노름형 쌍의 조합론적 유형에 대응한다.
• $\mathcal{N}(\mathfrak{p}_{2,n})$ 의 기약 성분들은 $\boldsymbol{\mu} \in \mathcal{P}^{\prime\prime}(n)$ 에서 $c_{\boldsymbol{\mu}} = 1$ 을 만족하는 것들과 이원적 대응을 이룬다. 모든 성분의 차원은 $\dim \mathfrak{p}_{2,n} - 1$ 이다.
• $\mathcal{N}(\mathfrak{q}_{2,n})$ 는 $\left\lfloor\frac{n}{2}\right\rfloor$ 개의 기약 성분을 가지며, 각 성분의 차원은 $\dim \mathfrak{q}_{2,n} - 1$ 이다. $\mathcal{N}(\mathfrak{q}_{2,n}) \to \mathcal{N}(\mathfrak{p}_{2,n})$ 의 사상은 성분 집합에 대해 전사이다.
• 순환 벡터를 통한 기하학적 몫 구성법은 $\widetilde{\mathcal{N}}^{\text{cyc}}(\mathfrak{p}_{k,n})/P_{k,n}$ 와 $\widetilde{\mathcal{N}}^{\text{cyc}}(\mathfrak{q}_{k,n})/Q_{k,n}$ 가 잘 정의되어 있으며, 각각의 중첩 Hilbert 스킴과 동형임을 보장한다.
• $n \geq 6$ 인 경우 보렐 경우 $\mathfrak{q}_{n,n}$ 는 연속적인 궤도 가닥을 포함하므로 $\mathcal{N}(\mathfrak{q}_{n,n})$ 이 등차원이 아니지만, $\mathfrak{p}_{2,n}$ 에서는 이러한 현상이 발생하지 않는다.