arXiv:1801.03480v1 [math.AT] 10 Jan 2018

Smooth Version of Johnson’s Problem
Concerning Derivations of Group Algebras
A. A. Arutyunov and A. S. Mishchenko
January 11, 2018
Abstract
A description of the algebra of outer derivations of a group algebra of
a finitely presented discrete group is given in terms of the Cayley complex
of the groupoid of the adjoint action of the group. This task is a smooth
version of Johnson’s problem concerning the derivations of a group algebra. It is shown that the algebra of outer derivations is isomorphic to the
group of the one-dimensional cohomology with compact supports of the
Cayley complex over the field of complex numbers.

1

Introduction

History of the Problem
Inner and outer derivations
According to numerous evidences, the derivation problem for associative algebras is connected with B. E. Johnson’s works concerning the cohomology of
Banach algebras ([1], [2], [3], [4]). V. Losert ([5]), who solved Johnson’s problem, formulates it in the following way as a problem concerning the derivations
on group algebras: consider the Banach algebra Aand a A–bimodule E. A
linear mapping
D : A−→E
is called a derivation (or differentiation) if, for any elements a, b ∈ A, the socalled Leibniz identity (with respect to the two-sided action of the algebra A on
the bimodule E)
D(ab) = D(a)b + aD(b), a, b ∈ A.
(see Definition 1.8.1 in the Dales paper (2000) [6]).
Denote the space of all derivations from the algebra Ato the bimodule E
by Der (A, E). Among the derivations Der (A, E), we can distinguish the socalled inner derivations Int (A, E) ⊂ Der (A, E),that are defined by the adjoint
representations
def
adx (a) = xa − ax, x ∈ E, a ∈ A.
1

The derivations in the set Der (A, E)\Int (A, E)are said to be outer. It is more
natural to consider the quotient space Out (A, E) = Der (A, E)/Int (A, E)as
the space of “outer” derivations; this space can be interpreted using the onedimensional Hochschild cohomology of the algebra Awith coefficients in the
bimodule E:
H 1 (A; E) ≈ Out (A, E),
(see the book [7] by R. Pierce (1986), Definition a, p. 248).
The derivation problem is as follows: is it true that every derivation is inner?
(See Dales(2000) [6], (Question 5.6.B, p. 746)); i.e., is it true that
H 1 (A; E) ≈ Out (A, E) = 0?
The comparison problem for inner and outer derivations has a rich history
originating from Kaplansky’s papers (1953,1958) [8], [9] and continued by Sakai
(1960–1971) [10],[11], [12], [13], Kadison (1966) [14], [15], Johnson and other
authors (see, e.g., [1], [2], [3], and [4]).
A simpler and more natural case occurs when the bimodule E is isomorphic
to the algebra A, which is certainly a bimodule over the algebra A itself.
In the case of E = A, both the sets Der (A) = Der (A, A) and Int (A) =
Int (A, A) are Lie algebras with respect to the commutation operation, and the
Lie algebra Int (A) of inner derivations is an ideal in the algebra Der (A). For
this reason, it is natural to refer to the algebra Out (A) = Der (A)/Int (A) as
the algebra of outer derivations.
In this case, in Sakai’s paper (1966) [11], it is proved that every derivation
of a W ∗ -algebra is inner, which is the solution of Kadison’s problem in the
affirmative.
The passage to more general bimodules enabled V. Losert to solve Johnson’s
problem by finding inner derivations using elements of an algebra larger than A
rather than elements of the original algebra A. Namely, the derivation problem
is stated as follows: are all derivations inner? This problem was considered for
the group algebras A = C[G] of some group G rather than for all algebras.
More precisely, the group algebra A = L1 (G) of integrable functions on a locally compact group G with respect to the Haar measure on G together with
the bimodule E = M (G)is considered, where M (G) stands for the algebra of
all bounded measures on G with the multiplication operation defined by the
convolution of measures.
In this very setting, Losert ([5]) proved that
Out (L1 (G), M (G)) = 0.
This result is justified by the following consideration. For the case in which
G is a discrete free Abelian group with finitely many generators, i.e., G ≈ Zn ,
the algebra A = L1 (G)can be identified with the Fourier algebra A(Tn ) of
continuous functions on the n-dimensional torus Tn whose Fourier coefficients
form an absolutely convergent multiple series, A = A(Tn ) ⊂ C(Tn )(this Fourier
algebra is smaller than the algebra of all continuous functions). There are no
2

derivations on the algebra A(Tn ), since it contains sufficiently many nonsmooth
functions; however, there are no inner derivations either, because the algebra
A = L1 (G)is commutative.

Choice of an appropriate class of algebras
In the present paper, we are interested in a dense subalgebra A = C[G] ⊂ Aof
the Banach algebra A = L1 (G)only rather than in the whole algebra A =
L1 (G).The subalgebra A = C[G] consists of a kind of smooth elements of the
algebra A = L1 (G).In the choice of an appropriate class of algebras, we follow
the motivations in the paper by B. Blackadar and J. Cuntz (1991) [16] in which
the very categorial approach to the choice of the so-called smooth subalgebras in
a C ∗ -algebra is studied (see also the lectures of V. Ginzburg [17], 19. Formally
Smooth Algebras, p. 101)
In topology it is often important to consider an additional structure on
some topological spaces, like the smooth or piecewise linear structure. From
the viewpoint point of noncommutative geometry developed in the books of
A. Connes [18], [19], an approach to the description of structures of this kind
that admits a generalization to operator algebras is to indicate some dense *subalgebra of the C ∗ -algebra of continuous functions. For example, a smooth
structure on a manifold X can be determined by defining the subalgebra C0∞ (X)
of the algebra C0 (X). A piecewise-linear structure (a triangulation) or the
structure of an affine algebraic variety on X can be regarded as a choice of a
suitable family of generators of the algebra C0 (X).
When studying operator algebras, it has long been recognized that there
are circumstances in which it is natural to consider dense *-subalgebras of a
given C ∗ -algebra (in particular, in connection with cyclic cohomology or with
the study of unbounded derivations on a C ∗ -algebra.) Accepting the philosophy
of noncommutative geometry claiming that C ∗ -algebras are generalizations of
topological spaces, we can consider dense subalgebras as a tool to specify an
additional structure on the underlying space. Studies of this kind in noncommutative differential geometry used this idea in [18] and [21].
An important example of C ∗ -algebras is given by group C ∗ -algebras in which
subalgebras pretending to have the name of smooth subalgebras are also considered ([28], [27], [22]). The group algebra C[G] is an example of a dense
smooth subalgebra of the group C ∗ -algebra C ∗ [G], and C[G] is the very object
of investigation in the present paper.

Statement of the problem
Consider the group algebra A = C[G]. We assume that the group Gis a finitely
generated discrete group. Denote by Der (A) the set of all derivations of the
algebra A; this set is a Lie algebra with respect to the commutator of operators.
There is a natural problem to describe all derivations of A. The inner derivations
of A = C[G] form an ideal Int (A) ⊆ Der (A) in the algebra Der (A) of all
derivations.
3

Johnson’s problem can be generalized to the case of group algebras. Certainly, Johnson’s conjecture on the coincidence of the algebra Der (A) of all
derivations of the algebra A = C[G] with the subalgebra of inner derivations fails
to hold. Therefore, Johnson’s problem should be treated as the problem of evaluating the quotient algebra of outer derivations Out (A) = Der (A)/Int (A)
which is isomorphic to the one-dimensional Hochschild cohomology group of the
algebra A (with the coefficients in the bimodule A).
To every group G we assign the groupoid of the adjoint action of the group G,
G, and show that every derivation of the algebra A = C[G] is uniquely defined
by an additive function on G which satisfies some natural finiteness conditions
for the support.
For the case in which the group G is finitely presented and its presentation
is of the form G = F < X, R >, one can transfer the presentation using the
generators and defining relations to the groupoid G: G = F < X , R >. This
presentation enables us to construct the Cayley complex K(G) of the groupoid
G as a two-dimensional complex whose vertices are the objects of the groupoid
G, the edges are the system of generating morphisms, and the two-dimensional
cells are formed by the system of defining relations.
Thus, the problem is to prove that the algebra of outer derivations Out (A) =
Der (A)/Int (A) of the algebra A is isomorphic to the one-dimensional cohomology of the Cayley complex K(G) of the groupoid G with finite supports:
Out (C[G]) ≈ Hf1 (K(G); R)
(Corollary 2 to Theorem 8).

Plan of the paper
In Sec. 2 we consider the necessary properties of the groupoid G of the adjoint
action of the group G. In Sec. 3 we establish the key theorem on the description
of derivations using characters on the groupoid G. In Sec. 4, a generalization of
the Cayley complex to the case of a presentation of the groupoid G is constructed
and the theorem on an isomorphism between the algebra of outer derivations
of the group algebra C[G] and the one-dimensional cohomology of the Cayley
complex of the groupoid G is proved. Finally, in Sec. 5, the simplest examples
of groups are considered for which the Cayley complexes of the corresponding
groupoids can be described.

2
2.1

Groupoid of the adjoint action of a group
Linear operators on the group algebra

Consider the group algebra A = C[G]. We assume that Gis a finitely presented
discrete group.

4

An arbitrary element u ∈ A is a finite linear combination u =

P

λg · g.

g∈G

Consider an arbitrary linear operator on the group algebra A = C[G],
X : A−→A.

Since the algebra A is a vector space in which the set of all elements of the group
G is a basis, it follows that the linear operator X has the following matrix form:


X X

X(u) =
xhg λg  · h.
(1)
g∈G

h∈G

The matrix entries xhg are given by the equations
X(g) =

X

xhg · h ∈ A.

(2)

h

Since the sum in equation (8) must be finite, this means that the matrix X =
kxhg kg,h∈G must satisfy the natural finiteness condition:
(F1) For every subscript g ∈ G, the set of the superscripts h ∈ G for which xhg
is nonzero is finite.
In particular, it follows from condition (F1) that the outer sum in the matrix
representation (7) is also finite.
Certainly, the converse assertion also holds: if a matrix X = kxgh kg,h∈G satisfies condition (F1), then it well defines a linear operator X : A−→Aby formula
(7). All this justifies that both the operator Xand its matrix X = kxhg kg,h∈G are
denoted by the same symbol X. Consider now a so-called differentiation (derivation) in the algebra A, i.e., an operator X for which the following condition
holds:
(F2) X(u · v) = X(u) · v + u · X(v), u, v ∈ A.
The set of all derivations of the algebra A is denoted by Der (A) and forms
a Lie algebra with respect to the commutator of operators.
There is a natural problem to describe all derivations of the algebra A. To
this end, it is necessary to satisfy two conditions, (F1) and (F2). It is more or
less simple to verify each of the conditions separately. The simultaneous validity
of these conditions is one of the tasks of this paper.
There is a class of the so-called inner derivations, i.e., operators of the form
X = ad(u),

X(v) = ad(u)(v) = [u, v] = u · v − v · u,

u, v ∈ A.

All inner derivations satisfy automatically both the conditions (F1) and (F2).
We denote their set by Int (A); this is a Lie subalgebra of the Lie algebra
Der (A),
Int (A) ⊆ Der (A).
5

Proposition 1 The subalgebra Int (A) ⊆ Der (A)is an ideal.
Indeed, we are to verify the validity of the condition
[Int (A), Der (A)] ⊂ Int (A).
If ad(u) ∈ Int (A), X ∈ Der (A), then the commutator [ad(u), X] is evaluated
by the formula
[ad(u), X](v) = ad(u)(X(v)) − X(ad(u)(v)) = [u, X(v)] − X([u, v]) =
= [u, X(v)] − [X(u), v] − [u, X(v)] = −ad(X(u))(v),
i.e., [ad(u), X] ∈ Int (A).
Thus, the quotient space Out (A) = Der (A)/Int (A) is a Lie algebra,
which is called the algebra of outer derivations.

2.2

Definition of the groupoid G of the adjoint action of
the group G

Denote by G the groupoid associated with the adjoint action of the group G
(or the groupoid of adjoint action, see, for example, Ershov (2012) [23], p. 18,
Example j). The groupoid G consists of the objects Obj (G) = G and the
morphisms
Mor (a, b) = {g ∈ G : ga = bg or b = Ad(g)(a)},

a, b ∈ Obj (G).

It is `
convenient to denote the elements of the set of all morphisms Mor (G) =
Mor (a, b) in the form of columns
a,b∈Obj (G)


a−→b
∈ Mor (a, b), b = gag −1 = Ad(g)(a).
ξ=
g
The composition ∗ of two morphisms is defined by the formula
 
 


a−→c
= b−→c
∗ a−→b
,
g2 g1
g2
g1
b = Ad(g1 )(a),
c = Ad(g2 )(b) = Ad(g2 )(Ad(g1 )(a)) = Ad(g2 Ad(g1 )(a))
which corresponds to the diagram
Ad(g1 )(a)

a

g1

Ad(g2 g1 )(a)
g2

/b
g2 g1

6

/6 c

Note that the groupoid G is decomposed into the disjoint union of its subgroupoids Ghgi that are indexed by the conjugacy classes hgi of the group G:
a

G=

Ghgi ,

hgi∈hGi

where hGi stands for the set of conjugacy classes of the group G. The subgroupoid Ghgi consists
of the objects Obj (Ghgi ) = hgi and the morphisms
`
Mor (a, b).
Mor (Ghgi ) =
a,b∈hgi

Linear operators as functions on the groupoid G

2.3

A linear operator X : A−→A is described by the matrix X = kxhg kg,h∈G satisfying condition (F1). The same matrix X defines a function on the groupoid
G:
T X : Mor (G)−→R,
associated with X, which is defined by the following formula: if ξ is a morphism,


a−→b
ξ=
∈ Mor (G),
g
then we set
T X (ξ) = T X



