1. BASIC NOTIONS 11
Remark 1.17. We need different symbols for algebras and for its underlying
modules. This will make our notation somehow heavy but, since we will sometimes
consider several algebras with the same underlying module, such a distinction is
necessary. We will, however, try to simplify the notation if no confusion may occur.
For instance, the trivial deformation of an associative algebra A = (V, μ) will be
denoted by R A.
In the following definition, φ : V V denotes the -linear map induced by
a continuous R-linear endomorphism φ : R V R V as in diagram (1.20).
Definition 1.18. Two R-deformations (R V, μ ) and (R V, μ ) of an asso-
ciative algebra A with the underlying vector space V are equivalent if there exists
a continuous R-algebra isomorphism
φ : (R V, μ )

=
−→ (R V, μ )
such that φ : V V is the identity automorphism
V
of V . We denote by DefA(R)
the set of equivalence classes of deformations of A with the base R.
In the important particular case when R is Artin,8 all topologies involved in
Definitions 1.16 and 1.18 are discrete, so we can omit the completions . If R
is regular local complete Noetherian, then the continuity of all maps follows from
their R-linearity, see Proposition 1.11. We can therefore avoid the topologies also
in this case and work in the realm of ‘standard’ algebra. As a matter of fact, all
base rings in this monograph will be of one of the above two types.
Let us show that the set DefA(R) behaves functorially in R. Assume that
f : R R is a morphism of augmented rings and (R V, μ ) an R -deformation
of A. One can easily check that μ induces an associative multiplication f!(μ) on
R A

= R ⊗R (R V )
which is an R -deformation of A. We will call f!(μ ) the push-forward of the
deformation μ . This construction induces a natural map (denoted by the same
symbol)
f! : DefA(R ) DefA(R ).
The sets DefA(R) therefore assemble into a covariant functor DefA(−) from the
category of complete local Noetherian rings with a given residue field, into the
category of sets. This point of view was, in the Artin case, pioneered by M. Artin
and M. Schlessinger [Sch68]. We include a brief subsection devoted to this approach
at the end of Chapter 4.
We denote by DefA(R) the set of R-deformations of an associative algebra A as
in Definition 1.16. Denote also by GA(R) the group of R-module automorphisms
φ : R V R V such that φ =
V
, with the group structure given by the
composition. We will call GA(R) the gauge group. An automorphism φ GA(R)
acts on μ DefA(R) by φ · μ = μ , where
(1.23) μ (a, b) := φ μ
(
φ−1(a),φ−1(b)
)
, a, b R V.
The next proposition follows immediately from definitions.
8Recall
[AM69, Theorem 8.5] that Artin local rings are precisely complete Noetherian rings
of global dimension zero.
Previous Page Next Page