[논문 리뷰] On blocks of defect two and one simple module, and Lie algebra structure of $HH^1$

David J. Benson, Radha Kessar외 1명|City Research Online (City University London)|2016. 04. 15.

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

한 줄 요약

이 논문은 홀수 특성 $p$를 가진 체 위에서의 양자 완전교차에서 첫 번째 호크시ลด 코homology $HH^1$ 의 리 대수 구조를 계산하며, 이러한 대수들이 유도 부분대수가 니르푸otent이고 소클(소클)의 차원이 $2e$인 해소 가능 대수임을 증명한다. 그 결과로, 분裂数가 $p^2$이고 유일한 단순 모듈러스를 가진 유 endomorphism 대수의 블록에 대해 분製数가 $p^2$이고 유일한 단순 모듈러스를 가진 블록에 대해 $J(B)/J(B)^2$ 의 차원에 대한 상계 $2ackslash sqrt{I}$ 를 확립한다. 분製数가 $p^2$이고 유일한 단순 모듈러스를 가진 블록에 대해 $J(B)/J(B)^2$ 의 차원에 대한 상계 $2ackslash sqrt{I}$ 를 확립한다.

ABSTRACT

Let $k$ be a field of odd prime characteristic $p$. We calculate the Lie algebra structure of the first Hochschild cohomology of a class of quantum complete intersections over $k$. As a consequence, we prove that if $B$ is a defect $2$-block of a finite group algebra $kG$ whose Brauer correspondent $C$ has a unique isomorphism class of simple modules, then a basic algebra of $B$ is a local algebra which can be generated by at most $2\sqrt I$ elements, where $I$ is the inertial index of $B$, and where we assume that $k$ is a splitting field for $B$ and $C$.

연구 동기 및 목표

• 홀수 특성 $p$를 가진 체 위에서의 양자 완전교차 대수 $A$ 에 대해 $HH^1(A)$ 의 리 대수 구조를 규명하는 것.
• 소클을 $Z(A)$-모듈로 간주할 때, 대칭 분할 대수의 쿼버(quiver)에 존재하는 루프의 수에 대한 경계를 설정하는 것.
• 이러한 결과를 모듈라 표현 이론에 적용하여, 분製数가 $p^2$이고 유일한 단순 모듈러스를 가진 유한군 대수의 블록에 대해 적용하는 것.
• 기본 대수의 가장 큰 ${\mathcal{O}}$-자유 교환 부분환의 대칭성 여부를 조사하며, 이는 니르푸otent 블록의 특성화에 대한 반례를 제공한다.

제안 방법

• $q$ 가 $p-1$ 에서 나누어지는 순서 $e \geq 2$ 인 단위근인 경우, $A = k\langle x,y \mid x^p = y^p = 0, yx = qxy\rangle$ 에 대해 $HH^1(A)$ 를 리 대수로 계산하는 것.
• 유도 리 부분대수 $\mathcal{L}' = [\mathcal{L}, \mathcal{L}]$ 를 분석하고, 그것이 니르푸otent 이며 $p$-토랄이며 $({\mathcal{L}}')^{[p]} = \{0\}$ 임을 보이는 것.
• 관련된 대칭 대수 $B$ 에 대해 $J(B)/J(B)^2$ 의 차원을 제한하기 위해 $\mathcal{L}$ 의 소클을 $Z(A)$-모듈로 사용하는 것.
• 모리타 유형의 안정 동치를 적용하여 $A$ 에서의 경계를 블록 $B$ 의 끝 유한군 대수로 이전하는 것.
• $\hat{A}$ 를 $A$ 의 $p$-진 확장으로 간주하고, 그 기저 대수의 가장 큰 ${\mathcal{O}}$-자유 교환 부분환을 구성하며, 그것이 대칭이 아니라는 것을 보이는 것.
• 체비셰프 다항식 $f_n(u)$ 를 사용하여 $\hat{A}$ 와 그 교환 아이디얼의 ${\mathcal{O}}$-구조를 기술하는 것.

실험 결과

연구 질문

• RQ1 양자 완전교차 대수 $A$ 에 대해 $p$-거듭제곱 관계와 $q$-교환 법칙을 만족할 때 $HH^1(A)$ 의 리 대수 구조는 무엇인가?
• RQ2 소클이 $Z(A)$-모듈로 간주될 때, 대칭 분할 대수의 쿼버(quiver)의 구조는 어떻게 제약을 받는가?
• RQ3 HH^1 과 그 소클을 사용하여 대칭 분할 대수의 쿼버에 존재하는 루프의 수를 경계로 삼을 수 있는가?
• RQ4 분製数가 $p^2$이고 유일한 단순 모듈러스를 가진 끝 유한군 대수의 블록 $B$ 에 대해 $J(B)/J(B)^2$ 의 차원은 얼마인가?
• RQ5 비니르푸otent 블록의 기본 대수의 가장 큰 ${\mathcal{O}}$-자유 교환 부분환은 대칭적인가?

주요 결과

• $HH^1(A)$ 의 차원은 $2(p + ((p-1)/e)^2)$ 이며, 여기서 $e$ 는 $k^\times$ 에서 $q$ 의 차수이다.
• HH^1(A) 의 중심은 자명하다: $Z(\mathcal{L}) = \{0\}$.
• 차원이 2인 최대 토랄 부분대수 $\mathcal{H}$ 가 존재하여 $\mathcal{L} = \mathcal{H} \oplus \mathcal{L}'$ 이고, $\mathcal{L}'$ 은 니르푸otent 이다.
• 유도 부분대수 $\mathcal{L}'$ 이 아벨일 때이고 뿐일 때 $e = p-1$ 이며, $\dim_k(Z(\mathcal{L}')) = 2e + 2$ 이다.
• 소클 $\mathrm{soc}_{Z(A)}(\mathcal{L})$ 의 차원은 $2e$ 이며, $Z(\mathcal{L}')$ 에 포함되어 있다.
• $\mathcal{L}/\mathcal{L}'$ 의 차원은 2이며, $J(Z(A))\mathcal{L} = \mathcal{L}'$ 이다.