a−→b
g



= xga=bg
.
g

Condition (F1) imposed on the coefficients of the matrix Xcan be reformulated
in terms of the function T on the morphisms Mor (G) of the groupoid G as
follows:
(T1) for every element g ∈ G, the set of morphisms of the form


a−→b
ξ=
g
for which T X (ξ) 6= 0,is finite.
The set of all morphisms Mor (G)can be represented in the form of the disjoint
union of the sets
a
Mor (G) =
Hg ,
g∈G

where
Hg =





a−→b
ξ=
: a ∈ G, b = gag −1 ∈ G .
g

Then the condition (T1) imposed on the function T can equivalently be reformulated as follows:

7

Proposition 2 A function
T : Mor (G)−→C,
is defined by a linear operator
T = T X,

X : A−→A,

if and only if, for any element g ∈ G, the restriction (T )|

Hg

: Hg −→Cis a

finitely supported function (on the set Hg ).
We say that the functions T : Mor (G)−→Cof this kind satisfying the condition
of finite support on every subset of the form Hg ,g ∈ G,are locally finitely supported functions on the groupoid G. Denote the set of locally finitely supported
functions on the groupoid G by Cf (G). All this means that the correspondence
T assigning to every operator X ∈ Hom (A, A) the function T X is an isomorphism between the spaces Hom (A, A) and Cf (G), i.e., the following assertion
holds.
Theorem 1 The homomorphism
T : Hom (A, A)−→Cf (G)
is an isomorphism.

3

Derivations of the group algebra as characters
on the groupoid

The algebra of derivations Der (A) treated as linear operators is a subspace
of Hom (A, A). Thus, the correspondence T takes the algebra of derivations
Der (A) to some subspace Tf (G) ⊂ Cf (G).




Consider two morphisms ξ =
the composition

a−→b
g1

η∗ξ =



and η =

a−→c
g2 g1



b−→c
g2

, which thus admit

.

Theorem 2 An operator X : A−→A is a differentiation (i.e., a derivation) if
and only if the function T X (on the groupoid G) associated with the operator X
satisfies the additivity condition
(T2)
T X (η ∗ ξ) = T X (η) + T X (ξ)
for every pair of morphisms ξ and η admitting the composition η ∗ ξ.

8

Proof. Let the matrix of the operator Xhave the form X = kxhg kg,h∈G ,and thus
the function T X takes the following value on the element ξ:


a−→b
= xga=bg
.
(3)
T X (ξ) = T X
g
g




Consider two morphisms ξ = a−→b
,η = b−→c
admitting the composig1
g2


tion η ∗ ξ = a−→c
. Then
g2 g1
T X (η ∗ ξ) = xgg22 gg11 a=cg2 g1 = xhg2 g1 ,
g−1 h

T X (ξ) = xgg11 a=bg1 = xg12

,

hg−1

T X (η) = xgg22 b=cg2 = xg2 1 .
On the other hand,
X(g2 g1 ) = X(g2 )g1 + g2 X(g1 ).
In other words,
X(g2 g1 ) =
=

P

P

h∈G
hg−1

xhg2 g1 · h =

xg2 1 · h +

h∈G
g−1 h

xg21

xhg2 · h · g1 + g2 ·

· h.

P

h∈G

xhg1 · h

h∈G

h∈G

Thus,

P

P

hg−1

g−1 h

xhg2 g1 = xg2 1 + xg21
Finally,

T X (η ∗ ξ) = T X (η) + T X (ξ).
Every function T : Mor (G)−→Ron the groupoid Gsatisfying the additivity
condition (T2) is called a character. Denote the set of all characters on the
groupoid Gby T(G).Denote the space of all locally finitely supported characters
of the groupoid Gby Tf (G) ⊂ T(G). Thus, the correspondence T defines a
mapping from the algebra of derivations Der (A) to the space Tf (G) of locally
finitely supported characters on the groupoid G:
Theorem 3 The mapping
T : Der (A)−→Tf (G),
is an isomorphism.

9

4

Cayley complex of a groupoid

Here we intend to apply the so-called geometric methods of combinatorial group
theory to study the problem of describing the derivations of the group algebra
of a finitely presentable discrete group. Following, for example, the book of
R. Lyndon and P. Schupp (1980, [24]), one can assign to every discrete finitely
presentable group the so-called Cayley graph and its two-dimensional generalization, the Cayley complex, which consists of the elements of the group as
vertices, of the system of generators as edges, and of the system of defining relations as two-dimensional cells. The topological properties of the Cayley complex
are responsible for certain algebraic properties of the group Gitself.
The geometric construction of the Cayley complex for a finitely presentable
group Gcan be generalized to the case of groupoids; in particular, to the case
of the groupoid Gof the adjoint action of the group G. Since the derivations of
the group algebra Der (C[G])can be described as characters on the groupoid
G,it follows that the topological properties of the Cayley complex K(G)of the
groupoid Genable us to describe some properties of derivations.

4.1

Presentation of a finitely presentable group

Consider a finitely presentable group G,
G = F < X, R >,
where X = {x1 , x2 , . . . , xn }is a finite set of generators and R = {r1 , r2 , . . . , rm }is
a finite set of defining relations.
By analogy with a free group (see, e.g., Kargapolov, Merzlyakov, [25], pp. 122–
124), an arbitrary element g ∈ Gcan be represented as a word s ∈ S(Y ),g =
g(s) ∈ G,composed of letters of the alphabet Y = X ⊔ X −1 ,where
−1
X −1 = {x1−1 , x−1
2 , . . . , xn },

i.e.,
s = y1 y2 y3 . . . yl ,

yj ∈ Y.

The words s ∈ S(Y )representing the same element g = g(s) ∈ Gare obtained
from one another by successive operations of reduction of words and operations
inverse to reduction. Every reduction operation is as follows. Let a word s ∈
S(Y )be represented as a concatenation of three subwords s = s1 ρs2 ,where the
middle word ρis equal to one of the following words:
ρ = σσ −1 , σ ∈ S(Y ),
ρ = r,
r ∈ R ⊔ R−1 .
Here, if the word σis of the form σ = {y1 y2 y3 . . . yk },then, by definition, σ −1 =
{yk−1 . . . y3−1 y2−1 y1−1 }.In this case, the new word s′ = s1 s2 is, by definition, the
result of reduction of the word s.After finitely many reductions, the word becomes irreducible. The inverse operation s′ = s1 s2 ⇒ s1 ρs2 is the operation of
10

insertion. Two words s1 and s2 are said to be equivalent if there is a finite sequence of operations of reduction and insertion taking one word, s1 ,to another,
s2 . It is certainly necessary to prove that diverse sequences of contractions lead
to equivalent results in the form of an irreducible word. This problem, the
so-called word problem, is not always decidable [24].

4.2

Presentation of the groupoid of the adjoint action of
a group

The groupoid G,whose set of objects is Obj (G) = Gand the set of morphisms
Mor (G)consists of
`
Mor (G) =
Mor (a, b),
a,b∈Obj (G)
Mor (a, b) = {g ∈ G : b = ag = gag −1 }.
is decomposed into a disjoint sum of subgroupoids generated by the conjugacy
classes. More precisely, denote by hgithe conjugacy class of an element g ∈ G,
hgi = {g h : h ∈ G}.
Denote the set of conjugacy classes by hGi, hGi = {hgi : g ∈ G}. The group Gis
decomposed into the disjoint union of the conjugacy classes
a
a
hgi.
G=
hgi =
g∈G

hgi∈hGi

Correspondingly, the groupoid Gcan also be decomposed into a disjoint union
of subgroupoids
a
Ghgi
G=
hgi∈hGi

that are defined by their objects and morphisms as follows:
Obj (Ghgi ) = hgi,
Mor (Ghgi ) =

`

Mor (a, b).

a,b∈hgi

The finite set of generators X = {x1 , x2 , . . . , xn }and the finite set of defining
relations R = {r1 , r2 , . . . , rm }are transferred to the generators and relations of
the groupoid G, which we denote by X and R. Thus, the set of morphisms
Mor (G)can be denoted by F < X , R >,
Mor (G) = F < X , R > .
Let us define X as the set of all morphisms of the form




a−→b
x
X = ξ=
: x ∈ X, a ∈ Obj (G), b = a .
x
11

Let Y = X ⊔ X −1 ;consider Yas an alphabet,




a−→b
−1
y
Y= ξ=
: y ∈ Y = X ⊔ X , a ∈ Obj (G), b = a .
y
The set S(Y)is the set of all admissible words sin the alphabet Y,i.e., words
formed by the letters of the alphabet Y,s = ξ1 ξ2 ξ3 · · · ξl such that


ai −→ai+1
ξi =
, ξi ∈ Y, 1 ≤ i ≤ l.
yi
Every admissible word s ∈ S(Y)defines a morphism ξ(s) ∈ Mor (G)by the
formula
ξ(s) = ξ1 ∗ ξ2 ∗ ξ3 ∗ · · · ∗ ξl .
This representation of the morphism ξin the form of an admissible word sis not
unique, and enables one to make a reduction of the word sby the following rule.
Define first the system of relations Rgenerated by the set Rof defining relations
for the group G.Every relation ri ∈ Ris written out in the form of a word
ri = yi1 yi2 yi3 · · · yili ,

yij ∈ Y.

The relations ri generate the system of admissible words ρi,a , a ∈ Obj (G),of the
form


 


a −→a
a2 −→a3
a3 −→a4
2
· · · liyil 1 ,
ρi,a = a1 −→a
yi1
yi2
yi3
i

a = a1 ,

y

aj+1 = aj ij ,

1 ≤ j ≤ li ,

ali +1 = a1 ,

which serve as the defining relations of the groupoid G.Denote the set of all
admissible words of the form ρi,a by R,
R = {ρi,a : 1 ≤ i ≤ li ,

a ∈ Obj (G)},

R ⊂ S(Y). Thus, the operation of reduction is carried out for an admissible
word sas follows. Let an admissible word sbe representable in the form of the
concatenation of three words
s = s1 ηs2 ,
were the middle word is equal to one of the following words:
η = σσ −1 , σ ∈ S(Y)
η = ρ,
ρ ∈ R ⊔ R−1 ⊂ S(Y).
In this case, the result of reduction is the word s′ = s1 s2 , which is certainly
admissible. The inverse operation s′ = s1 s2 ⇒ s = s1 ηs2 is called the operation
of admissible insertion.
Thus, two admissible words sand s′ define the same morphism, i.e.,
ξ(s) = ξ(s′ ) ∈ Mor (G),
if and only if the words are equivalent, s ∼ s′ , i.e., when there is a finite sequence
of operations of two types:
1) the operation of reduction,
2) the operation of admissible insertion.
12

Construction of the Cayley complex of the groupoid G

4.3
4.3.1

Cayley complex of a group G

Before constructing the Cayley complex of the groupoid Gby analogy with the
Cayley complex of the group Gitself, recall the construction of the Cayley complex of G from its presentation in the form of finitely many generators Xand
finitely many defining relations R, F (X)/R. We follow the book by Lyndon
and Schupp (1980, [24], p. 174, Chap. 3, § 4, Cayley complexes). The group Gis
treated there as the groupoid of the action of Gon itself with the help of right
multiplication: the action of an element g ∈ Gon Gis given by the rule
G × G−→G, ∀g ∈ G, h 7→ hg,

h ∈ G.

Thus, we obtain the groupoid of this action, say, rG. The Cayley complex
is constructed in the book by Lyndon and Schupp from this very groupoid
rGrather than from the group G. The objects of this category are the elements
h ∈ Gof Gthemselves, Obj (rG) = G, and the morphisms Mor (rG)are right
shifts on the group G, h 7→ hg. This means that the set Mor (a, b)consists
of precisely one element g ∈ G, namely, g = a−1 b.It can readily be seen that
the category rGthus constructed is a groupoid. Thus, the Cayley complex of
the group Gdefined in the book by Lyndon and Schupp (1980, [24], p. 174) is
in fact constructed from the groupoid rG,and the construction by itself can be
generalized to arbitrary groupoids associated with an action of the group G.
By the definition in the book by Lyndon and Schupp (1980, [24], p. 174),
for the groupoid rGof the right action of the group G, the Cayley complex
K(rG)consists of vertices, edges, and two-dimensional cells. The set of vertices
K0 (rG)is the set of all objects of the groupoid rG,K0 (rG) = Obj (rG) ≈ G. The
set of edges of
 the groupoid rG, K1 (rG), is formed by the morphisms
 of theform
a−→ag
g

ξ=



ag−→a
g−1

, g ∈ X ⊔X −1 , i.e., ξ ∈ X ⊔X −1 = Y. The edges ξ =

a−→ag
g

and



