Showing 1–46 of 46 results for author: De Graaf, W A

Computing the Zariski closure of a finitely generated rational matrix group

Authors: Willem A. de Graaf

Abstract: 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 therefore be used on non-trivial examples. 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 therefore be used on non-trivial examples. △ Less

Submitted 5 May, 2025; originally announced May 2025.

MSC Class: 20G20

The subalgebras of the generalized special unitary algebra $\mathfrak{su}(2,1)$

Authors: Andrew Douglas, Willem A. de Graaf

Abstract: We classify the real subalgebras of the generalized special unitary algebra $\mathfrak{su}(2,1)$, a non-compact real form of the complex special linear algebra $\mathfrak{sl}_3(\mathbb{C})$. Our approach combines Galois cohomology with the existing classification of complex subalgebras of $\mathfrak{sl}_3(\mathbb{C})$. This work completes the classification of real subalgebras of the non-compact r… ▽ More We classify the real subalgebras of the generalized special unitary algebra $\mathfrak{su}(2,1)$, a non-compact real form of the complex special linear algebra $\mathfrak{sl}_3(\mathbb{C})$. Our approach combines Galois cohomology with the existing classification of complex subalgebras of $\mathfrak{sl}_3(\mathbb{C})$. This work completes the classification of real subalgebras of the non-compact real forms of $\mathfrak{sl}_3(\mathbb{C})$, since those of $\mathfrak{sl}_3(\mathbb{R})$ have already been classified. △ Less

Submitted 24 April, 2025; originally announced April 2025.

MSC Class: 17B05; 17B20; 17B30; 20G10; 20G20

Galois cohomology and the subalgebras of the special linear algebra $\mathfrak{sl}_3(\mathbb{R})$

Authors: Andrew Douglas, Willem A. de Graaf

Abstract: We utilize Galois cohomology to classify the real subalgebras of the special linear algebra $\mathfrak{sl}_3(\mathbb{R})$, leveraging the established classification of complex subalgebras of $\mathfrak{sl}_3(\mathbb{C})$. Although a classification of the real subalgebras of $\mathfrak{sl}_3(\mathbb{R})$ already exists, our results and the methodology employed are significant for three key reasons.… ▽ More We utilize Galois cohomology to classify the real subalgebras of the special linear algebra $\mathfrak{sl}_3(\mathbb{R})$, leveraging the established classification of complex subalgebras of $\mathfrak{sl}_3(\mathbb{C})$. Although a classification of the real subalgebras of $\mathfrak{sl}_3(\mathbb{R})$ already exists, our results and the methodology employed are significant for three key reasons. Firstly, it introduces a new approach to classifying real subalgebras of real semisimple Lie algebras, providing a framework for future work. Secondly, given the computational complexity and intricacy of such classifications, our verification of the previous classification through a different method provides a valuable contribution to the literature. Thirdly, subalgebras of semisimple Lie algebras have applications in both physics and applied mathematics; contributions to understanding the subalgebra structure of semisimple Lie algebras may enhance the implementation and comprehension of these applications. △ Less

Submitted 2 February, 2025; originally announced February 2025.

MSC Class: 17B05; 17B20; 17B30; 20G10; 20G20

Computing component groups of stabilizers of nilpotent orbit representatives

Authors: Emanuele Di Bella, Willem A. De Graaf

Abstract: The theory of nilpotent orbits of simple Lie algebras has seen tremendous developments over the past decades. In this context an important role is played by the component group of the stabilizer of a nilpotent element. In this work, the aim is to show computational methods to obtain explicit generators of the component group of the centralizer of a nilpotent element in a simple Lie algebra over… ▽ More The theory of nilpotent orbits of simple Lie algebras has seen tremendous developments over the past decades. In this context an important role is played by the component group of the stabilizer of a nilpotent element. In this work, the aim is to show computational methods to obtain explicit generators of the component group of the centralizer of a nilpotent element in a simple Lie algebra over $\mathbb{C}$. In some cases such generators had already been determined by impressive hand calculations but these often use the specific form of the chosen representative and are thus not immediately applicable to different representatives of the same orbit. It is then interesting to show how to overcome this issue constructing specific algorithms: for the classical types there is a straightforward method that directly translates well-known theoretical constructions; for the exceptional types we devise a method using the double centralizer of an $\mathfrak{sl}_2$-triple. In particular, it gives an independent construction of the component group, that does not depend on the prior knowledge of its isomorphism type. For our purposes, we needed to construct many algorithms which have been mainly implemented in the computational algebra system GAP. △ Less

