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)

0
votes
1answer
15 views

Let $S_ 0$ be the space with $2$ points and the discrete topology. Find [$S_ 0$ , $X$] for an arbitrary space $X$.

Let $S_ 0$ be the space with $2$ points and the discrete topology. Find [$S_ 0$ , $X$] for an arbitrary space $X$. $[X,Y]=\{f:X\to Y,f$ continuous $\}/\sim$ where $\sim$ is the homotopic equivalence. ...
0
votes
0answers
14 views

Prove that $C_1$ and $C_2$ are homotopic fixing endpoints.

Let $C_1$ and $C_2$ be two great circles in $S^2$, intersecting at the points $p,q$. If we consider $C_1$ and $C_2$ as curves starting and ending at $p$. Prove that $C_1$ and $C_2$ are homotopic ...
0
votes
1answer
32 views

Relation about Disk and Sphere

Definition of sphere and disk are following \begin{align} S^n =\{ (x_1 , \cdots x_{n+1}) \in \mathbb{R}^{n+1} | \sum x_i^2 =1 \} \end{align} \begin{align} D^n =\{ (x_1 , \cdots x_{n}) \in ...
3
votes
1answer
44 views

What categorical limits and colimits does $\pi_1$ preserve?

$\pi_1$ is a functor from the category of pointed topological spaces to the category of groups. It's clear that this functor preserves products, since $\pi_1(X\times Y)=\pi_1(X)\times\pi_1(Y)$, and a ...
1
vote
1answer
38 views

Dual notion of the subspace topology

Let $X$ and $Y$ be sets with $\iota:X\to Y$ an injection. If $Y$ is a topological space, we define the subspace topology on $X$ as the initial topology induced by this diagram. Analogously, if $X$ ...
2
votes
1answer
25 views

Homotopy groups of infinite Grassmannians

Let $G_k$ be the infinite rank $k$ Grassmannian. For $n>k$, is $\pi_n(G_k)$ trivial? Phrased differently, is every rank $k$ vector bundle on an $n$-sphere, for $n>k$, trivial? (This is motivated ...
1
vote
1answer
17 views

Proof explanation Mayer-Vietoris and the Punctured Euclidean Space.

I am only releasing part of the proof. Doesn't this prove that "otherwise" case is completely wrong? I am assuming "otherwise" refers to $n < 2$? Because he just showed that $H^0(\Bbb ...
1
vote
0answers
17 views

Question regarding character varieties on a torus with compact gauge group

Let $G$ be a compact, connected Lie group. Let $x, y \in G$ be an arbitrary pair of commuting elements. Is there necessarily a torus $T \leq G$ containing $x$ and $y$? Apparently not: Commutativity ...
1
vote
2answers
53 views

Why exactly is this injective? Algebraic Topology.

Let $(A^*, d^i)$ be a chain complex of finite dimensional vector spaces, i.e, $$0 \to A^0 \to A^1 \to \dots \to A^n \to 0.$$ Show the sequence $$0 \to H^i(A^*) \to A^i/Im(d^{i-1}) \to Im(d^i) ...
6
votes
1answer
47 views

Serre fibrations vs. Hurewicz fibrations

What is an example of a Serre fibration that is not a Hurewicz fibration?
0
votes
0answers
37 views

The Complex projective space is homeomorphic to the n-sphere

Ok I have been asked to give as detailed a proof as I can for the following question. Prove that $ \mathbb C\mathbb P^n $ is homeomorphic to $ S^{2n+1} /\sim. $ where for $ z,w \in S^{2n+1} \subset ...
1
vote
1answer
46 views

Problem with understanding proof of Van Kampen's theorem

I'm currently reading J.P May's book, "A Concise Course in Algebraic Topology". I don't understand his proof of the fundamental groupoid version of Van Kampen's theorem, particularly the part where ...
4
votes
0answers
27 views

Algebraic approach to topological equivalence of dynamical systems

For continuous dynamical systems there is a notion called topological conjugacy or (somewhat weaker) topological equivalence. I gather that equivalence sends fixed points to fixed points and limit ...
1
vote
2answers
48 views

Definition question in algebraic topology.

Definition: The $p$th (de Rham) cohomology group is the quotient vector space $$H^p(U) = \frac{Ker(d:\Omega^{p}(U)\to \Omega^{p+1}(U)}{Im(d:\Omega^{p-1}(U)\to \Omega^{p}(U))}$$ where $U \in ...
2
votes
1answer
31 views

How to show that a homomorphism between fundamental groups is an inner automorphism?

I want to show that if $\sigma$ is a loop based at a point $p \in X$, where $X$ is a topological space, then the homomorphism $\Phi _\sigma: \Pi_1(X,p) \rightarrow \Pi_1(X,p)$, is an inner ...
1
vote
1answer
72 views

Fibrations lift p-connectedness

Let $p: X \to B$ be a Serre fibration, and suppose that $B^p \subset B$ is a subspace of $B$ such that $(B,B^p)$ is $p$-connected, i.e. $\pi_n(B,B^p)=0 \ \forall n \leq p$ or, equivalently, ...
1
vote
2answers
59 views

if $\pi_1(G)$ is trivial, how to prove $ \pi_1(G/H)=\pi_0(H)/\pi_0(G) $?

Let $G$ be a topological group, $H$ be its normal subgroup of $G$, and $G/H$ be the quotient space induced by the natural map.(We know that $G/H$ is again a topological group) If $\pi_1(G)$ is ...
0
votes
0answers
11 views

Free action of symmetric group

What type of compact manifolds, can be acted freely by symmetric group $S_{m}$ for some $m>2$? Is there a compact manifold which can be act freely by all symmetric ...
0
votes
0answers
33 views

Explicitly building Top. space with trivial homology group and non trivial fundamental group, w/o CW-complexes

I know this is a pretty famous question here, but I was asked to show explicitly such space, during a bachelor lecture, without using any CW-complex result. I started working using some covering ...
0
votes
0answers
13 views

Homotopy classes of self-maps on L(2,1)#L(3,1)

How to classify continuous self maps on $L(2,1)\# L(3,1)$ up to homotopy? Here $L(2,1)$ and $L(3,1)$ are lens spaces. The reason for considering this manifold is that its fundamental group is ...
4
votes
1answer
44 views

Calculating $\pi_2$ of a certain free loop space

For a topological space $X$, define $LX$ to be the set of continuous maps $S^1 \rightarrow X$ with the compact-open topology. Henceforth let $X = \Bbb{CP}^\infty \times \Bbb{RP}^\infty$, with ...
1
vote
2answers
96 views

When is the free loop space simply connected?

I am not sure if there is an obvious answer to this, but this has been bothering me. Let $X$ be a topological space. When is the free loop space, $LX$, simply connected? Correct me if I'm wrong, but ...
1
vote
1answer
39 views

Is there no continuous $f:\mathbb{R}^{2^{*}}\rightarrow S^1$?

This is a question from last year's exam: Prove that there is no continuous $f:\mathbb{R}^2 -\{0\}\rightarrow S^1$ such that $f(x)=x$ on $S^1$. Well this question is equivalent to show that ...
1
vote
2answers
25 views

equivalent characterisation of simply connect spaces

I want to prove the following: Let $X$ be path connected space, $S^{1}$ the $1$-sphere and $D^{2}$ the unit circle. Following are equivalent: i)X is simply connected. ii) If $f:S^{1} \to X$ ...
1
vote
2answers
28 views

Pathwise, simple connectedness of real Grassmannian $G(2, 4)$

Let $G(2, 4)$ denote the space of two dimensional planes in $\mathbf R^4$. I have found that the integral homology is the following: $H_0 = \mathbf Z, H_1 = \mathbf Z / 2 \mathbf Z, H_2 = 0, H_3 = ...
11
votes
1answer
141 views
+50

Functoriality of fundamental group

I'm trying to prove the following statement: If $\mathcal{C}_1$ is the category of path connected topological spaces and $\mathcal{C}_2$ is the category of groups, then the mapping $\mathcal{C}_1 \ni ...
1
vote
2answers
23 views

is there a notation to designate the induced homomorphism including base point?

Let $X,Y$ be a topological spaces. Let $f:X\rightarrow Y$ be a continuous function. Fix $x_0\in X$. Define $f_*([r])=[f\circ r]$ for every loop $r$ at $x_0$. Then, $f_*:\pi_1(X,x_0) \rightarrow ...
11
votes
2answers
107 views

Is the plane minus the integer lattice homeomorphic to the plane minus the integers?

The question, more rigorously posed, is: Is $\Bbb R^2-\Bbb Z^2$ homeomorphic to $\Bbb R^2-\Bbb Z\times\{0\}$? This question has been bugging me in the back of my head for a while now. Sometimes, ...
1
vote
0answers
28 views

How do I prove that the union of two simply connected open sets whose intersection is path connected is simply connected?

I'm trying to understand Ronnie Brown's answer here: union of two simply connected open , with open and non empty intersection in $R^2$ Let $X$ be a topological space and $U,V$ be simply connected ...
3
votes
1answer
30 views

What is the definition of contractible space? (It is not a duplicate)

I'm studying two algebraic topology texts (namely Munkres and Theodore) Here are definitions given in those texts Munkres Let $X$ be a topological space. If the identity map on $X$ is ...
2
votes
0answers
19 views

finite simplicial complex compact

Let $K=(V,\Sigma)$ be a finite simplicial complex. I want to show that $|K|$ is compact. I know that $K$ is a sub-simplicial complex of $\Delta^V$ with $|\Delta^V|$ compact. So I think I should show ...
1
vote
0answers
19 views

cohomology of unordered configuration spaces of sphere

Let $F(X,n)$ be the configuration space of order $n$. Let $F(X,n)/\Sigma_n$ be the unordered configuration space of order $n$. What is $H^*(F(S^2,n)/\Sigma_n;\mathbb{Z}_2)$? I did not find the answer ...
1
vote
1answer
28 views

The space of $S^1/S^1$, the space of a single point, and their first homotopy group

I read from the book Soft matter physics by Kleman that the space $R$ of a point is $0$ and its first homotopy group $\pi_1(0)=0$. This causes some confusion to my understanding. Why the space of a ...
0
votes
0answers
30 views

abelianized fundamental groups.

I am trying to show that there is a canonical ismorphism between the abelianized fundamental groups, $\pi_1(X,p)_{ab}$ and $\pi_1(X,q)_{ab}$ of the path-connected space $X$. I know since $X$ is path ...
1
vote
0answers
53 views

Is the inverse limit of simplicial maps between finite directed graphs also a graph?

I think I have an intuitive understanding of why the following statement might be true, but I am not sure how to go about proving it. It's also possible my intuitive understanding is wrong and the ...
1
vote
0answers
15 views

Fundamental group of Antoine's necklace

Let $A \subset \mathbb{R}^3$ denote Antoine's necklace. It is well-known that $A$ is a Cantor space and that $\mathbb{R}^3 \backslash A$ is not simply connected. Futhermore, $\pi_1(\mathbb{R}^3 ...
0
votes
0answers
14 views

whitney class of fiber bundles over classifying space of permutation groups

Let $\Sigma_k$ be the permutation group of order $k$. Let $\rho: \Sigma_k\to GL(k)$ be regular representation by permuting basis. Let $\rho': B\Sigma_k\to BGL(k)=G_k(\mathbb{R}^\infty)$ be the induced ...
0
votes
0answers
21 views

classifying map of associated bundles

Let $G\leq GL(\mathbb{R}^n)$ be a group and $\xi$ be a principal $G$-bundle over a space $X$. Let $\eta=\xi[\mathbb{R}^n]$ be the associated vector bundle of $\xi$. Let $f_\xi: X\to BG$ be the ...
3
votes
2answers
66 views

Why the space S1 and S1/Z_2 is topologically identical?

I am a physicist studying liquid crystals. My research is bit related to topology but I don't have much knowledge of it. Recently I read from a the book Soft matter physics: An introduction that ...
2
votes
1answer
49 views

Hurewicz model structure and cofibrantly generated model categories

Is it an open problem if $\mathbf{TOP}$ with Hurewicz (Strøm) model structure is cofibrantly generated?
0
votes
1answer
24 views

cup product of stiefel-whitney class

Let $\xi$ be a vector bundle. Let $w(\xi)$ be the total Stiefel-whitney class. Let $\bar w$ be the dual Stiefel-whitney class. In John Milnor's Characteristic class book, page 40-41 Chap.4, ...
0
votes
1answer
23 views

What is the name of this homotopy?

Here is my definition for homotopy: Let $X,Y$ be topological spaces. Let $f,g:X\rightarrow Y$ be continuous functions. If there is a function $F:X\times[0,1]\rightarrow Y$ such that ...
3
votes
1answer
33 views

Extending a homotopy between loops in a space to the entire space.

Let $X$ be a topological space, and let $f, g: S^1\to X$ be homotopic circles in $X$. Is there a continuous function from $X$ to itself that sends $f(S^1)$ to $g(S^1)$, and if so, how do I find it? ...
1
vote
0answers
32 views

prerequisites for reading davis kirk

I would like to study some of the basics of algebraic topology and would like to read the book by Davis-Kirk. I realize that it assumes the reader is already familiar with homology, CW complexes and ...
2
votes
1answer
56 views

Is the product of two good pairs, itself a good pair?

Want to see whether $(X,A)\times(Y,B)=(X\times Y,A\times Y\cup X\times B)$ is a good pair whenever $(X,A)$ and $(Y,B)$ are good pairs. Searched the text by Hatcher on Algebraic Topology, and couldn't ...
1
vote
1answer
21 views

Singular homology of cofinite topology space

Suppose $X$ is an infinite set equipped with cofinite topology, what are its singular homology groups? For example, $X=\mathbf{CP}^1$ equipped with Zariski topology (the cofinite topology), what are ...
4
votes
2answers
62 views

Prove that $S^{n-1} \simeq \Bbb R^n - \{ 0 \}$.

That is prove that the $n-1$ sphere is homotopic to the Euclidean space without the origin. Two topological spaces $X, Y$ are said to be homotopic if there are maps $f: X \to Y$ and $g: Y \to X $ ...
2
votes
1answer
62 views

Analogue in algebra for characteristic classes?

By Swan's Theorem, we know that projective modules over a ring are an algebraic analogue of vector bundles over a base space. Is there some sort of cohomology theory of rings (or modules? or schemes, ...
2
votes
1answer
29 views

$\sum_{i=0}^n (-1)^i \delta_i(\sum_{j=0}^{n+1} (-1)^j \delta_j) = 0$, given that $\delta_i \delta_j = \delta_{j-1}\delta_i$ whenever $i < j$

$\sum_{i=0}^n (-1)^i \delta_i(\sum_{j=0}^{n+1} (-1)^j \delta_j) = 0$, given that $\delta_i \delta_j = \delta_{j-1}\delta_i$ whenever $i < j$ This problem shows up in the middle of dealing with ...
0
votes
2answers
33 views

In a path connected space, when does every path between $p$ and $q$ induce the same isomorphism between Fundamental Groups based at $p$ and $q$?

Note: I will concatenate paths from left to right. If $X$ is a path-connected topological space, and $p, q\in X$ are distinct, then any path $\gamma$ between $p$ and $q$ induces an isomorphism ...