Showing 1–34 of 34 results for author: Shpectorov, S

Strongly regular graphs with parameters (85,14,3,2) do not exist

Authors: Sergey Shpectorov, Tianxiao Zhao

Abstract: We investigate the second smallest unresolved feasible set of parameters of strongly regular graphs, $(v,k,λ,μ)=(85,14,3,2)$. Using the classification of cubic graphs of small degree, we restrict possible local structure of such a graph $G$. After that, we exhaustively enumerate possible neighbourhoods of a maximal $3$-clique of $G$ and check them against a variety of conditions, including the com… ▽ More We investigate the second smallest unresolved feasible set of parameters of strongly regular graphs, $(v,k,λ,μ)=(85,14,3,2)$. Using the classification of cubic graphs of small degree, we restrict possible local structure of such a graph $G$. After that, we exhaustively enumerate possible neighbourhoods of a maximal $3$-clique of $G$ and check them against a variety of conditions, including the combinatorial ones, coming from $λ=3$ and $μ=2$, as well as the linear algebra ones, utilising the Euclidean representation of $G$. These conditions yield contradiction in all cases, and hence, no $\mathrm{srg}(85,14,3,2)$ exists. △ Less

Submitted 3 April, 2025; originally announced April 2025.

MSC Class: 05E30

Radicals in flip subalgebras

Authors: Bernardo G. Rodrigues, Sergey Shpectorov

Abstract: We develop methods for determining key properties (simplicity and the dimension of radical) of flip subalgebras in Matsuo algebras. These are interesting classes of commutative non-associative algebras that were introduced within the broader paradigm of axial algebras. We develop methods for determining key properties (simplicity and the dimension of radical) of flip subalgebras in Matsuo algebras. These are interesting classes of commutative non-associative algebras that were introduced within the broader paradigm of axial algebras. △ Less

Submitted 8 September, 2024; originally announced September 2024.

Solid subalgebras in algebras of Jordan type half

Authors: I. Gorshkov, S. Shpectorov, A. Staroletov

Abstract: The class of algebras of Jordan type $η$ was introduced by Hall, Rehren and Shpectorov in 2015 within the much broader class of axial algebras. Algebras of Jordan type are commutative algebras $A$ over a field of characteristic not $2$, generated by primitive idempotents, called axes, whose adjoint action on $A$ has minimal polynomial dividing $(x-1)x(x-η)$ and where multiplication of eigenvectors… ▽ More The class of algebras of Jordan type $η$ was introduced by Hall, Rehren and Shpectorov in 2015 within the much broader class of axial algebras. Algebras of Jordan type are commutative algebras $A$ over a field of characteristic not $2$, generated by primitive idempotents, called axes, whose adjoint action on $A$ has minimal polynomial dividing $(x-1)x(x-η)$ and where multiplication of eigenvectors follows the rules similar to the Peirce decomposition in Jordan algebras. Naturally, Jordan algebras generated by primitive idempotents are examples of algebras of Jordan type $η=\frac{1}{2}$. Further examples are given by the Matsuo algebras constructed from $3$-transposition groups. These examples exist for all values of $η\neq 0,1$. Jordan algebras and (factors of) Matsuo algebras constitute all currently known examples of algebras of Jordan type and it is conjectured that there are now additional examples. In this paper we introduce the concept of a solid $2$-generated subalgebra, as a subalgebra $J$ such that all primitive idempotents from $J$ are axes of $A$. We prove that, for axes $a,b\in A$, if $(a,b)\notin\{0,\frac{1}{4},1\}$ then $J=\langle\langle a,b\rangle\rangle$ is solid, that is, generic $2$-generated subalgebras are solid. Furthermore, in characteristic zero, $J$ is solid even for the values $(a,b)=0,1$. As a corollary, in characteristic zero, either $A$ has infinitely many axes and an infinite automorphism group, or it is a Matsuo algebra or a factor of Matsuo algebra. △ Less

Submitted 29 January, 2024; originally announced January 2024.

Automorphism groups of axial algebras

Authors: Ilya Gorshkov, Justin McInroy, Tendai Mudziiri Shumba, Sergey Shpectorov

Abstract: Axial algebras are a class of commutative non-associative algebras which have a natural group of automorphisms, called the Miyamoto group. The motivating example is the Griess algebra which has the Monster sporadic simple group as its Miyamoto group. Previously, using an expansion algorithm, about 200 examples of axial algebras in the same class as the Griess algebra have been constructed in dimen… ▽ More Axial algebras are a class of commutative non-associative algebras which have a natural group of automorphisms, called the Miyamoto group. The motivating example is the Griess algebra which has the Monster sporadic simple group as its Miyamoto group. Previously, using an expansion algorithm, about 200 examples of axial algebras in the same class as the Griess algebra have been constructed in dimensions up to about 300. In this list, we see many reoccurring dimensions which suggests that there may be some unexpected isomorphisms. Such isomorphisms can be found when the full automorphism groups of the algebras are known. Hence, in this paper, we develop methods for computing the full automorphism groups of axial algebras and apply them to a number of examples of dimensions up to 151. △ Less

Submitted 30 November, 2023; originally announced November 2023.

Comments: 49 pages

MSC Class: 17-08; 17A36; 17D99; 17C30; 20-04; 20-08; 20B25

Axial algebras of Jordan and Monster type

