The moment map for the variety of associative algebras

Publication date: 28 January 2023

Abstract: We consider the moment map

m : m a t h b b P V_{n} i g h t a r r o w e x t i m a t h f r a k u (n)

for the action of

e x t G L (n)

on

V_{n} = o t i m e s^{2} (m a t h b b C^{n})^{*} o t i m e s m a t h b b C^{n}

, and study the critical points of the functional

F_{n} = | m |^{2} : m a t h b b P V_{n} i g h t a r r o w m a t h b b R

. Firstly, we prove that

[m u] i n m a t h b b P V_{n}

is a critical point if and only if

e x t M_{m u} = c_{m u} I + D_{m u}

for some

c_{m u} i n m a t h b b R

and

D_{m u} i n e x t D e r (m u),

where

m ([m u]) = f r a c e x t M_{m u} | m u |^{2}

. Then we show that any algebra

m u

admits a Nikolayevsky derivation

p h i_{m} u

which is unique up to automorphism, and if moreover,

[m u]

is a critical point of

F_{n}

, then

p h i_{m} u = - f r a c 1 c_{m} u D_{m} u .

Secondly, we characterize the maxima and minima of the functional

F_{n} : m a t h c a l A_{n} i g h t a r r o w m a t h b b R

, where

m a t h c a l A_{n}

denotes the projectivization of the algebraic varieties of all

n

-dimensional associative algebras. Furthermore, for an arbitrary critical point

[m u]

of

F_{n} : m a t h c a l A_{n} i g h t a r r o w m a t h b b R

, we also obtain a description of the algebraic structure of

[m u]

. Finally, we classify the critical points of

F_{n} : m a t h c a l A_{n} i g h t a r r o w m a t h b b R

for

n = 2

,

3

, respectively.

This page was built for publication: The moment map for the variety of associative algebras