Source author record

Leandro Cagliero

Leandro Cagliero appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

17works
9topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

17 published item(s)

preprint2022arXiv

Tensor products and intertwining operators for uniserial representations of the Lie algebra $\mathfrak{sl}(2)\ltimes V(m)$

Let $\mathfrak{g}_m=\mathfrak{sl}(2)\ltimes V(m)$, $m\ge 1$, where $V(m)$ is the irreducible $\mathfrak{sl}(2)$-module of dimension $m+1$ viewed as an abelian Lie algebra. It is known that the isomorphism classes of uniserial $\mathfrak{g}_m$-modules consist of a family, say of type $Z$, containing modules of arbitrary composition length, and some exceptional modules with composition length $\le 4$. Let $V$ and $W$ be two uniserial $\mathfrak{g}_m$-modules of type $Z$. In this paper we obtain the $\mathfrak{sl}(2)$-module decomposition of $\text{soc}(V\otimes W)$ by giving explicitly the highest weight vectors. It turns out that $\text{soc}(V\otimes W)$ is multiplicity free. Roughly speaking, $\text{soc}(V\otimes W)=\text{soc}(V)\otimes \text{soc}(W)$ in half of the cases, and in these cases we obtain the full socle series of $V\otimes W$ by proving that $ \text{soc}^{t+1}(V\otimes W)=\sum_{i=0}^{t} \text{soc}^{i+1}(V)\otimes \text{soc}^{t+1-i}(W)$ for all $t\ge0$. As applications of these results, we obtain for which $V$ and $W$, the space of $\mathfrak{g}_m$-module homomorphisms $\text{Hom}_{\mathfrak{g}_m}(V,W)$ is not zero, in which case is 1-dimensional. Finally we prove, for $m\ne 2$, that if $U$ is the tensor product of two uniserial $\mathfrak{g}_m$-modules of type $Z$, then the factors are determined by $U$. We provide a procedure to identify the factors from $U$.

preprint2020arXiv

Minimal faithful representations of the free 2-step nilpotent Lie algebra of the rank $r$

Given a finite dimensional Lie algebra $\mathfrak{g}$, let $\mathfrak{z}(\mathfrak{g})$ denote the center of $\mathfrak{g}$ and let $μ(\mathfrak{g})$ be the minimal possible dimension for a faithful representation of $\mathfrak{g}$. In this paper we obtain $μ(\mathcal{L}_{r,2})$, where $\mathcal{L}_{r,k}$ is the free $k$-step nilpotent Lie algebra of rank $r$. In particular we prove that $μ(\mathcal{L}_{r,2})= \left\lceil \sqrt{2r(r-1)} \right\rceil + 2$ for $r \geq 4$. It turns out that $μ(\mathcal{L}_{r,2}) \simμ\big(\mathfrak{z}(\mathcal{L}_{r,2})\big) \sim 2\sqrt{\dim\mathcal{L}_{r,2}} $ (as $r\to\infty$) and we present some evidence that this could be true for $\mathcal{L}_{r,k}$ for any $k$, this is considerably lower than the known bounds for $μ(\mathcal{L}_{r,k})$, which are (for fixed $k$) polynomial in $\dim\mathcal{L}_{r,k}$.

preprint2020arXiv

Nilpotency degree of the nilradical of a solvable Lie algebra on two generators

Given a sequence $\vec d=(d_1,\dots,d_k)$ of natural numbers, we consider the Lie subalgebra $\mathfrak{h}$ of $\mathfrak{gl}(d,\mathbb{F})$, where $d=d_1+\cdots +d_k$ and $\mathbb{F}$ is a field of characteristic 0, generated by two block upper triangular matrices $D$ and $E$ partitioned according to $\vec d$, and study the problem of computing the nilpotency degree $m$ of the nilradical $\mathfrak{n}$ of $\mathfrak{h}$. We obtain a complete answer when $D$ and $E$ belong to a certain family of matrices that arises naturally when attempting to classify the indecomposable modules of certain solvable Lie algebras. Our determination of $m$ depends in an essential manner on the symmetry of $E$ with respect to an outer automorphism of $\mathfrak{sl}(d)$. The proof that $m$ depends solely on this symmetry is long and delicate. As a direct application of our investigations on $\mathfrak{h}$ and $\mathfrak{n}$ we give a full classification of all uniserial modules of an extension of the free $\ell$-step nilpotent Lie algebra on $n$ generators when $\mathbb{F}$ is algebraically closed.

