BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Source author record

Leandro Cagliero

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record
math.RTmath.RAmath.DGmath-phmath.CAmath.COmath.KTmath.MPmath.SG

Catalog footprint

Research overview

17works
9topics
4close collaborators

Actions

Is this your work?

Log in to claim
Open graphBrowse papers

Published work

17 publications

preprint2022arXiv

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

Let gm=sl(2)⋉V(m)\mathfrak{g}_m=\mathfrak{sl}(2)\ltimes V(m), m≥1m\ge 1, where V(m)V(m) is the irreducible sl(2)\mathfrak{sl}(2)-module of dimension m+1m+1 viewed as an abelian Lie algebra. It is known that the isomorphism classes of uniserial gm\mathfrak{g}_m-modules consist of a family, say of type ZZ, containing modules of arbitrary composition length, and some exceptional modules with composition length ≤4\le 4. Let VV and WW be two uniserial gm\mathfrak{g}_m-modules of type ZZ. In this paper we obtain the sl(2)\mathfrak{sl}(2)-module decomposition of soc(V⊗W)\text{soc}(V\otimes W) by giving explicitly the highest weight vectors. It turns out that soc(V⊗W)\text{soc}(V\otimes W) is multiplicity free. Roughly speaking, soc(V⊗W)=soc(V)⊗soc(W)\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⊗WV\otimes W by proving that soct+1(V⊗W)=∑i=0tsoci+1(V)⊗soct+1−i(W) \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≥0t\ge0. As applications of these results, we obtain for which VV and WW, the space of gm\mathfrak{g}_m-module homomorphisms Homgm(V,W)\text{Hom}_{\mathfrak{g}_m}(V,W) is not zero, in which case is 1-dimensional. Finally we prove, for m≠2m\ne 2, that if UU is the tensor product of two uniserial gm\mathfrak{g}_m-modules of type ZZ, then the factors are determined by UU. We provide a procedure to identify the factors from UU.

Open access
preprint2020arXiv

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

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

Open access
preprint2020arXiv

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

Given a sequence d⃗=(d1,…,dk)\vec d=(d_1,\dots,d_k) of natural numbers, we consider the Lie subalgebra h\mathfrak{h} of gl(d,F)\mathfrak{gl}(d,\mathbb{F}), where d=d1+⋯+dkd=d_1+\cdots +d_k and F\mathbb{F} is a field of characteristic 0, generated by two block upper triangular matrices DD and EE partitioned according to d⃗\vec d, and study the problem of computing the nilpotency degree mm of the nilradical n\mathfrak{n} of h\mathfrak{h}. We obtain a complete answer when DD and EE 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 mm depends in an essential manner on the symmetry of EE with respect to an outer automorphism of sl(d)\mathfrak{sl}(d). The proof that mm depends solely on this symmetry is long and delicate. As a direct application of our investigations on h\mathfrak{h} and n\mathfrak{n} we give a full classification of all uniserial modules of an extension of the free ℓ\ell-step nilpotent Lie algebra on nn generators when F\mathbb{F} is algebraically closed.

Open access
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 g\mathfrak g-hwv's of H2(n)H^2(\mathfrak n) for a finite dimensional real symplectic nilpotent Lie algebra n\mathfrak n with a reductive Lie subalgebra of derivations g\mathfrak g acting on it.

Open access
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 Hk−nil2(g,g)H_{k-nil}^2(\mathfrak{g},\mathfrak{g}), and certain subspaces of it, that provide fine information about the deformations of g\mathfrak{g} in the variety of kk-step nilpotent Lie algebras. Then we focus on degenerations and rigidity in the variety of kk-step nilpotent Lie algebras of dimension nn with n≤7n\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.

Open access
preprint2015arXiv

A new generalization of Hermite's reciprocity law

Given a partition λλ of nn, the {\it Schur functor} Sλ\mathbb{S}_λ associates to any complex vector space VV, a subspace Sλ(V)\mathbb{S}_λ(V) of V⊗nV^{\otimes n}. Hermite's reciprocity law, in terms of the Schur functor, states that S(p)(S(q)(C2))≃S(q)(S(p)(C2)). \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 Sλ(Sδ(C2))≃Sμ(Sε(C2))\mathbb{S}_λ\left(\mathbb{S}_δ(\mathbb{C}^2)\right)\simeq \mathbb{S}_μ\left(\mathbb{S}_ε(\mathbb{C}^2)\right).

Open access
preprint2014arXiv

A lower bound for faithful representations of nilpotent Lie algebras

