Related papers: Computing component groups of stabilizers of nilpo…

Suppose that $G$ is a finite solvable group and $V$ is a finite, faithful and completely reducible $G$-module. Let $N$ be a nilpotent subgroup of $G$, then there exits $v \in V$ such that $|\bC_N(v)| \leq (|N|/p)^{1/p}$, where $p$ is the…

We sharpen the orbit method for finite groups of small nilpotence class by associating representations to functionals on the corresponding Lie rings. This amounts to describing compatible intertwiners between representations parameterized…

Rationalization is to employ a generator and a predictor to construct a self-explaining NLP model in which the generator selects a subset of human-intelligible pieces of the input text to the following predictor. However, rationalization…

Let G be a reductive complex algebraic group and V a finite-dimensional G-module. From elements of the invariant algebra C[V]^G we obtain by polarization elements of C[kV]^G, where k\geq 1 and kV denotes the direct sum of k copies of V. For…

Let $G$ be a reductive algebraic group and let $Z$ be the stabilizer of a nilpotent element $e$ of the Lie algebra of $G$. We consider the action of $Z$ on the flag variety of $G$, and we focus on the case where this action has a finite…

This is the first of a series of papers devoted to certain pairs of commuting nilpotent elements in a semisimple Lie algebra that enjoy quite remarkable properties and which are expected to play a major role in Representation theory. The…

In this paper, time-independent Hamiltonian systems are investigated via a Lie-group/algebra formalism. The (unknown) solution linked with the Hamiltonian is considered to be a Lie-group transformation of the initial data, where the group…

For a mixing shift of finite type, the associated automorphism group has a rich algebraic structure, and yet we have few criteria to distinguish when two such groups are isomorphic. We introduce a stabilization of the automorphism group,…

Let $G$ be a classical linear algebraic group over an algebraically closed field, and let $\mathfrak{n}$ denote the subset of nilpotent elements in its Lie algebra. In this paper we study a partial order on the $G$-orbits in $\mathfrak{n}$…

Let $\0$ be a nilpotent orbit in a semisimple complex Lie algebra $\g$. Denote by $G$ the simply connected Lie group with Lie algebra $\g$. For a $G$-homogeneous covering $M \to \0$, let $X$ be the normalization of $\bar{\0}$ in the…

We compute explicitly the group of connected components $\pi_0G(\mathbb{R})$ of the real Lie group $G(\mathbb{R})$ for an arbitrary (not necessarily linear) connected algebraic group $G$ defined over the field $\mathbb{R}$ of real numbers.…

We develop practical techniques to compute with arithmetic groups $H\leq \mathrm{SL}(n,\mathbb{Q})$ for $n>2$. Our approach relies on constructing a principal congruence subgroup in $H$. Problems solved include testing membership in $H$,…

Let $G$ be a connected, simply connected, nilpotent Lie group whose irreducible unitary representations are square-integrable modulo the center. We obtain characterization results for reproducing formulas associated with the left…

We investigate the computational complexity for determining various properties of a finite transformation semigroup given by generators. We introduce a simple framework to describe transformation semigroup properties that are decidable in…

We formulate generalizations of Pauli's theorem on the cases of real and complex Clifford algebras of even and odd dimensions. We give analogues of these theorems in matrix formalism. Using these theorems we present an algorithm for…

Let $g_e$ be the centraliser of a nilpotent element $e$ in a finite dimensional simple Lie algebra $g$ of rank $l$ over an algebraically closed field of characteristic 0. We investigate the algebra $S(g_e)^{g_e}$ of symmetric invariants of…

Taking into account the theoretical results and guidelines given inthis work, we introduce a computational method to construct any 2 step nilpotent quadratic algebra of d generators. Along the work we show that the key of the classification…

We introduce a method for obtaining new classes of free divisors from representations $V$ of connected linear algebraic groups $G$ where $\dim(G)=\dim(V)$, with $V$ having an open orbit. We give sufficient conditions that the complement of…

We develop a package using the computer algebra system GAP for computing the decomposition of a representation $\rho$ of a finite group $G$ over $\mathbb{C}$ into irreducibles, as well as the corresponding decomposition of the centraliser…

We show the applicability of the Cartan decomposition of Lie algebras to quantum circuits. This approach can be used to synthesize circuits that can efficiently implement any desired unitary operation. Our method finds explicit quantum…