R. García-Delgado
Abstract:We state criteria for a nilpotent Lie algebra $\g$ to admit an invariant metric. We use that $\g$ possesses two canonical abelian ideals $\ide(\g) \subset \mathfrak{J}(\g)$ to decompose the underlying vector space of $\g$ and then we state sufficient conditions for $\g$ to admit an invariant metric. The properties of the ideal $\mathfrak{J}(\g)$ allows to prove that if a current Lie algebra $\g \otimes \Sa$ admits an invariant metric, then there must be an invariant and non-degenerate bilinear map from $\Sa \times \Sa$ into the space of centroids of $\g/\mathfrak{J}(\g)$. We also prove that in any nilpotent Lie algebra $\g$ there exists a non-zero, symmetric and invariant bilinear form. This bilinear form allows to reconstruct $\g$ by means of an algebra with unit. We prove that this algebra is simple if and only if the bilinear form is an invariant metric on $\g$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is whether there exists an invariant metric on a nilpotent Lie algebra \(g\). Specifically, the author aims to provide some criteria to determine whether a nilpotent Lie algebra can be equipped with an invariant metric. These criteria are based on some classical tools and known results of nilpotent Lie algebras, hoping to provide a new perspective for further research on whether any Lie algebra can be equipped with an invariant metric.
### Main problems
1. **Invariant metric on nilpotent Lie algebras**:
- Study whether a nilpotent Lie algebra \(g\) can be equipped with an invariant metric.
- Provide sufficient conditions so that a nilpotent Lie algebra \(g\) can be equipped with an invariant metric.
2. **Current nilpotent Lie algebras**:
- Consider a nilpotent Lie algebra \(g\) and a commutative associative algebra \(S\), and study whether their tensor product \(g\otimes S\) can be equipped with an invariant metric.
- Prove that if \(g\otimes S\) can be equipped with an invariant metric, then there must exist a bilinear mapping \(\epsilon: S\times S\rightarrow \text{Cent}(h)\), where \(\text{Cent}(h)\) is the centralizer of \(h\).
3. **Invariant forms on nilpotent Lie algebras**:
- Prove that any finite - dimensional nilpotent Lie algebra has a non - zero, symmetric and invariant bilinear form.
- Use this bilinear form to construct a non - associative algebra with a unit element, and prove that this non - associative algebra is a simple algebra if and only if the bilinear form is non - degenerate.
### Key conclusions
- **Invariant metric on nilpotent Lie algebras**:
- Sufficient conditions are provided so that a nilpotent Lie algebra \(g\) can be equipped with an invariant metric.
- By decomposing the vector space of the nilpotent Lie algebra, the existence of the invariant metric is studied by using two standard abelian ideals \(i(g)\subset J(g)\).
- **Current nilpotent Lie algebras**:
- If \(g\otimes S\) can be equipped with an invariant metric, then there must exist a bilinear mapping \(\epsilon: S\times S\rightarrow \text{Cent}(h)\) that satisfies specific symmetry and invariance conditions.
- **Invariant forms on nilpotent Lie algebras**:
- It is proved that any finite - dimensional nilpotent Lie algebra has a non - zero, symmetric and invariant bilinear form.
- A non - associative algebra with a unit element is constructed, and it is proved that this non - associative algebra is a simple algebra if and only if the bilinear form is non - degenerate.
### Formula summary
- **Conditions for invariant metric**:
\[
\phi(\phi(x)(u))(y)= - B_a(\lambda(x,y),u),\quad \forall x,y\in h,\,u\in a
\]
\[
\phi(\mu(x,y))(z)=B(\mu(x,y),z)=B(x,\mu(y,z))=\phi(\mu(y,z))(x),\quad \forall x,y,z\in h
\]
- **Properties of bilinear mapping \(\epsilon\)**:
\[
\epsilon(s,t)=\epsilon(st,1),\quad \forall s,t\in S
\]
\[
\epsilon(s,t) = 0\,\forall t\in S\implies s = 0
\]
- **Existence of invariant form**:
\[
\rho(x)(f)(y,z)= - f([x,y],z)-f(y,[x,z]),\quad \forall x,y,z\in g
\]
\[
(\xi,x)(\eta,y)=(\xi