# Tagged Questions

Homotopy, stable homotopy, homology and cohomology, homotopical algebra.

**1**

vote

**0**answers

62 views

### Homology of a higher-dimensional full torus with a certain disk removed

Let $X=S^2\times B^5$ and let us consider an embedding of an
open $5$-disk in $X$ with its boundary
glued by a map of degree $2$ to some $\{
s_0\} \times S^{4}\subseteq \partial X$ . The embedding ...

**6**

votes

**2**answers

231 views

### Moore decomposition, dual to Postnikov tower

Let X be a CW complex with given cohomologies H^n(X,Z)=G, H^m(X,Z)=H and other reduced cohomologies are zero. Which additional algebraic information/structures I need to identify homotopy type of X? ...

**3**

votes

**1**answer

120 views

### Gysin sequence for vector-bundle valued cohomology

Let $M$ be a closed smooth manifold and $E\longrightarrow M$ be a vector bundle with a flat connection
$$\nabla:\Gamma(E)\longrightarrow \Gamma(T^{*}M\otimes E).$$
Consider the space of differential ...

**3**

votes

**2**answers

266 views

### n-cocycles of finite abelian groups from cohomology group

Question: Given a generic finite abelian group $G=\mathbb{Z}_{N^{(1)}} \times \cdots \times \mathbb{Z}_{N^{(k)}}$.
(1) What is the explicit forms of its cohomology group (see my definition) in a ...

**3**

votes

**0**answers

84 views

### Equivariant Poincare Series of Based Loop Group of SU(2)

Let $\Omega SU(2)$ denote the based loop group of $SU(2)$, and consider the action of $S^1$ on $\Omega SU(2)$ as a maximal torus of $SU(2)$. (This is not the "loop rotation" action.) Is there an ...

**2**

votes

**0**answers

77 views

### The transfer map $H_*(BSO(3))\rightarrow H_*(BO(2))$: reference request

All cohomology and homology will be $Z/2$ coefficient. The restriction map
$H^*(BSO(3))\rightarrow H^*(BO(2))$ is well-known to be the inclusion of
the Dickson invariant $Z/2[w_2,w_3]$ into the ...

**5**

votes

**0**answers

101 views

### Reference for a generalization of Γ-spaces to monoidal model categories

Γ-spaces were introduced by Segal in 1969 as models for what can be now described
as commutative ∞-monoids and ∞-groups in cartesian symmetric monoidal ∞-categories, e.g., E_∞-spaces and connective ...

**1**

vote

**1**answer

137 views

### Normal tubular neighborhood theorem for semi(or pseudo)-riemannian manifolds

Suppose you have a manifold $M$ and a closed sub-manifold $A$, and let $g$ be a semi-riemannian metric,ie, $g_x$ defines a quadratic form on $T_xM$ such that $g_x(v,v)\ge0$, but $g_x(v,v)=0$ not ...

**2**

votes

**0**answers

66 views

### Zeroth G-equivariant Stable Stem [duplicate]

Let G be a finite group. Can anyone give me a motivation and rigorous proof of the Burnside ring A(G) is isomorphic to the zeroth G-equivariant stable stem ?

**6**

votes

**1**answer

171 views

### Stiefel-Whitney classes of virtual vector bundles

Let $E=\xi-\eta$ be a virtual vector bundle over a compact base $B$, which we may assume is a CW complex. A quick and dirty way to define the total Stiefel-Whitney class $w(E)\in ...

**8**

votes

**1**answer

622 views

### What are simplicial topological spaces intuitively?

(This is a repost of a question from MSE. I hope there is more to say.)
I tend to imagine simplicial objects in a category as some kind of "topological objects", with a notion of homotopy. Simplicial ...

**4**

votes

**1**answer

131 views

### twisted poincare duality

Let $M$ be a closed smooth oriented manifold of dimension $n$. Suppose that $\pi:L\longrightarrow M$ is a line bundle with a flat connection $\nabla$. Consider the space of $L$-valued differential ...

