Showing 1–14 of 14 results for author: Stroppel, M

Construction of the smallest Ree-Tits unital from the special linear group of degree two over the field with eight elements

Authors: Markus Johannes Stroppel

Abstract: We construct the smallest Ree-Tits unital from a group of matrices that is isomorphic to the commutator group of the corresponding Ree group. The matrix description is used to determine configurations in the unital via explicit computations. Embeddings into larger Ree-Tits unitals are made explicit. We construct the smallest Ree-Tits unital from a group of matrices that is isomorphic to the commutator group of the corresponding Ree group. The matrix description is used to determine configurations in the unital via explicit computations. Embeddings into larger Ree-Tits unitals are made explicit. △ Less

Submitted 3 June, 2025; originally announced June 2025.

MSC Class: 51E26; 20D06

A unital in the generalized hexagon of order two, and an exceptional isomorphism between finite groups of Lie type

Authors: Markus J. Stroppel

Abstract: We construct a model of the Hermitian unital of order 3 (obtained from the non-degenerate hermitian form in three variables over the field of order 9) inside the octonion algebra over the field of order 2. This construction is invariant under the automorphism group of that algebra, and explains the known isomorphism from the finite group of exceptional Lie type onto the group of semi-similitudes o… ▽ More We construct a model of the Hermitian unital of order 3 (obtained from the non-degenerate hermitian form in three variables over the field of order 9) inside the octonion algebra over the field of order 2. This construction is invariant under the automorphism group of that algebra, and explains the known isomorphism from the finite group of exceptional Lie type onto the group of semi-similitudes of the hermitian form. △ Less

Submitted 22 March, 2025; v1 submitted 12 December, 2024; originally announced December 2024.

Comments: 18 pages, 1 figure. Version 2 has updated references

MSC Class: 20D06; 17A75; 17A36; 17A45; 51E12

Unitals without O'Nan configurations are classical if they admit all translations

Authors: Markus Johannes Stroppel

Abstract: We prove the statement in the title: if a (finite) unital admits all translations and contains no O'Nan configurations then the unital is classical, i.e., isomorphic to the Hermitian unital of the same order. We prove the statement in the title: if a (finite) unital admits all translations and contains no O'Nan configurations then the unital is classical, i.e., isomorphic to the Hermitian unital of the same order. △ Less

Submitted 11 October, 2024; originally announced October 2024.

MSC Class: 51E05 (Primary); 51A45; 05B05

Confluence Graphs of Unitals

Authors: Theo Grundhöfer, Markus J. Stroppel, Hendrik Van Maldeghem

Abstract: We show that the cliques of maximal size in the confluence graph of an arbitrary unital of order $q>2$ have size $q^2$, and that these cliques are the pencils of all blocks through a given point. This solves the Erdős-Ko-Rado problem for all unitals. We also determine all maximal cliques of the confluence graph of the Hermitian unitals. As an application, we show that the confluence graph of an ar… ▽ More We show that the cliques of maximal size in the confluence graph of an arbitrary unital of order $q>2$ have size $q^2$, and that these cliques are the pencils of all blocks through a given point. This solves the Erdős-Ko-Rado problem for all unitals. We also determine all maximal cliques of the confluence graph of the Hermitian unitals. As an application, we show that the confluence graph of an arbitrary unital unambiguously determines the unital. Along the way, we show that each linear space with $q^2$ points such that the sizes of both point rows and line pencils are bounded above by $q+1$ embeds in a projective plane of order $q$. △ Less

Submitted 20 November, 2023; originally announced November 2023.

MSC Class: 05B05 05B25 05E30 51A45 51E10

Semiaffine stable planes

Authors: Rainer Löwen, Markus Johannes Stroppel

Abstract: A locally compact stable plane of positive topological dimension will be called semiaffine if for every line $L$ and every point $p$ not in $L$ there is at most one line passing through $p$ and disjoint from $L$. We show that then the plane is either an affine or projective plane or a punctured projective plane (i.e., a projective plane with one point deleted). We also compare this with the situat… ▽ More A locally compact stable plane of positive topological dimension will be called semiaffine if for every line $L$ and every point $p$ not in $L$ there is at most one line passing through $p$ and disjoint from $L$. We show that then the plane is either an affine or projective plane or a punctured projective plane (i.e., a projective plane with one point deleted). We also compare this with the situation in general linear spaces (without topology), where P. Dembowski showed that the analogue of our main result is true for finite spaces but fails in general. △ Less

