Integer quadratic forms and extensions of subsets of linearly independent roots

Abstract

We consider subsets of linearly independent roots in a certain root system $\varPhi$. Let $S'$ be such a subset, and let $S'$ be associated with any Carter diagram $Γ'$. The main question of the paper: what root $γ\in \varPhi$ can be added to $S'$ so that $S' \cup γ$ is also a subset of linearly independent roots? This extra root $γ$ is called the linkage root. The vector $γ^{\nabla}$ of inner products $\{(γ,τ'_i)\mid τ'_i \in S'\}$ is called the linkage label vector. Let $B_{Γ'}$ be the Cartan matrix associated with $Γ'$. It is shown that $γ$ is a linkage root if and only if $\mathscr{B}^{\vee}_{Γ'}(γ^{\nabla}) < 2$, where $\mathscr{B}^{\vee}_{Γ'}$ is a quadratic form with the matrix inverse to $B_{Γ'}$. The set of all linkage roots for $Γ'$ is called a linkage system and is denoted by $\mathscr{L}(Γ')$. The Cartan matrix associated with any Carter diagram $Γ'$ is conjugate to the Cartan matrix associated with some Dynkin diagram $Γ$, [St23]. The sizes of $\mathscr{L}(Γ')$ and $\mathscr{L}(Γ)$ are the same. Let $W^{\vee}$ be the Weyl group of the quadratic form $\mathscr{B}^{\vee}_{Γ'}$. This group acts on the linkage system and forms several orbits. The sizes and structure of orbits for linkage systems $\mathscr{L}(D_l)$ and $\mathscr{L}(D_l(a_k))$ are presented.