Questions about algebraic methods and invariants to study and classify topological spaces: homotopy groups, (co)-homology groups, fundamental groups, covering spaces, and beyond.

learn more… | top users | synonyms (1)

5
votes
0answers
76 views

Is $Y \cup_f X$ a CW complex?

Let $A$ be the subcomplex of a CW complex $X$, let $Y$ be a CW complex, let $f: A \to Y$ be a cellular map, and let $Y \cup_f X$ be the pushout of $f$ and the inclusion $A \to X$. My question is, is ...
5
votes
0answers
143 views

Is the de Rham complex a free (commutative?) differential graded algebra?

A differential graded algebra (dg-algebra) is a monoid object in the category of chain complexes with respect to the usual tensor product of complexes. A (graded) commutative dg-algebra is simply a ...
5
votes
0answers
75 views

Are these “Stiefel-Whitney numbers” invariants of the (smooth)topology of the total space?

Let $E$ be a smooth real vector bundle over a smooth compact $n$-dimensional manifold $M$. It is relatively easy to see that the Stiefel-Whitney classes $w_i(E)$ are not diffeomorphism invariants of ...
5
votes
0answers
142 views

Is $\mathbb{S}^1 \wedge E$ a cofinal subspectra in $\Sigma E$?

I'm following the proof of Switzer's "Algebraic Topology and Homotopy" of the known result Theorem. Let $E$ be a (CW-pre)spectra. There is a natural (up to homotopy) homotopy equivalence $E \wedge ...
5
votes
0answers
72 views

Rigorous definition of an embedded connected sum.

Can someone point me to a rigorous definition of a connected sum of two smooth embeddings? I know about the usual construction, the problem is that I can't find a proof that this construction is well ...
5
votes
0answers
85 views

“Toys” spaces in algebraic topology

I did follow a course of algebraic topology last semester and I still want to continue to do some computations. But in many books it's all the time the same examples which comes back for computing ...
5
votes
0answers
100 views

How do the direct and inverse image sheaf functors interact with homotopy?

The direct image sheaf functor $f_\ast$ and inverse image sheaf functor $f^\ast$ (here I mean the usual inverse image sheaf functor often denoted by $f^{-1}$) form a well-known adjunction for ...
5
votes
0answers
110 views

Manifold in Milnors Morse Theory

While reading "Morse Theory" by Milnor, I noticed that certain arguments would not work, if the considered manifolds have nonempty boundary. Example: Proof of 3.5 I could not find the definition ...
5
votes
0answers
41 views

Topological invariants that detects change of orientation for an odd dimensional manifold.

Assume all manifolds involved to be closed and orientable. During my studies I learnt about the signature of a $4k$-manifold, and it turned out that (when it is non zero) it can be use to make a ...
5
votes
0answers
96 views

Twisted nail puzzle framed in terms of algebraic topology?

See here for a description of the puzzle: Twisted Nail Puzzle. My question is, can someone provide a description of the puzzle and its solution in context of the language of algebraic topology?
5
votes
0answers
44 views

Homeomorphism between boundaries of open sets is “surjective”

Let $U,V\subset\mathbb{R}^n$ two bounded open sets and let $F:\overline{U}\to\mathbb{R}^n$ be a continuous map. Assume that $F$ maps $\partial U$ homeomorphically onto $\partial V$. The question: is ...
5
votes
0answers
119 views

projective space and torus

we defined the projective space as $\mathbb{S^2/Z_2}$ i.e. identify antipodal points and the torus as $\mathbb{R}^2 / \mathbb{Z}^2.$ And now I am concerned with their manifold structure- In fact, I ...
5
votes
0answers
103 views

Textbook on infinite loop spaces

I'm looking for a good update reference covering the material in first three chapters of "Adams, Infinite loop spaces" (specially construction of delooping functors and group completion) with exact ...
5
votes
0answers
52 views

Covering space of surface of infinite genus

Let $X$ be a surface of infinite genus that is not compact (with edges extending to infinity). How would I show that this is a covering space of the 2-torus $T^{1}\# T^{1}$ via the action of the free ...
5
votes
0answers
81 views

a subspace of $\mathbb R^3$ with $\pi_1=\mathbb Z_2$

I've been wondering about such problems. It is well known that $\mathbb{RP}^2$ cannot be realized as a subspace of $\mathbb R^3$. But does there exist a space $X\subset\mathbb R^3$ (maybe even ...
5
votes
0answers
81 views

Is local homology group on a manifold a sheaf?

Let $X$ be a manifold of dimension $n$, and define $\mathcal{F}(U) = H_n(X,X-U)$. Then clearly $\mathcal{F}$ is a presheaf. I am thinking whether $\mathcal{F}$ is a sheaf. According to Lemma 3.27 in ...
5
votes
0answers
82 views

Definition of CW complex

