Skip to main content
8 events
when toggle format what by license comment
Nov 16, 2023 at 18:36 comment added Oliver There are lots of subtly different versions of this construction, especially if you are coming from an algebraic geometry perspective. Some good references to start might be arxiv.org/abs/1806.11233 and kurims.kyoto-u.ac.jp/~kenkyubu/kashiwara/the-flag.pdf
Nov 14, 2023 at 17:03 comment added Sam Hopkins That seems like an unusual convention. Normally I think of $\mathbb{C}^\infty$ as having a canonical ordered basis $e_1,e_2,\ldots$. Especially when writing $\mathbb{C}^\infty = \cup_{n=0}^{\infty} \mathbb{C}^n$ as a direct limit.
Nov 14, 2023 at 16:58 comment added Jianrong Li @SamHopkins, the column indices of a matrix in $Gr(k, \pm \infty)$ can be any negative and positive numbers. I use it to distinguish $Gr(k, +\infty)$ in which the matrices have column indices positive.
Nov 14, 2023 at 13:20 answer added Jan Grabowski timeline score: 4
Nov 14, 2023 at 12:54 comment added Sam Hopkins Why include the $\pm$ symbol?
Nov 14, 2023 at 12:53 comment added Dave Benson Your variety is the classifying space for the unitary group $\operatorname{\rm U}(k)$, and is much studied in this context.
Nov 14, 2023 at 12:23 history edited YCor CC BY-SA 4.0
formatting, added tag, moved meta info to tag
Nov 14, 2023 at 12:07 history asked Jianrong Li CC BY-SA 4.0