Related papers: The relational complexity of linear groups acting …
Let $\mathbb{F}_2^\omega$ denote the countably infinite dimensional vector space over the two element field and $\operatorname{GL}(\omega, 2)$ its automorphism group. Moreover, let $\operatorname{Sym}(\mathbb{F}_2^\omega)$ denote the…
A $p$-local compact group is an algebraic object modelled on the homotopy theory associated with $p$-completed classifying spaces of compact Lie groups and p-compact groups. In particular $p$-local compact groups give a unified framework in…
We exhibit explicit orthogonal decompositions of every multidimensional restricted root space of a real semi-simple Lie algebra. We then show a link between this result and a radiality property of smooth functions on G-homogeneous spaces…
We investigate the descriptive set-theoretic complexity of the solvability of a Borel family of linear equations over a finite field. Answering a question of Thornton, we show that this problem is already hard, namely $\Sigma^1_2$-complete.…
We explicitly classify all pairs $(M,G)$, where $M$ is a connected complex manifold of dimension $n\ge 2$ and $G$ is a connected Lie group acting properly and effectively on $M$ by holomorphic transformations and having dimension $d_G$…
The spectrum $\omega(G)$ of a finite group $G$ is the set of element orders of $G$. If $\Omega$ is a non-empty subset of the set of natural numbers, $h(\Omega)$ stands for the number of isomorphism classes of finite groups $G$ with…
For a given linear program (LP) a permutation of its variables that sends feasible points to feasible points and preserves the objective function value of each of its feasible points is a symmetry of the LP. The set of all symmetries of an…
Suppose that a group $G$ has socle $L$ a simple large-rank classical group. Suppose furthermore that $G$ acts transitively on the set of lines of a linear space $\mathcal{S}$. We prove that, provided $L$ has dimension at least 25, then $G$…
Collective Adaptive Systems often consist of many heterogeneous components typically organised in groups. These entities interact with each other by adapting their behaviour to pursue individual or collective goals. In these systems, the…
It is not hard to write a first order formula which is true for a given graph G but is false for any graph not isomorphic to G. The smallest number $(G) of nested quantifiers in a such formula can serve as a measure for the ``first order…
We investigate the configuration where a group of finite Morley rank acts definably and generically $m$-transitively on an elementary abelian $p$-group of Morley rank $n$, where $p$ is an odd prime, and $m\geqslant n$. We conclude that…
Let $n$ be a positive integer, $\sigma$ be an element of the symmetric group $\mathcal{S}_n$ and let $\sigma$ be a cycle of length $n$. The elements $\alpha ,\beta \in \mathcal{S}_n$ are $\sigma$-equivalent, if there are natural numbers $k$…
The notion of rigidity of Lie algebra is linked to the following problem: when does a Lie brackets $\mu$ on a vector space g satisfy that every Lie bracket $\mu_1$ sufficiently close to $\mu$ is of the form $\mu_1 = P.\mu $ for some P in…
The author proposes a method for investigating actions of finite groups on aspherical spaces. Complete homotopy classification of free actions of finite groups on aspherical spaces is obtained. Also there are some results about non-free…
The aim of this paper is to study the natural action of the real symplectic group, $\operatorname{Sp}(4, \mathbb{R})$, on the algebraic set of $4$-dimensional Lie algebras admitting symplectic structures and to give a complete…
The question of characterizing the (finite) representable relation algebras in a ``nice" way is open. The class $\mathbf{RRA}$ is known to be not finitely axiomatizable in first-order logic. Nevertheless, it is conjectured that ``almost…
Let $G$ be a commutative algebraic group embedded in projective space and $\Gamma$ a finitely generated subgroup of $G$. From these data we construct a chain of algebraic subgroups of $G$ which is intimately related to obstructions to…
In this work we state a result that relates the cohomology groups of a Lie algebra $\mathfrak{g}$ and a current Lie algebra $\mathfrak{g} \otimes \mathcal{S}$, by means of a short exact sequence -- similar to the universal coefficients…
A connected linear algebraic group G is called a Cayley group if the Lie algebra of G endowed with the adjoint G-action and the group variety of G endowed with the conjugation G-action are birationally G-isomorphic. In particular, the…
We introduce partial group algebras with relations in a purely algebraic framework. Given a group and a set of relations, we define an algebraic partial action and prove that the resulting partial skew group ring is isomorphic to the…