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)

0
votes
1answer
34 views

How many Vertices, Edges, Faces are there in these Diagrams?

Apologies for the really basic question, however, I don't really understand how to count edges/faces for these types of diagrams with vertices "identified". E.g. For Figure 3.11, Clearly $V=4$, but ...
1
vote
1answer
92 views

Show the first Chern class of a $U(1)$ bundle is integral.

I am working from John Baez's book: "Gauge Fields, Knots and Gravity". So I will stick to the notation used in that book. I am stuck at exercise 122 of part II (page 283), it reads: Show that if ...
9
votes
0answers
145 views

Explicit examples of (co)limit arguments in other fields

Over the past weeks, I have noticed that high level lecture notes in subjects like algebraic geometry, algebra, and algebraic topology often sketch proofs in the following form: Proof sketch ...
3
votes
0answers
42 views

How to calculate homotopy invariant winding number?

Consider a map $f:S^1\to U(1)=S^1$, since we know $\pi_1(S^1)=\mathbb{Z}$, which measures how many times the map "wind" around the circle. Given some explicit form of the function $f(\phi$), where ...
7
votes
1answer
86 views

Why is $H^*(K(\pi, 1); A) \cong \text{Ext}^*_{\mathbb{Z}[\pi]}(\mathbb{Z}, A)$?

As the question title suggests, what is the easiest way to see that there is an isomorphism$$H^*(K(\pi, 1); A) \cong \text{Ext}^*_{\mathbb{Z}[\pi]}(\mathbb{Z}, A)?$$
2
votes
0answers
38 views

For any Subspace $A$ of a Path-Connected Space $X$, we have $H_0(X, A)=0$.

