Questions tagged [affine-grassmannian]
The affine-grassmannian tag has no usage guidance.
44 questions
4
votes
0
answers
131
views
Is this family of varieties "well known"?
In my research, one can find as a special case the following family of varieties. Fix integers $0<k<n$ and let $G=Gr(k,n)$ be the Grassmannian of $k$-planes in an $n$-dimensional vector space $V$...
- 495
3
votes
0
answers
128
views
Smooth unipotent algebraic groups over $\mathbb A^n$
Let $G\to \mathbb A^n_{\mathbb C}$ be a smooth morphism whose fibers at any point of $\mathbb A^n$ are unipotent groups. Can we conclude that $G\simeq \mathbb A^{n+N}_{\mathbb C}$ for some $N$, as a ...
- 455
3
votes
1
answer
170
views
Factoring out an element of a root subgroup to make a conjugation integral
Fix a nonarchimedean local field $L/\mathbb{Q}_p$ with ring of integers $\mathcal{O}$, uniformizer $\varpi$, and residue field $k$. If I take a matrix
$$\begin{pmatrix} a & \varpi b \\ c & d \...
- 503
1
vote
0
answers
133
views
What is Pic of the torus global affine Grassmannian?
Let $T$ be a torus and $X$ a proper smooth curve over characteristic $0$ algebraically closed field $k$.
What is $\text{Pic}(\text{Gr}_{T,X^n})$?
Here $\text{Gr}_{T,X^n}$ is the BD Grassmannian over $...
- 5,701
4
votes
0
answers
325
views
In which sense affine Grassmannian is "affine"
A pretty naïve question: Which meaning has the term "affine" in the notion of affine Grassmanian. Especially, I do not see any immediate connection to the concept of an "affine scheme&...
- 5,998
2
votes
0
answers
124
views
Levi quotients of parahorics in loop group
I am looking for some references on Levi quotients of parahorics in $LG = G(\mathbb{C}((t)))$, $G$ being an algebraic group with Weyl group $W$.
I have read that parahoric subgroups of $LG$ are in ...
- 57
6
votes
0
answers
204
views
A pairing between “Schubert” $H_*(\operatorname{Gr})$ and “Langlands” $H^*(\operatorname{Gr})$
Let $\operatorname{Gr}$ be an affine Grassmanian of some complex semisimple group $G$. Of course, there is a well-known description of $H^*(\operatorname{Gr})$ in terms of Langlands dual Lie algebra.
...
- 153
4
votes
0
answers
252
views
Does the space of hyperplanes in the Grassmannian have a name?
A way of defining the Grassmannian $Gr(k,n)$ is to consider the space of $k\times n$ matrices mod $GL(k)$ transformations on the rows. I'm interested in the space of $k\times 2n$ matrices mod $GL(k)$ ...
- 49
2
votes
0
answers
221
views
Transition maps between coordinate charts on the Grassmann manifold
Let $\mathbf{Gr}_{n,k}$ be the manifold of $k$-dimensional subspaces of $\mathbb{R}^n$, and let $\mathbf{col}$ be the map that takes a matrix in $\mathbb{R}^{n\times k}$ to its columnspace. The map
\...
- 21
2
votes
0
answers
121
views
What is the factorization algebra/space of an affine W algebra?
The affine vertex algebra $V_k(\mathfrak{g})$ factorizes, i.e. comes from a factorisation space, the Beilinson Drinfeld Grassmannian. Similarly, lattice vertex algebras have a factorization analogue.
...
- 5,701
2
votes
0
answers
209
views
Error in Proposition 8.7.1 of Pressley–Segal
Let $G$ be a connected, compact Lie group, $T$ a maximal torus. Let $LG$ be the group of smooth (or polynomial) loops and $X=LG/T$ the affine flag variety ($T$ acts say by right multiplication). In ...
- 959
4
votes
0
answers
260
views
Stratified fibration property of the "Ran" affine Grassmannian
Let us consider the so-called Ran Grassmannian $Gr_{Ran}$, i.e. the geometric object defined e.g. in [Zhu, An Introduction to the affine Grassmannian and the Geometric Satake equivalence, Definition 3....
- 455
6
votes
1
answer
677
views
Cartan decomposition of loop group
Let $G$ be a complex reductive group. Let $LG$ and $L^+ G$ denote the formal loop spaces given by maps from the punctured formal disk and the formal disk, respectively, to $G$. The quotient $LG/L^+ G$ ...
- 553
3
votes
0
answers
97
views
Is the affine Grassmannian manifold a symmetric homogeneous space?
I am interested in the manifold of affine subspaces of dimension $k$ of $\mathbb{R}^n$, which can be viewed as the homogeneous space
$$ E(n)/(E(k)\times O(n-k)),$$
where $E$ refers to rigid motions ...
- 401
5
votes
1
answer
444
views
Drinfeld Sokolov and the semiinfinite flag variety
For a long time I've been confused about Drinfeld Sokolov/BRST reduction/semiinfinite cohomology for affine Lie algebras. Most treatments define it in what to me feels like a fairly ad-hoc way, by ...
- 5,701
9
votes
0
answers
474
views
What is wrong with $A^{(2)}_{2n}$?
When dealing with affine Kac-Moody groups, especially geometrically (e.g. by examining their affine flag varieties or affine Grassmannians) I've been taught that time and time again, issues arise in ...
- 841
8
votes
0
answers
176
views
Comparison of two well-known bases of the integral homology group of based loop group
Let $G$ be a compact simply-connected Lie group. Then one can look at the homology $H_*(\Omega G;\mathbb{Z})$ of the based-loop space $\Omega G$ in at least two different ways:
(1) Via Bott-Samelson'...
- 461
1
vote
0
answers
121
views
Coefficient ring of Satake isomorphism
Let $G$ be a split reductive group over local field $F$, $G^L$ be the (complex) Langlands dual group of $G$. Denote $H$ to be the $\mathbb{Z}$-Hecke algebra of $G$, that is the ring of $G(\mathcal{O}...
- 677
7
votes
0
answers
168
views
Explicit computation for perverse cohomology
To construct the convolution product for two ($G(O)$-equivariant) perverse sheaves $\mathcal{F}, \mathcal{G}$ on affine grassmanian, the first thing we need to compute is $^PH^0(\mathcal{F} \boxtimes^...
- 677
10
votes
1
answer
659
views
how to view homology of affine Grassmannian as a subring of symmetric function
Let $G=SL_n$, it is proven that $R:=H_*(Gr_G)\cong \mathbb{C}[\sigma_1,...,\sigma_{n-1}]$ where $\sigma_i$ are of degree $2i$ as a polynomial ring generated by $n-1$ variables and the ring structure ...
- 849
10
votes
2
answers
742
views
Relation between affine flag and Grassmannian Steinberg variety
Let $\mathcal{K}=\mathbb{C}((t))$ be the field of formal Laurent series over $\mathbb{C}$, and by $\mathcal{O}=\mathbb{C}[[t]]$ the ring of formal power series over $\mathbb{C}$.
Given a semi-simple ...
- 2,273
8
votes
1
answer
595
views
Affine vs Yokonuma
Let $G=GL_n$. Let us start with the Hecke algebra $H_n$. It acts on K(constructible sheaves on $G/B$) by Hecke correpondences and on K(coherent sheaves on $G/B$) by Lusztig's construction [1]. Now we ...
- 3,752
13
votes
0
answers
797
views
Borel-Weil-Bott, Langlands and Hitchin
Let $G$ be a compact semi-simple Lie group and $G_\mathbb{C}$ be its complexification. We denote by $B$ a Borel subgroup of $G_\mathbb{C}$.
Given a dominant weight $\lambda$, one can construct a line ...
- 2,273
7
votes
1
answer
229
views
Homological contractibility of a prestack
This question is in reference to Gaitsgory's preprint Contractibility of the space of rational maps. On p. 5 of the preprint, Gaitsgory defines a prestack $\mathscr{Y}$ (say over affine $\mathbb{C}$-...
- 944
3
votes
1
answer
325
views
A technical question about affine grassmanian
For a commutative ring $R$, consider $R[[t]]$-modules $$t^k R[[t]]^n \subset M \subset t^{-k} R[[t]]^n \subset R((t))^n.$$ It is known that if $t^{-k} R[[t]]^n / M$ is finitely generated projective $R$...
- 5,562
4
votes
0
answers
189
views
Fibers of torus equivariant moment maps
Given a closed (possibly singular) projective variety $V$ with a symplectic structure and a torus action, there is a moment map
$\mu: V \rightarrow Lie(T)^*$. Note that the dimension of $T$ could be ...
- 1,719
2
votes
0
answers
222
views
obstructions to embeddings of manifolds into Grassmannians
Let $G_k(\mathbb{R}^n)$ be the Grassmannian consisting of $k$-dimensional subspaces in $\mathbb{R}^n$ and $AG_k(\mathbb{R}^n)$ the "affine Grassmannian" consisting of $k$-dimensional planes in $\...
- 543
1
vote
0
answers
150
views
Symplectic structures on the grassmannian model of the based loop group
$\newcommand{\Ad}{\operatorname{Ad}}$
In the study of (smooth/algebraic) based loop spaces of compact groups, one often uses a Grassmannian model to study the space. In particular, the Grassmannian ...
- 627
5
votes
1
answer
963
views
Singular/Smooth locus of Schubert variety of the affine grassmannian
Let $G$ be a connected, simply connected, semisimple, complex linear algebraic group with maximal torus $T$ and affine Grassmannian $\mathcal Gr$. It is well known that $\mathcal Gr$ admits a Bruhat ...
- 627
3
votes
1
answer
328
views
Do the following two filtrations of the affine Grassmannian agree?
Let $H = L^{2}(S^{1},\mathbb{C}^{n})$, $H_{0}\subseteq H$ the subset of maps that extend holomorphically to the unit disc, and $H_{m} = z^{m}H_{0}$. Consider the affine Grassmannian for $GL_{n}$ in ...
- 474
21
votes
1
answer
1k
views
Reconciling the affine grassmannian and the based loop group
I'm trying to reconcile the differences between the (algebraic) based loop group and the affine grassmannian. I once believed that I understood the relationship, but I just read a paper which has ...
- 627
2
votes
1
answer
853
views
Various definitions of the Bruhat decomposition of the affine Grassmannian
Let $G$ be a connected, simply connected, complex, semi-simple group with affine Grassmannian $\mathcal Gr \cong G(\mathbb C[t,t^{-1}])/G(\mathbb C[t])$. Fix a choice of maximal torus $T \subset G$ ...
- 627
6
votes
1
answer
2k
views
Vanishing patterns of minors of matrix
Let $M$ be a $m\times n$ matrix with entries in, say $\mathbb{C}$; assume $n\leq m$. Denote by $I\subseteq\{1,2,\ldots, n\}$ a subset of the columns of M. I am interested in positive results to the ...
- 902
5
votes
1
answer
605
views
Are Strata of the affine Grassmannian total spaces of equivariant vector bundles over flag varieties
This question is closely related to Peter Crooks question.
Strata of the Affine Grassmannian
Let $G$ be a complex reductive group, $\mathcal{K}:= \mathbb{C}((t))$, $\mathcal{O}:= \mathbb{C}[[t]]$ and ...
- 2,554
8
votes
0
answers
175
views
Are Schubert varieties for Kac-Moody groups cut out by linear equations?
Let $G$ be a reductive group, and let $X$ be a partial flag variety for $G$. Then it is known that for any projective embedding of $X$, that the equations scheme-theoretically cutting out a Schubert ...
- 5,548
10
votes
1
answer
1k
views
What are global sections of the determinant bundle on the Beilinson-Drinfeld Grassmannian?
Let $X$ be a smooth proper algebraic curve over $\mathbb{C}$, and let $G$ be a reductive group over $\mathbb{C}$. Let $Gr_{X,n}$ be the Beilinson-Drinfeld Grassmannian (for n points in $X$), which ...
- 5,548
8
votes
1
answer
1k
views
The Bialynicki-Birula Stratification of the Affine Grassmannian
Let $G$ be a connected, simply-connected complex semisimple group with affine Grassmannian $\mathcal{G}r$. Fix a maximal torus and Borel $T\subseteq B\subseteq G$. I am reading "Loop Grassmannian ...
- 4,920
10
votes
2
answers
1k
views
Relations between affine Grassmannian and Grassmannian
Let $\mathcal K = k((t))$ be the field of formal Laurent series over $k$, and by $\mathcal O = k[[t]]$ the ring of formal power series over $k$.
Let $G$ be an algebraic group over $k$. The affine ...
- 6,201
1
vote
0
answers
88
views
open immersion, affine grassmanian and negative loop group
Let $G$ a semisimple group over $k=\bar{k}$.
Let the $k$-indgroup, $LG^{-}\subset G(k[t^{-1}])$ be the kernel of the reduction. We know by Faltings that the multiplication map:
$LG^{-}\times G(k[[t]]...
- 3,472
2
votes
0
answers
597
views
Transverse slices to orbits in the nilpotent cone and affine Grassmanian in type A
Background My question is about the paper http://arxiv.org/abs/0712.4160; specifically about the isomorphism in Theorem $1.2$ (in the Introduction),
$T_{\lambda} \cap \overline{\mathcal{O}_{\mu}} \...
- 2,216
6
votes
0
answers
319
views
Is it possible to describe the ideals of the Iwahori decomposition in a loop group using generalized minors?
Let $G$ be your favorite complex reductive algebraic group, and consider its (algebraic) loop group $G((t))$. A role very similar to the Borel $B\subset G$ is played in the loop group by the Iwahori
...
- 44.7k
7
votes
0
answers
403
views
Reference for the Thick Affine Grassmanian
Let $G$ be a reductive group and $LG$ be the algebraic loop group of $G$; i.e. $LG(k) = G( k((t)) )$. There is a fair amount of literature on the affine Grassmanian $LG(k)/G(k[[t]])$ and its Picard ...
- 3,968
11
votes
3
answers
1k
views
The affine Grassmannian and the Bogomolny equations
In "Electric-Magnetic Duality and The Geometric Langlands Program", Sections 9 and 10, Kapustin and Witten describe certain convolution varieties in the affine Grassmannian (and more ...
- 44.7k
5
votes
1
answer
690
views
What is the Picard group of a Schubert variety in the affine Grassmannian?
I'm not sure I have a lot more to say than the title. Let $G$ be your favorite simple algebraic group over $\mathbb{C}$, and let $$\overline {\mathrm{Gr}}_\lambda= \overline{G(\mathbb{C}[[t]])\cdot t^...
- 44.7k