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

learn more… | top users | synonyms (1)

2
votes
1answer
170 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
1answer
197 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
0answers
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
0answers
129 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
0answers
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
2answers
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
2answers
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
1answer
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
2answers
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
1answer
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
1answer
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
2answers
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
1answer
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
1answer
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
1answer
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
2answers
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
1answer
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
2answers
267 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
0answers
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
1answer
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
1answer
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
0answers
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
2answers
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
0answers
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
1answer
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
0answers
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
0answers
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
2answers
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
1answer
580 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
0answers
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
3answers
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
3answers
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
0answers
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
4answers
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
2answers
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
1answer
166 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
2answers
333 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
2answers
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
0answers
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
1answer
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
1answer
379 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
1answer
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
2answers
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
1answer
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
1answer
640 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
0answers
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
2answers
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
0answers
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
0answers
315 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
2answers
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 ...