[논문 리뷰] Moduli of McKay quiver representations II: Groebner basis techniques

Alastair Craw, Diane Maclagan외 1명|arXiv (Cornell University)|2006. 11. 27.

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

한 줄 요약

이 논문은 매크데이 쿼리 표현의 모듈리 공간을 연구하기 위해 그로브너 기저와 토릭 기하학을 사용하는 계산 기법을 개발한다. 특히 모듈리 공간의 일관성 성분 $Y_\theta$를 다룬다. $\theta$-안정적 $G$-클러스터가 $Y_\theta$에 속하는지 여부를 판단하는 알고리즘을 제공하며, $Y_\theta$가 $G$-힐베르트 스킴과 일치할 경우 명시적인 국소 좌표 차트를 제시한다. 주요 기여는 나카무라의 정규성 문제에 대한 반례를 제공하는 비정규 $G$-힐베르트 스킴을 구성한 것이다.

ABSTRACT

In this paper we introduce several computational techniques for the study of moduli spaces of McKay quiver representations, making use of Groebner bases and toric geometry. For a finite abelian group G in GL(n,k), let Y_θbe the coherent component of the moduli space of θ-stable representations of the McKay quiver. Our two main results are as follows: we provide a simple description of the quiver representations corresponding to the torus orbits of Y_θ, and, in the case where Y_θequals Nakamura's G-Hilbert scheme, we present explicit equations for a cover by local coordinate charts. The latter theorem corrects the first result from [Nakamura]. The techniques introduced here allow experimentation in this subject and give concrete algorithmic tools to tackle further open questions. To illustrate this point, we present an example of a nonnormal G-Hilbert scheme, thereby answering a question raised by Nakamura.

연구 동기 및 목표

• 그로브너 기저와 토릭 기하학을 활용하여 매크데이 쿼리 표현의 모듈리 공간을 연구하기 위한 알고리즘 도구를 개발하는 것.
• $\theta$-안정적 $G$-클러스터가 모듈리 공간의 일관성 성분 $Y_\theta$에 속하는지 특성화하는 것.
• $Y_\theta$와 일치할 경우 $G$-힐베르트 스킴 $\operatorname{Hilb}^G$의 명시적 국소 좌표 차트를 제공하는 것.
• 나카무라의 $\operatorname{Hilb}^G$의 정규성에 대한 질문을 반례를 구성함으로써 해결하는 것.

제안 방법

• 무게 벡터 $({\bf v}, {\bf w})$에 대해 매크데이 모듈러스 $M_G$의 초기 모듈러스를 계산하기 위해 그로브너 이론을 적용한다.
• 선형 프로그래밍을 사용하여 $\theta$-기능의 최소화자 $\mathbf{v} \in P^\vee_{\mathbf{w}}$를 찾는다. 이는 $\theta \cdot \mathbf{v} \leq \theta \cdot \mathbf{v}'$를 모든 $\mathbf{v}' \in P^\vee_{\mathbf{w}}$에 대해 만족시킨다.
• 특정 $\theta$-반안정적 $G$-클러스터를 순환 $A$-모듈러스 $A / \operatorname{in}_{({\bf v},{\bf w})}(M_G)$로 구성한다.
• 특정 무게 벡터, 예를 들어 $(22,10,16,50,31,21)$와 같이, 격자 이상의 이상을 정의하는 이상 아이디얼 $J$를 정의한다.
• Normaliz를 사용하여 관련된 반군 $A_J$의 반군 정규성을 테스트하여 $\operatorname{Hilb}^G$가 정규인지 여부를 판단한다.
• $(\mathbb{Z}/5\mathbb{Z})^4$와 동형인 부분군 $G \subset \operatorname{GL}(6,\Bbbk)$를 사용하여 비정규 $G$-힐베르트 스킴의 반례를 구성한다.

실험 결과

연구 질문

• RQ1 모든 유한 아벨 부분군 $G \subset \operatorname{GL}(n,\Bbbk)$에 대해 $G$-힐베르트 스킴 $\operatorname{Hilb}^G$는 항상 정규인가?
• RQ2 계산적으로 $\theta$-안정적 $G$-클러스터가 일관성 성분 $Y_\theta$에 속하는지 여부를 판단할 수 있는가?
• RQ3 $Y_\theta$와 일치할 경우 $G$-힐베르트 스킴의 명시적 국소 좌표 차트는 무엇인가?
• RQ4 Sardo Infirri의 주장처럼 모든 모듈리 공간 $\mathcal{M}_\theta$는 항상 토릭 다양체인가?
• RQ5 계산 대수기하학 기법을 사용하여 비정규 $G$-힐베르트 스킴을 구성할 수 있는가?

주요 결과

• 논문은 $(\mathbb{Z}/5\mathbb{Z})^4$와 동형인 $G \subset \operatorname{GL}(6,\Bbb{k})$에 대해 비정규 $G$-힐베르트 스킴을 구성함으로써 나카무라의 정규성 질문에 대해 부정적인 답변을 제시한다.
• 이deals $J$에 관련된 반군 $A_J$는 정규가 아니며, 이는 유리뿔 내에 있지만 $A_J$에 속하지 않는 벡터 $(3,2,-3,1,-1,-2)$에 의해 뒷받침된다.
• 이deals $J$는 무게 벡터 $(22,10,16,50,31,21)$에 대해 격자 이상의 이상으로서 정의되며, 이는 $\operatorname{Hilb}^G$ 내의 $G$-클러스터를 정의함을 확인한다.
• 선형 프로그래밍을 풀고 초기 모듈러스를 계산하는 알고리즘은 $\theta$-안정적 $G$-클러스터가 $Y_\theta$에 속하는지 여부를 판단하는 실용적인 방법을 제공한다.
• 반례인 예제 4.12 및 5.7을 통해 Sardo Infirri의 주장, 즉 모든 $\mathcal{M}_\theta$가 토릭 다양체라는 주장이 잘못되었음을 입증한다.
• 일관성 성분 $Y_\theta$는 항상 정규가 아니며, 구성된 예에서 $\operatorname{Hilb}^G$의 비정규성으로써 이를 입증한다.