Related papers: On the Arithmetic Fundamental Lemma through Lie al…

Wang and Sun proved a certain summatory formula involving derangements and primitive roots of the unit. We study such a formula but for the particular case of the set of affine derangements in $\overrightarrow{GL}(\mathbb{Z}/2k\mathbb{Z})$…

Let $f:V\times V\to F$ be a totally arbitrary bilinear form defined on a finite dimensional vector space $V$ over a a field $F$, and let $L(f)$ be the subalgebra of $\gl(V)$ of all skew-adjoint endomorphisms relative to $f$. Provided $F$ is…

We investigate the real Lie algebra of first-order differential operators with polynomial coefficients, which is subject to the following requirements. (1) The Lie algebra should admit a basis of differential operators with homogeneous…

In this paper, we prove that the variety $C_m(L)$ of commuting $m$-tuples of elements of simple Lie algebra $L$ is often reducible. Explicitely, we prove it is reducible for all simple Lie algebra $L$ not isomorphic to $\mathfrak{sl}_2$ and…

In this paper some results on the Lie structure of prime superalgebras are discussed. We prove that, with the exception of some special cases, for a prime superalgebra, $A$, over a ring of scalars $\Phi$ with $1/2\in \Phi$, if $L$ is a Lie…

In this paper, we prove classical affine W-algebras associated to Lie superalgebras (W-superalgebras) can be constructed in two different ways: via affine classical Hamiltonian reductions and via taking quasi-classical limits of quantum…

We revisit the third fundamental theorem of Lie (Lie III) for finite dimensional Lie algebras in the context of infinite dimensional matrices.

Let $A$ be a semiprime 2 and 3-torsion free non-commutative associative algebra. We show that the Lie algebra $\der(A)$ of (associative) derivations of $A$ is strongly non-degenerate, which is a strong form of semiprimeness for Lie…

The space spanned by the characters of twisted affine Lie algebras admit the action of certain congruence subgroups of $SL(2,\mathbb{Z})$. By embedding the characters in the space spanned by theta functions, we study 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…

Many proofs of the Fundamental Theorem of Algebra, including various proofs based on the theory of analytic functions of a complex variable, are known. To the best of our knowledge, this proof is different from the existing ones.

This paper presents an elementary and direct proof of the Fundamental Theorem of Algebra, via Bolzano-Weierstrass Theorem on Minima, that avoids: every root extraction, angle, non-algebraic functions, differentiation, integration, series…

We introduce the theory of local minimal models for Kan simplicial manifolds, which provide the appropriate generalization of minimal Kan simplicial sets to geometric contexts. We use this to obtain the first proof of Lie's third theorem…

We give a new proof of the so-called Lie algebra version of Jacquet-Rallis's fundamental lemma for local non-Archimedean fields of characteristic zero. This proof is local and based on a previous result of W. Zhang on the compatibility of…

For a finite dimensional complex Lie algebra, its index is the minimal dimension of stabilizers for the coadjoint action. A famous conjecture due to Elashvili says that the index of the centralizer of an element of a reductive Lie algebra…

The nonabelian two-dimensional Lie algebra over a field $\mathbb{F}$ has a presentation by generators $A$, $B$ and relation $\left[ A,B\right]=A$, with the universal enveloping algebra having a presentation by generators $A$, $B$ and…

A lattice $L$ is said lowly finite if the set $[\mathsf{0},a]$ is finite for every element $a$ of $L$. We mainly aim to provide a complete proof that, if $M$ is a subset of a complete lowly finite distributive lattice $L$ containing its…

In the present paper, we study a purely inseparable counterpart of Abhyankar's conjecture for the affine line in positive characteristic, and prove its validity for all the finite local non-abelian simple group schemes in characteristic…

We define Hecke correspondences and Hecke operators on unitary RZ spaces and study their basic geometric properties, including a commutativity conjecture on Hecke operators. Then we formulate the Arithmetic Fundamental Lemma conjecture for…

A Lie algebra $L$ is said to be $(\Theta_{n},sl_{n})$-graded if it contains a simple subalgebra $\mathfrak{g}$ isomorphic to $sl_{n}$ such that the $\mathfrak{g}$-module $L$ decomposes into copies of the adjoint module, the trivial module,…