[논문 리뷰] Pertinency of Hopf actions and quotient categories of Cohen-Macaulay algebras

Yan-Hong Bao, J.-W. He외 1명|arXiv (Cornell University)|2016. 03. 08.

Algebraic structures and combinatorial models참고 문헌 43인용 수 11

한 줄 요약

이 논문은 아르틴-슐레르 정규, 코hen-맥컬레이 아르틴-슐레르 대수에 대한 호프 대수 작용에 대해 관련성 불변량을 도입하여 비가환 버전의 아우슬란더 정리 수립한다. 관련성 ≥ 2는 호모로지적 작게 만들기와 고정 부분환의 내적 대수와 스매시 프로덕트 대수 사이의 자연스러운 동형사상 존재와 동치이며, 비가환 대수기하학과 매클레이 대응 이론의 고전적 결과를 일반화한다.

ABSTRACT

We study invariants and quotient categories of fixed subrings of Artin-Schelter regular algebras under Hopf algebra actions.

연구 동기 및 목표

• 호프 대수 작용을 이용한 비가환 설정으로 고전적 아우슬란더 정리를 일반화하기.
• 아르틴-슐레르 정규 대수에 대한 호프 작용의 호모로지 측도로서의 관련성 불변량을 정의하고 연구하기.
• 스매시 프로덕트 대수와 고정 부분환의 내적 대수 간 동형사상이 성립하는 조건을 확립하기.
• 비가환 몫 특이점에서 관련성, 호모로지적 작게 만들기, 코헨-맥컬레이 성질 간의 상호작용을 조사하기.
• 호프 작용과 몫 분류를 통해 비가환 대수로의 매클레이 대응 프레임워크 확장하기.

제안 방법

• 스무스 프로덕트 대수와 고정 부분환의 내적 대수 간 동형사상 존재 조건을 정의하기 위해, $\mathsf{p}(R,H) = \operatorname{GKdim} R - \operatorname{GKdim}((R\#H)/I)$ 라는 관련성 불변량을 도입한다. 여기서 $I$ 는 $1\#\int$ 가 생성하는 양방향 이상이며, $\int$ 는 유한 차원 호프 대수 $H$ 의 적분이다.
• 대수의 성장률을 측정하기 위해 겔판트-키릴로프 차원을 사용하고, 몫 대수 $R\#H/I$ 의 단계를 통해 호모로지적 작게 만들기를 정의한다.
• 비가환 아우슬란더 정리의 타당성을 보장하는 핵심 호모로지 조건으로서 코헨-맥컬레이 성질을 적용한다.
• 관련성 $\mathsf{p}(R,H) \geq 2$, 호모로지적 작게 만들기, 그리고 동형사상 $R\#H \cong \operatorname{End}_{R^H}(R)$ 간의 동치성을 확립한다.
• 특히 $\Bbbk_{-1}[x_1,\dots,x_n]$ 에서의 경우, 비틀린 다항식환과 대칭군 작용의 구조를 활용해 관련성을 계산한다.
• 트레이스 함수와 단위근 구성법을 활용해 몫환의 차원을 분석하고, 소수 몫의 겔판트-키릴로프 차원에 대한 상한을 유도한다.

실험 결과

연구 질문

• RQ1 호프 대수 $H$ 가 코헨-맥컬레이, 아르틴-슐레르 정규 대수 $R$ 에 작용할 때, 스매시 프로덕트 $R\#H$ 가 $\operatorname{End}_{R^H}(R)$ 와 동형이 되는 조건은 무엇인가?
• RQ2 관련성 불변량 $\mathsf{p}(R,H)$ 는 $R\#H/I$ 의 단계와 같은 호모로지적 성질과 어떻게 관련이 있는가?
• RQ3 대칭군 작용에 대해 비틀린 다항식환에서 관련성은 조합론적으로 계산될 수 있는가?
• RQ4 비가환 몫 특이점의 맥락에서 관련성과 비가환 매클레이 대응 간의 관계는 무엇인가?
• RQ5 코헨-맥컬레이 성질이 비가환 아우슬란더 정리의 타당성을 보장하는 데 어느 정도 기여하는가?

주요 결과

• 관련성 $\mathsf{p}(R,H) \geq 2$ 이다 ⇔ $H$-작용이 호모로지적으로 작게 만들고, 자연사상 $R\#H \to \operatorname{End}_{R^H}(R)$ 가 동형사상이다.
• $n$ 이 홀수인 비틀린 다항식환 $\Bbbk_{-1}[x_1,\dots,x_n]$ 에서, 대칭군 $G = S_n$ 이 순열로 작용할 때 관련성 $\mathsf{p}(R,G)$ 는 $n - n/p$ 이며, 여기서 $p$ 는 $n$ 의 최소 홀수 소인수이다.
• 만약 $n = 2^d$ 이면, 관련성 $\mathsf{p}(R,G) = n$ 이다. 이는 $t=1$ 에서 트레이스 함수의 극의 차수(위수)가 0이기 때문이다.
• 관련성 $\mathsf{p}(R,G)$ 는 $n - N_n$ 이하로 상한이 존재하며, 여기서 $N_n$ 은 $\gcd(i,n)=1$ 인 서로 다른 $Y_{2i}$ 의 수이다. $4 \nmid n$ 이면 $N_n = \phi(n)$, $4 \mid n$ 이면 $N_n = \phi(n)/2$ 이다.
• 웨일 군 $W$ 가 $\Bbbk_{-1}[x_1,\dots,x_n]$ 에 작용할 때 $\mathsf{p}(R,W) \geq 2$ 이며, 비가환 아우슬란더 정리가 성립한다.
• 관련성 불변량은 $R/R^H$ 가 오른쪽 $H^*$-밀도 갈로와 확장인지 여부를 감지한다. $\mathsf{p}(R,H) = \operatorname{GKdim} R$ 이다 ⇔ 이 조건이 성립한다.