# Questions tagged [affine-grassmannian]

The affine-grassmannian tag has no usage guidance.

41
questions

1
vote

0
answers

100
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 $...

4
votes

0
answers

269
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&...

2
votes

0
answers

84
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 ...

6
votes

0
answers

182
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

202
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

172
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
\...

2
votes

0
answers

102
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.
...

2
votes

0
answers

193
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

227
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....

6
votes

1
answer

514
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

89
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

349
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 ...

9
votes

0
answers

456
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

160
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

110
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}...

7
votes

0
answers

157
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^...

10
votes

1
answer

612
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 ...

10
votes

2
answers

683
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

568
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 ...

13
votes

0
answers

752
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

224
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

317
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$...

4
votes

0
answers

187
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 ...

2
votes

0
answers

208
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 $\...

1
vote

0
answers

146
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

846
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

318
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

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 ...

2
votes

1
answer

777
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

571
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

169
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

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 ...

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 ...

9
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 ...

1
vote

0
answers

84
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]]...

2
votes

0
answers

558
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

294
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
...

7
votes

0
answers

389
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 ...

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 ...

5
votes

1
answer

662
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^...