[논문 리뷰] Zariski Cancellation Problem for Noncommutative Algebras

Jason P. Bell, James J. Zhang|arXiv (Cornell University)|2016. 01. 18.

Advanced Topics in Algebra참고 문헌 11인용 수 7

한 줄 요약

이 논문은 특성 0인 대수적으로 닫힌 체 위에서 유한 생성된 비가환 도메인으로서 Gelfand-Kirillov 차원이 2인 경우에 대해, Makar-Limanov 불변량과 분열법을 사용하여 비가환 Zariski 취소 문제를 긍정적으로 해결한다. 이러한 대수들이 취소 가능하다는 것을 증명함으로써, 기존의 교환 대수 이론 결과를 비가환 설정으로 확장한다.

ABSTRACT

A noncommutative analogue of the Zariski cancellation problem asks whether $A[x]\cong B[x]$ implies $A\cong B$ when $A$ and $B$ are noncommutative algebras. We resolve this affirmatively in the case when $A$ is a noncommutative finitely generated domain over the complex field of Gelfand-Kirillov dimension two. In addition, we resolve the Zariski cancellation problem for several classes of Artin-Schelter regular algebras of higher Gelfand-Kirillov dimension.

연구 동기 및 목표

• 비가환 대수에 대해 $ A[x] \cong B[x] $이면 $ A \cong B $인지 여부를 묻는 비가환 Zariski 취소 문제(ZCP)의 해석을 수립한다.
• 특히 낮은 Gelfand-Kirillov(GK) 차원을 갖는 비가환 Artin-Schelter 정규 대수의 취소 가능성에 대해 연구한다.
• 기존의 ZCP 결과를 교환 다항식 링에서 비가환 도메인, 특히 차원 2의 경우로 확장한다.
• 취소 가능성의 증명을 위해 새로운 불변량—특히 Makar-Limanov 불변량과 분열법—을 개발하고 적용한다.

제안 방법

• Makar-Limanov 불변량 $ \operatorname{ML}(A) $ 를 사용하여 $ \operatorname{LND} $-강성($ \operatorname{LND} $-rigidity)을 탐지한다. 여기서 $ \operatorname{ML}(A) = \bigcap_{\delta \in \operatorname{LND}(A)} \ker(\delta) $ 이며, $ \operatorname{LND} $-강성이 보장된 대수는 취소 가능하다는 것을 보인다.
• 분열법을 적용하여 중심 $ C $ 위에서 대수 $ A $ 의 분열 $ d(A/C) $ 를 계산하고, 효과적 또는 지배적인 분열임을 확인함으로써 강력한 $ \operatorname{LND}^H $-강성을 확보한다.
• 소수 $ p $ 에 대해 모듈로로 줄여서 유한체 위에서 작업함으로써, 대수가 PI(다항식 항등식) 성질을 갖게 하여 분열 계산이 가능하게 한다.
• 아핀 $ \mathbb{Z} $-대수 위에서의 기저 전환 기법을 사용하여, 유한체에서의 성질을 원래 대수적 설정으로 다시 옮긴다.
• 만약 대수가 강력한 $ \operatorname{LND}^H $-강성과 유한한 GK-차원을 갖는다면, 정리 3.3에 의해 강력한 취소 가능성 성립을 이용한다.
• 기저 환 $ K $ 와 매개변수 $ p, q $ 에 대한 조건 하에서 분열이 효과적 또는 지배적이 되도록 보장함으로써, 대수가 요구하는 유한성 및 정수성 조건을 만족함을 확인한다.

실험 결과

연구 질문

• RQ1 특성 0인 대수적으로 닫힌 체 $ \mathbb{C} $ 위에서 유한 생성된 비가환 도메인으로서 GK-차원이 2인 경우에 대해 $ A[x] \cong B[x] $ 이면 $ A \cong B $ 인가?
• RQ2 Makar-Limanov 불변량은 비가환 대수에서 취소 가능성의 증명에 사용될 수 있는가?
• RQ3 비가환 대수의 분열이 효과적 또는 지배적인 조건은 무엇이며, 이는 취소 가능성과 어떻게 관련되는가?
• RQ4 특히 PI 성질을 갖는 대수들이 유한체 위에서 PI 성질을 갖는 경우에, 모듈로 $ p $ 로 줄이는 방법을 통해 비가환 ZCP를 해결할 수 있는가?
• RQ5 기본적인 삽입, 자기동형, 선형화 문제 간의 함의관계가 비가환 설정으로까지 어떻게 일반화되는가?

주요 결과

• 특성 0인 대수적으로 닫힌 체 위에서 유한 생성된 비가환 도메인으로서 GK-차원이 2인 모든 대수는 취소 가능하다.
• Makar-Limanov 불변량은 취소 가능성의 충분조건을 제공한다: 만약 $ A $ 가 $ \operatorname{LND} $-강성이라면, $ A $ 는 취소 가능하다.
• 중심 위에서 분열이 지배적인 대수의 경우, 강력한 $ \operatorname{LND}^H $-강성이 확립되며, 이는 강력한 취소 가능성으로 이어진다.
• 분열법은 GK-차원이 높은 몇몇 종류의 Artin-Schelter 정규 대수에 대해 취소 가능성의 성립을 성공적으로 검증한다.
• 모듈로 $ p $ 로 줄이는 기법을 통해 $ \mathbb{C} $ 위의 대수에서 유한체로의 전환을 가능하게 하여, PI 성질과 분열 계산이 수월해진다.
• 조건 $ 2^{-1}, p^{\pm 1}, q^{\pm 1}, (p-1)^{-1}, (q-1)^{-1} \in K $ 가 성립하면 분열이 효과적이며, 기저 전환 하에서도 대수가 잘 행동함을 보장한다.