Submitted 16 July, 2024; originally announced July 2024.

A computational approach to almost-inner derivations

Authors: Heiko Dietrich, Willem A. de Graaf

Abstract: We present a computational approach to determine the space of almost-inner derivations of a finite dimensional Lie algebra given by a structure constant table. We also present an example of a Lie algebra for which the quotient algebra of the almost-inner derivations modulo the inner derivations is non-abelian. This answers a question of Kunyavskii and Ostapenko. We present a computational approach to determine the space of almost-inner derivations of a finite dimensional Lie algebra given by a structure constant table. We also present an example of a Lie algebra for which the quotient algebra of the almost-inner derivations modulo the inner derivations is non-abelian. This answers a question of Kunyavskii and Ostapenko. △ Less

Submitted 9 March, 2024; originally announced March 2024.

MSC Class: 17B40

Real non-degenerate two-step nilpotent Lie algebras of dimension eight

Authors: Mikhail Borovoi, Bogdan Adrian Dina, Willem A. de Graaf

Abstract: We classify the non-degenerate two-step nilpotent Lie algebras of dimension 8 over the field of real numbers, using known results over complex numbers. We write explicit structure constants for these real Lie algebras. We classify the non-degenerate two-step nilpotent Lie algebras of dimension 8 over the field of real numbers, using known results over complex numbers. We write explicit structure constants for these real Lie algebras. △ Less

Submitted 30 August, 2023; v1 submitted 22 August, 2023; originally announced August 2023.

Comments: 21 pages

MSC Class: Primary: 15A21. Secondary: 11E72; 20G05; 20G20

Computing Galois cohomology of a real linear algebraic group

Authors: Mikhail Borovoi, Willem A. de Graaf

Abstract: Let G be a linear algebraic group, not necessarily connected or reductive, over the field of real numbers R. We describe a method, implemented on computer, to find the first Galois cohomology set H^1(R,G). The output is a list of 1-cocycles in G. Moreover, we have an implemented algorithm that, given a 1-cocycle z in Z^1(R,G), finds the cocycle in the computed list to which z is equivalent, togeth… ▽ More Let G be a linear algebraic group, not necessarily connected or reductive, over the field of real numbers R. We describe a method, implemented on computer, to find the first Galois cohomology set H^1(R,G). The output is a list of 1-cocycles in G. Moreover, we have an implemented algorithm that, given a 1-cocycle z in Z^1(R,G), finds the cocycle in the computed list to which z is equivalent, together with an element of G(C) realizing the equivalence. △ Less

Submitted 14 March, 2024; v1 submitted 9 August, 2023; originally announced August 2023.

Comments: V1: 41 pages. V2: 45 pages, the final version to appear in J. London Math. Soc

MSC Class: 20G10; 11E72; 20G20; 68W30

Journal ref: J. Lond. Math. Soc. (2) 109 (2024), no. 5, Paper No. e12906, 53 pp

Classification of real and complex 3-qutrit states

Authors: Sabino Di Trani, Willem A. de Graaf, Alessio Marrani

Abstract: In this paper we classify the orbits of the group SL(3,F)^3 on the space F^3\otimes F^3\otimes F^3 for F=C and F=R. This is known as the classification of complex and real 3-qutrit states. We also give an overview of physical theories where these classifications are relevant. In this paper we classify the orbits of the group SL(3,F)^3 on the space F^3\otimes F^3\otimes F^3 for F=C and F=R. This is known as the classification of complex and real 3-qutrit states. We also give an overview of physical theories where these classifications are relevant. △ Less

Submitted 2 May, 2023; originally announced May 2023.

MSC Class: 81P40

Exploring Lie theory with GAP

Authors: Willem A. de Graaf

Abstract: We illustrate the Lie theoretic capabilities of the computational algebra system GAP4 by reporting on results on nilpotent orbits of simple Lie algebras that have been obtained using computations in that system. Concerning reachable elements in simple Lie algebras we show by computational means that the simple Lie algebras of exceptional type have the Panyushev property. We computationally prove t… ▽ More We illustrate the Lie theoretic capabilities of the computational algebra system GAP4 by reporting on results on nilpotent orbits of simple Lie algebras that have been obtained using computations in that system. Concerning reachable elements in simple Lie algebras we show by computational means that the simple Lie algebras of exceptional type have the Panyushev property. We computationally prove two propositions on the dimension of the abelianization of the centralizer of a nilpotent element in simple Lie algebras of exceptional type. Finally we obtain the closure ordering of the orbits in the null cone of the spinor representation of the group Spin_{13}(C). All input and output of the relevant GAP sessions is given. △ Less