Authors: Justin McInroy, Sergey Shpectorov

Abstract: Axial algebras are a class of non-associative commutative algebras whose properties are defined in terms of a fusion law. When this fusion law is graded, the algebra has a naturally associated group of automorphisms and thus axial algebras are inherently related to group theory. Examples include most Jordan algebras and the Griess algebra for the Monster sporadic simple group. In this survey, we… ▽ More Axial algebras are a class of non-associative commutative algebras whose properties are defined in terms of a fusion law. When this fusion law is graded, the algebra has a naturally associated group of automorphisms and thus axial algebras are inherently related to group theory. Examples include most Jordan algebras and the Griess algebra for the Monster sporadic simple group. In this survey, we introduce axial algebras, discuss their structural properties and then concentrate on two specific classes: algebras of Jordan and Monster type, which are rich in examples related to simple groups. △ Less

Submitted 16 September, 2022; originally announced September 2022.

Comments: 39 pages

MSC Class: 17-02; 20-02; 17A36; 17A60; 17A99; 17C27; 17D99; 20B25; 20F29

From forbidden configurations to a classification of some axial algebras of Monster type

Authors: Justin McInroy, Sergey Shpectorov

Abstract: Ivanov introduced the shape of a Majorana algebra as a record of the $2$-generated subalgebras arising in that algebra. As a broad generalisation of this concept and to free it from the ambient algebra, we introduce the concept of an axet and shapes on an axet. A shape can be viewed as an algebra version of a group amalgam. Just like an amalgam, a shape leads to a unique algebra completion which m… ▽ More Ivanov introduced the shape of a Majorana algebra as a record of the $2$-generated subalgebras arising in that algebra. As a broad generalisation of this concept and to free it from the ambient algebra, we introduce the concept of an axet and shapes on an axet. A shape can be viewed as an algebra version of a group amalgam. Just like an amalgam, a shape leads to a unique algebra completion which may be non-trivial or it may collapse. Then for a natural family of shapes of generalised Monster type we classify all completion algebras and discover that a great majority of them collapse, confirming the observations made in an earlier paper. △ Less

Submitted 13 March, 2023; v1 submitted 15 July, 2021; originally announced July 2021.

Comments: In this version, we have edited the section on axets, introducing the factor axet and versions of the First Isomorphism Theorem and Correspondence Theorem for axets

MSC Class: 17A36; 17A60; 20B25; 20F29

Split spin factor algebras

Authors: J. McInroy, S. Shpectorov

Abstract: Motivated by Yabe's classification of symmetric $2$-generated axial algebras of Monster type, we introduce a large class of algebras of Monster type $(α, \frac{1}{2})$, generalising Yabe's $\mathrm{III}(α,\frac{1}{2}, δ)$ family. Our algebras bear a striking similarity with Jordan spin factor algebras with the difference being that we asymmetrically split the identity as a sum of two idempotents.… ▽ More Motivated by Yabe's classification of symmetric $2$-generated axial algebras of Monster type, we introduce a large class of algebras of Monster type $(α, \frac{1}{2})$, generalising Yabe's $\mathrm{III}(α,\frac{1}{2}, δ)$ family. Our algebras bear a striking similarity with Jordan spin factor algebras with the difference being that we asymmetrically split the identity as a sum of two idempotents. We investigate the properties of this algebra, including the existence of a Frobenius form and ideals. In the $2$-generated case, where our algebra is isomorphic to one of Yabe's examples, we use our new viewpoint to identify the axet, that is, the closure of the two generating axes. △ Less

Submitted 16 July, 2021; v1 submitted 23 April, 2021; originally announced April 2021.

Comments: 17 pages. The results in Section 5 have been simplified and strengthened. A new section has been added to deal with a family of exceptional algebras which arise for $α=-1$

MSC Class: 17C20; 17A99; 20B25; 20F29

2-generated axial algebras of Monster type $(2β, β)$

Authors: Clara Franchi, Mario Mainardis, Sergey Shpectorov

Abstract: In this paper we prove that $2$-generated primitive axial algebras of Monster type $(2β, β)$ over a ring $R$ in which $2$ and $β$ are invertible can be generated as $R$-module by $8$ vectors. We then completely classify $2$-generated primitive axial algebras of Monster type $(2β, β)$ over any field of characteristic other than $2$. In this paper we prove that $2$-generated primitive axial algebras of Monster type $(2β, β)$ over a ring $R$ in which $2$ and $β$ are invertible can be generated as $R$-module by $8$ vectors. We then completely classify $2$-generated primitive axial algebras of Monster type $(2β, β)$ over any field of characteristic other than $2$. △ Less

Submitted 18 November, 2022; v1 submitted 25 January, 2021; originally announced January 2021.

Comments: 31 pages. We added the discussion whether a symmetric 2-generated primitive axial algebra of Monster type $(2β, β)$ can also be non-symmetric with respect to a different pair of generating axes. This is possible only in the case of the algebra $3C(2/3)$. We also corrected a mistake in Theorem 5.7

2-generated axial algebras of Monster type

Authors: Clara Franchi, Mario Mainardis, Sergey Shpectorov

