[논문 리뷰] Free subalgebras of quotient rings of Ore extensions

Jason P. Bell, D. Rogalski|arXiv (Cornell University)|2011. 01. 30.

Algebraic Geometry and Number Theory참고 문헌 10인용 수 4

한 줄 요약

이 논문은 기저 체가 비가чёт수일 때, 체의 오어 확장에 대해 몫의 나눗셈환은 기저 체 위에서 두 생성자를 갖는 자유 대수를 포함하거나 국소적으로 PI(모든 유한 생성 부분대수는 다항식 항등식을 만족함)가 된다는 것을 증명한다. 주요 결과는 비가чёт수 체 위의 아핀 PI 도메인의 반복 오어 확장에 대해 자유 부분대수 추측을 해결하며, 이러한 몫환은 PI이거나 두 생성자를 갖는 자유 부분대수를 포함한다.

ABSTRACT

Let $K$ be a field, let $σ$ be an automorphism of $K$, and let $δ$ be a derivation of $K$. We show that if $D$ is one of $K(x;σ)$ or $K(x;δ)$, then $D$ either contains a free algebra over its center on two generators, or every finitely generated subalgebra of $D$ satisfies a polynomial identity. As a corollary, we are able to show that the quotient division ring of any iterated Ore extension of an affine domain satisfying a polynomial identity either again satisfies a polynomial identity or it contains a free algebra over its center on two variables.

연구 동기 및 목표

• 기저 체 위에서 두 생성자를 갖는 자유 부분대수를 포함하는 오어 확장의 몫 나눗셈환이 언제 발생하는지 규명하는 것.
• 비가환 대수 이론에서 자유 부분대수 추측의 일반적 문제를 다루며, 특히 오어 확장으로부터 유도되는 나눗셈환에 대해 고려하는 것.
• 마카르-리만노프의 방법을 확장하여 비가환 다항식환에서 자유 부분대수 존재를 위한 충분 조건을 설정하는 것.
• 비가чёт수 체 위의 아핀 PI 도메인의 반복 오어 확장에서 몫 나눗셈환이 자유 부분대수 추측을 만족함을 증명하는 것.

제안 방법

• 저자들은 기저 체 $k$가 비가чёт수일 때, $K$가 $k$의 체 확장이고 $\sigma$가 $k$-자기동형사상 또는 $\delta$가 $k$-미분법일 때, 형식 $K(x;\sigma)$ 또는 $K(x;\delta)$를 갖는 나눗셈환에서 두 생성자를 갖는 자유 부분대수 존재를 위한 새로운 기준을 개발한다.
• 그들은 마카르-리만노프의 원래 방법을 활용하며, $\sigma$-오빗의 동역학과 체 확장에서의 $\delta$-미분법의 행동을 분석하기 위해 이를 수정한다.
• 증명은 $K$가 무한한 $\sigma$-오빗을 갖는 원소를 포함하는지, 또는 $\delta$가 큰 부분체에서 비자명하게 작용하는지 여부를 분석하는 데 의존한다.
• 저자들은 자동형사상과 미분법이 모두 존재하는 일반적인 오어 확장의 경우를, 변수를 바꾸는 방법을 통해 순수 자동형사상 또는 순수 미분법의 경우로 환원한다. 이는 이러한 링이 $D[x';\sigma']$ 또는 $D[x';\delta']$와 동형임을 보여주는 보조정리에 기반한다.
• 저자들은 이러한 결과를 귀납적으로 반복 오어 확장에 적용하여, 비가чёт수 체 위의 아핀 PI 도메인의 반복 오어 확장의 몫 나눗셈환이 다항식 항등식을 만족하거나 두 생성자를 갖는 자유 부분대수를 포함함을 증명한다.
• 저자들은 나눗셈환이 두 생성자를 갖는 자유 부분대수를 포함하는 것과 국소적으로 PI가 아님은 동치이며, 이 조건은 $\sigma$-오빗이 무한한 원소가 존재하거나 $\delta$-작용이 비자명한 경우에 해당됨을 보여준다.

실험 결과

연구 질문

• RQ1 기저 체 $k$가 비가чёт수일 때, 오어 확장의 몫 나눗셈환 $K(x;\sigma)$가 두 생성자를 갖는 자유 $k$-부분대수를 포함하는 조건은 무엇인가?
• RQ2 $K(x;\delta)$가 두 생성자를 갖는 자유 부분대수를 포함하는 조건는 무엇이며, 이는 미분법 $\delta$의 구조와 어떻게 관련되는가?
• RQ3 비가чёт수 체 위의 아핀 PI 도메인의 반복 오어 확장에 대해 자유 부분대수 추측은 참인가?
• RQ4 기본 체 위에서 자동형사상 또는 미분법의 행동에 의해, 몫 나눗셈환에 자유 부분대수가 존재하는지 여부를 특징지울 수 있는가?
• RQ5 오어 확장의 몫환에서 국소 PI 성질과 자유 부분대수 존재 사이의 관계는 무엇인가?

주요 결과

• 기저 체 $k$가 비가чёт수일 때, 체 확장 $K/k$에 대해 $K(x;\sigma)$는 두 생성자를 갖는 자유 $k$-부분대수를 포함하는 것과 $K$가 무한한 $\sigma$-오빗을 갖는 원소를 포함하는 것 사이에 동치이다.
• 몫 나눗셈환 $K(x;\delta)$는 두 생성자를 갖는 자유 부분대수를 포함하는 것과 국소적으로 PI가 아님은 동치이며, 이는 $\delta$가 $K$의 충분히 큰 부분체에서 비자명하게 작용할 때 정확히 발생한다.
• 기저 체 $k$가 비가чёт수일 때, $K$가 $k$의 체 확장이면 $K(x;\sigma)$는 국소적으로 PI가 아님과 $K$가 무한한 $\sigma$-오빗을 갖는 원소를 포함함이 동치이다.
• 비가чёт수 체 위의 아핀 PI 도메인의 반복 오어 확장의 몫 나눗셈환은 자유 부분대수 추측을 만족한다: 즉, PI이거나 기저의 중심 위에서 두 생성자를 갖는 자유 부분대수를 포함한다.
• 저자들은 자동형사상과 미분법이 모두 존재하는 모든 오어 확장이 변수를 바꾸는 것으로 순수 자동형사상 또는 순수 미분법 확장과 동형임을 증명하며, 이는 두 주요 경우로 환원 가능하게 한다.
• 논문은 모든 이러한 링이 국소적으로 PI라는 생각에 대한 반례를 제시한다: $K = \mathbb{F}_p(x_0,x_1,\dots)$ 이고 $\delta(x_i) = x_{i+1}$ 이면, 링 $K(x;\delta)$는 $\mathbb{F}_p$ 위에서 두 생성자를 갖는 자유 대수를 포함한다.