In Hatcher, a CW complex is defined by inductively attaching cells, where we begin with $X^0$, a discrete space and then attach $1$-cells etc. We then get spaces $X^0,X^1,\cdots$ where ...
5
votes
0answers
69 views

Show that a map of sets is continuous if its composition with other functions is

Problem: Let $Y, E, B$ be topological spaces with $Y$ locally path connected. Suppose $p: E \rightarrow B$ is a covering map, with $g: Y \rightarrow E$ a map of sets. If $p \circ g$ is continuous, ...
5
votes
0answers
100 views

quaternion vector bundle and quaternion grassmannian

Let $\mathbb{H}$ be quaternion numbers. Let $G_n(\mathbb{H}^\infty)$ be the grassmannian of $n$-subspaces of $\mathbb{H}^\infty$. Then ...
5
votes
0answers
120 views

Surgery presentations and gluing

It is well known that every closed oriented 3dimensional manifold can be obtained from a framed link in $S^3$. Let $M$ and $N$ be topological 3-manifolds with boundary such that boundaries $\partial ...
5
votes
0answers
312 views

Learning roadmap to Topological Quantum Field Theories from a mathematics perspective

I want to learn TQFT's and am looking for review articles or books. My mathematics knowledge is limited to one year of graduate course in Algebra (Groups,Rings,Fields,Categories, Modules and ...
5
votes
0answers
64 views

Existence of orientation-reversing automorphisms

