scholarly journals THE GEOMETRY OF BLUEPRINTS PART II: TITS–WEYL MODELS OF ALGEBRAIC GROUPS

2018 ◽  
Vol 6 ◽  
Author(s):  
OLIVER LORSCHEID

This paper is dedicated to a problem raised by Jacquet Tits in 1956: the Weyl group of a Chevalley group should find an interpretation as a group over what is nowadays called $\mathbb{F}_{1}$, the field with one element. Based on Part I of The geometry of blueprints, we introduce the class of Tits morphisms between blue schemes. The resulting Tits category$\text{Sch}_{{\mathcal{T}}}$ comes together with a base extension to (semiring) schemes and the so-called Weyl extension to sets. We prove for ${\mathcal{G}}$ in a wide class of Chevalley groups—which includes the special and general linear groups, symplectic and special orthogonal groups, and all types of adjoint groups—that a linear representation of ${\mathcal{G}}$ defines a model $G$ in $\text{Sch}_{{\mathcal{T}}}$ whose Weyl extension is the Weyl group $W$ of ${\mathcal{G}}$. We call such models Tits–Weyl models. The potential of Tits–Weyl models lies in (a) their intrinsic definition that is given by a linear representation; (b) the (yet to be formulated) unified approach towards thick and thin geometries; and (c) the extension of a Chevalley group to a functor on blueprints, which makes it, in particular, possible to consider Chevalley groups over semirings. This opens applications to idempotent analysis and tropical geometry.

1982 ◽  
Vol 34 (4) ◽  
pp. 945-951 ◽  
Author(s):  
Bomshik Chang

Following the notation and the definitions in [1], let L(K) be the Chevalley group of type L over a field K, W the Weyl group of L and h the Coxeter number, i.e., the order of Coxeter elements of W. In a letter to the author, John McKay asked the following question: If h + 1 is a prime, is there an element of order h + 1 in L(C)? In this note we give an affirmative answer to this question by constructing an element of order h + 1 (prime or otherwise) in the subgroup Lz = 〈xτ(1)|r ∈ Φ〉 of L(K), for any K.Our problem has an immediate solution when L = An. In this case h = n + 1 and the (n + l) × (n + l) matrixhas order 2(h + 1) in SLn+1(K). This seemingly trivial solution turns out to be a prototype of general solutions in the following sense.


2010 ◽  
Vol 9 (4) ◽  
pp. 673-704 ◽  
Author(s):  
Pierre-Emmanuel Chaput ◽  
Matthieu Romagny

AbstractFor a split semisimple Chevalley group scheme G with Lie algebra $\mathfrak{g}$ over an arbitrary base scheme S, we consider the quotient of $\mathfrak{g} by the adjoint action of G. We study in detail the structure of $\mathfrak{g} over S. Given a maximal torus T with Lie algebra $\mathfrak{t}$ and associated Weyl group W, we show that the Chevalley morphism π : $\mathfrak{t}$/W → $\mathfrak{g}/G is an isomorphism except for the group Sp2n over a base with 2-torsion. In this case this morphism is only dominant and we compute it explicitly. We compute the adjoint quotient in some other classical cases, yielding examples where the formation of the quotient $\mathfrak{g} → \mathfrak{g}//G commutes, or does not commute, with base change on S.


1976 ◽  
Vol 28 (2) ◽  
pp. 420-428 ◽  
Author(s):  
James F. Hurley

In [6] we have constructed certain normal subgroups G7 of the elementary subgroup GR of the Chevalley group G(L, R) over R corresponding to a finite dimensional simple Lie algebra L over the complex field, where R is a commutative ring with identity. The method employed was to augment somewhat the generators of the elementary subgroup EI of G corresponding to an ideal I of the underlying Chevalley algebra LR;EI is thus the group generated by all xr(t) in G having the property that ter ⊂ I. In [6, § 5] we noted that in general EI actually had to be enlarged for a normal subgroup of GR to be obtained.


2014 ◽  
Vol 17 (1) ◽  
pp. 109-122 ◽  
Author(s):  
Simon M. Goodwin ◽  
Peter Mosch ◽  
Gerhard Röhrle

