Timeline for Bruhat cell of a Coxeter element
Current License: CC BY-SA 4.0
14 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Oct 8, 2019 at 17:12 | comment | added | Ami | @user44191 oops yes you are of course right, I meant that every element of $J(\mathbb Z)$ is conjugate to an element of $BwB$ in $\operatorname{SL}_n(\mathbb Z)$ | |
Oct 8, 2019 at 16:23 | comment | added | user44191 | @Ami For $n \geq 3$, it is not true that $BwB \supset J$. For example, for $n = 3$, the minor gotten by removing the 1st row and 3rd column of any element of $BwB$ is $0$, if I haven't made a mistake, which is not true for every element of $J$. | |
Oct 8, 2019 at 15:53 | comment | added | Ami | @user44191 what about when $G=\operatorname{SL}_{n}(\mathbb C)$ and $w$ is the permutation matrix of $(123..n)$ when $B$ is the upper triangular matrices and $T$ the diagonal matrices. Then $J=\{A\in \operatorname{SL}_{n}(\mathbb C)|\operatorname{disc}(A)\neq 0\}$ is Zariski open and contained in $BwB$? | |
Oct 8, 2019 at 15:23 | history | undeleted | Ami | ||
Oct 6, 2019 at 19:54 | history | deleted | Ami | via Vote | |
Aug 31, 2019 at 19:57 | comment | added | Jim Humphreys | @Ami: By the way, it seems misleading to refer to 'Bruhat-Coxeter cells' here. Coxeter had nothing to do with this idea. The tag 'topological-groups' is also misleading, since an affine algebraic group (with the Zariski topology) usually fails to be a topological group: the Zariski topology is typically not Hausdorff. | |
Aug 28, 2019 at 19:24 | comment | added | Jim Humphreys | @Ami: I don't have a suitable reference in mind. But in any case, I don't see why a Coxeter element of $W$ should plaly a special role in the Bruhat decomposition here, or why other elements of $W$ should automatically be involved in a Chevalley group over $\mathbb{Z}$. (I did study arithmetic groups at an early stage but got more attracted to modular representation theory of algebraic groups.) | |
Aug 27, 2019 at 20:33 | comment | added | Ami | @JimHumphreys is it also true that for any algebraic extension of $\mathbb Z$, $\overline {\mathbb Z}$, that $G(\overline {\mathbb Z})$ has a Tits system, with the same presentation for the Weyl group in $G(\mathbb C)$? Is there a good source for that? | |
Aug 23, 2019 at 23:23 | history | edited | Ami | CC BY-SA 4.0 |
added 41 characters in body
|
Aug 23, 2019 at 23:22 | comment | added | Ami | I meant the more general version by Steinberg, so you are saying that the Tits system of $G(\mathbb Z)$ is the Tits system of $G(\mathbb C)$ intersected with $G(\mathbb Z)$ and have the same presentation for the Weyl group in $G(\mathbb C)$? so $G(\mathbb Z)$ contains nontrivial elements from every cell, but I don't see how it shows $H$ contain a conjugation to an element in a Bruhat-Coexeter cell? Also, I forgot to mention that $H$ has a finite index. | |
Aug 23, 2019 at 19:55 | comment | added | Jim Humphreys | What exactly do you mean by "Chevalley group"? This could be the adjoint-type group, as in Chevalley's 1955 paper, based on the adjoint representation, or could be the more general version treated in Steinberg's 1967-68 Yale lectures, based on a more general faithful representation for groups such as SL$_n(\mathbb{C})$. In either setting, the group over $\mathbb{Z}$ has a Tits system (BN-pair), with "Weyl group" the full $W$ involved. This ensures nonrtrivial intersection with each Bruhat cell. | |
Aug 23, 2019 at 1:28 | comment | added | user44191 | "I know that the Bruhat cells that are not the big cell are closed"? Only the small cell (corresponding to $e \in W$) is closed, unless you mean the closed Bruhat cells (in which case, the big cell is the entire variety). The rest are the intersection of a closed set (the closed Bruhat cell) with an open set (the complement of the union of Bruhat cells with smaller $w$ in the Bruhat order). The statement after is still true (they contain no open sets), though. | |
Aug 23, 2019 at 0:59 | history | edited | Ami | CC BY-SA 4.0 |
added 233 characters in body
|
Aug 22, 2019 at 20:37 | history | asked | Ami | CC BY-SA 4.0 |