Submitted 28 March, 2023; originally announced March 2023.

MSC Class: 17B45; 20G05

Journal ref: Contemp. Math., 783, 27--46, 2023

Non-virtually abelian discontinuous group actions vs. proper SL(2,R)-actions on homogeneous spaces

Authors: Maciej Bochenski, Willem A. de Graaf, Piotr Jastrzebski, Aleksy Tralle

Abstract: We develop algorithms and computer programs which verify criteria of properness of discrete group actions on semisimple homogeneous spaces. We apply these algorithms to find new examples of non-virtually abelian discontinuous group actions on homogeneous spaces which do not admit proper SL(2,R)-actions. We develop algorithms and computer programs which verify criteria of properness of discrete group actions on semisimple homogeneous spaces. We apply these algorithms to find new examples of non-virtually abelian discontinuous group actions on homogeneous spaces which do not admit proper SL(2,R)-actions. △ Less

Submitted 29 May, 2024; v1 submitted 2 June, 2022; originally announced June 2022.

Comments: revised version, to appear in Experimental Mathematics

MSC Class: 17B05; 17B10; 53C30; 57S25

Classification of four-rebit states

Authors: Heiko Dietrich, Willem A. de Graaf, Alessio Marrani, Marcos Origlia

Abstract: 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… ▽ More 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. △ Less

Submitted 1 February, 2022; v1 submitted 27 January, 2022; originally announced January 2022.

Classification of four qubit states and their stabilisers under SLOCC operations

Authors: Heiko Dietrich, Willem A. de Graaf, Alessio Marrani, Marcos Origlia

Abstract: 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 t… ▽ More 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}$. △ Less

Submitted 9 November, 2021; originally announced November 2021.

Classification of real trivectors in dimension nine

Authors: Mikhail Borovoi, Willem A. de Graaf, Hông Vân Lê

Abstract: We classify real trivectors in dimension 9. The corresponding classification over the field C of complex numbers was obtained by Vinberg and Elashvili in 1978. One of the main tools used for their classification was the construction of the representation of SL(9,C) on the space of complex trivectors of C^9 as a theta-representation corresponding to a Z/3Z-grading of the simple complex Lie algebra… ▽ More We classify real trivectors in dimension 9. The corresponding classification over the field C of complex numbers was obtained by Vinberg and Elashvili in 1978. One of the main tools used for their classification was the construction of the representation of SL(9,C) on the space of complex trivectors of C^9 as a theta-representation corresponding to a Z/3Z-grading of the simple complex Lie algebra of type E_8. This divides the trivectors into three groups: nilpotent, semisimple, and mixed trivectors. Our classification follows the same pattern. We use Galois cohomology, first and second, to obtain the classification over R. △ Less

Submitted 2 August, 2021; originally announced August 2021.

Comments: Shortened version (submitted to a journal) of arXiv:2106.00246 [math.RT]; 38 pages

MSC Class: Primary: 15A21; Secondary: 11E72; 20G05; 20G20

Real graded Lie algebras, Galois cohomology, and classification of trivectors in R^9

Authors: Mikhail Borovoi, Willem A. de Graaf, Hông Vân Lê

Abstract: In this paper we classify real trivectors in dimension 9. The corresponding classification over the field C of complex numbers was done by Vinberg and Elashvili in 1978. One of the main tools used for their classification was the construction of the representation of SL(9,C) on the space of complex trivectors of C^9 as a theta-representation corresponding to a Z/3Z-grading of the simple complex Li… ▽ More In this paper we classify real trivectors in dimension 9. The corresponding classification over the field C of complex numbers was done by Vinberg and Elashvili in 1978. One of the main tools used for their classification was the construction of the representation of SL(9,C) on the space of complex trivectors of C^9 as a theta-representation corresponding to a Z/3Z-grading of the simple complex Lie algebra of type E8. This divides the trivectors into three groups: nilpotent, semisimple, and mixed trivectors. Our classification follows the same pattern. We use Galois cohomology to obtain the classification over R. For the nilpotent orbits this is in principle rather straightforward and the main problem is to determine the first Galois cohomology sets of a long list of centralizers (we compute the centralizers using computer). For the semisimple and mixed orbits we develop new methods based on Galois cohomology, first and second. We also consider real theta-representations in general, and derive a number of results that are useful for the classification of their orbits. △ Less