**11**

votes

**1**answer

234 views

### Group cochains invariant under the action of the symmetric group

Let $G$ be a finite group and $A$ an abelian group. Recall the cochain groups
$$
C^k = \{f: G^k \to A\}
$$
and the coboundary map
$$
\delta : C^k \to C^{k+1}
$$
$$
(\delta f)(g_1, \ldots, g_{k+1}) ...

**4**

votes

**0**answers

181 views

### Limits and colimits of A_{\infty} categories

I have a question related to the discussion (Coequalizer in category of dg-algebras). How do you prove that the category of (small) dg-categories and the category of (small) A_{\infty} categories are ...

**2**

votes

**1**answer

186 views

### Computing Bredon Cohomology of Z/2-spheres?

Can anyone suggest me how to calculate explicitly the Bredon Cohomology of the sphere(at least for 2-dimensional case) with antipodal Z/2-action with constant coefficient system associated to ...

**-1**

votes

**2**answers

161 views

### Restriction of a line bundle to a two-cycle

I am reading a paper on Chiral Differential Operators
http://arxiv.org/pdf/hep-th/0604179v3.pdf
and it says on page 23 that a line bundle over a manifold C can be characterized completely by its ...

**1**

vote

**1**answer

186 views

### Massey product in Dual Steenrod Algebra

Let $\tau_0$ be the element of dual Steenrod algebra $A_p^{*}$ at a prime $p$ which is dual to Bockstein $\beta \in A_p$. It is well known $\tau_0^2 =0$. Is it true/known that the elemnet $\xi_1$ ...

**5**

votes

**0**answers

132 views

### Nilpotent Localization in Group Theory

Algebraic topologists have invented a very pretty technique of localizing nilpotent groups. (Garth Warner covers the topic in his book manuscript Topics in Topology and Homotopy Theory). For ...

**0**

votes

**0**answers

137 views

### Metalinear frame bundle on sphere or $\mathbb{C}P^n$

Let $M$ be a smooth manifold. A complex metalinear frame bundle $\tilde F(P)\to M$ of a rank $n$ complex vector bundle $P\to M$ is a principal $ML(n,\mathbb{C})$-bundle together with a covering map ...

**3**

votes

**1**answer

155 views

### How to compute the Hurewicz image of a stable map into real K theory

We know that there is a map from $h:\pi_{i}^{st}(pt)\rightarrow KO_{i}(pt)$ and we know all the $KO_{i}(pt)$ by Bott periodicy: they are $Z, Z_{2},Z_{2},0,Z,0,0,0$. We also know $\pi_{i}^{st}(pt)$ for ...

**0**

votes

**1**answer

177 views

### Birkhoff decomposition vanishing of the Chern numbers

Birkhoff decomposition vanishing of the Chern numbers of the holomorphic line bundles of the Birkhoff-Grothendieck decomposition, is some statement I read off in One of Connes papers. Without going ...

**4**

votes

**1**answer

160 views

### Complexes of sheaves with locally constant cohomology versus $C_{*}(\Omega M)$-modules

Let $M$ be a nice, connected topological space. Assume it is a manifold, if you like.
There are two rather similar looking differential-graded (dg) categories that one can associate to $M$ that ...

**46**

votes

**15**answers

3k views

### Teaching homology via everyday examples

What stories, puzzles, games, paradoxes, toys, etc from everyday life are better understood after learning homology theory?
To be more precise, I am teaching a short course on homology, from ...

**6**

votes

**1**answer

244 views

### What is the relation between Lefschetz fixed point theorem and Poincare-Hopf theorem on vector fields?

In Dubrovin/Fomenko/Novikov Modern geometry--Methods and applications, Part II, the (Poincare-)Hopf theorem is treated in section 15.2 (see theorem 15.2.7 on page 129), while the Lefschetz theorem on ...

**22**

votes

**2**answers

1k views

### Why should I care about topological modular forms?

