Skip to main content
http -> https (the question was bumped anyway)
Source Link
Martin Sleziak
  • 4.7k
  • 4
  • 35
  • 40

$\DeclareMathOperator\GL{GL}\DeclareMathOperator\L{\mathfrak{L}}$The free Lie algebra $\L(V)$ generated by an $r$-dimensional vector space $V$ is, in the language of https://en.wikipedia.org/wiki/Free_Lie_algebra  , the free Lie algebra generated by any choice of basis $e_1, \ldots , e_r$ for the vector space $V$. (Work over the field ${\mathbb R}$ or ${\mathbb C}$, whichever you prefer.) It is a graded Lie algebra
$$\L(V) = V \oplus \L_2 (V) \oplus \L_3 (V) \oplus \ldots .$$ The general linear group $\GL(V)$ of $V$ acts on $\L(V)$ by gradation-preserving Lie algebra automorphisms. Thus each graded piece $\L_k (V)$ is a finite dimensional representation space for $\GL(V)$. (The `weight' of $\L_k (V)$ is $k$ in the sense that $\lambda \mathrm{Id} \in \GL(V)$ acts on $\L_k (V)$ by scalar multiplication by $\lambda^k$.) QUESTION: How does $\L_k (V)$ break up into $\GL(V)$-irreducibles?

I only really know that $\L_2 (V) = \Lambda ^2 (V)$, which is already irreducible.

To start the game off, perhaps some reader out there already is familiar with $\L_3 (V)$ as a $\GL(V)$-rep, and can tell me its irreps in terms of the Young diagrams / Schur theory involving 3 symbols?

(My motivation arises from trying to understand some details of the subRiemannian geometry http://en.wikipedia.org/wiki/Sub-Riemannian_manifoldhttps://en.wikipedia.org/wiki/Sub-Riemannian_manifold of the Carnot group whose Lie algebra is the free $k$-step Lie algebra, which is $\L(V)$-truncated after step $k$. )

$\DeclareMathOperator\GL{GL}\DeclareMathOperator\L{\mathfrak{L}}$The free Lie algebra $\L(V)$ generated by an $r$-dimensional vector space $V$ is, in the language of https://en.wikipedia.org/wiki/Free_Lie_algebra  , the free Lie algebra generated by any choice of basis $e_1, \ldots , e_r$ for the vector space $V$. (Work over the field ${\mathbb R}$ or ${\mathbb C}$, whichever you prefer.) It is a graded Lie algebra
$$\L(V) = V \oplus \L_2 (V) \oplus \L_3 (V) \oplus \ldots .$$ The general linear group $\GL(V)$ of $V$ acts on $\L(V)$ by gradation-preserving Lie algebra automorphisms. Thus each graded piece $\L_k (V)$ is a finite dimensional representation space for $\GL(V)$. (The `weight' of $\L_k (V)$ is $k$ in the sense that $\lambda \mathrm{Id} \in \GL(V)$ acts on $\L_k (V)$ by scalar multiplication by $\lambda^k$.) QUESTION: How does $\L_k (V)$ break up into $\GL(V)$-irreducibles?

I only really know that $\L_2 (V) = \Lambda ^2 (V)$, which is already irreducible.

To start the game off, perhaps some reader out there already is familiar with $\L_3 (V)$ as a $\GL(V)$-rep, and can tell me its irreps in terms of the Young diagrams / Schur theory involving 3 symbols?

(My motivation arises from trying to understand some details of the subRiemannian geometry http://en.wikipedia.org/wiki/Sub-Riemannian_manifold of the Carnot group whose Lie algebra is the free $k$-step Lie algebra, which is $\L(V)$-truncated after step $k$. )

$\DeclareMathOperator\GL{GL}\DeclareMathOperator\L{\mathfrak{L}}$The free Lie algebra $\L(V)$ generated by an $r$-dimensional vector space $V$ is, in the language of https://en.wikipedia.org/wiki/Free_Lie_algebra, the free Lie algebra generated by any choice of basis $e_1, \ldots , e_r$ for the vector space $V$. (Work over the field ${\mathbb R}$ or ${\mathbb C}$, whichever you prefer.) It is a graded Lie algebra
$$\L(V) = V \oplus \L_2 (V) \oplus \L_3 (V) \oplus \ldots .$$ The general linear group $\GL(V)$ of $V$ acts on $\L(V)$ by gradation-preserving Lie algebra automorphisms. Thus each graded piece $\L_k (V)$ is a finite dimensional representation space for $\GL(V)$. (The `weight' of $\L_k (V)$ is $k$ in the sense that $\lambda \mathrm{Id} \in \GL(V)$ acts on $\L_k (V)$ by scalar multiplication by $\lambda^k$.) QUESTION: How does $\L_k (V)$ break up into $\GL(V)$-irreducibles?

I only really know that $\L_2 (V) = \Lambda ^2 (V)$, which is already irreducible.

To start the game off, perhaps some reader out there already is familiar with $\L_3 (V)$ as a $\GL(V)$-rep, and can tell me its irreps in terms of the Young diagrams / Schur theory involving 3 symbols?

(My motivation arises from trying to understand some details of the subRiemannian geometry https://en.wikipedia.org/wiki/Sub-Riemannian_manifold of the Carnot group whose Lie algebra is the free $k$-step Lie algebra, which is $\L(V)$-truncated after step $k$. )

formatting
Source Link
YCor
  • 63.9k
  • 5
  • 187
  • 286

Breaking up the free Lie algebra into GlGL irreps

The$\DeclareMathOperator\GL{GL}\DeclareMathOperator\L{\mathfrak{L}}$The free Lie algebra $L(V)$$\L(V)$ generated by an $r$-dimensional vector space $V$ is, in the language of https://en.wikipedia.org/wiki/Free_Lie_algebra , the free Lie algebra generated by any choice of basis $e_1, \ldots , e_r$ for the vector space $V$. (Work over the field ${\mathbb R}$ or ${\mathbb C}$, whichever you prefer.) It is a graded Lie algebra
$$L(V) = V \oplus L_2 (V) \oplus L_3 (V) \oplus \ldots .$$$$\L(V) = V \oplus \L_2 (V) \oplus \L_3 (V) \oplus \ldots .$$ The general linear group $Gl(V)$$\GL(V)$ of $V$ acts on $L(V)$$\L(V)$ by gradation-preserving Lie algebra automorphisms. Thus each graded piece $L_k (V)$$\L_k (V)$ is a finite dimensional representation space for $GL(V)$$\GL(V)$. (The `weight' of $L_k (V)$$\L_k (V)$ is $k$ in the sense that $\lambda Id \in Gl(V)$$\lambda \mathrm{Id} \in \GL(V)$ acts on $L_k (V)$$\L_k (V)$ by scalar multiplication by $\lambda^k$.) QUESTION: How does $L_k (V)$$\L_k (V)$ break up into $GL(V)$$\GL(V)$-irreducibles?

I only really know that $L_2 (V) = \Lambda ^2 (V)$$\L_2 (V) = \Lambda ^2 (V)$, which is already irreducible.

To start the game off, perhaps some reader out there already is friendsfamiliar with $L_3 (V)$$\L_3 (V)$ as a $GL(V)$$\GL(V)$-rep, and can tell me its irreps in terms of the Young diagrams / Schur theory involving 3 symbols?

(My motivation arises from trying to understand some details of the subRiemannian geometry http://en.wikipedia.org/wiki/Sub-Riemannian_manifold of the Carnot group whose Lie algebra is the free k$k$-step Lie algebra, which is $L(V)$$\L(V)$-trunatedtruncated after step $k$. )

Breaking up the free Lie algebra into Gl irreps

The free Lie algebra $L(V)$ generated by an $r$-dimensional vector space $V$ is, in the language of https://en.wikipedia.org/wiki/Free_Lie_algebra , the free Lie algebra generated by any choice of basis $e_1, \ldots , e_r$ for the vector space $V$. (Work over the field ${\mathbb R}$ or ${\mathbb C}$, whichever you prefer.) It is a graded Lie algebra
$$L(V) = V \oplus L_2 (V) \oplus L_3 (V) \oplus \ldots .$$ The general linear group $Gl(V)$ of $V$ acts on $L(V)$ by gradation-preserving Lie algebra automorphisms. Thus each graded piece $L_k (V)$ is a finite dimensional representation space for $GL(V)$. (The `weight' of $L_k (V)$ is $k$ in the sense that $\lambda Id \in Gl(V)$ acts on $L_k (V)$ by scalar multiplication by $\lambda^k$.) QUESTION: How does $L_k (V)$ break up into $GL(V)$-irreducibles?

I only really know that $L_2 (V) = \Lambda ^2 (V)$, which is already irreducible.

To start the game off, perhaps some reader out there already is friends with $L_3 (V)$ as a $GL(V)$-rep, and can tell me its irreps in terms of the Young diagrams / Schur theory involving 3 symbols?

(My motivation arises from trying to understand some details of the subRiemannian geometry http://en.wikipedia.org/wiki/Sub-Riemannian_manifold of the Carnot group whose Lie algebra is the free k-step Lie algebra, which is $L(V)$-trunated after step $k$. )

Breaking up the free Lie algebra into GL irreps

$\DeclareMathOperator\GL{GL}\DeclareMathOperator\L{\mathfrak{L}}$The free Lie algebra $\L(V)$ generated by an $r$-dimensional vector space $V$ is, in the language of https://en.wikipedia.org/wiki/Free_Lie_algebra , the free Lie algebra generated by any choice of basis $e_1, \ldots , e_r$ for the vector space $V$. (Work over the field ${\mathbb R}$ or ${\mathbb C}$, whichever you prefer.) It is a graded Lie algebra
$$\L(V) = V \oplus \L_2 (V) \oplus \L_3 (V) \oplus \ldots .$$ The general linear group $\GL(V)$ of $V$ acts on $\L(V)$ by gradation-preserving Lie algebra automorphisms. Thus each graded piece $\L_k (V)$ is a finite dimensional representation space for $\GL(V)$. (The `weight' of $\L_k (V)$ is $k$ in the sense that $\lambda \mathrm{Id} \in \GL(V)$ acts on $\L_k (V)$ by scalar multiplication by $\lambda^k$.) QUESTION: How does $\L_k (V)$ break up into $\GL(V)$-irreducibles?

I only really know that $\L_2 (V) = \Lambda ^2 (V)$, which is already irreducible.

To start the game off, perhaps some reader out there already is familiar with $\L_3 (V)$ as a $\GL(V)$-rep, and can tell me its irreps in terms of the Young diagrams / Schur theory involving 3 symbols?

(My motivation arises from trying to understand some details of the subRiemannian geometry http://en.wikipedia.org/wiki/Sub-Riemannian_manifold of the Carnot group whose Lie algebra is the free $k$-step Lie algebra, which is $\L(V)$-truncated after step $k$. )

Source Link

Breaking up the free Lie algebra into Gl irreps

The free Lie algebra $L(V)$ generated by an $r$-dimensional vector space $V$ is, in the language of https://en.wikipedia.org/wiki/Free_Lie_algebra , the free Lie algebra generated by any choice of basis $e_1, \ldots , e_r$ for the vector space $V$. (Work over the field ${\mathbb R}$ or ${\mathbb C}$, whichever you prefer.) It is a graded Lie algebra
$$L(V) = V \oplus L_2 (V) \oplus L_3 (V) \oplus \ldots .$$ The general linear group $Gl(V)$ of $V$ acts on $L(V)$ by gradation-preserving Lie algebra automorphisms. Thus each graded piece $L_k (V)$ is a finite dimensional representation space for $GL(V)$. (The `weight' of $L_k (V)$ is $k$ in the sense that $\lambda Id \in Gl(V)$ acts on $L_k (V)$ by scalar multiplication by $\lambda^k$.) QUESTION: How does $L_k (V)$ break up into $GL(V)$-irreducibles?

I only really know that $L_2 (V) = \Lambda ^2 (V)$, which is already irreducible.

To start the game off, perhaps some reader out there already is friends with $L_3 (V)$ as a $GL(V)$-rep, and can tell me its irreps in terms of the Young diagrams / Schur theory involving 3 symbols?

(My motivation arises from trying to understand some details of the subRiemannian geometry http://en.wikipedia.org/wiki/Sub-Riemannian_manifold of the Carnot group whose Lie algebra is the free k-step Lie algebra, which is $L(V)$-trunated after step $k$. )