η=
are assumed to be the same edge with opposite orientation. Thus,
the edges ξ ∈ K1 (rG) are defined by the set X of generators of the groupoid rG.
The set of two-dimensional cells, K2 (rG), is defined using sequences of morphisms defined by words ρ ∈ R ⊔ R−1 ⊂ S(X ⊔ X −1 ) = S(Y). The twodimensional cells are the planar orientable polygons σ(ρ)defined by the words
ρ ∈ R ⊔ R−1 that determine the boundaries of the polygons σ(ρ)as closed cycles
formed by the edges of the word ρ.The cells σ(ρ)and σ(ρ−1 )are assumed to be
equal and have opposite orientation. The two-dimensional cells σ(ρ)are pasted
to the 1-skeleton of the complex K(G[c] by the natural identification of the edges
of the boundary of the cell σ(ρ)with the corresponding edges of the complex
K(G[c] ),preserving the orientation.
4.3.2

Cayley complex of the groupoid Gof adjoint action

The only difference between the groupoid G and the groupoid rG is that the
former is defined by another action of the group G, namely, the adjoint action:

13

Adg (a) = dad−1 , g, h ∈ G. Therefore, the Cayley complex of the groupoid G is
constructed by analogy with the Cayley complex of the group G.
Namely, the vertices, i.e., the zero-dimensional cells K0 (G)of the complex
K(G),are the objects, a ∈ Obj (G) ≈ G. The one-dimensional edges, i.e., the
oriented cells of dimension 1, K1 (G), joining vertices aand b, are the morphisms
ξ ∈ Mor (a, b)of the form


a−→b
ξ=
, y ∈ Y = X ⊔ X −1 , a ∈ Obj (G), b = yay −1 ∈ Obj (G).
y
The set of edges described above is denoted by X ; let Y = X ⊔ X −1 . These
edges form a system of generators of the groupoid G, i.e., every morphism η ∈
Mor (a, c) can be represented as an admissible composition of generators,
η = ξ1 ∗ ξ2 ∗ · · · ∗ ξk ,

ξi ∈ Y

1 ≤ i ≤ k.

Two vertices in the Cayley complex of the groupoid G are joined by edges
only if the vertices belong to the same conjugacy class, i.e., when a, b ∈ hci.Hence,
it suffices to consider only the part Ghci of the groupoid rather than the whole
groupoid.
Cayley complex by K(Ghci ).Two edges


Denote the
 corresponding

→a
ξ = a−→b
are assumed to be equal and have opposite orienand ξ = b−
y
y −1
tations on the edges.
The one-dimensional cells K1 (G) belong naturally to the set of all morphisms
ϕ : K1 (G) ֒→ Mor (G).
Finally, the two-dimensional cells K2 (G) are the planar orientable polygons
σ(ρ)given by words ρ ∈ R ⊔ R−1 that define the boundaries of the polygons
σ(ρ)as closed cycles composed of the edges of the words ρ.The cells σ(ρ)and
σ(ρ−1 )are assumed to be equal and have opposite orientations. The two-dimensional
cells σ(ρ)are pasted to the 1-skeleton of the complex K(G[c] by the natural identification of the edges of the boundary of a cell σ(ρ)to the corresponding edge
of the complex K(G[c] ),preserving the orientation.

Groups of chains of the Cayley complex of the groupoid G
The two-dimensional Cayley complex K(G)generates the cochain complex
d

d

1
0
2
1
(K(G)).
(K(G))−→C
C 0 (K(G))−→C

This cochain complex has a natural subcomplex of finitely supported cochains,
because every cell of dimension 0 or 1 satisfies the condition that the set of cells
that abut on cells of lesser dimension is finite.
Indeed,
if a ∈ Obj (G)is an arbitrary vertex of the Cayley complex K(G)and

a−→b
is an arbitrary edge beginning at a, then there are only finitely
ξ =
y
many edges of this kind, since y ∈ Y,and the set Y = X ⊔ X −1 is finite.

14



Further, if ξ = a−y→b is an edge, then the cells of the form of the words
ρi,a1 ,



 

a2 −→a3
a3 −→a4
ali −→a1
a1 −→a2
,
···
ρi,a1 =
yi1
yi2
yi3
yili
abut on ξ, and, for some subscripts i, jand an element aj ,the condition y =
yij ,aj = aholds. Since the subscripts i, jrange over a finite set, it follows that
the element a1 is expressed using ain finitely many ways only. Thus, only finitely
many words ρi,a1 abut on the edge ξ. This, taken together, gives the commutative
diagram
d0
/ C 1 (K(G)) d1 / C 2 (K(G))
C 0 (K(G))
O
O
O
∪

Cf0 (K(G))

∪

∪
df0

/ C 1 (K(G))
f

df1

/ C 2 (K(G)).
f

We identify the one-dimensional finitely supported cochains Cf1 (K(G)) with the
derivations Der (C[G]) by the composition of the mappings
ϕ∗

T

H : Der (C[G])−→Tf (G)−→C 1 (K(G)).

Theorem 4 The homomorphism H is a monomorphism onto the kernel of the
differential d1 :
Im (H) = ker(df1 ) ⊂ C 1 (K(G)).
The image of the algebra of inner derivations H(Int (C[G])) ⊂ C 1 (K(G)) is
equal to the image of the differential df0 :
H(Int (C[G])) = Im (df0 ) ⊂ C 1 (K(G)).
Proof. 1) To prove that the mapping H is monomorphic, it suffices to
show the monomorphic property of the restriction operator ϕ∗ , since the correspondence T is an isomorphism (by Theorem 7). Thus, if T X ∈ Tf (G) and
ϕ∗ (T X ) = 0, we are to show that T X = 0. The character T X is a function on
the groupoid G, i.e., on Mor (G). The condition T X = 0, which is to beproved,


means that T X (ξ) = 0 for every ξ ∈ Mor (G). Every morphism ξ =
can be expanded into an admissible composition
ξ = ξ1 ∗ ξ2 ∗ ξ3 ∗ · · · ∗ ξl ,
where the morphisms ξi are of the form


ai −→ai+1
, ξi ∈ Y, 1 ≤ i ≤ l,
ξi =
yi
15

a = a1 , b = al+1 ,

a−→b
g

i.e., ξi ∈ K1 (G). By assumption, T X (ξi ) = ϕ∗ (T X )(ξi ) = 0. Hence,
T X (ξ) = T X (ξ1 ∗ ξ2 ∗ ξ3 ∗ · · · ∗ ξl ) =

l
X

T X (ξi ) = 0.

i=1

2) We claim that df1 (H(X)) = 0 for X ∈ Der (C[G]), or df1 (ϕ∗ (T X )) = 0 for
T X ∈ Tf (G). Strictly speaking, we are to prove that, on every two-dimensional
cell σ(ρ) ∈ K2 (G), the value of the cochain df1 (ϕ∗ (T X )) vanishes. By the construction of the two-dimensional Cayley complex, this value is equal to the sum
of values of the cochain ϕ∗ (T X ) on the closed cycle formed by the edges of the
word ρ. Since the word ρ is one of the words of the set of relations R ⊔ R−1 ,
ρ ∈ R ⊔ R−1 , we have


 

a1 −→a2
a2 −→a3
al −→a1
ρ=
···
,
y1
y2
yl
where the sequence
y1 y2 · · · yl ∈ Y ⊔ Y −1
is one of the defining relations of the group G. It follows that


l
P
i+1
T X ai −→a
ϕ∗ (T X )(ρ) = (T X )(ρ) =
yi
i=1 

 


a1 −→a2
a2 −→a3
al −→a1
X
=T
∗
∗
·
·
·
∗
y
y
y
1
2
l



X a1 −→a1
1
=
T
=
0.
= T X ya11y−→a
e
2 ···yl

This means that the mapping ϕ∗ takes the space Tf (G) to a subspace of ker(df1 ),
ϕ∗ : Tf (G)−→ ker(df1 ).
3) We claim now that the mapping ϕ∗ is an epimorphism. The space ker(df1 )
consists of all one-dimensional cocycles of the Cayley complex, i.e., of the functions on the one-dimensional edges of the Cayley complex that vanish on every
closed one-dimensional chain which is the boundary of a two-dimensional cell.
We are to extend every cochain τ of this kind to the set Mor (G) to some
character T . Let ξ ∈ Mor (G) be an arbitrary morphism,


a−→b
ξ=
, g ∈ G.
g
Every morphism ξ can be expanded in a composition of generating morphisms,





a−→a2
a2 −→a3
al −→b
ξ=
···
,
(4)
y1
y2
yl
where
y1 , y2 , . . . , yl ∈ X ⊔ X −1 .
16

We write
T (ξ) =



l
X
ai −→ai+1
τ
,
yi
i=1

a1 = a,

al+1 = b.

(5)

The last formula does not depend on the choice of expansion (10), since the
function τ vanishes on every cycle which is the boundary of a cell. The function
T constructed by formula (11) is obviously a character.
4) Finally, we claim that the image of the algebra of inner derivations
H(Int (C[G])) ⊂ C 1 (K(G)) is equal to the image of the differential df0 . Every
inner derivation is defined in the form of a linear combination of the simplest
inner derivations of the form
X
adg : C[G]−→C[G], adg (u) = [g, u], u =
λh · h ∈ C[G].
h∈G

′

The matrix of the operator X = adg , Xhh , is evaluated as follows:
X

λh [g, h] = X(u) =

h

X

′

Xhh λh · h′ .

h,h′

Since λh are arbitrary, it follows that
[g, h] = gh − hg =

X

′

Xhh · h′ .

h′

′

′

′

h
h
Then Xhh = δgh
− δhg
.
ad
The character T g corresponding to the operator adg is a function (on the
groupoid G) defined by the formula


a−→b
ha
ha
ad
g
= Xhha=ah = δgh
− δhg
= δgb − δga
(6)
T
h

Formula (12) means that


ϕ∗ T adg = df0 (tg ),

tg ∈ C 0 (K(G)),

tg (h) = δgh .

This implies that the image of the algebra of inner derivations H(Int (C[G])) ⊂
C 1 (K(G)) is equal to the image of the differential df0 .
Corollary 1 The homomorphism H induces an isomorphism of the algebra of
outer derivations Out (C[G]) onto the group of the one-dimensional cohomology
with finite supports of the Cayley complex of the groupoid G of the adjoint action
of the group G:
≈
H : Out (C[G])−→Hf1 (K(G); R).

17

References
[1] B. E. Johnson and A. M. Sinclair, Continuity of derivations and a problem
of Kaplansky, Amer. J. Math. 90 (1968), 1067–1073.
[2] B. E. Johnson and J. R. Ringrose, Derivations of operator algebras and
discrete group algebras, Bull. London Math. Soc. 1 (1969), 70-74.
[3] B. E. Johnson, Cohomology in Banach algebras. Memoirs of the American
Mathematical Society; no. 127, (1972)
[4] B. E. Johnson, The Derivation Problem for Group Algebras of Connected
Locally Compact Groups, J. London Math. Soc., V. 63, Issue 2, (2001), p.
441–452
[5] V. Losert, The derivation problem for group algebras, Annals of Mathematics , 168 (2008), 221-246
[6] H. G. Dales Banach Algebras and Automatic Continuity, Clarendon Press,
Oxford University Press, New York, 2000
[7] R. S. Pierce, Associative Algebras, Springer-Verlag, New York–Berlin, 1982.
— 448 pp.
[8] I. Kaplansky, Modules Over Operator Algebras, American Journal of Mathematics, Vol. 75, No. 4 (Oct., 1953), pp. 839-858
[9] I. Kaplansky, Derivations of Banach algebras, Seminar on Analytic Functions. Vol. II — Institute for Advanced Study, Princeton, 1958, 254–258
[10] S. Sakai, On a conjecture of Kaplansky, Tôhoku Math. J. (2) Vol. 12 (1960)
No. 1 P 31–33
[11] S. Sakai, Derivations of W ∗ –algebras, Annals of Mathematics , 83 (1966),
273-279.
[12] S. Sakai, Derivations of Simple C ∗ –algebras, Journal of Functional Analysis, 2,(1968), 273-279.
[13] S. Sakai, C ∗ –algebras and W ∗ –algebras, Springer-Veralg, Berlin, Heidelberg, New York, 1971
[14] R. Kadison, Derivations of Operator Algebras, Annals of Mathematics, Second Series, Vol. 83, No. 2 (Mar., 1966), pp. 280-293
[15] R. Kadison and J.R.Ringrose Derivations of Operator Group Algebras,
American Journal of Mathematics, Vol. 88, No. 3 (Jul., 1966), pp. 562576
[16] B. Blackadar and J. Cuntz, Differential Banach Algebra Norms and Smooth
Subalgebras of C ∗ -algebras, J. Operator Theory, 26 (1991), 155-282.
18

[17] V.
Ginzburg,
Letures
on
Noncommutative
arXiv:math/0506603v1 [math.AG] 29 Jun 2005

Geometry,

