Related papers: Abelian ideals with given dimension in Borel subal…
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 $J$ be an abelian variety over a number field such that the center of its endomorphism ring is equal to the ring of integers. If the endomorphism ring splits at a prime number $l$, then the $l$-adic representation is defined by the…
We study relations between subsets of integers that are large, where large can be interpreted in terms of size (such as a set of positive upper density or a set with bounded gaps) or in terms of additive structure (such as a Bohr set). Bohr…
In this paper, we confirm the Fino-Vezzoni Conjecture for unimodular Lie algebras which contain abelian ideals of codimension two, a natural generalization to the class of almost abelian Lie algebras. This provides new evidence towards the…
Let $A=F[x,y]$ be the polynomial algebra on two variables $x,y$ over an algebraically closed field $F$ of characteristic zero. Under the Poisson bracket, $A$ is equipped with a natural Lie algebra structure. It is proven that the maximal…
For every field $F$ which has a quadratic extension $E$ we show there are non-metabelian infinite-dimensional thin graded Lie algebras all of whose homogeneous components, except the second one, have dimension $2$. We construct such Lie…
Let G be a quasi simple algebraic group over an algebraically closed field k whose characteristic is not very bad for G, and let B be a Borel subgroup of G with Lie algebra b. Given a B-stable abelian subalgebra a of the nilradical of b, we…
The present article is part of a research program the aim of which is to find all indecomposable solvable extensions of a given class of nilpotent Lie algebras. Specifically in this article we consider a nilpotent Lie algebra n that is…
We study the distribution of principal ideals generated by irreducible elements in an algebraic number field.
Ideals in the ring of power series in three variables can be classified based on algebra structures on their minimal free resolutions. The classification is incomplete in the sense that it remains open which algebra structures actually…
Frobenius' Theorem states that the algebra of quaternions $\mathbb H$ is, besides the fields of real and complex numbers, the only finite-dimensional real division algebra. We first give a short elementary proof of this theorem, then…
We study the structures of arbitrary split $\delta$ Jordan-Lie algebras with symmetric root systems. We show that any of such algebras $L$ is of the form $L = U + \sum\limits_{[j] \in \Lambda/\sim}I_{[j]}$ with $U$ a subspace of $H$ and any…
Let $b\ge 2$ be an integer. We show that the set of real numbers that are Poisson generic in base $b$ is $\boldsymbol{\Pi}^0_3$-complete in the Borel hierarchy of subsets of the real line. Furthermore, the set of real numbers that are Borel…
Semisimple Lie algebras have been completely classified by Cartan and Killing. The Levi theorem states that every finite dimensional Lie algebra is isomorphic to a semidirect sum of its largest solvable ideal and a semisimple Lie algebra.…
In this paper, the Boiti Leon Pempinelli system in (2+1)-dimensions is revisited for Lie symmetries and invariant solutions. An infinite-dimensional Lie algebra is obtained using the Lie invariance criterion and is further classified into…
Given two quasi-hereditary algebras, their tensor product is quasi-hereditary. In this article, we show that given two exact Borel subalgebras for these quasi-hereditary algebras, their tensor product is an exact Borel subalgebra. Moreover,…
We consider Arveson's problem on the maximality of subdiagonal algebras. We prove that a subdiagonal algebra is maximal if it is invariant under the modular group of a faithful normal state which is preserved by the conditional expectation…
The ideals of the Lie algebras of unitriangular polynomial derivations are classified. An isomorphism criterion is given for the Lie factor algebras of the Lie algebras of unitriangular polynomial derivations.
Is it possible to distinguish algebraic from transcendental real numbers by considering the $b$-ary expansion in some base $b\ge2$? In 1950, \'E. Borel suggested that the answer is no and that for any real irrational algebraic number $x$…
This short note gives a geometric interpretation of the Atiyah class of a Lie pair. It proves that it vanishes if the subalgebroid is the kernel of a fibration of Lie algebroids. In other words, the Atiyah class of a Lie pair vanishes if…