Abstract: We provide the basic setup for the project, initiated by Felix Rehren, aiming at classifying all 2-generated axial algebras of Monster type $(α,β)$ over a field $\mathbb F$. Using this, we first show that every such algebra has dimension at most 8, except for the case $(α,β)=(2,\tfrac{1}{2})$, where the Highwater algebra provides examples of dimension $n$, for all… ▽ More We provide the basic setup for the project, initiated by Felix Rehren, aiming at classifying all 2-generated axial algebras of Monster type $(α,β)$ over a field $\mathbb F$. Using this, we first show that every such algebra has dimension at most 8, except for the case $(α,β)=(2,\tfrac{1}{2})$, where the Highwater algebra provides examples of dimension $n$, for all $n\in {\mathbb N}\cup \{\infty\}$. We then classify all 2-generated axial algebras of Monster type $(α,β)$ over ${\mathbb Q}(α,β)$, for $α$ and $β$ algebraically independent over $\mathbb Q$. Finally, we generalise the Norton-Sakuma Theorem to every primitive $2$-generated axial algebra of Monster type $(\frac{1}{4},\frac{1}{32})$ over a field of characteristic zero, dropping the hypothesis on the existence of a Frobenius form. △ Less

Submitted 11 October, 2024; v1 submitted 25 January, 2021; originally announced January 2021.

Comments: 40 pages, the paper has been completely revised in order to make it easier to read. We improved the results of the previous versions, proving the existence of a bound for the dimension on the algebra also in the case $α=4β$, $α\neq 2$

An infinite-dimensional 2-generated primitive axial algebra of Monster type

Authors: Clara Franchi, Mario Mainardis, Sergey Shpectorov

Abstract: Rehren proved that a primitive 2-generated axial algebra of Monster type $(α,β)$ has dimension at most eight if $α\notin\{2β,4β\}$. In this note we construct an infinite-dimensional 2-generated primitive axial algebra of Monster type $(2,\frac{1}{2})$ over an arbitrary field $F$ with $char(F)\neq 2,3$. This shows that the second special case, $α=4β$, is a true exception to Rehren's bound. Rehren proved that a primitive 2-generated axial algebra of Monster type $(α,β)$ has dimension at most eight if $α\notin\{2β,4β\}$. In this note we construct an infinite-dimensional 2-generated primitive axial algebra of Monster type $(2,\frac{1}{2})$ over an arbitrary field $F$ with $char(F)\neq 2,3$. This shows that the second special case, $α=4β$, is a true exception to Rehren's bound. △ Less

Submitted 13 July, 2020; v1 submitted 5 July, 2020; originally announced July 2020.

MSC Class: 17A99 (Primary) 17C27; 20F29 (Secondary)

Double axes and subalgebras of Monster type in Matsuo algebras

Authors: Alexey Galt, Vijay Joshi, Andrey Mamontov, Sergey Shpectorov, Alexey Staroletov

Abstract: Axial algebras are a class of commutative non-associative algebras generated by idempotents, called axes, with adjoint action semi-simple and satisfying a prescribed fusion law. Axial algebras were introduced by Hall, Rehren and Shpectorov \cite{hrs,hrs1} as a broad generalisation of Majorana algebras of Ivanov, whose axioms were derived from the properties of the Griess algebra for the Monster sp… ▽ More Axial algebras are a class of commutative non-associative algebras generated by idempotents, called axes, with adjoint action semi-simple and satisfying a prescribed fusion law. Axial algebras were introduced by Hall, Rehren and Shpectorov \cite{hrs,hrs1} as a broad generalisation of Majorana algebras of Ivanov, whose axioms were derived from the properties of the Griess algebra for the Monster sporadic simple group. The class of axial algebras of Monster type includes Majorana algebras for the Monster and many other sporadic simple groups, Jordan algebras for classical and some exceptional simple groups, and Matsuo algebras corresponding to $3$-transposition groups. Thus, axial algebras of Monster type unify several strands in the theory of finite simple groups. It is shown here that double axes, i.e., sums of two orthogonal axes in a Matsuo algebra, satisfy the fusion law of Monster type $(2η,η)$. Primitive subalgebras generated by two single or double axes are completely classified and $3$-generated primitive subalgebras are classified in one of the three cases. These classifications further lead to the general flip construction outputting a rich variety of axial algebras of Monster type. An application of the flip construction to the case of Matsuo algebras related to the symmetric groups results in three new explicit infinite series of such algebras. △ Less

Submitted 8 April, 2021; v1 submitted 23 April, 2020; originally announced April 2020.

Comments: 59 pages

MSC Class: 17A99; 20F29

Decomposition algebras and axial algebras

Authors: Tom De Medts, Simon F. Peacock, Sergey Shpectorov, Michiel Van Couwenberghe

Abstract: We introduce decomposition algebras as a natural generalization of axial algebras, Majorana algebras and the Griess algebra. They remedy three limitations of axial algebras: (1) They separate fusion laws from specific values in a field, thereby allowing repetition of eigenvalues; (2) They allow for decompositions that do not arise from multiplication by idempotents; (3) They admit a natural notion… ▽ More We introduce decomposition algebras as a natural generalization of axial algebras, Majorana algebras and the Griess algebra. They remedy three limitations of axial algebras: (1) They separate fusion laws from specific values in a field, thereby allowing repetition of eigenvalues; (2) They allow for decompositions that do not arise from multiplication by idempotents; (3) They admit a natural notion of homomorphisms, making them into a nice category. We exploit these facts to strengthen the connection between axial algebras and groups. In particular, we provide a definition of a universal Miyamoto group which makes this connection functorial under some mild assumptions. We illustrate our theory by explaining how representation theory and association schemes can help to build a decomposition algebra for a given (permutation) group. This construction leads to a large number of examples. We also take the opportunity to fix some terminology in this rapidly expanding subject. △ Less