[18] A. Connes, Non-commutative differential geometry, Publications mathematiques de l’I.H.E.S., tome 62 (1985), p. 41-144.
[19] A. Connes, Noncommutative Geometry, Academic Press, (1994).
[20] F. Ghahramani, V. Runde, and G. Willis, Derivations on group algebras,
Proc. London Math. Soc. 80 (2000), 360-390
[21] A. Connes and H. Moscovici, Cyclic Cohomology, the Novikov Conjecture
and Hyperbolic Croups Topology, vol. 29, No.3, (1990), 345-388.
[22] P. de la Harpe, Groupes hyperboliques, algèbres d’opérateurs et un théorème
de Jolissaint, C. R. Acad. Sci. Paris Sèr. I Math., 307 (1988), 771-774.
[23] A. V. Ershov, Categories and Functors, A Tutorial Saratov, Nauka, 2012,
88 pp.
[24] R. S. Lyndon and P. E. Schupp, Combinatorial group theory. SpringerVerlag, Berlin, 2001.- 339 pp.
[25] M. I. Kargapolov and Ju. I. Merzljakov, Fundamentals of the Theory of
Groups. Springer-Verlag, New York-Berlin, 1979.- 220 pp.
[26] Jolissaint, P., Rapidly decreasing functions in reduced C*-algebras of
groups, Trans. Amer. Math. Soc., 317 (1990), 167-196.
[27] Jolissaint, P., K-theory of reduced C*-algebras and rapidly decreasing functions on groups, K-Theory 2(1989), 723-735.
[28] E. Hewitt and K. A. Ross, Abstract harmonic analysis, I and II (Springer,
Berlin, 1963 and 1970).
[29] J. G. Wendel, Left Centralizers and Isomorphisms of Group Algebras, Pacific Journal of Mathematics, vol.2,No.2(1952).
[30] F. F. Bonsall and J. Duncan, Complete normed algebras (Springer-Verlag,
New York, 1973
[31] H. G. Dales Automatic Continuity: a Survey, Bull. London Math. Soc, 10
(1978), 129-183
[32] A. H. Clifford. G. B. Preston, The Algebraic Theory of Semigroups,
American Mathematical Society. Providence, RI, 1961
[33] P. J. Higgins, Categories and Groupoids, Originally published by: Van
Nostrand Reinhold, 1971 Reprints in Theory and Applications of Categories, No. 7 (2005) pp 1-195

19

[34] I. V. Bel’ko, Foliated Lie groupoids and the Ehresmann method in differential geometry [Russian] 2nd ed. Èditorial URSS, Moscow, 2004. 208
pp.
[35] K. C. H. Mackenzie, General Theory of Lie Groupoids and Lie Algebroids,
Cambridge University Press, (2005)
[36] M.
Williams,
Introduction
to
http://www.math.ucla.edu/∼mwilliams/pdf/groupoids.pdf

Groupids,

[37] A. A. Arutyunov, A. S. Mishchenko, and A. I. Shtern, Derivations of group
algebras. Submitted to ¡¡Fund. Pkikl. Mat., March 2017

Russian version:
Гладкая версия проблемы Джонсона о
деривациях групповых алгебр
Арутюнов, А.А., Мищенко, А.С.
Аннотация
Дается описание алгебры внешних дериваций групповой алгебры
конечно представимой дискретной группы в терминах комплекса Кэли группоида присоединенного действия группы. Данная задача является гладкой версией проблемы Джонсона о деривациях групповой
алгебры. Показывается, что алгебра внешних дериваций изоморфна группе одномерным когомологий с компактными носителями комплекса Кэли над полем комплексных чисел.

Введение
История вопроса
Внутренние и внешние деривации
Проблема о деривациях ассоциативных алгебр по многочисленным свидетельствам связана с работами Б.Е.Джонсона по изучению когомологий банаховых алгебр ([1], [2], [3], [4]). В.Лозер ([5]), который решил проблему
Джонсона, следующим образом ее формулирует как проблему о деривациях на групповых алгебрах: рассмотрим банахову алгебру A и A–бимодуль
E. Линейное отображение
D : A−→E
называется деривацией (или дифференцированием), если для любых элементов a, b ∈ A выполняется так называемое тождество Лейбница (о отношению к двустороннему действию алгебры A на бимодуле E)
D(ab) = D(a)b + aD(b),

a, b ∈ A.

(см. определение 1.8.1 из работы Дэйла (2000) [6]).
20

Пространство всех дериваций из алгебры A в бимодуль E, обозначим через Der (A, E). Среди дериваций Der (A, E) выделяются так называемые
внутренние деривации Int (A, E) ⊂ Der (A, E), которые задаются присоединенными представлениями
def

adx (a) = xa − ax,

x ∈ E, a ∈ A.

Деривации из множества Der (A, E)\Int (A, E) называются внешними деривациями. Более естественно рассматривать фактор пространство Out (A, E) =
Der (A, E)/Int (A, E), пространство «внешних» дериваций, которое имеет
интерпретацию как одномерные когомологии Хохшильда алгебры A с коэффициентами в бимодуле E:
H 1 (A; E) ≈ Out (A, E),
(см. книгу Р.Пирса (1986) [7], определение a, стр. 248).
Проблема деривации заключается следующем: всякая ли деривация является внутренней? (см. Dales(2000) [6], (Question 5.6.B, стр.746), т.е. верно
ли, что
H 1 (A; E) ≈ Out (A, E) = 0?
Задача сравнения внутренних и внешних дериваций имеет богатую историю, начатую в работах Капланского (1953,1958)[8], [9], Sakai (1960-1971)
[10],[11], [12], [13], Кадисона (1966)[14],[15] и продолженную в работах Джонсона и других (см. например [1], [2], [3], [4]).
Более простой и естественный случай заключается в том, что бимодуль
E изоморфен алгебре A, которая конечно же является бимодулем над самой
алгеброй A.
В случае E = A оба множества Der (A) = Der (A, A) и Int (A) =
Int (A, A) являются алгебрами Ли по отношению к операции коммутирования, причем алгебра Ли Int (A) внутренних дериваций является идеалом в
алгебре Der (A), то естественно фактор алгебру Out (A) = Der (A)/Int (A)
назвать алгеброй внешних дериваций.
В этом случае в работе Сакаи (1966) [11] показано, что каждая деривация W ∗ –алгебры является внутренней, что является положительным решением гипотезы Кадисона.
Переход к более общим бимодулям позволило В.Лозеру решить проблему Джонсона как способ нахождения внутренней деривации не из исходной
алгебры A, а в значениях большей алгебры, чем A.
Именно, проблема дериваций формулируется следующим образом: все
ли деривации являются внутренними? Эта задача рассматривалась не для
всяких алгебр, а для групповых алгебр A = C[G] некоторой группы G. Более точно, рассматривается групповая алгебра A = L1 (G) интегрируемых
функций на локально компактной группе G по отношении к мере Хаара на
ней и бимодуль E = M (G), где M (G) есть алгебра всех ограниченных мер
на группе G с операцией умножения, задаваемой сверткой мер.

21

Именно в такой формулировке Лозер ([5]) доказал, что
Out (L1 (G), M (G)) = 0.
Этот результат оправдывается следующим соображением. В случае, когда
группа G является дискретной свободной абелевой группой с конечным
числом образующих, т.е. G ≈ Zn , то алгебру A = L1 (G) можно можно
отождествить с алгеброй Фурье A(Tn ) непрерывных функций на n–мерном
торе Tn , коэффициенты Фурье которых образуют абсолютно сходящийся
кратный ряд, A = A(Tn ) ⊂ C(Tn ), (эта алгебра Фурье меньше алгебры
непрерывных функций). Дериваций на алгебре A(Tn ) нет, поскольку в ней
достаточно много негладких функций, впрочем и внутренних дериваций
тоже нет, поскольку алгебра A = L1 (G) коммутативна.

Выбор подходящего класса алгебр
В настоящей работе нас интересует не вся банахова алгебра A = L1 (G),
а только ее плотная подалгебра A = C[G] ⊂ A, состоящая, так сказать,
из гладких элементов в алгебре A = L1 (G). В выборе подходящего класса
алгебр мы следуем мотивировкам из статьи Б.Бакладара и Й.Кунца (1991)
[16], в которой как раз изучается категорный подход к выбору так называемых гладких подалгебр в C ∗ -алгебре (см. также лекции В.Гинзбурга [17],
19. Formally Smooth Algebras, стр. 101)
В топологии часто важно рассмотреть дополнительную структуру, такую как гладкая или кусочно-линейная структура на некоторых топологических пространствах. С точки зрения некоммутативной геометрии, развитой в книгах А.Кона [18], [19], подход к описанию таких структур, допускающий обобщение на операторные алгебры, заключается в том, чтобы указать
некоторую плотную *-подалгебру C ∗ -алгебры непрерывных функций. Например, гладкую структуру на многообразии X можно определить, задав
подалгебру C0∞ (X) алгебры C0 (X). Кусочно-линейную структуру (триангуляцию) или структуру аффинного алгебраического многообразия на X
можно рассматривать как выбор подходящего семейства образующих алгебры C0 (X).
При изучении операторных алгебр уже давно признано, что существуют обстоятельства, когда естественно рассматривать плотные *-подалгебры
C ∗ -алгебр (в частности, в связи с циклическими когомологиями или с изучением неограниченных дифференцирований на C ∗ - алгебр.) Принимая философию некоммутативной геометрии, что C ∗ -алгебры являются обобщениями топологических пространств, то плотные подалгебры можно рассматривать как средство для указания дополнительной структуры на лежащей
в подстилающем «пространстве». Такие исследования в некоммутативной
дифференциальной геометрии основаны на этой идее в работах [18], [21].
Важным примером C ∗ -алгебр служат C ∗ -групповые алгебры, в которых также рассматриваются подалгебры, претендующие на название гладких подалгебр, ([28], [27], [22]). Групповая алгебра C[G] является примером
22

плотной гладкой подалгебры C ∗ -групповой алгебры C ∗ [G], которая и является объектом изучения в настоящей работе.

Формулировка задачи
Рассмотрим групповую алгебру A = C[G]. Мы предполагаем, что группа
G является конечно представимой дискретной группой. Обозначим через
Der (A) множество всех дериваций алгебры A, которое является алгеброй
Ли по отношению к коммутатору операторов. Естественная задача заключается в том, чтобы описать все дериваци алгебры A. Внутренние деривации алгебры A = C[G] образует идеал Int (A) ⊆ Der (A) в алгебре всех
дериваций Der (A).
Проблема Джонсона обобщается на случай групповых алгебр. Разумеется гипотеза Джонсона о совпадении алгебры Der (A) всех дериваций алгебры A = C[G] с подалгеброй внутренних дериваций не выполняется. Поэтому
проблему Джонсона следует понимать как задачу вычисления фактор алгебры внешних дериваций Out (A) = Der (A)/Int (A), которая изоморфна
группе одномерных когомологий Хохшильда алгебры A (c с коэффициентами в бимодуле A).
С каждой группой G мы связываем группоид присоединенного действия
группы G, G, и показываем, что всякая деривация алгебры A = C[G] однозначно задается аддитивной функцией на группоиде G, которая удовлетворяет некоторым естественным условиям финитности.
В случае, когда группа G конечно представима, копредставление которой имеет вид G = F < X, R >, на группоид G переносится копредставление
при помощи образующих и определяющих соотношений: G = F < X , R >.
Такое копредставление позволяет построить комплекс Кэли K(G) группоида G как двумерный комплекс, вершинами которого служат объекты группоида G, ребрами служат система образующих морфизмов, а двумерными
клетками служит система определяющих соотношений.
Таким образом задача заключается в доказательстве изоморфизма между алгеброй внешних дериваций Out (A) = Der (A)/Int (A) алгебры A и
одномерными когомологиями комплекса Кэли K(G) группоида G с финитными носителями:
Out (C[G]) ≈ Hf1 (K(G); R)
(Следствие 2 теоремы 8).

План работы
Во втором параграфе рассмотрены необходимые свойства группоида G присоединенного действия группы G. В третьем параграфе установлена ключевая теорема об описании дериваций при помощи характеров на группоиде G.
В четвертом параграфе строится обобщение комплекса Кэли на случай копредставления группоида G и доказывается теорема об изоморфизме между алгеброй внешних дериваций групповой алгебры C[G] и одномерными

23

когомологиями комплекса Кэли группоида G. Наконец в пятом параграфе рассмотрены простейшие примеры групп, для которых можно описать
комплексы Кэли соответствующих группоидов.

5
5.1

Группоид присоединенного действия группы
Линейные операторы на групповой алгебре

Рассмотрим групповую алгебру A = C[G]. Мы предполагаем, что группа G
является конечно представимой дискретной группой.
Произвольный
элемент u ∈ A — это конечная линейная комбинация
P g
λ · g. Рассмотрим произвольный линейный оператор н групповой
u=
g∈G

алгебре A = C[G]

X : A−→A.
Поскольку алгебра A является векторным пространством, базисом в котором служит множество всех элементов группы G, то линейный оператор X
имеет следующий матричный вид


X X

X(u) =
(7)
xhg λg  · h.
g∈G

h∈G

Матричные элементы xhg задаются равенствми
X(g) =

X

xhg · h ∈ A.

(8)

h

Поскольку сумма в равенстве (8) должна быть конечной, то это значит,
что матрица X = kxhg kg,h∈G должна удовлетворять естественному условию
конечности:
(F1) Для любого индекса g ∈ G множество тех индексов h ∈ G, для которых xhg отлично от нуля, конечно.
В частности, из условия (F1) следует, что в матричном представлении (7)
внешняя сумма тоже конечна.
Разумеется, верно и обратное утверждение: если матрица X = kxgh kg,h∈G
удовлетворяет условию (F1), то она корректно задает линейный оператор
X : A−→A по формуле (7). Все это оправдывает, что и оператор X, и его
матрица X = kxhg kg,h∈G обозначаются тем же самым символом X.
Рассмотрим теперь так называемое дифференцирование (деривацию) в
алгебре A, т.е. такой оператор X, для которого выполнено условие
(F2) X(u · v) = X(u) · v + u · X(v), u, v ∈ A.

24

Множество всех дериваций алгебры A обозначается через Der (A) и
образует алгебру Ли по отношению к коммутатору операторов.
Естественная задача заключается в том, чтобы описать все дифференцирования алгебры A. Для этого нужно соблюсти два условия (F1) и (F2).
Каждое условие в отдельности проверяется более или менее просто. Одновременное выполнение этих условий составляет одну из задач настоящей
работы.
Имеется класс так называемых внутренних дифференцирований, т.е.
операторов вида
X = ad(u),

X(v) = ad(u)(v) = [u, v] = u · v − v · u,

u, v ∈ A

Все внутренние деривации автоматически удовлетворяют обоим условиям
(F1) и (F2). Они обозначаются через Int (A) и образуют подалгебру Ли в
алгебре Ли Der (A),
Int (A) ⊆ Der (A).
Предложение 1 Подалгебра Int (A) ⊆ Der (A) идеалом.
Действительно, требуется проверить выполнение условия
[Int (A), Der (A)] ⊂ Int (A).
Если ad(u) ∈ Int (A), X ∈ Der (A), то коммутатор [ad(u), X] вычисляется
по формуле:
[ad(u), X](v) = ad(u)(X(v)) − X(ad(u)(v)) = [u, X(v)] − X([u, v]) =
= [u, X(v)] − [X(u), v] − [u, X(v)] = −ad(X(u))(v),
т.е. [ad(u), X] ∈ Int (A).
Таким образом фактор пространство Out (A) = Der (A)/Int (A) является алгеброй Ли, которая называется алгеброй внешних дифференцирований.

5.2

Определение группоида G присоединенного действия
группы G.

Обозначим через G группоид, ассоциированный с присоединенным действием группы G (или группоид присоединенного действия, см. например, Ершов(2012) [23], стр. 18, пример j). Группоид G состоит из объектов Obj (G) =
G и морфизмов
Mor (a, b) = {g ∈ G : ga = bg или b = Ad(g)(a)},
Элементы множества всех морфизмов Mor (G) =

a, b ∈ Obj (G).
`

Mor (a, b) удоб-

a,b∈Obj (G)

но обозначать в виде столбцов


a−→b
ξ=
∈ Mor (a, b),
g
25

b = gag −1 = Ad(g)(a).

Композиция ∗ двух морфизмов задается формулой

 
 

a−→c
= b−→c
∗ a−→b
,
g2 g1
g2
g1
b = Ad(g1 )(a),
c = Ad(g2 )(b) = Ad(g2 )(Ad(g1 )(a)) = Ad(g2 Ad(g1 )(a))
которая соответствует диаграмме
Ad(g1 )(a)

a

g1

Ad(g2 g1 )(a)
g2

/b

/6 c

g2 g1

Отметим, что группоид G распадается в несвязное объединение своих
подгруппоидов Ghgi , которые нумеруются классами hgi сопряженных элементов группы G:
a
Ghgi ,
G=
hgi∈hGi

где через hGi обозначено множество классов сопряженных элементов группы G. Подгруппоид
` Ghgi состоит из объектов Obj (Ghgi ) = hgi и морфизмов
Mor (a, b).
Mor (Ghgi ) =
a,b∈hgi

5.3

Линейные операторы как функции на группоиде G

Линейный оператор X : A−→A описывается матрицей X = kxhg kg,h∈G , которая удовлетворяет условию (F1). Эта же матрица X задает функцию на
группоиде G
T X : Mor (G)−→R,
ассоциированную с оператором X, которая определяется формулой: если ξ
- это морфизм,


a−→b
∈ Mor (G),
ξ=
g
то полагаем


a−→b
X
X
.
= xga=bg
T (ξ) = T
g
g
Условие (F1), налагаемое на коэффициенты матрицы X, можно переформулировать в терминах функции T на морфизмах Mor (G) группоида G:
(T1) Для любого элемента g ∈ G множество морфизмов вида


a−→b
ξ=
,
g
для которых T X (ξ) 6= 0, конечно.
26

Множество всех морфизмов Mor (G) представляется в виде несвязного объединения подмножеств
a
Mor (G) =
Hg ,
g∈G

где





a−→b
−1
Hg = ξ =
: a ∈ G, b = gag ∈ G .
g

Тогда условие (T1), налагаемое на функцию T можно эквивалентным образом переформулировать следующим образом
Предложение 2 Функция
T : Mor (G)−→C,
задается линейным оператором
T = T X,

X : A−→A,

тогда и только тогда, когда для любого элемента g ∈ G ограничение
(T )| : Hg −→C является финитной функцией (на множестве Hg ).
Hg

Такие функции T : Mor (G)−→C, которые удовлетворяют условию финитности на каждом подмножестве Hg , g ∈ G, будем называть локально финитными функциями на группоиде G. Множество локально финитных функций на группоиде G будем обозначать через Cf (G). Все это означает, что
соответствие T , которое каждому оператору X ∈ Hom (A, A) сопоставляет
функцию T X , является изоморфизмом между пространствами Hom (A, A)
и Cf (G), т.е. имеет место
Theorem 5 Гомоморфизм
T : Hom (A, A)−→Cf (G)
является изоморфизмом.

6

Деривации групповой алгебры как характеры на группоиде

Алгебра дериваций Der (A) как линейных операторов является подпространством в пространстве Hom (A, A). Значит, соответствие T отображает
алгебру дериваций Der (A) в некоторое
подпространство


 Tf (G) ⊂ Cf (G).

Рассмотрим два морфизма ξ =
тельно, допускают композицию

η∗ξ =

a−→b
g1



иη=

a−→c
g2 g1

27



.

b−→c
g2

которые, следова-

Theorem 6 Оператор X : A−→A является дифференцированием (т.е. деривацией) тогда и только тогда, когда для ассоциированной с оператором
X функции T X на группоиде G выполняется условие аддитивности
(T2)
T X (η ∗ ξ) = T X (η) + T X (ξ)
для любой пары морфизмов ξ и η, допускающих композицию η ∗ ξ.
Proof.Пусть матрица оператора X имеет вид X = kxhg kg,h∈G , значит, функция T X принимает следующее значение на элементе ξ:


a−→b
T X (ξ) = T X
= xga=bg
.
(9)
g
g




b−→c
,
η
=
, допускающих комРассмотрим два морфизма ξ = a−→b
g1
g2


позицию η ∗ ξ = a−→c
. Тогда
g2 g1
T X (η ∗ ξ) = xgg22 gg11 a=cg2 g1 = xhg2 g1 ,
g−1 h

T X (ξ) = xgg11 a=bg1 = xg12

hg1−1
g2

T X (η) = xgg22 b=cg2 = x

,
.

С другой стороны,
X(g2 g1 ) = X(g2 )g1 + g2 X(g1 ).
Другими словами,
X(g2 g1 ) =

P

h∈G

=

P

xg2 1 · h +

h∈G

Значит,

hg−1

xhg2 g1 · h =
P

P

h∈G

g−1 h

xg21

xhg2 · h · g1 + g2 ·

P

h∈G

xhg1 · h =

· h.

h∈G

hg−1

g−1 h

xhg2 g1 = xg2 1 + xg21
Таким образом,

T X (η ∗ ξ) = T X (η) + T X (ξ).
Функцию T : Mor (G)−→R на группоиде G, удовлетворяющую условию
аддитивности (T2), будем называть характером, а множество всех характеров на группоиде G обозначать через T(G). Пространство всех локально
финитных характеров группоида G будем обозначать через Tf (G) ⊂ T(G).
Таким образом, соответствие T задает отображение из алгебры дериваций Der (A) в пространство Tf (G) локально финитных характеров на
группоиде G:
28

Theorem 7 Отображение
T : Der (A)−→Tf (G),
является изоморфизмом.

7

Комплекс Кэли группоида.

Здесь мы намерены применить так называемые геометрические методы
комбинаторной теории групп для задачи описания дериваций групповой алгебры конечно представимой дискретной группы. Следуя, например, книге
Р.Линдона и П.Шуппа (1980, [?]) каждой дискретной конечно представимой группе можно сопоставить так называемый граф Кэли и его двумерное
обобщение комплекс Кэли, который состоит из элементов группы в качестве вершин, системы образующих в качестве ребер и системы определяющих соотношений в качестве двумерных клеток. Топологические свойства
комплекса Кэли отвечают за определенные алгебраические свойства самой
группы G.
Геометрическая конструкция комплекса Кэли для конечно представимой группы G может быть обобщена на случай группоидов, в частности на
случай группоида G присоединенного действия группы G. Поскольку деривации групповой алгебры Der (C[G]) можно описать как характеры на
группоиде G, то топологические свойства комплекса Кэли K(G) группоида
G позволяют описать некоторые свойства дериваций.

7.1

Копредставление конечно представимой группы.

Рассмотрим конечно представимую группу G,
G = F < X, R >,
где X = {x1 , x2 , . . . , xn } – конечное множество образующих, а R = {r1 , r2 , . . . , rm }
– конечное множество определяющих соотношений.
По аналогии со свободной группой (см. например, Каргаполов, Мерзляков, (1982) [25], стр.122–124) произвольный элемент g ∈ G представляется
в виде слова s ∈ S(Y ), g = g(s) ∈ G, составленного из букв алфавита
Y = X ⊔ X −1 , где
−1
−1
X −1 = {x−1
1 , x2 , . . . , xn },
т.е.
s = y1 y2 y3 . . . yl ,

yj ∈ Y.

Слова s ∈ S(Y ), представляющие один и тот же элемент g = g(s) ∈ G,
получаются друг из друга при помощи последовательных операций сокращения слов или обратных к сокращению операций (см. на-пример, В.Магнус,
А.Каррас, Д.Солитер, (1974) [26], стр.21). Каждая операция сокращения

29

состоит в следующем. Пусть слово s ∈ S(Y ) представлено в виде конкатенации s = s1 ρs2 трех подслов, причем среднее слово ρ равно одному из
следующих вариантов:
ρ = σσ −1 , σ ∈ S(Y ),
ρ = r,
r ∈ R ⊔ R−1 .
Здесь, если слово σ имеет вид σ = {y1 y2 y3 . . . yk }, то по определению σ −1 =
{yk−1 . . . y3−1 y2−1 y1−1 }. Тогда новое слово s′ = s1 s2 по определению есть результат сокращения слова s. За конечное число сокращений слово становится несократимым. Обратная операция s′ = s1 s2 ⇒ s1 ρs2 это операция
вставки. Два слова s1 и s2 считаются эквивалентными, если существует
конечная последовательность операций сокращения или операций вставки,
которые переводят одно слово s1 в другое s2 .
Нужно, разумеется, проверять, что различные последовательности сокращений приводят к одинаковому результату несократимого слова.

7.2

Копредставление группоида присоединенного действия группы.

Группоид G, у которого множество объектов Obj (G) = G, а множество
морфизмов Mor (G) состоят из
`
Mor (G) =
Mor (a, b),
a,b∈Obj (G)
Mor (a, b) = {g ∈ G : b = ag = gag −1 }.
разлагается в несвязную сумму подгруппоидов, порожденных классами сопряженных элементов. Боле точно, обозначим через hgi класс сопряженности элемента g ∈ G,
hgi = {g h : h ∈ G}.
Множество классов сопряженности обозначаем через hGi, hGi = {hgi : g ∈
G}. Группа G разлагается в несвязное объединение классов сопряженности
a
a
hgi.
G=
hgi =
g∈G

hgi∈hGi

Соответственно, группоид G тоже разлагается в несвязное объединение
подгруппоидов
a
Ghgi ,
G=
hgi∈hGi

которые определяются своими объектами и морфизмами следующим образом:
Obj (Ghgi ) = hgi,
Mor (Ghgi ) =

`

a,b∈hgi

30

Mor (a, b).

Конечное множество образующих X = {x1 , x2 , . . . , xn } и конечное множество определяющих соотношений R = {r1 , r2 , . . . , rm } переносятся на образующие и соотношения в группоиде G, которые мы обозначим через X и
R. Таким образом множество морфизмов Mor (G) можно обозначать как
F < X , R >,
Mor (G) = F < X , R > .
Определим X как множество всех морфизмов вида




a−→b
x
X = ξ=
: x ∈ X, a ∈ Obj (G), b = a .
x
Пусть Y = X ⊔ X −1 – алфавит,




a−→b
−1
y
: y ∈ Y = X ⊔ X , a ∈ Obj (G), b = a .
Y= ξ=
y
Множество S(Y) – это множество всех допустимых слов s из алфавита Y,
т.е. таких слов, составленных из букв алфавита Y, s = ξ1 ξ2 ξ3 · · · ξl , что


ai −→ai+1
ξi =
, ξi ∈ Y, 1 ≤ i ≤ l.
yi
Каждое допустимое слово s ∈ S(Y) задает морфизм ξ(s) ∈ Mor (G) по
формуле
ξ(s) = ξ1 ∗ ξ2 ∗ ξ3 ∗ · · · ∗ ξl .
Это представление морфизма ξ в виде допустимого слова s не однозначно, и позволяет производить сокращение слова s по следующему правилу.
Сначала определим систему соотношений R, порожденную множеством R
определяющих соотношений в группе G. Каждое соотношение ri ∈ R записывается в виде слова
ri = yi1 yi2 yi3 · · · yili ,

yij ∈ Y.

Соотношения ri порождает систему допустимых слов ρi,a , a ∈ Obj (G)
вида




 
ali −→a1
a2 −→a3
a3 −→a4
2
ρi,a = a1 −→a
,
·
·
·
yi1
yi2
yi3
yil
i

a = a1 ,

y

aj+1 = aj ij ,

1 ≤ j ≤ li ,

ali +1 = a1 ,

которые служат определяющими соотношениями группоида G. Множество
всех допустимых слов вида ρi,a обозначим через R,
R = {ρi,a : 1 ≤ i ≤ li ,

a ∈ Obj (G)},

R ⊂ S(Y). Таким образом, операция сокращения допустимого слова s производится следующим образом. Пусть допустимое слово s представимо в
виде конкатенации трех слов
s = s1 ηs2 ,
31

причем среднее слово равно одному из следующих вариантов:
η = σσ −1 , σ ∈ S(Y)
η = ρ,
ρ ∈ R ⊔ R−1 ⊂ S(Y).
В этом случае результат сокращения есть слово s′ = s1 s2 , которое, разумеется, является допустимым. Обратная операция s′ = s1 s2 ⇒ s = s1 ηs2
называется операцией допустимой вставки.
Таким образом два допустимых слова s и s′ задают один и тот же морфизм, т.е.
ξ(s) = ξ(s′ ) ∈ Mor (G),
тогда и только тогда, когда слова эквивалентны s ∼ s′ , т.е. когда существует
конечная последовательность операций двух типов:
1) операции сокращения,
2) операции допустимой вставки.

