The tag has no usage guidance.

learn more… | top users | synonyms

30
votes
1answer
814 views

Roadmap to Geometric Representation Theory (leading to Langlands)?

I believe there has been at least one question similar to this one and yet I still think this particular question deserves to have a thread of its own. I'm becoming increasingly fascinated by stuff ...
20
votes
1answer
2k views

What is the Hirzebruch-Riemann-Roch formula for the flag variety of a Lie algebra?

If we have a finite dimensional Lie algebra g, then the flag variety of g is a projective scheme. My question is what is Hirzebruch-Riemann-Roch formula for this projective scheme? Are there any ...
17
votes
1answer
1k views

How many ways are there to globalize Harish Chandra modules?

Suppose $G$ a reductive Lie group with finitely many connected components, and suppose in addition that the connected component $G^0$ of the identity can be expressed as a finite cover of a linear Lie ...
15
votes
4answers
2k views

motivating geometric representation theory

I am wondering if there is a good motivation for geometric representation theory from within the questions of classical representation theory. In other words, I'd be curious to see something using ...
15
votes
1answer
380 views

What do Hecke eigensheaves actually look like?

Let $\mathbb F_q$ be a finite field, $C$ a curve over $\mathbb F_q$ of genus $g\geq 2$, $\rho: \pi_1(C) \to GL_2(\overline{\mathbb Q}_\ell)$ an irreducible local system. The geometric Langlands ...
14
votes
1answer
294 views

Why should intersection cohomology and quantum cohomology be related for a symplectic resolution?

In http://arxiv.org/pdf/1410.6240.pdf M. McBreen and N. Proudfoot conjectured a precise relationship between the quantum cohomology of a symplectic resolution and the intersection cohomology of the ...
14
votes
1answer
642 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$ ...
13
votes
3answers
1k views

Introductory References for Geometric Representation Theory

Would anyone be able to recommend text books that give an introduction to Geometric Representation Theory and survey papers that give an outline of the work that has been done in the field? I'm ...
13
votes
2answers
2k views

What is the significance that the Springer resolution is a moment map?

Let $\mathcal{B}$ be the flag variety and $\mathcal{N} \subset \mathfrak{g}$ is the nilpotent cone. We know that the Springer resolution $$ \mu: T^*\mathcal{B}\rightarrow \mathcal{N} $$ is the moment ...
13
votes
1answer
2k views

Is there Grothendieck Riemann Roch for abelian category?

From the answers in noncommutative algebraic geometry, one can take abelian category as a scheme(commutative or noncommutative). So I wonder whether anyone ever developed the Grothendieck Riemann Roch ...
11
votes
4answers
2k views

Why are the holomorphic line bundle sections finite dimensional?

I'm trying to understand the Borel--Weil theorem at the moment (not the whole Bott--Borel--Weil theorem as has been asked elsewhere). However, I am having a little difficulty finding a direct proof, ...
10
votes
2answers
1k views

Can the Quantum Torus be realized as a Hall Algebra?

Background The Quantum Torus Let $q$ be an arbitrary complex number, and define (the algebra of) the quantum torus to be $$T_q:=\mathbb{C}\langle x^{\pm 1},y^{\pm 1}\rangle/xy-qyx$$ For $q=1$, this ...
10
votes
1answer
521 views

Characteristic Classes in Geometric Representation Theory

Geometric respectively topological methods are widely applied in representation theory. As far as I know mainly cohomological methods are used. I wonder if there are concrete applications of the ...
9
votes
2answers
267 views

Representation viewpoint on Chern Weil (cohomology computations done with rep theory?)

Let $G$ be a compact lie group. Chern-Weil theory tells us that there's a homomorphism: $$H^{*}(BG;\mathbb{R}) \to (Sym^{\bullet} \mathfrak{g^*})^G$$ Which in our case is an isomorphism since $G$ ...
8
votes
2answers
380 views

Confusion about Subcategories of Category $\mathcal{O}$

So, in learning about category $\mathcal{O}$ representations of a semisimple Lie algebra $\mathfrak{g}$, I've come across two natural kinds of subcategories, and I think I'm confused about their ...
8
votes
1answer
482 views

How nice are representation varieties of Fuchsian groups?

Background Let $S_{g,n}$ be an oriented surface of genus $g$, with $n$ punctures. We explicitly prohibit the non-hyperbolic cases: $g=0$, $n=0,1,2$. $g=1$, $n=0$. Let $\Gamma$ be the fundamental ...
8
votes
1answer
341 views

Kazhdan-Lusztig Polynomials and Intersection Cohomology

