# Tagged Questions

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

**10**

votes

**2**answers

1k views

### Euler characteristic of a manifold and self-intersection

This is probably quite easy, but how do you show that the Euler characteristic of a manifold M (defined for example as the alternating sum of the dimensions of integral cohomology groups) is equal to ...

**38**

votes

**8**answers

3k views

### What are the uses of the homotopy groups of spheres?

Pete Clark threw down the challenge in his comment to my answer on Why the heck are the homotopy groups of the sphere so damn complicated?:
Have the homotopy groups of spheres ever been applied to ...

**27**

votes

**6**answers

3k views

### Cubical vs. simplicial singular homology

Singular homology is usually defined via singular simplices, but Serre in his thesis uses singular cubes, which he claims are better adapted to the study of fibre spaces. This young man (25 years old ...

**7**

votes

**6**answers

1k views

### Giving $Top(X,Y)$ an appropriate topology

I am not sure if its OK to ask this question here.
Let $Top$ be the category of topological spaces. Let $X,Y$ be objects in $Top$.
Let $F:\mathbb{I}\rightarrow Top(X,Y)$ be a function (I will ...

**66**

votes

**18**answers

5k views

### Occurrences of (co)homology in other disciplines and/or nature

I am curious if the setup for (co)homology theory appears outside the realm of pure mathematics. The idea of a family of groups linked by a series of arrows such that the composition of consecutive ...

**68**

votes

**6**answers

4k views

### Counterexamples in algebraic topology?

In this thread
Books you would like to read (if somebody would just write them...),
I expressed my desire for a book with the title "(Counter)examples in Algebraic Topology".
My reason for doing so ...

**15**

votes

**2**answers

766 views

### Converse to Stokes' Theorem

Does satisfying Stokes' Theorem imply that a form is linear?
Let $M$ be an $n$-manifold. A differential $k$-form $\omega \in \Omega^k M$ assigns to each point $x \in M$ a function $\omega_x : ...

**12**

votes

**6**answers

4k views

### How do you show that $S^{\infty}$ is contractible?

Here I mean the version with all but finitely many components zero.

**13**

votes

**3**answers

1k views

### When are (finite) simplicial complexes (smooth) manifolds?

Hi,
is there an algorithm that determines if a given simplicial complex is
a.) a manifold
b.) a smooth manifold
c.) homotopy equivalent to a manifold
d.) a real algebraic variety
?

**10**

votes

**7**answers

1k views

### Smooth classifying spaces?

Take G to be a group. I care about discrete groups, but the answer in general would be welcome too. There are the various ways to construct the classifying space of G, bar construction, cellular ...

**6**

votes

**1**answer

786 views

### Homotopy pullbacks of simplicial spaces, and Bousfield-Friedlander

Let $X_\bullet \longrightarrow Y_\bullet \longleftarrow Z_\bullet$ be a diagram of simplicial spaces (=bisimplicial sets, if you like).
On p. 14-9 of these notes there is an example which shows that ...

**23**

votes

**1**answer

755 views

### Brown representability for non-connected spaces

In many places (on MO, elsewhere on the Internet, and perhaps even in some textbooks) one finds a statement of the classical Brown representability theorem that looks something like this:
If $F$ ...

**12**

votes

**1**answer

674 views

### finite dimensional real division algebras

A celebrated theorem of Milnor and Kervaire asserts that any finite dimensional division algebra over the real numbers has dimension 1,2,4 or 8. This result is established using methods from algebraic ...

**6**

votes

**1**answer

547 views

### A problem on infinite dimensional metric space

Let $(X_{n},d_{n})_{n \in \mathbb{N}}$ be a sequence of complete geodesic metric spaces verifying :
$X_{n}$ is a regular CW complex of constant local dimension $n$.
$X_{n}$ is of finite type, ...

**8**

votes

**4**answers

1k views

### Whitehead for maps

I made the following claim over at the Secret Blogging Seminar, and now I'm not sure it's true:
Let f: X --> Y and g: X --> Y be two maps betwen finite CW complexes. If f and g induce the same map on ...

**6**

votes

**2**answers

387 views

### Equivariant Stratifications of a Variety

Let $X$ be a complex variety acted upon algebraically by a complex torus $T$. Suppose that $\{X_{\beta}\}_{\beta\in S}$ is a finite $T$-equivariant stratification of $X$, so that the $X_{\beta}$ are ...

**6**

votes

**2**answers

463 views

### Homotopy problem for infinite dimensional topological space II

