[논문 리뷰] Deformations of type D Kleinian singularities

Paul Boddington|arXiv (Cornell University)|2006. 12. 29.

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

한 줄 요약

이 논문은 차수 $n$의 다항식 $q$로 매개변수화된 타입 $D_n$ 켈러 특이점의 비환원적 변형 $D(q)$ 의 가닥을 구성하며, 모든 비환원적 변형이 어떤 $D(q)$ 와 동형임을 증명한다. 또한 $D(q)$ 와 크래블리-부이비-홀랜드 대수 $ olimits^{oldsymbol{ olimits}}$ 사이의 명시적 동형사상 수립하여, 타입 $D_n$ 켈러 특이점의 모든 비환원적 변형이 어떤 $ olimits^{oldsymbol{ olimits}}$ 와 동형임을 보이며, 동형사상은 그래프 자기동형사상, 스케일링, 반사에 의해 분류된다.

ABSTRACT

For $n\geq 4$ we shall construct a family $D(q)$ of non-commutative deformations of the coordinate algebra of a Kleinian singularity of type $D_n$ depending on a polynomial $q$ of degree $n$. We shall prove that every deformation of a type $D$ Kleinian singularity which is not commutative is isomorphic to some $D(q)$. We shall then consider in type $D$ the family of deformations $\mathcal{O}^{\boldsymbolλ}$ constructed by Crawley-Boevey and Holland. For each $\mathcal{O}^{\boldsymbolλ}$ which is not commutative we shall exhibit an explicit isomorphism $D(q)\cong \mathcal{O}^{\boldsymbolλ}$ for a suitable choice of $q$. This will enable us to prove that every deformation of a Kleinian singularity of type $D_n$ is isomorphic to some $\mathcal{O}^{\boldsymbolλ}$ and determine when two $\mathcal{O}^{\boldsymbolλ}$ are isomorphic.

연구 동기 및 목표

• 차수 $n$의 다항식 $q$ 로 매개변수화된 타입 $D_n$ 켈러 특이점의 새로운 비환원적 변형 $D(q)$ 의 가닥을 구성하기.
• 타입 $D_n$ 켈러 특이점의 모든 비환원적 변형이 어떤 $D(q)$ 와 동형임을 증명하기.
• 적절한 $q$ 에 대해 $D(q)$ 와 크래블리-부이비-홀랜드 대수 $\mathcal{O}^{\boldsymbol{\lambda}}$ 사이의 명시적 동형사상 수립하기.
• 그래프 자기동형사상, 스케일링, 반사 등을 통해 $ olimits^{oldsymbol{ olimits}}$ 대수 간의 동형사상 유형을 분류하기.

제안 방법

• 바뷰라, 스미스, 홉지스가 연구한 것들과 유사한 비환원적 대수의 부분대수로 $D(q)$ 를 생성자와 관계식을 사용하여 구성하기.
• 차수 $n$ 의 다항식 $q$ 를 정의하여 변형을 매개변수화하고, 이로써 타입 $D_n$ 의 모든 비환원적 변형을 포괄함을 보장하기.
• 생성자와 관계식을 일치시켜, $ olimits^{oldsymbol{ olimits}}$ 에 대한 $ olimits^{oldsymbol{ olimits}}$ 에 대한 명시적 동형사상 $D(q) \cong \mathcal{O}^{\boldsymbol{\lambda}}$ 수립하며, $ olimits^{oldsymbol{ olimits}}$ 에 대한 트레이스 조건을 활용하기.
• 반사 $r_i$ 와 매개변수 열 $ olimits^{oldsymbol{ olimits}}$ 에 대한 그래프 자기동형사상의 작용을 이용하여 동형사상 유형을 보존하는 대칭을 분류하기.
• $ olimits^{oldsymbol{ olimits}}$ 를 필터링된 대수로 간주하고, 그 차수 4의 필터링 성분 $F_4$ 의 차원이 3차원임을 연결하여 $D(q)$ 와 관련짓기.
• 변형 $D(q) \cong D(\tilde{q})$ 가 성립하는 조건을 유도하기 위해 $q(x)q(-x-1)$ 의 곱을 스칼라 곱과 대칭성에 따라 비교하기.

실험 결과

연구 질문

• RQ1 모든 타입 $D_n$ 켈러 특이점의 비환원적 변형은 적절한 차수 $n$ 의 다항식 $q$ 에 대해 어떤 $D(q)$ 와 동형인가?
• RQ2 크래블리-부이비-홀랜드 대수 $ olimits^{oldsymbol{ olimits}}$ 는 명시적 동형사상에 의해 $D(q)$ 변형과 식별될 수 있는가?
• RQ3 어떤 대칭이 $ olimits^{oldsymbol{ olimits}}$ 대수의 동형사상 유형을 보존하는가? 이는 매개변수 $ olimits^{oldsymbol{ olimits}}$ 와 어떻게 관련되는가?
• RQ4 다항식 불변량 $q(x)q(-x-1)$ 와 그 매개변수 $ olimits^{oldsymbol{ olimits}} \mapsto 1 - \nolimits^{oldsymbol{ olimits}}$ 에 의한 변환은 서로 다른 $D(q)$ 대수 간의 동형사상을 어떻게 분류하는가?

주요 결과

• 모든 타입 $D_n$ 켈러 특이점의 비환원적 변형은 차수 $n$ 의 다항식 $q$ 를 가진 어떤 $D(q)$ 와 동형이다.
• 적절한 $q$ 를 선택함에 따라, $D(q)$ 와 $ olimits^{oldsymbol{ olimits}}$ 사이의 명시적 동형사상이 구성된다.
• $ olimits^{oldsymbol{ olimits}}$ 대수 간의 유일한 동형사상은 그래프 자기동형사상, $ olimits^{oldsymbol{ olimits}}$ 의 스케일링, 그리고 매개변수 공간에서의 반사에 의해 유도된다.
• $n=4$ 인 경우, $ olimits^{oldsymbol{ olimits}}$ 의 동형사상 유형은 순열과 $ olimits^{oldsymbol{ olimits}} \mapsto 1 - \nolimits^{oldsymbol{ olimits}}$ 변환에 의한 매개변수 열의 궤도에 의해 결정되며, 이는 세 가지의 서로 다른 대칭 형태를 가진다.
• $D(q) \cong D(\tilde{q})$ 이면, $q(x)q(-x-1)$ 는 $ olimits^{oldsymbol{ olimits}}$, $ olimits^{oldsymbol{ olimits}}'$, 또는 $ olimits^{oldsymbol{ olimits}}''$ 에서 유도된 세 가지 대칭 형태 중 하나의 스칼라 곱과 일치한다.
• $ olimits^{oldsymbol{ olimits}}$ 의 차수 4 원소 공간 $F_4$ 는 3차원이며, $1$, $\langle aba \rangle$, $\langle aca \rangle$, $\langle ada \rangle$ 로 생성되며, 이들 사이에 유일한 관계가 존재한다.