Skip to main content

Questions tagged [geometric-representation-theory]

Filter by
Sorted by
Tagged with
40 votes
1 answer
4k 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 ...
Saal Hardali's user avatar
  • 7,789
32 votes
1 answer
3k 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 ...
Peter Lee 's user avatar
  • 1,305
28 votes
2 answers
3k views

Proofs of Beilinson-Bernstein

The Beilinson-Bernstein localization theorem states roughly that the category of $D$-modules on the flag variety $G/B$ is equivalent to the category of modules over the universal enveloping algebra $U\...
dhy's user avatar
  • 5,958
25 votes
3 answers
6k 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 ...
Siddharth Venkatesh's user avatar
24 votes
1 answer
3k 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 ...
Will Sawin's user avatar
  • 148k
24 votes
1 answer
2k 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 ...
Clark Barwick's user avatar
22 votes
4 answers
5k 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 ...
20 votes
2 answers
4k 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 ...
Zhaoting Wei's user avatar
  • 9,019
20 votes
0 answers
597 views

Your favourite alternative proof of Borel–Weil–Bott

There is a really nice proof of Borel–Weil–Bott, essentially using parabolic induction (see Proof of Borel-Weil-Bott Theorem, Lurie - A proof of the Borel–Weil–Bott theorem or Demazure - A very simple ...
19 votes
0 answers
661 views

Homotopy type of the affine Grassmannian and of the Beilinson-Drinfeld Grassmannian

The affine Grassmannian of a complex reductive group $G$ (for simplicity one can assume $G=GL_n$) admits the structure of a complex topological space. More precisely, the functor $$X\mapsto |X^{an}|$$ ...
W.Rether's user avatar
  • 455
18 votes
4 answers
5k 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, ...
John McCarthy's user avatar
16 votes
1 answer
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 ...
Peter Lee 's user avatar
  • 1,305
15 votes
1 answer
549 views

Branching rule of $S_n$ and Springer theory

Let $u\in\mathrm{GL}_n$ be a unipotent element, let $\mathcal{B}_u$ be the variety of Borel subgroups containing $u$, and let $d=\dim \mathcal{B}_u$. Then Springer theory tells us that $H^{2d}(\...
user148212's user avatar
  • 1,666
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 ...
Yellow Pig's user avatar
  • 2,964
15 votes
0 answers
599 views

Open conjectures on the Fukaya category coming from physics

This is a slightly vague question (for which I apologize in advance): can somebody give examples to open conjectures on the behavior of the $Fuk(M,\omega)$ that come from string theory and can be ...
Nati's user avatar
  • 1,981
14 votes
3 answers
2k views

How should I think about the Grothendieck-Springer alteration?

Given a simple complex Lie algebra $\mathfrak{g}$, recall the Springer resolution of its nilpotent cone $\widetilde{\mathcal{N}}\to \mathcal{N}$. Several times I have seen someone explaining Springer ...
Spencer Leslie's user avatar
14 votes
1 answer
4k 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 ...
Ilya Nikokoshev's user avatar
14 votes
1 answer
697 views

What is the Zhu algebra of a vertex algebra "really"?

Given any vertex algebra $V$, you can give a particular quotient $\DeclareMathOperator\Zhu{Zhu}\Zhu V=V/\cdots$ an algebra structure using (a small amount of) the vertex algebra structure. As far as ...
Pulcinella's user avatar
  • 5,701
14 votes
1 answer
817 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 ...
Yellow Pig's user avatar
  • 2,964
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$ ...
Reladenine Vakalwe's user avatar
13 votes
0 answers
188 views

Why is $ULU=NU$ (a refinement of $|N|=q^{n^2-n}$)?

Let $G=GL_n(\mathbb{F}_q)$, $U$, $L$, $N$ the subsets of upper-triangular unipotent, lower-triangular unipotent, all unipotent matrices respectively. Then $ULU=NU$ means that for any $g\in G$ the ...
Anton Mellit's user avatar
  • 3,772
13 votes
0 answers
797 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
12 votes
2 answers
887 views

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

$\DeclareMathOperator\Sym{Sym}$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 ...
Saal Hardali's user avatar
  • 7,789
12 votes
1 answer
2k 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 is ...
Greg Muller's user avatar
12 votes
1 answer
842 views

What kind of algebraic object is $\mathcal{D}_X$? (algebra of diifferential operators). What's special about modules over it?

Let $R$ be a regular ring over a field of char 0. Let $X=Spec R$ and $D=\mathcal{D}_X$ the algebra of differential operators over it. The overall vague question is what kind of algebraic object is $...
Saal Hardali's user avatar
  • 7,789
12 votes
0 answers
2k views

Roadmap to geometric Langlands for a mathematical physics student

I am a student of both mathematics and physics, who has recently been studying string theory. My mathematics background is mostly differential geometry (principal bundles, Lie groups, etc.), although ...
Daniel Waters's user avatar
12 votes
0 answers
717 views

Sign error in Chriss-Ginzburg?

On page 118, Theorem 2.7.26 (iii) in Chriss-Ginzburg "Representation Theory and Complex Geometry" there is a formula for the convolution of the classes of conormal bundles of $Y_{12}\subset ...
Anton Mellit's user avatar
  • 3,772
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 ...
Tommaso Scognamiglio's user avatar
11 votes
2 answers
977 views

Reference for combinatorics with view towards representation theory/algebraic geometry

I'm making this post to ask for a reference about combinatorics: I'm a PhD student in representation theory/algebraic geometry. My background is mostly in algebra and geometry (and also mostly ...
Tommaso Scognamiglio's user avatar
11 votes
1 answer
1k 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 ...
Greg Muller's user avatar
11 votes
1 answer
1k 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 ...
Oliver Straser's user avatar
11 votes
1 answer
577 views

Decategorification of Gaitsgory's strange functional equation?

Let $G$ a complex reductive algebraic group, $X$ be a smooth compact complex curve. The moduli stack $Bun_G$ of principal $G$-bundles on $X$ is generally speaking not quasi-compact (so we do not have ...
user avatar
10 votes
1 answer
819 views

Why are VOA characters modular forms (geometrically)?

In Zhu's seminal paper, he proves (5.3.2) that if $V$ is a vertex algebra the character of all of its modules are modular forms! (This is not literally true- there are conditions). I have always found ...
Pulcinella's user avatar
  • 5,701
10 votes
1 answer
642 views

Is the affine closure of the basic affine space of a reductive algebraic group Cohen–Macaulay?

Let $G$ be a reductive algebraic group with choices of Borel subgroup and maximal torus $B \supseteq T$ and unipotent radical $U$ over an algebraically closed field $k$ of characteristic zero. Is the ...
Tom Gannon's user avatar
9 votes
1 answer
2k 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} \...
Ilya Nikokoshev's user avatar
9 votes
1 answer
1k views

Geometric construcion of Proj as a quotient by a $\mathbb{G}_m$ action

I'm trying to translate the Proj construction as a kind of quotient by a $\mathbb{G}_m$ action. Here's what I have so far: Let $X=Spec\,A$ be an affine scheme (after this case is setteled I imagine it ...
Saal Hardali's user avatar
  • 7,789
9 votes
3 answers
1k 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 $\...
Ben Webster's user avatar
  • 44.7k
9 votes
0 answers
607 views

Geometric meaning of twist

It is sometimes the case that a Galois representation or a motive acquires a desirable property only after a twist by a character, usually a Tate twist. The latest example of this I have come across ...
Nimas's user avatar
  • 1,267
8 votes
2 answers
743 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 ...
Alex Zorn's user avatar
  • 183
8 votes
3 answers
2k 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 = \mathbb{C}...
Ryan Reich's user avatar
  • 7,273
8 votes
3 answers
529 views

Intuitive reason that the regular representation is a uniform function

Corollary 12.14 of Digne-Michel's book Representations of finite groups of Lie type gives various decompositions of the regular representation $\operatorname{reg}_G$ in terms of the Deligne-Lusztig ...
Martin Skilleter's user avatar
8 votes
3 answers
2k 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 ...
KotelKanim's user avatar
  • 2,027
8 votes
1 answer
1k 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 ...
Najdorf's user avatar
  • 741
8 votes
1 answer
694 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 ...
Oliver Straser's user avatar
8 votes
1 answer
1k views

A combinatorial expression of Hall-Littlewood polynomials

This is related to the question Hall-Littlewood functions and functions on the nilpotent cone, and arises in the construction of Coulomb branches of gauge theories. The motivation is explained at the ...
Hiraku Nakajima's user avatar
8 votes
2 answers
2k 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 ...
Qiao's user avatar
  • 1,719
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 ...
Oliver Straser's user avatar
8 votes
2 answers
826 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 ...
Ilya Grigoriev's user avatar
8 votes
1 answer
698 views

Interactions (functors) between equivariant sheaves for different groups?

Let $G$ be a finite group and $k$ a field (alg. closed char 0 for simplicity). To every $G$ set $X$ we can assign the category of $G$-equivariant sheaves of $k$-vector spaces $Sh_G(X)$. It is ...
Saal Hardali's user avatar
  • 7,789
8 votes
1 answer
372 views

Two versions of parabolic category O

Let $ \mathfrak{g} $ be a semisimple Lie algebra with corresponding complex semisimple group $ G$. Let $ P \subset G $ be a parabolic subgroup. Let $ W^P $ be the set of shortest coset ...
Joel Kamnitzer's user avatar

1
2 3 4 5