BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Willem A. de Graaf appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We describe an algorithm for determining the algebraic subgroup of GL(n,C) that is defined as the closure of the group generated by a finite number of elements of GL(n,C). The algorithm avoids the use of Groebner bases and can be used on non-trivial examples. In the last section we report on an implementation of the algorithm in the computer algebra system {\tt OSCAR}.
We classify states of four rebits, that is, we classify the orbits of the group $\widehat{G}(\mathbb R) = \mathrm{\mathop{SL}}(2,\mathbb R)^4$ in the space $(\mathbb R^2)^{\otimes 4}$. This is the real analogon of the well-known SLOCC operations in quantum information theory. By constructing the $\widehat{G}(\mathbb R)$-module $(\mathbb R^2)^{\otimes 4}$ via a $\mathbb Z/2\mathbb Z$-grading of the simple split real Lie algebra of type $D_4$, the orbits are divided into three groups: semisimple, nilpotent and mixed. The nilpotent orbits have been classified in Dietrich et al. (2017), yielding applications in theoretical physics (extremal black holes in the STU model of $\mathcal{N}=2, D=4$ supergravity, see Ruggeri and Trigiante (2017)). Here we focus on the semisimple and mixed orbits which we classify with recently developed methods based on Galois cohomology, see Borovoi et al. (2021). These orbits are relevant to the classification of non-extremal (or extremal over-rotating) and two-center extremal black hole solutions in the STU model.
We classify four qubit states under SLOCC operations, that is, we classify the orbits of the group $\mathrm{\mathop{SL}}(2,\mathbb{C})^4$ on the Hilbert space $\mathcal{H}_4 = (\mathbb{C}^2)^{\otimes 4}$. We approach the classification by realising this representation as a symmetric space of maximal rank. We first describe general methods for classifying the orbits of such a space. We then apply these methods to obtain the orbits in our special case, resulting in a complete and irredundant classification of $\mathrm{\mathop{SL}}(2,\mathbb{C})^4$-orbits on $\mathcal{H}_4$. It follows that an element of $(\mathbb{C}^2)^{\otimes 4}$ is conjugate to an element of precisely 87 classes of elements. Each of these classes either consists of one element or of a parametrised family of elements, and the elements in the same class all have equal stabiliser in $\mathrm{\mathop{SL}}(2,\mathbb{C})^4$. We also present a complete and irredundant classification of elements and stabilisers up to the action of ${\rm Sym}_4\ltimes\mathrm{\mathop{SL}}(2,\mathbb{C})^4$ where ${\rm Sym}_4$ permutes the four tensor factors of $(\mathbb{C}^2)^{\otimes 4}$.
A constructive method for decomposing finite dimensional representations of semisimple real Lie algebras is developed. The method is illustrated by an example. We also discuss an implementation of the algorithm in the language of the computer algebra system {\sf GAP}4.
We give tables of noncompact real forms of maximal reductive subalgebras of complex simple Lie algebras of rank up to 8. These were obtained by computational methods that we briefly describe. We also discuss applications in theoretical physics of these embeddings.
In this note we show how to obtain the projection matrix for the $E_7 \subset C_{28}$ chain and we tabulate some decompositions of the symplectic algebra $C_{28}$ representations into irreps of the $E_7$ subalgebra that are important for various physical models.
For a semisimple Lie algebra over the complex numbers, Dynkin (1952) developed an algorithm to classify the regular semisimple subalgebras, up to conjugacy by the inner automorphism group. For a graded semisimple Lie algebra over the complex numbers, Vinberg (1979) showed that a classification of a certain type of regular subalgebras (called carrier algebras) yields a classification of the nilpotent orbits in a homogeneous component of that Lie algebra. Here we consider these problems for (graded) semisimple Lie algebras over the real numbers. First, we describe an algorithm to classify the regular semisimple subalgebras of a real semisimple Lie algebra. This also yields an algorithm for listing, up to conjugacy, the carrier algebras in a real graded semisimple real algebra. We then discuss what needs to be done to obtain a classification of the nilpotent orbits from that; such classifications have applications in differential geometry and theoretical physics. Our algorithms are implemented in the language of the computer algebra system GAP, using our package CoReLG; we report on example computations.
We report on some computations with nilpotent orbits in simple Lie algebras of exceptional type within the SLA package of GAP4. Concerning reachable nilpotent orbits our computations firstly confirm the classification of such orbits in Lie algebras of exceptional type by Elashvili and Grelaud, secondly they answer a question by Panyushev, and thirdly they show in what way a recent result of Yakimova for the Lie algebras of classical type extends to the exceptional types. The second topic of this note concerns abelianizations of centralizers of nilpotent elements. We give tables with their dimensions.
We describe an algorithm for obtaining generators of the unit group of the integral group ring ZG of a finite abelian group G. We used our implementation in Magma of this algorithm to compute the unit groups of ZG for G of order up to 110. In particular for those cases we obtained the index of the group of Hoechsmann units in the full unit group. At the end of the paper we describe an algorithm for the more general problem of finding generators of an arithmetic group corresponding to a diagonalizable algebraic group.
We consider the problem of constructing semisimple subalgebras of real (semi-) simple Lie algebras. We develop computational methods that help to deal with this problem. Our methods boil down to solving a set of polynomial equations. In many cases the equations turn out to be sufficiently "pleasant" to be able to solve them. In particular this is the case for S-subalgebras.
Let g be a real form of a simple complex Lie algebra. Based on ideas of Djokovic and Vinberg, we describe an algorithm to compute representatives of the nilpotent orbits of g using the Kostant-Sekiguchi correspondence. Our algorithms are implemented for the computer algebra system GAP and, as an application, we have built a database of nilpotent orbits of all real forms of simple complex Lie algebras of rank at most 8. In addition, we consider two real forms g and g' of a complex simple Lie algebra g^c with Cartan decompositions g= k+p and g'=k'+p'. We describe an explicit construction of an isomorphism g -> g', respecting the given Cartan decompositions, which fails if and only if g and g' are not isomorphic. This isomorphism can be used to map the representatives of the nilpotent orbits of g to other realisations of the same algebra.
We describe a method for classifying the Novikov algebras with a given associated Lie algebra. Subsequently we give the classification of the Novikov algebras of dimension 3 over R and C, as well as the classification of the 4-dimensional Novikov algebras over C whose associated Lie algebra is nilpotent. In particular this includes a list of all 4-dimensional commutative associative algebras over C.
Algorithms are described that help with obtaining a classification of the semisimple subalgebras of a given semisimple Lie algebra, up to linear equivalence. The algorithms have been used to obtain classifications of the semisimple subalgebras of the simple Lie algebras of ranks <= 8. These have been made available as a database inside the SLA package of GAP4. The subalgebras in this database are explicitly given, as well as the inclusion relations among them.
Let $Q$ be an algebraic group with $q=\Lie Q$ and $V$ a $Q$-module. The index of $V$ is the minimal codimension of the $Q$-orbits in the dual space $V^*$. There is a general inequality, due to Vinberg, relating the index of $V$ and the index of a $Q_v$-module $V/q.v$ for $v\in V$. A pair $(Q,V)$ is said to have GIB if Vinberg's inequality turns into an equality for all $v\in V$. In this article, we are interested in the GIB property of $θ$-representations, where $θ$ is a finite order automorphism of a simple Lie algebra $g$. An automorphism of order $m$ defines a $Z/mZ$-grading $g=g_0+g_1+...+g_{m-1}$. If $G_0$ is the identity component of $G^θ$, then it acts on $\gt g_1$ and this action is called a $θ$-representation. We classify inner automorphisms of $gl_n$ and all finite order autmorphisms of the exceptional Lie algebras such that $(G_0,g_1)$ has GIB and $g_1$ contains a semisimple element.