Submitted 25 August, 2020; v1 submitted 9 May, 2019; originally announced May 2019.

Comments: 23 pages

MSC Class: 17A99; 20F29

Journal ref: J. Algebra 556 (2020) 287-314

Enumerating 3-generated axial algebras of Monster type

Authors: Sanhan Khasraw, Justin McInroy, Sergey Shpectorov

Abstract: An axial algebra is a commutative non-associative algebra generated by axes, that is, primitive, semisimple idempotents whose eigenvectors multiply according to a certain fusion law. The Griess algebra, whose automorphism group is the Monster, is an example of an axial algebra. We say an axial algebra is of Monster type if it has the same fusion law as the Griess algebra. The $2$-generated axial… ▽ More An axial algebra is a commutative non-associative algebra generated by axes, that is, primitive, semisimple idempotents whose eigenvectors multiply according to a certain fusion law. The Griess algebra, whose automorphism group is the Monster, is an example of an axial algebra. We say an axial algebra is of Monster type if it has the same fusion law as the Griess algebra. The $2$-generated axial algebras of Monster type, called Norton-Sakuma algebras, have been fully classified and are one of nine isomorphism types. In this paper, we enumerate a subclass of $3$-generated axial algebras of Monster type in terms of their groups and shapes. It turns out that the vast majority of the possible shapes for such algebras collapse; that is they do not lead to non-trivial examples. This is in sharp contrast to previous thinking. Accordingly, we develop a method of minimal forbidden configurations, to allow us to efficiently recognise and eliminate collapsing shapes. △ Less

Submitted 24 September, 2020; v1 submitted 27 September, 2018; originally announced September 2018.

Comments: 29 pages, extensive rewrite compared to previous version

MSC Class: 17A99; 20B25; 20F29

On the structure of axial algebras

Authors: Sanhan Khasraw, Justin McInroy, Sergey Shpectorov

Abstract: Axial algebras are a recently introduced class of non-associative algebra motivated by applications to groups and vertex-operator algebras. We develop the structure theory of axial algebras focussing on two major topics: (1) radical and simplicity; and (2) sum decompositions. Axial algebras are a recently introduced class of non-associative algebra motivated by applications to groups and vertex-operator algebras. We develop the structure theory of axial algebras focussing on two major topics: (1) radical and simplicity; and (2) sum decompositions. △ Less

Submitted 5 February, 2019; v1 submitted 26 September, 2018; originally announced September 2018.

Comments: 27 pages

MSC Class: 17A60; 17A99; 20B25

Journal ref: Trans. Amer. Math. Soc. 373 (2020), 2135-2156

The spectra of finite 3-transposition groups

Authors: Jonathan I. Hall, Sergey Shpectorov

Abstract: We calculate the spectrum of the diagram for each finite $3$-transposition group. Such graphs with a given minimal eigenvalue have occurred in the context of compact Griess subalgebras of vertex operator algebras. We calculate the spectrum of the diagram for each finite $3$-transposition group. Such graphs with a given minimal eigenvalue have occurred in the context of compact Griess subalgebras of vertex operator algebras. △ Less

Submitted 25 June, 2021; v1 submitted 11 September, 2018; originally announced September 2018.

MSC Class: 20E99; 20F29; 17B69

An expansion algorithm for constructing axial algebras

Authors: Justin McInroy, Sergey Shpectorov

Abstract: An axial algebra $A$ is a commutative non-associative algebra generated by primitive idempotents, called axes, whose adjoint action on $A$ is semisimple and multiplication of eigenvectors is controlled by a certain fusion law. Different fusion laws define different classes of axial algebras. Axial algebras are inherently related to groups. Namely, when the fusion law is graded by an abelian grou… ▽ More An axial algebra $A$ is a commutative non-associative algebra generated by primitive idempotents, called axes, whose adjoint action on $A$ is semisimple and multiplication of eigenvectors is controlled by a certain fusion law. Different fusion laws define different classes of axial algebras. Axial algebras are inherently related to groups. Namely, when the fusion law is graded by an abelian group $T$, every axis $a$ leads to a subgroup of automorphisms $T_a$ of $A$. The group generated by all $T_a$ is called the Miyamoto group of the algebra. We describe a new algorithm for constructing axial algebras with a given Miyamoto group. A key feature of the algorithm is the expansion step, which allows us to overcome the $2$-closeness restriction of Seress's algorithm computing Majorana algebras. At the end we provide a list of examples for the Monster fusion law, computed using a MAGMA implementation of our algorithm. △ Less

Submitted 2 April, 2019; v1 submitted 2 April, 2018; originally announced April 2018.

Comments: 31 pages

MSC Class: 17A99; 20B25; 20F29

Journal ref: J. Algebra 550 (2020), 379-409

On the non-existence of $srg(76,21,2,7)$

Authors: Monther R. Alfuraidan, Ibrahim O. Sarumi, Sergey Shpectorov

