[Paper Review] Derivations of Group Algebras

Andronick Arutyunov, A. S. Mishchenko+1 more|arXiv (Cornell University)|Aug 16, 2017

Optics and Image Analysis3 citations

TL;DR

This paper presents a method to describe outer derivations of the group algebra $ C[G] $ for finitely presentable groups by characterizing derivations through characters of the groupoid of the adjoint action. The key result identifies that inner derivations correspond precisely to finitely supported cochains on the groupoid graph whose values sum to zero along each directed path, providing a complete algebraic characterization of derivations in terms of groupoid cohomology.

ABSTRACT

In the paper, a method of describing the outer derivations of the group algebra of a finitely presentable group is given. The description of derivations is given in terms of characters of the groupoid of the adjoint action of the group.

Motivation & Objective

• To develop a systematic method for describing outer derivations of the group algebra $ C[G] $ for finitely presentable groups.
• To characterize derivations in terms of characters of the groupoid associated with the adjoint action of the group.
• To identify necessary and sufficient conditions under which a derivation is inner, using cohomological and graph-theoretic structures.
• To clarify the relationship between locally finitely supported characters on the groupoid and the structure of derivations.
• To resolve the derivation problem in the context of group algebras by linking derivations to path-sum conditions on groupoid graphs.

Proposed method

• Represent derivations on $ C[G] $ via matrices $ X = \|x^h_g\| $ satisfying finite support condition (F1) on rows.
• Define derivations as linear operators satisfying the Leibniz rule: $ X(uv) = X(u)v + uX(v) $, leading to condition (F2).
• Introduce the groupoid $ \mathcal{G}_{[a]} $ of the adjoint action on conjugacy classes $[a]$, with morphisms $ \alpha \xrightarrow{g} g\alpha g^{-1} $.
• Construct a cochain $ \varphi(T^X) \in C^1(\Delta(\mathcal{G}_{[a]})) $ from a derivation $ X $, mapping morphisms to scalars.
• Use the graph $ \Gamma_{g,a} $ formed by directed edges $ [b, gbg^{-1}] $ to decompose the groupoid into paths $ \Gamma_{g,a}^\alpha $, and define path-sum conditions.
• Establish that $ X \in \text{Int}_{[a]}(\mathcal{A}) $ if and only if $ \varphi(T^X) $ is finitely supported and sums to zero on each path $ \Gamma_{g,a}^\alpha $.

Experimental results

Research questions

• RQ1 What characterizes outer derivations of the group algebra $ C[G] $ for a finitely presentable group $ G $?
• RQ2 How can derivations be described using characters of the groupoid of the adjoint action?
• RQ3 What is the precise condition under which a derivation is inner, in terms of cohomological and graph-theoretic data?
• RQ4 Can the kernel of the projection $ p^f_a $ be characterized as the set of inner derivations via path-sum conditions?
• RQ5 Are there derivations that are not inner but still satisfy the path-sum condition, and if so, what prevents them from being inner?

Key findings

• A derivation $ X \in \text{Der}(\mathcal{A}) $ is inner on a conjugacy class $[a]$ if and only if its associated cochain $ \varphi(T^X) $ is finitely supported and sums to zero on every directed path $ \Gamma_{g,a}^\alpha $ in the groupoid graph.
• The set of inner derivations $ \text{Int}_{[a]}(\mathcal{A}) $ is characterized by the vanishing of the cochain sum over each path in the graph $ \Gamma_{g,a} $, providing a complete algebraic criterion.
• There exist locally finitely supported characters $ T \in \ker p^f_a $ that do not satisfy the path-sum condition (FF), showing that $ \ker p^f_a \supsetneq \text{Int}_{[a]}(\mathcal{A}) $, hence the kernel is strictly larger than the inner derivations.
• For the free group $ F(x_1,x_2) $, a character $ T $ can be constructed that is nonzero on a single path but vanishes on all others, violating condition (FF), thus demonstrating a derivation not in $ \text{Int}_{[a]}(\mathcal{A}) $.
• The method successfully reduces the derivation problem to a cohomological condition on the groupoid, enabling a full description of derivations via path-sum constraints.
• The framework applies to finitely presentable groups by encoding relations as additive conditions on generators of the groupoid, ensuring consistency of the character extension.