Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 10819

Homotopy theory, homological algebra, algebraic treatments of manifolds.

9 votes

What part of the fundamental group is captured by the second homology group?

thinking about invariants of 2-knots ... is there an obvious map from $H_2(X)$ (or from part of it) into $\pi_1(X)$? Where in the derived series of $\pi_1(X)$ would the image of $H_2(X)$ live? Have …
Sergey Melikhov's user avatar
10 votes

Brown representability beyond CW complexes

As Andrew Stacey pointed out, certainly there is no representability theorem for arbitrary cohomology theories (even ordinary). For instance, singular cohomology is not representable on compact metric …
Sergey Melikhov's user avatar
6 votes

Brown representability beyond CW complexes

Let me try again. The original question Is there a version of Brown representability for arbitrary pointed topological spaces? is interesting, and I don't see how it has been fully answered. Tha …
Sergey Melikhov's user avatar
14 votes

How should one think about pushforward in cohomology?

not only answering the question of for which maps f, but also answering the question of in which cohomology theories can we carry out such a construction Both questions are answered in the book b …
Sergey Melikhov's user avatar
4 votes
Accepted

Realisability cohomological class as product or as immersed sphere

I will construct a closed simply-connected $8$-manifold $M$ and an $a\in H^3(M;\Bbb Z)$ such that the Poincare dual $b$ of $a$ is not realizable by a map $S^5\to M$, and a Hom-dual element in $H^5(M;\ …
Sergey Melikhov's user avatar
3 votes

Cohomology of a space with local coefficients and singular cohomological dimension

How about $X=\Bbb RP^2\times L^2_3$, where $L^2_3$ is the cone of the $3$-fold cover $S^1\to S^1$. Here $H^4(X;\Bbb Z)\simeq\Bbb Z/2\otimes\Bbb Z/3=0$, but $H^4(X;\mathcal L)\simeq\Bbb Z\otimes\Bbb Z/ …
Sergey Melikhov's user avatar
2 votes

Classifying spaces of a profinite groups

There's a lot of literature on classifying spaces of the $p$-adic integers. For instance, there are two 45-year old "computations" of the complex K-theory of the $p$-adic integers, resulting in two di …
Sergey Melikhov's user avatar
22 votes
Accepted

How to "see" that double suspension of homology 3-sphere is homeomorphic to a sphere?

To get some intuition behind the double suspension theorem, you can try three pages with a lot of pictures in Ferry's notes (starting with p.166, in Chapter 26). He gives a rough sketch of proof in th …
Sergey Melikhov's user avatar
12 votes
Accepted

Are there two non-homeomorphic finite regular CW complexes with isomorphic face posets?

It is not hard to reconstruct a finite regular CW complex from its face poset. This is essentially the order complex construction. One just has to understand the order complex $\Delta(P)$ of the poset …
Sergey Melikhov's user avatar
8 votes

Making CW-complexes metrizable

This addresses the modified question in Jeremy's comments, on keeping the preferred CW-structure. If the CW complex happens to be regular and PL (i.e. the attaching maps are injective and piecewise-l …
Sergey Melikhov's user avatar
4 votes

Where should I learn about immersion theory?

Immersion theory has been "explained" by the Compression Theorem, with new proofs arguably being much more elementary and intuitive: Rourke and Sanderson, A master's thesis with another exposition
1 vote

Covering maps in real life that can be demonstrated to students

Not only a covering, but every piecewise linear map $f$ between finite graphs can be realized in $\Bbb R^3$ in your sense. To see this, pick a triangulation $T$ of the mapping cylinder of $f$ that pro …
3 votes

Are infinite dimensional constructions needed to prove finite dimensional results?

In defining his finiteness obstruction (for a finite dimensional finitely dominated CW-complex to be homotopy finite), Wall amends the given finite-dimensional complex by a homotopy equivalence so as …
Sergey Melikhov's user avatar
6 votes

Crossed module structure on homotopy groups

1) The book "2D homotopy and combinatorial group theory" (1993) is decidedly oriented towards applications and problem solving, and does discuss crossed modules in Chapters 2 and 4, and further mentio …
Sergey Melikhov's user avatar
12 votes
Accepted

is there any fibration $\mathbb{R}^n\to \mathbb{S}^n$?

Edit: The following simplifies the original answer (which unnecessarily used singular cohomology). If $f:\Bbb R^n\to S^n$ is a fibration, then as Mark noted, a fiber $F$ of $f$ is weak homotopy equiv …
Sergey Melikhov's user avatar

15 30 50 per page