There seems to be a lot of recent activity concerning topological modular forms (TMF), which I gather is an extraordinary cohomology theory constructed from the classical theory of modular forms on ...

**0**

votes

**1**answer

161 views

### The Jordan-Brouwer Separation Theorem

Theorem $S^{n-1}$ disconnects $S^n$ into two open connected components, which have $S^{n-1}$ as frontier.
In $R^3$, if we replace sphere of standard torus with genus $g\geq1$, we may have "The ...

**1**

vote

**1**answer

153 views

### Explicit computation of the action of a Dehn twist on the fundamental group of a surface

Let $S$ be a compact orientable surface of genus $g$. Now let $p\in S$ and $\gamma$ a closed simple curve on $S$ disjoint from $p$. It is not very difficult to compute the action of a Dehn twist along ...

**6**

votes

**2**answers

479 views

### All mapping space between CW complexes is a CW complex?

Let $\mathrm{Map}(X,Y)$ denote the (unbased) cellular mapping space from $X$ to $Y$.
If $X$ and $Y$ are finite CW complexes, is $\mathrm{Map}(X,Y)$ a CW complex?
Can we know the cell structure of ...

**7**

votes

**1**answer

193 views

### Correspondence between operads and monads requires tensor distribute over coproduct?

In checking the details of the correspondence between operads over a symmetric monoidal category and monads on some associated endofunctor of the category, I cannot make the obvious proof work without ...

**6**

votes

**0**answers

119 views

### Induction map in equivariant K-theory

