Skip to main content

All Questions

Filter by
Sorted by
Tagged with
34 votes
4 answers
8k views

Cohomology of Flag Varieties

For $K$ a compact Lie-group with maximal torus $T$, I'd like to know the cohomology $\text{H}^{\ast}(K/T)$ of the flag variety $K/T$. If I'm not mistaken, this should be isomorphic to the algebra of ...
Hanno's user avatar
  • 2,756
14 votes
1 answer
3k views

Dijkgraaf-Witten TQFT vs. Representation Theory?

From what I had read, group characters can be "glued" together in a topological fashion and there is something to this effect in the paper by Dijkgraaf and Witten. TQFT seems to be a ...
john mangual's user avatar
  • 22.8k
9 votes
3 answers
636 views

Group Extensions and Line Bundles on $BG$

I am sure the answer to this question is well-known, but It is well known that the group cohomology $H^2(G,\mathbb Z)$ classifies group extensions $0\to \mathbb Z\to E\to G\to 1$ and that for a ...
Steve's user avatar
  • 2,283
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 ...
Tom Copeland's user avatar
  • 10.5k
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 ...
Qiaochu Yuan's user avatar
14 votes
1 answer
704 views

What is the first Pontryagin class of the $n$-dimensional representation of $S_n$?

The symmetric group $S_n$ has an $n$-dimensional defining representation, which splits as $n = (n-1) + 1$. Although this representation exists integrally, I would like to think of this as a real ...
Theo Johnson-Freyd's user avatar
14 votes
1 answer
562 views

Mednykh's formula for 2d manifold with boundaries? How to count principal G-bundles with prescribed holonomies?

Let S be a closed, orientable 2d manifold and G a finite group. Since a principal G-bundle over S is specified by maps $\phi : \pi_1(S) \rightarrow G$ modulo the adjoint action by G, the way to count ...
Jordan's user avatar
  • 171
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) ...
sums137's user avatar
  • 121
10 votes
1 answer
389 views

Operads and the Stable Module Category

I am seeking references to places where operads and their algebras have been studied for the stable module category. Colored operads are fine too. Let $k$ be a field and $R$ a $k$-algebra. The stable ...
David White's user avatar
  • 30.3k
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]^...
DCT's user avatar
  • 1,537
8 votes
2 answers
786 views

Quotients in Sums of Rings

Suppose we are given a commutative ring $R$ with a unit. Suppose that $R$ is the direct product of two rings $R\cong R_1\times R_2$. It's straightforward to show that any ideal $I\subset R$ maps to an ...
Felix Springer's user avatar
8 votes
2 answers
960 views

Is the derived category of local systems equivalent to the derived category of sheaves of vector spaces with local system cohomology?

Let $k$ be a field and $X$ a topological space. Write $\mathrm{Sh}(X)$ for the category of sheaves of vector spaces on $X$, and $\mathrm{Loc}(X)$ for the subcategory of local systems of finite ...
Patrick Elliott's user avatar
7 votes
1 answer
2k views

Automorphism group of the special unitary group $SU(N)$

Let us consider the automorphism group of the special unitary group $G=SU(N)$. We know there is an exact sequence: $$ 0 \to \text{Inn}(G) \to \text{Aut}(G) \to \text{Out}(G) \to 0. $$ For $G=SU(2)...
annie marie cœur's user avatar
7 votes
1 answer
292 views

Homotopy fixed points of involutive automorphisms of discrete groups

$\DeclareMathOperator\Map{Map}$Precis: I am looking for a reference/explanation of a (general) computation of homotopy fixed points $(BG)^{h\Gamma}$ of a finite group $\Gamma$ acting on a discrete (...
rvk's user avatar
  • 563
5 votes
0 answers
135 views

Specify the embedding of Lie groups (via the representation map) precisely as the embedding of two differentiable manifolds

How do we specify the embedding of a Lie group $G_1$ as a subgroup into a larger Lie group $G_2$, with $G_1 \subset G_2$ that agree with a constraint on the mapping between their representations? By ...
wonderich's user avatar
  • 10.5k
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", ...
user22682's user avatar
4 votes
0 answers
181 views

Specify the embedding of special unitary group in a Spin group via their representation map

How do we specify the embedding of a Lie group $G_1$ as a subgroup into a larger Lie group $G_2$, with $G_1 \subset G_2$ that agree with a constraint on the mapping between their representations? By ...
wonderich's user avatar
  • 10.5k
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 ...
Toan's user avatar
  • 133
2 votes
1 answer
235 views

Homotopy classes of homeomorphism vs. Homotopy classes of a biholomorphism

This is a more detailed question about my first question Representation theory and topology of Teichmüller space, I asked there how to understand: $$T_{g}\hookrightarrow Hom(\pi_{1}({S}),PSL_{2}(\...
Kenny S's user avatar
  • 77