Submitted 1 September, 2023; originally announced September 2023.

MSC Class: 51H10; 51M30

An isomorphism of unitals, and an isomorphism of classical groups

Authors: Markus Johannes Stroppel

Abstract: An isomorphism between two hermitian unitals is proved, and used to treat isomorphisms of classical groups that are related to the isomorphism between certain simple real Lie algebras of types A and D (and rank 3). An isomorphism between two hermitian unitals is proved, and used to treat isomorphisms of classical groups that are related to the isomorphism between certain simple real Lie algebras of types A and D (and rank 3). △ Less

Submitted 17 April, 2023; originally announced April 2023.

MSC Class: 20G15; 51A10

Subalgebras of Octonion Algebras

Authors: Norbert Knarr, Markus J. Stroppel

Abstract: For an arbitrary octonion algebra, we determine all subalgebras. It turns out that every subalgebra of dimension less than four is associative, while every subalgebra of dimension greater than four is not associative. In any split octonion algebra, there are both associative and non-associative subalgebras of dimension four. Except for one-dimensional subalgebras spanned by idempotents, any two is… ▽ More For an arbitrary octonion algebra, we determine all subalgebras. It turns out that every subalgebra of dimension less than four is associative, while every subalgebra of dimension greater than four is not associative. In any split octonion algebra, there are both associative and non-associative subalgebras of dimension four. Except for one-dimensional subalgebras spanned by idempotents, any two isomorphic subalgebras are in the same orbit under automorphisms. △ Less

Submitted 5 September, 2023; v1 submitted 1 March, 2023; originally announced March 2023.

MSC Class: 17A75; 17A36; 17A45

Hodge operators and groups of isometries of diagonalizable symmetric bilinear forms in characteristic two

Authors: Linus Kramer, Markus J. Stroppel

Abstract: We study groups of isometries on non-alternating symmetric bilinear forms on vector spaces of characteristic two, and actions of these groups on exterior powers of the space, viewed as modules over algebras generated by Hodge operators. We study groups of isometries on non-alternating symmetric bilinear forms on vector spaces of characteristic two, and actions of these groups on exterior powers of the space, viewed as modules over algebras generated by Hodge operators. △ Less

Submitted 24 August, 2022; originally announced August 2022.

Comments: arXiv admin note: text overlap with arXiv:2208.11044

MSC Class: 15A63; 15A75; 11E04

Hodge Operators and Exceptional Isomorphisms between Unitary Groups

Authors: Linus Kramer, Markus J. Stroppel

Abstract: We give a generalization of the Hodge operator to spaces $(V,h)$ endowed with a hermitian or symmetric bilinear form $h$ over arbitrary fields, including the characteristic two case. Suitable exterior powers of $V$ become free modules over an algebra $K$ defined using such an operator. This leads to several exceptional homomorphisms from unitary groups (with respect to $h$) into groups of semi-sim… ▽ More We give a generalization of the Hodge operator to spaces $(V,h)$ endowed with a hermitian or symmetric bilinear form $h$ over arbitrary fields, including the characteristic two case. Suitable exterior powers of $V$ become free modules over an algebra $K$ defined using such an operator. This leads to several exceptional homomorphisms from unitary groups (with respect to $h$) into groups of semi-similitudes with respect to a suitable form over some subfield of $K$. The algebra $K$ depends on $h$; it is a composition algebra unless $h$ is symmetric and the characteristic is two. △ Less

Submitted 28 September, 2022; v1 submitted 23 August, 2022; originally announced August 2022.

MSC Class: 20G15 20E32 20G20 20G40 22C05 11E39 11E57

Journal ref: J. Lie Theory 33 (2023), 329--360. https://www.heldermann.de/JLT/JLT33/jlt33.htm

Unitals with many involutory translations

Authors: Theo Grundhöfer, Markus J. Stroppel, Hendrik Van Maldeghem

