[논문 리뷰] On Radicals of Ore Extensions and Related Questions

Be’eri Greenfeld, Agata Smoktunowicz외 1명|arXiv (Cornell University)|2017. 02. 26.

Advanced Topics in Algebra참고 문헌 30인용 수 3

한 줄 요약

이 논문은 오레 확장과 미분 다항식 환에서의 루트에 관해 오랫동안 미해결된 여러 문제를 해결한다. R가 유도자 δ를 가진 소 루트 환이라면, 미분 다항식 환 R[X;δ]는 국소적으로 영함수적임을 증명하고, 기저 체가 무한할 경우 R[X;δ]의 영 루트가 어떤 이상수 I에 대해 I[X;δ] 형태임을 보이며, 니엘슨, 지엠보우스키, 홍 등에 의해 오랫동안 남아있던 질문에 답한다. 추가로, 특성 0에서 그레딩을 유지하는 유도자에 대해 잭슨 루트의 안정성을 보이며, 국소적으로 영함수적 σ-유도자가 있는 멱급수 환의 잘 정의됨을 확인하여 이전 결과를 일반화한다.

ABSTRACT

We answer several open questions and establish new results concerning differential and skew polynomial ring extensions, with emphasis on radicals. In particular, we prove the following results. If $R$ is prime radical and $δ$ is a derivation of $R$, then the differential polynomial ring $R[X;δ]$ is locally nilpotent. This answers an open question posed in by Nielsen and Ziembowski. The nil radical of a differential polynomial ring $R[X;δ]$ takes the form $I[X;δ]$ for some ideal $I$ of $R$, provided that the base field is infinite. This answers an open question posed by Hong, Kim, Lee and Nielsen for algebras over infinite fields. If $R$ is a graded algebra generated in degree $1$ over a field of characteristic zero and $δ$ is a grading preserving derivation on $R$, then the Jacobson radical of $R$ is $δ$-stable. Examples are given to show the necessity of all conditions, thereby proving this result is sharp. Skew polynomial rings with natural grading are locally nilpotent if and only if they are graded locally nilpotent. The power series ring $R[[X;σ,δ]]$ is well-defined whenever $δ$ is a locally nilpotent $σ$-derivation; this answers a conjecture by Bergen and Grzeszczuk and opens up the possibility of generalizing many research directions studied thus far only when further restrictions are put on $δ$.

연구 동기 및 목표

• 미분 다항식 환과 왜곡 다항식 환에서의 루트의 구조에 관해 오랫동안 남아있던 질문을 해결하기 위해.
• 오레 확장에서 유도자에 의해 영 루트와 잭슨 루트의 행동을 조사하기 위해.
• 미분 다항식 환이 국소적으로 영함수적이거나 특정 형태의 루트를 가질 조건을 규명하기 위해.
• 국소적으로 영함수적 σ-유도자가 있는 멱급수 환의 잘 정의됨을 확립하여 이전 연구를 확장하기 위해.

제안 방법

• 미분 다항식 환 R[X;δ]에서 루트의 구조를 분석하기 위해 이상수 이론 기법을 사용한다.
• 소 루트 환과 국소적으로 영함수적 유도자의 성질을 적용하여 R[X;δ]의 국소적 영함수성을 증명한다.
• 기저 체가 무한하다는 가정을 활용하여 R의 어떤 이상수 I에 대해 영 루트가 I[X;δ] 형태임을 특성화한다.
• 그레딩과 특성 0의 가정을 활용하여 그레딩을 유지하는 유도자 δ에 대해 그레디드 대수에서 잭슨 루트의 δ-안정성을 증명한다.
• 자연적 그레딩을 가진 왜곡 다항식 환을 분석하여 국소적 영함수성과 그레딩된 국소적 영함수성 간의 동치성을 보인다.
• δ가 국소적으로 영함수적 σ-유도자일 경우 멱급수 환 R[[X;σ,δ]]가 잘 정의됨을 증명하며, 베르겐과 그레즈체크의 추측을 확인한다.

실험 결과

연구 질문

• RQ1 R가 소 루트이고 δ가 R의 유도자일 때, R[X;δ]가 국소적으로 영함수적일 조건은 무엇인가?
• RQ2 특히 무한 체 위에서, R[X;δ]의 영 루트가 R의 어떤 이상수 I에 대해 I[X;δ] 형태가 되는 조건은 무엇인가?
• RQ3 특성 0의 체 위의 그레딩된 대수 R에서 자연스러운 그레딩을 유지하는 유도자 δ에 대해 잭슨 루트가 δ-안정적인가?
• RQ4 자연적 그레딩을 가진 왜곡 다항식 환은 국소적으로 영함수적일 필요와 충분조건이 그레딩된 국소적으로 영함수적일 때인가?
• RQ5 δ가 국소적으로 영함수적 σ-유도자일 경우 멱급수 환 R[[X;σ,δ]]는 잘 정의되는가?

주요 결과

• R가 소 루트이고 δ가 R의 유도자이면, 미분 다항식 환 R[X;δ]는 국소적으로 영함수적임을 증명하며, 니엘슨과 지엠보우스키에 의해 오랫동안 남아있던 문제를 해결한다.
• 기저 체가 무한할 경우, R[X;δ]의 영 루트는 R의 어떤 이상수 I에 대해 I[X;δ] 형태임을 증명하며, 홍, 김, 이, 니엘슨에 의해 오랫동안 남아있던 문제에 답한다.
• 특성 0의 체 위에서 1차에서 생성되는 그레딩된 대수 R와 그레딩을 유지하는 유도자 δ에 대해, R의 잭슨 루트는 δ-안정적이며, 반례를 통해 이 결과가 날카롭게 정밀함을 보여준다.
• 자연적 그레딩을 가진 왜곡 다항식 환은 국소적으로 영함수적일 필요와 충분조건이 그레딩된 국소적으로 영함수적일 때이므로, 정확한 동치성을 확립한다.
• δ가 국소적으로 영함수적 σ-유도자일 경우 멱급수 환 R[[X;σ,δ]]는 잘 정의되며, 이는 베르겐과 그레즈체크의 추측을 확인하고 오레 확장 이론의 더 넓은 일반화를 가능하게 한다.