English

Integer quadratic forms and extensions of subsets of linearly independent roots

Representation Theory 2025-08-07 v3

Abstract

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

Keywords

Cite

@article{arxiv.2406.10726,
  title  = {Integer quadratic forms and extensions of subsets of linearly independent roots},
  author = {Rafael Stekolshchik},
  journal= {arXiv preprint arXiv:2406.10726},
  year   = {2025}
}

Comments

29 pages, 14 figures, 2 tables, added Section 1.1, Section 1.11. arXiv admin note: text overlap with arXiv:1406.3049