AbstractLet$G(q)$be a finite Chevalley group, where$q$is a power of a good prime$p$, and let$U(q)$be a Sylow$p$-subgroup of$G(q)$. Then a generalized version of a conjecture of Higman asserts that the number$k(U(q))$of conjugacy classes in$U(q)$is given by a polynomial in$q$with integer coefficients. In [S. M. Goodwin and G. Röhrle,J. Algebra321 (2009) 3321–3334], the first and the third authors of the present paper developed an algorithm to calculate the values of$k(U(q))$. By implementing it into a computer program using$\mathsf{GAP}$, they were able to calculate$k(U(q))$for$G$of rank at most five, thereby proving that for these cases$k(U(q))$is given by a polynomial in$q$. In this paper we present some refinements and improvements of the algorithm that allow us to calculate the values of$k(U(q))$for finite Chevalley groups of rank six and seven, except$E_7$. We observe that$k(U(q))$is a polynomial, so that the generalized Higman conjecture holds for these groups. Moreover, if we write$k(U(q))$as a polynomial in$q-1$, then the coefficients are non-negative.Under the assumption that$k(U(q))$is a polynomial in$q-1$, we also give an explicit formula for the coefficients of$k(U(q))$of degrees zero, one and two.


2019 ◽  
Vol 18 (01) ◽  
pp. 1950017 ◽  
Author(s):  
S. Aldhafeeri ◽  
M. Bani-Ata

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.


2019 ◽  
Vol 22 (1) ◽  
pp. 83-101
Author(s):  
Andrei Smolensky

Abstract 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.


2016 ◽  
Vol 19 (2) ◽  
pp. 303-359 ◽  
Author(s):  
Frank Himstedt ◽  
Tung Le ◽  
Kay Magaard

Let$UY_{n}(q)$be a Sylow$p$-subgroup of an untwisted Chevalley group$Y_{n}(q)$of rank$n$defined over $\mathbb{F}_{q}$where$q$is a power of a prime$p$. We partition the set$\text{Irr}(UY_{n}(q))$of irreducible characters of$UY_{n}(q)$into families indexed by antichains of positive roots of the root system of type$Y_{n}$. We focus our attention on the families of characters of$UY_{n}(q)$which are indexed by antichains of length$1$. Then for each positive root$\unicode[STIX]{x1D6FC}$we establish a one-to-one correspondence between the minimal degree members of the family indexed by$\unicode[STIX]{x1D6FC}$and the linear characters of a certain subquotient$\overline{T}_{\unicode[STIX]{x1D6FC}}$of$UY_{n}(q)$. For$Y_{n}=A_{n}$our single root character construction recovers, among other things, the elementary supercharacters of these groups. Most importantly, though, this paper lays the groundwork for our classification of the elements of$\text{Irr}(UE_{i}(q))$,$6\leqslant i\leqslant 8$, and$\text{Irr}(UF_{4}(q))$.


Author(s):  
R. Hazrat ◽  
V. Petrov ◽  
N. Vavilov

AbstractWe finish the proof of the main structure theorems for a Chevalley group G(Φ, R) of rank ≥ 2 over an arbitrary commutative ring R. Namely, we prove that for any admissible pair (A, B) in the sense of Abe, the corresponding relative elementary group E(Φ,R, A, B) and the full congruence subgroup C(Φ, R, A, B) are normal in G(Φ, R) itself, and not just normalised by the elementary group E(Φ, R) and that [E (Φ, R), C(Φ, R, A, B)] = E, (Φ, R, A, B). For the case Φ = F4 these results are new. The proof is new also for other cases, since we explicitly define C (Φ, R, A, B) by congruences in the adjoint representation of G (Φ, R) and give several equivalent characterisations of that group and use these characterisations in our proof.


2003 ◽  
Vol 86 (2) ◽  
pp. 397-434 ◽  
Author(s):  
YOKO USAMI ◽  
MIYAKO NAKABAYASHI

The principal 3-block of a Chevalley group $G_2(q)$ with $q$ a power of 2 satisfying $q \equiv 2$ or 5 mod 9 and the principal 3-block of $G_2(2)$ are Morita equivalent.2000 Mathematical Subject Classification: 20C05, 20C20, 20C33.


Author(s):  
Matthias Wendt

AbstractIn this paper, we describe the sheaves of 1-homotopy groups of a simply-connected Chevalley group G; these sheaves can be identified with the sheafification of certain unstable Karoubi-Villamayor K-groups.


Sign in / Sign up

Export Citation Format

Share Document