7.3
7.3.1

Построение комплекса Кэли группоида G
Комплекс Кэли группы G

Прежде чем строить комплекс Кэли группоида G по аналогии с комплексом Кэли самой группы G, напомним построение комплекса Кэли группы
G по ее копредставлению в виде конечного числа образующих X и конечного числа определяющих соотношений R, F (X)/R. Будем следовать книге
Линдона и Шуппа (1980, [24], стр. 174, глава 3, параграф 4. Комплесы Кэли). Там группа G рассматривается в как группоид действия группы G на
самой себе при помощи правого умножения: действие элемента g ∈ G на
группе G задается по правилу
G × G−→G, ∀g ∈ G, h 7→ hg,

h ∈ G.

Так что получается группоид этого действия, скажем rG. На этом группоиде rG и строится в книге Линдона и Шуппа комплекс Кэли, а не на
группе G. Объектами этой категории служат сами элементы h ∈ G группы
G, Obj (rG) = G, а морфизмами Mor (rG) служат правые сдвиги в группе G, h 7→ hg. Это значит, что множество Mor (a, b) состоит в точности
из одного элемента g ∈ G, g = a−1 b. Нетрудно проверить, что построенная категория rG является группоидом. Так что, комплекс Кэли группы
G, определенный в книге Линдона и Шуппа (1980, [24], стр. 174), на самом
деле строится на группоиде rG, а сама конструкция может быть обобщена
на произвольные группоиды, ассоциированные с действием группы G.
Согласно определению из книги Линдона и Шуппа (1980, [24], стр. 174)
для группоида rG правого действия группы G комплекс Кэли K(rG), состоит из вершин, ребер и двумерных клеток. Множество вершин K0 (rG) – это
все объекты группоида rG, K0 (rG) = Obj (rG) ≈ G.