Let $M$ be a connected orientable manifold (I don't really care about which category of manifolds we should work in). Since I read that there are nice manidolds without orientation-reversing ...
5
votes
0answers
78 views

About the Chern class of infinite complex Grassmannian

I learned that any characteristic class of rank-$k$ complex vector bundles on paracompact spaces is determined bijectively by a cohomology class in $H^*(Gr_k^\infty(\mathbb C))$, the cohomology ring ...
5
votes
0answers
133 views

Compute the induced map on $\mathbb{CP}^n$

Let $d>0$ and $f:\mathbb{C}^{n+1}\rightarrow \mathbb{C}^{n+1}$ be given by $f(z_0,...,z_n)=(z_0^d,...,z_n^d)$. Let $F:\mathbb{CP}^n \rightarrow \mathbb{CP}^n$ be the induced map by $f$. Compute ...
5
votes
0answers
74 views

Does $\pi_0$ commute with sequential colimits?

I'm looking for an example of a sequence of topological spaces $Y_1 \rightarrow Y_2 \rightarrow \cdots$ such that the induced map $$ \text{colim}\, \pi_0(Y_i) \rightarrow \pi_0 (\text{colim}\, Y_i) $$ ...
5
votes
0answers
63 views

Prove that if $f:D^2\to D^2$ is a homeomorphism, then $f(S^1)=S^1$

I've already proved that set of points $z\in D^2$ such that $D^2-z$ is simply connected is precisely $S^1$. Now from this, I'm supposed to conclude that if $f:D^2\to D^2$ is a homeomorphism, then ...
5
votes
0answers
110 views

Homotopy type vs. weak homotopy type, and repercussions for EG

This is another basic question. I'm aware that weak homotopy equivalence is strictly weaker than homotopy equivalence. For one thing, there is a weak homotopy equivalence from $S^1$ to a four-point ...
5
votes
0answers
71 views

Reference about history of characteristic classes

I'm looking for a good reference about history of characteristic classes. For example, I would like to know how Chern define the Chern class at first in history, or who rewrote the characteristic ...
5
votes
0answers
114 views

Serre Fibration long exact sequence

I want to know if there exists something like the long exact sequence on the following case: Let $p : E\rightarrow B$ a continuous surjective map such that there exists an open dense subset $U$ of ...
5
votes
0answers
132 views

Cohomology of covering space

Let $B$ be a base space and $E$ be a covering space of $B$ what is the relation between $H^2(B,\mathbb{Z})$ and $H^2(E,\mathbb{Z})$.?
5
votes
0answers
262 views

Difficulty of exercises in several books

Since I am teaching myself, I have no idea of the difficulties of exercises in many books. I want to know whether I am not understanding the content of these books if I cannot easily solve the ...
5
votes
0answers
122 views

Characterising singular homology among a more general class of cosimplicial spaces

Is there a way to characterise (up to isomorphism) the simplicial spaces $F: \Delta \to \underline{\text{Top}}$ with $F( \underline{n}) \subset \mathbb{R}^{n+1}$ compact and $F(\underline{0})$ a ...
5
votes
0answers
74 views

how to obtain a generalized Morse function out of a fiber bundle?

Let $M\to E\to B$ be a smooth fiber bundle. In "Parametrized Morse Theory and Its Applications,(Proceedings of the ICM, 1990)", K. Igusa says that if dim $B$$<$dim $M$, then, there exists a smooth ...
5
votes
0answers
218 views

Discrete Closed Subgroup H of a Simply Connected Topological Group G isomorphic to fundamental group of G / H.

A problem in Rotman's Algebraic Topology is as follows: Given a simply connected topological group G with a closed discete normal subgroup H, show that $\pi_1(G / H) \cong H$. I believe I have this ...
5
votes
0answers
77 views

Understanding J homomorphism

I was trying to understand J homomorphism $J:\pi_r(SO(q)\rightarrow \pi_{r+q}(S^q)$from the Wikipedia page http://en.wikipedia.org/wiki/J-homomorphism. It's clear that an element of $\pi_r(SO(q)$ ...
5
votes
0answers
96 views

$S^{2n}$ is the universal cover of $B$, what is $\pi_1(B)$.

Some students and I have tried to solve this problem in the following ways: Using degree theory and results about deck transformations. Using that $S^{2n}$ is the covering space of ...
5
votes
0answers
111 views

Leray spectral sequence for complexes

Let $f:X\rightarrow S$ be a morphism of schemes. Let $0\rightarrow C_1 \rightarrow C_2 \rightarrow C_3 \rightarrow 0$ be an exact sequence of Abelian sheaves on $X$. Is there a general procedure to ...
5
votes
0answers
60 views

Which is harder to compute: $\pi_{n+k}$ or $\Omega^{fr}_n$?

Denote the $n+k$-th homotopy group of $S^n$ by $\pi_{n+k}(S^n)$ and the group of framed cobordism classes by $\Omega_n^{fr}(S^k)$. A central problem of algebraic topology is to compute $\pi_i(S^j)$ ...
5
votes
0answers
178 views

Show that $f$ is a homeomorphism of $X$ onto $f(X)$

I am having trouble on the following question. Some help would be much appreciated. Let $X$ be a Hausdorff space and let $f: X \rightarrow \mathbb{R}^n$ be a proper injective continuous function. ...
5
votes
0answers
658 views

Orientability determined by top homology group

Let $M$ be a compact, connected $n$-manifold. Say that $M$ is orientable if there is a class $\alpha$ in $H_n(M)$ such that the reduced homology map $H_n(M)\rightarrow H_n(M,M\setminus\{p\})$ takes ...
5
votes
0answers
265 views

How to visualize Homology groups?

I've been studying Algebraic Topology recently (Hatcher). I have always been very good at Topology, since I am chiefly a visual type of person. I've found that most things in Topology can be thought ...
5
votes
0answers
132 views

Artin Algebraic Topology

I am reading algebraic topology by Artin, and he gives the following definition. Let $X$ be a topological space. We define a homomorphism $sd_X: S_p(X) \to S_p(X)$ by induction. If $T: \Delta_0 \to ...
5
votes
0answers
174 views

Calculating H_0 directly from Eilenberg-Steenrod axioms

It's well-known that every homology theory satisfying Eilenberg-Steenrod axioms is isomorphic to singular homology. I tried to perform some homology calculations directly from axioms but couldn't do ...
5
votes
0answers
82 views

How to use the Prontrjagin-Thom construction to obtain the Gysin map?

I need help to understand the diagram in Miller's script Vector Fields on Spheres, etc. Chapter 23, p.82 on the bottom of the page. Before, Miller introduces the Prontrjagin-Thom construction: It is ...
5
votes
0answers
301 views

Grothendieck on (topological) Chern Classes

I have been reading through the wikipedia article about Chern classes and it currently has a section devoted to the Alexander Grothendieck axiomatic approach. The language used throughout the section ...
5
votes
0answers
142 views

$\operatorname{Spin}^c(n)$ is a Lie group?

Assume that $n\geq 3$. (This implies $\pi_1(\operatorname{SO}(n))=\mathbb{Z}/2$.) Let $\rho\colon \operatorname{Spin}(n)\to \operatorname{SO}(n)$ be the 2-fold universal cover. Identify $\ker(\rho)$ ...
5
votes
0answers
794 views

Fundamental group of an orientable surface of infinite genus.

I am trying to calculate the fundamental group of an orientable surface $X$ of countably infinite genus. The $1$-skeleton $Y$ of $X$ is infinite wedge of circles, so its fundamental group is free ...
5
votes
0answers
235 views

Relative Homology and Quotients

Are there any topological spaces $X$ with subspaces $A$ such that $H_n(X,A)$ is not isomorphic to $H_n(X/A)$? I've been trying some familiar spaces, but everything seems to be me an isomorphism ...
5
votes
0answers
186 views

diagonal image of a primitive homology class

Let $X$ be a topological space. A class $a\in H_n(X;\mathbb Z)$ is said to be primitive if $a\not = m b$ for every integer $m>1$ and $b \in H_n(X;\mathbb Z)$. Let $$\Delta_*:H_n(X;\mathbb Z)\to ...
5
votes
0answers
426 views

Cohomology of fiber bundle with a section

Let $f:E\rightarrow B$ be a $C^{\infty}$-fiber bundle. Assume that there is a section $s:B\rightarrow E$ of this bundle. One easy consequence of the existence of section is that map $$ ...