preprint2016arXiv

Nilradicals of parabolic subalgebras admitting symplectic structures

In this paper we describe all the nilradicals of parabolic subalgebras of split real simple Lie algebras admitting symplectic structures. The main tools used to obtain this list are Kostant's description of the highest weight vectors (hwv) of the cohomology of these nilradicals and some necessary conditions obtained for the $\mathfrak g$-hwv's of $H^2(\mathfrak n)$ for a finite dimensional real symplectic nilpotent Lie algebra $\mathfrak n$ with a reductive Lie subalgebra of derivations $\mathfrak g$ acting on it.

preprint2016arXiv

The Nash-Moser Theorem of Hamilton and rigidity of finite dimensional nilpotent Lie algebras

We apply the Nash-Moser theorem for exact sequences of R. Hamilton to the context of deformations of Lie algebras and we discuss some aspects of the scope of this theorem in connection with the polynomial ideal associated to the variety of nilpotent Lie algebras. This allows us to introduce the space $H_{k-nil}^2(\mathfrak{g},\mathfrak{g})$, and certain subspaces of it, that provide fine information about the deformations of $\mathfrak{g}$ in the variety of $k$-step nilpotent Lie algebras. Then we focus on degenerations and rigidity in the variety of $k$-step nilpotent Lie algebras of dimension $n$ with $n\le7$ and, in particular, we obtain rigid Lie algebras and rigid curves in the variety of 3-step nilpotent Lie algebras of dimension 7. We also recover some known results and point out a possible error in a published article related to this subject.

preprint2015arXiv

A new generalization of Hermite's reciprocity law

Given a partition $λ$ of $n$, the {\it Schur functor} $\mathbb{S}_λ$ associates to any complex vector space $V$, a subspace $\mathbb{S}_λ(V)$ of $V^{\otimes n}$. Hermite's reciprocity law, in terms of the Schur functor, states that $ \mathbb{S}_{(p)}\left(\mathbb{S}_{(q)}(\mathbb{C}^2)\right)\simeq \mathbb{S}_{(q)}\left(\mathbb{S}_{(p)}(\mathbb{C}^2)\right). $ We extend this identity to many other identities of the type $\mathbb{S}_λ\left(\mathbb{S}_δ(\mathbb{C}^2)\right)\simeq \mathbb{S}_μ\left(\mathbb{S}_ε(\mathbb{C}^2)\right)$.

preprint2014arXiv

A lower bound for faithful representations of nilpotent Lie algebras

In this paper we present a lower bound for the minimal dimension $μ(\mathfrak{n})$ of a faithful representation of a finite dimensional $p$-step nilpotent Lie algebra $\mathfrak{n}$ over a field of characteristic zero. Our bound is given as the minimum of a quadratically constrained linear optimization problem, it works for arbitrary $p$ and takes into account a given filtration of $\mathfrak{n}$. We present some estimates of this minimum which leads to a very explicit lower bound for $μ(\mathfrak{n})$ that involves the dimensions of $\mathfrak{n}$ and its center. This bound allows us to obtain $μ(\mathfrak{n})$ for some families of nilpotent Lie algebras.

preprint2014arXiv

Classification of linked indecomposable modules of a family of solvable Lie algebras over an arbitrary field of characteristic 0

