Questions tagged [geometric-representation-theory]
The geometric-representation-theory tag has no usage guidance.
15 questions from the last 365 days
-5
votes
0
answers
124
views
Is a quiver variety a moduli stack of quiver representations?
As the title, I was just wondering is a quiver variety a moduli stack of quiver representations? I am familiar with quiver varieties but not that familiar with moduli stacks, so I was just wondering ...
2
votes
0
answers
97
views
An injective map in equivariant algebraic K-theory
Let $G$ be a simply connected simple algebraic group over $\mathbb{C}$ and $\mathfrak{g}$ be its Lie algebra. Let $\mathcal{N}$ be the nilpotent cone of $\mathfrak{g}$ consists of all nilpotent ...
5
votes
1
answer
299
views
Operations on filtered / graded vector spaces via $\mathbb{A}^1 / \mathbb{G}_m$
A well known fact (e.g. Moulinos - The geometry of filtrations) is that one can describe the category of filtered vector spaces as $\operatorname{FilVect} \simeq \operatorname{QCoh}(\mathbb{A}^1/\...
3
votes
0
answers
122
views
Canonical basis in equivariant K-theory of the Springer resolution
In Definition 15.0.2 of the notes from a course by Bezrukavnikov there is a characterization of canonical basis in K-theory of a Springer fiber which is due to Lusztig. This characterization is in ...
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 $...
8
votes
1
answer
204
views
Relative de Rham cohomology of flag varieties
Let $B \subset P \subset G$ be a parabolic, Borel, and reductive (split) group over the complex numbers. Consider the projection $\pi: G/B \to G/P$, I am interested in computing $R\pi_{*} \Omega^{\...
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 ...
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) ...
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 ...
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 ...
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 \...
1
vote
0
answers
79
views
Extension of a type A Springer fibre
Given a decomposition $p=(p_1,\dots,p_n)$ of $n$, one can associate its corresponding
partial flag variety $$\mathcal{B}_p=\{F=(0=F_0\subset F_1\subset \dots \subset F_n=\mathbb{C}^n) \mid \dim F_i/F_{...
2
votes
0
answers
129
views
Flag variety type Beilinson resolution
The Beilinson resolution is a locally free sheaves resolution for sheaf $\Delta_*\mathcal{O}_{\mathbb{P}}$,where $\Delta: \mathbb{P}\to \mathbb{P}\times\mathbb{P}$ is the diagonal embedding of ...
3
votes
0
answers
119
views
Different definitions of the thick affine flag variety
I have seen several different definitions of the so called "thick" affine flag variety associated to an affine Lie algebra, and I am having trouble seeing why they are the same.
Some ...
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,...