[논문 리뷰] Auslander's Theorem for group coactions on noetherian graded down-up algebras

Jiangxi Chen, Ellen Kirkman외 1명|arXiv (Cornell University)|2018. 01. 27.

Algebraic structures and combinatorial models참고 문헌 24인용 수 3

한 줄 요약

이 논문은 Noetherian 적인 순서화된 다운-업 대수에 대한 유한군 코작용에 대해 Auslander의 정리를 비가환적 형태로 확장한다. 동류적 결정이 자명할 조건 하에서 페르티니언시(정의: p(A,H))가 2 이상임을 증명함으로써 스매시곱 대수 $A\#H$와 내림표현 대수 $\operatorname{End}_{A^H}(A)$ 사이의 동형사상이 성립함을 확인함으로써, 이 대수의 범주에 비가환 매클레이 대응을 확장한다.

ABSTRACT

We prove a version of a theorem of Auslander for finite group coactions on noetherian graded down-up algebras.

연구 동기 및 목표

• Noetherian 순서화된 다운-업 대수에 대한 유한군 코작용의 맥락에서 Auslander의 정리를 확장하기.
• 전역 차원 3인 Artin-Schelter 정규 다운-업 대수에 대해 비가환 Auslander 추측을 검증하기.
• 자연스러운 사상 $A\#H \to \operatorname{End}_{A^H}(A)$가 동형사상이 되는 조건을 설정하기.
• 동류적 결정이 자명할 경우 페르티니언시 조건 $\mathsf{p}(A,H) \geq 2$ 가 성립함을 보여주기.

제안 방법

• Hopf 대수 $H = \Bbbk^G$ 의 작용을 분석하기 위해, $I$ 를 $1\#\int$ 가 생성하는 이상으로 정의된 페르티니언시 불변량 $\mathsf{p}(A,H) = \operatorname{GKdim} A - \operatorname{GKdim}((A\#H)/I)$ 를 사용하기.
• 유한군 $G$ 에 대해 $K = \Bbb{k}G$ 라 할 때, 왼쪽 $H$-작용과 오른쪽 $K$-코작용 사이의 동치관계를 적용하여 문제를 코작용의 관점에서 재구성하기.
• 특히 $\beta \neq 0$ 일 때 $A = \mathbb{D}(\alpha,\beta)$ 가 전역 차원 3인 Artin-Schelter 정규이자 Noetherian임을 이용하여 적절한 호모로지적 성질 확보하기.
• 동류적 결정의 자명성을 핵심 조건으로 삼아 $\mathsf{p}(A,H) \geq 2$ 를 확보함으로써, [4, 정리 0.3] 에 의해 $A\#H \cong \operatorname{End}_{A^H}(A)$ 라는 동형사상이 유도됨을 보장하기.
• 주어진 조건 하에서 표준 사상 $\phi: A\#H \to \operatorname{End}_{A^H}(A)$ 가 그레이드 대수 동형사상임을 확인함으로써 동형사상의 성립을 검증하기.
• 특정 예시, 예를 들어 $D_{2n}$-코작용이 대수 $\mathbb{H}$ 에 작용할 경우, 고정부분대수는 반복 Ore 확장에서의 초곡면임을 보여주어 불변부분환의 구조를 확인하기.

실험 결과

연구 질문

• RQ1 동류적 결정이 자명할 경우, Noetherian 순서화된 다운-업 대수에 대한 유한군 코작용에 대해 Auslander의 정리가 성립하는가?
• RQ2 이러한 코작용에 대해 페르티니언시 $\mathsf{p}(A,H)$ 가 2 이상이 되는 조건은 무엇인가?
• RQ3 비가환 맥락에서 다운-업 대수의 맥락에서 $A\#H \cong \operatorname{End}_{A^H}(A)$ 의 동형사상이 확립될 수 있는가?
• RQ4 이 동형사상에 의해 다운-업 대수에 대해 비가환 매클레이 대응이 실현될 수 있는가?
• RQ5 비가환 매클레이 대응의 실패가 Remark 1.6(2) 에서 보여지듯이 동류적 결정이 비자명할 경우 발생하는가?

주요 결과

• 논문은 $G$ 가 유한군일 때 $\Bbb{k}^G = H$ 를 통해 Noetherian 순서화된 다운-업 대수 $\mathbb{D}(\alpha,\beta)$ 에 작용할 경우, 동류적 결정이 자명하다면 $\mathsf{p}(A,H) \geq 2$ 임을 증명한다.
• 이것은 그레이드 대수 동형사상 $A\#H \cong \operatorname{End}_{A^H}(A)$ 가 존재함을 의미하며, 이는 이 맥락에서 비가환 Auslander 정리의 성립을 확인한다.
• 특히 $\beta \neq 0$ 일 때 성립하며, 이 조건은 대수가 Noetherian 이며 전역 차원 3인 Artin-Schelter 정규임을 보장한다.
• 동류적 결정 조건이 자명하지 않다면 정리가 성립하지 않으며, 이는 Remark 1.6(2) 에서 확인된다.
• 고정부분환 $\mathbb{H}^{co\;D_{2n}}$ 는 반복 Ore 확장에서의 초곡면임이 입증되었으며, Hilbert 시리즈는 $\frac{1-t^{4n}}{(1-t^2)^2(1-t^{2n})^2}$ 로 주어져 AS-정규 성질을 확인한다.
• 생성자 $x^2, y^2, (yx)^n, (xy)^n$ 과 $\sigma$-왜곡 도함수를 포함하는 관계를 통해 불변부분환의 구성이 이루어지며, 이는 일반화된 Weyl 대수임을 확인한다.