Questions tagged [geometric-representation-theory]
The geometric-representation-theory tag has no usage guidance.
97 questions with no upvoted or accepted answers
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}|$$ ...
- 455
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
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 ...
- 1,981
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 ...
- 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 ...
- 2,273
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 ...
- 349
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 ...
- 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 ...
- 1,061
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 ...
- 1,267
8
votes
0
answers
259
views
What is an example of Beilinson's theorem on $D^b\mathrm{Perv}$ failing for non-field coefficients?
In Beilinson's paper "On the derived category of perverse sheaves", he proves that the realization functor $D^b\mathrm{Perv}(X,R)\to D^b_c(X, R)$ is an equivalence when $R$ is a field. Here $...
- 495
8
votes
0
answers
388
views
Representation theory of Chevalley groups as a categorical trace
Dennis Gaitsgory's 2016 preprint, From Geometric to Function-Theoretic Langlands (or How to Invent Shtukas) includes in the third section a very compressed but suggestive discussion of the ...
- 858
7
votes
0
answers
223
views
Twisted D-module structure on pushfoward of structure sheaf of Bruhat cell
Apologies for the basic question, but my experience on math.stackexchange tells me that this will go unanswered there.
Background: In the principal block, the dual Verma modules (with highest weight $...
- 311
7
votes
0
answers
160
views
comparison of polynomial loop group and smooth loop group
I have a question about Section 8.6 of Pressley-Segal's Loop groups book. Let $G$ be a compact, connected Lie group. Proposition 8.6.6 concerns the comparison of homotopy type between its polynomial ...
- 959
7
votes
0
answers
168
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^...
- 677
7
votes
0
answers
268
views
Identifying and reconstructing the derived category from its auto-equivalences
Background: Given a smooth irreducible algebraic variety $Y$ with $\omega_Y$ or $\omega_Y^{-1}$ ample. Then Bondal-Orlov theorem states that if there exists any other smooth algebraic variety $Y'$ ...
- 1,981
7
votes
0
answers
299
views
Automorphism that the Fukaya category is "blind" to
Given a symplectic manifold $(M,\omega)$, there is a natural map
$$ Symp(M,\omega) \to Auteq(D^\pi Fuk(M,\omega))$$
which sends a symplectic automorphism to the $A_\infty$-functor it induces on the ...
- 1,981
7
votes
0
answers
167
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 ...
- 9,019
7
votes
0
answers
917
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 \mathcal{N}...
- 9,019
6
votes
0
answers
116
views
Properties of a functor from Soergel bimodules to Soergel modules
I am looking for an extension of a result of Riche-Soergel about a functor which maps Soergel bimodules to Soergel modules.
Fix a given Coxeter system $(W,S)$, together with a (reflection faithful) ...
- 211
6
votes
0
answers
225
views
What advantages do perverse sheaves provide over D-modules? (or vice versa)
My question is as in the title: What advantages do perverse sheaves provide over D-modules? (or vice versa)
As a specific example: could something like the modular generalized Springer correspondence ...
- 495
6
votes
0
answers
193
views
Bundles equivariant with respect to a transitive Lie algebra action
Suppose an algebraic group $G$ transitively acts on a variety $X$. Then it is well known that $G$-equivariant vector bundles on $X$ are in correspondence with representations of the stabilizer of a ...
- 151
6
votes
0
answers
275
views
The geometric "hands-on" vs. algebraic approach to nearby cycles
Feel free to skip to the question below; the following is just context and discussion:
An interesting, but seemingly less used result in the theory of nearby cycles of constructible sheaves is (...
- 272
6
votes
0
answers
442
views
Conceptual proof of braid group actions on quantum groups
Roughly 1990, Lusztig wrote a series of papers on quantum groups. Perhaps the result that the braid groups acts on $U_q(\mathfrak{g})$ is the proof which is least conceptual.
The original paper ...
- 719
6
votes
0
answers
173
views
Equivalence between $\mathcal{D}_\lambda$ modules and $\mathcal{D}_{0}$ modules
Fix $G$ a finite dimensional reductive group and $\lambda$ a weight. Apparently the category of $\mathcal{D}_\lambda$ modules on $G/B$ is equivalent to the category of $\mathcal{D}_0$ modules on $G'/B'...
- 5,701
6
votes
0
answers
360
views
Hochschild cohomology of (generalizations) of Khovanov's arc algebra
Backgroud: In his seminal paper A functor-valued invariant of tangles, Khovanov (among many other things) introduced the arc algebra $H^{n}$ and several functors between $H^{n}$ and $H^{m}$ related to ...
- 915
6
votes
0
answers
126
views
Geometric Arthur-Selberg
What should be the analogue of the Arthur-Selberg trace formula in the geometric Langlands theory?
user140765
6
votes
0
answers
214
views
Two seemingly different definitions of a left cell
This is a question about two seemingly different notions of a left cell in a finite Weyl group and why they are the same. My question arose from reading a paper of W. McGovern titled "Left cells and ...
- 1,073
6
votes
0
answers
171
views
Could we characterize injective objects in the category of $G$-equivariant sheaves?
Let $k$ be a field and $X$ be a topological space. We consider Sh$(X)$, the category of sheaves of $k$-vector spaces on $X$.
Let $G$ be a topological group which act on $X$ continuously from the left....
- 9,019
6
votes
0
answers
304
views
Geometric interpretation of a formula for the induced character (fix point localization?)
Let $H < G$ be a subgroup of a finite group $G$. Let $X:=G/H$ and $\mathcal{F} \in Sh_G(X)$ be an equivariant sheaf on $X$ (w.r.t. left multiplication) associated to a finite dimensional ...
- 7,789
6
votes
0
answers
253
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), ...
- 972
6
votes
0
answers
532
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 ...
- 44.7k
5
votes
0
answers
113
views
Smoothness of some varieties related to the Slodowy slice
Let $G$ be a complex algebraic group with simple Lie algebra $\mathfrak{g} = \operatorname{Lie} G$. Let $\mathcal{B}$ be the flag variety consisting of all the Borel subalgebras of $\mathfrak{g}$.
Let ...
- 51
5
votes
0
answers
212
views
Relations between Whittaker functions/W algebras and Stokes data/resurgence
Skippable background: A Whittaker function is more or less a function on a flag manifold which is twisted-invariant for the action of a unipotent subgroup. E.g. consider functions $f$ on $\mathbf{P}^1$...
- 5,701
5
votes
0
answers
127
views
Is there a derived version of affine Schur-Weyl duality?
One version of affine Schur-Weyl duality states that there is a fully faithful functor from representation of $A_r$ affine Hecke algebra to the representation of $A_n$ affine Lie group assuming $r<...
- 189
5
votes
0
answers
152
views
Concrete computation of pullback of the $D$-module $\mathbb{C}[t,t^{-1}]$
I have some problems in calculating some example explicitly. Consider
$$ \{0\} \overset{i}{\rightarrow} \mathbb{C} \overset{j}{\leftarrow} \mathbb{C}^*.$$
Then $Rj_+\mathbb{C}[t,t^{-1}] = \mathbb{C}[t,...
- 1,168
5
votes
0
answers
223
views
Making Virasoro uniformization explicit for elliptic curves
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\Aut{Aut}\DeclareMathOperator\Lie{Lie}\DeclareMathOperator\Der{Der}\newcommand\el{\mathrm{ell}}$Let $\mathcal{M}_{g,1^{\infty}}$ denote the space ...
user108998
5
votes
0
answers
244
views
Borel–Weil–Bott theorem and tensor product
Let $G=\operatorname{SL}(2)$ and $V_n$ be the n+1 dimensional irreducible representation of $G$. This gives a representation for $G(O)=\operatorname{Map}(\operatorname{Spec} k[[t]], G)$ and hence an ($...
- 189
5
votes
0
answers
253
views
Tannakian theory for Lie algebras
Let $G$ be a reductive (just in case) linear algebraic group over $\mathbb{C}$ and let $\mathfrak{g}$ be the Lie algebra of $G$. Consider the category $\operatorname{Rep}(G)$ of finite dimensional ...
5
votes
0
answers
324
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 $\mathbb{C}...
- 2,554
5
votes
0
answers
638
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 quasi-...
- 5,515
4
votes
0
answers
153
views
Verlinde formula via chiral/vertex algebras
The Verlinde formula gives an explicit formula for any finite dimensional simple Lie algebra $\mathfrak{g}$ an explicit formula for the dimension of conformal blocks for the associated WZW conformal ...
- 5,701
4
votes
0
answers
172
views
Frobenius kernel by Greenberg functor
I was not able to find much on representation theory (with a geometric perspective) of algebraic groups over local artinian rings. In particular, studying on the classic book of Jantzen, I was asking ...
- 41
4
votes
0
answers
260
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....
- 455
4
votes
0
answers
76
views
On the order of the head of product of two simple modules over Quiver Hecke Algebras
My question is:
We assume the underlying quiver is a Dynkin quiver. Let $L(\lambda)$ and $L(\mu)$ be two simple modules over Quiver Hecke algebra $R$ where $\lambda$ and $\mu$ are two Konstant ...
- 71
4
votes
0
answers
115
views
Tensors of minimal rank in Schur modules $S_{\lambda}V \subset V^{\otimes |\lambda|}$
It is well known that for a vector space $V$ with $\dim(V)=n+1$ the $GL(V)-$module $V^{\otimes d}$ splits as a sum of irreducible representations (with suitable multiplicities) $S_{\lambda}V$, where $\...
- 1,343
4
votes
0
answers
99
views
Confusion about twisted Vermas in Feigin-Frenkel
Let $G$ be a finite dimensional semisimple algebraic group, and for $s\in W$ write $i_s: F_s=B^+sB^-/B^-\to F$ for the $s$th Bruhat cell in the flag variety $F$.
Then (in Affine Kac-Moody Algebras and ...
- 5,701
4
votes
0
answers
103
views
Computing $\mathcal D$-module direct image along group action map
Say everything is over $\mathbb C$, and I have an action $act: N \times X \to X$ of an affine algebraic group $N$ on a smooth variety, say with finitely many orbits. I'm trying to compute the $\...
- 403
4
votes
0
answers
137
views
Relations between double coinvariants and affine Springer fibers
Diagonal coinvariants have an interpretation from https://arxiv.org/abs/math/0201148 in terms of the Hilbert scheme.
There are two recent papers https://arxiv.org/pdf/1801.09033.pdf and https://arxiv....
- 2,964
4
votes
0
answers
137
views
Intersection of components in Springer fibre of type A
From the standard results on Springer fibers of type A, we know that given a Springer fiber, say $\mathcal{B}_\lambda,$ its irreducible components are all equidimensional and parametrized by standard ...
- 1,677