Related papers: A Simple proof of Curtis' connectivity theorem for…
The Hilbert-Smith Conjecture states that if G is a locally compact group which acts effectively on a connected manifold as a topological transformation group, then G is a Lie group. A rather straightforward proof of this conjecture is…
An abelian group acting freely on a $\mathrm{CAT}(0)$ cube complex is free abelian.
Ulam asked whether all Lie groups can be represented faithfully on a countable set. We establish a reduction of Ulam's problem to the case of simple Lie groups. In particular, we solve the problem for all solvable Lie groups and more…
We investigate a property that extends the Danos-Regnier correctness criterion for linear logic proof-structures. The property applies to the correctness graphs of a proof-structure: it states that any such graph is acyclic and the number…
A Hamiltonian system is completely integrable (in the sense of Liouville) if there exist as many independent integrals of motion in involution as the dimension of the configuration space. Under certain regularity conditions,…
I determine the twisted K-theory of all compact simply connected simple Lie groups. The computation reduces via the Freed-Hopkins-Teleman theorem to the CFT prescription, and thus explains why it gives the correct result. Finally I analyze…
The best-known version of Shelah's celebrated singular cardinal compactness theorem states that if the cardinality of an abelian group is singular, and all its subgroups of lesser cardinality are free, then the group itself is free. The…
Contractions are a procedure to construct a new Lie algebra out of a given one via a singular limit. Specifically, the \.In\"on\"u--Wigner construction starts with a Lie algebra $\mathfrak{g}$ with Lie subalgebra $\mathfrak{h} \subseteq…
In this short communication we show how the Lie algebra $\mathfrak{g}_2$ can easily be described as a free Lie algebra on 3 generators, subject to some simple quadruple relations for these generators.
Advances in quantum computing over the last two decades have required sophisticated mathematical frameworks to deepen the understanding of quantum algorithms. In this review, we introduce the theory of Lie groups and their algebras to…
Let $G$ be a group generated by a set $X$. It is well known and easy to check that \[ [g_1, g_2, \dots ,g_n] = 1 \mbox{ for all } g_i \in G \qquad \iff \qquad [x_1, x_2, \dots , x_n] =1 \mbox{ for all } x_i \in X. \] Let $L$ be a Lie…
In this note, we provide a different proof of Hill's criterion of freeness for abelian groups. Our proof hinges on the construction of suitable families of subgroups of the links in Hill's theorem and, ultimately, on the construction of…
We prove a discretized sum-product theorem for representations of Lie groups whose Jordan-H\"older decomposition does not contain the trivial representation. This expansion result is used to derive a product theorem in perfect Lie groups.
We consider the lower central filtration of the free associative algebra $A_n$ with $n$ generators as a Lie algebra. We consider the associated graded Lie algebra. It is shown that this Lie algebra has a huge center which belongs to the…
By using of Euler's difference table, we obtain simple explicit formula for the decomposition of $k$-th tensor power of adjoint representation of $A_n$ Lie algebra at $2 k \le{n+1}$.
Let $\ell$ be a prime. If ${\mathbf G} $ is a compact connected Lie group, or a connected reductive algebraic group in characteristic different from $\ell$, and $\ell$ is a good prime for ${\mathbf G}$, we show that the number of weights of…
We explain that general differential calculus and Lie theory have a common foundation: Lie Calculus is differential calculus, seen from the point of view of Lie theory, by making use of the groupoid concept as link between them. Higher…
We give a short elementary proof of the fact that connected semisimple real Lie groups satisfy property RD. The proof is based on a process of linearization.
In noncommutative geometry a `Lie algebra' or bidirectional bicovariant differential calculus on a finite group is provided by a choice of an ad-stable generating subset C stable under inversion. We study the associated Killing form. For…
We define, for each subset $S$ of the set $\mathcal{P}$ of primes, an $S_n$-module $Lie_n^S$ with interesting properties. $Lie_n^\emptyset$ is the well-known representation $Lie_n$ of $S_n$ afforded by the free Lie algebra, while…