Functors between representation categories. Universal modules

A.L. Agore

2024-06-26

Abstract:Let $\mathfrak{g}$ and $\mathfrak{h}$ be two Lie algebras with $\mathfrak{h}$ finite dimensional and consider ${\mathcal A} = {\mathcal A} (\mathfrak{h}, \, \mathfrak{g})$ to be the corresponding universal algebra as introduced in \cite{am20}. Given an ${\mathcal A}$-module $U$ and a Lie $\mathfrak{h}$-module $V$ we show that $U \otimes V$ can be naturally endowed with a Lie $\mathfrak{g}$-module structure. This gives rise to a functor between the category of Lie $\mathfrak{h}$-modules and the category of Lie $\mathfrak{g}$-modules and, respectively, to a functor between the category of ${\mathcal A}$-modules and the category of Lie $\mathfrak{g}$-modules. Under some finite dimensionality assumptions, we prove that the two functors admit left adjoints which leads to the construction of universal ${\mathcal A}$-modules and universal Lie $\mathfrak{h}$-modules as the representation theoretic counterparts of Manin-Tambara's universal coacting objects \cite{Manin, Tambara}.

Rings and Algebras,Category Theory,Representation Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is, given two Lie algebras \( \mathfrak{g} \) and \( \mathfrak{h} \), how to construct a natural functor to establish a connection between the representation category of the Lie algebra \( \mathfrak{h} \) and the representation category of the Lie algebra \( \mathfrak{g} \), and under appropriate finite - dimensional assumptions, prove that these functors have left adjoints. Specifically:

1. **Constructing functors**:
- Given an \( A \)-module \( U \) and a Lie algebra \( \mathfrak{h} \)-module \( V \), the paper shows how to naturally endow the tensor product \( U\otimes V \) with a Lie algebra \( \mathfrak{g} \)-module structure (see Theorem 2.1). This leads to the construction of two functors:
- The tensor product functor from the category of Lie algebra \( \mathfrak{h} \)-modules to the category of Lie algebra \( \mathfrak{g} \)-modules.
- The tensor product functor from the category of \( A \)-modules to the category of Lie algebra \( \mathfrak{g} \)-modules.

2. **Existence of left adjoints**:
- Under appropriate finite - dimensional assumptions, the paper proves that both of the above two functors have left adjoints (see Theorem 2.4 and Theorem 2.10). These left adjoints are respectively given by the so - called "universal \( A \)-module" and "universal Lie algebra \( \mathfrak{h} \)-module".

3. **Applications and generalizations**:
- These results not only provide new tools in the representation theory of Lie algebras, but also provide methods for the conversion between the representation categories of different algebraic structures, so that certain properties usually preserved by left/right adjoints can be transferred.

Through these constructions, the paper provides a new perspective for understanding the representation theories of Lie algebras and associative algebras, and makes it possible to solve other seemingly unrelated problems (such as the description of the automorphism groups of algebraic structures and quantum Galois theory).