Abstract:Let $G(\mathbb{Q})$ be a simply connected Chevalley group over $\mathbb{Q}$ corresponding to a simple Lie algebra $\mathfrak g$ over $\mathbb{C}$. Let $V$ be a finite dimensional faithful highest weight $\mathfrak g$-module and let $V_\mathbb{Z}$ be a Chevalley $\mathbb{Z}$-form of $V$. Let $\Gamma(\mathbb{Z})$ be the subgroup of $G(\mathbb{Q})$ that preserves $V_{\mathbb{Z}}$ and let $G(\mathbb{Z})$ be the group of $\mathbb{Z}$-points of $G(\mathbb{Q})$. Then $G(\mathbb{Q})$ is \emph{integral} if $G(\mathbb{Z})=\Gamma(\mathbb{Z})$. Chevalley's original work constructs a scheme-theoretic integral form of $G(\mathbb{Q})$ which equals $\Gamma(\mathbb{Z})$. Here we give a representation-theoretic proof of integrality of $G(\mathbb{Q})$ using only the action of $G(\mathbb{Q})$ on $V$, rather than the language of group schemes. We discuss the challenges and open problems that arise in trying to extend this to a proof of integrality for Kac-Moody groups over $\mathbb{Q}$.

The Chevalley Groups G2(q) with Q Odd and 2 - (v,k,1) Designs

On Codes in the Projective Linear Group PGL(2,q)

On finite generalized quadrangles with $\mathrm{PSL}(2,q)$ as an automorphism group

Simple Group 2F4 （q2） and 2-（v, k, 5） Symmetric Designs

On finite generalized quadrangles with PSL(2,q) as an automorphism group

Exterior Algebras and Two Conjectures on Finite Abelian Groups

Solvable Block Transitive Automorphism Groups of 2 (v, 5, 1) Designs

Analysing 2-$(v,k,2)$ designs admitting a flag-transitive almost simple automorphism group with socle $PSL(2,q)$ by means of conics and hyperovals of $PG(2,q)$

Block-transitive $3$-$(v,k,1)$ designs on exceptional groups of Lie type

On $p$-groups with automorphism groups related to the Chevalley group $G_2(p)$

Classical groups as flag-transitive automorphism groups of 2-designs with λ = 2

On $3$-designs from $PGL(2,q)$

Block-transitive 3-(v, k, 1) designs on exceptional groups of Lie type

Real Fundamental Chevalley Involutions and Conjugacy Classes

Almost simple groups as flag-transitive automorphism groups of 2-designs with λ = 2

The Chevalley group G_{2}(2) of order 12096 and the octonionic root system of E_{7}

Flag-transitive 2-designs with prime-square or prime-cube block length

Permutation groups and derangements of odd prime order

Chevalley groups over $\Z$: A representation-theoretic approach

$\mathbb{P}(q)$-Groupoids of Conway Type

The Essential 2-rank for Classical Groups