[논문 리뷰] Semisimple and $G$-equivariant simple algebras over operads

Pavel Etingof|arXiv (Cornell University)|2015. 12. 23.

Advanced Topics in Algebra참고 문헌 1인용 수 4

한 줄 요약

이 논문은 기존에 교환법칙, 결합법칙, 리 대수에 대해 알려진 바 있었던 단순 $G$-등변 대수의 분류를 임의의 선형 작용소에 대해 일반화한다. 이는 임의의 단순 $G$-등변 $C$-대수가 $H \leq G$ 및 $H$-작용을 가진 단순 $C$-대수 $B$에 대해 $\mathrm{Fun}_H(G,B)$ 형태로 나타남을 증명하며, 이는 델라인 카테고리에서 유한 생성 작용소에 대해 결과를 확장한다.

ABSTRACT

Let $G$ be a finite group. There is a standard theorem on the classification of $G$-equivariant finite dimensional simple commutative, associative, and Lie algebras (i.e., simple algebras of these types in the category of representations of $G$). Namely, such an algebra is of the form $A={ m Fun}_H(G,B)$, where $H$ is a subgroup of $G$, and $B$ is a simple algebra of the corresponding type with an $H$-action. We explain that such a result holds in the generality of algebras over a linear operad. This allows one to extend Theorem 5.5 of arXiv:1506.07565 on the classification of simple commutative algebras in the Deligne category ${ m Rep}(S_t)$ to algebras over any finitely generated linear operad.

연구 동기 및 목표

• 기존에 교환법칙, 결합법칙, 리 대수와 같은 특정 유형에 대해 알려진 바 있었던 $G$-등변 단순 대수의 분류를 임의의 선형 작용소로 확장하는 것.
• 작용소적 구조를 사용하여 초월수 $t$에 대한 델라인 카테고리 $\mathrm{Rep}(S_t)$ 내 단순 $C$-대수의 일반적 프레임워크를 제공하는 것.
• 논문 [S]의 정리 5.5에서 단순 교환법칙 대수에 대해 유도된 결과를 임의의 유한 생성 선형 작용소에 대해 확장하는 것.
• 단순 $C$-대수가 군 작용을 가진 단순 $C$-대수에서 유도됨을 보이며, 프로비니우스의 대칭성과 표현론적 기법을 사용하는 것.

제안 방법

• 체 $F$ 위에서 선형 작용소 $C$에 대한 $C$-대수를 정의하며, 작용소의 복합성과 호환되는 구조 사상 $\alpha_n: C(n) \to \mathrm{Hom}_F(A^\bigotimes n, A)$를 갖는다.
• $R_A = L_A + E_A$ 라 정의하며, 여기서 $L_A$ 는 $C(1)$ 의 상이고 $E_A$ 는 모든 부분 곱셈 연산자들의 스칼라 결합이다; $E_A$ 는 $R_A$ 내의 아이디얼이다.
• 비자명한 $G$-불변 아이디얼이 없고 $E_A \neq 0$ 인 경우에 $C$-대수를 단순하다고 정의하며, 유한 개의 단순 $C$-대수의 직합인 경우를 반단순하다고 정의한다.
• $R_A$-모듈로서 최대 반단순 몫으로의 사영 사상의 근을 통해 $\mathrm{Rad}(A)$ 를 정의하며, $A$ 가 반단순임과 $\mathrm{Rad}(A) = 0$ 이라는 것이 동치임을 보인다.
• 프로비니우스의 대칭성을 사용하여 임의의 단순 $G$-등변 $C$-대수가 $H \leq G$ 및 $H$-작용을 가진 단순 $C$-대수 $B$ 에 대해 $\mathrm{Fun}_H(G,B)$ 와 동형임을 보인다.
• $H$ 는 $G$ 내에서 코너전환에 대해 유일하며, $\phi: H \to \mathrm{Aut}(B)$ 는 $\mathrm{Aut}(B)$ 내에서 코너전환에 대해 유일함을 증명하여 분류를 확립한다.

실험 결과

연구 질문

• RQ1 기존에 교환법칙, 결합법칙, 리 대수에 대해 알려진 바 있었던 $G$-등변 단순 대수의 분류를 교환법칙, 결합법칙, 리 대수를 초월하여 임의의 선형 작용소에 대해 확장할 수 있는가?
• RQ2 $R_A = L_A + E_A$ 와 아이디얼 $E_A$ 의 구조가 단순 $G$-등변 $C$-대수의 분류에 어떤 제약을 끼치는가?
• RQ3 $\mathrm{Rad}(A)$ 는 반단순성과 $\overline{A}$ 의 몫 구성에서 어떤 역할을 하는가?
• RQ4 프로비니우스의 대칭성 추론이 작용소적 대수로 일반화될 수 있는 정도는 어느 정도이며, 특히 델라인 카테고리의 맥락에서 어떻게 적용되는가?
• RQ5 논문 [S]의 정리 5.5에서 단순 교환법칙 대수에 대해 유도된 결과를 임의의 유한 생성 선형 작용소에 대해 확장할 수 있는가?

주요 결과

• 임의의 단순 $G$-등변 $C$-대수 는 어떤 부분군 $H \leq G$ 와 $H$-작용을 가진 단순 $C$-대수 $B$ 에 대해 $\mathrm{Fun}_H(G,B)$ 와 동형이다.
• 부분군 $H$ 는 $G$ 내에서 코너전환에 대해 유일하며, 호모모르피즘 $\phi: H \to \mathrm{Aut}(B)$ 는 $\mathrm{Aut}(B)$ 내에서 코너전환에 대해 유일하다.
• $\mathrm{Rad}(A)$ 가 영이 되는 것과 $A$ 가 반단순임은 동치이며, $A/\mathrm{Rad}(A)$ 는 항상 반단순 $C$-대수이다.
• 무한군 또는 아핀 대수적 군의 경우에도 동일한 구성 방식(유한 지수 부분군 및 $\mathrm{Aut}(B)$ 로의 호모모르피즘)을 사용하여 분류가 그대로 성립한다.
• 결과는 $\mathbb{C}$ 위에서 유한 생성 선형 작용소에 대해 [S]의 정리 5.5를 확장하며, $B$ 는 $G \times S_{n-k}$-등변 단순 대수의 보간으로서 나타난다.
• 결합법칙 단위 대수의 경우 $B = \mathrm{End}(V)$ 를 만족하며, $V$ 는 $\mathrm{Rep}(S_t)$ 내의 대상이며, 리 대수의 경우 $V$ 에 대한 형식에 따라 $B = \mathfrak{sl}(V), \mathfrak{o}(V)$, 또는 $\mathfrak{sp}(V)$ 가 된다.