This post here is a specification of this post.
Let $(X_{n},d_{n})_{n \in \mathbb{N}}$ be a sequence of intrinsic metric spaces verifying :
$X_{n}$ have topological dimension $n$.
$X_{n+1}$ is ...

**4**

votes

**3**answers

476 views

### Uniquely geodesic and CAT(0) spaces?

Improvement after J-M Schlenker's comment below :
This post has been divided into two parts, the second part is here.
Question : Is a finite dimensional metric space, uniquely geodesic if and only ...

**-1**

votes

**1**answer

150 views

### A closed manifold with a subset with the same ring cohomology

Is there an example of a closed manifold $M$ with a proper subset $A\subset M$ such the inclusion $i:A \to M$ gives a ring isomorphism $i^{*}$ between $\mathbb{Z}$-cohomologies?
In this question ...

**53**

votes

**10**answers

9k views

### Motivation for algebraic K-theory?

I'm looking for a big-picture treatment of algebraic K-theory and why it's important. I've seen various abstract definitions (Quillen's plus and Q constructions, some spectral constructions like ...

**41**

votes

**11**answers

4k views

### What is Quantization ?

I would like to know what quantization is, I mean I would like to have some elementary examples, some soft nontechnical definition, some explanation about what do mathematicians quantize?, can we ...

**74**

votes

**11**answers

5k views

### Spectral sequences: opening the black box slowly with an example

My friend and I are attempting to learn about spectral sequences at the moment, and we've noticed a common theme in books about spectral sequences: no one seems to like talking about differentials.
...

**24**

votes

**11**answers

8k views

### Algebraic Topology Beyond the Basics:Any Texts Bridging The Gap?

Peter May said famously that algebraic topology is a subject poorly served by it's textbooks. Sadly,I have to agree. Although we have a frieghtcar full of excellent first-year algebraic topology ...

**56**

votes

**4**answers

4k views

### Algorithm or theory of diagram chasing

One of the standard parts of homological algebra is "diagram chasing", or equivalent arguments with universal properties in abelian categories. Is there a rigorous theory of diagram chasing, and ...

**50**

votes

**15**answers

6k views

### Are there examples of non-orientable manifolds in nature?

Whilst browsing through Marcel Berger's book "A Panoramic View of Riemannian Geometry" and thinking about the Klein bottle, I came across the sentence:
"The unorientable surfaces are never discussed ...

**58**

votes

**6**answers

3k views

### What properties make $[0,1]$ a good candidate for defining fundamental groups?

The title essentially says it all. Consider the category $\mathfrak{Top}_2$ of triples $(J,e_0,e_1)$ where $J$ is a topological space, and $e_i \in J$. There is an obvious generalization of the ...

**33**

votes

**2**answers

2k views

### What arithmetic information is contained in the algebraic K-theory of the integers

I'm always looking for applications of homotopy theory to other fields, mostly as a way to make my talks more interesting or to motivate the field to non-specialists. It seems like most talks about ...

**15**

votes

**5**answers

3k views

### What mathematical treatment is there on the renormalization group flow in a space of Lagrangians?

What mathematical treatment is there on the renormalization group flow in a space of Lagrangians?

**36**

votes

**8**answers

4k views

### What is a continuous path?

I would like some help, because I am getting mad trying to answer the following
Question: Let $X$ be a topological space, what is a continuous path in $X$?
Well, maybe you're getting nervous ...

**29**

votes

**11**answers

3k views

### Compelling evidence that two basepoints are better than one

This question is inspired by an answer of Tim Porter.
Ronnie Brown pioneered a framework for homotopy theory in which one may consider multiple basepoints. These ideas are accessibly presented in his ...

**18**

votes

**6**answers

2k views

### Failure of smoothing theory for topological 4-manifolds

Smoothing theory fails for topological 4-manifolds, in that a smooth structure on a topological 4-manifold $M$ is not equivalent to a vector bundle structure on the tangent microbundle of $M$. Is ...

**29**

votes

**9**answers

5k views

### Nice proof of the Jordan curve theorem?

As a student, I was taught that the Jordan curve theorem is a great example of an intuitively clear statement which has no simple proof.
What is the simplest known proof today?
Is there an intuitive ...

**29**

votes

**20**answers

3k views

### Generalizations of Planar Graphs

This is a follow up to Harrison's question: why planar graphs are so exceptional. I would like to ask about (and collect answers to) various notions, in graph theory and beyond graph theory (topology; ...

**28**

votes

**2**answers

2k views

### Are there pairs of highly connected finite CW-complexes with the same homotopy groups?

