All Questions
Tagged with rt.representation-theory at.algebraic-topology
142 questions
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
4
votes
1
answer
184
views
FI-homology of a spectral sequence of rational FI-modules
Let $(E^r_{p,q})$ be a spectral sequence of rational $\mathsf{FI}$-modules. Call $H^{\mathsf{FI}}$ the $\mathsf{FI}$-homology (see here) and $t_k X= \deg H^{\text{FI}}_k X$ the $k$-th generation ...
- 275
3
votes
1
answer
238
views
Steenrod operations on classifying spaces
Steenrod operations can be defined for all finite characteristics $p$. The simplest one, when $p=2$, is the Steenrod square. I wonder if the computation for classifying spaces for classical Lie groups ...
- 803
2
votes
1
answer
234
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}(\...
- 77
2
votes
0
answers
169
views
How a circle $S^1$ acts on the Cayley plane $OP^2$ with exactly three fixed points?
The complex projective $CP^2$, the quaternionic projective space $HP^2$, and the octonionic projective space $OP^2$ each admit a circle action with $3$ fixed
points.
The circle action on $HP^2$ can be ...
- 103
4
votes
2
answers
667
views
Determine monodromy representation from local system
Let $X$ be a path-connected manifold nice enough such it's universal covering
space $p:\widetilde{X} \to X$ exists, $k$ a field. Then there exist a wellknown
correspondence
$$
\{\textit{linear}\text{ ...
- 619
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
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 ...
4
votes
1
answer
236
views
Equivariant complex $K$-theory of a real representation sphere
Consider the one-point compactification of a $U(n)$-representation $V$, denoted by $S^V$. I want to caclulate $\tilde{K}_\ast^{U(n)}(S^V)$. When $V$ is a complex $U(n)$-representation, we can use the ...
user501794
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
1
vote
1
answer
438
views
Categories associated to digraphs
Let's take a directed graph, or a digraph, $G=(V,E)$ given by a finite set of vertices $V$ and a finite set of edges $E$. We can assume that pairs of vertices can have parallel edges between them and ...
13
votes
1
answer
853
views
Applications of equivariant homotopy theory to representation theory
Equivariant homotopy theory focuses on spaces together with some group action on them. Jeroen van der Meer and Richard Wong have a paper where they use equivariant methods to compute the Picard group ...
- 404
6
votes
0
answers
204
views
A pairing between “Schubert” $H_*(\operatorname{Gr})$ and “Langlands” $H^*(\operatorname{Gr})$
Let $\operatorname{Gr}$ be an affine Grassmanian of some complex semisimple group $G$. Of course, there is a well-known description of $H^*(\operatorname{Gr})$ in terms of Langlands dual Lie algebra.
...
- 153
4
votes
0
answers
128
views
Real Representation ring of $U(n)$ and the adjoint representation
I have two questions:
It is well known that the complex representation ring $R(U(n))=\mathbb{Z}[\lambda_1,\cdots,\lambda_n,\lambda_n^{-1}]$, where $\lambda_1$ is the natural representation of $U(n)$ ...
user340793
13
votes
2
answers
546
views
"Burnside ring" of the natural numbers and algebraic K-theory
The construction of the Burnside ring $A(G)$ of a group $G$ (usually, but not always, finite) is given by taking the Grothendieck group of the commutative semi-ring of isomorphism classes of finite $G$...
- 18.8k
30
votes
1
answer
1k
views
Are homeomorphic representations isomorphic?
Let $G$ be a finite group. Let $V_1, V_2$ be two finite-dimensional real representations. Suppose $f: V_1 \to V_2$ is a $G$-equivariant homeomorphism. Can one conclude that $V_1$ and $V_2$ are ...
- 803
7
votes
0
answers
160
views
comparison of polynomial loop group and smooth loop group
I have a question about Section 8.6 of Pressley-Segal's Loop groups book. Let $G$ be a compact, connected Lie group. Proposition 8.6.6 concerns the comparison of homotopy type between its polynomial ...
- 959
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
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 (...
- 563
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
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 ...
- 10.5k
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 ...
- 10.5k
3
votes
0
answers
546
views
Aut/Inn/Out Automorphism Groups of the unitary group $𝑈(𝑁)$
Given a group $G$, we denote the center Z$(G)$, we like to know the
automorphism group Aut($G$), the outer automorphism Out($G$) and the inner automorphism Inn($G$). They form short exact sequences:
$$...
- 10.5k
3
votes
0
answers
167
views
Obstruction to delooping
Let $G$ be a finite group. It can be think of as a $1$-category with one object and $|G|$ many morphisms. If $A$ happens to be abelian, then one can think of it to an $n$-category. Conversly, this ...
- 5,230
9
votes
0
answers
232
views
A conjecture of Adams on the mod p cohomology of classifying spaces of Lie groups
In the paper On the mod p cohomology of BPU(p), the authors say that there is a conjecture of J. F. Adams as follows:
Conjecture (J. F. Adams) Let $G$ be a compact connected Lie group, and let $p$ be ...
- 935
6
votes
1
answer
377
views
What is equivariant chains on a representation sphere?
For a finite group $G$ and a finite-dimensional real representation $V$ of $G$, denote by $S^V$ the one-point compactification of $V$, with basepoint at infinity.
What is the reduced chain complex $...
- 18.7k
4
votes
0
answers
152
views
How much vanishing of odd K-groups implies the vanishing of odd equivariant K-groups?
The main quetion is
For a compact Lie group $G$, and a $G$-space $X$ with $K^1(X)=0$.
How much can we say about the vanishing of $K_G^1(X)$? Moreover, how much $K^0_G(X)=K^0(X)\times R(G)$?
Here $...
- 719
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 ...
- 171
20
votes
0
answers
445
views
Which classes in $\mathrm{H}^4(B\mathrm{Exceptional}; \mathbb{Z})$ are classical characteristic classes?
Let $G$ be a compact connected Lie group. Recall that $\mathrm{H}^4(\mathrm{B}G;\mathbb{Z})$ is then a free abelian group of finite rank. Let us say that a class $c \in \mathrm{H}^4(\mathrm{B}G;\...
- 54.6k
8
votes
1
answer
513
views
Equivariant (co)homology of flag manifolds, convolution algebra and nil hecke algebra?
For a complex reductive group $G$ and its Borel subgroup $B$, it seems to be well-known that the equivariant homology group $H^G_*(G/B\times G/B)$ forms a nil-Heck algebra
$$NH=\Bbbk[y_i,\partial_{j}]...
- 719
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 ...
- 1,635
4
votes
0
answers
192
views
Extended double 2-cocycle conditions: Mathematical structure behind?
Note: For experts, to save your time, you can just read the highlighted texts and Eqs directly.
The ordinary group 2-cocycle condition:
Let us remind the usual so-called homogeneous group 2-cocycle $...
- 10.5k
4
votes
1
answer
208
views
Bott periodicity homeomorphisms for spaces of Clifford extensions
I am trying to prove the following statement of real Bott periodicity, on the level of actual spaces of Clifford module extensions (i.e., not equivalence classes of modules).
Let $W = \mathbb{R}^{\...
- 151
6
votes
0
answers
338
views
Example of a commutative, cocommutative, $p$-torsion Hopf algebra which is dualizable but not self-dual?
Let $C$ be a symmetric monoidal category with split idempotents, and let $H$ be a Hopf algebra object in $C$. If $H$ is dualizable as an object of $C$, then $H^\vee = L \otimes H$ for some $\otimes$-...
- 63.9k
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
12
votes
1
answer
418
views
When does a locally symmetric space have no odd degree Betti numbers?
Let $G$ be a semisimple real lie group, $K$ be a maximal compact subgroup of $G$, $\Gamma$ be a torsion-free cocompact discrete subgroup. The Betti number the locally symmetric space $X_{\Gamma}:=\...
- 6,622
5
votes
0
answers
160
views
The fundamental loopoid?
Let $X$ be a homotopy type (modeled as either a topological space or a simplicial set). We can construct a category as follows: The objects are maps $f,g : S^1 \to X$. A morphism $f \to g$ is a map $S^...
- 3,830
8
votes
0
answers
285
views
Are the braid groups good in the sense of Toën?
In this question it is asked whether the mapping class groups are 'good' in relation to pro-finite completion. Helpfully, one of the answers gives a link to a proof that the braid groups are good ...
- 1,635
15
votes
1
answer
629
views
Characteristic classes of symmetric group $S_4$
For the symmetric group $S_3$, it is classically known that \begin{equation} H^*(S_3;\mathbb{Z})\cong \mathbb{Z}[x,y]/(2x,6y,x^2-3y), \end{equation} where $|x|=2$ and $|y|=4$. Moreover, $x$ can be ...
- 439
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)...
- 2,147
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
12
votes
2
answers
467
views
Example of a finite group $G$ with low dimensional cohomology not generated by Stiefel-Whitney classes of flat vector bundles over $BG$
In Stiefel-Whitney classes of real representations of finite groups, J. Algebra 126 (1989), no. 2, 327–347, Gunawardena, Kahn and Thomas dealt with the question, whether the cohomology ring $H^...
- 2,630
16
votes
3
answers
897
views
Is the cohomology ring $H^*(BG,\mathbb{Z})$ generated by Euler classes?
I am interested in the classifying space $BG$ of a finite group $G$.
A real representation $V$ of $G$ of dimension $r$ defines a real vector bundle over $BG$ of rank $r$. If the determinant of this ...
- 607
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 $\...
6
votes
1
answer
311
views
HKR generalized character theory question regarding a certain construction
In that paper https://web.math.rochester.edu/people/faculty/doug/mypapers/hkr.pdf Hopkins-Kuhn-Ravenel introduced the idea of generalized character corresponding to a complex-oriented cohomology ...
- 161
6
votes
1
answer
289
views
Calculation of the Schur multiplier of $\mathbb Z^2$
Consider a projective representation of $\mathbb Z^2$ with $U(1)$ coefficients. I would like to find the covering group corresponding to this representation. For this, one needs to find the ...
- 455
9
votes
1
answer
308
views
Projective resolutions of finite-dimensional representations of infinite groups
Let $G$ be a group and let $V$ be a finite-dimensional complex representation of $G$. Question: Under what circumstances can I find a projective resolution
$$ \cdots \longrightarrow P_3 \...
- 91
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
10
votes
0
answers
192
views
k-th Pontryagin class of $\Lambda^{2k}_{\pm}$ on an oriented $4k$-manifold
If $M^{4k}$ is an oriented Riemannian $4k$-manifold, then the star-operator splits the bundle $\Lambda^{2k}$ into $\pm 1$-eigenspace bundles denoted $\Lambda^{2k}_{\pm}$.
I'm curious if anyone has ...
- 787
8
votes
1
answer
443
views
When does the enveloping algebra functor lift to the category of bialgebras?
Let $\mathrm{Ass} $ denote the operad, whose algebras are associative unital algebras, considered as a dg-operad.
Denote $\mathrm{Ch} $ the category of chain complexes over a commutative ring $\...
- 1,361