,
Множество ребер группоида rG, K1 (rG), – это морфизмы вида ξ = a−→ag
g




a−→ag
ag−→a
−1
−1
g ∈ X ⊔ X , т.е. ξ ∈ X ⊔ X
= Y. Ребра ξ =
и η =
g
g−1
32

считаются одним и тем же ребром с противоположно ориентацией. Таким
образом, ребра ξ ∈ K1 (rG) определяется множеством X образующих в группоиде rG.
Множество двумерных клеток, K2 (rG), задается при помощи последовательности морфизмов, задаваемой словами ρ ∈ R ⊔ R−1 ⊂ S(X ⊔ X −1 ) =
S(Y). Двумерные клетки – это плоские ориентируемые многоугольники
σ(ρ), задаваемые словами ρ ∈ R ⊔ R−1 , которые определяют границы многоугольников σ(ρ) как замкнутый цикл, составленный из ребер слова ρ.
Клетки σ(ρ) и σ(ρ−1 ) считаются одинаковыми с противоположной ориентацией. Двумерные клетки σ(ρ) приклеиваются к одномерному остову комплекса K(G[c] естественным отождествлением ребер границы клетки σ(ρ) к
соответствующему ребру комплекса K(G[c] ) с сохранением ориентации.
7.3.2

Комплекс Кэли группоида G присоединенного действия

Группоид G отличается от группоида rG только тем, что он задается другим
действием группы G – присоединенным действием: Adg (h) = ghg −1 , g, h ∈
G. Поэтому комплекс Кэли группоида G строится по аналогии с комплексом
Кэли группы G.
Именно, вершины т.е. нульмерные клетки K0 (G) комплекса K(G) – это
объекты a ∈ Obj (G) ≈ G.
Одномерные ребра, т.е. ориентированные клетки размерности 1, K1 (G),
соединяющие вершины a и b – это морфизмы ξ ∈ Mor (a, b) вида


a−→b
, y ∈ Y = X ⊔ X −1 , a ∈ Obj (G), b = yay −1 ∈ Obj (G).
ξ=
y
Множество ребер, описанных выше, будем обозначать через X , Y = X ⊔X −1 .
Такие ребра образуют систему образующих в группоиде G, т.е. каждый морфизм η ∈ Mor (a, c) представляется в виде допустимой композиции образующих
η = ξ1 ∗ ξ2 ∗ · · · ∗ ξk , ξi ∈ Y 1 ≤ i ≤ k.
Вершины в комплексе Кэли группоида G соединяются ребрами только
тогда, когда вершины принадлежат одному классу сопряженности, т.е. когда a, b ∈ hci. Следовательно, достаточно рассмотреть не весь группоид, а
только его часть Ghci . Соответствующий
комплекс
 Кэли будем обозначать




будем считать одинакочерез K(Ghci ). Два ребра ξ = a−y→b и ξ = b−→a
y −1
выми, но с противоположными ориентациями на ребрах.
Одномерные клетки K1 (G) естественно лежат во множестве всех морфизмов ϕ : K1 (G) ֒→ Mor (G).
Наконец, двумерные клетки, K2 (G), – это плоские ориентируемые многоугольники σ(ρ), задаваемые словами ρ ∈ R ⊔ R−1 , которые определяют
границы многоугольников σ(ρ) как замкнутый цикл, составленный из ребер
слова ρ. Клетки σ(ρ) и σ(ρ−1 ) считаются одинаковыми с противоположной
ориентацией. Двумерные клетки σ(ρ) приклеиваются к одномерному остову комплекса K(G[c] естественным отождествлением ребер границы клетки
33

σ(ρ) к соответствующему ребру комплекса K(G[c] ) с сохранением ориентации.

Группы цепей комплекса Кэли группоида G
Двумерный комплекс Кэли K(G) порождает коцепной комплекс
d

d

1
0
2
1
(K(G)).
(K(G))−→C
C 0 (K(G))−→C

Этот коцепной комплекс имеет естественный подкомплекс финитных коцепей, поскольку каждая клетка размерности 0 или 1 удовлетворяет условию,
что множество тех клеток, которые примыкают к клеткам меньшей размерности, конечно.
В самом деле, если
 a ∈ Obj (G) – произвольная вершина комплекса Кэли
a−→b
произвольное ребро с началом в вершине a. Таких ребер
K(G), а ξ =
y

всего лишь конечное число, поскольку y ∈ Y , а множество Y = X ⊔ X −1
конечно.


Далее, если ξ = a−→b
– ребро, то примыкают к этому ребру клетки,
y
которые имеют вид слов ρi,a1 :




 
a1 −→a2
a2 −→a3
a3 −→a4
ali −→a1
ρi,a1 =
,
···
yi1
yi2
yi3
yili

причем для некоторых индексов i, j и элемента aj выполнено условие y =
yij , aj = a. Поскольку индексы i, j пробегают конечное множество, то элемент a1 выражается через a конечным числом способов. Значит, только
конечное число слов ρi,a1 примыкает ребру ξ.
Все это вместе дает коммутативную диаграмму
C 0 (K(G))
O

d0

∪

Cf0 (K(G))

/ C 1 (K(G))
O

d1

∪
df0

/ C 1 (K(G))
f

/ C 2 (K(G))
O
∪

df1

/ C 2 (K(G)).
f

Одномерные финитные коцепи Cf1 (K(G)) будем отождествлять с деривациями Der (C[G]) при помощи композиции отображений
ϕ∗

T

H : Der (C[G])−→Tf (G)−→C 1 (K(G))

Theorem 8 Гомоморфизм H является мономорфизмом на ядро дифференциала d1 :
Im (H) = ker(df1 ) ⊂ C 1 (K(G)).
Образ алгебры внутренних дериваций H(Int (C[G])) ⊂ C 1 (K(G)) равен образу дифференциала df0 :
H(Int (C[G])) = Im (df0 ) ⊂ C 1 (K(G)).
34

Proof.1) Для мономорфности отображения H достаточно проверять мономорфность оператора ограничения ϕ∗ поскольку соответствие T является
изоморфизмом (Теорема 7). Так что если T X ∈ Tf (G) и ϕ∗ (T X ) = 0, надо установить, что T X = 0. Характер T X – это функция на группоиде G,
т.е. на Mor (G). Условие T X = 0, которое нужно проверить, означает, что
X
для любого морфизма

 ξ ∈ Mor (G) выполнено условие T (ξ) = 0.Всякий

морфизм ξ =

a−→b
g

может быть разложен в допустимую композицию
ξ = ξ1 ∗ ξ2 ∗ ξ3 ∗ · · · ∗ ξl ,

где морфизмы ξi имеют вид


ai −→ai+1
ξi =
, ξi ∈ Y,
yi

1 ≤ i ≤ l,

a = a1 , b = al+1 ,

т.е. ξi ∈ K1 (G). По предположению T X (ξi ) = ϕ∗ (T X )(ξi ) = 0. Следовательно,
l
X
T X (ξi ) = 0.
T X (ξ) = T X (ξ1 ∗ ξ2 ∗ ξ3 ∗ · · · ∗ ξl ) =
i=1

df1 (H(X))

2) Покажем, что
= 0, X ∈ Der (C[G]), или df1 (ϕ∗ (T X )) =
0, T X ∈ Tf (G). Собственно, необходимо проверить, что на любой двумерной клетке σ(ρ) ∈ K2 (G) значение коцепи df1 (ϕ∗ (T X )) равно нулю. Согласно
конструкции двумерного комплекса Кэли это значение равно сумме значений коцепи ϕ∗ (T X ) на замкнутом цикле, составленном из ребер слова ρ.
Поскольку слово ρ – это одно из слов множества соотношений R ⊔ R−1 ,
ρ ∈ R ⊔ R−1


 

a1 −→a2
a2 −→a3
al −→a1
ρ=
···
,
y1
y2
yl
где последовательность

y1 y2 · · · yl ∈ Y ⊔ Y −1
является одним из соотношений группы G, то
ϕ∗ (T X )(ρ) = (T X )(ρ) =

l
P

TX

i=1

= TX
= TX




a1 −→a2
y1

a1 −→a1
y1 y2 ···yl



ai −→ai+1
yi



=

 



al −→a1
3
∗ a2 −y→a
∗
·
·
·
∗
=
y
2
l



= TX

a1 −→a1
e



= 0.

Это значит, что отображение ϕ∗ отображает пространство Tf (G) в подпространство ker(df1 ),
ϕ∗ : Tf (G)−→ ker(df1 ).
35

3) Теперь покажем, что отображение ϕ∗ является эпиморфизмом. Пространство ker(df1 ) состоит из всех одномерных коциклов комплекса Кэли,
т.е. таких функций на одномерных ребрах комплекса Кэли, которые равны
нулю на каждой замкнутой одномерной цепи, являющейся границей двумерной клетки. Всякую такую коцепь τ нам нужно продолжить на множество Mor (G) до некоторого характера T . Пусть ξ ∈ Mor (G) – произвольный морфизм,


a−→b
ξ=
, g ∈ G.
g

Всякий морфизм ξ разлагается в композицию образующих морфизмов





a−→a2
a2 −→a3
al −→b
ξ=
···
,
(10)
y1
y2
yl
где

y1 , y2 , . . . , yl ∈ X ⊔ X −1 .
Полагаем



l
X
ai −→ai+1
τ
,
T (ξ) =
yi
i=1

a1 = a,

al+1 = b.

(11)

Последняя формула не зависит от выбора разложения (10), поскольку функция τ равна нулю на каждом цикле, ограничивающим клетку. Построенная
по формуле (11) функция T , очевидно, является характером.
4) Наконец, покажем, что образ алгебры внутренних дериваций H(Int (C[G])) ⊂
1
C (K(G)) равен образу дифференциала df0 . Всякая внутренняя деривация
задается в виде линейной комбинацией простейших внутренних дериваций
вида
X
adg : C[G]−→C[G], adg (u) = [g, u], u =
λh · h ∈ C[G].
h∈G

′

Матрица оператора X = adg , Xhh , вычисляются следующим образом:
X

λh [g, h] = X(u) =

h

X

′

Xhh λh · h′ .

h,h′

Поскольку λh произвольны, то
[g, h] = gh − hg =

X

′

Xhh · h′ .

h′

′

′

′

h
h
− δhg
Тогда Xhh = δgh

Соответствующий оператору adg характер T adg это функция на группоиде G, которая задается по формуле


a−→b
ha
ha
ad
g
= Xhha=ah = δgh
− δhg
= δgb − δga
(12)
T
h
36

Формула (12) означает, что


ϕ∗ T adg = df0 (tg ),

tg ∈ C 0 (K(G)),

tg (h) = δgh .

Отсюда следует, что образ алгебры внутренних дериваций H(Int (C[G])) ⊂
C 1 (K(G)) равен образу дифференциала df0 .
Corollary 2 Гомоморфизм H индуцирует изоморфизм алгебры внешних
дериваций Out (C[G]) на группу одномерных финитных когомологий комплекса Кэли группоида G присоединенного действия группы G:
≈

H : Out (C[G])−→Hf1 (K(G); R).

8
8.1

Примеры комплексов Кэли для группоидов
различных групп
Свободная группа с одной образующей Z.

Группа имеет одну образующую z ∈ Z и ни одного соотношения. Всякий
элемент g ∈ Z является степенью образующей z, g = z n , n ∈ Z. Соответствующий группоид Z имеет столько объектов, сколько элементов в группе
Z, Obj (Z) ≈ Z. Поскольку группа Z коммутативна, то любой класс сопряженности состоит из одного элемента. Поэтому комплекс Кэли K(Z)
группоида Z состоит из вершин {g ∈ Z}, к каждой вершине g которого
примыкает в точности одно ребро ξg ,

ξg =

g−→g
z



qr
?>=<
89:;
g
z'
vu

:

Двумерные клетки отсутствуют. Любой характер T X на группоиде Z задается произвольной (финитной) функцией f (s) на ребрах комплекса Кэли
K(Z),
 s

z −→z s
X
T
= kf (s).
zk
Соответствующая матрица kXkl k оператора деривации X описывается следующей формулой:
Xkk+s = kf (s), т.е. Xkl = kf (l − k).
Поскольку функция f финитна, то матрица kXkl k удовлетворяет условию
финитности (F1).

37

Групповая алгебра C[Z] группы Z может быть интерпретирована как
алгебра полиномов Лорана от одной образующей z:
X
u(z) =
λn z n ∈ C[Z].
n∈Z

Поэтому каждая деривация X совпадает с оператором дифференцирования
X(u)(z) = Xnk λn z k = p(z)

