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

**5**

votes

**1**answer

163 views

### Pontryagin number for 4-dim surface bundle

In paper arXiv:math/0701247
"Divisibility of the stable Miller-Morita-Mumford classes" by Soren Galatius, Ib Madsen, Ulrike Tillmann, it was shown
that the Pontryagin numbers for a 4-dim surface ...

**3**

votes

**1**answer

198 views

### Postnikov towers in bounded t-structures

If $\mathcal{H}$ is the heart of a bounded t-structure in a triangulated category $\mathcal{T}$, then for every object $E$ in $\mathcal{T}$ there exists a finite sequence of integers ...

**0**

votes

**0**answers

281 views

### A Generalized De Rham cohomology

Edit According to the comment of Alex Degtyarev, I deleted the last part of the previous version.
Let $E$ be a real vector space. The complex valued $k$- tensors on $E$ is denoted by ...

**1**

vote

**0**answers

245 views

### Kunneth spectral sequence

In Rotman's Homological Algebra, 1st edition, there is written:
Is every detail of 11.31-11.35 correct? Isn't the spectral sequence in 11.35 1st quadrant and not 3rd quadrant? Do 11.34-35 also ...

**2**

votes

**0**answers

64 views

### Relations between Stiefel-Whitney classes on mapping torus

In question
Relations between Stiefel-Whitney classes
the relations between Stiefel-Whitney classes on manifold are obtained.
My question is that do we have additional relations between ...

**3**

votes

**1**answer

172 views

### Stable homotopy of classifying space for nilpotent groups

Let $BG$ denote the classifying space of a (discrete) group and $BG_+$ its disjoint union with a point.
Question: What is known about the stable homotopy groups $\pi^S_*(BG_+)$ ?
If $G$ is finite ...

**2**

votes

**1**answer

167 views

### Serre spectral sequence for cobordism

If I have a fibration, perhaps with twisting data respecting the fibration, is there a Serre spectral sequence computing cobordism of the total space?
An example that I'm particularly interested in ...

**5**

votes

**1**answer

356 views

### What was Seifert's contribution to the Seifert-van Kampen theorem?

The Seifert-van Kampen theorem is the classical theorem of algebraic topology that the fundamental group functor $\pi_1$ preserves pushouts; more often than not this is referred to simply as the van ...

**4**

votes

**0**answers

110 views

### Oriented cobordism group generated by mapping torus

The 4-dimensional oriented cobordism group of closed manifolds is $\Omega^{SO}_4=Z$, and we know that it cannot be generated by a mapping torus, since the Pontryagin for $p_1$ is zero for any mapping ...

**0**

votes

**3**answers

171 views

### Lifts across covering maps

Let $X,Y,Z$ be connected topological spaces, $f\colon X\to Y$ be a continuous map and $p\colon Z\to Y$ be a covering map. The problem is the existence of a continuous lift of $f$ across $p$. A ...

**7**

votes

**1**answer

234 views

### Are 4-dimensional mapping tori always spin?

We know that all compact orientable manifolds of dimension 3 are spin.
In 4 dimensions, $CP^2$ is not spin. I would like to ask if
all 4-dimensional compact orientable mapping tori are spin?
See ...

**1**

vote

**1**answer

116 views

### Relation between Stiefel-Whitney class and Chern class

A complex vector bundle of rank $n$ can be viewed as a real vector bundle of rank $2n$. From nLab, we have that the second Stiefel-Whitney class of the real vector bundle is given by the first Chern ...

**4**

votes

**2**answers

145 views

### Homology exponents for $QX$

We say that a space $X$ has a homology $p$-exponent if some power of $p$ annihilates the $p$-torsion in $H_\ast(X;\mathbb{Z})$.
I am interested in the homology exponents of the free infinite loop ...

**1**

vote

**1**answer

137 views

### Relation between Chern characteristic and Pontryagin characteristic

