Questions tagged [geometric-representation-theory]
The geometric-representation-theory tag has no usage guidance.
208 questions
5
votes
1
answer
675
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,964
5
votes
1
answer
266
views
Two identities involving Ext functors in the context of D-modules
I have several questions regarding proposition 2.3 in "Cherednik and Hecke algebras of varieties with a finite group action", by Pavel Etingof. Let $X$ be a complex affine algebraic variety ...
- 541
5
votes
1
answer
509
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 $ADE$...
- 849
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
1
answer
366
views
Equivariant quantum cohomology of conical symplectic resolutions
There is a couple of papers on this [Braverman, Maulik, Oblomkov, Okounkov, Pandharipande] where authors calculate quantum cohomology for various conical symplectic resolutions. The language in these ...
- 1,677
4
votes
1
answer
212
views
Lagrangian cores of quiver variety in different GIT chambers
Let $\pi: \mathfrak{M}_{(\theta,0)}(Q,\text{v},\text{w}) \rightarrow \mathfrak{M}_{(0,0)}(Q,\text{v},\text{w})$ be the projective morphism between Nakajima quiver varieties when complex moment ...
- 1,677
4
votes
1
answer
194
views
Computing Deligne-Lusztig Characters in General
The goal for this question is to try to find a relatively explicit way of computing the Deligne-Lusztig characters. I understand that the $R_{T,\theta}$ can be computed if we know the values of the ...
- 173
4
votes
1
answer
348
views
Verma modules and Borel–Weil
Let $\mathfrak{g}$ be a semisimple Lie algebra and fix a root system. Let $\mathfrak{b}:=\mathfrak{h}\oplus\bigoplus_{\alpha\in R^+}\mathfrak{g}_\alpha$. The complex irreducible representation of $\...
- 181
4
votes
1
answer
189
views
Equivalence of categories of modules over $U(\mathfrak{g})$ on which $Z(\mathfrak{g})$ acts by central characters
$\newcommand{\g}{\mathfrak{g}}$Setting: $\mathfrak{g}$ is a semisimple complex Lie algebra. Here $\chi_\lambda$ denotes the central character corresponding to the action of $Z(\g)$ on a highest weight ...
- 311
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
4
votes
1
answer
313
views
Functors between categories of equivariant sheaves are equivariant sheaves on the product?
This is a follow up question to this question which remained unanswered (satisfactorily) even after a large bounty. I have made a litlle progress and I have no a more specific question which might be ...
- 7,789
4
votes
1
answer
355
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 ...
- 2,273
4
votes
1
answer
379
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 ...
- 1,595
4
votes
1
answer
250
views
A problem on Kazhdan–Lusztig theorem
I am reading Chriss, Ginzburg's book Representation theory and complex geometry. In theorem 7.2.16 it says that the convolution action of the Steinberg variety $St=\tilde{\mathcal{N}}\times_\mathfrak{...
- 71
4
votes
1
answer
120
views
Image of a quiver variety under natural morphism
We know that the natural morphism $\pi:\mathfrak{M}_{\theta}(Q,\mathbf{v},\mathbf{w})\rightarrow \mathfrak{M}_0(Q,\mathbf{v},\mathbf{w})$ between a smooth and affine quiver variety is not necessarily ...
- 1,677
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
4
votes
0
answers
111
views
Is there Thom isomorphism for equivariant K groups in algebraic geometry, not necessarily complex number field?
In Chriss and Ginzburg's fantastic book 'representation theory and complex geometry', they use the following Thom Isomorphism:
$\pi:E\rightarrow X$, is a G-equivariant affine linear bundle, then $\pi^...
- 193
4
votes
0
answers
486
views
Plucker coordinates of flag varieties
I am interested in understanding Lemma A.2 in the paper "Moduli spaces of principal F-bundles" by varshavsky which you can find here. It uses so called "Plücker" coordinates of the flag variety for ...
- 41
4
votes
0
answers
120
views
Prehomogeneous vector spaces for reductive groups
Recall that a prehomogeneous vector space, is a representation $V$ of a linear algebraic group $G$ having an open $G$-orbit. Let $Z$ be the neutral connected component of the stabilizer of a point of ...
- 1,590
4
votes
0
answers
381
views
Dimension of affine springer fiber
I have a few questions with respect to Bezrukavnikov's proof of the dimension formula for affine springer fibers in Fixed point set on affine flag manifolds. The setting is as follows: Let G be a ...
- 125
4
votes
0
answers
145
views
Reference request: Prequantization of canonical transformations and Lie group action
Hello to MathoverFlow community
I have some seemingly technical questions on applications of geometric quantisation to Lie group representation theory.
We shall start by giving background definitions....
- 361
4
votes
0
answers
597
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 $Rep(G)$...
- 1,982
3
votes
2
answers
311
views
Frobenius reciprocity for Deligne-Lusztig induction/restriction
I am currently trying to understand the properties of Deligne-Lusztig induction, following Carter's Finite groups of Lie type and Digne-Michel's Representations of finite groups of Lie type. I am ...
- 721
3
votes
3
answers
581
views
Reductive group with simply connected derived group has all root groups $\mathrm{SL}_2$
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\PGL{PGL}$Motivation: I am trying to understand why the Deligne-Langlands conjectures are only stated for $p$-adic reductive groups with connected ...
- 143
3
votes
1
answer
988
views
Global Langlands function fields
Has V. Lafforgue proved the automorphic-to-Galois direction in the Global Langlands conjectures for general reductive groups over function fields?
What is the current status, more generally?
Related ...
user113453
3
votes
1
answer
201
views
Geometric explanation for the $\widehat{\mathfrak{sl}}_2$ free field realisation (alias $L_1(\mathfrak{sl}_2)\to V(\sqrt{2}\mathbf{Z})$)
Let $\sqrt{n}\mathbf{Z}$ be the one dimensional lattice, whose generator has length $2$. Associated to this is a lattice vertex algebra
$$V(\sqrt{2}\mathbf{Z}).$$
We also have the simple quotient of ...
- 5,701
3
votes
1
answer
359
views
Coulomb branch varieties and symplectic singularities
I was recently looking at the survey article of Fu on symplectic resolutions which has a number of open questions and conjectures at the end. (I think one of these was existence of a classification ...
- 5,146
3
votes
1
answer
132
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 $\text{Gr}_G$...
- 2,216
3
votes
1
answer
170
views
Factoring out an element of a root subgroup to make a conjugation integral
Fix a nonarchimedean local field $L/\mathbb{Q}_p$ with ring of integers $\mathcal{O}$, uniformizer $\varpi$, and residue field $k$. If I take a matrix
$$\begin{pmatrix} a & \varpi b \\ c & d \...
- 503
3
votes
1
answer
392
views
Representation theory and topology of Teichmüller space
$\DeclareMathOperator\Hom{Hom}\DeclareMathOperator\PSL{PSL}\DeclareMathOperator\char{char}$I am reading a note on Teichmüller space, and I come across a somewhat algebraic problem in the picture below,...
- 77
3
votes
3
answers
264
views
Nontrivial Poisson relations for affine Poisson algebras
Let $A$ be a polynomial algebra over a field of characteristic $0$ in the variables $x_1,\dots,x_n$. Consider polynomials $f_1,\dots,f_m\in A$ and let $I$ be the ideal they generate in $A$. Moreover, ...
- 359
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
3
votes
1
answer
312
views
Iterating specialization of sheaves?
This is a question about the operation of taking the specialization of sheaves along a subspace. I'll recall the settings in which I've encountered a notion of specialization of sheaves:
The real, ...
- 272
3
votes
1
answer
444
views
Core of the Jordan quiver variety
It is known that, given the Jordan quiver, dimension vectors
$\textbf{v}=n,\textbf{w}=1$ and a stability condition $\theta<0,$ the corresponding quiver variety $\mathcal{M}_{\theta}(n,1)\cong \...
- 1,677