d
(u)(z),
dz

где p(z) – полином Лорана одной переменной z:
!
X
s+1
p(z) =
f (s)z
.
s

Алгебра дериваций Der (C[Z]) равно как и пространство полиномов Лорана
PL(z) одной переменной z естественно изоморфно пространству Cf1 (K(Z))
финитных одномерных коцепей комплекса Кэли K(Z), которое изоморфно
финитным когомологиям Hf1 (K(Z)) :
Der (C[Z]) ≈ PL(z) ≈ Cf1 (K(Z)) ≈ Hf1 (K(Z)).

8.2

Свободная абелева группа Zn .

Групповая алгебра свободной абелевой группы с n независимыми образующими X = {z1 , z2 , . . . , zn } и соотношениями Y = {zi zj = zj zi : 1 ≤
i < j ≤ n} имеет естественное описание в виде алгебры функций на n–
мерном (комплексном)торе Tn ((C ∗ )n ). Более точно, каждый элемент u ∈
C[Zn ] представляется в виде конечного многочлена Лорана от переменных
{z1 , z2 , . . . , zn }:
X
u=
λk1 ,k2 ,...,kn z1k1 z1k2 · · · z1kn
k1 ,k2 ,...,kn ∈Zn

Этот случай отличается от предыдущего тем, что можно производить векторную запись: набор переменных {z1 , z2 , . . . , zn } обозначим через
−
→
z = {z1 , z2 , . . . , zn },

и далее

−
→
k = {k1 , k2 , . . . , kn },
→
−

k
−
→
→
g = (−
z ) = z1k1 z2k2 · · · znkn ∈ Zn .

→
Комплекс Кэли группоида Z n группы Zn состоит из вершин {−
g ∈ Zn },
→
−
к каждой вершине g примыкает в точности n ребер, являющихся петлями,
т.е. у которых начало совпадает с концом ребра:

38

&% z3

'&pqp
w s
t

−
ξ→
g ,i =

→
−

−
g −→→
g
zi



,

1≤i≤n:
z1

..

.

qr
qr
ut
→
−
@ABC
GFED
#$ zn
'
g
z2

vu

vu

Двумерные клетки σρ приклеиваются по каждому замкнутому пути вида
−1
−1
−
−
∗ ξ→
∈ R ⊔ R−1 ,
ρ = ξ→
−
−
g ,j ∗ ξ→
g ,i ∗ ξ→
g ,i
g ,j

1 ≤ i < j ≤ n.

В частности, каждая клетка σρ является циклом, т.е. ее граница равна нулю.
Любой характер T X на группоиде Z n задается (финитными) функциями
→−
−
→
f (→
s ) = {fi (−
s )}, 1 ≤ i ≤ n, на ребрах комплекса Кэли K(Z n ).
!
→
−
→
−
→
→
→ −
−
→→
(−
z ) s −→(−
z )s
X
T
= h k , f (−
s )i.
→
−
→
−
( z )k
→
−

l
Матрица kX→
− k оператора деривации X описывается следующей форk
мулой:
→
− →
→ −
−
→→
k +−
s
= h k , f (−
s )i.
X→
−
k

→
−
l
kX→
−k
k

Матрица
удовлетворяет условию финитности (F1).
Групповая алгебра C[Zn ] группы Zn может быть интерпретирована как
→
алгебра полиномов Лорана от образующих −
z = {z1 , z2 , . . . , zn }:
X
−
→→
−
n
−
∈ C[Zn ].
λ→
u(z1 , z2 , . . . , zn ) =
n ·(z )
→
−
n ∈Zn

Каждая деривация X совпадает с оператором дифференцирования
X(u)(z1 , z2 , . . . , zn ) =

X

→
−

→
−

k →
− k =
X→
−
n λn z

X

∂
→
(u)(z1 , z2 , . . . , zn ),
pi (−
z)
∂zi

где pi (z1 , z2 , . . . , zn ) – полиномы Лорана от переменных z1 , z2 , . . . , zn :
!
X
s+1
???????.
?????????p(z) =
f (s)z
s

