Questions tagged [affine-grassmannian]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1 vote
0 answers
120 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 $...
Pulcinella's user avatar
  • 5,506
4 votes
0 answers
286 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&...
user267839's user avatar
  • 5,948
2 votes
0 answers
93 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 ...
user492133's user avatar
6 votes
0 answers
190 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. ...
Vanya Karpov's user avatar
4 votes
0 answers
217 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)$ ...
Gabriele _D's user avatar
2 votes
0 answers
186 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 \...
RedRobin's user avatar
2 votes
0 answers
108 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. ...
Pulcinella's user avatar
  • 5,506
2 votes
0 answers
200 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 ...
onefishtwofish's user avatar
4 votes
0 answers
238 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....
W. Rether's user avatar
  • 395
6 votes
1 answer
593 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$ ...
G. Gallego's user avatar
3 votes
0 answers
92 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 ...
Chevallier's user avatar
5 votes
1 answer
367 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 ...
Pulcinella's user avatar
  • 5,506
9 votes
0 answers
461 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 ...
Marc Besson's user avatar
8 votes
0 answers
166 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'...
ChiHong Chow's user avatar
1 vote
0 answers
113 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}...
userabc's user avatar
  • 667
7 votes
0 answers
160 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^...
userabc's user avatar
  • 667
10 votes
1 answer
623 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 ...
Ben's user avatar
  • 849
10 votes
2 answers
704 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 ...
Satoshi  Nawata's user avatar
8 votes
1 answer
574 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 ...
Anton Mellit's user avatar
  • 3,572
13 votes
0 answers
764 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 ...
Satoshi  Nawata's user avatar
7 votes
1 answer
225 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}$-...
Tyler Foster's user avatar
3 votes
1 answer
321 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$...
Sasha's user avatar
  • 5,492
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 ...
Qiao's user avatar
  • 1,669
2 votes
0 answers
213 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 $\...
Shi Q.'s user avatar
  • 543
1 vote
0 answers
149 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 ...
Tyler Holden's user avatar
5 votes
1 answer
895 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 ...
Tyler Holden's user avatar
3 votes
1 answer
322 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 ...
James Mracek's user avatar
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 ...
Tyler Holden's user avatar
2 votes
1 answer
794 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$ ...
Tyler Holden's user avatar
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 ...
Camilo Sarmiento's user avatar
5 votes
1 answer
580 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 ...
Oliver Straser's user avatar
7 votes
0 answers
171 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 ...
Dinakar Muthiah's user avatar
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 ...
Dinakar Muthiah's user avatar
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 ...
Peter Crooks's user avatar
  • 4,870
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 ...
Jianrong Li's user avatar
  • 6,101
1 vote
0 answers
86 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]]...
prochet's user avatar
  • 3,432
2 votes
0 answers
576 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}} \...
Puraṭci Vinnani's user avatar
5 votes
0 answers
303 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 ...
Ben Webster's user avatar
  • 43.9k
7 votes
0 answers
393 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 ...
solbap's user avatar
  • 3,938
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 ...
Ben Webster's user avatar
  • 43.9k
5 votes
1 answer
666 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^...
Ben Webster's user avatar
  • 43.9k