Related papers: Black box exceptional groups of Lie type

We introduce a new constructive recognition algorithm for finite special linear groups in their natural representation. Given a group $G$ generated by a set of $d\times d$ matrices over a finite field $\mathbb{F}_q$, known to be isomorphic…

Let $R$ be a semilocal principal ideal domain. Two algebraic objects over $R$ in which scalar extension makes sense (e.g. quadratic spaces) are said to be of the same genus if they become isomorphic after extending scalars to all…

Lie theory is, beyond any doubt, an absolutely essential part of differential geometry. It is therefore necessary to seek its generalization to $\mathbb{Z}$-graded geometry. In particular, it is vital to construct non-trivial and explicit…

We present a new adaptive Monte Carlo integration algorithm for ill-behaved integrands with non-factorizable singularities. The algorithm combines Vegas with multi channel sampling and performs significantly better than Vegas for a large…

The Profinite Isomorphism Problem for a class of groups \mathcal{C} asks for an algorithm that decides for any two groups in \mathcal{C} whether they have isomorphic profinite completions. We present the positive solution to this problem…

We construct an infinite dimensional real analytic manifold structure for the space of real analytic mappings from a compact manifold to a locally convex manifold. Here a map is real analytic if it extends to a holomorphic map on some…

We engineer a new probabilistic Monte-Carlo algorithm for isomorphism testing. Most notably, as opposed to all other solvers, it implicitly exploits the presence of symmetries without explicitly computing them. We provide extensive…

In this paper we propose a (non-linear) smoothing algorithm for group-affine observation systems, a recently introduced class of estimation problems on Lie groups that bear a particular structure. As most non-linear smoothing methods, the…

Let K be a number field, let A be a finite dimensional semisimple K-algebra and let Lambda be an O_K-order in A. It was shown in previous work that, under certain hypotheses on A, there exists an algorithm that for a given (left)…

A 4-dimensional Riemannian manifold equipped with an endomorphism of the tangent bundle, whose fourth power is the identity, is considered. The matrix of this structure in some basis is circulant and the structure acts as an isometry with…

It is well-known that irreversible MCMC algorithms converge faster to their stationary distributions than reversible ones. Using the special geometric structure of Lie groups $\mathcal G$ and dissipation fields compatible with the…

In order to define the complex exceptional Lie groups $ {F_4}^C, {E_6}^C, {E_7}^C, {E_8}^C $ and these compact real forms $ F_4,E_6,E_7,E_8 $, we usually use the Cayley algebra $ \mathfrak{C} $. In the present article, we consider replacing…

We classify connected Lie groups which are locally isomorphic to generalized Heisenberg groups. For a given generalized Heisenberg group $N$, there is a one-to-one correspondence between the set of isomorphism classes of connected Lie…

We provide characterizations of Lie groups as compact-like groups in which all closed zero-dimensional metric (compact) subgroups are discrete. The "compact-like" properties we consider include (local) compactness, (local)…

We investigate the general structure of the automorphism group and the Lie algebra of derivations of a finitely generated vertex operator algebra. The automorphism group is isomorphic to an algebraic group. Under natural assumptions, the…

Let $G$ be a linear algebraic group, over a field $F$. We show that $G$ is isomorphic to the automorphism group scheme of a smooth projective $F$-variety, defined as the blow-up of a projective space, along a suitable smooth subvariety.

We prove that any real Lie group of dimension \leq 5 admits a left invariant flat projective structure. We also prove that a real Lie group L of dimension \leq 5 admits a left invariant flat affine structure if and only if the Lie algebra…

The group isomorphism problem asks whether two finite groups given by their Cayley tables are isomorphic or not. Although there are polynomial-time algorithms for some specific group classes, the best known algorithm for testing isomorphism…

We construct Lie algebras arising from cubic norm pairs over arbitrary commutative base rings. Such Lie algebras admit a grading by a root system of type $G_2$, and when the cubic norm pair is a cubic Jordan matrix algebra, the…

In comparison to graphs, combinatorial methods for the isomorphism problem of finite groups are less developed than algebraic ones. To be able to investigate the descriptive complexity of finite groups and the group isomorphism problem, we…