Abstract: If every point of a unital is fixed by a non-trivial translation and at least one translation has order two then the unital is classical (i.e., hermitian). If every point of a unital is fixed by a non-trivial translation and at least one translation has order two then the unital is classical (i.e., hermitian). △ Less

Submitted 11 January, 2022; v1 submitted 8 January, 2022; originally announced January 2022.

MSC Class: 51A10 51E10

Finite subunitals of the Hermitian unitals

Authors: Theo Grundhöfer, Markus J. Stroppel, Hendrik Van Maldeghem

Abstract: Every finite subunital of any generalized hermitian unital is itself a hermitian unital; the embedding is given by an embedding of quadratic field extensions. In particular, a generalized hermitian unital with a finite subunital is a hermitian one (i.e., it originates from a separable field extension). Every finite subunital of any generalized hermitian unital is itself a hermitian unital; the embedding is given by an embedding of quadratic field extensions. In particular, a generalized hermitian unital with a finite subunital is a hermitian one (i.e., it originates from a separable field extension). △ Less

Submitted 7 January, 2022; originally announced January 2022.

MSC Class: 51A10; 51E10

Moufang sets generated by translations in unitals

Authors: Theo Grundhöfer, Markus J. Stroppel, Hendrik Van Maldeghem

Abstract: We consider unitals of order $q$ with two points which are centers of translation groups of order $q$. The group $G$ generated by these translations induces a Moufang set on the block joining the two points. We show that $G$ is either $\operatorname{SL}(2,\mathbb{F}_q)$ (as in all classical unitals and also in some non-classical examples), or $\operatorname{PSL}(2,\mathbb{F}_q)$, or a Suzuki or a… ▽ More We consider unitals of order $q$ with two points which are centers of translation groups of order $q$. The group $G$ generated by these translations induces a Moufang set on the block joining the two points. We show that $G$ is either $\operatorname{SL}(2,\mathbb{F}_q)$ (as in all classical unitals and also in some non-classical examples), or $\operatorname{PSL}(2,\mathbb{F}_q)$, or a Suzuki or a Ree group. Moreover, $G$ is semi-regular outside the special block. △ Less

Submitted 26 August, 2020; originally announced August 2020.

MSC Class: 05E20 (Primary) 05B30; 51A10 (Secondary)

Kernels of Linear Representations of Lie Groups, Locally Compact Groups, and Pro-Lie Groups

Authors: Markus Stroppel

Abstract: For a topological group G the intersection KO(G) of all kernels of ordinary representations is studied. We show that KO(G) is contained in the center of G if G is a connected pro-Lie group. The class KO(C) is determined explicitly if C is the class ConnLie of connected Lie groups or the class almConnLie of almost connected Lie groups: in both cases, it consists of all compactly generated abelian L… ▽ More For a topological group G the intersection KO(G) of all kernels of ordinary representations is studied. We show that KO(G) is contained in the center of G if G is a connected pro-Lie group. The class KO(C) is determined explicitly if C is the class ConnLie of connected Lie groups or the class almConnLie of almost connected Lie groups: in both cases, it consists of all compactly generated abelian Lie groups. Every compact abelian group and every connected abelian pro-Lie group occurs as KO(G) for some connected pro-Lie group G. However, the dimension of KO(G) is bounded by the cardinality of the continuum if G is locally compact and connected. Examples are given to show that KO(C) becomes complicated if C contains groups with infinitely many connected components. △ Less

Submitted 2 December, 2010; originally announced December 2010.

MSC Class: 22D05; 20G05; 22E65; 22E15

Journal ref: J. Group Theory 15 (2012), 407-437

Stabilizers of Subspaces under Similitudes of the Klein Quadric, and Automorphisms of Heisenberg Algebras

Authors: Michael Gulde, Markus Stroppel

Abstract: We determine the groups of automorphisms and their orbits for nilpotent Lie algebras of class 2 and small dimension, over arbitrary fields (including the characteristic 2 case). We determine the groups of automorphisms and their orbits for nilpotent Lie algebras of class 2 and small dimension, over arbitrary fields (including the characteristic 2 case). △ Less

Submitted 2 December, 2010; originally announced December 2010.

MSC Class: 17B30; 22E25; 15A63; 15A69; 15A72; 51A50

Journal ref: Linear Algebra and its Applications 437 (2012), 1132-1161