All Questions
31 questions
44
votes
2
answers
3k
views
Why can't we take three loops?
Apologies for the vague title and soft question. According to Etingof, Igor Frenkel once suggested that there are three "levels" to Lie theory, which I guess could be given the following names:
No ...
- 118k
18
votes
1
answer
770
views
Koszul complex for non-Koszul algebras
Let $A$ be a graded, connected, locally finite, quadratic algebra over a field $k$; that is, $A$ may be presented as $T(V)/I$, where $V = A_1$ is a finite dimensional $k$ vector space, and the ideal $...
- 4,133
17
votes
3
answers
2k
views
Variety of commuting matrices
Let $G=\operatorname{GL}(n,\mathbb{C})$ and $\mathfrak{g}=\operatorname{Mat}(n,\mathbb{C})$ and let us consider the two varieties $X,Y$ defined as $$X=\{(x,y) \in G \times G \ | \ xy=yx\} $$ and $$Y=\{...
- 1,061
15
votes
1
answer
321
views
Are triangulated equivalence detected at compact level?
Suppose that $D$ and $E$ are compactly generated triangulated categories, even algebraic (i.e. equivalent to derived categories of small dg categories) if we want, and asume that their subcategories $...
- 151
14
votes
2
answers
781
views
Interpretation of the cohomology of compact lie groups and their classifying spaces in DAG?
I'll be using homological grading throughout this question.
Let $G$ be a compact connected lie group. The following isomorphisms are classical and can be proven using several methods:
$$H^{\bullet}(...
- 7,789
12
votes
2
answers
674
views
Cohomology of representation varieties
Perhaps this question is too general then I am sorry about this.
My question is the following.
Let $\pi$ be the fundamental group of a compact surface of genus $g$ (with if necessary $n$ punctures) ...
- 121
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,554
10
votes
2
answers
896
views
Applications of classifying thick subcategories
So, relatively recently, Balmer introduced this notion of a spectrum for a tensor triangulated category and used it to prove a generalization of a classification theorem done in several areas of ...
- 13.5k
10
votes
1
answer
659
views
how to view homology of affine Grassmannian as a subring of symmetric function
Let $G=SL_n$, it is proven that $R:=H_*(Gr_G)\cong \mathbb{C}[\sigma_1,...,\sigma_{n-1}]$ where $\sigma_i$ are of degree $2i$ as a polynomial ring generated by $n-1$ variables and the ring structure ...
- 849
9
votes
3
answers
2k
views
Borel's presentation for the cohomology of a Flag Variety
If $G$ is a simple complex Lie group, $T\subset B\subset G$ is a choice of Borel and maximal torus, and $W$ is the Weyl group, then
1) $H^{*}(G/B,K)=K[T^{\vee}]/(K[T^\vee]^W_{+})$
and
2) $K[T^\vee]^...
- 1,537
8
votes
1
answer
548
views
Why is the $\operatorname{GL}_n$ character variety "cohomologically" the product of the $\operatorname{PGL}_n$ character variety and a torus?
$\def\CC{\mathbb{C}}\def\ZZ{\mathbb{Z}}\def\GL{\operatorname{GL}}$This question is about an assertion in Mixed Hodge polynomials of character varieties, by Hausel and Rodriguez-Villegas. Fix positive ...
- 156k
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 ...
- 1,719
8
votes
1
answer
461
views
Existence of at least one compact orbit on the sphere
Good morning,
I've came across this question during my researches. It seems apparently very simple, however I Googled a bit and I couldn't find the answer I was looking for.
The question is as ...
- 277
8
votes
0
answers
636
views
Chern Classes of Exterior Products of a vector bundle.
This is mostly a question in combinatorics. Is there a clean way in terms of determinantal identities to write down $c(\wedge^k V)$ i.e. the individual summands in terms of the individual summands of $...
- 327
7
votes
1
answer
490
views
Equivariant perverse sheaves and orbit stratification
Let $X$ be a complex algebraic variety with an action of a connected algebraic group $G$.
The forgetful functor from the category of $G$-equivariant perverse sheaves on $X$ to the category of perverse ...
- 3,446
7
votes
1
answer
710
views
Bialynicki-Birula Decomposition and moment polytopes/graphs
Let $X$ be a possibly singular projective scheme which admits a torus $T$ action and has finitely many $T$ fixed points and one-dimensional $T-$orbits. There are many such schemes in the Grassmannian/...
- 1,719
6
votes
0
answers
455
views
Cohomology of Bott-Samelson varieties?
How is the cohomology of Bott-Samelson varieties (desingularizations of Schubert Varieties ) usually calculated? Let's fix the Lie group to be $GL_n(\mathbb{C})$ or $SL_n(\mathbb{C})$ here.
Is there ...
- 1,719
5
votes
2
answers
2k
views
Canonical reference for Chern characteristic classes
I'm a little uncertain about the definitions for
Chern roots
Chern classes
Chern characters
From perusing several discussions, I gather that if one correlates the nomenclature with that of ...
- 10.5k
5
votes
2
answers
758
views
Equivariant Cohomology of a Complex Projective Variety
Suppose that I have a complex projective variety $X$ endowed with an algebraic action of a complex torus $T$. Suppose also that the set $X^T$ of fixed points is finite. I would like to relate the ...
- 4,920
5
votes
1
answer
733
views
To derive or not to derive, that is the question
What are concrete and abstract examples of problems (even whole programmes of inquiry) when one has a choice to use a "derived" theory (e.g., $\infty$-categories, DAG, HAG, $DRep_k(G)$, "higher" ...
- 639
5
votes
1
answer
775
views
Cell decomposition for a variety not necessarily complete?
Let $X$ be an algebraic variety with a $\mathbb C^*$ action such that the fixpoints set is finite. By theorem 4.3 in the paper of Bialynicki-Birula "Some theorems on actions of algebraic groups", ...
- 51
5
votes
0
answers
171
views
Spinor representation for $\operatorname{Spin}(V \oplus V^*)$
I'm studding Hitchin's Generalized Calabi-Yau Manifolds https://arxiv.org/abs/math/0209099 and I've stuck here:
Suppose that $V$ is a vector space and denote its dual by $V^*$. Now we know that the $\...
5
votes
0
answers
584
views
What exactly is a coherent $G$-sheaf?
On page 69 in Mumford's Abelian Varieties book, he says:
"Let $G$ be a finite group acting on a variety $X/k$, and let $X\stackrel{\pi}{\longrightarrow} Y := X/G$ be the quotient. Let $\mathcal{F}$ ...
- 7,527
3
votes
2
answers
704
views
Closure relations between Bruhat cells on the flag variety
Given a Lie group $G$ over $\mathbb{C}$ and a Borel subgroup $B$. There is this famous Bruhat decomposition of the flag variety $G/B$.
How do we prove the closure relations between the cells, which ...
- 1,719
3
votes
1
answer
251
views
About decomposition theorem BBD with respect to some stratification
I want to follow up a question from here (how to deduce version 1.a. from version 1).
I know a version of decomposition theorem BBD:
Version 1. Let $f:X\to Y$ be a (surjective) proper map of complex ...
- 133
3
votes
1
answer
255
views
Projective representation of diffeomorphism group of $S^2$ [closed]
We know that the projective representation of a group $G$ is classified by $H_{grp}^2(G,R/Z) = H^3(BG,Z)$, where $H^*_{grp}$ is the group-cohomology class.
Then do we have a classification of the ...
- 4,826
3
votes
0
answers
249
views
Grothendieck schemes and the Sheffer differential op calculus (Rota, Roman, et al. finite operator calculus)
In "Left differential operators on non-commutative algebras" on p. 4, Michiel Hazewinkel displays "precisely the right definition of differential operator" as
$$D\; X^n = F(\tfrac{...
- 10.5k
3
votes
0
answers
150
views
Integral Homology of GIT Quotients
Is there any example of GIT quotients of linear actions on a Euclidean space ${\mathbb C}^n$ that satisfy the following conditions?
The quotient is compact and smooth.
The homology of the quotient ...
- 1,207
2
votes
1
answer
306
views
connectedness of fibers of torus-equivariant moment maps
Given a possibly singular, connected, symplectic algebraic variety with a torus action, every fiber of the moment map admits a torus action. Is each fiber of this moment map connected? Any examples or ...
- 1,719
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 ...
- 2,554
2
votes
0
answers
169
views
The dimension of the representation ring
Let $G$ be a compact Lie group. I am trying to characterize the algebraic properties of the representation ring $R(G)$ of $G$. In the case of the $n$-torus, the representation ring $R(T)$ is ...
