[논문 리뷰] Hopf actions and Nakayama automorphisms

Kenneth Chan, Chelsea Walton외 1명|arXiv (Cornell University)|2012. 10. 24.

Algebraic structures and combinatorial models참고 문헌 12인용 수 5

한 줄 요약

이 논문은 N- Koszul Artin-Schelter 정규 대수 A에 대한 Nakayama 자동형사상과 A 위에 작용하는 호프 대수 H의 반대자기 S² 사이의 깊은 연결 고리를 수립한다. 내부 충실한 작용과 유한 차원성 조건 하에서, 호소적 코데터미낸트 D에 의한 코어전환은 η_D ∘ S² = η_{μ_A^τ}를 만족하며, 이는 A의 호소적 불변량을 호프 대수의 구조와 연결한다. 본 결과는 이러한 대수 위에 작용하는 호프 대수의 구조를 특성화하며, 특히 char(k)=0일 때, 차원이 2인 비-PI AS 정규 대수 위에 유한 차원 호프 작용이 존재한다면 반드시 군 대수임을 보여준다.

ABSTRACT

Let H be a Hopf algebra with antipode S, and let A be an N-Koszul Artin-Schelter regular algebra. We study connections between the Nakayama automorphism of A and S^2 of H when H coacts on A inner-faithfully. Several applications pertaining to Hopf actions on Artin-Schelter regular algebras are given.

연구 동기 및 목표

• 비가환 대수의 Nakayama 자동형사상과 코작용하는 호프 대수의 반대자기 사이의 관계를 이해하기 위해.
• Frobenius 및 AS 정규 대수에서 알려진 Nakayama 자동형사상 결과를 호프 코작용의 맥락으로 일반화하기 위해.
• 전반적인 차원이 2인 Artin-Schelter 정규 대수 위에 내부 충실하게 작용하는 유한 차원 호프 대수를 분류하기 위해.
• S²와 Nakayama 자동형사상 사이의 연결 고리가 다양한 대수적 맥락에서 통합될 수 있는지 탐색하기 위해.
• 특정 비-PI AS 정규 대수, 예를 들어 스케일드 다항식 대수와 같은 경우에 대해 코작용하는 호프 대수의 구조를 규명하기 위해.

제안 방법

• 호프 대수 H가 순서화된 대수 A 위에 작용하는 방식을 기반으로 하여 Manin의 양자 선형군 구축을 활용하여 H의 구조를 A의 작용과 연결한다.
• H의 A에 대한 코작용에 대한 호소적 코데터미낸트 D를 H의 중심 원소로 정의하며, 자동형사상 관계의 왜곡을 제어한다.
• D에 의한 코어전환과 Nakayama 자동형사상 μ_A의 행렬의 전치에 의한 코어전환을 각각 η_D 및 η_{μ_A^τ}로 정의한다.
• 호프 대수 내의 Ext대수 코작용과 행렬 좌표 계산을 통해 핵심 항등식 η_D ∘ S² = η_{μ_A^τ}를 수립한다.
• Radford의 정리에 따라 S²의 차수를 적용하고, 특성 0 조건을 이용해 원소의 비자기 원소가 사라지게 하여 군 대수의 구조를 이끌어낸다.
• 내부 충실한 코작용 조건을 활용하여 H의 생성자를 전체 대수를 생성하도록 보장함으로써 구조적 분류를 가능하게 한다.

실험 결과

연구 질문

• RQ1 N-Koszul AS 정규 대수의 Nakayama 자동형사상은 코작용하는 호프 대수의 반대자기의 제곱 S²와 어떻게 관련이 있는가?
• RQ2 η_D ∘ S² = η_{μ_A^τ} 항등식은 N-Koszul 대수를 초월하여 일반적인 AS 정규 대수로 확장될 수 있는가?
• RQ3 내부 충실하게 작용하는 유한 차원 호프 대수의 구조는 전반적인 차원이 2인 비-PI AS 정규 대수 위에서 어떻게 되는가?
• RQ4 Gelfand-Kirillov 차원이 1인 유한 차원 비가환 호프 대수 중에서 스케일드 다항식 대수 k_J[x₁,x₂] 위에 내부 충실하게 작용하는 것이 존재하는가?
• RQ5 S²와 Nakayama 자동형사상 사이의 관계는 알려진 공식 μ_K = S² ∘ Ξ^{l}_{∫^l}과 통합될 수 있는가, 즉 AS 정규 호프 대수의 경우에 대해?

주요 결과

• 내부 충실한 코작용과 유한 차원성을 만족하는 임의의 호프 대수 H에 대해, N-Koszul AS 정규 대수 A 위에서 S²와 D에 의한 코어전환의 핵심 항등식 η_D ∘ S² = η_{μ_A^τ}가 성립한다.
• 특성 0일 때, 비-PI 대수 A_J = k_J[x₁,x₂] 위에 내부 충실하게 작용하는 임의의 유한 차원 호프 대수는 어떤 순환군 G에 대해 kG와 동형이어야 한다.
• H의 구조는 Nakayama 자동형사상 μ_A의 행렬과 호소적 코데터미낸트 D에 의해 제약을 받으며, η_D ∘ S²는 μ_A의 행렬 전치에 의한 코어전환으로 작용한다.
• A = k_p[x₁,x₂] 이며 p가 단위근이 아닐 경우에도 동일한 결론이 성립한다. 이는 정리 0.4에 의해 입증된다.
• 특성 0의 체 위에서 유한 차원 호프 대수의 비자기 원소가 존재하지 않음은 생성자가 모두 군형 원소임을 뜻하며, 이는 군 대수의 구조를 이끈다.
• 결과적으로 특성 0에서 비-PI AS 정규 대수의 차원이 2인 경우, 내부 충실한 유한 차원 호프 코작용이 존재한다면 반드시 군 대수의 코작용일 수 있음을 확인한다.