All Questions
Tagged with perverse-sheaves rt.representation-theory
34 questions
3
votes
1
answer
251
views
About decomposition theorem BBD with respect to some stratification
I want to follow up a question from here (how to deduce version 1.a. from version 1).
I know a version of decomposition theorem BBD:
Version 1. Let $f:X\to Y$ be a (surjective) proper map of complex ...
- 133
6
votes
0
answers
230
views
Fourier transform for perverse sheaves
I am interested in studying the Fourier transform for perverse sheaves on "nice" spaces, say affine complex space stratified by the action of an algebraic group into finitely many orbits.
In ...
- 71
2
votes
0
answers
143
views
Comparison of IC sheaves on Schubert varieties on two settings (l-adic vs. complex)
This question is basically about comparison of IC sheaves (or their sheaf cohomologies) for the settings: 1. variety is over $\mathbb{C}$ and sheaf is $\mathbb{C}$-linear, 2. variety is over a finite ...
- 323
7
votes
1
answer
490
views
Equivariant perverse sheaves and orbit stratification
Let $X$ be a complex algebraic variety with an action of a connected algebraic group $G$.
The forgetful functor from the category of $G$-equivariant perverse sheaves on $X$ to the category of perverse ...
- 3,446
2
votes
0
answers
132
views
Canonical basis and perverse coherent sheaves on the nilpotent cone
In the paper of Ostrik, he introduced a canonical basis of $K^{G\times {\mathbb C}^*}(\mathcal N)$, where $\mathcal N$ is the nilpotent cone for the group $G$. Question: does this canonical basis ...
- 2,964
3
votes
0
answers
413
views
Understanding the proof of the Springer correspondence
Let $G$ be a connected reductive group over an algebraically closed field $k$ with Weyl group $W$.
Let
$$
\mathcal{S} = R\pi_*\mathbb{Q}_\ell[\dim \mathcal{N}]
$$
be the Springer sheaf, where $\...
- 31
2
votes
0
answers
206
views
Springer sheaf and Deligne-Lusztig induction
Let $G=Gl_n$ be the general linear group over the algebraic closure of a finite field $\overline{\mathbb{F}}_q $ and let $F:G \to G$ be the standard Frobenius. On $G$ there is the Springer (perverse) ...
- 1,061
2
votes
0
answers
142
views
Local systems as a Serre subcategory of the category of perverse sheaves
Let $X$ be an algebraic variety. Let $Perv(X)$ be the (abelian) category of perverse sheaves on $X$ and let $Loc^{ft}(X)$ be the subcategory of local systems with finitely-generated stalks.
It is ...
- 373
7
votes
0
answers
207
views
A reference for Bernstein's approach to KL conjectures
The exposition in the famous J. Bernstein's lecture notes on D-modules is rather sketchy.
Fortunately, there are many other sources for the information from this text (like Hotta's excellent "D-...
- 81
12
votes
0
answers
388
views
Perverse sheaves and representation theory
At my university we are having a working group on perverse sheaves, with the aim of applying them to representation theory (Lusztig canonical bases for quivers/quantum groups etc). We are still ...
- 1,061
6
votes
1
answer
482
views
About an application of BBD decomposition theorem
There is a following proposition in the famous paper on Koszul duality by Beilinson, Ginzburg and Soergel:
let $G$ denote a semisimple complex Lie group, let $B$, $Q$ and $W^Q$ denote a pair of a ...
- 111
15
votes
0
answers
541
views
Applications of character sheaves
There are many important recent works (for example, by Lusztig, Bezrukavnikov-Finkelberg-Ostrik, Ben-Zvi-Nadler, Boyarchenko-Drinfeld, Lusztig-Yun, Vilonen-Xue) on character sheaves (which are certain ...
- 2,964
4
votes
1
answer
296
views
Computation of multiplicity of irreducible representation in some representation via geometric Satake correspondence
Let $G$ be a reductive algebraic group over $\mathbb{C}$. Let $\operatorname{Gr}_{G}$ be the corresponding affine Grassmannian ($\operatorname{Gr}_{G}(\mathbb{C})=G(\mathbb{C}((z)))/G(\mathbb{C}[[z]])$...
- 103
6
votes
0
answers
291
views
Springer fibers and Weyl group
Let $\pi:\tilde{\mathfrak{g}}\rightarrow\mathfrak{g}$ the Grothendieck-Springer resolution of a semisimple Lie algebra $\mathfrak{g}$, over $\mathbb{C}$.
We know it's a small map, and that $\pi_{*}\...
- 3,472
0
votes
0
answers
346
views
on the Springer sheaf
Let $\pi:\tilde{\mathfrak{g}}\rightarrow \mathfrak{g}$, be the Grothendieck-Springer resolution, where $\mathfrak{g}$ is a semisimple Lie algebra over $\mathbb{C}$.
We know that $\pi$ is small thus $\...
- 3,472
7
votes
0
answers
602
views
What's the relationship between the different versions of the BBD decomposition theorem?
I have a few questions relating to the BBD decomposition theorem.
I have come across the following two versions of the decomposition theorem.
Version 1. Let $f : X \to Y$ be a proper map of ...
5
votes
0
answers
384
views
Deligne-Lusztig and Character sheaves
Consider: $G$ - a nice group ($GL_n$) over a finite field $F$. $X$ - the flag variety. Consider a nice $G$-equivariant $l$-adic sheaf $\mathcal{M}$ on $X \times X$, equipped with Weil structure.
Fix $...
- 5,562
14
votes
1
answer
3k
views
When does a perverse sheaf occur in the decomposition theorem?
Suppose I am in the setting of the decomposition theorem, i.e., we have the decomposition of the direct image $f_*\mathbb Q_\ell$, where $f:X\to Y$ is proper. Then the direct image decomposes into a ...
- 3,799
0
votes
1
answer
342
views
Decomposition of semi simple local systems
I found A question similar to this, but the answer wasn't clear to me and I'm not supposed to ask for further clarification in the answer section.
Let $L$ a semi simple local system defined over an ...
3
votes
1
answer
304
views
A question on algebraic loop groops
Setup:
Let $\mathcal{K}=\mathbb{C}((t))$, $\mathcal{O}:= \mathbb{C}[[t]]$ and $G$ be a reductive algebraic group (over $\mathbb{C}$). Let further $\mathcal{K}_n$ denote the $\mathcal{O}$-ideal in $\...
- 2,554
8
votes
1
answer
530
views
Restriction to Levi Subgroups and the Affine Grassmannian
Let $G$ be a complex reductive group, $L\subset G$ a Levi subgroup and $Rep(G)$ the category of rational representations of $G$.
My Question:
What is the geometric analogue of the restriction ...
- 2,554
2
votes
1
answer
687
views
Derived Push-Forward of Morphism of Perverse Sheaves and Translation Functors
I hope this question is not too vague.
Let $G$ be a complex reductive group, $B$ a Borel subgroup of $G$, and $P$ a parabolic containing $B$.
Denote by $\pi:G/B\to G/P$ the canonical map. Consider ...
- 2,554
2
votes
0
answers
180
views
on geometric Satake and functions
Let $G(F)/G(O)$ the affine grassmanian with $F=k((t))$ where $k$ is a finite field.
For $\lambda$ a dominant cocharacter, we have by Cartan decomposition the schubert strata $\overline{Gr^{\lambda}}$....
- 3,472
1
vote
1
answer
577
views
Decomposing Semisimple Perverse Sheaves
So I asked this on maths SE because I don't truly consider it to be a research level question. This question mostly arises out of my completely limited understanding of perverse sheaves. However I do ...
- 2,902
7
votes
3
answers
716
views
Nice algebraic approximations of classifying spaces
Let $G=GL_k(\mathbb C)$ be the complex linear group. Then the infinite Grassmannian is a model for the classifying space $BG$.
We can write the infinte Grassmannian as a colimit of the finite ...
- 13.2k
6
votes
1
answer
504
views
Geometric interpretation of translation through the wall
What does translation through the wall correspond to under Beilinson Bernstein localization?
More precisely I am interested in the following:
There is a well known equivalence between the principal ...
- 13.2k
14
votes
1
answer
1k
views
Morphisms between Verma modules
Let $\mathcal{O}_0$ be the principal block of the BGG category $\mathcal{O}$ for a finite dimensional simple Lie algebra over $\mathbb{C}$. For an element $w$ in the Weyl group $W$, let $\Delta_w$ ...
- 1,595
5
votes
0
answers
564
views
About an argument in `Koszul duality patterns in representation theory' by Beilinson-Ginzburg-Soergel.
I am trying to understand Proposition 3.4.2 in `Koszul duality patterns in representation theory' by Beilinson-Ginzburg-Soergel [BGS]. A copy of the paper can be found at http://home.mathematik.uni-...
- 1,595
2
votes
2
answers
655
views
Question regarding a statement in `A proof of Jantzen conjectures'
So I am trying to understand a statement in the proof of Corollary 5.2.3 in `A proof of Jantzen conjectures' (a copy of the paper can be found at http://www.math.harvard.edu/~gaitsgde/grad_2009/).
...
- 1,595
5
votes
0
answers
491
views
Are Lusztig's perverse sheaves the only equivariant ones with nilpotent characteristic cycle?
In his '91 paper, Lusztig defines a collection of simple perverse sheaves that correspond to the canonical basis; these are defined using a pushforward construction, and from the definition, it's easy ...
- 44.7k
3
votes
0
answers
516
views
Schubert varieties of flag variety , perverse sheaves
The set of Schubert varieties in a flag variety is in one-to-one correspondence with elements of the Weyl group via left cells. There is also some relation between products of Schubert varieties and ...
- 51
9
votes
4
answers
3k
views
Gluing perverse sheaves?
It might be a stupid question.
How to glue perverse sheaves? I am considering the following example. Flag variety of $sl_2$, which is $P^1$. Consider category of perverse sheaves on $P^1$. Denoted by $...
- 5,515
11
votes
1
answer
792
views
What's known about the stalks of Lusztig's perverse sheaves on quiver varieties?
Lusztig has defined a category of perverse sheaves on the moduli space of representations of a Dynkin quiver (see his paper) corresponding to canonical basis vectors.
I'm interested in the stalks ...
- 44.7k
11
votes
2
answers
2k
views
What do the local systems in Lusztig's perverse sheaves on quiver varieties look like?
In "Quivers, perverse sheaves and quantized enveloping algebras," Lusztig defines a category of perverse sheaves on the moduli stack of representations of a quiver. These perverse sheaves are defined ...
- 44.7k