I am reading the materials discussed in lecture $5$ from the lecture notes on quantum groups about Belavin-Drinfeld classification theorem written by Pavel Etingof and Oliver Schiffmann.
In the first half of this lecture the authors proved that any Lie bialgebra structure on a complex simple Lie algebra $\mathfrak g$ is a quasitriangular structure and hence in order to classify all the Lie bialgebra structures on a complex simple Lie algebra $\mathfrak g$ it is enough to classify all the quasitriangular structures on $\mathfrak g$ which amounts to classify all the $r$-matrices whose symmetrization $r + r^{21} \in \mathbb C \Omega,$ where $\Omega$ is a Casimir tensor in $S^2 \mathfrak g$ corresponding to the Killing form $K$ on $\mathfrak {g}.$
So we need to search for $r$-matrices $r$ such that $r + r^{21} = \varepsilon \Omega$ for some $\varepsilon \in \mathbb C.$ By normalizing if necessary we can assume that $\varepsilon = 1$ so that $r$ is an $r$-matrix satisfying $r + r^{21} = \Omega.$ Then the authors showed that this is equivalent to finding out a linear map $f : \mathfrak g \longrightarrow \mathfrak g$ satisfying
$\tag {1} f + f^{\ast} = 1$ and $$\begin{equation}\tag{2} (f - 1) [f (x), f (y)] = f \left ( [(f - 1) (x), (f - 1) (y)] \right ). \end{equation}$$ After having obtained this equivalence the authors argued that if $f - 1$ is invertible then the map $\theta : \mathfrak g \longrightarrow \mathfrak g$ given by $x \mapsto \frac {f (x)} {f(x) - x}$ is an orthogonal automorphism of $\mathfrak g.$
But Belavin and Drinfeld already showed that such an $f$ (and hence $f - 1$) cannot be invertible and hence this procedure of finding an orthogonal automorphism of $\mathfrak g$ doesn't really work. Hence the following adjustments need to be made.
First note that $\text {Ker}\ (f) \subseteq \text {Im}\ (f - 1)$ and $\text {Ker}\ (f - 1) \subseteq \text {Im}\ (f)$ for any linear operator $f.$ So we will consider $\theta$ as a map $$\theta : \frac {\text {Im}\ (f - 1)} {\text {Ker}\ (f)} \longrightarrow \frac {\text {Im}\ (f)} {\text {Ker}\ (f - 1)}.$$
Luckily, the above claim still holds in a modified form $:$
Lemma $:$ Let $f : \mathfrak g \longrightarrow \mathfrak g$ be linear map satisfying $(1).$ Then we have $\text {Ker}\ (f) = \text {Im}\ (f - 1)^{\perp},$ $\text {Ker}\ (f - 1) = \text {Im}\ (f)^{\perp}$ and the map $\theta$ is orthogonal. Furthermore, $f$ satisfies $(2)$ if and only if $\text {Im}\ (f)$ and $\text {Im}\ (f - 1)$ are Lie subalgebras of $\mathfrak {g},$ and $\theta$ is a Lie algebra isomorphism.
The first part of the proof has been skipped and left as an exercise. In the first part I don't understand what is meant by saying $\theta$ is orthogonal. I have few questions here $:$
How is the modified $\theta$ defined?
In order to talk about orthogonality of $\theta$ we need to have some bilinear forms on the quotients induced by the Killing form so as to define the adjoint $\theta^{\ast}$ of $\theta.$ What are they?
In order to show that $\theta$ is a Lie algebra isomorphism we need to have brackets on the quotients induced by the bracket of $\mathfrak {g}$ giving rise to the structure of Lie algebras on the quotients. What are even they?
These questions are not addressed at all in the notes which need to be clarified first. Could anyone please shed some light on it?
Thanks for your time.