Abstract: We present a new non-existence proof for the strongly regular graph $G$ with parameters $(76,21,2,7)$, using the unit vector representation of the graph. We present a new non-existence proof for the strongly regular graph $G$ with parameters $(76,21,2,7)$, using the unit vector representation of the graph. △ Less

Submitted 22 June, 2017; originally announced June 2017.

Comments: 7 pages

MSC Class: 05E30 (Primary); 05C30 (Secondary)

On primitive axial algebras of Jordan type

Authors: Jonathan I. Hall, Yoav Segev, Sergey Shpectorov

Abstract: In this note we give an overview of our knowledge regarding primitive axial algebras of Jordan type half and connections between $3$-transposition groups and Matsuo algebras. We also show that primitive axial algebras of Jordan type $η$ admit a Frobenius form, for any $η$. In this note we give an overview of our knowledge regarding primitive axial algebras of Jordan type half and connections between $3$-transposition groups and Matsuo algebras. We also show that primitive axial algebras of Jordan type $η$ admit a Frobenius form, for any $η$. △ Less

Submitted 9 May, 2017; originally announced May 2017.

Comments: 10 pages

MSC Class: 17C30; 17C30; 17D99

Classification of Curtis-Tits and Phan amalgams with $3$-spherical diagram

Authors: Rieuwert J. Blok, Corneliu G. Hoffman, Sergey V. Shpectorov

Abstract: We classify all non-collapsing Curtis-Tits and Phan amalgams with $3$-spherical diagram over all fields. In particular, we show that amalgams with spherical diagram are unique, a result required by the classification of finite simple groups. We give a simple condition on the amalgam which is necessary and sufficient for it to arise from a group of Kac-Moody type. This also yields a definition of a… ▽ More We classify all non-collapsing Curtis-Tits and Phan amalgams with $3$-spherical diagram over all fields. In particular, we show that amalgams with spherical diagram are unique, a result required by the classification of finite simple groups. We give a simple condition on the amalgam which is necessary and sufficient for it to arise from a group of Kac-Moody type. This also yields a definition of a large class of groups of Kac-Moody type in terms of a finite presentation. △ Less

Submitted 3 November, 2016; originally announced November 2016.

MSC Class: 20D05; 20E06; 20F05

Miyamoto involutions in axial algebras of Jordan type half

Authors: J. I. Hall, Y. Segev, S. Shpectorov

Abstract: Nonassociative commutative algebras $A$ generated by idempotents $e$ whose adjoint operators ${\rm ad}_e\colon A \rightarrow A$, given by $x \mapsto xe$, are diagonalizable and have few eigenvalues are of recent interest. When certain fusion (multiplication) rules between the associated eigenspaces are imposed, the structure of these algebras remains rich yet rather rigid. For example vertex opera… ▽ More Nonassociative commutative algebras $A$ generated by idempotents $e$ whose adjoint operators ${\rm ad}_e\colon A \rightarrow A$, given by $x \mapsto xe$, are diagonalizable and have few eigenvalues are of recent interest. When certain fusion (multiplication) rules between the associated eigenspaces are imposed, the structure of these algebras remains rich yet rather rigid. For example vertex operator algebras give rise to such algebras. The connection between the Monster algebra and Monster group extends to many axial algebras which then have interesting groups of automorphisms. Axial algebras of Jordan type $η$ are commutative algebras generated by idempotents whose adjoint operators have a minimal polynomial dividing $(x-1)x(x-η)$, where $η\notin \{0,1\}$ is fixed, with well-defined and restrictive fusion rules. The case of $η\neq \frac{1}{2}$ was thoroughly analyzed by Hall, Rehren, and Shpectorov in a recent paper, in which axial algebras were introduced. Here we focus on the case where $η=\frac{1}{2}$, which is much less understood and is of a different nature. △ Less

Submitted 5 October, 2016; originally announced October 2016.

Comments: 40 pages

MSC Class: Primary: 17A99; Secondary: 17C99; 17B69

Recovering the Lie algebra from its extremal geometry

Authors: Hans Cuypers, Kieran Roberts, Sergey Shpectorov

Abstract: An element $x$ of a Lie algebra $L$ over the field $F$ is extremal if $[x,[x,L]]=Fx$. Under minor assumptions, it is known that, for a simple Lie algebra $L$, the extremal geometry ${\cal{E}}(L)$ is a subspace of the projective geometry of $L$ and either has no lines or is the root shadow space of an irreducible spherical building $Δ$. We prove that if $Δ$ is of simply-laced type, then $L$ is a qu… ▽ More An element $x$ of a Lie algebra $L$ over the field $F$ is extremal if $[x,[x,L]]=Fx$. Under minor assumptions, it is known that, for a simple Lie algebra $L$, the extremal geometry ${\cal{E}}(L)$ is a subspace of the projective geometry of $L$ and either has no lines or is the root shadow space of an irreducible spherical building $Δ$. We prove that if $Δ$ is of simply-laced type, then $L$ is a quotient of a Chevalley algebra of the same type. △ Less

Submitted 22 October, 2014; originally announced October 2014.

Comments: 24 pages

MSC Class: 51E24; 17B20

On Sidki's presentation for orthogonal groups

Authors: Justin McInroy, Sergey Shpectorov

