Questions tagged [affine-grassmannian]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
6 votes
0 answers
149 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. ...
4 votes
0 answers
143 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)$ ...
2 votes
0 answers
97 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 \...
1 vote
0 answers
68 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. ...
  • 4,286
2 votes
0 answers
180 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 ...
4 votes
0 answers
197 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....
  • 325
6 votes
1 answer
370 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$ ...
3 votes
0 answers
74 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 ...
5 votes
1 answer
290 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 ...
  • 4,286
9 votes
0 answers
437 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 ...
8 votes
0 answers
144 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'...
1 vote
0 answers
98 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}...
  • 657
7 votes
0 answers
147 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^...
  • 657
10 votes
1 answer
558 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
623 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 ...
8 votes
1 answer
539 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,502
13 votes
0 answers
713 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 ...
7 votes
1 answer
221 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}$-...
3 votes
1 answer
308 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,362
4 votes
0 answers
184 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,629
2 votes
0 answers
186 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
137 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 ...
5 votes
1 answer
768 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 ...
3 votes
1 answer
309 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 ...
14 votes
0 answers
984 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 ...
2 votes
1 answer
726 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$ ...
6 votes
1 answer
1k 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 ...
5 votes
1 answer
550 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 ...
7 votes
0 answers
164 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 ...
10 votes
1 answer
986 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 ...
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,810
8 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 ...
  • 5,905
1 vote
0 answers
82 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,183
2 votes
0 answers
502 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}} \...
5 votes
0 answers
281 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 ...
  • 42k
7 votes
0 answers
384 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,858
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 ...
  • 42k
5 votes
1 answer
642 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^...
  • 42k