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

learn more… | top users | synonyms (1)

3
votes
1answer
35 views

How do we get a simplicial homology functor?

The $n$-th simplicial homology group $H_n(A)$ of an abstract simplicial complex $A$ depends on the choice of an orientation for $A$ (but for different orientations, the homology groups are ...
0
votes
0answers
9 views

Fundamental polygon

So, I have seen fundamental polygons quite a few times now and I was always wondering what they are actually good for. Let's take the sphere. It's fundamental polygon can be seen here image. Does ...
1
vote
0answers
23 views

Stiefel-Whitney classes of 3-manifolds are trivial

Is there a simple way how to show that Stiefel-Whitney classes of a compact closed 3-manifold $M$ are zero? This is exercise 11-D in Milnors Characteristic classes. The available tools in the ...
-1
votes
0answers
16 views

$C_g \simeq SX$ and $C_h \simeq SY$ [on hold]

Hi need some help with this problem: Let $f : X \to Y$ . Then we can form the cofiber sequence $X \to Y \to C_f \to C_g \to C_h$ where $g: Y \to C_f$, $h: C_f \to C_g$, and $i: C_g \to C_h$. Show ...
2
votes
2answers
53 views

The meaning of $\omega$ = df?

I'm reading Algebraic Topology by William Fulton and I am a little lost about 1-forms, which I assume to be the number of differentials according to the number of dimensions (correct me if I'm wrong. ...
1
vote
0answers
31 views

Covering Space of $\mathbb{C}-\{a,b\}$ via Multivalued Function

Consider the multivalued complex function $f(z)= \sqrt{z-a}+\sqrt{z-b}$, where $a\neq b$, defined in the domain $U=\mathbb{C}-\{a,b\}$. The graph $W$ of $f$ defines a regular covering space $W ...
0
votes
2answers
45 views

Closed 4-manifolds have CW-complex?

It looks like for compact 4-manifolds this question is open: When is a compact topological 4-manifold a CW complex? How about if we just consider closed 4-manifolds, does that have an answer/make the ...
2
votes
2answers
68 views

Isomorphism of modules arising from algebraic topology

While studying for a course in algebraic topology, the following question popped out: Let $S,R$ be two commutative rings with unit, $A,B$ two $S$-modules, and assume that $R$ is also an ...
2
votes
1answer
134 views

mapping torus eqivalent definition

Let $X$ be a topological space and $f:X\to X$ a homeomorphism. I need to find a continuous, properly discontinuous $\mathbb{Z}$-action on $X\times\mathbb{R}$, such that the quotient ...
4
votes
0answers
31 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 ...
3
votes
2answers
71 views

vector bundles on $X \times S^2$ built via clutching functions

Let $X$ be a compact Hausdorff space and $E \to X$ a (complex) vector bundle over $X$. We can build a vector bundle on $X \times S^2$ by clutching functions, i.e an automorphism $f:E \times S^1 \to E ...
2
votes
1answer
116 views

Refining homotopy commutative maps of spectra to maps of E_{\infty}-ring spectra

In Adams' blue book (page 54) we have a map in the homotopy category of ring spectra $f: MU \rightarrow K$ where $K$ is complex $K$-theory such that $g_*x^{MU} = (u^K)^{-1}x^K$ where $x^E$ denote ...
2
votes
1answer
30 views

The cone minus its apex deformation retracts onto its basis

Let $X$ be a topological space and $$C(X)=X\times [0,1]/X\times \{0\}$$ be the cone on $X$. Call $P$ the apex of the cone. I want to show that $C(X)-P$ deformation retracts onto $X\times \{1\}$. My ...
11
votes
3answers
147 views

Fundamental group of the product of 3-tori minus the diagonal

I have a past qual question here: let $T^3 = S^1 \times S^1 \times S^1$ be the 3-torus, and let $\Delta = \{ (x,x) \in T^3 \times T^3 \colon x \in T^3 \}$ be the diagonal subspace. Compute $\pi_1(T^3 ...
-1
votes
0answers
21 views

AI / Machine Learning related to high/modern/front mathematics [on hold]

I major math and cs. and i'm interested in ai/machine learning/data mining. so i want to know what math subjects are used in frontier of these technology. especially, high mathematical tool, like ...
1
vote
0answers
37 views

Relative cohomology of a vector space module non-zero vectors

I am trying to explicitly compute the relative cohomology groups $H^m(\mathbb R^n,\mathbb R^n_0;\mathbb Z)$, where $\mathbb R^n_0$ is all the non-zero vectors in $\mathbb R^n$. I think that the answer ...
1
vote
0answers
39 views

Why is $(X\times EG)/G\to X/G$ a fibration if $G$ acts freely on $X$?

Suppose that $G$ acts freely on $X$, and let $EG$ be a contractible space on which $G$ acts freely. According to many references, the projection $(X\times EG)/G\to X/G$ is a fibration. However, I ...
3
votes
1answer
41 views

Extending cellular maps between aspherical complexes

In a paper I read, the author seemed to use a property similar to: Let $X, Y$ be two aspherical CW-complexes and $f : X^{(2)} \to Y^{(2)}$ be a cellular map between their 2-skeletons. Then $f$ ...
2
votes
4answers
280 views

Should I read about Manifolds or Algebraic Topology?

I really enjoy doing maths and it fills quite a lot of my spare time. I'm starting my first year in the university on october and I probably won't have that much time for independent reading once ...
0
votes
1answer
34 views

What are the deck transformations of this threefold cover of the figure 8?

Hatcher lists some examples of covers of a figure 8 (page 58). One of them corresponds with the group with two generators $a$ and $b$ and the relations $a^2, b^2, aba^-1, bab^-1$. I thought ...
0
votes
2answers
35 views

Why is $H_k(X^n) = H_k(X)$, $k < n$, where $X^n$ is the $n$-skeleton of the CW-complex $X$?

Why is $H_k(X^n) = H_k(X)$, $k < n$, where $X^n$ is the $n$-skeleton of the CW-complex $X$? I am probably overlooking something trivial. I tried using the fact that $H_k(X^n,\emptyset)\cong ...
2
votes
0answers
42 views

Role of the Thom space in the Pontryagin-Thom construction

I am trying to understand the Pontryagin-Thom theorem; especially how the Thom space comes into play. Just to bring everyone on the same page: I am specifically talking about the construction of an ...
83
votes
1answer
2k views

Does a four-variable analog of the Hall-Witt identity exist?

Lately I have been thinking about commutator formulas, sparked by rereading the following paragraph in Isaacs (p.125): An amazing commutator formula is the Hall-Witt identity: ...
3
votes
0answers
44 views

Surgery and Euler Characteristic

I am trying to find out how a $(p,n-p)$ surgery affects the Euler Characteristic of an orientable, $n-$ dimensional, compact manifold. Call the initial manifold $M$ and the post-op manifold $M'$. This ...
3
votes
1answer
38 views

Question about the proof of the universal coefficient theorem

When deriving the universal coefficient theorem, in class we proceeded as follows: We have the SES: $$0\to ...
3
votes
1answer
49 views

Eilenberg-Maclane space $K(G\rtimes H, 1)$ for a semi-direct product.

We know that $K(G\times H, 1)=K(G,1)\times K(H,1)$. Do we know something like this for a semi-direct product, where $K(G,1)$ denotes the Eilenberg-Maclane space.
1
vote
0answers
35 views

Homology group of the join

Prove that $$\tilde{H_n}(X*Y) \cong H_{n-1}(X \times Y/X \vee Y)$$ Firstly, I set $$A=X \times Y \times [0,1) / (x,y_0,0) \sim (x,y_1,0) $$ $$B=X \times Y \times (0,1] / (x_0,y,1) \sim (x_1,y,1) $$ ...
0
votes
1answer
70 views

Show that an inclusion is an isomorphism in homology

I'm struggling a bit with an exercise from a book, in a chapter about the Jordan-Brouwer separation theorem. It goes as follows: (note: $s_{n-1}$ is a topological space homeomorphic to ...
2
votes
2answers
49 views

Find a CW complex with prescribed homology groups

A past qual question asks to construct a CW-complex $X$ with $H_0(X) = \mathbb{Z}$, $H_5(X) = \mathbb{Z} \oplus \mathbb{Z}_6$, and $H_n(X) = 0$ for $n\not= 0, 5$. One can build a CW-complex $Y$ by ...
1
vote
1answer
33 views

Show this Map $f:M\rightarrow S^n$ is a Diffeomorphism

Let $M$ be a compact, connected smooth manifold of dimension $n>1$, and $f:M\rightarrow S^n$ a smooth map such that the differential $df_x:T_xM\rightarrow T_{f(x)}S^{n}$ has full rank $= n$ for all ...
2
votes
1answer
29 views

Homology groups of a simplicial complex

I have a question from a qualifying exam: let $X$ be the simplicial complex that consists of the 3-simplices $(v_1,v_2,v_3,v_4)$, $(v_3,v_4,v_5,v_6)$, $(v_1,v_2,v_5,v_6)$, where the $v_i$'s are all ...
0
votes
1answer
24 views

Connected components of the complement of a closed geodesic on a hyperbolic surface.

Let $M$ be homeomorphic to a 2-sphere with a finite number $\geq 3$ of points removed. This implies that $M$ can be equipped with a complete, finite area hyperbolic metric. I imagine $M$ as an ideal ...
11
votes
5answers
996 views

Poincare Duality Reference

In Hatcher's "Algebraic Topology" in the Poincare Duality section he introduces the subject by doing orientable surfaces. He shows that there is a dual cell structure to each cell structure and it's ...
5
votes
2answers
118 views

Is there a self-homeomorphism of the 2-sphere with exactly 3 fixed points?

I don't believe so, but I'm not sure how to prove it. The Lefschetz-Hopf theorem says in this case that the sum of the fixed point indices is 0 or 2 (since our map is a self-homeomorphism). My ...
0
votes
1answer
56 views

A detail in the proof of Jordan's theorem

The (usual) proof with homology first inductively shows that complements of embedded disks are acyclic. In doing so, Mayer-Vietoris is applied, and this assumes that their complements in the sphere ...
1
vote
1answer
30 views

Number of connected components of the complement of a closed curve.

Let $\gamma:[0,1] \rightarrow \mathbb{R}^2$ be a continuous, closed curve (i.e. $\gamma(0) = \gamma(1)$). My question is about the number of connected components of the complement $\mathbb{R}^2 ...
3
votes
1answer
65 views

Algebraic question (In Hatcher's book, exercise: 1.1.16-c:)

In Hatcher's book, exercise: 1.1.16-c: Show that there are no retractions $r :X \rightarrow A$ in the following cases: (c) $X = S_1 × D_2$ and A the circle shown in the figure. Page 39 By ...
3
votes
1answer
28 views

Two definitions of framed manifolds/cobordism

One notion of framed cobordism is that $\Omega_{fr}^n(X)$ is a certain equivalence class of $n$-manifolds $M^n$ in $X$ with a trivialization of the normal bundle $N M^n\subseteq TX$. For compact ...
8
votes
2answers
292 views

CW complexes and manifolds

What is the strongest known theorem (if any) that classify which manifolds can be built as CW complexes? Thank you guys. This is just a question I thought of during class, obviously not homework... ...
1
vote
2answers
102 views

Representation of nullhomologous loop on compact surface as a product of commutators.

Why this sentence is true?: Assume that $M$ is compact surface and $f: S^1 \to M$ is nullhomologous and without selfintersections. Letting $g$ be the genus and $b$ the number of boundary components ...
4
votes
3answers
388 views

Are these two spaces homotopy equivalent?

Let $X$ be the $2$-sphere with two pairs of points identified, say $(1,0,0) \sim (-1,0,0)$ and $(0,1,0) \sim (0,-1,0)$. Write $Y$ for the wedge sum of two circles with a $2$-sphere: if it matters, the ...
6
votes
2answers
101 views

Is this Space Homotopy Equivalent to $S^2$

Let $X$ be the space $S^1$ with two $2$-cells attached via maps of relatively prime degrees. This space is simply connected and has the homology of $S^2$, but is it homotopy equivalent to $S^2$?
3
votes
1answer
38 views

The long exact sequence in reduced K-theory. How to glue together the short ones?

I'm trying to filling the details about the construction of the long exact sequence in K-theory. I'm using the notation of Hatcher's book (pages 52-53). here is a related question, even thought it's ...
1
vote
2answers
63 views

How to call two subsets that can be deformed into each other?

Given a topological space $X$, is there a canonical name for the equivalence relation generated by the following relation on the subsets of $X$? $A \sim B :\Leftrightarrow \exists \text{ continuous } ...
2
votes
0answers
33 views

Cellular structure on a manifold [duplicate]

Is it always possible to put a cell structure on a manifold? in other words is it possible to decompose a manifold as a CW complex? I know that by Morse theory we always have a handle decomposition of ...
2
votes
1answer
60 views

What are other examples of characteristic numbers?

Be warned, this may be a ridiculous question. I understand characteristic classes of principal $G$-bundles (and associated vector bundles) over a space $X$ arise from the classifying maps $f\colon X ...
5
votes
1answer
77 views

Tensor product of real line bundles is trivial as a map $\mathbb{R}P^\infty\to\mathbb{R}P^\infty\times\mathbb{R}P^\infty\to\mathbb{R}P^\infty$

The tensor product of a real line bundle with itself is trivial, as is easily seen by looking at the transition functions or checking the Stiefel-Whitney class. Real line bundles are classified by the ...
8
votes
2answers
212 views

When characteristic classes determine a bundle?

Let $k$ be a natural number and $F$ be $\mathbb C$ or $\mathbb R$. What conditions should be imposed on a topological space that it was true that a $k$-dimensional vector bundle defined over $F$ on ...
3
votes
1answer
51 views

Trivial Cohomology Group->Lower-Dimensional Homotopy?

Calculating the (de-Rham) cohomology of a tee connector (Picture), I got $H^0=R,H^1=R^2,H^2=0$. Furthermore, just from looking at it, I assume the tee connector is homotopic to a circle with an arc ...
1
vote
1answer
21 views

A further question on reparametrization.

Hatcher contains the following paragraph: Define a reparametrization of a path $f$ to be composition $f\psi$ where $\psi:I\to I$ is any continuous map such that $\psi(0)=0$ and $\psi(1)=1$. ...