I recently learnt about relative homologies and am wondering if the following is true: Statement: Let $X$ be a path-connected topological space and $A$ be a non-empty subspace of $X$. Then $H_0(X, ...
2
votes
1answer
60 views

Trying to understand relative homology group

I'm reading about relative homology group but I'm having hard time in understanding this concept. So I was trying to find $H_1(D^n,S^{n-1})$, but I'm unable to solve this problem. Can someone give ...
5
votes
1answer
108 views

Integral homology of $S^{n-1}/\pi$, $H_*(S^{n-1}/\pi; \mathbb{Z}_p)$

Let $p$ be an odd prime number. Regard the cyclic group $\pi$ of order $p$ as the group of $p$th roots of unity contained in $S^1$. Regard $S^{2n-1}$ as the unit sphere in $\mathbb{C}^n$, $n \ge 2$. ...
4
votes
3answers
175 views

uses of Riemannian geometry for questions not related to Riemannian geometry

Poincaré conjecture (whose formulation does not make use of notions from Riemannian geometry: "Every simply connected, closed 3-manifold is homeomorphic to the 3-sphere") was eventually proved using ...
1
vote
1answer
99 views

The fundamental group of the connected sum of two copies of the real projective plane

How do I compute the fundamental group of the connected sum $X \mathop{\#} X$, where $X$ denotes the real projective plane? I'd like to use Van Kampen's theorem, but I have trouble visualizing what ...
9
votes
1answer
448 views

Passage to fixed point spaces is object function of a contravariant functor?

Let $X$ be a $G$-space, where $G$ is a (discrete) group. For a subgroup $H$ of $G$, define$$X^H = \{x: hx = x \text{ for all }h \in H\} \subset X;$$$X^H$ is the $H$-fixed point subspace of $X$. ...
2
votes
2answers
107 views

Manifolds with a finite but not trivial fundamental group

I came across this nice result: Theorem: If $M$ is a connected smooth manifold with finite fundamental group, then its first de Rham cohomology is trivial: $$H^1_{dR}(M)=0.$$ However, I don't ...
2
votes
0answers
30 views

Spaces of Labeled Complexes (Munkres)

The following is taken from Munkres' Algebraic Topology book. I tried to determine which spaces (e.g. Mobius Strip, Klein bottle, etc) these complexes are, but to no avail. I computed the Euler ...
1
vote
1answer
92 views

Is every simply connected open subset of $\Bbb R^n$ contractible?

Question: Is every simply connected open subset of $\Bbb R^n$ contractible? I know the result is true for $\Bbb R^2$ because by the Riemann Mapping Theorem every simply-connected proper open ...
4
votes
0answers
79 views

$\mathscr{O}(G/H, G/K) \cong (G/K)^H?$

What I am about to ask is related to the question presented here. Let $X$ be a $G$-space, where $G$ is a (discrete) group. For a subgroup $H$ of $G$, define$$X^H = \{x : hx = x \text{ for all }h ...
3
votes
1answer
59 views

Why does there exist a deck transformation mapping here?

See Kevin Dong's answer here. Let $\widetilde{\gamma}$ be a path in $X_N$ based at $x_0^N \in X_N$ with $p(\widetilde{\gamma}) = \gamma$ a nontrivial path in $X$. Since the cover is normal, there ...
2
votes
0answers
19 views

Given a triangulation (labeled complex), how do we determine the space?

Given a triangulation, how do we tell which space it is representing? My first idea would be to calculate the Euler Characteristic, but that would still leave some ambiguity, e.g. both the Projective ...
1
vote
1answer
30 views

Intersection preserves homotopy equivalence

Let $Z$ be a topological space with subspaces $X$, $Y$, $X'$ and $Y'$. Suppose that $X$ is homotopy equivalent to $X'$ and $Y$ is homotopy equivalent to $Y'$ do we have that $X\cap Y$ is homotopy ...
1
vote
1answer
109 views

Is this a valid triangulation of a space? (Algebraic Topology)

On the surface, it looks like it would be a Mobius Strip due to the "twist". However, there are some inconsistencies like b is adjacent to d on the left, but not on the right of the figure. ...
2
votes
3answers
74 views

Requirement “closed under finite intersection” in Van-Kampen-Theorem

Given a topological space $X$, a point $x_0 \in X$ and an open cover $\mathcal{U}$ of $X$ of path-connected subsets containing $x_0$ which is closed under finite intersections, we have by Van-Kampen ...
2
votes
1answer
62 views

Counter example to existence of Mayer-Vietoris sequence

Every open cover $X = U \cup V$ gives an exact sequence (called mayer vietoris sequence) $$ \ldots \to H_n(U \cap V) \to H_n(U) \oplus H_n(V) \to H_n(X) \to H_{n-1}(U \cap V) \to \ldots $$ Do $U$ and ...
0
votes
0answers
63 views

Nth Homotopy Group Isomorphic to [T^n, X]

Following Spanier's book on algebraic topology chapter 1, section 6 about suspensions, I'm wondering about the following questions: 1) We know that $S^n$ is an H co-group for all $n\geq1$ because ...
7
votes
1answer
280 views

Topological idea of orientability of manifold

While reading Poincare Duality a new idea of orientability of manifold came in my mind.I dont know wheather this idea is new or not, or even true or false. My idea is following... A $n$-dim manifold ...
5
votes
1answer
67 views

decomposing a function into embedding and projection

I have a simple question. If $f:\mathbb{S}^{2}\rightarrow\mathbb{R}$ is a non-constant continuous function, can we represent it as a composition $f=p\varphi$, where ...
1
vote
1answer
65 views

What is the meaning of “Continuous Group ”?

I read in chapter 2 "Weisner Method" in the book "Obtaining Generating Functions" I did not understand the meaning of this statement " The method is based on finding a nontrivial continuous group ...
33
votes
0answers
386 views

Does $\Bbb{CP}^{2n} \mathbin{\#} \Bbb{CP}^{2n}$ ever support an almost complex structure?

This question has now been crossposted to MathOverflow, in the hopes that it reaches a larger audience there. $\Bbb{CP}^{2n+1} \mathbin{\#} \Bbb{CP}^{2n+1}$ supports a complex structure: ...
2
votes
0answers
36 views

Euler Integral of a self-overlapping tube with a cusp singularity

I am studying in depth the following paper on Euler calculus applied to target enumeration: https://www.math.upenn.edu/~ghrist/preprints/eulerenumerationpart1.pdf Within this paper there is an ...
3
votes
0answers
72 views

Computational Topology Codes [closed]

I am working on a project with a PI that thinks could be solved with computational topology tools. For this project, we will be looking at the persistent homology of objects in 3D images. I tried ...
1
vote
0answers
54 views

Homotopic family of curves

I stumbled over the following question. Imagine we have a two homotopic curves on the sphere $\mathbb{S}^1$ namely $\gamma_1,\gamma_2$. Then we can write them as $\gamma_{i}(t) = e^{i \alpha_i (t)}$ ...
4
votes
0answers
41 views

The homology groups of an infinite product of spaces

Suppose $I$ is some index set and let $\{X_i \}_{i\in I}$ be a collection of topological spaces (as nice as you like them to be). What is known about the (say) singular homology of $X := \prod_{i\in ...
3
votes
2answers
90 views

Definition of Cech-De Rham complex. Can't understand its definition!!!!

Let $M$ be a manifold and let $\mathcal{U}:=\{U_\alpha\}_{\alpha\in I}$ be an open covering, $I$ be a totally ordered set. For every $p$ and for every $\alpha_0<\dots<\alpha_p$, $$ ...
1
vote
1answer
77 views

Action of $S^1$ on homotopy groups of an $S^1$-space

I am interested in the following question : Let $S^1$ be the $1$-sphere, seen as a topological group by being the unit sphere in the complexe plane $\mathbb{C}$. Let $X$ be a (good, ... etc) pointed ...
19
votes
1answer
552 views

Prove Euler characteristic is a homotopy invariant without using homology theory

I was flipping through May's Concise Course in Algebraic Topology and found the following question on page 82. Think about proving from what we have done so far that $\chi(X)$ depends only on ...
2
votes
2answers
114 views

Sum of Betti numbers of a degree $d$ hypersurface of $\mathbb{P}^n_{\mathbb{C}}$

Let $X \subseteq \mathbb{P}^n_{\mathbb{C}}$ be the zero set of a homogeneous polynomial of degree $d$. Assume that $X$ is smooth. Is there a way to find the sum of the Betti numbers of $X$ (i.e. the ...
11
votes
1answer
187 views

Is the space of $G$-maps $G/H \to X$ naturally homeomorphic to $X^H$?

Let $X$ be a $G$-space, where $G$ is a (discrete) group. For a subgroup $H$ of $G$, define$$X^H = \{x : hx = x \text{ for all }h \in H\} \subset X;$$$X^H$ is the $H$-fixed point subspace of $X$. ...
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 ...
2
votes
1answer
56 views

Question about maps to $K(G,1)$

I have an unfortunately basic confusion about two results in Hatcher's Algebraic Topology. Let $G$ be an abelian group. Theorem 4.57 specialized to $n=1$ says that there is a bijection $$\langle X, ...
4
votes
0answers
29 views

Properties of spectra

I've been trying to understand spectra better, and I was wondering what would be a good source to learn from. My issue with the classical treatments (e.g., Adams, Switzer) is that people keep telling ...
0
votes
0answers
66 views

Normality of a covering space.

I am having some trouble trying to do problem 1.3.24 in Hatcher's Algebraic Topology: Given a covering space action of a group G on a path-connected, locally path-connected space X, then each ...
1
vote
0answers
27 views

Reference request about Thm which use Transversality to compute Homotopy Groups [duplicate]

I'm following the following notes, and my attention was caught by Theorem $1.1.4$. I am unable to find any reference of the proof. Could you suggest me some books in which there is a proof of this ...
1
vote
1answer
102 views

The cone of a topological space is contractible (why is the homotopy well defined?)

If $X$ is a topological space, define ${\rm Cil}(X) = X \times I$ the cylinder over $X$, and the cone over $X$, $\operatorname{Con}(X) = \operatorname{Cil}(X)/{\sim}$ the quotient by saying that ...
61
votes
4answers
1k views

Topological spaces admitting an averaging function

Let $M$ be a topological space. Define an averaging function as a continuous map $f:M \times M \to M$ which satisfies $f(a,b) = f(b,a)$ for all $a,b \in M$ and $f(a,a) = a$ for all $a \in M$. These ...
4
votes
1answer
43 views

Ways to link the unknot to a pole

Is there a way to show that the following ways of linking an unknot to an infinite horizontal pole are inequivalent? Perhaps the Wirtinger presentation would work, but I am not sure because of the ...
6
votes
3answers
265 views

How can one compare these two 4-manifolds

We would like to compare the following two real 4 dimensional manifolds: 1)$M$=The tangent bundle of $S^{2}$ 2)$N$= The total space of the canonical line bundle over $\mathbb{C}P^{1}\simeq S^{2}$ ...
4
votes
1answer
80 views

Todd genus as homomorphism from complex cobordism

It's well-known that the Todd genus/arithmetic genus $\chi(\mathcal{O}_X)$ (or probably preferably $\int_X \text{td}(T_X)$ so as to define it in purely terms of the complex structure) is a genus in ...
1
vote
1answer
87 views

What is the Wrong in this Triangulation of the Torus

On pg 133 of Roman's Introduction to Algebraic Topology it is stated that one requires at least 14 triangles in any triangulation of the torus. Admittedly, I do not have a very good understanding of ...
0
votes
0answers
60 views

Trying to prove that a continuous function $\,f: \mathbb{D}^2 \rightarrow \mathbb{R}^2$ has a zero using the fundamental group?

Prove: For a continuous $\;f: \mathbb{D}^2 \rightarrow \mathbb{R}^2,\;$ $\,f\left(\omega,0\right) \notin f\left(S^1\right),\,$ given a non constant function $\left(f_{\mid S^1}\right)_{\ast} : ...
2
votes
1answer
197 views

Trouble With a Triangulation of the Torus

On pg. 133 of Rotman's Introduction to Algebraic Topology, we have a figure which claims to be a triangulation of the torus. Now a triangulation of a topological space is defined as Definition. ...
1
vote
1answer
29 views

Homology groups of $D^2\times S^1$, full torus

I know what are the homology groups of a torus $T=S^1\times S^1$, in sense that $$\tilde{H}_1(T)=\mathbb{Z}^2,H_2(T)=\mathbb{Z}$$ but I wonder what happens if we fill it. What are the homology groups ...
0
votes
1answer
31 views

Interior of simplex that is a proper face not open?

If a simplex $\sigma$ is a proper face of another simplex $\tau$, why is its interior not open in $\tau$? I can't seem to understand as, let's take $\sigma=ab$, a line segment that is a proper face ...