arXiv++ Combinatorics

We develop a cohomological method to classify amalgams of groups. We generalize this to simplicial amalgams in any concrete category. We compute the non-commutative 1-cohomology for several examples of amalgams defined over small simplices.

In 1974 Orin Chein discovered a new family of Moufang loops which are now called Chein loops. Such a loop can be created from any group $W$ together with $\mathbb{Z}_2$ by a variation on a semi-direct product. We study these loops in the case where $W$ is a Coxeter group and show that it has what we call a Chein-Coxeter system, a small set of generators of order 2, together with a set of relations closely related to the Coxeter relations and Chein relations. As a result we are able to give amalgam presentations for Coxeter-Chein loops. This is to our knowledge the first such presentation for a Moufang loop.

In this short note, completing a sequence of studies by Cooperstein, Kasikova and Shult, we consider the k-Grassmannians of a number of polar geometries of finite rank n. We classify those subspaces that are isomorphic to the j-Grassmannian of a projective m-space. In almost all cases, these are parabolic, that is, they are the residues of a flag of the polar geometry. Exceptions only occur when the subspace is isomorphic to the Grassmannian of 2-spaces in a projective m-space and we describe these in some detail. This Witt-type result implies that automorphisms of the Grassmannian are almost always induced by automorphisms of the underlying polar space.

We prove that the Grassmannian of totally isotropic $k$-spaces of the polar space associated to the unitary group $\mathsf{SU}_{2n}(\mathbb{F})$ ($n\in \mathbb{N}$) has generating rank ${2n\choose k}$ when $\mathbb{F}\ne \mathbb{F}_4$. We also reprove the main result of Blok [Blok2007], namely that the Grassmannian of totally isotropic $k$-spaces associated to the symplectic group $\mathsf{Sp}_{2n}(\mathbb{F})$ has generating rank ${2n\choose k}-{2n\choose k-2}$, when $\rm{Char}(\mathbb{F})\ne 2$.

In a previous paper we define a Curtis-Tits group as a certain generalization of a Kac-Moody group. We distinguish between orientable and non-orientable Curtis-Tits groups and identify all orientable Curtis-Tits groups as Kac-Moody groups associated to twin-buildings. In the present paper we construct all orientable and non-orientable Curtis-Tits groups with diagram $\widetilde{A}_n$ over a field ${\mathbb F}$. The resulting groups are quite interesting in their own right. The orientable ones are related to Drinfel'd' s construction of vector bundles over a non-commutative projective line and to the classical groups over cyclic algebras. The non-orientable ones are related to q-CCR algebras in physics and have symplectic, orthogonal and unitary groups as quotients.

Let Gamma be the K-shadow space of a spherical building Delta. An embedding V of Gamma is called polarized if it affords all "singular" hyperplanes of Gamma. Suppose that Delta is associated to a Chevalley group G. Then Gamma can be embedded into what we call the Weyl module for G of highest weight lambda_K. It is proved that this module is polarized and that the associated minimal polarized embedding is precisely the irreducible G-module of highest weight lambda_K. In addition a number of general results on polarized embeddings of shadow spaces are proved. The last few sections are devoted to the study of specific shadow spaces, notably minuscule weight geometries, polar grassmannians, and projective flag-grassmannians. The paper is in part expository in nature so as to make this material accessible to a wide audience.

We obtain the symplectic group as an amalgam of low rank subgroups akin to Levi components. We do this by having the group act flag-transitively on a new type of geometry and applying Tits' lemma. This provides a new way of recognizing the symplectic groups from a small collection of small subgroups. The geometry consists of all subspaces of maximal rank in a vector space of maximal rank with respect to a symplectic form. The main result holds for fields of size at least 3. We analyze the geometry over the field of size 2 and describe its simply connected cover if different from the geometry.