Let ${\mathfrak g}$ be a finite dimensional Lie algebra over a field of characteristic 0, with solvable radical ${\mathfrak r}$ and nilpotent radical ${\mathfrak n}=[{\mathfrak g},{\mathfrak r}]$. Given a finite dimensional ${\mathfrak g}$-module $U$, its nilpotency series $ 0\subset U({\mathfrak n}^1)\subset\cdots\subset U({\mathfrak n}^m)=U$ is defined so that $U({\mathfrak n}^1)$ is the 0-weight space of ${\mathfrak n}$ in $U$, $U({\mathfrak n}^2)/U({\mathfrak n}^1)$ is the 0-weight space of ${\mathfrak n}$ in $U/U({\mathfrak n}^1)$, and so on. We say that $U$ is linked if each factor of its nilpotency series is a uniserial ${\mathfrak g}/{\mathfrak n}$-module, i.e., its ${\mathfrak g}/{\mathfrak n}$-submodules form a chain. Every uniserial ${\mathfrak g}$-module is linked, every linked ${\mathfrak g}$-module is indecomposable with irreducible socle, and both converse fail. In this paper we classify all linked ${\mathfrak g}$-modules when ${\mathfrak g}=\langle x\rangle\ltimes {\mathfrak a}$ and $\mathrm{ad}\, x$ acts diagonalizably on the abelian Lie algebra ${\mathfrak a}$. Moreover, we identify and classify all uniserial ${\mathfrak g}$-module amongst them.

preprint2014arXiv

Explicit matrix inverses for lower triangular matrices with entries involving Jacobi polynomials

For a two-parameter family of lower triangular matrices with entries involving Jacobi polynomials an explicit inverse is given, with entries involving a sum of two Jacobi polynomials. The formula simplifies in the Gegenbauer case and then one choice of the parameter solves an open problem in a recent paper by Koelink, van Pruijssen & Roman. The two-parameter family is closely related to two two-parameter groups of lower triangular matrices, of which we also give the explicit generators. Another family of pairs of mutually inverse lower triangular matrices with entries involving Jacobi polynomials, unrelated to the family just mentioned, was given by J. Koekoek & R. Koekoek (1999). We show that this last family is a limit case of a pair of connection relations between Askey-Wilson polynomials having one of their four parameter in common.

preprint2014arXiv

Indecomposable modules of 2-step solvable Lie algebras in arbitrary characteristic

Let $F$ be an algebraically closed field and consider the Lie algebra ${\mathfrak g}=\langle x\rangle\ltimes {\mathfrak a}$, where $\mathrm{ad}\, x$ acts diagonalizably on the abelian Lie algebra ${\mathfrak a}$. Refer to a ${\mathfrak g}$-module as admissible if $[{\mathfrak g},{\mathfrak g}]$ acts via nilpotent operators on it, which is automatic if $\mathrm{char}(F)=0$. In this paper we classify all indecomposable ${\mathfrak g}$-modules $U$ which are admissible as well as uniserial, in the sense that $U$ has a unique composition series.

preprint2014arXiv

Total cohomology of solvable Lie algebras and linear deformations

