Questions tagged [geometric-representation-theory]
The geometric-representation-theory tag has no usage guidance.
208 questions
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 ...
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 ...
3
votes
0
answers
144
views
Computation of nearby cycles, monodromy action and action of $sl_{2}$ on $\operatorname{gr}(Ψ)$ for Picard-Lefshetz family
Let $f: \mathbb{A}^{2} \rightarrow \mathbb{A}^{1}$ be a map that sends $(x,y)$ to $xy$. Let $U \hookrightarrow \mathbb{A}^{2}$ be the preimage $f^{-1}(\mathbb{A}^{2} \setminus \{0\})$ and $X:=f^{−1}(0)...
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 ...
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 ...
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 ...
-1
votes
1
answer
301
views
Is $\mathbb{P}^1$ the only smooth projective curve with a locally split tangent lie algebroid?
Let $C$ be a smooth projective curve over an algebraically closed field $k$.
The tangent lie algeborid $\mathcal{T}_C$ of $C$ is just sheaf of vector fields on $C$ equipped with the usual lie ...
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'$ ...
2
votes
0
answers
172
views
Projective and Quasiprojective quotients
Let $G$ be a finite group acting on a projective variety $X$. Then $G$ also acts on $X-X^G$, where $X^G$ is the fixed locus. The GIT quotient varieties $X/G$ and $(X-X^G)/G$ are projective and quasi-...
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 ...
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 ...
6
votes
1
answer
967
views
Does there exists a Fukaya category with no objects
... and really without even the possibility of having objects, so it's not a matter of just finding the "correct" flavour of Fukaya category to use.
Question: Does there exist interesting symplectic ...
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....
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 $...
5
votes
2
answers
491
views
Kostant's $G$-invariant part in the sym power ring of adjoint representation?
Let $g$ be a Lie algebra, say $sl_n(\mathbb C)$. It is considered as the adjoint representation of $G=SL_n(\mathbb C)$.
A famous theorem of Kostant from "Lie Group Representations on Polynomial ...
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 ...
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, ...
6
votes
1
answer
274
views
$G$-orbits in Springer resolution (or, stabilizer actions on Springer fibers)
This may be an elementary question, but I'm having trouble coming up with an answer: Let $\tilde{N} = T^*(G/B)$ be the Springer resolution of the nilpotent cone. Does it have finitely many $G$-orbits?...
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 ...
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 ...
5
votes
1
answer
525
views
what is the injective hull of indecomposable module of preprojective algebra
Let $Q$ be a ADE type quiver and $s_i$ ($i$ runs through the vertices of $Q$) be the simple $\Lambda$-module with 1-dimensional vector space at vertex $i$ and zero-dim at other vertices. Here $\Lambda$...
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$...
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 ...
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 ...
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 ...
3
votes
0
answers
176
views
Double loop groups and cohomology
Let $G$ be a connected reductive group over $\mathbb{C}$ of Lie algebra $\mathfrak{g}$.
What is the value of $H^{3}(\mathfrak{g}((t))((s)),\mathbb{C})$?
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$. ...
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)$...
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 ...
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 ...
3
votes
0
answers
268
views
What's the relation of the Hecke algebra of a pair and the flag variety?
Let $G$ be a real semisimple Lie group and $K$ a maximal compact subgroup. Let $\mathfrak{g}$ and $\mathfrak{k}$ be the complexified Lie algebra of $G$ and $K$, respectively.
Then the Hecke algebra ...
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 ...
2
votes
0
answers
228
views
References for crystal bases and Demazure modules in representation theory
I was wondering what are some standard general references/books/survey articles about: (1) crystal bases, and string parameterizations and (2) Demazure modules, and Schubert varieties (containing ...
5
votes
1
answer
605
views
Are Strata of the affine Grassmannian total spaces of equivariant vector bundles over flag varieties
This question is closely related to Peter Crooks question.
Strata of the Affine Grassmannian
Let $G$ be a complex reductive group, $\mathcal{K}:= \mathbb{C}((t))$, $\mathcal{O}:= \mathbb{C}[[t]]$ and ...
5
votes
1
answer
1k
views
About the pro-algebraic group structure of $G(\mathbb{C}[[t]])$
I hope this is not too elementary!
Let $G$ be a algebraic reductive group over $\mathbb{C}$.
The group $G(\mathbb{C}[[t]])$ can be given the structure of a pro algebraic group as follows.
Let $l\in ...
1
vote
2
answers
360
views
When representation of two different coadjoint orbits are equivalent?
Let $G$ be a compact connected Lie group and $\mu:T\to S^1$ be a representation of a maximal torus $T \subset G$ and $\lambda=d\mu$ be a weight for some $\lambda\in\mathfrak{t}^*$ (where $\mathfrak{t}$...
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 $\...
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 ...
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 ...
2
votes
1
answer
687
views
Derived Push-Forward of Morphism of Perverse Sheaves and Translation Functors
I hope this question is not too vague.
Let $G$ be a complex reductive group, $B$ a Borel subgroup of $G$, and $P$ a parabolic containing $B$.
Denote by $\pi:G/B\to G/P$ the canonical map. Consider ...
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$...
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}...
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 ...
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 ...
5
votes
1
answer
677
views
What kind of algebra has geometric realization as in "Geometric Methods in Representation Theory of Hecke Algebras and Quantum Groups"
In Chriss and Ginzburg's book "Representation Theory and Complex Geometry" as well as the paper "Geometric Methods in Representation Theory of Hecke Algebras and Quantum Groups", the group algebra $\...
2
votes
2
answers
959
views
Around the socle filtration of a Verma module
Work in the context of a finite dimensional simple Lie algebra over $\mathbb{C}$.
Write $W$ for the Weyl group and $\leq$ for the Bruhat order. For $w\in W$ let $\Delta_w$ denote the Verma module of ...
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}...
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), ...
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 ...
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 ...