[논문 리뷰] A remark on quiver varieties andweyl groups

Andrea Maffei|ArXiv.org|2000. 03. 25.

Algebraic structures and combinatorial models참고 문헌 8인용 수 44

한 줄 요약

이 논문은 일반 매개변수를 가진 유한형 퀴버에 대해, 다양체의 프로젝티브 환의 생성자를 사용하여 Weyl 군의 대수적 직접 구축을 제공한다. 핵심 기여는 Lusztig의 호모로지적 구축을 일반화한 새로운 편향된 퀴버 다양체 간의 동형사상이며, $d-v$ 가 정규 가중치일 때 $M_0(d,v)$ 의 정규성과 $M(d,v)$ 의 연결성을 증명한다.

ABSTRACT

In this paper we define an action of the Weyl group on the quiver varieties $M_{m,\grl}(d,v)$ with generic $(m,\grl)$. To do it we describe a set of generators of the projective ring of a quiver variety. We also prove connectness for the smooth quiver variety $M(d,v)$ and normality for $M_0(d,v)$ in the case of a quiver of finite type and $d-v$ a regular weight.

연구 동기 및 목표

• 분석적 방법을 피한, 퀴버 다양체 위에서 Weyl 군 작용의 직접적이고 대수적인 구축을 제공하기 위해.
• 퀴버 다양체의 프로젝티브 환에 대한 생성자 집합을 기술하여, 명시적인 대수적 연산을 가능하게 하기 위해.
• Lusztig의 Weyl 군 표현에 대한 호모로지적 구축을 더 넓은 범주로 일반화하기 위해.
• d-v 가 정규일 때 유한형의 경우 $M_0(d,v)$ 의 정규성과 $M(d,v)$ 의 연결성을 증명하기 위해.
• $d-v$ 가 도미넌트일 경우로의 $M_{0,0}(d,v)$ 의 기하적 성질 연구를 단순화하기 위해, $M_{0,0}(d,v)$ 의 연구를 $d-v$ 가 도미넌트일 경우로 축소하기 위해.

제안 방법

• Nakajima의 대수적 구축을 사용하여, 코바리언트 환의 $\mathbf{Proj}$ 로 퀴버 다양체 $M_{m,\lambda}(d,v)$ 를 정의한다.
• 특수한 경우에서 퀴버 다양체 위의 코바리언트 함수 환에 대한 명시적 생성자를 구성한다.
• 이 생성자를 사용하여 Weyl 군의 원소 $\sigma$ 에 대해 $M_{m,\lambda}(d,v)$ 와 $M_{\sigma m,\sigma\lambda}(d,\sigma(v-d)+d)$ 간의 동형사상 $\Phi_{\sigma}$ 를 정의한다.
• Migliorini의 결과를 활용하여 퀴버 다양체의 대수적 구축과 하이퍼카일러 구축을 연결한다.
• $\mu^{-1}(0)$ 의 영점층에 대한 $V_i^+(s)$ 차원을 사용한 분할을 통해 특이점과 차원 상한을 분석한다.
• Lusztig의 공식에서 유도된 차원 추정을 적용하여, $d-v$ 가 정규일 때 $\text{codim}(\text{sing}) \geq 2$ 임을 보이고, 이는 정규성을 의미한다.

실험 결과

연구 질문

• RQ1 퀴버 다양체 위에서 Weyl 군 작용은 인스탄턴 모듈리 공간이나 해석기하학에 의존하지 않고 대수적으로 구축할 수 있는가?
• RQ2 퀴버 다양체의 프로젝티브 환에 대한 완전한 생성자 집합은 무엇이며, 이를 어떻게 Weyl 군 동형사상을 정의하는 데 사용할 수 있는가?
• RQ3 언제 퀴버 다양체 $M_0(d,v)$ 는 정규이며, $M(d,v)$ 는 연결되는가?
• RQ4 $d-v$ 의 도미넌트성과 정규성에 따라 $M_{0,0}(d,v)$ 의 기하학적 성질은 어떻게 달라지는가?
• RQ5 $M_{0,0}(d,v)$ 의 연구를 $d-v$ 가 도미넌트일 경우로 축소할 수 있는가?

주요 결과

• 논문은 임의의 $\sigma$ 에 대해 Weyl 군에 속하는 경우, 일반적인 $m,\lambda$ 에 대해 $M_{m,\lambda}(d,v)$ 와 $M_{\sigma m,\sigma\lambda}(d,\sigma(v-d)+d)$ 간의 명시적이고 대수적인 동형사상 $\Phi_{\sigma}$ 를 구축한다.
• 퀴버 다양체의 프로젝티브 환은 명시적 코바리언트 함수로 생성되며, 이는 다양체의 구조를 대수적으로 다룰 수 있게 한다.
• d-v 가 정규일 때, $M_0(d,v)$ 는 정규이자 기약이며, $M(d,v)$ 는 연결성이 보장되며, 특이점의 여부가 최소한 두 차원 이상이기 때문이다.
• d-v 가 도미넌트일 경우, $M_0(d,v)$ 는 완전교차형이 되며, 이는 부드러운 국소 $M_{m_+,0}(d,v)$ 의 조밀성 때문이기도 하다.
• $\Phi_{\sigma}$ 는 Lusztig의 호모로지적 구축과는 다른 새로운 대수적 실현을 제공하며, 퀴버 다양체 위에서 Weyl 군 작용을 실현한다.
• 결과적으로 $M_{0,0}(d,v)$ 의 연구는 $d-v$ 가 도미넌트일 경우로 축소되며, 그 기하학적 성질 분석이 단순화된다.