Given a finite dimensional Lie algebra $\mathfrak{g}$, let $Γ_\circ(\mathfrak{g})$ be the set of irreducible $\mathfrak{g}$-modules with non-vanishing cohomology. We prove that a $\mathfrak{g}$-module $V$ belongs to $Γ_\circ(\mathfrak{g})$ only if $V$ is contained in the exterior algebra of the solvable radical $\mathfrak{s}$ of $\mathfrak{g}$, showing in particular that $Γ_\circ(\mathfrak{g})$ is a finite set and we deduce that $H^*(\mathfrak{g},V)$ is an $L$-module, where $L$ is a fixed subgroup of the connected component of $\operatorname{Aut}(\mathfrak{g})$ which contains a Levi factor. We describe $Γ_\circ$ in some basic examples, including the Borel subalgebras, and we also determine $Γ_\circ(\mathfrak{s}_n)$ for an extension $\mathfrak{s}_n$ of the 2-dimensional abelian Lie algebra by the standard filiform Lie algebra $\mathfrak{f}_n$. To this end, we described the cohomology of $\mathfrak{f}_n$. We introduce the \emph{total cohomology} of a Lie algebra $\mathfrak{g}$, as $TH^*(\mathfrak{g})=\bigoplus_{V\in Γ_\circ(\mathfrak{g})} H^*(\mathfrak{g},V)$ and we develop further the theory of linear deformations in order to prove that the total cohomology of a solvable Lie algebra is the cohomology of its nilpotent shadow. Actually we prove that $\mathfrak{s}$ lies, in the variety of Lie algebras, in a linear subspace of dimension at least $\dim (\mathfrak{s}/\mathfrak{n})^2$, $\mathfrak{n}$ being the nilradical of $\mathfrak{s}$, that contains the nilshadow of $\mathfrak{s}$ and such that all its points have the same total cohomology.

preprint2013arXiv

On the theorem of the primitive element with applications to the representation theory of associative and Lie algebras

We describe of all finite dimensional uniserial representations of a commutative associative (resp. abelian Lie) algebra over a perfect (resp. sufficiently large perfect) field. In the Lie case the size of the field depends on the answer to following question, considered and solved in this paper. Let $K/F$ be a finite separable field extension and let $x,y\in K$. When is $F[x,y]=F[αx+βy]$ for some non-zero elements $α,β\in F$?

preprint2013arXiv

Some remarks on graded nilpotent Lie algebras and the Toral Rank Conjecture

If $\mathfrak{n}$ is a $\mathbb{Z}^d_+$-graded nilpotent finite dimensional Lie algebra over a field of characteristic zero, it is well known that $\dim H^{\ast }(\mathfrak{n})\geq L(p) $ where $p$ is the polynomial associated to the grading and $L(p)$ is the sum of the absolute values of the coefficients of $p$. From this result Deninger and Singhof derived the Toral Rank Conjecture (TRC) for 2-step nilpotent Lie algebras. An algebraic version of the TRC states that $\dim H^{\ast }(\mathfrak{n})\geq 2^{\dim (\mathfrak{z)}} $ for any finite dimensional Lie algebra $\mathfrak{n}$ with center $\mathfrak{z}$. The TRC is more that 25 years old and remains open even for $\mathbb{Z}^d_+$-graded 3-step nilpotent Lie algebras. Investigating to what extent the above bound for $\dim H^{\ast }(\mathfrak{n})$ could help to prove the TRC in this case, we considered the following two questions regarding a nilpotent Lie algebra $\mathfrak{n}$ with center $\mathfrak{z}$: (A) If $\mathfrak{n}$ admits a $\mathbb{Z}_+^d$-grading $\mathfrak{n}=\bigoplus_{α\in\mathbb{Z}_+^d} \mathfrak{n}_α$, such that its associated polynomial $p$ satisfies $L(p)>2^{\dim\mathfrak{z}}$, does it admit a grading $\mathfrak{n}=\mathfrak{n}'_{1}\oplus \mathfrak{n}'_{2}\oplus \dots\oplus \mathfrak{n}'_{k}$ such that its associated polynomial $p'$ satisfies $L(p')>2^{\dim\mathfrak{z}}$? (B) If $\mathfrak{n}$ is $r$-step nilpotent admitting a grading $\mathfrak{n}=\mathfrak{n}_{1}\oplus \mathfrak{n}_{2}\oplus \dots\oplus \mathfrak{n}_{k}$ such that its associated polynomial $p$ satisfies $L(p)>2^{\dim\mathfrak{z}}$, does it admit a grading $\mathfrak{n}=\mathfrak{n}'_{1}\oplus \mathfrak{n}'_{2}\oplus \dots\oplus \mathfrak{n}'_{r}$ such that its associated polynomial $p'$ satisfies $L(p')>2^{\dim\mathfrak{z}}$? In this paper we show that the answer to (A) is yes, but the answer to (B) is no.