Abstract: We study presentations, defined by Sidki, resulting in groups $y(m,n)$ that are conjectured to be finite orthogonal groups of dimension $m+1$ in characteristic two. This conjecture, if true, shows an interesting pattern, possibly connected with Bott periodicity. It would also give new presentations for a large family of finite orthogonal groups in characteristic two, with no generator having the s… ▽ More We study presentations, defined by Sidki, resulting in groups $y(m,n)$ that are conjectured to be finite orthogonal groups of dimension $m+1$ in characteristic two. This conjecture, if true, shows an interesting pattern, possibly connected with Bott periodicity. It would also give new presentations for a large family of finite orthogonal groups in characteristic two, with no generator having the same order as the cyclic group of the field. We generalise the presentation to an infinite version $y(m)$ and explicitly relate this to previous work done by Sidki. The original groups $y(m,n)$ can be found as quotients over congruence subgroups of $y(m)$. We give two representations of our group $y(m)$. One into an orthogonal group of dimension $m+1$ and the other, using Clifford algebras, into the corresponding pin group, both defined over a ring in characteristic two. Hence, this gives two different actions of the group. Sidki's homomorphism into $SL_{2^{m-2}}(R)$ is recovered and extended as an action on a submodule of the Clifford algebra. △ Less

Submitted 16 October, 2014; v1 submitted 6 October, 2014; originally announced October 2014.

MSC Class: 20F05

Journal ref: J.Algebra 434 (2015), 227-248

Primitive axial algebras of Jordan type

Authors: J I Hall, F Rehren, S Shpectorov

Abstract: An axial algebra over the field $\mathbb F$ is a commutative algebra generated by idempotents whose adjoint action has multiplicity-free minimal polynomial. For semisimple associative algebras this leads to sums of copies of $\mathbb F$. Here we consider the first nonassociative case, where adjoint minimal polynomials divide $(x-1)x(x-η)$ for fixed $0\neqη\neq 1$. Jordan algebras arise when… ▽ More An axial algebra over the field $\mathbb F$ is a commutative algebra generated by idempotents whose adjoint action has multiplicity-free minimal polynomial. For semisimple associative algebras this leads to sums of copies of $\mathbb F$. Here we consider the first nonassociative case, where adjoint minimal polynomials divide $(x-1)x(x-η)$ for fixed $0\neqη\neq 1$. Jordan algebras arise when $η=\frac{1}{2}$, but our motivating examples are certain Griess algebras of vertex operator algebras and the related Majorana algebras. We study a class of algebras, including these, for which axial automorphisms like those defined by Miyamoto exist, and there classify the $2$-generated examples. For $η\neq \frac{1}{2}$ this implies that the Miyamoto involutions are $3$-transpositions, leading to a classification. △ Less

Submitted 7 March, 2014; originally announced March 2014.

Comments: 41 pages; comments welcome

Journal ref: J.Alg. 437 (2015), 79--115

Universal Axial Algebras and a Theorem of Sakuma

Authors: J. I. Hall, F. Rehren, S. Shpectorov

Abstract: In the first half of this paper, we define axial algebras: nonassociative commutative algebras generated by axes, that is, semisimple idempotents---the prototypical example of which is Griess' algebra [C85] for the Monster group. When multiplication of eigenspaces of axes is controlled by fusion rules, the structure of the axial algebra is determined to a large degree. We give a construction of th… ▽ More In the first half of this paper, we define axial algebras: nonassociative commutative algebras generated by axes, that is, semisimple idempotents---the prototypical example of which is Griess' algebra [C85] for the Monster group. When multiplication of eigenspaces of axes is controlled by fusion rules, the structure of the axial algebra is determined to a large degree. We give a construction of the universal Frobenius axial algebra on $n$ generators with a specified fusion rules, of which all $n$-generated Frobenius axial algebras with the same fusion rules are quotients. In the second half, we realise this construction in the Majorana / Ising / $\mathrm{Vir}(4,3)$-case on $2$ generators, and deduce a result generalising Sakuma's theorem in VOAs [S07]. △ Less

Submitted 1 November, 2013; originally announced November 2013.

Comments: 24 pages; comments welcome

MSC Class: 17D99; 20C99

Journal ref: J.Alg. 421 (2015), 394--424

A class of 2-groups admitting an action of the symmetric group of degree 3

Authors: Kieran Roberts, Sergey Shpectorov

Abstract: A biextraspecial group of rank $m$ is an extension of a special 2-group $Q$ of the form $2^{2 + 2m}$ by $L\cong L_2(2)$, such that the 3-element from $L$ acts on $Q$ fixed-point-freely. Subgroups of this type appear in at least the sporadic groups $J_2$, $J_3$, $McL$, $Suz$, and $Co_1$. In this paper we completely classify biextraspecial groups, namely, we show that the rank $m$ must be even and f… ▽ More A biextraspecial group of rank $m$ is an extension of a special 2-group $Q$ of the form $2^{2 + 2m}$ by $L\cong L_2(2)$, such that the 3-element from $L$ acts on $Q$ fixed-point-freely. Subgroups of this type appear in at least the sporadic groups $J_2$, $J_3$, $McL$, $Suz$, and $Co_1$. In this paper we completely classify biextraspecial groups, namely, we show that the rank $m$ must be even and for each such $m$ there exist exactly two biextraspecial groups $B^\varepsilon(m)$ up to isomorphism where $\varepsilon\in{+,-}$. We also prove that $\Out(B^\varepsilon(m))$ is an extension of the $m$-dimensional orthogonal GF(2)-space of type $\varepsilon$ by the corresponding orthogonal group. The extension is non-split except in a few small cases. △ Less

