[논문 리뷰] The coherent component of the moduli of McKay quiver representations for abelian groups

Alastair Craw, Diane Maclagan외 1명|arXiv (Cornell University)|2005. 05. 06.

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

한 줄 요약

이 논문은 유한 아벨 부분군 G ⊂ GL(n, k)에 대한 McKay 쿠비 표현의 모듈리 공간 Mθ의 일관성 성분 Yθ에 대해 서술한다. Yθ는 An/G로의 프로젝티브 비라지오 매핑을 가지며, 토릭 다양체임을 보이며, 그레브너 기저를 이용한 계산적 방법을 통해 쿠비 표현과 관련된 G-등변 k[x1,…,xn]-모듈을 결정함을 보인다. 또한 G-Hilb가 비어있을 수 있고, Yθ가 비정규일 수 있음을 보여, 나카무라의 질문에 대해 GL(3,k) 및 GL(6,k)에서의 경우에 답을 제시한다.

ABSTRACT

For a finite abelian group G ⊂ GL(n, k), we describe the coherent component Yθ of the moduli space Mθ of McKay quiver representations. This is a not-necessarily-normal toric variety that admits a projective birational morphism Yθ → A n /G obtained by variation of GIT quotient. We present a simple calculation to determine the quiver representation corresponding to any point of Yθ, and describe the associated G-equivariant k[x1,...,xn]-module via Gröbner bases. In the case Mθ = G-Hilb, we show that G-Hilb may be reducible and its coherent component Yθ = Hilb G may be nonnormal, giving examples for G in GL(3, k) and GL(6, k) respectively. The latter answers a question of Nakamura.

연구 동기 및 목표

• 유한 아벨 부분군 G ⊂ GL(n, k)에 대해 McKay 쿠비 표현의 모듈리 공간 Mθ의 일관성 성분 Yθ를 특성화하기 위해.
• GIT 쿼터언트의 변동을 통해 Yθ → An/G로의 프로젝티브 비라지오 매핑을 수립하기 위해.
• Yθ의 임의의 점에 대응하는 쿠비 표현을 구축하는 방법을 제공하기 위해.
• 그레브너 기저를 이용해 Yθ의 점에 대응하는 G-등변 k[x1,…,xn]-모듈을 기술하기 위해.
• G-Hilb의 기하적 성질, 특히 기약성과 비정규성에 대해 조사하여 나카무라가 제기한 질문을 해결하기 위해.

제안 방법

• 저자들은 GIT 쿼터언트의 변동을 사용하여 일관성 성분 Yθ에서 몫 다양체 An/G로의 프로젝티브 비라지오 매핑을 구성한다.
• 쿠비 표현이 Yθ의 임의의 점에 대해 어떤 구조를 가지는지 기반으로 조합론적이고 대수적인 프레임워크를 정의한다.
• 그레브너 기저 기법을 적용하여 관련된 G-등변 k[x1,…,xn]-모듈을 명시적으로 계산한다.
• Yθ의 토릭 성격에 기반하여, 이는 일반적으로 정규가 되지 않는 토릭 다양체임을 보인다.
• G-Hilb의 기하학적 성질을 Yθ의 성분과 특이점 분석을 통해 연구한다.
• GL(3,k) 및 GL(6,k)에 속하는 G에 대해 명시적인 예를 구성하여 비정규성과 비기약성을 입증한다.

실험 결과

연구 질문

• RQ1 유한 아벨 부분군 G ⊂ GL(n,k)에 대해 McKay 쿠비 표현의 모듈리 공간 Mθ의 일관성 성분 Yθ를 명시적으로 기술할 수 있는가?
• RQ2 GIT 쿼터언트의 변동을 통해 Yθ는 An/G로의 프로젝티브 비라지오 매핑을 갖는가?
• RQ3 G-Hilb는 항상 기약적인가, 그리고 그 일관성 성분 Yθ는 비정규적일 수 있는가?
• RQ4 Yθ의 점에 대응하는 G-등변 k[x1,…,xn]-모듈의 구조는 무엇인가?
• RQ5 특히 고차원에서 G-Hilb가 비기약적이거나 Yθ가 비정규적인 경우에 대해 명시적인 예를 구성할 수 있는가?

주요 결과

• 일관성 성분 Yθ는 일반적으로 정규가 되지 않는 토릭 다양체이며, An/G로의 프로젝티브 비라지오 매핑을 갖는다.
• 쿠비 표현과 그레브너 기저에 기반한 단순한 알고리즘을 통해 Yθ의 임의의 점에 대응하는 쿠비 표현을 명시적으로 계산할 수 있다.
• G-Hilb의 경우, 일관성 성분 Yθ가 비정규적일 수 있으며, 이는 정규성 가정에 대한 반례를 제공한다.
• G-Hilb가 비기약적일 수 있으며, 이는 G-힐베르트 스킴이 항상 기약적이지 않음을 보여준다.
• 논문은 GL(3,k) 및 GL(6,k)에서 Yθ가 비정규적이고 G-Hilb가 비기약적인 명시적인 예를 구성하여 나카무라의 질문을 해결한다.
• Yθ의 기하학적 구조는 매크레이 쿠비의 조합론적 성질과 GIT 카메라 구조에 의해 완전히 결정된다.