Submitted 1 June, 2021; originally announced June 2021.

Comments: 137 pages

MSC Class: 15A21 (Primary) 11E72; 20G05; 20G20 (Secondary)

Real forms of embeddings of maximal reductive subalgebras of the complex simple Lie algebras of rank up to 8

Authors: Willem A. de Graaf, Alessio Marrani

Abstract: 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. 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. △ Less

Submitted 2 March, 2020; v1 submitted 15 November, 2019; originally announced November 2019.

Comments: some small changes

MSC Class: 22E60; 17B20

Computing the real Weyl group

Authors: Heiko Dietrich, Willem A. de Graaf

Abstract: Let g be a semisimple Lie algebra over the real numbers. We describe an explicit combinatorial construction of the real Weyl group of g with respect to a given Cartan subalgebra. An efficient computation of this Weyl group is important for the classification of regular semisimple subalgebras, real carrier algebras, and real nilpotent orbits associated with g; the latter have various applications i… ▽ More Let g be a semisimple Lie algebra over the real numbers. We describe an explicit combinatorial construction of the real Weyl group of g with respect to a given Cartan subalgebra. An efficient computation of this Weyl group is important for the classification of regular semisimple subalgebras, real carrier algebras, and real nilpotent orbits associated with g; the latter have various applications in theoretical physics. △ Less

Submitted 2 July, 2019; originally announced July 2019.

Integrality and arithmeticity of solvable linear groups

Authors: W. A. de Graaf, A. S. Detinko, D. L. Flannery

Abstract: We develop a practical algorithm to decide whether a finitely generated subgroup of a solvable algebraic group $G$ is arithmetic. This incorporates a procedure to compute a generating set of an arithmetic subgroup of $G$. We also provide a simple new algorithm for integrality testing of finitely generated solvable-by-finite linear groups over the rational field. The algorithms have been implemente… ▽ More We develop a practical algorithm to decide whether a finitely generated subgroup of a solvable algebraic group $G$ is arithmetic. This incorporates a procedure to compute a generating set of an arithmetic subgroup of $G$. We also provide a simple new algorithm for integrality testing of finitely generated solvable-by-finite linear groups over the rational field. The algorithms have been implemented in {\sc Magma}. △ Less

Submitted 10 May, 2019; originally announced May 2019.

MSC Class: 20-04; 20G15; 20H25; 68W30

Journal ref: Journal of Symbolic Computation, 68 (2015) 138-145

2-generation of simple Lie algebras and free dense subgroups of algebraic groups

Authors: Alla S. Detinko, Willem A. de Graaf

Abstract: We construct generating pairs of simple Lie algebras in characteristic zero. We apply this construction to exhibit infinite series of 2-generator Zariski dense subgroups that are free of rank 2 of the simple algebraic groups SL(n, C), Sp(n, C), G_2(C). We construct generating pairs of simple Lie algebras in characteristic zero. We apply this construction to exhibit infinite series of 2-generator Zariski dense subgroups that are free of rank 2 of the simple algebraic groups SL(n, C), Sp(n, C), G_2(C). △ Less

Submitted 14 May, 2019; v1 submitted 6 May, 2019; originally announced May 2019.

Comments: two references added

Closed subsets of root systems and regular subalgebras

Authors: Andrew Douglas, Willem A. de Graaf

Abstract: We describe an algorithm for classifying the closed subsets of a root system, up to conjugation by the associated Weyl group. Such a classification of an irreducible root system is closely related to the classification of the regular subalgebras, up to inner automorphism, of the corresponding simple Lie algebra. We implement our algorithm to classify the closed subsets of the irreducible root syst… ▽ More We describe an algorithm for classifying the closed subsets of a root system, up to conjugation by the associated Weyl group. Such a classification of an irreducible root system is closely related to the classification of the regular subalgebras, up to inner automorphism, of the corresponding simple Lie algebra. We implement our algorithm to classify the closed subsets of the irreducible root systems of ranks 3 through 7. We present a complete description of the classification for the closed subsets of the rank 3 irreducible root system. We employ this root system classification to classify all regular subalgebras of the rank 3 simple Lie algebras. We present only summary data for the classifications in higher ranks due to the large size of these classifications. Our algorithm is implemented in the language of the computer algebra system GAP. △ Less

