Related papers: Factorisation of Lie Resolvents
In this paper we describe some properties of groups $G$ that contain a solvable subgroup of finite prime-power index (Theorem 1 and Corollaries 2--3). We prove that if $G$ is a non-solvable group that contains a solvable subgroup of index…
Let $V$ be a Weyl module either for a reductive algebraic group $G$ or for the corresponding quantum group $U_q$. If $G$ is defined over a field of positive characteristic $p$, respectively if $q$ is a primitive $l$'th root of unity (in an…
We present a formalization, in the theorem prover Lean, of the classification of solvable Lie algebras of dimension at most three over arbitrary fields. Lie algebras are algebraic objects which encode infinitesimal symmetries, and as such…
Let $p$ be a prime number and $\Bbbk=\bar{\mathbb{F}}_p$, the algebraic closure of the finite field $\mathbb{F}_p$ of $p$ elements. Let ${\bf G}$ be a connected reductive group defined over $\mathbb{F}_p$ and ${\bf B}$ be a Borel subgroup…
Let $G$ be a simple algebraic group over an algebraically closed field of characteristic $p>0$ and suppose that $p$ is a very good prime for $G$. We prove that any maximal Lie subalgebra $M$ of $\mathfrak{g} = {\rm Lie}(G)$ with ${\rm…
We prove a lifting theorem for odd Frattini covers of finite groups. Using this, we characterize solvable groups and more generally p-solvable groups in terms of containing a triple of elements of distinct prime power orders with product 1.…
Given a $n$-dimensional Lie algebra $g$ over a field $k \supset \mathbb Q$, together with its vector space basis $X^0_1,..., X^0_n$, we give a formula, depending only on the structure constants, representing the infinitesimal generators,…
Let $\mathfrak{g}$ be a finite dimensional complex Lie algebra and let $A$ be a finite dimensional complex, associative and commutative algebra with unit. We describe the structure of the derivation Lie algebra of the current Lie algebra…
Let $\Bbbk$ be an algebraically closed field of characteristic $2$ and let $\mathfrak{fsl}(2)$ be the unique, up to isomorphism, $3$-dimensional simple Lie algebra over $\Bbbk$. Denote by $\mathfrak{m}$ the minimal $2$-envelope of…
We discuss and illustrate the behaviour of the continued fraction expansion of a formal power series under specialisation of parameters or their reduction modulo $p$ and sketch some applications of the reduction theorem here proved.
We state a conjecture on the reduction modulo the defining characteristic of a unipotent representation of a finite reductive group.
Given an odd prime number p, we describe a continued fraction in the field F(p) of power series in 1/T with coefficients in the finite field F_p, where T is a formal indeterminate. This continued fraction satisfies an algebraic equation of…
The submodule structure of mod $p$ principal series representations of $\mathrm{GL}_2(k)$, for $k$ a finite field of characteristic $p$, was described by Bardoe and Sin and has played an important role in subsequent work on the mod $p$…
Let H be a Hopf algebra which is a finite module over a central sub-Hopf algebra R. The ramification behaviour of the maximal ideals of Z(H) with respect to the subalgebra R is studied. In the case when H is U(g), the enveloping algebra of…
We study the problem of determining all connected Lie groups $G$ which have the following property (hlp): every sub-Laplacian $L$ on $G$ is of holomorphic $L^p$-type for $1\leq p<\infty, p\ne 2.$ First we show that semi-simple non-compact…
Fix m >= 1 and let E be an elliptic curve over Q with complex multiplication. We formulate conjectures on the density of primes p (congruent to one modulo m) for which the pth Fourier coefficient of E is an mth power modulo p; often these…
We study finite-dimensional representations of hyper loop algebras, i.e., the hyperalgebras over an algebraically closed field of positive characteristic associated to the loop algebra over a complex finite-dimensional simple Lie algebra.…
Working over the prime field F_p, the structure of the indecomposables Q^* for the action of the algebra of Steenrod reduced powers A(p) on the symmetric power functors S^* is studied by exploiting the theory of strict polynomial functors.…
Sometimes, it is very important to consider what type of setting is assumed when studying a mathematical object. For example, in Galois theory, properties can completely change if we study a field extension over $F_p$ instead of a field…
Let $L$ be a finite dimensional Lie algebra over a field $F$. It is well known that the solvable radical $S(L)$ of the algebra $L$ is a characteristic ideal of $L$ if $\char F=0$ and there are counterexamples to this statement in case…