Related papers: Octonionic presentation for the Lie group $SL(2,{\…

In this paper we show that for a connected compact Lie group to be acceptable it is necessary and sufficient that its derived subgroup is isomorphic to a direct product of the groups $\SU(n)$, $\Sp(n)$, $\SO(2n+1)$, $\G_2$, $\SO(4)$. We…

We define for real $q$ a unital $*$-algebra $U_q(\mathfrak{sl}(2,\mathbb{R}))$ quantizing the universal enveloping $*$-algebra of $\mathfrak{sl}(2,\mathbb{R})$. The $*$-algebra $U_q(\mathfrak{sl}(2,\mathbb{R}))$ is realized as a…

It is shown that the compact Lie group SU(3) admits an Sp(2)Sp(1)-structure whose distinguished 2-forms $\omega_1,\omega_2,\omega_3$ span a differential ideal. This is achieved by first reducing the structure further to a subgroup…

We prove that the Lie algebra $\mathfrak{sl}_n(\textbf{F}_q)$ of traceless matrices over a finite field of characteristic $p$ can be generated by $2$ elements with exceptions when $(n, p)$ is $(3, 3)$ or $(4,2)$. In the latter cases, we…

We detail an explicit construction of ordinary irreducible representations for the family of finite groups $SL_2({\mathbb Z} /p^n {\mathbb Z})$ for odd primes $p$ and $n\geq 2$. For $n=2$, the construction is a complete set of irreducible…

The group $SL(2,\mathbb{C})$ of all complex $2\times 2$ matrices with determinant one is closely related to the group $\boldsymbol{\mathcal{L}}_{+}^\uparrow$ of real $4\times 4$ matrices representing the restricted Lorentz transformations.…

In physics, Lie groups represent the algebraic structure that describes symmetry transformations of a given system. Then, the descending Lie algebra of those groups are necessarily real. In most cases, the complexification of those Lie…

We study a new class of infinite dimensional Lie algebras, which has important applications to the theory of integrable equations. The construction of these algebras is very similar to the one for automorphic functions and this motivates…

Let G be a split simple group of type G_2 over a field k, and let g be its Lie algebra. Answering a question of Colliot-Th\'el\`ene, Kunyavski\u{i}, Popov, and Reichstein, we show that the function field k(g) is generated by algebraically…

We give a constructive account of the fundamental ingredients of Poisson Lie theory as the basis for a description of the classical double group $D$. The double of a group $G$ has a pointwise decomposition $D\sim G\times G^*$, where $G$ and…

In this note we present the Stiefel-Whitney classes (SWCs) for orthogonal representations of several finite groups of Lie type, namely for $G=\text{SL}(2,q),$ $\text{SL}(3,q),$ $\text{Sp}(4,q)$, and $\text{Sp}(6,q)$, with $q$ odd. We also…

This paper describes a formal theory of smooth vector fields, Lie groups and the Lie algebra of a Lie group in the theorem prover Isabelle. Lie groups are abstract structures that are composable, invertible and differentiable. They are…

All finite-dimensional Leibniz algebra bimodules of a Lie algebra $\mathfrak{sl}_2$ over a field of characteristic zero are described.

We classify the holonomy algebras of manifolds admitting an indecomposable torsion free $G_2^*$-structure, i.e. for which the holonomy representation does not leave invariant any proper non-degenerate subspace. We realize some of these Lie…

In this paper, we obtain classification of the topological holonomy groups in $SO(3)$. Such a group is given by one of the following: a finite group (such groups are classified by Klein); a commutative infinite group which is generated by…

Let $n$ be a natural number greater or equal to $3$, $R$ a commutative ring and $\sigma\in GL_n(R)$. We show that $t_{kl}(\sigma_{ij})$ (resp. $t_{kl}(\sigma_{ii}-\sigma_{jj}))$ where $i\neq j$ and $k\neq l$ can be expressed as a product of…

In this paper we consider the analytic continuation of the weighted Bergman spaces on the Lie ball $$\mathscr{D}=SO(2,n)/S(O(2) \times O(n))$$ and the corresponding holomorphic unitary (projective) representations of SO(2,n) on these…

Let $k$ be a number field, $\mathbf{G}$ an algebraic group defined over $k$, and $\mathbf{G}(k)$ the group of $k$-rational points in $\mathbf{G}.$ We determine the set of functions on $\mathbf{G}(k)$ which are of positive type and…

Given a representation V of a group G, there are two natural ways of defining a representation of the group algebra k[G] in the external power V^{\wedge m}. The set L(V) of elements of k[G] for which these two ways give the same result is a…

Let G be a subgroup of GL(V), where V is a finite dimensional vector space over a finite field of characteristic p >0. If det(g-1) = 0 for all g \in G then we call G a fixed-point subgroup of GL(V). Motivated in parallel by questions in…