A 2-dim complex manifold can be viewed as a 4-dim real manifold.
What is the relation between the Chern characteristic and the Pontryagin characteristic of the tangent bundle? It should be $p_1=n_1 ...

**5**

votes

**1**answer

290 views

### Spectral Sequences reference

What is the best reference for spectral sequences for mathematicians who are not experts at the subject, but would just like to open a book and find the SS they need, without going in to deep.
I'm ...

**6**

votes

**1**answer

294 views

### First Cech cohomology of manifolds

Let $X$ be a compact connected manifold (with or without boundary) and let $H_1(X)$ denote its first Cech integral cohomology group or, equivalently, its first cohomotopy group. Is it true that ...

**8**

votes

**2**answers

450 views

### Modern versions of Verdier's hypercovering theorem?

Let $\mathcal{C}$ be a small category equipped with a terminal object $1$ and a Grothendieck topology. (Assume $\mathcal{C}$ also has pullbacks, if it is more convenient.) The following is a ...

**2**

votes

**0**answers

317 views

### The twisted kiss of the curvaceous cubic and the staid tetrahedron (references)

(Migrated from MSE)
While investigating some operators, I came across some relations between the twisted cubic curve and the tetrahedron that link together some notions in differential geometry, ...

**4**

votes

**0**answers

92 views

### When does finite presentability of the associated graded Lie algebra of a group imply the group is finitely presented?

Let $G$ be a finitely generated group; let $L(G)$ denote the graded Lie algebra (over $\mathbb{Q}$) associated to the lower central series of $G$. I would like to know conditions for when the finite ...

**1**

vote

**0**answers

103 views

### (Co)homology of classifying space of spin group $BSpin(n)$

In the answer for question: Homology of classifying space of spin group BSpin(n),
it was shown that $H_i(BSpin(\infty),Z)$ is $0,0,0,Z$, for $i=1,2,3,4$.
What is $H_i(BSpin(\infty),Z)$ or ...

**2**

votes

**1**answer

171 views

### A certain kind of simplicial complex

I'm interested in collections $\mathcal{C}$ of tuples $\mathbf{t} = (n_1, n_2, \ldots, n_r)$ of positive integers satsifying
if $\mathbf{t}\in \mathcal{C}$ then so is any permutation of $\mathbf{t}$ ...

**2**

votes

**1**answer

198 views

### What are the cohomology classes $H^d(BSO_\infty,Z)$ and $H^d(BO_\infty,Z)$?

The Theorem 1.5 and 1.6 of
Brown, Edgar H., Jr. The cohomology of BSOn and BOn with integer coefficients. Proc. Amer. Math. Soc. 85 (1982), no. 2, 283–288.
give a general answer for $H^d(BSO_n,Z)$ ...

**3**

votes

**0**answers

100 views

### Why “non-linear similarity” is the same as equivalence of representations for connected Lie groups?

Let $G$ be a compact Lie group and $V$ a finite-dimensional orthogonal $G$-representation. Write $S^V$ for the quotient $D(V)/S(V)$, where $D(V)$ and $S(V)$ are the unit disk and sphere in $V$, ...

**6**

votes

**0**answers

130 views

### Characterize spin cobordism invariants in dimer models

The paper by Cimasoni and Reshetikhin http://arxiv.org/abs/math-ph/0608070 shows that one can map problems about spin structures on a Riemann surface into problems about dimmer configurations on a ...

**2**

votes

**0**answers

246 views

### Cech homology (!) of the Warsaw Circle

Can anyone can give me a reference to the fact that first Cech homology (not cohomology!) group of the Warsaw Circle is $\mathbb{R}$? Thank you in advance :)

**4**

votes

**2**answers

376 views

### Isomorphisms and higher homotopy