I hope this question has not been asked before. I would like to know which Ideas led (Deligne), Kazhdan and Lusztig believe, that Kazhdan–Lusztig polynomials can be expressed via intersection ...
8
votes
2answers
488 views

Weil's theorem about maps from a discrete group to a Lie group.

Let K be a group (with discrete topology), G be a Lie group. Let $\operatorname{Hom}(K,G)$ be the space of all group homomorphisms from K to G. This is a closed subvariety of the space of all the maps ...
8
votes
1answer
273 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 ...
8
votes
3answers
780 views

Is there a good account of D-affinity and localization theorem for partial flag varieties?

Recall that a topological space is called $A$-affine for a sheaf of algebras $A$ if taking global sections of coherent sheaves of $A$-modules is an equivalence of categories to finitely generated ...
7
votes
3answers
2k views

Beilinson-Bernstein and Koszul duality

For geometric representation theorists down here. Consider the Beilinson-Bernstein theorem: Functor of global sections establishes the correspondence between twisted D-modules with fixed ...
7
votes
3answers
749 views

Reference request: Affine Grassmannian and G-bundles

Let $G$ be an affine algebraic group over an algebraically closed field $k$ of zero characteristic. The set of cosets $X_G=G(k((t))/G(k[[t]])$ is called the Affine Grassmannian of $G$ and can be given ...
7
votes
2answers
476 views

Global Affine Flag Variety and Affine Flag Variety

There is a construction of a global affine flag variety over $\mathbb{A}^1$ (or another curve) $Fl_{\mathbb{A}_1}$ such that each fiber above $\epsilon \neq 0$ is isomorphic to a direct product of the ...
7
votes
0answers
545 views

Is the Springer resolution a blow-up?

Let's consider the Springer resolution of the nilpotent cone $\mathcal{N}$ of a complex semisimple Lie algebra $\mathfrak{g}$, which is $$ \widetilde{\mathcal{N}}=T^*\mathcal{B}\rightarrow ...
6
votes
1answer
2k views

How to understand character sheaves

There's a well-known series of articles by Lusztig about Character Sheaves. They have important connections to many things in (geometric) representation theory, e.g. 0904.1247 How to understand these ...
6
votes
0answers
532 views

Hirzebruch-Riemann-Roch for quiver varieties?

These days, I attended a workshop at North Carolina State University. The key lecturer is Professor Nakajima. He introduced two types of quiver variety. One of them is affine, another one is ...
5
votes
2answers
683 views

Smoothness properties of the Springer fiber

The Springer fiber, recall, is defined (briefly) with reference to a chosen unipotent matrix $U \in \mathrm{GL}_n$, and consists of all flags $0 = F_0 \subset F_1 \subset \dots \subset F_n = ...
5
votes
1answer
451 views

What kind of algebra has geometric realization as in “Geometric Methods in Representation Theory of Hecke Algebras and Quantum Groups”

In Chriss and Ginzburg's book "Representation Theory and Complex Geometry" as well as the paper "Geometric Methods in Representation Theory of Hecke Algebras and Quantum Groups", the group algebra ...
5
votes
1answer
353 views

analog of Lusztig nilpotent scheme

Fix a quiver $Q$ without loop. Denote the set of vectices of $Q$ by $I$. Let $\Lambda_V$ be the Lusztig nilpotent scheme with associated vector space $V$ over $I$. Briefly speaking, when $Q$ is a ...
5
votes
0answers
104 views

How to characterize the class of $(\mathfrak{g},K)$-modules with a fixed lowest K-type in the framework of D-modules?

Let $G$ be a real semisimple Lie group, $K$ be a maximal compact subgroup. Let $\mathfrak{g}_0$ and $\mathfrak{k}_0$ be their real Lie algebras respectively. Let $\mathfrak{g}$ and $\mathfrak{k}$ be ...
5
votes
0answers
257 views

A question about equivariant derived categories and [BBD]

Let $G$ be an algebraic group (over $\mathbb{C}$) acting algebraically on a variety $X$. Bernstein and Lunts then define in [BL94] the equivariant derived category $D^b_G(X,\mathbb{C})$ (of ...
5
votes
0answers
199 views

Action of $F_4$ on generalized flag manifolds

Does there exist (as elementary as possible) a generalized flag manifold (e.g. sphere, projective space, Grassmanian, etc.) of a simple classical Lie group (SL, SO or Sp over real or complex field), ...
4
votes
1answer
361 views

About the pro-algebraic group structure of $G(\mathbb{C}[[t]])$

I hope this is not too elementary! Let $G$ be a algebraic reductive group over $\mathbb{C}$. The group $G(\mathbb{C}[[t]])$ can be given the structure of a pro algebraic group as follows. Let $l\in ...
4
votes
1answer
228 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 ...
4
votes
1answer
780 views

Explanation for Satake correspondence

Some time ago I was told there's an interesting classical Satake correspondence which I will write as $$[\mathop{\mathrm{disk}} \Rightarrow G] \\,\backslash\\, [\mathop{\mathrm{disk}^\times} ...
4
votes
1answer
642 views

Quiver varieties and the affine Grassmannian

Recently I was watching a talk: http://media.cit.utexas.edu/math-grasp/Ben_Webster.html and at the end the lecturer gave a correspondence (I was having trouble with subscripts so changed the notation ...
4
votes
1answer
261 views

what is the injective hull of indecomposable module of preprojective algebra

Let $Q$ be a ADE type quiver and $s_i$ ($i$ runs through the vertices of $Q$) be the simple $\Lambda$-module with 1-dimensional vector space at vertex $i$ and zero-dim at other vertices. Here ...
4
votes
1answer
175 views

Finite-dimensional representations of DAHA

It is shown by Berest-Etingof-Ginzburg that there exist finite-dimensional irreducible representations of rational Cherednik algebra $H_c(S_n)$ of $A_{n-1}$ type if and only if the deformation ...
4
votes
1answer
204 views

Stalks of intersection cohomology complexes of Schubert varieties and Bruhat order

All varieties are over $\mathbb{C}$. Let $G$ be a connected reductive group, $B\subseteq G$ a Borel subgroup. Let $O_w$ be a $B$-orbit in $G/B$. I.e., $O_w$ is a Bruhat cell. In particular, it is ...
4
votes
0answers
155 views

positivity of semicanonical basis

Given a quiver $Q$, there is an algebra isomorphism from $U\frak{n}$ to $\mathcal{M}\subset \sum_{v}\text{Const}(\Lambda_v)^{G_v}$ by Lusztig's construction. Fro each $Z\in \text{Irr}(\Lambda_v)$. ...
4
votes
0answers
97 views

relation between constructible function on quiver variety and representation of Kac Moody algebra

This is a follow-up question of my previous question. In Lusztig's paper Section 12, Lusztig constructed an algebra embedding from $U\frak{n}_-$ to $\oplus_V M(\Lambda_V)$. In Nakajima's paper ...
4
votes
0answers
288 views

Euler characteristic, character of group representation and Riemann Roch theorem

I am considering the following set up:Let $G$ be a finite group,let $Rep(G)$ denote the category of finite dimensional representations over $\mathbb{C}$. Let $V,W$ be representations of $G$ in ...
4
votes
0answers
379 views

Can one calculate Ext's between microlocalized perverse sheaves/D-modules using topology?

So, I know one really good technique for calculating Ext's between perverse sheaves/D-modules using topology: the convolution algebra formalism, worked out in great detail in the book of Chriss and ...
3
votes
1answer
95 views

Dimension of orbits in affine Grassmanian

Let $\mathcal{K} = \mathbb{C}((t)), \mathcal{O}=\mathbb{C}[[t]]$, $G$ be a reductive group, and $\text{Gr}_G=G(\mathcal{K})/G(\mathcal{O})$; there is a left action of $G(\mathcal{O})$ on ...
3
votes
1answer
277 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 ...
3
votes
0answers
86 views

Double loop groups and cohomology

Let $G$ be a connected reductive group over $\mathbb{C}$ of Lie algebra $\mathfrak{g}$. What is the value of $H^{3}(\mathfrak{g}((t))((s)),\mathbb{C})$?
2
votes
2answers
480 views

Around the socle filtration of a Verma module

Work in the context of a finite dimensional simple Lie algebra over $\mathbb{C}$. Write $W$ for the Weyl group and $\leq$ for the Bruhat order. For $w\in W$ let $\Delta_w$ denote the Verma module of ...
2
votes
1answer
161 views

Is it possible to describe the action of the Weyl group on the cohomology of the fibers of the Grothendieck-Springer resolution?

I am confused about the following: can one describe the action of the Weyl group on the cohomology of each fiber of the Grothendieck-Springer resolution? I only need the case of ${\mathfrak sl}_n$. ...
2
votes
1answer
335 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
votes
0answers
119 views

What's the relation of the Hecke algebra of a pair and the flag variety?

Let $G$ be a real semisimple Lie group and $K$ a maximal compact subgroup. Let $\mathfrak{g}$ and $\mathfrak{k}$ be the complexified Lie algebra of $G$ and $K$, respectively. Then the Hecke algebra ...