Submitted 14 March, 2019; v1 submitted 23 January, 2019; originally announced January 2019.

A constructive method for decomposing real representations

Authors: Sajid Ali, Hassan Azad, Indranil Biswas, Willem A. de Graaf

Abstract: 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. 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. △ Less

Submitted 17 June, 2020; v1 submitted 10 April, 2018; originally announced April 2018.

Comments: Final version; to appear in "Journal of Symbolic Computation"

MSC Class: 17B45; 17B30; 17B81; 34L99

Nilpotent orbits in real symmetric pairs and stationary black holes

Authors: Heiko Dietrich, Willem A. de Graaf, Daniele Ruggeri, Mario Trigiante

Abstract: In the classification of stationary solutions in extended supergravities with symmetric scalar manifolds, the nilpotent orbits of a real symmetric pair play an important role. In this paper we discuss two approaches to determining the nilpotent orbits of a real symmetric pair. We apply our methods to an explicit example, and thereby classify the nilpotent orbits of SL_2(R)^4 acting on the fourth t… ▽ More In the classification of stationary solutions in extended supergravities with symmetric scalar manifolds, the nilpotent orbits of a real symmetric pair play an important role. In this paper we discuss two approaches to determining the nilpotent orbits of a real symmetric pair. We apply our methods to an explicit example, and thereby classify the nilpotent orbits of SL_2(R)^4 acting on the fourth tensor power of the natural 2-dimensional SL_2(R)-module. This makes it possible to classify all stationary solutions of the so-called STU-supergravity model. △ Less

Submitted 20 December, 2016; v1 submitted 8 June, 2016; originally announced June 2016.

Comments: 31 pages; minor changes; one figure added

Regular subalgebras and nilpotent orbits of real graded Lie algebras

Authors: H. Dietrich, Paolo Faccin, Willem A. de Graaf

Abstract: 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 nilpote… ▽ More 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. △ Less

Submitted 29 July, 2014; originally announced July 2014.

MSC Class: 20G20

$E_7 \subset Sp(56,R)$ irrep decompositions of interest for physical models

Authors: Lorenzo Fortunato, Willem A. de Graaf

Abstract: 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. 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. △ Less

Submitted 7 March, 2014; v1 submitted 18 December, 2013; originally announced December 2013.

Constructing semisimple subalgebras of real semisimple Lie algebras

Authors: Paolo Faccin, Willem A. de Graaf

Abstract: 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. 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. △ Less

Submitted 1 October, 2013; originally announced October 2013.

Computing generators of the unit group of an integral abelian group ring

Authors: Paolo Faccin, Willem A. de Graaf, Wilhelm Plesken

Abstract: 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 fo… ▽ More 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. △ Less

Submitted 9 January, 2013; originally announced January 2013.

Journal ref: Journal of Algebra, 373, 441--452 (2013)

Computations with nilpotent orbits in SLA

Authors: Willem A. de Graaf

Abstract: 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 Yakimo… ▽ More 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. △ Less

Submitted 7 January, 2013; originally announced January 2013.

Comments: This paper contains arXiv:1004.4061 [math.RA] (except the appendix)

A computational approach to the Kostant-Sekiguchi correspondence

Authors: Heiko Dietrich, Willem A. de Graaf

Abstract: 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 algeb… ▽ More 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. △ Less

Submitted 25 September, 2012; originally announced September 2012.

An effective method to compute closure ordering for nilpotent orbits of $θ$-representations

Authors: W. A. de Graaf, E. B. Vinberg, O. S. Yakimova

Abstract: We develop an algorithm for computing the closure of a given nilpotent $G_0$-orbit in $\g_1$, where $\g_1$ and $G_0$ are coming from a $\Z$ or a $\Z/m\Z$-grading $\g= \bigoplus \g_i$ of a simple complex Lie algebra $\g$. We develop an algorithm for computing the closure of a given nilpotent $G_0$-orbit in $\g_1$, where $\g_1$ and $G_0$ are coming from a $\Z$ or a $\Z/m\Z$-grading $\g= \bigoplus \g_i$ of a simple complex Lie algebra $\g$. △ Less

Submitted 10 July, 2011; originally announced July 2011.

Classification of Novikov algebras

Authors: Dietrich Burde, Willem A. de Graaf

Abstract: 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… ▽ More 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. △ Less

Submitted 29 June, 2011; originally announced June 2011.