Let X be a space with $Z/2$ action. There is a map from $K(X)$ to the equivariant K-group $K_{Z_{2}}(X)$, which is called "the induction map". (It is a standard operation in equivariant stable ...

**1**

vote

**0**answers

100 views

### Is there a characterization of the terminal infinity topos?

In ETCS, the terminal topos $\mathcal{Set}$ is characterized in the internal language as a well-pointed topos with a natural numbers object that satisfies the axiom of choice.
Is there a ...

**13**

votes

**1**answer

594 views

### Periodic Orbit property

A topological space $X$ satisfies "Periodic orbit property", briefly POP, if for every continuous map
$f:X \to X$, there exist a natural number $n$ and a point $x_{0}\in X$ such that ...

**1**

vote

**0**answers

209 views

### Tensor product of d.g-algebras

I'd like to prove that the tensor product functor $- \otimes Y$, where $Y$ is a d.g-algebra over a field of characteristic 0, preserves finite products of d.g-algebras. This statement is in a paper by ...

**2**

votes

**1**answer

279 views

### Homotopy groups of filtered homotopy limits

Let $X$ be the homotopy limit of a filtered system of simplicial sets $X_i$. When are the morphisms $\pi_j(X)\to \varprojlim \pi_j(X_i)$ surjective for all $j\ge 0$? This seems to be no problem when ...

**3**

votes

**0**answers

114 views

### What are the Čech-local equivalences of (simplicial pre)sheaves?

Let $\mathcal{C}$ be small category and let $J$ be a Grothendieck topology on $\mathcal{C}$. The Čech model structure on $[\mathcal{C}^\mathrm{op}, \mathbf{sSet}]$ is defined to be the left Bousfield ...

**1**

vote

**1**answer

128 views

### Naturality of commutative model for cell attachment in Rational Homotopy Theory

If $X$ is a simply connected space and $\alpha\in\pi_n(X)$ and $Y=X\cup_{\alpha} e^{n+1}$.
and $(\wedge V,d)$ be the minimal model for $X$,then $(\wedge V\oplus \mathbb{Q}
u,d)$ is a commutative model ...

**3**

votes

**1**answer

237 views

### Explicit examples presheaves associated to higher direct images which fail to be sheaves

So I would like to have a few simple examples where the presheaf associated to higher direct image of sheaf fails to be sheaf. So I'm looking for two (natural and simple) topological spaces $X$ and ...

**7**

votes

**2**answers

242 views

### Integral versus real (universal) characteristic classes

I'm pretty confused about the precise relation of the integral and the real cohomology of the classifying space $BG$ of a compact Lie group $G$. The natural map $H^n(BG;\mathbb{Z})\to ...

**8**

votes

**0**answers

242 views

### Lie algebras vs. graph complexes

A ribbon graph is a graph in which every vertex has valence at least three and is equipped with a cyclic ordering of its adjacent half edges. The ribbon graph complex $\mathcal{G}_*$ is the chain ...

**12**

votes

**1**answer

209 views

### localizing subcategories of $HF_p$-local spectra

This entire question takes place in the $HF_p$-local category of $p$-local spectra, i.e. the essential image of $HF_p$-localization on the stable homotopy category. $HF_p$ itself is in there, and of ...

**2**

votes

**1**answer

220 views

### Homotopy versus path-homotopy on punctured surface

I have some problems with homotopies.
The situation is this:
Let $X$ be a surface, which is homeomorphic to a 2-Sphere with a finite number (at least 3) of points removed (equivalently, an open ...

**1**

vote

**2**answers

190 views

### Freely Periodic map of $(S^{3} , K) $ and a fixed loop in the induced isomorphism of $\pi_{1} ( S^{3} \backslash K )$

Let $K$ be a link in $S^{3}$ and $f: S^{3} \rightarrow S^{3} $ a freely periodic map of order $n$ with $f(K) = K$. Let $\psi_{f} : \pi_{1} ( S^{3} \backslash K ) \rightarrow \pi_{1} ( S^{3} ...

**3**

votes

**1**answer

247 views

### What is the “higher version” of chain homotopy in singular homology?

In basic algebraic topology, we know the following well-known chain homotopy theorem:
Let $X$ be a topological space and $I=[0,1]$ be the unit interval. Let $S_*(X)$ and $S_*(X\times I)$ be the ...

**10**

votes

**1**answer

503 views

### The mathematics of tavern puzzles

I remember seeing a paper on the arxiv this year (which I cannot now find Edit: This paper: http://arxiv.org/abs/1208.6545, found by j.c.) proposing to study the linkage of rigid bodies such as tavern ...

**1**

vote

**0**answers

38 views

### spherical map of fixed points?

Let $B = \{\, x \in \Re^m : \|x\| \le 2 \,\}$, and let $f : B \to B$ be a continuous function whose set of fixed points is $S^k = \{\, x \in B : \|x\| = 1, x_{k+2} = \cdots = x_m = 0 \,\}$. Can it ...

**8**

votes

**1**answer

459 views

### Pontryagin numbers on manifolds with an $S^1$-action

Let $M$ is a smooth compact manifold with an $S^1$-action with isolated fixed points. Suppose the representation of $S^1$ at tangent spaces at all fixed points is known. Can one then find all ...

**8**

votes

**4**answers

429 views

### Cohomology classes represented by submanifolds

Let $Y\subset X$ be a codimension $k$ proper inclusion of submanifolds. If we choose a coorientation of $Y$ inside of $X$ (that is, an orientation of the normal bundle), then we get a class $[Y]\in ...

**16**

votes

**1**answer

602 views

### For which varieties is the natural map from the Chow ring to integral cohomology an isomorphism?

My apologies if this question is too naive.
Let $X$ be a smooth projective complex variety. There is a natural map $A^{\bullet}(X) \to H^{2\bullet}(X)$ of graded rings from the Chow ring of $X$ to ...

**4**

votes

**0**answers

153 views

### Principal bundles and Čech cohomology with non-good open covers

I'm trying to compute characteristic classes of principal bundles by defining transition functions and computing them in Čech cohomology. However, it seems all the constructions are defined in terms ...

**1**

vote

**1**answer

275 views

### A $2$-torsion version of the motivic stable homotopy category?

For a field $k$ there exists the motivic stable homotopy $SH(k)$; it is compactly generated. My question: does there exist a 'reasonable' functor $p$ from $SH(k)$ to a certain triangulated category ...