Submitted 22 January, 2013; v1 submitted 2 January, 2013; originally announced January 2013.

Comments: 23 pages

MSC Class: 20D99

Generating sets of Affine groups of low genus

Authors: Kay Magaard, Sergey Shpectorov, Gehao Wang

Abstract: We describe a new algorithm for computing braid orbits on Nielsen classes. As an application we classify all families of affine genus zero systems; that is all families of coverings of the Riemann sphere by itself such that the monodromy group is a primitive affine permutation group. We describe a new algorithm for computing braid orbits on Nielsen classes. As an application we classify all families of affine genus zero systems; that is all families of coverings of the Riemann sphere by itself such that the monodromy group is a primitive affine permutation group. △ Less

Submitted 24 August, 2011; originally announced August 2011.

MSC Class: 14H10; 14H30; 14H45; 14H35

Journal ref: Computational Algebraic and Analytic Geometry, Contemporary Mathematics, vol. 572, Amer. Math. Soc., Providence, RI, 2012, pp. 173-192

AG-groups and other classes of right Bol quasigroups

Authors: Muhammad Shah, Sergey Shpectorov, Asif Ali

Abstract: By a result of Sharma, right Bol quasigroups are obtainable from right Bol loops via an involutive automorphism. We prove that the class of AG-groups, introduced by Kamran, is obtained via the same construction from abelian groups. We further introduce a new class of Bol* quasigroups, which turns out to correspond, as above, to the class of groups. Sharma's correspondence allows an efficient imp… ▽ More By a result of Sharma, right Bol quasigroups are obtainable from right Bol loops via an involutive automorphism. We prove that the class of AG-groups, introduced by Kamran, is obtained via the same construction from abelian groups. We further introduce a new class of Bol* quasigroups, which turns out to correspond, as above, to the class of groups. Sharma's correspondence allows an efficient implementation and we present some enumeration results for the above three classes. △ Less

Submitted 21 June, 2011; v1 submitted 15 June, 2011; originally announced June 2011.

Lie algebras and 3-transpositions

Authors: H. Cuypers, M. Horn, J. in 't panhuis, S. Shpectorov

Abstract: We describe a construction of an algebra over the field of order 2 starting from a conjugacy class of 3-transpositions in a group. In particular, we determine which simple Lie algebras arise by this construction. Among other things, this construction yields a natural embedding of the sporadic simple group $\Fi{22}$ in the group $^2E_6(2)$. We describe a construction of an algebra over the field of order 2 starting from a conjugacy class of 3-transpositions in a group. In particular, we determine which simple Lie algebras arise by this construction. Among other things, this construction yields a natural embedding of the sporadic simple group $\Fi{22}$ in the group $^2E_6(2)$. △ Less

Submitted 4 April, 2011; originally announced April 2011.

Comments: 23 pages

MSC Class: 20F65 (Primary); 20E32; 20F05; 20F40

Journal ref: J. Algebra 368 (2012), 21-39

Graphs $4_n$ that are isometrically embeddable in hypercubes

Authors: Michel Deza, Mathieu Dutour-Sikiric, Sergey Shpectorov

Abstract: A connected 3-valent plane graph, whose faces are $q$- or 6-gons only, is called a {\em graph $q_n$}. We classify all graphs $4_n$, which are isometric subgraphs of a $m$-hypercube $H_m$. A connected 3-valent plane graph, whose faces are $q$- or 6-gons only, is called a {\em graph $q_n$}. We classify all graphs $4_n$, which are isometric subgraphs of a $m$-hypercube $H_m$. △ Less

Submitted 16 November, 2004; originally announced November 2004.

Comments: 18 pages, 25 drawings

Hypercube embedding of Wythoffians

Authors: Michel Deza, Mathieu Dutour, Sergey Shpectorov

Abstract: The Wythoff construction takes a $d$-dimensional polytope $P$, a subset $S$ of $\{0,..., d\}$ and returns another $d$-dimensional polytope $P(S)$. If $P$ is a regular polytope, then $P(S)$ is vertex-transitive. This construction builds a large part of the Archimedean polytopes and tilings in dimension 3 and 4. We want to determine, which of those Wythoffians $P(S)$ with regular $P$ have their… ▽ More The Wythoff construction takes a $d$-dimensional polytope $P$, a subset $S$ of $\{0,..., d\}$ and returns another $d$-dimensional polytope $P(S)$. If $P$ is a regular polytope, then $P(S)$ is vertex-transitive. This construction builds a large part of the Archimedean polytopes and tilings in dimension 3 and 4. We want to determine, which of those Wythoffians $P(S)$ with regular $P$ have their skeleton or dual skeleton isometrically embeddable into the hypercubes $H_m$ and half-cubes ${1/2}H_m$. We find six infinite series, which, we conjecture, cover all cases for dimension $d>5$ and some sporadic cases in dimension 3 and 4 (see Tables \ref{WythoffEmbeddable3} and \ref{WythoffEmbeddable4}). Three out of those six infinite series are explained by a general result about the embedding of Wythoff construction for Coxeter groups. In the last section, we consider the Euclidean case; also, zonotopality of embeddable $P(S)$ are addressed throughout the text. △ Less

Submitted 11 August, 2008; v1 submitted 30 July, 2004; originally announced July 2004.