Алгебра дериваций Der (C[Zn ]) равно как и пространство полиномов Лорана PL(z1 , z2 , . . . , zn ) естественно изоморфно пространству Cf1 (K(Z n ) финитных одномерных коцепей комплекса Кэли K(Z), которое изоморфно финитным когомологиям Hf1 (K(Zn) :
Der (C[Zn ]) ≈ PL(z1 , z2 , . . . , zn ) ≈ Cf1 (K(Z n )) ≈ Hf1 (K(Z n )).

39

8.3

Свободная конечно порожденная группа Fn с n образующими.

Свободная группа G = FhXi задается (конечным) множеством образующих
X, так что всякий элемент g ∈ G однозначно представляется неприводимым
(возможно пустым) словом
g = y1 y2 y3 . . . yk ,

yi ∈ Y = X ⊔ X −1 , 1 ≤ i ≤ k.

Пустое слово обозначим буквой e.
Ассоциированный с группой G группоид G присоединенного действия
группы G разлагается в несвязное объединение классов сопряженности группы g. Каждый класс сопряженности задается (неоднозначно) циклически
неприводимым словом некоторой длины k. Все циклически неприводимые
слова отличаются друг от друга при помощи циклических перестановок.
Класс сопряженности нейтрального элемента состоит из одного элемента, и, следовательно, граф Кэли этого класса сопряженности состоит из
одной вершины и k ребер (см. рисунок с тремя образующими):
&% y2

w s
p
t
qr qr

?>=<
89:;
#$ y3
e
vu vu

y1 '

40

Класс сопряженности с элементом длины 1, скажем y ∈ Y, состоит из
несократимых слов вида gyg −1 . Это вершины графа Кэли. На пример, X =
{x1 , x2 }, y = x1 . Тогда к вершине y = x1 примыкает четыре ребра:
()*+
/.-,[✼
()*+
/.-,Pg P
/.-,
()*+
()*+
/.-,
/.-,
()*+
7
O
PPP
✼✼
✞C
♦♦♦
♦
−1
✞
P
♦
PPPx1
✼✼
✞
x1 ♦♦♦
PPP
x2
✼✼
✞✞
♦♦♦
P
♦
✞
P
♦
P
✼✼
♦♦
✞✞
✼✼ x2
−2
2
()*+
/.-,■d
XYZ[
_^]\
/.-,
()*+
x2 ✞✞
x
x
x
✼
✞
2 1 2
■■
✉:
✉
✞
■■ −1✼✼
O
✉
✞
✉
■■x1 ✼✼
✞✞x1✉✉✉✉
■■ ✼
✞
x2
■■ ✼✼
✞ ✉
■
✞✞✉✉✉
x−1
x−1
x−1
x
1
2
2
−1 o 1
−1
−1 −1
()*+
/.-,o
onml
hijk
/ .-,
XYZ[
_^]\
hijk
/()*+
/ 1onml
x−1
x
x
x
x
x
x
x
x
x
x
x
x
2
1
1
2
1
2
1
1
2
2
2
1
O

qr

x' 1
@ABC
GFED
v x1
vu
x−1
2

−1
x1
x2
x2
x1
−1
−1
−1
/.-,
()*+
/
()*+
/.-,o
onml
hijk
hijk
XYZ[
o
x−1
x/ 1onml
x−1
x_^]\
1 x2 x1 x2 x1
2 x1 x2 x1
2 x1 x2
■
✼
✉
✼✼ ■■■ x
x−1
✉✉ ✞✞
1
✼✼ ■■■1
✉✉ ✞✞
x−1
✉
2
✼✼ ■■
✉✉ ✞✞
■■
✉

✼✼
■$
✉✉ ✞✞✞
✉
z
✼
−2
2
()*+
/.-,
XYZ[
_^]\
/.-,
()*+
✼✼
✞ x−1
x2 x1 x2
x−1
✞
2
2
P
✼
✞
P
♦
P
−1
♦
✼✼
✞
PPPx1
x1 ♦♦♦
PPP
✼✼
✞✞
♦♦
x−1
♦
2
✞
P
♦
P
♦
✼✼
✞
PPP
♦
♦
✞
♦



P()*+
'
()*+
/.-,✞
()*+
/.-,w♦♦
/.-,
()*+
/.-,
/.-,
()*+
x2

41

/.-,
()*+
/.-,
()*+a❈
/.-,
()*+
/.-,
()*+
/.-,
()*+
W✴✴
G
O
❈❈
④=
④
❈❈
④
✴✴
✎✎
✎
x2 ④④
❈
❈❈
④
✴✴
✎✎
x−1
❈ ④④④ x1
1
x2 ✎✎ /.-,
/.-,
()*+_❄ ✴✴✴x2
/.-,
()*+
?
✎ ⑧()*+
O
❄❄ ✴
✎
✎ ⑧⑧⑧
❄❄ ✴✴
✎
x
2
❄❄✴✴
✎ ⑧⑧ x1
x−1
❄
1
✎✎⑧
x−1
()*+ x1 /()*+
/.-,
()*+o
/.-,
()*+o 1 /.-,
/ .-,⑧
.-,
//()*+
O
x−1
x−1

В сокращенном виде:

qr

@ABC
GFED
v x1
vu x−1
2

x−1
x2
1
/.-,
()*+o
/.-,
()*+o
()*+
()*+
/ ❄ x2 //.-,
/.-,
()*+ x1 /.-,
✴✴ ❄
⑧
−1
✎
❄❄ x1
⑧✎
x1
✴
⑧
⑧✎
✴✴ ❄❄
x−1
2
⑧⑧ ✎✎
✴✴ ❄❄
⑧

()*+
✴ /.-,
/.-,
()*+⑧ ✎✎✎ −1
/.-,
()*+❈
−1 ✴
x2
④④ ❈❈❈ x1 x2 ✴✴
x−1
✎✎ ✎
④
1
❈❈
✴✴
④④
x−1
✎
2
❈❈
④④
✴
❈
④

✎✎
!
/.-,
()*+
/.-,
()*+}④
/.-,
()*+
/.-,
()*+
/.-,
()*+
2

2

x' 1

x2

Класс сопряженности с элементом длины 2 порождается словом g =
x1 x2 или g = x21 или g = x21 . В последних двух случаях граф не отличается
от случая длины 1. В первом случае графа Кэли имеет вид:
()*+
/.-,
/.-,
()*+c❋
/.-,
()*+
/.-,
()*+
9
W✳✳
O
❋❋
ss
s
❋
✳✳
s
❋❋
❋❋ x2 sssxs1
✳✳
❋❋ ss
x−1
1
✳✳
()*+
/.-,^❂ ✳x2
/.-,
()*+s
O
❂❂ ✳✳
❂❂ ✳
x
✳
❂❂ ✳
2
❂❂✳
x−1
1
x−1
1
()*+
/.-,o
/.-,
()*+o
HIJK
ONML
x2 x1
X
x−1
2
x1

x2


ONML
HIJK
x1 x2

//.-,
.-,❂ x2 ()*+
//()*+
✳✳❂
❂
✳✳ ❂❂x1
x−1
✳✳ ❂❂
2
✳✳ ❂❂

/.-,
/.-,
()*+❋
−1 ✳
x2
✳✳ ()*+
ss ❋❋❋
s
x−1
✳
1 ss
❋❋x1
✳✳
s
x−1
❋❋
2
ss
✳
❋❋
s

s
#
s
y
/.-,
()*+
/.-,
()*+
/.-,
()*+
()*+
/.-,
x1

Рассмотрим случай циклически наприводимого слова длины 8 с двумя
42

образующими X = {x1 , x2 }. Пусть это слово имеет вид:
g = y1 y2 y3 y4 y5 y6 y7 y8 ,

yi ∈ Y,

1 ≤ i ≤ 8.

Условие циклически неприводимости означает, что пары циклически последовательных букв, yi yi+1 , 1 ≤ i ≤ 7, а также y8 y1 несократимы.
Рассмотрим восемь последовательных циклических перестановок слова
g, а именно
g1 = g,
g2 = y1−1 g1 y1 ,
g3 = y2−1 g2 y2 ,
..
.
g8 = y7−1 g7 y7 ,
g1 = y8−1 g8 y8
Тогда граф Кэли порождается циклом из восьми вершин g1 g2 g3 g4 g5 g6 g7 g8 ,
из которых вырастают древовидные ветви порядка четыре в каждой вершине, как показано на следующем рисунке:
/.-,
()*+a❈
/.-,
()*+
O
❈❈
❈❈
❈
y8−1
y1 ❈❈
❈
y
()*+
/.-,^❃
?>=<
89:;
g1 o 1
❃❃
⑥
❃❃ y7−1
y8 ⑥⑥⑥
❃❃
⑥
❃❃
⑥⑥
~⑥⑥
()*+
/.-,o
?>=<
89:;
g8
y
8

()*+
/.-,o

()*+
/.-,

8.4


?>=<
89:;
g7
❆❆
❆❆
❆❆
y7
y6 ❆❆
❆
?>=<
89:;
g6
④
−1
④
y5
④④
y6
④④
④
④

/.-,
()*+}④
/.-,
()*+
y7

y6−1

Группа кренделя

/.-,
()*+
O

/.-,
()*+
/.-,
()*+
/.-,
()*+
=
O
✂@
④④
✂
④
✂
y3 ✂
④④
y2
y2
✂✂
④④ y1−1
④
✂✂y3−1
④
✂
/.-,
()*+
()*+
//.-,
89:;
?>=<
g2
@
`❆❆
❆❆ y2
y3
❆❆
❆❆
❆
//.-,
()*+
89:;
?>=<
g3
O y2−1

y4
89:;
?>=<
/ .-,
/()*+
g
>⑥ 4 ❃❃
❃❃
⑥⑥
❃❃
⑥⑥y
⑥
−1
❃❃
4
⑥
y3
❃
⑥⑥
/.-,
()*+
/ 89:;
?>=<
g5
y5
❈❈
❈❈ y5
❈❈
y4−1
❈❈
❈!

/.-,
()*+
/.-,
()*+
y3

Фундаментальная группа кренделя G определяется четырьмя образующими X = {x1 , x2 , x3 , x4 } и одним определяющим соотношением
−1
−1 −1
S = x1 x2 x−1
1 x2 x3 x4 x3 x4 .

43

Значит, это соотношение порождает двумерные клетки вида
•
⑦⑦
⑦
⑦⑦
•⑦⑦

x1

x4

/•❅
❅❅ x
❅❅ 2
❅❅
• O
x1

x3

• _❅❅
❅❅
❅
x4 ❅❅
•o

x3

⑦•?
⑦⑦
⑦
⑦⑦ x2
•⑦

где в вершинах стоят элементы группы G, сопряженные при помощи элементов xk , т.е.
S=

x1

④a0
x4 ④④
④④
④④
④
}
a
7

/a1❈
❈❈ x
❈❈ 2
❈❈
❈!
aO 2

x3

x1

a 6a❈❈
❈❈
❈
x4 ❈❈❈
a5 o
причем

a1 = ax0 1
x−1

x3

④a= 3
④④
④
④④ x
④④ 2

a4

a2 = ax1 2 ,
x−1

a3 = a2 1

a4 = a3 2 ,

a5 = ax4 3

a6 = ax5 4 ,

x−1

a7 = a6 3

x−1

a0 = a7 4 .

Каждая клетка имеет однозначно определенную ориентацию, которая
задается обходом границы в направлении последовательности ребер
−1
−1 −1
x1 x2 x−1
1 x2 x3 x4 x3 x4 .



1
Каждая клетка однозначно определяется одним ребром ξ = a0 −x→a
, за
1


2
.
которым в соответствии с ориентацией следует ребро η = a1 −→a
x2
Клетки склеиваем по одинаковым (направленным) ребрам. Это значит,

44

что если имеется две клетки
S1 =

④a0
x4 ④④
④④
④④
④
}
a

x1

7

/a1❈
❈❈ x
❈❈ 2
❈❈
❈!
aO 2

S2 =
bO1

x1

x3

a 6a❈❈
❈❈
❈
x4 ❈❈❈
a5 o

b? 2 o
⑧⑧
⑧
⑧⑧x
⑧⑧ 2

x1

b3 _❄❄
❄❄
❄
x2 ❄❄
b4
x3

x1

④a= 3
④④
④
④④ x
④④ 2


b5
b0❄❄
⑧
❄❄x3
x4 ⑧⑧
❄❄
⑧
❄
⑧⑧
a
4
⑧


x
3
x3
b7 o
b6




b0 −→b1
2
и
ξ
=
, то их
у которых имеется одинаковые ребра ξ = a3 −→a
x1
x1
можно склеить и получить следующую картину, отождествляя вершины a3
и b0 , вершины a2 и b1 :
⑦a0
x4 ⑦⑦
⑦⑦
⑦⑦
~
⑦
a

x1

7

/a1❅
o
❅❅
⑧b? 2
⑧
❅❅x2
⑧⑧
❅❅
❅ ⑧⑧⑧ x2
b1O

b3 _❄❄
❄❄
❄
x2 ❄❄
b4

x1

x3

a 6`❅❅
❅❅
❅
x4 ❅❅
❅
a5 o

x1

x3

b? 0 ❄
⑦⑦ ❄❄❄x3
⑦
❄❄
⑦⑦
❄
⑦⑦ x2
⑦
a4
b7 o

x3

x3

b6


b5
⑧
⑧
x4 ⑧
⑧⑧
⑧⑧

 Другой
 вариант склейки
 может
 быть, если отождествить ребро ξ =
a0 −→a1
b0 −→b1
,
с
ребром
ξ
=
. но в этом случае клетки S1 совпадаx1
x1
ет с клеткой S2 и такое склеивание не рассматривается.
Все это вместе можно сформулировать в виде следующего утверждения:


1
Lemma 1 К каждому ребру ξ = a0 −x→a
примыкает в точности две
1
(ориентированные) клетки, таким образом, что на общем ребре создается
противоположная ориентация.
8.4.1

Клетки с выколотыми вершинами

Каждую клетку лучше всего представлять как замкнутый цикл ребер, упорядоченных таким образом, что обход вдоль цикла будет по часовой стрелке:

45

•?
⑦⑦
⑦
⑦
⑦⑦
⑦
•O

x1

x−1
4

/•❅
❅❅ x
❅❅ 2
❅❅
•
x−1
1

x−1
3

•_❅❅
❅❅
❅
x4 ❅❅
•o

x3

•
⑦⑦
⑦
⑦⑦ −1
•⑦⑦ x2

Две клетки склеиваются, если имеется ребро, которое направлено в противоположном направлении.
Полная сборка клеток вокруг несуществующей вершины:

46

S1
S8

S2
✁
❍❍
✁
x−1
x−1
4
1
✡✡✦
✦
−1
❅
❅
x2 x1 x4 x3
x2
S7
x−1
3
x−1
1
x
x1 −1 −1 4 ✦✦
x2 x3 −1 ❍❍
x4
x2
x3
✔
✔
❜
❉ ❜ S4
✔❈
S6
✔ ❈❈
❉

S3

S5


 −1 −1

−1 −1
−1 −1
−1 −1
−1
−1 −1
x1 x2 x−1
1 x2 x3 x4 x3 x4  x4 x3 x4 x1 x2 x1 x2 x3  x3 x4 x1 x2 x1 x2 x3 x4 
−1 −1
−1 −1
−1 −1
−1 −1
−1 −1
−1
x−1
4 x1 x2 x1 x2 x3 x4 x3  x3 x4 x3 x4 x1 x2 x1 x2  x2 x1 x2 x3 x4 x3 x4 x1
−1
−1 −1
−1
−1 −1
−1 −1
x1 x2 x3 x4 x3 x4 x1 x2 x2 x3 x4 x3 x4 x1 x2 x1

47

Это сборка клеток вокруг одной вершины a ∈ G.

•
S3

•

•
•

•
•

S2

•

•

•
•
•

•
•

• S1
•
•
•

•
•

•
•

• x−1 •
3 x x−1
4 4
x3
x4
•
x−1
3 •
−1
x
3
x4
a
−1
x
2
x1
−1
•x
•
−1 x2
1 −1 x1
x1
x2
x2
•
•

•

•

•
S4

•

•

S5 •
•
•
•

•

S8

•

S6
•

•

•

•
•

S7
•

•

48

•

Если все клетки S1 , S2 , S3 , S4 , S5 , S6 , S7 , S8 попарно различны, то это значит, что в вершине a имеется окрестность, гомеоморфная двумерному диску. Остается рассмотреть случаи, когда какая либо пара клеток гомеоморфна друг другу. При таком гомеоморфизме вершина a должна переходить в
другую вершину, но не в центральную, а в какую либо иную вершину одной из клеток. В частности, это значит, что в одной из клеток имеется по
крайней мере еще одна вершина, которая должна быть отождествлена с
центральной вершиной a.

8.5

Случай a = x1

В примере, когда a = x1 клетки S1 , S6 , S7 , S8 имеют по две одинаковых
вершины a, а в остальных клетках вершина a представлена единственным
образом. Можно показать, что существует окрестность вершины a гомеоморфная диску, как это видно на рисунке
•
S3
•
•
•

•
•

S2
•

•
•

•

•
S4

•
•

• x−1 •
3 x x−1
4 4
x3
x4
b
x−1
3 •
x3
a
x−1
2
•
d
•

•
S1 = S6
•

c

S7 = S8

49

a

•
•
•

•

S5 •
•

•

Рассмотренные примеры позволяют предположить, что комплекс Кэли
группоида группы кренделя гомеоморфен двумерной поверхности.

Список литературы
[1] B.E. Johnson and A.M. Sinclair, Continuity of derivations and a problem of
Kaplansky, Amer. J. Math. 90 (1968), 1067–1073.
[2] B. E. Johnson and J. R. Ringrose, Derivations of operator algebras and
discrete group algebras, Bull. London Math. Soc. 1 (1969), 70–74.
[3] B.E.Johnson, Cohomology in Banach algebras. Memoirs of the American
Mathematical Society; no. 127, (1972)
[4] B. E. Johnson, The Derivation Problem for Group Algebras of Connected
Locally Compact Groups, J. London Math. Soc., V. 63, Issue 2, (2001), p.
441-452
[5] V.Losert, The derivation problem for group algebras, Annals of
Mathematics , 168 (2008), 221–246
[6] H. G. Dales Banach Algebras and Automatic Continuity, LARENDON
PRESS, OXFORD, 2000
[7] Р.Пирс, Ассоциативные алгебры, М., Мир, 1986. — 544 с.
[8] I. Kaplansky, Modules Over Operator Algebras, American Journal of
Mathematics, Vol. 75, No. 4 (Oct., 1953), pp. 839-858
[9] I. Kaplansky, Derivations of Banach algebras, Seminar on Analytic
Functions. Vol. II — Institute for Advanced Study, Princeton, 1958, 254258
[10] S. Sakai, On conjecture of Kaplansky, Tohoku Mathematical Journal,
Second Series Vol. 12 (1960) No. 1 P 31-33
[11] S. Sakai, Derivations of W ∗ –algebras, Annals of Mathematics , 83 (1966),
273–279.
[12] S. Sakai, Derivations of Simple C ∗ –algebras, Journal of Functional
Analysis, 2,(1968), 273–279.
[13] S. Sakai, C ∗ –algebras and
Heidelberg, New York, 1971

W ∗ –algebras,

Springer-Veralg,

Berlin,

[14] R. Kadison, Derivations of Operator Algebras, Annals of Mathematics,
Second Series, Vol. 83, No. 2 (Mar., 1966), pp. 280-293
[15] R. Kadison and J.R.Ringrose Derivations of Operator Group Algebras,
American Journal of Mathematics, Vol. 88, No. 3 (Jul., 1966), pp. 562576
50

[16] B.Blackadar and J.Cuntz, Diﬀerential Banach Algebra Norms and Smooth
Subalgebras of C*-akgebras, J. Operator Theory, 26(1991), 155-282.
[17] V.
Ginzburg,
Letures
on
Noncommutative
arXiv:math/0506603v1 [math.AG] 29 Jun 2005

Geometry,

[18] A. Connes, Non-commutative diﬀerential geometry,
mathematiques de l’I.H.E.S., tome 62(1985), p. 41-144.

Publications

[19] Connes, A., Noncommutative Geometry, Academic Press, (1994).
[20] F. Ghahramani, V. Runde, and G. Willis, Derivations on group algebras,
Proc. London Math. Soc. 80 (2000), 360–390
[21] A.Connes and H.Moscovici, Cyclic Cohomology, the Novikov Conjecture and
Hyperbolic Croups Topology, vol. 29, No.3, (1990), 345-388.
[22] De La Harpe, P., Groupes hyperboliques, algebres d’operateurs et un
theoreme de Jolissaint, C.R. Acad. Sci. Park, Ser. I, 307(1988), 771-774.
[23] А.В.Ершов, Категории и функторы, Учебное пособие Саратов, Наука,
2012, 88с.
[24] Р.Линдон, П.Шупп , Комбинаторная теория групп. М.: "Мир 1980.—
447 с.
[25] Каргаполов М. И., Мерзляков Ю. И. , Основы теории групп. 3-е изд.,
перераб. и доп.— М.: Наука, 1982.— 288 с.
[26] В.Магнус, А.Каррас, Д.Солитер, Комбинаторная теория групп (представления групп в терминах образующих и соотношений), «Наука», Главная редакция физико-математической литературы, М., 1974.
Русский перевод книги W.Magnus, A.Karrass, D.Solitar, Combinatorial
Group Theory: Presentations od Group in Terms of Generators and
Relations, Interscience Publishers, New York, London, Sydney, 1966.
[27] Jolissaint, P., Rapidly decreasing functions in reduced C*-algebras of groups,
Trans. Amer. Math. Soc., 317(1990), 167-196.
[28] Jolissaint, P., K-theory of reduced C*-algebras and rapidly decreasing
functions on groups, K-Theory 2(1989), 723-735.
[29] E. Hewitt and K. A. Ross, Abstract harmonic analysis, I and II (Springer,
Berlin, 1963 and 1970).
[30] J.G.Wendel, Left Centralizers and Isomorphisms of Group Algebras, Paciﬁc
Journal of Mathematics, vol.2,No.2(1952).
[31] F.F. Bonsall and J. Duncan, Complete normed algebras (Springer-Verlag,
New York, 1973

51

[32] H. G. Dales Automatic Continuity: a Survey, Bull. London Math. Soc, 10
(1978), 129-183
[33] А.Клиффорд, Г.Престон, Алгебраическая теория полугрупп, Издательство ”Мир”, Москва, 1971
[34] P.J.Higgins, Categories and Groupoids, Originally published by: Van
Nostrand Reinhold, 1971 Reprints in Theory and Applications of
Categories, No. 7 (2005) pp 1-195
[35] И.В.Белько, Слоеные группоиды Ли и метод Эресемана в дифференциальной геометрии, Едиториал УРССб 2004 - 208 с. ISBN 5-35400467-5
[36] Mackenzie, K.C.H., General Theory of Lie Groupoids and Lie Algebroids,
Cambridge University Press,(2005)
[37] M.Williams, Introduction to groupids, http://www.math.ucla.edu/∼mwilliams/pdf/groupoids.pdf
[38] Арутюнов, А.А., Мищенко, А.С., Штерн, А.И., Деривации групповых алгебр. Сдано в журнал «Фундаментальная и прикладная математика»,
март 2017 г.

52