preprint2012arXiv

A new interpretation of the Racah-Wigner $6j$-symbol and the classification of uniserial $sl(2)\ltimes V(m)$-modules

All Lie algebras and representations will be assumed to be finite dimensional over the complex numbers. Let $V(m)$ be the irreducible $\sl(2)$-module with highest weight $m\geq 1$ and consider the perfect Lie algebra $\g=\sl(2)\ltimes V(m)$. Recall that a $\g$-module is uniserial when its submodules form a chain. In this paper we classify all uniserial $\g$-modules. The main family of uniserial $\g$-modules is actually constructed in greater generality for the perfect Lie algebra $\g=\s\ltimes V(μ)$, where $\s$ is a semisimple Lie algebra and $V(μ)$ is the irreducible $\s$-module with highest weight $μ\neq 0$. The fact that the members of this family are, but for a few exceptions of lengths 2, 3 and~4, the only uniserial $\sl(2)\ltimes V(m)$-modules depends in an essential manner on the determination of certain non-trivial zeros of Racah-Wigner $6j$-symbol.

preprint2011arXiv

The image of the Lepowsky homomorphism for the group $F_4$

Let $G_o$ be a semisimple Lie group, let $K_o$ be a maximal compact subgroup of $G_o$ and let $\mathfrak{k}\subset\mathfrak{g}$ denote the complexification of their Lie algebras. Let $G$ be the adjoint group of $\mathfrak{g}$ and let $K$ be the connected Lie subgroup of $G$ with Lie algebra $ad(\mathfrak{k})$. If $U(\mathfrak{g})$ is the universal enveloping algebra of $\mathfrak{g}$ then $U(\mathfrak{g})^K$ will denote the centralizer of $K$ in $U(\mathfrak{g})$. Also let $P:U(\mathfrak{g})\longrightarrow U(\mathfrak{k})\otimes U(\mathfrak{a})$ be the projection map corresponding to the direct sum $U(\mathfrak{g})=\bigl(U(\mathfrak{k})\otimes U(\mathfrak{a})\bigr)\oplus U(\mathfrak{g})\mathfrak{n}$ associated to an Iwasawa decomposition of $G_o$ adapted to $K_o$. In this paper we give a characterization of the image of $U(\mathfrak{g})^K$ under the injective antihomorphism $P:U(\mathfrak{g})^K\longrightarrow U(\mathfrak{k})^M\otimes U(\mathfrak{a})$, considered by Lepowsky, when $G_o$ is locally isomorphic to F$_4$.

preprint2010arXiv

Jordan-Chevalley decomposition in finite dimesional Lie algebras

Let $\g$ be a finite dimensional Lie algebra over a field $k$ of characteristic zero. An element $x$ of $\g$ is said to have an \emph{abstract Jordan-Chevalley decomposition} if there exist unique $s,n\in\g$ such that $x=s+n$, $[s,n]=0$ and given any finite dimensional representation $π:\g\to\gl(V)$ the Jordan-Chevalley decomposition of $π(x)$ in $\gl(V)$ is $π(x)=π(s)+π(n)$. In this paper we prove that $x\in\g$ has an abstract Jordan-Chevalley decomposition if and only if $x\in [\g,\g]$, in which case its semisimple and nilpotent parts are also in $[\g,\g]$ and are explicitly determined. We derive two immediate consequences: (1) every element of $\g$ has an abstract Jordan-Chevalley decomposition if and only if $\g$ is perfect; (2) if $\g$ is a Lie subalgebra of $\gl(n,k)$ then $[\g,\g]$ contains the semisimple and nilpotent parts of all its elements. The last result was first proved by Bourbaki using different methods. Our proof only uses elementary linear algebra and basic results on the representation theory of Lie algebras, such as the Invariance Lemma and Lie's Theorem, in addition to the fundamental theorems of Ado and Levi.