On derivations of subalgebras of real semisimple Lie algebras

Let $\mathfrak{g}$ be a real semisimple Lie algebra with Iwasawa decomposition $\mathfrak{k} \oplus \mathfrak{a} \oplus \mathfrak{n}$. We show that, except for some explicit exceptional cases, every derivation of the nilpotent subalgebra $\mathfrak{n}$ that preserves its restricted root space decomposition is of the form $\text{ad}( W)$, where $W \in \mathfrak{m}\oplus .

Comments: 29 pages

Similar Publications

For a prime $p$, let $\hat F_p$ be a finitely generated free pro-$p$-group of rank $\geq 2$. We show that the second discrete homology group $H_2(\hat F_p,\mathbb Z/p)$ is an uncountable $\mathbb Z/p$-vector space. This answers a problem of A. Read More


We show that for every finitely generated closed subgroup $K$ of a non-solvable Demushkin group $G$, there exists an open subgroup $U$ of $G$ containing $K$, and a continuous homomorphism $\tau \colon U \to K$ satisfying $\tau(k) = k$ for every $k \in K$. We prove that the intersection of a pair of finitely generated closed subgroups of a Demushkin group is finitely generated (giving an explicit bound on the number of generators). Furthermore, we show that these properties of Demushkin groups are preserved under free pro-$p$ products, and deduce that Howson's theorem holds for the Sylow subgroups of the absolute Galois group of a number field. Read More


In this article, we show that in each of four standard families of hyperelliptic curves, there is a density-$1$ subset of members with the property that their Jacobians have adelic Galois representation with image as large as possible. This result constitutes an explicit application of a general theorem on arbitrary rational families of abelian varieties to the case of families of Jacobians of hyperelliptic curves. Furthermore, we provide explicit examples of hyperelliptic curves of genus $2$ and $3$ over $\mathbb Q$ whose Jacobians have such maximal adelic Galois representations. Read More


This paper studies intersections of principal blocks of a finite group with respect to different primes. We first define the block graph of a finite group G, whose vertices are the prime divisors of |G| and there is an edge between two vertices p \ne q if and only if the principal p- and q-blocks of G have a nontrivial common complex irreducible character of G. Then we determine the block graphs of finite simple groups, which turn out to be complete except those of J_1 and J_4. Read More


Let $n$ and $k$ be natural numbers such that $2^k < n$. We study the restriction to $\mathfrak{S}_{n-2^k}$ of odd-degree irreducible characters of the symmetric group $\mathfrak{S}_n$. This analysis completes the study begun in "Odd partitions in Young's lattice" by A. Read More


Given a finite group $G$, the generating graph $\Gamma(G)$ of $G$ has as vertices the (nontrivial) elements of $G$ and two vertices are adjacent if and only if they are distinct and generate $G$ as group elements. In this paper we investigate properties about the degrees of the vertices of $\Gamma(G)$ when $G$ is an alternating group or a symmetric group. In particular, we determine the vertices of $\Gamma(G)$ having even degree and show that $\Gamma(G)$ is Eulerian if and only if $n$ and $n-1$ are not equal to a prime number congruent to 3 modulo 4. Read More


Kleiner's theorem states that for a finitely generated group $\mathbb{G}$, polynomial growth implies that the space of harmonic functions with polynomial growth of degree at most $k$ is finite dimensional. We show a generalization to the class of measures with exponential tail. This has implications to the structure of the space of polynomially growing harmonic functions. Read More


We prove that, under mild assumptions, a lattice in a product of semi-simple Lie group and a totally disconnected locally compact group is, in a certain sense, arithmetic. We do not assume the lattice to be finitely generated or the ambient group to be compactly generated. Read More


We provide sufficient conditions to guarantee that a translation based cipher is not vulnerable with respect to the partition-based trapdoor. This trapdoor has been introduced, recently, by Bannier et al. (2016) and it generalizes that introduced by Paterson in 1999. Read More


Warped cones are metric spaces introduced by John Roe from discrete group actions on compact metric spaces to produce interesting examples in coarse geometry. We show that a certain class of warped cones $\mathcal{O}_\Gamma (M)$ admit a fibred coarse embedding into a $L_p$-space ($1\leq p<\infty$) if and only if the discrete group $\Gamma$ admits a proper affine isometric action on a $L_p$-space. This actually holds for any class of Banach spaces stable under taking Lebesgue-Bochner $L_p$-spaces and ultraproducts, e. Read More