In this paper we present a lower bound for the minimal dimension μ(n)μ(\mathfrak{n}) of a faithful representation of a finite dimensional pp-step nilpotent Lie algebra n\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 pp and takes into account a given filtration of n\mathfrak{n}. We present some estimates of this minimum which leads to a very explicit lower bound for μ(n)μ(\mathfrak{n}) that involves the dimensions of n\mathfrak{n} and its center. This bound allows us to obtain μ(n)μ(\mathfrak{n}) for some families of nilpotent Lie algebras.

Open access
preprint2014arXiv

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

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

Open access
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.

Open access
preprint2014arXiv

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

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

Open access
preprint2014arXiv

Total cohomology of solvable Lie algebras and linear deformations

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

Open access
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/FK/F be a finite separable field extension and let x,y∈Kx,y\in K. When is F[x,y]=F[αx+βy]F[x,y]=F[αx+βy] for some non-zero elements α,β∈Fα,β\in F?

Open access
preprint2013arXiv

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

If n\mathfrak{n} is a Z+d\mathbb{Z}^d_+-graded nilpotent finite dimensional Lie algebra over a field of characteristic zero, it is well known that dim⁡H∗(n)≥L(p)\dim H^{\ast }(\mathfrak{n})\geq L(p) where pp is the polynomial associated to the grading and L(p)L(p) is the sum of the absolute values of the coefficients of pp. 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∗(n)≥2dim⁡(z)\dim H^{\ast }(\mathfrak{n})\geq 2^{\dim (\mathfrak{z)}} for any finite dimensional Lie algebra n\mathfrak{n} with center z\mathfrak{z}. The TRC is more that 25 years old and remains open even for Z+d\mathbb{Z}^d_+-graded 3-step nilpotent Lie algebras. Investigating to what extent the above bound for dim⁡H∗(n)\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 n\mathfrak{n} with center z\mathfrak{z}: (A) If n\mathfrak{n} admits a Z+d\mathbb{Z}_+^d-grading n=⨁α∈Z+dnα\mathfrak{n}=\bigoplus_{α\in\mathbb{Z}_+^d} \mathfrak{n}_α, such that its associated polynomial pp satisfies L(p)>2dim⁡zL(p)>2^{\dim\mathfrak{z}}, does it admit a grading n=n1′⊕n2′⊕⋯⊕nk′\mathfrak{n}=\mathfrak{n}'_{1}\oplus \mathfrak{n}'_{2}\oplus \dots\oplus \mathfrak{n}'_{k} such that its associated polynomial p′p' satisfies L(p′)>2dim⁡zL(p')>2^{\dim\mathfrak{z}}? (B) If n\mathfrak{n} is rr-step nilpotent admitting a grading n=n1⊕n2⊕⋯⊕nk\mathfrak{n}=\mathfrak{n}_{1}\oplus \mathfrak{n}_{2}\oplus \dots\oplus \mathfrak{n}_{k} such that its associated polynomial pp satisfies L(p)>2dim⁡zL(p)>2^{\dim\mathfrak{z}}, does it admit a grading n=n1′⊕n2′⊕⋯⊕nr′\mathfrak{n}=\mathfrak{n}'_{1}\oplus \mathfrak{n}'_{2}\oplus \dots\oplus \mathfrak{n}'_{r} such that its associated polynomial p′p' satisfies L(p′)>2dim⁡zL(p')>2^{\dim\mathfrak{z}}? In this paper we show that the answer to (A) is yes, but the answer to (B) is no.

Open access
preprint2012arXiv

A new interpretation of the Racah-Wigner 6j6j-symbol and the classification of uniserial sl(2)⋉V(m)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)V(m) be the irreducible $\sl(2)$-module with highest weight m≥1m\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(μ)V(μ) is the irreducible $\s$-module with highest weight μ≠0μ\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 6j6j-symbol.

Open access
preprint2011arXiv

The image of the Lepowsky homomorphism for the group F4F_4

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

Open access
preprint2010arXiv

Jordan-Chevalley decomposition in finite dimesional Lie algebras

Let $\g$ be a finite dimensional Lie algebra over a field kk of characteristic zero. An element xx of $\g$ is said to have an \emph{abstract Jordan-Chevalley decomposition} if there exist unique $s,n\in\g$ such that x=s+nx=s+n, [s,n]=0[s,n]=0 and given any finite dimensional representation $π:\g\to\gl(V)$ the Jordan-Chevalley decomposition of π(x)π(x) in $\gl(V)$ is π(x)=π(s)+π(n)π(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.

Open access

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.