A presentation for reduced extended affine weyl groups (Q4942371)

In 1985 \textit{K.~Saito} [Publ. Res. Inst. Math. Sci. 21, 75-179 (1985; Zbl 0573.17012)] introduced the concept of an extended affine Weyl group (EAWG), the Weyl group of an extended affine root system. Let \(\nu\) be a nontrivial finite dimensional real vector space with a positive semidefinite symmetric bilinear form \((\cdot,\cdot)\) and let \(R\) be a subset of \(\nu\). Let \(R^\times=\{\alpha\in R:(\alpha,\alpha)\neq 0\}\) and \(R^0=\{\alpha\in R:(\alpha,\alpha)=0\}\). \(R\) is called an extended affine root system (EARS) in \(\nu\) if \(R\) satisfies the following axioms: (R1) \(0\in R\), (R2) \(-R=R\), (R3) \(R\) spans \(\nu\), (R4) \(\alpha\in R^\times\Rightarrow 2\alpha\notin R\), (R5) \(R\) is discrete in \(\nu\), (R6) if \(\alpha\in R^\times\) and \(\beta\in R\), then there exist \(d,u\in\mathbb{Z}_{\geq 0}\) such that \(\{\beta+n\alpha:n\in\mathbb{Z}\}\cap R=\{\beta-d\alpha,\dots,\beta+u\alpha\}\), and \(d-u=2\frac{(\alpha,\beta)}{(\alpha,\alpha)}\), (R7) if \(R^\times=R_1\cup R_2\), where \((R_1,R_2)=\{0\}\), then either \(R_1\) or \(R_2\) is empty, (R8) for any \(\delta\in R^0\), there exists \(\alpha\in R^\times\) such that \(\alpha+\delta\in R\). For \(\widetilde\nu:=\nu/\nu^0\) let \(\sim\colon\nu\to\widetilde\nu\) be the canonical map. Let \(\widetilde R=\{\widetilde\alpha:\alpha\in R\}\). It turns out that \(\widetilde R\) is an irreducible finite root system (including zero) in \(\widetilde\nu\). Let \(\nu^0=\{\alpha\in\nu:(\alpha,\alpha)=0\}\). The nullity of \(R\) is defined to be the dimension of \(\nu^0\). Fix a choice of a fundamental system \(\widetilde\Pi=\{\widetilde\alpha_1,\dots,\widetilde\alpha_l\}\) for \(\widetilde R\). Choose a fixed preimage \(\dot\alpha_i\in R\) of \(\widetilde\alpha_i\), \(1\leq i\leq l\). Let \(\dot\nu:=\text{span}_\mathbb{R}\{\dot\alpha_1,\dots,\dot\alpha_l\}\), the real span of \(\dot\alpha_1,\dots,\dot\alpha_l\). Let \(\dot R=\{\dot\alpha\in\dot\nu:\dot\alpha+\delta\in R\) for some \(\delta\in\nu^0\}\). Let \((\nu^0)^*\) be the real dual space of \(\nu^0\). The author defines the bilinear form (\(\cdot,\cdot\)) on the \(l+2\nu\) dimensional real vector space \(\widetilde\nu:=\dot\nu\oplus\nu^0\oplus(\nu^0)^*\). The extended affine Weyl group \(W\) of \(R\) is defined to be the subgroup of \(\text{GL}(\widetilde\nu)\) generated by reflections \(r_\alpha\), \(\alpha\in R^\times\). In this paper the author gives a presentation which the author calls a ``generalized presentation by conjugation'' for the class of reduced EAWGs. If the extended affine Weyl group is of index zero this presentation reduces to ``a presentation by conjugation''. His main result states that when the nullity of the EARS is 2, these two presentations coincide, that is, EAWGs of nullity 2 have ``a presentation by conjugation''. \textit{K.~Saito} and \textit{T.~Takebayashi} [Publ. Res. Inst. Math. Sci. 33, No. 2, 301-329 (1997; Zbl 0901.20016)] gave another presentation for EAWGs of nullity 2.