[논문 리뷰] Twisted automorphisms of group algebras

Alexei Davydov|ArXiv.org|2007. 08. 21.

Algebraic structures and combinatorial models참고 문헌 8인용 수 13

한 줄 요약

이 논문은 6과 서로소인 순서를 가진 유한군 G에 대해 군 대수 k[G]의 비틀린 자기동형사상들을 분류하며, 비틀린 자기동형사상의 게이지 동치류의 군이 외부 자기동형사상군 Out(G)와 반대칭 비틀림의 아벨 군의 반직접곱과 동형임을 보여준다. 이 구조는 보편 포괄 대수와 유사하며, 반대칭 비틀림들이 군의 특성군의 외적 제곱에서의 불변 원소들과 동형인 부분군을 이룬다.

ABSTRACT

We continue the study of twisted automorphisms of Hopf algebras started in "Twisted automorphisms of Hopf algebras". In this paper we concentrate on the group algebra case. We describe the group of twisted automorphisms of the group algebra of a group of order coprime to 6. The description turns out to be very similar to the one for the universal enveloping algebra given in "Twisted automorphisms of Hopf algebras".

연구 동기 및 목표

• 보편 포괄 대수의 경우 [4]에서의 표현과 유사한 표현을 사용하여 군 대수 k[G]의 비틀린 자기동형사상의 군 구조를 기술하는 것.
• 비틀린 자기동형사상들을 자기동형사상과 비틀림으로 분리할 때의 비유일성을 해결하기 위해 반대칭 비틀림으로 제한하는 것.
• 6과 서로소인 순서를 가진 군에 대해, 불변 비틀림의 군이 반대칭 비틀림과 대칭 비틀림의 직접곱으로 분해됨을 확립하는 것.
• 반대칭 비틀림의 군이 보편 포괄 대수의 리 대수 경우와 밀접하게 관련된 곱에 대해 아벨 군이 됨을 보이는 것.
• 해밀턴 군이나 메타아벨 군과 같은 비아벨 군에 대해, 불변 반대칭 비틀림의 명시적 구성과 중심의 아이소토프 원소 및 특성 합을 통한 교환관계 검증을 수행하는 것.

제안 방법

• Movshev의 분류를 활용하여, 부분군 S와 비퇴도 2-코호몰로지 α의 쌍 (S, α)을 통해 k[G] 위의 갈루아 대수를 분류하는 것.
• 비틀린 자기동형사상들을 보알지브라 자기동형사상과 불변 비틀림의 합성으로 특성화하며, 게이지 동치류들이 군 Aut_Tw(k[G])를 이룸.
• 정규 부분군 A ⊂ G 위에서 정의된 이중 multiplicative 형식 b: A × A → k^× 를 통해 반대칭 비틀림을 정의하며, b(x,y) = b(y,x)^{-1} 이고 코너지에 관해 불변임을 조건으로 함.
• k[Ĝ] 내에서 중심의 아이소토프 원소 p_χ = |C|^{-1} ∑_{χ∈Ĉ} χ(x)^{-1}(0,0,χ) 를 구성하여 기약 표현 위로의 사영을 표현하는 것.
• u(χψ) = c(χ,χ,ψ)c(χ,ψ,ψ)u(χ)u(ψ) 라는 항등식을 사용하여, [F₁,F₂] = (u⊗u)Δ(u)^{-1} 를 만족시키는 u ∈ k[B] 를 구하며, u 가 G-불변임을 보장함.
• 3 ∤ |G| 라는 가정을 이용하여 u(χ)^3 = c(χ,χ,χ) 를 풀어 k[G]의 중심 내에서 G-불변 해의 존재를 확보함.

실험 결과

연구 질문

• RQ1 G의 순서가 6과 서로소일 때, k[G]의 비틀린 자기동형사상 군은 어떻게 구조화될 수 있는가?
• RQ2 불변 비틀림의 반대칭 및 대칭 성분으로의 분해가 비유일한 이유는 무엇이며, 이를 어떻게 유일하게 만들 수 있는가?
• RQ3 반대칭 비틀림이 특성군의 불변 외적 제곱과 동형인 군 구조를 형성하는 데서 어떤 역할을 하는가?
• RQ4 불변 반대칭 비틀림의 교환관계는 어떤 방식으로 동치류를 유지하는 자기동형사상과 관련이 있는가?
• RQ5 헤이젠베르크 군이나 메타아벨 군과 같은 비아벨 군에 대해 이러한 비틀림의 명시적 구성이 가능할 수 있는가?

주요 결과

• 6과 서로소인 순서를 가진 유한군 G에 대해, k[G]의 비틀린 자기동형사상의 게이지 동치류 군은 Out(G) ⋉ Aut_Tw^anti(k[G]) 와 동형이다.
• 반대칭 비틀림의 군 Aut_Tw^anti(k[G]) 는 보편 포괄 대수의 경우와 유사한 곱에 대해 아벨 군이 된다.
• 모든 불변 비틀림의 군 Aut_Tw^1(k[G]) 는 Out_cl(G) × Aut_Tw^anti(k[G]) 로 직접곱으로 분해되며, 여기서 Out_cl(G) 는 동치류를 유지하는 외부 자기동형사상의 군이다.
• Aut_Tw(k[G])/Out(G) 는 중심이 0인 삼각형 구조의 집합과 자연스럽게 일치하며, 이 집합은 반대칭 비틀림 곱에 대해 군을 이룬다.
• 헤이젠베르크 군 H(E,b) 에 대해 반대칭 비틀림 F_x 는 F_x = ∑_{i,j} x^i p_{-j} ⊗ x^j p_i 로 명시적으로 주어지며, 그 교환관계는 [F_x, F_y] = (u⊗u)Δ(u)^{-1} 를 만족하며, 여기서 u = ∑_k η^{-kb(x,y)} p_k 이다.
• 메타아벨 구성 M(C,c) ⋊ Q 에서 두 반대칭 비틀림 F₁, F₂ 와 불변 형식 b₁, b₂ 는 [F₁,F₂] = (u⊗u)Δ(u)^{-1} 를 만족하며, u = ∑_{x,y} c(x,x,y)c(x,y,y) p_x ⊗ p_y 이다. 이는 이러한 비틀림으로부터 비자명한 동치류를 유지하는 자기동형사상이 유도됨을 보여준다.