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

**3**

votes

**0**answers

98 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

127 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 ...

**1**

vote

**0**answers

242 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

373 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

477 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

222 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

242 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

142 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

186 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

334 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

307 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

221 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

278 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

266 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

193 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

359 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

151 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

417 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

173 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

370 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

579 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

141 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 ...

**8**

votes

**3**answers

926 views

### Is there a homology theory that gives a *necessary and sufficient* condition for homotopy equivalence?

Is there a (non-Abelian) homology theory that realizes the following:
Let $X,Y$ be manifolds with complexes $C(X),C(Y)$.
Then $X$ and $Y$ are homotopy-equivalent if and only if $C(X)$ and $C(Y)$ ...

**24**

votes

**3**answers

2k views

### Are the higher homotopy groups of the Hawaiian earring trivial?

The fundamental group of the Hawaiian earring is very complicated, but since it's "1-dimensional" one might guess that the higher homotopy groups vanish. Do they? Since the Hawaiian earring does not ...

**0**

votes

**0**answers

118 views

### Where are there defined objects between gerbes and bundle gerbes?

Consider a special kind of/something like a gerbe where there is first given local trivialization data with equivalence over 2-fold overlaps but not isomorphism.
Does this exist in the literature?

**1**

vote

**4**answers

238 views

### Homology of infinite intersection

If $X_1\supseteq X_2\supseteq \ldots$ is a sequence of "nice" compact spaces, I would like to know whether the natural map from $H_*(\cap X_i)$ to the inverse limit $\lim \, H_*(X_i)$ is surjective. ...

**6**

votes

**2**answers

381 views

### Can eta invariant be written in terms of topological data?

The eta invariant was introduced by Atiyah, Patodi, and Singer. It roughly measures the asymmetry of the spectrum of a self-adjoint elliptic operator with respect to the origin. In ...

**4**

votes

**1**answer

165 views

### Section of the homology functor on spectra

Consider the (reduced) homology functor $H_*$ from the category of spectra to the category of graded Abelian groups. I wanted to know whether there is a "section" of this functor, i.e., a functor $F$ ...

**2**

votes

**2**answers

332 views

### Beautiful constructions in algebraic topology that facilitate one's understanding of homotopy theory [closed]

There is an army of interesting constructions in AT, and Understanding them are usually very helpful for appreciate the theory underneath. So I would like to invite you to share those examples that ...

**4**

votes

**2**answers

558 views

### Why Cech cohomology does not compute sheaf cohomology on an open annulus

Let $A=\{z\in\mathbf{C}:1/2<|z|<1\}$ be an open annulus. Let us cover $A$ by 3 open sets:
$U_0,U_1$ and $U_2$ which we assume to be all homeomorphic to a 2 dimensional open disc. Moreover, we ...

**3**

votes

**0**answers

106 views

### understanding the definition of $\infty$-operad of module objects

I'm just trying to understand the following definition:
Definition 3.3.3.8 in Higher Algebra by J. Lurie defines the $\infty$-operad of $O$-module objects, and says the following:
Let $O^\otimes$ be ...

**5**

votes

**1**answer

269 views

### Finite group acting on sphere

Let $G$ be a finite abelian group (of odd order if it's significant) acting on sphere $S^2\subset\mathbb{R}^3$. So my question: is it true that $G$ has a fixed point?

**14**

votes

**1**answer

378 views

### Lift chain complex from $\mathbb{F}_2$ to $\mathbb{Z}$

We start with a finite dimensional chain complex over $\mathbb{F}_2$, equipped with a basis. That is, we have finitely many finite dimensional $\mathbb{F}_2$-vector spaces $C_0,\dots,C_k$ with bases ...

**3**

votes

**1**answer

123 views

### In H_2 of Sp(2g,Z), why does Meyer's signature cocycle give 4 times a generator?

Fix some $g \geq 2$, let $\Gamma_g$ be the mapping class group of a genus $g$ surface, and let $\pi : \Gamma_g \rightarrow Sp(2g,\mathbb{Z})$ be the projection. In
Meyer, Werner
Die Signatur von ...

**8**

votes

**2**answers

391 views

### Eilenberg-MacLane Spaces of “large” groups

It is well-known that if $G$ is a discrete group, then $BG=K(G,1)$. I'm interested in comparing classifying spaces of topological groups with the classifying spaces of the same groups but equipped ...

**3**

votes

**1**answer

245 views

### sphere bundles over spheres

Localized at an odd prime there is a space $B_k$ which sits in a fibration $S^{2k+2p-3}\rightarrow B_k \rightarrow S^{2k-1}$ and has homology $H_{\ast}(B_k;\mathbb{Z}/p\mathbb{Z})\cong ...

**29**

votes

**1**answer

639 views

### For which maps $S^1\to S^1$ is the winding number defined?

There are two classes of maps $S^1\to S^1$ for which I know how to define the winding number:
• Continuous maps:
Using the unique path lifting property of the universal covering map $\mathbb R\to ...

**14**

votes

**0**answers

190 views

### Unoriented bordism and homology, reference?

The following has undoubtedly been known to the experts for years, but I only noticed it the other day. Can anyone give a reference?
One can prove Thom's theorem to the effect that every mod $2$ ...

**12**

votes

**2**answers

372 views

### Truncations of E_infinity algebras

In section 4.1 of Lurie's DAG VIII, he implies the existence of an $E_\infty$-ring spectrum $A$ such that the coconnective truncation $\tau_{\leq 0} (A)$ does not admit the structure of an ...

**1**

vote

**0**answers

81 views

### Homology of the fixed points of the singular complex of a G-space

I posted the following to stackexchange a while ago [1], without any answers. Maybe the question is too unmotivated, but it seems very natural to me.
Suppose $X$ is a topological space and $G$ a ...

**15**

votes

**0**answers

314 views

### p-Adic String Theory and the String-orientation of Topological Modular Forms (tmf)

I am going to ask a question, at the end below, on whether anyone has tried to make more explicit what should be, it seems to me, a close relation between p-adic string theory and the refinement of ...

**4**

votes

**2**answers

255 views

### Fundamental group of a manifold with an $S^1$-action

Let $M$ be a compact connected manifold with an $S^1$-action. Suppose that $S^1$ has a fixed point in $M$. Is it true that $\pi_1(M)=\pi_1(M/S^1)$?
I is there some reference or a short proof of this ...

**3**

votes

**2**answers

167 views

### Nielsen-Thurston classification of homeomorphisms for open surfaces?

In Proposition 3.1. in this article by John Franks, he applies the Nielsen-Thurston classification of surface homeomorphisms to a homeomorphism $ \ f:M \rightarrow M$ of an open surface $M$ which is ...

**19**

votes

**0**answers

482 views

### What is to tmf as KR is to KO?

The $E_\infty$-ring spectrum $KU$ of complex K-theory carries a canonical involution induced from complex conjugation of complex vector bundles. The homotopy fixed points of this $\mathbb{Z}_2$-action ...