Six-dimensional nilpotent Lie algebras

Authors: Serena Cicalo, Willem A de Graaf, Csaba Schneider

Abstract: We give a full classification of 6-dimensional nilpotent Lie algebras over an arbitrary field, including fields that are not algebraically closed and fields of characteristic~2. To achieve the classification we use the action of the automorphism group on the second cohomology space, as isomorphism types of nilpotent Lie algebras correspond to orbits of subspaces under this action. In some cases, t… ▽ More We give a full classification of 6-dimensional nilpotent Lie algebras over an arbitrary field, including fields that are not algebraically closed and fields of characteristic~2. To achieve the classification we use the action of the automorphism group on the second cohomology space, as isomorphism types of nilpotent Lie algebras correspond to orbits of subspaces under this action. In some cases, these orbits are determined using geometric invariants, such as the Gram determinant or the Arf invariant. As a byproduct, we completely determine, for a 4-dimensional vector space $V$, the orbits of $\GL(V)$ on the set of 2-dimensional subspaces of $V\wedge V$. △ Less

Submitted 25 June, 2020; v1 submitted 1 November, 2010; originally announced November 2010.

Comments: Corrected a small error in Theorem 4.4

MSC Class: 17B30; 17B40; 17B56; 11E04

Journal ref: Linear Algebra and its Applications, Volume 436, Issue 11 January 2012, Pages 163-189

Classification of nilpotent associative algebras of small dimension

Authors: Willem A. de Graaf

Abstract: We classify nilpotent associative algebras of dimensions up to 4 over any field. This is done by constructing the nilpotent associative algebras as central extensions of algebras of smaller dimension, analogous to methods known for nilpotent Lie algebras. We classify nilpotent associative algebras of dimensions up to 4 over any field. This is done by constructing the nilpotent associative algebras as central extensions of algebras of smaller dimension, analogous to methods known for nilpotent Lie algebras. △ Less

Submitted 22 May, 2017; v1 submitted 27 September, 2010; originally announced September 2010.

MSC Class: 16B99

Computations with reachable elements in simple Lie algebras

Authors: Willem de Graaf

Abstract: We report on some computations with reachable elements in simple Lie algebras of exceptional type within the SLA package of GAP4. These computations confirm the classification of such elements by Elashvili and Grelaud. Secondly they answer a question from Panyushev. Thirdly they show in what way a recent result of Yakimova for the Lie algebras of classical type extends to the exceptional types. We report on some computations with reachable elements in simple Lie algebras of exceptional type within the SLA package of GAP4. These computations confirm the classification of such elements by Elashvili and Grelaud. Secondly they answer a question from Panyushev. Thirdly they show in what way a recent result of Yakimova for the Lie algebras of classical type extends to the exceptional types. △ Less

Submitted 23 April, 2010; originally announced April 2010.

MSC Class: 17B20

Constructing semisimple subalgebras of semisimple Lie algebras

Authors: Willem A. de Graaf

Abstract: 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… ▽ More 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. △ Less

Submitted 12 April, 2010; originally announced April 2010.

Comments: 19 pages

MSC Class: 17B20

Good index behaviour of $θ$-representations, I

Authors: Willem A. de Graaf, Oksana S. Yakimova

Abstract: 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,… ▽ More 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. △ Less

Submitted 22 March, 2010; originally announced March 2010.

Computing representatives of nilpotent orbits of theta-groups

Authors: Willem A. de Graaf

Abstract: We describe two algorithms for finding representatives of the nilpotent orbits of a theta-group. The algorithms have been implemented in the computer algebra system GAP (inside the package SLA). We comment on their performance. We apply the algorithms to study the nilpotent orbits of theta-groups, where theta is an N-regular automorphism of a simple Lie algebra of exceptional type. We describe two algorithms for finding representatives of the nilpotent orbits of a theta-group. The algorithms have been implemented in the computer algebra system GAP (inside the package SLA). We comment on their performance. We apply the algorithms to study the nilpotent orbits of theta-groups, where theta is an N-regular automorphism of a simple Lie algebra of exceptional type. △ Less

Submitted 13 July, 2009; v1 submitted 19 May, 2009; originally announced May 2009.

Comments: several additions and corrections

MSC Class: 17B20; 68W30

Induced nilpotent orbits of the simple Lie algebras of exceptional type

Authors: W. A. de Graaf, A. G. Elashvili

