Weyl groupoids of rank two and continued fractions. (Q2270637): Difference between revisions
From MaRDI portal
Set profile property. |
Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2963156018 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 0807.0124 / rank | |||
Normal rank |
Latest revision as of 04:13, 19 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Weyl groupoids of rank two and continued fractions. |
scientific article |
Statements
Weyl groupoids of rank two and continued fractions. (English)
0 references
28 July 2009
0 references
The work under review is a study of Weyl groupoids corresponding to Cartan schemes of rank two. A Cartan scheme is a quadruple \(\mathcal C=(I,A,(\rho_i),(C^a))\), where \(A,I\) are nonempty sets, \(I\) finite, \(a\in A\), \(i\in I\), \(\rho_i\colon A\to A\) a map with \(\rho_i^2\) the identity; and \(C^a=(c_{jk}^a)\) a generalized Cartan matrix in \(\mathbb{Z}^{I\times I}\) such that \(c_{jk}^a=c_{jk}^{\rho_j(a)}\), \(j,k\in I\). Such a scheme gives rise to a category of Weyl groupoids \(\mathcal W(\mathcal C)\) whose objects are the elements of \(A\) and whose morphisms are generated by the maps \(\sigma_i^a\in\Hom(a,\rho_i(a))\). If \(A\) is finite and \(\text{End}(a)\) contains only even elements for all \(a\in A\) one can associate a sequence \((c_1,c_2,\dots,c_{|A|})\) of nonnegative integers to \(\mathcal C\). Such a sequence is the characteristic sequence of \(\mathcal C\), and is the primary tool in this study. The main result is as follows. Suppose \(\mathcal C\) is a connected, centrally symmetric Cartan scheme with characteristic sequence \((c_1,c_2,\dots,c_{|A|/2},c_1,c_2,\dots c_{|A|/2})\) with \(|A|\geq 4\). (The pattern in the characteristic sequence indicates that \(\mathcal C\) is ``centrally symmetric''.) If \(c_i=0\) for some \(i\) then \(C^a\) is diagonal for all \(A\) and \(\mathcal C\) admits a finite root system precisely when \(|A|=4\). On the other hand, if \(c_i\geq 2\) for all \(i\) then \(\mathcal C\) does not admit a finite root system. Now suppose \(c_2=1\). If in addition \(c_1=1\) or \(c_3=1\) then \(\mathcal C\) admits a finite root system if and only if \(|A|=6\) and \(c_1=c_3=1\). If instead \(c_1>1\) and \(|A|=4\) then a finite root system exists if and only if \(c_1=2\) or \(3\). Finally, suppose \(c_1,c_3>1\) and \(|A|\geq 6\): in this case \(\mathcal C\) has a finite root system if and only if the Cartan scheme with \(\text{End}(a)\) containing only even elements with characteristic sequence \((c_1-1,c_3-1,c_4,\dots,c_{|A/2|},c_1-1,c_3-1,c_4,\dots,c_{|A/2|})\) admits a finite root system. The proof of the above result uses continued fractions in an indirect manner. In fact, the root systems of rank two Cartan matrices correspond to finite sequences of positive integers which in turn correspond to divergent continued fractions.
0 references
Cartan matrices
0 references
Cartan schemes
0 references
Weyl groupoids
0 references
continued fractions
0 references
finite root systems
0 references