Comments: 12 pages, 6 tables

A GAP package for braid orbit computation, and applications

Authors: K. Magaard, S. Shpectorov, Helmut Voelklein

Abstract: Let G be a finite group. By Riemann's Existence Theorem, braid orbits of generating systems of G with product 1 correspond to irreducible families of covers of the Riemann sphere with monodromy group G. Thus many problems on algebraic curves require the computation of braid orbits. In this paper we describe an implementation of this computation. We discuss several applications, including the cla… ▽ More Let G be a finite group. By Riemann's Existence Theorem, braid orbits of generating systems of G with product 1 correspond to irreducible families of covers of the Riemann sphere with monodromy group G. Thus many problems on algebraic curves require the computation of braid orbits. In this paper we describe an implementation of this computation. We discuss several applications, including the classification of irreducible families of indecomposable rational functions with exceptional monodromy group. △ Less

Submitted 24 April, 2003; originally announced April 2003.

MSC Class: 20B40; 14H30

The locus of curves with prescribed automorphism group

Authors: K. Magaard, T. Shaska, S. Shpectorov, H. Voelklein

Abstract: Let G be a finite group, and $g \geq 2$. We study the locus of genus g curves that admit a G-action of given type, and inclusions between such loci. We use this to study the locus of genus g curves with prescribed automorphism group G. We completely classify these loci for g=3 (including equations for the corresponding curves), and for $g \leq 10$ we classify those loci corresponding to "large" G. Let G be a finite group, and $g \geq 2$. We study the locus of genus g curves that admit a G-action of given type, and inclusions between such loci. We use this to study the locus of genus g curves with prescribed automorphism group G. We completely classify these loci for g=3 (including equations for the corresponding curves), and for $g \leq 10$ we classify those loci corresponding to "large" G. △ Less

Submitted 12 July, 2024; v1 submitted 29 May, 2002; originally announced May 2002.

Comments: Updated references

MSC Class: 14H37

Journal ref: Surikaisekikenkyusho Kokyuroku, 2002, no. 1267, 112-141

Extended F_4-buildings and the Baby Monster

Authors: A. A. Ivanov, D. V. Pasechnik, S. V. Shpectorov

Abstract: The Baby Monster group B acts naturally on a geometry E(B) with diagram c.F_4(t) for t=4 and the action of B on E(B) is flag-transitive. It possesses the following properties: (a) any two elements of type 1 are incident to at most one common element of type 2, and (b) three elements of type 1 are pairwise incident to common elements of type 2 iff they are incident to a common element of type… ▽ More The Baby Monster group B acts naturally on a geometry E(B) with diagram c.F_4(t) for t=4 and the action of B on E(B) is flag-transitive. It possesses the following properties: (a) any two elements of type 1 are incident to at most one common element of type 2, and (b) three elements of type 1 are pairwise incident to common elements of type 2 iff they are incident to a common element of type 5. It is shown that E(B) is the only (non-necessary flag-transitive) c.F_4(t)-geometry, satisfying t=4, (a) and (b), thus obtaining the first characterization of B in terms of an incidence geometry, similar in vein to one known for classical groups acting on buildings. Further, it is shown that E(B) contains subgeometries E(^2E_6(2)) and E(Fi22) with diagrams c.F_4(2) and c.F_4(1). The stabilizers of these subgeometries induce on them flag-transitive actions of ^2E_6(2):2 and Fi22:2, respectively. Three further examples for t=2 with flag-transitive automorphism groups are constructed. A complete list of possibilities for the isomorphism type of the subgraph induced by the common neighbours of a pair of vertices at distance 2 in an arbitrary c.F_4(t) satisfying (a) and (b) is obtained. △ Less

Submitted 29 December, 2000; originally announced December 2000.

Comments: to appear in Inventiones Mathematicae

Report number: 00P/003 MSC Class: 20D08; 20E32; 51E24

Journal ref: Invent. Math. 144(2001) 399-433

The flag-transitive tilde and Petersen-type geometries are all known

Authors: Alexander A. Ivanov, Sergey V. Shpectorov

Abstract: We announce the classification of two related classes of flag-transitive geometries. There is an infinite family of such geometries, related to the nonsplit extensions $3^{[{n\atop 2}]_{_2}}\cdot \SP_{2n}(2)$, and twelve sporadic examples coming from the simple groups $M_{22}$, $M_{23}$, $M_{24}$, $He$, $Co_1$, $Co_2$, $J_4$, $BM$, $M$ and the nonsplit extensions $3\cdot M_{22}$,… ▽ More We announce the classification of two related classes of flag-transitive geometries. There is an infinite family of such geometries, related to the nonsplit extensions $3^{[{n\atop 2}]_{_2}}\cdot \SP_{2n}(2)$, and twelve sporadic examples coming from the simple groups $M_{22}$, $M_{23}$, $M_{24}$, $He$, $Co_1$, $Co_2$, $J_4$, $BM$, $M$ and the nonsplit extensions $3\cdot M_{22}$, $3^{23}\cdot Co_2$, and $3^{4371}\cdot BM$. △ Less

Submitted 30 September, 1994; originally announced October 1994.

Comments: 12 pages

Report number: Bulletin migration 11/99

Journal ref: Bull. Amer. Math. Soc. (N.S.) 31 (1994) 173-184