On negative orbits of finite Coxeter groups. (Q703035): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / describes a project that uses | |||
Property / describes a project that uses: Magma / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A finiteness property and an automatic structure for Coxeter groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5668957 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3998721 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Coxeter length. / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 16:36, 7 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On negative orbits of finite Coxeter groups. |
scientific article |
Statements
On negative orbits of finite Coxeter groups. (English)
0 references
19 January 2005
0 references
Let \(W\) be a Coxeter group. Let \(\Phi\) be the root system of \(W\) with \(\Pi\) a choice of simple root system and with \(\Phi^+\), \(\Phi^-\) the corresponding positive, resp., negative root systems. For any subset \(X\) of \(W\) and any \(\alpha\in\Phi^+\), define the negative orbit \(X^-(\alpha)\) of \(\alpha\) under \(X\) to be the set \(X^-(\alpha):=\{w\cdot\alpha\mid w\in X\}\cap\Phi^-\). Set \(n^-_X(\alpha)\) the cardinality of \(X^-(\alpha)\). Then the main result of the present paper is as follows: Suppose that \(W\) is a finite Weyl group. Let \(\alpha=\sum_{\alpha_r\in\Pi}\lambda_r\alpha_r\) and \(\beta=\sum_{\alpha_r\in\Pi}\mu_r\alpha_r\) be positive roots in the same \(W\)-orbit \(\Phi(\alpha):=W\cdot\alpha\) of \(\Phi\). Then for a conjugacy class \(X\) of \(W\), there exists a constant \(f(X)\in\{0,\pm 1\}\) dependent only on \(X\) and \(\Phi(\alpha)\) such that \[ n^-_X(\alpha)-n^-_X(\beta)=f(X)\Bigl(\sum_{\alpha_r\in\Pi\cap\Phi(\alpha)} \lambda_r- \sum_{\alpha_r\in\Pi\cap\Phi(\alpha)}\mu_r\Bigr). \] The proof of the result proceeds by a case-by-case argument. It is conceptional when \(W\) is of classical type, and with the help of the computer algebra package MAGMA when \(W\) is of exceptional type.
0 references
finite Coxeter groups
0 references
root systems
0 references
negative orbits
0 references