[논문 리뷰] Prime ideals in certain quantum determinantal rings

K. R. Goodearl, T. H. Lenagan|ArXiv.org|1999. 03. 24.

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

한 줄 요약

이 논문은 양자 결정식 환의 소 스펙트럼을 분석하여 O_q(M_{m,n}(k))의 양자화 좌표 대수에서 2×2 양자 미니어들로 생성된 아이디얼 I를 연구한다. 고전적 불변량 이론 정리의 유사체를 사용하여 I가 완전히 소임을 증명함으로써 A/I가 양자 아핀 공간들의 텐서곱 위에 k[x,x⁻¹]-코액션에 대한 코인variants의 환과 동형이 되는 정수환임을 보이고, 자연스러운 토르스 작용에 대한 불변 소 아이디얼을 규명한다.

ABSTRACT

The ideal I generated by the 2x2 quantum minors in the algebra A = O_q(M_{m,n}(k)) (the quantized coordinate algebra of mxn matrices) is investigated. Analogues of the First and Second Fundamental Theorems of Invariant Theory are proved. In particular, it is shown that I is a completely prime ideal, that is, A/I is an integral domain, and that A/I is the ring of coinvariants of a coaction of k[x,x^{-1}] on O_q(k^m) tensor O_q(k^n), a tensor product of two quantum affine spaces. (That the ideal of A generated by the txt quantum minors, for any t, is completely prime is proved in the authors' paper `Quantum determinantal ideals'.) There is a natural torus action on A/I induced by an (m+n)-torus action on A. We identify the invariant prime ideals for this action and deduce consequences for the prime spectrum of A/I.

연구 동기 및 목표

• 2×2 양자 미니어로 생성된 아이디얼의 소 아이디얼 구조를 이해하기 위해.
• 양자 설정에서 첫 번째 및 두 번째 불변량 이론 기본 정리의 유사체를 수립하기 위해.
• O_q(M_{m,n}(k))에서 2×2 양자 미니어로 생성된 아이디얼 I가 완전히 소임을 증명하여 A/I가 정수환임을 보이기 위해.
• A/I를 k[x,x⁻¹]-코액션에 의한 O_q(k^m) ⊗ O_q(k^n) 위의 코인variants의 환으로 기술하기 위해.
• A/I 내에서 자연스러운 (m+n)-토르스 작용에 대해 불변인 소 아이디얼을 규명하기 위해.

제안 방법

• 코액션 이론을 활용하여 A/I를 두 개의 양자 아핀 공간의 텐서곱 위에 k[x,x⁻¹]-코액션에 대한 코인variants의 환으로 실현한다.
• 고전적 불변량 이론 정리의 양자 유사체를 적용하여 아이디얼 I의 구조를 분석한다.
• A/I 위의 자연스러운 (m+n)-토르스 작용을 활용하여 불변 소 아이디얼을 연구한다.
• 토르스 불변성과 코액션 구조를 활용하여 A/I의 소 스펙트럼을 분석한다.
• 이전 연구에서 증명된 lin{t×t} 양자 미니어로 생성된 아이디얼이 완전히 소임을 이용하여 2×2 경우를 뒷받침한다.

실험 결과

연구 질문

• RQ1 O_q(M_{m,n}(k))에서 2×2 양자 미니어로 생성된 아이디얼은 완전히 소인가, 즉 몫환 A/I가 정수환인가?
• RQ2 양자 결정식 환에 대해 첫 번째 및 두 번째 불변량 이론 기본 정리의 유사체를 양자 설정에서 수립할 수 있는가?
• RQ3 코Hopf 대수의 코액션에 대한 코인variants로 몫환 A/I는 어떻게 기술할 수 있는가?
• RQ4 A/I 내에서 (m+n)-토르스 작용에 대해 불변인 소 아이디얼은 무엇인가?
• RQ5 토르스 불변성 하에서 A/I의 소 스펙트럼의 구조는 어떻게 되는가?

주요 결과

• O_q(M_{m,n}(k))에서 2×2 양자 미니어로 생성된 아이디얼 I는 완전히 소이므로 A/I는 정수환이다.
• A/I는 O_q(k^m) ⊗ O_q(k^n) 위의 k[x,x⁻¹]-코액션에 대한 코인variants의 환과 동형이다.
• 몫환 A/I는 A로부터 자연스러운 (m+n)-토르스 작용을 물려받는다.
• A/I 내의 불변 소 아이디얼은 토르스 작용을 통해 완전히 규명된다.
• 이러한 불변 소 아이디얼의 분류를 바탕으로 A/I의 소 스펙트럼의 구조가 유도된다.