Some authors have written that derivation of an algebra is an important tools for studying its structure. Could you give me a specific example of how a derivation gives insight into an algebra's structure? More generally: Why should we study derivations of algebras? What is the advantage of knowing that an algebra has a non-trivial derivation?

Nik Weaver 07/11/2018.

I think you want an answer from a pure algebraist, and I would be very interested in seeing such an answer as well. However, as a functional analyst, there are some things I can say to the question of why derivations are important which I find very convincing.

The basic point is that differentiation is a derivation. Most simply, the map $D: f \mapsto f'$ from the smooth real-valued functions on $\mathbb{R}$ to itself. This map satisfies the derivation identity $D(fg) = fD(g) + D(f)g$. More generally, differentiation along a vector field is a derivation from $C^\infty(M)$ to itself, for any smooth manifold $M$. The exterior derivative is another example; this time the target space is not $C^\infty(M)$ itself but a bimodule over it.

If you're willing to consider derivatives which are not continuous but merely measurable, then a natural domain of the differentiation operator is the set of real-valued Lipschitz functions. These all have derivatives in $L^\infty$. Of course we need to assume a metric now, in order for the notion of being Lipschitz to make sense.

In fact there is a strong connection between metrics and derivations. Theorem: let $X$ be a $\sigma$-finite measure space and $\delta$ a derivation from a dense subalgebra of $L^\infty(X)$ to a bimodule over $L^\infty(X)$. Given a natural continuity condition and the right notion of "bimodule", we can conclude that there is a metric on $X$ such that the domain of $\delta$ is precisely the set of bounded Lipschitz functions on $X$, and the norm of $\delta(f)$ is the Lipschitz number of $f$.

Here's another connection between metrics and derivations. Let $X$ be any metric space equipped with a regular Borel measure. Define $\Omega(X)$ to be the set of derivations from ${\rm Lip}(X)$ to $L^\infty(X)$ which satisfy a natural continuity condition. If $X$ is a Riemannian manifold then $\Omega(X)$ will be the set of bounded measurable 1-forms. But this construction makes sense for arbitrary metric spaces! It trivializes in many cases, but there is a large array of non-manifold metric spaces for which this construction is nontrivial and interesting: sub-Riemannian manifolds, rectifiable sets, Hilbert cubes, various kinds of fractals, etc. We have a first order exterior derivative in all these cases.

I could go on, but I'll stop here. These topics are covered extensively in the second edition of my book *Lipschitz Algebras*, which is now in press.

Matthias Wendt 07/12/2018.

Here are some algebraic aspects why one could be interested in derivations.

First, derivations actually appear pretty prominently in algebraic geometry. For a ring homomorphism $R\to S$, one can consider $R$-linear derivations on $S$, with image in some $S$-module $M$. There is a universal such module, the module of Kähler differentials $\Omega_{S/R}$, with a universal derivation $d:S\to\Omega_{S/R}$. This is a fairly important object to study in algebraic geometry, e.g., in the definition and study of smooth varieties, or in the algebraic versions of de Rham cohomology. (A chapter on derivations can be found in any algebraic geometry textbook.)

On the other hand, and a bit more specialized, there are also reasons to study locally nilpotent derivations on algebras. Since locally nilpotent derivations are related to actions of the additive group $\mathbb{G}_a$ on varieties, the locally nilpotent derivations also play a significant role in the study of quotients of $\mathbb{G}_a$-actions. In particular, (as found on the Wikipedia page) some counterexamples or Hilbert's 14th problem arise as kernels of locally nilpotent derivations. (survey paper here)Locally nilpotent derivations are also related to various open questions on the structure of affine space $\mathbb{A}^n$ (like the Zariski cancellation problem, see e.g. the Makar-Limanov invariant which can distinguish affine space from some affine varieties diffeomorphic to it). There is a whole book about the algebraic theory of locally nilpotent derivations:

- G. Freudenburg. Algebraic theory of locally nilpotent derivations. Encyclopaedia of Mathematical Sciences, 136. Invariant Theory and Algebraic Transformation Groups, VII. Springer-Verlag, Berlin, 2006.

Marek Mitros 07/12/2018.

The two examples which I can give are the following. One is the algebra of octonions. The derivations of this algebra form a 14-dimensional Lie algebra. From this fact you can conclude that the automorphism group of the octonions is 14-dimensional. An automorphism is obtained from a given derivation by taking the $exp$ function. The exponential function doesn't work over finite fields. There are formulas for derivations of octonions e.g. $[L_x,L_y]+ [L_x,R_y]+[R_x,R_y]$ is a derivation for every pair of octonions $x,y$. In this formula $L_x$ and $R_x$ denote left and right multiplication by the octonion $x$. You can find more in Schafer's book or Barton-Sudbery https://arxiv.org/abs/math/0203010.

We can define the Jordan algebra $h_3(\mathbb O)$ of symmetric matrices of octonions. In this algebra $[L_x,L_y]$ is a derivation. The algebra of derivations is 52-dimensional in this case. It is the $f_4$ Lie algebra.

I wonder whether the $e_6$, $e_7$ and $e_8$ Lie algebras can be obtained as derivations of some algebra.

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

- Quasi-Lie algebras in nature?
- duality between universal enveloping and function algebra for GL(n)
- Why is this functor corepresentable?
- Classical deformation of algebras
- When is a ring or algebra a ring/algebra of functions?
- What did Gelfand mean by suggesting to study “Heredity Principle” structures instead of categories?
- Is there any “fundamental” distinction between min-plus, max-plus, min-product, and max-product algebras?
- Semantics of derivations as derivatives
- Extension of isomorphism of fields