[논문 리뷰] On the Spectra of Quantum Groups

Milen Yakimov|arXiv (Cornell University)|2011. 06. 20.

Algebraic structures and combinatorial models참고 문헌 53인용 수 38

한 줄 요약

이 논문은 임의의 체 위의 단순 대수적 군에 대한 양자 함수 대수 $R_q[G]$의 소 스펙트럼과 원시 스펙트럼을 명시적으로 기술한다. 이는 변형 매개수 $q$가 단위근이 아닐 조건 하에 성립한다. 조지프의 국소화의 중심을 규명하고, 데 콘치니–카스–프로체시 대수에 대해 변수 분離 기법을 적용함으로써, 극대 아이디얼을 분류하고, 모든 극대 아이디얼이 유한 차원을 가짐을 증명하며, $R_q[G]$가 모든 소 아이디얼의 최대 사슬의 길이가 $\dim G$와 일치하는 첫 번째 사슬 조건을 만족함을 보였다. 이는 양자군의 스펙트럼 및 호모로지적 성질에 대한 오랫동안 남아있던 질문들을 해결한다.

ABSTRACT

Joseph and Hodges-Levasseur (in the A case) described the spectra of all quantum function algebras R_q[G] on simple algebraic groups in terms of the centers of certain localizations of quotients of R_q[G] by torus invariant prime ideals, or equivalently in terms of orbits of finite groups. These centers were only known up to finite extensions. We determine the centers explicitly under the general conditions that the deformation parameter is not a root of unity and without any restriction on the characteristic of the ground field. From it we deduce a more explicit description of all prime ideals of R_q[G] than the previously known ones and an explicit parametrization of Spec R_q[G]. We combine the latter with a result of Kogan and Zelevinsky to obtain in the complex case a torus equivariant Dixmier type map from the symplectic foliation of the group G to the primitive spectrum of R_q[G]. Furthermore, under the general assumptions on the ground field and deformation parameter, we prove a theorem for separation of variables for the De Concini-Kac-Procesi algebras U^w_\pm, and classify the sets of their homogeneous normal elements and primitive elements. We apply those results to obtain explicit formulas for the prime and especially the primitive ideals of U^w_\pm lying in the Goodearl-Letzter stratum over the 0-ideal. This is in turn used to prove that all Joseph's localizations of quotients of R_q[G] by torus invariant prime ideals are free modules over their subalgebras generated by Joseph's normal elements. From it we derive a classification of the maximal spectrum of R_q[G] and use it to resolve a question of Goodearl and Zhang, showing that all maximal ideals of R_q[G] have finite codimension. We then prove that all maximal chains in Spec R_q[G] have the same length equal to GKdim R_q[G]= dim G, i.e. R_q[G] satisfies the first chain condition for prime ideals in Nagata's terminology.

연구 동기 및 목표

• 양자 함수 대수 $R_q[G]$의 열린 문제인 소 스펙트럼과 원시 스펙트럼을 해결하기 위해.
• 조지프의 $R_q[G]$에 대한 국소화의 중심을 명시적으로 결정하여 이전의 유한 확장 의존성을 제거하기 위해.
• 최대 아이디얼을 분류하고 고드리얼 및 장의 유한 차원성 질문에 답하기 위해.
• 복소수 경우에, $G$의 심플렉틱 분할에서 $\mathrm{Prim}\,R_q[G]$로의 토러스-불변 딕스미어 유형 사상 수립하기 위해.
• 모든 소 아이디얼의 최대 사슬 길이가 $\dim G$와 일치하는 $R_q[G]$의 첫 번째 사슬 조건을 증명하기 위해.

제안 방법

• 데 콘치니–카스–프로체시 대수 $\mathcal{U}^w_\pm$에 대해 변수 분리 기법을 사용하여 조지프의 국소화 중심을 명시적으로 계산하기 위해.
• 기본 표현의 가중치 순서 기반을 이용하여 $R^+ \circledast R^-$의 증강 아이디얼에 대한 다항식 정규 생성열을 구성하기 위해.
• 양자 영행렬 대수 이론을 적용하여 $\mathcal{U}^w_\pm$ 내의 동차 정규 원소 및 소 원소를 분류하기 위해.
• 조지프의 정규 원소로 생성된 부분대수 위에서 $R_w$의 모듈러 구조를 이용하여 $\{0\}$-층의 소 아이디얼 분석하기 위해.
• 관련 준동형 대수 $\mathrm{gr}\,R_q[G] \cong R^+ \circledast R^-$를 이용하여 노에테리안성 및 정규 원소 성질 유도하기 위해.
• 코건–제레브스키의 결과와 결합하여 복소수 경우에 토러스-불변 딕스미어 사상 구축하기 위해.

실험 결과

연구 질문

• RQ1 임의의 체 위에서 $q$가 단위근이 아니고 $q$가 단위근이 아닐 때, 조지프의 $R_q[G]$ 국소화 중심의 명시적 구조는 무엇인가?
• RQ2 고드리얼과 장의 추측에 따르면, $R_q[G]$의 모든 최대 아이디얼이 유한 차원을 가지는가?
• RQ3 양자 함수 대수 $R_q[G]$의 소 스펙트럼과 원시 스펙트럼은 명시적으로 매개변수화될 수 있으며, $G$의 심플렉틱 분할에서 $\mathrm{Prim}\,R_q[G]$로의 토러스-불변 딕스미어 유형 사상이 존재하는가?
• RQ4 데 콘치니–카스–프로체시 대수 $\mathcal{U}^w_\pm$의 정규 원소 및 소 원소로서의 구조는 무엇인가?
• RQ5 $R_q[G]$는 첫 번째 사슬 조건을 만족하는가? 모든 소 아이디얼의 최대 사슬 길이가 $\dim G$와 일치하는가?

주요 결과

• 임의의 체 위에서 $q$가 단위근이 아니면, 조지프의 $R_q[G]$ 국소화 중심이 명시적으로 결정된다.
• 모든 $R_q[G]$의 최대 아이디얼은 유한 차원을 가지며, 고드리얼과 장의 질문을 해결한다.
• 소 스펙트럼 $\mathrm{Spec}\,R_q[G]$는 유한군의 궤도를 통해 명시적으로 매개변수화되며, 복소수 경우에 토러스-불변 딕스미어 유형 사상이 구축된다.
• $R_q[G]$는 첫 번째 사슬 조건을 만족한다: 모든 소 아이디얼의 최대 사슬 길이가 $\dim G$와 일치하며, 이는 겔판트–키릴로프 차원과도 일치한다.
• 데 콘치니–카스–프로체시 대수 $\mathcal{U}^w_\pm$는 변수 분리를 갖는다. 또한 그 동차 정규 원소 및 소 원소는 완전히 분류된다.
• 토러스-불변 소 아이디얼에 대한 $R_q[G]$의 몫에 대한 조지프의 국소화는 조지프의 정규 원소로 생성된 부분대수 위의 자유 모듈러이다.