Abstract: We describe algorithms for computing the induced nilpotent orbits in semisimple Lie algebras. We use them to obtain the induction tables for the Lie algebras of exceptional type. This also yields the classification of the rigid nilpotent orbits in those Lie algebras. We describe algorithms for computing the induced nilpotent orbits in semisimple Lie algebras. We use them to obtain the induction tables for the Lie algebras of exceptional type. This also yields the classification of the rigid nilpotent orbits in those Lie algebras. △ Less

Submitted 7 July, 2009; v1 submitted 17 May, 2009; originally announced May 2009.

Comments: corrected some minor errors, added partial proof of a conjecture

MSC Class: 17B20; 68W30

Journal ref: Georgian Mathematical Journal, 16:257--278 (2009)

Constructing arithmetic subgroups of unipotent groups

Authors: Willem de Graaf, Andrea Pavan

Abstract: Let G be a unipotent algebraic subgroup of some GL_m(C) defined over Q. We describe an algorithm for finding a finite set of generators of the subgroup G(Z) = G \cap GL_m(Z). This is based on a new proof of the result (in more general form due to Borel and Harish-Chandra) that such a finite generating set exists. Let G be a unipotent algebraic subgroup of some GL_m(C) defined over Q. We describe an algorithm for finding a finite set of generators of the subgroup G(Z) = G \cap GL_m(Z). This is based on a new proof of the result (in more general form due to Borel and Harish-Chandra) that such a finite generating set exists. △ Less

Submitted 30 June, 2008; originally announced June 2008.

Comments: 19 pages

MSC Class: 20G15

Computing with nilpotent orbits in simple Lie algebras of exceptional type

Authors: Willem de Graaf

Abstract: Let G be a simple algebraic group over an algebraically closed field with Lie algebra g. Then the orbits of nilpotent elements of g under the adjoint action of G have been classified. We describe a simple algorithm for finding a representative of a nilpotent orbit. We use this to compute lists of representatives of these orbits for the Lie algebras of exceptional type. Then we give two applicati… ▽ More Let G be a simple algebraic group over an algebraically closed field with Lie algebra g. Then the orbits of nilpotent elements of g under the adjoint action of G have been classified. We describe a simple algorithm for finding a representative of a nilpotent orbit. We use this to compute lists of representatives of these orbits for the Lie algebras of exceptional type. Then we give two applications. The first one concerns settling a conjecture by Elashvili on the index of centralizers of nilpotent orbits, for the case where the Lie algebra is of exceptional type. The second deals with minimal dimensions of double centralizers. △ Less

Submitted 14 December, 2007; v1 submitted 7 February, 2007; originally announced February 2007.

Comments: 18 pages, some reordering, some references added

MSC Class: 17B20; 68W30

Constructing algebraic groups from their Lie algebras

Authors: Willem de Graaf

Abstract: A connected algebraic group in characteristic 0 is uniquely determined by its Lie algebra. In this paper an algorithm is given for constructing an algebraic group in characteristic 0, given its Lie algebra. Using this an algorithm is presented for finding a maximal reductive subgroup and the unipotent radical of an algebraic group. A connected algebraic group in characteristic 0 is uniquely determined by its Lie algebra. In this paper an algorithm is given for constructing an algebraic group in characteristic 0, given its Lie algebra. Using this an algorithm is presented for finding a maximal reductive subgroup and the unipotent radical of an algebraic group. △ Less

Submitted 19 December, 2006; originally announced December 2006.

Comments: 12 pages

MSC Class: 17B; 20G

Constructing algebraic Lie algebras

Authors: Claus Fieker, Willem de Graaf

Abstract: We give an algorithm for constructing the algebraic hull of a given matrix Lie algebra in characteristic zero. It is based on an algorithm for finding integral linear dependencies of the roots of a polynomial, that is probably of independent interest. We give an algorithm for constructing the algebraic hull of a given matrix Lie algebra in characteristic zero. It is based on an algorithm for finding integral linear dependencies of the roots of a polynomial, that is probably of independent interest. △ Less

Submitted 14 November, 2006; originally announced November 2006.

Comments: 18 pages, 2 figures

MSC Class: 17B45; 11Y40

Parametrizing Del Pezzo surfaces of degree 8 using Lie algebras

Authors: Willem A. de Graaf, Jana Pílniková, Josef Schicho