It is well known that a simply connected groupoid is already contractible. Thus, isomorphisms cannot model higher homotopy. But I wonder, is this a global phenomenon (because we consider categories ...

**9**

votes

**2**answers

483 views

### The Alexander polynomial of a slice knot, Reidemeister tosion, Whitehead group

My question is about the Alexander polynomial of a slice knot.
For a slice knot $K$,
Fox-Millnor and Terasaka proved that
$$ \Delta_{K}(t) \doteq f(t) f(t^{-1})$$
for some polynomial $f(t) \in ...

**7**

votes

**1**answer

225 views

### How does the kernel of the map $\Omega^{\bullet}(X)\rightarrow \Omega^{\bullet}(G\times X)$ relate to equivariant cohomology?

This question may be trivial for experts. Consider a (compact, connected) smooth manifold $X$ and a (compact connected) Lie group $G$ act on $X$. Then we have the action map
$$
\mu: G\times ...

**3**

votes

**2**answers

243 views

### When are automorphisms in categories homotopically trivial?

First, let $\mathcal{G}$ be a groupoid. Then an automorphism $\gamma\colon X\rightarrow X$ in $\mathcal{G}$ considered as a loop in the nerve of $\mathcal{G}$ is homotopic to the point $X$ if and only ...

**4**

votes

**1**answer

144 views

### The K(1)-local Spanier-Whitehead dual of KO

Let $D_1KO$ be the $K(1)$-local Spanier-Whitehead dual of $KO$, i.e. the spectrum
$$
D_1KO = F(KO,L_{K(1)}S^0).
$$
I am interested in what this is. In fact I know that $D_1KO = \Sigma^{-1} KO$. One ...

**3**

votes

**1**answer

189 views

### Advantage in Using Cyclic Homology to a compute Equivariant (Co)Homology of Loop Spaces

I am trying to compute equivariant (co)homology of the free loop space of a manifold $M$ that is not a Lie group, $H^{S^1}_*(LM)$ with the natural rotation action of $S^1$ on the loops of the free ...

**5**

votes

**2**answers

336 views

### free action on contractible spaces

I was wondering if there is an easy counter example to what follows:
Suppose that $E$ is contractible CW-complex and $G_{1}, G_{2}$ are two isomorphic groups acting freely and continuously on $E$.
...

**8**

votes

**1**answer

311 views

### Is $SU(3)/SO(3)$ cobordant with a mapping torus?

The cobordism group of 5-dimensional closed oriented manifolds is $\Omega_5^{SO}=Z_2$, which is generated by $SU(3)/SO(3)$.
A mapping torus is a fiber bundle over $S^1$. Can $\Omega_5^{SO}$ be ...

**6**

votes

**1**answer

228 views

### Where is simpleness used in the proof of existence of Postnikov towers of principal fibrations?

I've read one proof, rather long, in Allen Hatcher's book. There the key is Lemma 4.70, which uses the relative Hurewicz Theorem.
But there is another, shorter proof in J.P.May's book "A concise ...

**2**

votes

**1**answer

219 views

### Characteristic class for a fiber bundle over $S^1$

For an oriented manifold, we have Pontryagin classes. For a manifold with complex structure, we have Chern classes. For a orientable fiber bundle over $S^1$ (ie for orientable mapping tori), do we ...

**0**

votes

**2**answers

202 views

### Pontryagin numbers on a fiber bundle over $S^1$

Let $F$ be a closed manifold. What are the Pontryagin numbers on $E=F\times S^1$?
More generaly, let $E$ be a closed manifold which is a fiber bundle over $S^1$
(with fiber $F$). $E$ is also called ...

**3**

votes

**1**answer

279 views

### Does the cohomology after Dehn surgery depend only on the original 3-manifold or also how the knot is situated?

For $f:S^1\to M$ a knot in a 3-manifold, we can construct a 3-manifold $N$ by a $0/1$-type Dehn surgery along $f$:
First remove from $M$ a solid torus which is a tubular neighbourhood of the knot ...

**8**

votes

**2**answers

270 views

### Lefschetz duality for non-compact relative manifolds

I'd like to use the formulation of Lefschetz duality stated here, but I can't seem to find a reference for this particular version of it, and it doesn't seem quite right to me.
The exact statement in ...

**3**

votes

**0**answers

111 views

### Infinity category of functors from a relative category to a model category

Let $M$ be a model category (maybe cofibrantly generated/combinatorial). Let $(C,W)$ be a relative category.
I write $M^{(C,W)}$ for the full subcategory of $M^C$ on relative functors. This is a ...

**1**

vote

**1**answer

80 views

### Invariant of isotopy of curves in a surface.

Suppose $S_g$ is a sorface of genus $g>1$. Let $\gamma_1$ and $\gamma_2$ be two simple closed curves containing points $p_1, p_2$. Suppose $\gamma_1$ and $\gamma_2$ are isotopic. Now there can be ...

**2**

votes

**1**answer

194 views

### Cohomology of elementary Abelian p-group

Let $E=(\mathbb{Z}/p\mathbb{Z})^n$, an elementary Abelian p-group.
Let $k$ be an algebraically closed field of characteristic 0.
There is a good description of $H^*(E,F^{\times})$ where $F$ is a field ...

**0**

votes

**0**answers

55 views

### Cohomology operations over general rings [duplicate]

If $X$ is a topological space and $R$ is a commutative ring, then the singular cohomology groups $H^*(X,R)$ support cohomology operations coming from the homology of symmetric groups. If $R = ...

**11**

votes

**2**answers

362 views

### “abstract” description of geometric fixed points functor

I'm sure this must be well known, but I could not find any references.
My basic question is: Are there "abstract" descriptions of the geometric fixed point functors in equivariant stable homotopy ...

**7**

votes

**0**answers

153 views

### What's the Hochschild homology of the category of constructible sheaves?

Let $X$ be a manifold. Does the Hochschild homology/cohomology of the category of constructible sheaves on $X$ have a more familiar name?

**4**

votes

**1**answer

419 views

### When does a cohomology class induce an isomorphism between homotopy groups?

A representative $\alpha$ of a cohomology class $[\alpha]\in H^n(X;\pi_n(X))$ is equivalent to a map from $X$ into an Eilenberg-Mac Lane space as $\alpha:X\to K(\pi_n(X),n)$. After applying a ...

**10**

votes

**0**answers

175 views

### “topological” Ochanine genus?

The Witten genus has famously been lifted to the string orientation of tmf ("topological Witten genus"). For the Ochanine genus I am aware of a lift to a "spin orientation of Tate K-theory", namely to ...

**0**

votes

**0**answers

61 views

### reference needed for some well know results on cohomology of the orbit spaces

The following results are well known
If the group $\mathbb Z_2$ acts freely on a mod $2$ cohomology $n$-sphere $X$, then the orbit space
$X/\mathbb Z_2$ is a cohomology real projective $n$-space.
...

**9**

votes

**2**answers

372 views

### Vector bundle for prescribed Stiefel-Whitney classes

I hope this is not trivial.
Let $B$ be a nice topological space (paracompact, CW-complex or whatever you think is nice)
For $i=1,\ldots,n$ let $x_i \in H^i(B,\mathbb{Z}_2)$ be certain cohomology ...

**9**

votes

**1**answer

582 views

### I think I have a category enriched in $(\infty,n-1)$-categories. Is it an $(\infty,n)$-category?

I have recently been thinking about some mathematical gadgetry that should together combine into an $(\infty,n)$-category (actually, an $(n,n)$-category) for $n = 4$. I don't know what axioms I need ...

**3**

votes

**0**answers

145 views

### Stable homotopy of spheres non-locally

Are there any results/conjectures about the stable homotopy groups of spheres that relate the picture at different primes? Something like Gauss's reciprocity law in number theory?
I know about the ...