[논문 리뷰] Discriminants and Automorphism Groups of Veronese subrings of skew polynomial rings

Kenneth Chan, Alexander Young외 1명|arXiv (Cornell University)|2016. 06. 03.

Advanced Differential Equations and Dynamical Systems참고 문헌 14인용 수 5

한 줄 요약

이 논문은 $q$가 단위근일 때 $q$-스키우 다항식환의 베론네제 부분환의 자기동형군을 분열법을 사용하여 계산한다. $n$과 $v$의 기수성이 반대일 경우 자기동형군은 $S_n \ltimes (\Bbbk^\times)^n$임을 증명하고, $n$이 홀수이며 $\gcd(m,v)=1$일 경우 자유군의 랭크 2를 포함함을 보여, 티츠 대안을 확인한다.

ABSTRACT

We study important invariants and properties of the Veronese subalgebras of $q$-skew polynomial rings, including their discriminant, center and automorphism group, as well as cancellation property and the Tits alternative.

연구 동기 및 목표

• 비자명한 단위근인 $q$에 대해 $q$-스키우 다항식환의 베론네제 부분환의 자기동형군을 결정하는 것.
• 이러한 베론네제 부분환에 대한 취소 성질과 티츠 대안을 조사하는 것.
• 분열 기반 방법을 변형되지 않은 대수, 특히 가환 다항식환과 동형이 아닌 대수로 확장하는 것.
• 다양한 $n$과 $v$의 기수성 조건 및 $\gcd(m,v)$ 조건 하에서 자기동형군의 구조를 규명하는 것.

제안 방법

• 분열법을 사용하여 $A = \Bbbk_q[x_1,\dots,x_n]^{(v)}$의 자기동형군을 분석한다.
• 분열 이론에서의 강성 결과를 적용하여 대칭성을 통제하고 자기동형군을 계산한다.
• 도함수 $\partial_1, \partial_3$와 그 지수함수 $g_1 = \exp(\partial_1)$, $g_3 = \exp(\partial_3)$를 사용하여 자유군을 구성한다.
• 도함수의 차수 $\deg \partial_i = v$ 조건을 사용하여 자기동형이 베론네제 부분환 $A^{(v)}$로 제한됨을 보장한다.
• Lemma 8.2를 적용하여, 차수 $v$를 유지하고 $A^{(v)}$에서 항등적으로 작용하는 자기동형은 반드시 자명함을 보인다.
• [CPWZ3, Proposition 2.5]에 의존하여, 적절한 조건 하에서 $g_1$과 $g_3$가 자유군의 랭크 2를 생성함을 확인한다.

실험 결과

연구 질문

• RQ1 일반선형군 $n$, $v$, $q$ (유한 차수 $m$)에 대해 $\Bbbk_q[x_1,\dots,x_n]^{(v)}$의 자기동형군이 가상 아벨군인지 여부는 어떤 조건에서 성립하는가?
• RQ2 이러한 베론네제 부분환의 자기동형군이 랭크 2의 자유군을 포함하는 조건은 무엇이며, 이는 티츠 대안과 어떻게 관련되는가?
• RQ3 만약 $n$과 $v$의 기수성이 같고 $\gcd(m,v) = 1$일 경우 자기동형군의 구조는 어떻게 되는가?
• RQ4 정리 0.2의 가정 하에서 $\Bbbk_q[x_1,\dots,x_n]^{(v)}$의 베론네제 부분환은 취소 가능한가?
• RQ5 분열과 대수의 중심이 자기동형군을 규명하는 데 어떻게 기여하는가?

주요 결과

• 만약 $n$이 짝수이고 $q = -1$일 경우, $n$과 $v$의 기수성이 반대면 $\operatorname{Aut}(\Bbbk_{-1}[x_1,\dots,x_n]^{(v)}) \cong S_n \ltimes (\Bbbk^\times)^n$이다.
• 만약 $q$의 차수가 $m > 2$이고, $n$이 짝수이며 $m \nmid v$이거나, $n$이 홀수이며 $\gcd(m,v) \neq 1$이면, $q^v = \pm 1$이면 $\operatorname{Aut}(A) \cong \mathbb{Z}/(n) \ltimes (\Bbbk^\times)^n$이고, 그렇지 않으면 $\cong (\Bbbk^\times)^n$이다.
• 만약 $n$이 홀수이며 $\gcd(m,v) = 1$이면 $\operatorname{Aut}(\Bbbk_q[x_1,\dots,x_n]^{(v)})$는 자유군의 랭크 2를 포함하며, 티츠 대안을 만족한다.
• $n=2$이고 $v = m\gamma$일 경우, $\operatorname{Aut}(\Bbbk_q[x_1,x_2]^{(v)})$는 자유군의 랭크 2를 포함한다. 이는 대수가 가환 베론네제 부분환과 동형이지만 성립한다.
• $n \geq 3$이고 $(n,m,v)$가 정리 0.2(a,b)의 조건을 만족하지 않을 경우 $\Bbbk_q[x_1,\dots,x_n]^{(v)}$의 자기동형군은 완전히 규명되지 않았지만, 추측에 따르면 자유군의 랭크 2를 포함한다.
• 분열법은 변형되지 않은 가환 다항식환의 변형이 아닌 대수의 자기동형군을 제어하는 데 성공적으로 적용되었으며, 이는 이전의 적용 범위를 초월한다.