Skip to main content

Questions tagged [geometric-representation-theory]

15 questions from the last 365 days
Filter by
Sorted by
Tagged with
-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 ...
user236626's user avatar
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 ...
fool rabbit's user avatar
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/\...
E. KOW's user avatar
  • 834
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 ...
Yellow Pig's user avatar
  • 2,964
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 $...
Andrea B.'s user avatar
  • 495
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^{\...
Martin Ortiz'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
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) ...
alerouxlapierre's user avatar
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 ...
Haris's user avatar
  • 51
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 ...
Andrea B.'s user avatar
  • 495
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 \...
Ashwin Iyengar's user avatar
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_{...
Filip's user avatar
  • 1,677
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 ...
fool rabbit's user avatar
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 ...
Qixian Zhao's user avatar
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,...
Kenny S's user avatar
  • 77