Abstract: For a Del Pezzo surface of degree 8 given over the rationals we decide whether there is a rational parametrization of the surface and construct one in the affirmative case. We define and use the Lie algebra of the surface to reach the aim. The algorithm has been implemented in Magma. For a Del Pezzo surface of degree 8 given over the rationals we decide whether there is a rational parametrization of the surface and construct one in the affirmative case. We define and use the Lie algebra of the surface to reach the aim. The algorithm has been implemented in Magma. △ Less

Submitted 20 December, 2005; originally announced December 2005.

Comments: 22 pages

MSC Class: 14Q10 (primary); 17B45 (secondary)

Classification of 6-dimensional nilpotent Lie algebras over fields of characteristic not 2

Authors: W. A. de Graaf

Abstract: First we describe the Skjelbred-Sund method for classifying nilpotent Lie algebras. Then we use it to classify 6-dimensional nilpotent Lie algebras over any field of characteristic not 2. The proof of this classification is essentially constructive: for a given 6-dimensional nilpotent Lie algebra L, following the steps of the proof, it is possible to find a Lie algebra M that occurs in the list,… ▽ More First we describe the Skjelbred-Sund method for classifying nilpotent Lie algebras. Then we use it to classify 6-dimensional nilpotent Lie algebras over any field of characteristic not 2. The proof of this classification is essentially constructive: for a given 6-dimensional nilpotent Lie algebra L, following the steps of the proof, it is possible to find a Lie algebra M that occurs in the list, and an isomorphism L --> M. △ Less

Submitted 28 November, 2005; originally announced November 2005.

Comments: 23 pages

MSC Class: 17B30

A Lie Algebra Method for Rational Parametrization of Severi-Brauer Surfaces

Authors: Willem A. de Graaf, Michael Harrison, Jana Pilnikova, Josef Schicho

Abstract: It is well-known that a Severi-Brauer surface has a rational point if and only if it is isomorphic to the projective plane. Given a Severi-Brauer surface, we study the problem to decide whether such an isomorphism to the projective plane, or such a rational point, does exist; and to construct such an isomorphism or such a point in the affirmative case. We give an algorithm using Lie algebra tech… ▽ More It is well-known that a Severi-Brauer surface has a rational point if and only if it is isomorphic to the projective plane. Given a Severi-Brauer surface, we study the problem to decide whether such an isomorphism to the projective plane, or such a rational point, does exist; and to construct such an isomorphism or such a point in the affirmative case. We give an algorithm using Lie algebra techniques. The algorithm has been implemented in Magma. △ Less

Submitted 21 June, 2005; v1 submitted 11 January, 2005; originally announced January 2005.

Comments: 16 pages some minor revisions

MSC Class: 14Q10

Classification of solvable Lie algebras

Authors: W. A. de Graaf

Abstract: We illustrate some simple ideas that can be used for obtaining a classification of small-dimensional solvable Lie algebras.Using these we obtain the classification of 3 and 4 dimensional solvable Lie algebras (over fields of any characteristic). Precise conditions for isomorphism are given. We illustrate some simple ideas that can be used for obtaining a classification of small-dimensional solvable Lie algebras.Using these we obtain the classification of 3 and 4 dimensional solvable Lie algebras (over fields of any characteristic). Precise conditions for isomorphism are given. △ Less

Submitted 4 April, 2004; originally announced April 2004.

Comments: 16 pages

MSC Class: 17B30; 17_08

Constructing homomorphisms between Verma modules

Authors: W. A. de Graaf

Abstract: A practical method for constructing a nontrivial homomorphsim between Verma modules is described. A practical method for constructing a nontrivial homomorphsim between Verma modules is described. △ Less

Submitted 4 April, 2004; v1 submitted 11 December, 2002; originally announced December 2002.

Comments: 15 pages, added references, some comments on the affine case, an application concerning the construction of irreducible modules

MSC Class: 17B10; 17-08

An algorithm to compute the canonical basis of an irreducible Uq(g)-module

Authors: W. A. de Graaf

Abstract: An algorithm is described to compute the canonical basis of an irreducible module over a quantized enveloping algebra of a finite-dimensional semisimple Lie algebra. The algorithm works for modules that are constructed as a submodule of a tensor product of modules with known canonical bases. An algorithm is described to compute the canonical basis of an irreducible module over a quantized enveloping algebra of a finite-dimensional semisimple Lie algebra. The algorithm works for modules that are constructed as a submodule of a tensor product of modules with known canonical bases. △ Less

Submitted 5 November, 2002; originally announced November 2002.

Comments: 12 pages

MSC Class: 17B37