Fix an integer n. Can you find two finite CW-complexes X and Y which
* are both n connected,
* are not homotopy equivalent, yet
* $\pi_q X \approx \pi_q Y$ for all $q$.
In Are there two ...

**24**

votes

**3**answers

3k views

### Spaces with same homotopy and homology groups that are not homotopy equivalent?

A common caution about Whitehead's theorem is that you need the map between the spaces; it's easy to give examples of spaces with isomorphic homotopy groups that are not homotopy equivalent. (See Are ...

**17**

votes

**6**answers

1k views

### A canonical and categorical construction for geometric realization

There is a very intimate connection between categories, simplicial sets, and topological spaces. On one hand, simplicial sets are the presheaf category on the category $\Delta$ and $\Delta$ is a ...

**29**

votes

**3**answers

2k views

### Algebras over the little disks operad

Hello,
The so-called "recognition principle" of Boardman-Vogt and May leaves me unsatisfied.
My problem is the following:
The "recognition principle" says that every "group-like" algebra over the ...

**27**

votes

**3**answers

2k views

### When is a submanifold of $\mathbf R^n$ given by global equations?

Let $M \subset \mathbf R^n$ be a (smooth) submanifold of dimension $d$. Under which conditions does there exist global equations defining $M$? By global equations I mean : does there exist a smooth ...

**23**

votes

**8**answers

3k views

### An “advanced beginner's” book on algebraic topology?

It has so happened that I have come this far knowing nothing on the subject of algebraic topology (as in homology theories of topological spaces and their applications). I've decided to finally read ...

**17**

votes

**4**answers

2k views

### Two kinds of orientability/orientation for a differentiable manifold

Let $M$ be a differentiable manifold of dimension $n$. First I give two definitions of Orientability.
The first definition should coincide with what is given in most differential topology text books, ...

**15**

votes

**5**answers

2k views

### Computing homotopies

Oftentimes, in the standard algebraic topology books (May, Switzer, Whithead, for instance), there are tricky little proofs that depend on proving that two maps are homotopic. This is comparable to ...

**12**

votes

**3**answers

1k views

### What determines a model structure?

It is easy to prove that a model structure is determined by the following classes of maps (determined = two model structures with the mentioned classes in common are equal).
cofibrations and weak ...

**7**

votes

**4**answers

751 views

### Coboundaries and Gluing in Cech Cohomology - Intuition?

I'm trying to develop an intuition for Cech cohomology geometrically, but am currently failing. A lot of people seem to say that the groups $H^n$ measure obstructions to gluing local sections to get ...

**20**

votes

**3**answers

1k views

### Modern Source for Spectra (including Ring Spectra)

I am looking for a modern introduction to Spectra that improves on the treatment by Adams in his "Stable Homotopy and Generalized Homology" notes (by improves I mean taking into account what has been ...

**18**

votes

**0**answers

2k views

### Why do polytopes pop up in Lagrange inversion?

I'd be interested in hearing people's viewpoints on this. Looking for an intuitive perspective. See Wikipedia for descriptions of polytopes and the Lagrange inversion theorem/formula (LIF) for ...

**15**

votes

**4**answers

1k views

### Classifying Space of a Group Extension

Consider a short exact sequence of Abelian groups -- I'm happy to assume they're finite as a toy example:
$$
0 \to H \to G \to G/H \to 0\ .
$$
I want to understand the classifying space of $G$. Since ...

**10**

votes

**3**answers

894 views

### Representations of \pi_1, G-bundles, Classifying Spaces

This question is inspired by a statement of Atiyah's in "Geometry and Physics of Knots" on page 24 (chapter 3 - Non-abelian moduli spaces).
Here he says that for a Riemann surface $\Sigma$ the first ...

**22**

votes

**4**answers

2k views

### What is a simplicial commutative ring from the point of view of homotopy theory?

Let $k$ be a field. There are two natural categories to consider:
The category of simplicial commutative $k$-algebras.
The category of connective $E_\infty$ $k$-algebras (i.e., chain complexes of ...

**15**

votes

**3**answers

2k views

### Different way to view action of fundamental group on higher homotopy groups

There are a couple of ways to define an action of $\pi_1(X)$ on $\pi_n(X)$. When $n = 1$, there is the natural action via conjugation of loops. However, the picture seems to blur a bit when looking at ...

**11**

votes

**7**answers

2k views

### Deeper meanings of barycentric subdivision

I just want to ask if there is any deeper motivation or clear geometric "sense" behind the barycentric subdivision. Some friend asked me about this a few months ago, looking back the section at ...