Lefschetz Operators, Hodge–Riemann Forms, and Representations

For a field of characteristic $\ne 2$, we study vector spaces that are graded by the weight lattice of a root system and are endowed with linear operators in each simple root direction. We show that these data extend to a weight lattice graded semisimple representation of the corresponding Lie algebra, if and only if there exists a bilinear form that satisfies properties (roughly) analogous to those of the Hodge–Riemann forms in complex geometry. In the 2nd part of the article, we replace the field by the $p$-adic integers (with $p\ne 2$) and show that in this case the existence of a certain bilinear form is equivalent to the existence of a structure of a tilting module for the associated simply connected $p$-adic Chevalley group.

Generation of relative commutator subgroups in Chevalley groups. II

In the present paper, which is a direct sequel of our paper [14] joint with Roozbeh Hazrat, we prove an unrelativized version of the standard commutator formula in the setting of Chevalley groups. Namely, let Φ be a reduced irreducible root system of rank ≥ 2, let R be a commutative ring and let I,J be two ideals of R. We consider subgroups of the Chevalley group G(Φ, R) of type Φ over R. The unrelativized elementary subgroup E(Φ, I) of level I is generated (as a group) by the elementary unipotents xα(ξ), α ∈ Φ, ξ ∈ I, of level I. Obviously, in general, E(Φ, I) has no chance to be normal in E(Φ, R); its normal closure in the absolute elementary subgroup E(Φ, R) is denoted by E(Φ, R, I). The main results of [14] implied that the commutator [E(Φ, I), E(Φ, J)] is in fact normal in E(Φ, R). In the present paper we prove an unexpected result, that in fact [E(Φ, I), E(Φ, J)] = [E(Φ, R, I), E(Φ, R, J)]. It follows that the standard commutator formula also holds in the unrelativized form, namely [E(Φ, I), C(Φ, R, J)] = [E(Φ, I), E(Φ, J)], where C(Φ, R, I) is the full congruence subgroup of level I. In particular, E(Φ, I) is normal in C(Φ, R, I).

ON -GROUPS WITH AUTOMORPHISM GROUPS RELATED TO THE CHEVALLEY GROUP

Let $p$ be an odd prime. We construct a $p$-group $P$ of nilpotency class two, rank seven and exponent $p$, such that $\text{Aut}(P)$ induces $N_{\text{GL}(7,p)}(G_{2}(p))=Z(\text{GL}(7,p))G_{2}(p)$ on the Frattini quotient $P/\unicode[STIX]{x1D6F7}(P)$. The constructed group $P$ is the smallest $p$-group with these properties, having order $p^{14}$, and when $p=3$ our construction gives two nonisomorphic $p$-groups. To show that $P$ satisfies the specified properties, we study the action of $G_{2}(q)$ on the octonion algebra over $\mathbb{F}_{q}$, for each power $q$ of $p$, and explore the reducibility of the exterior square of each irreducible seven-dimensional $\mathbb{F}_{q}[G_{2}(q)]$-module.

On root-involutions and root-subgroups of E6(K) for fields K of characteristic two

The purpose of this paper is to investigate the root-involutions and root-subgroups of the Chevalley group [Formula: see text] for fields [Formula: see text] of characteristic two. The approach we follow is elementary and self-contained depends on the notion of [Formula: see text]-sets which we have introduced in [Aldhafeeri and M. Bani-Ata, On the construction of Lie-algebras of type [Formula: see text] for fields of characteristic two, Beit. Algebra Geom. 58 (2017) 529–534]. The approach is elementary on the account that it consists of little more than naive linear algebra. It is remarkable to mention that Chevalley groups over fields of characteristic two have not much been researched. This work may contribute in this regard. This paper is divided into three main sections: the first section is a combinatorial section, the second section is on relations among [Formula: see text]-sets, the last one is on Lie algebra.

Commutator width of Chevalley groups over rings of stable rank 1

It is shown that each element of the elementary Chevalley group of rank greater than 2 over a ring of stable rank 1 can be expressed as a product of few commutators.