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
0answers
73 views

What is a good, hi-tech textbook on complex analysis?

I am looking for an introductory textbook for Complex Analysis that is hi-tech. All the books I have looked at suffer from the same problem; they're only assuming that the reader is familiar with is ...
0
votes
1answer
27 views

mapping cylinder contractible iff Hn(f):Hn(X)->Hn(Y) is an isomorphism

The mapping cylinder will be defined as $Z_f=X\times[0,1]\coprod Y/\sim$, where $\sim$ is defined by $(x,1)\sim f(x)$. Let $f:X\to Y$ a continuous map between topological spaces and the map ...
1
vote
1answer
13 views

Product of infinite covering maps

If $p_i:E_i\rightarrow B_i, \ i\in I$ are covering maps, then is it true that $$\prod_{i\in I} p_i:\prod_{i\in I}E_i \rightarrow \prod_{i\in I}B_i$$ is a covering map ? It is true if $\mbox{card}\ I ...
1
vote
1answer
19 views

$t$-adic topology (on $\mathbb F_p(1/t)$)

Recently I found this interesting discussion about algebraically closed fields of positive characteristic. In the answer marked as the top answer, I read about the $t$-adic topology. The $t$-adic ...
1
vote
1answer
20 views

How do I conclude that $|\pi_1(X,x_0):p_*(\pi_1(C,c_0))|$ is the number of sheets of $p$?

Here is a theorem in Hatcher's algebraic topology. (Hatcher-Algebraic Topology p.61) Let $(X,x_0),(C,c_0)$ be topological spaces and $p:(C,c_0)\rightarrow (X,x_0)$ be a covering map. If ...
0
votes
0answers
8 views

Is the range of a covering map normal subgroup of codamin?

Let $(C,c_0),(X,x_0)$ be topological spaces. Let $p:(C,c_0)\rightarrow (X,x_0)$ be a covering map. Let $p_*:\pi_1(C,c_0)\rightarrow \pi_1(X,x_0)$ be the induced homomorphism by $p$. ...
0
votes
0answers
28 views

Stuck in Preissmann's theorem

I am stuck on following the proof of Preissmann's theorem, whose statement is that Let $(M,g)$ be a closed connected Riemannian manifold of negative sectional curvature. Then every nontrivial ...
0
votes
0answers
42 views

How do I show that $\mathbb{R}^n$ is simply-connected?

I have shown that $\mathbb{R}$ is simply connected by reparametrization. However, how do I show that $\mathbb{R}^n$ is general?
0
votes
0answers
10 views

Positive definite functions defined on the embedding of a planar graph in the plane

By way of motivation: Let $f:[0,1]\rightarrow\mathbb{R}^2$ and $g:\mathbb{S}_1\rightarrow\mathbb{R}^2$ be continuous injections, where $\mathbb{S}_1$ is the circle ($\mathbb{R}/\mathbb{Z}$). Then, ...
3
votes
0answers
20 views

Why use the Lefschetz Zeta function?

Given a compact, triangulable space $X$ and a continuous function $f: X\rightarrow X$, then we define the Lefschetz number $\Lambda_{f}$ by $$\Lambda_{f} = \sum_{k\geq0}(-1)^{k}Tr(f_{\ast}\vert ...
3
votes
1answer
78 views

Euler characteristic, genus and cohomology: a deep connection?

For a smooth projective curve $V$ over the complex numbers, the algebraic genus, defined as the dimension of the linear system $L(\omega)$, where $\omega$ is the canonical divisor, coincides with the ...
2
votes
1answer
47 views

Acyclic chain complex and contracting chain homotopy

Let $R$ be a Ring and $(C_k, d_k)_{k\geq0}$ a acyclic chain complex of free modules, meaning $im(d_{k+1})=\ker(d_k)$ for all $k$. I want to show that there is a family of R-module-homomorphisms ...
2
votes
2answers
45 views

path connected subspace $A$ of $X$, $ i:A\to X$ inclusion. Why is the induced map of $i$ on homology injective?

X is a topological space and $A\subset X$ is a path-connected subspace of X and $i:A\to X$ is the inclusion. I want to know, why the induced map of i on singular homology of dimension zero over ...
0
votes
2answers
42 views

Group with topology which is not topological group

What will example of a group G with topology such that f: G to G such that f(x) = -x and g: G * G to G such that g((x,y)) = x * y (where * is binary operation on G) both are not continuous.
1
vote
0answers
32 views

Are there some reference books or handbooks on homology and homotopy groups of every manifold which has been calculated?

Are there some reference books or handbooks on homology and homotopy groups of every manifold which has been calculated ? Or Are there some reference books especially on differential geometry and ...
1
vote
1answer
24 views

Why does a covering map has the injective induced homomorphism?

Below is how I tried: Let $p:(C,c_0)\rightarrow (X,x_0)$ be a covering map. Let $[\gamma]\in \ker(p_*)$ Let $e_X,e_C$ be the constant loops at $x_0,c_0$ respectively. Then $[e_X]=[p\circ \gamma]$. ...
3
votes
2answers
61 views

Are there any disadvantages to working in the category of k-spaces as opposed to Top?

Unlike the category Top of topological spaces with continuous maps as the arrows, the full subcategory of compactly generated spaces (k-spaces) is Cartesian closed. It seems like a very nice ...
1
vote
2answers
21 views

How can “homotopy lifting theorem” be applied to prove this theorem?

Homotopy lifting theorem Let $p:C\rightarrow X$ be a covering map. Let $F:Y\times[0,1]\rightarrow X$ be a continuous function. Let $f:Y\rightarrow C$ be a continuous function such ...
0
votes
3answers
62 views

Boundary of $\mathbb{R}^4$ and fundamental group of $\mathbb{R}^4/\mathbb{R}^2$

a) To what I know boundary makes no sense in open sets. Does it make any sense to talk about the boundary of $\mathbb{R}^4$? In physics they consider it when discussing wether the universe has a ...
2
votes
1answer
32 views

Fixed point of a mapping

How to prove that every continuous $f:S^1 \to S^1$ such that $deg(f)\neq 1$ has a fixed point? One hint is that if $f(x)\neq x$ for any $x\in S^1$ then $f$ is homotopic to the antipodal map $a$ but I ...
0
votes
0answers
42 views

Geometric Meaning of Luna's Slice Theorem

I found the Luna's Slice Theorem very Technical. It will be helpful if someone illustrates the geometry involved in the theorem. Also why this theorem so useful? This is Luna's Slice theorem from a ...
1
vote
1answer
27 views

Compute the map $H^*(CP^n; \mathbb{Z}) \rightarrow H^*(CP^n, \mathbb{Z})$

I'm trying to solve problem 3.2.6 in Hatcher. The problem is stated: Use cup products to compute the map $H^*(CP^n; \mathbb{Z}) \rightarrow H^*(CP^n, \mathbb{Z})$ induced by the map $CP^n ...
1
vote
0answers
15 views

How do i have this neighborhood in this argument?

(Hatcher- Algebraic topology) p.30 To prove (c) we will first construct a lift $\overline{F}:N\rightarrow \mathbb{R}$ for $N$ some neighborhood in $Y$ of a given point $y_0 \in Y$. Since $F$ is ...
1
vote
0answers
28 views

is configuration space an H-space?

Let $X$ be a manifold. Let $F(X,n)$ be the configuration space of order $n$. Let $B(X,n)=F(X,n)/\Sigma_n$ be the unordered configuration space of order $n$. Is $B(X,n)$ an H-space? Under what ...
0
votes
1answer
6 views

Formal sums vs. arbitrary sums for chain groups

We defined the $n$-chain group as follows, $$C_n(X) = \bigg\{ \sum_{v \in V} n_v [v_1, \dots, v_n] : n_v \in \mathbb{Z}, \hspace{2mm} n_v=0 \hspace{2mm} \text{for all but finitely many} \hspace{1mm} ...
3
votes
2answers
86 views

Circle to circle homotopic to the constant map?

How to prove that a continuous function, homotopic to the constant map $f:S^1\to S^1$ (a) has a constant point and that (b) $f$ maps $x$ to its antipodal point $-x$?
0
votes
0answers
16 views

$\phi$ is a coboundary iff $\phi(f)$ depends only on the endpoints of $f$

I've proved the first direction but I'm having trouble proving the second direction. First direction: Let $\phi = \delta\psi$ for $\psi \in C^0(X;G)$. Then $\phi(f) = \delta\psi(f) = ...
3
votes
2answers
268 views

Mapping the open ball to itself?

How to prove that there exists a continuous function $f:B^2 \to B^2$ without constant points? Here, $B^2$ is the unit open ball. I guess $f$ can be for example like this $f: re^{iax} \to re^{ibx} $ ...
0
votes
1answer
46 views

Proof of Jordan curve theorem

Is it possible for the following to be proof for Jordan curve theorem: Given the distance function on $\mathbb{R}^2$ ($d((x_1,y_1),(x_2,y_2))=\sqrt{ |x_2-x_1|^2 + |y_2-y_1|^2}$), and $\varepsilon ...
1
vote
1answer
52 views

Homomorphism extension between fundamental groups

I have the following problem. Let $X$ be a subspace of $\mathbb{R}^n$ and $Y$ some topological space. Also, let $\psi: (X,x_0) \to (Y,y_0)$ be a continuous map. If there exists a continuous extension ...
2
votes
1answer
74 views

$p:E\to B$ is fibration then $p^*:map(X,E)\to map(X,B)$ is fibration as well.

$p:E\to B$ is fibration then for $X$ being completely generated weakly Hausdorff space $p^*:map(X,E)\to map(X,B)$ is fibration as well. We'd like to show that for any $Y$ and continuous $f$ and ...
2
votes
1answer
15 views

What is the definition of “sheet”?

Here is a definition for evenly covered set. Definition Let $C,X$ be topological spaces and $p:C\rightarrow X$ is a continuous function. Let $U$ be an open subset of $X$. Then $U$ ...
1
vote
0answers
26 views

Showing $\phi(f \cdot g) = \phi(f) + \phi(g)$

For $\phi \in C^1(X; G)$ a cocycle being thought of as a function from paths in X to G, I want to show: $\phi(f \cdot g) = \phi(f) \cdot \phi(g)$. What I'm not sure is how I'm supposed to relate a ...
0
votes
2answers
25 views

Fundamental Group of Circle Generator Textbook Typo?

I'm confused about what the generator is for the fundamental group of a circle at point $b_0$. That is, what is the generator for $\pi_1(S^1, b_0)$. Is it $e^{2\pi i (t_0 + t)}$ for $t \in [0, 1]$, ...
-1
votes
0answers
17 views

Show that the quotient map G-> G/H is a covering space [duplicate]

G be a topological group.H be a subgroup of H.suppose that the subspace topology on H is the discrete topology.Show that the quotient map G-> G/H is a covering space. Prove that the quotient map $P:G ...
1
vote
0answers
18 views

The smallest $n> 0$ with the nonzero $n$th stiefel whitney class is a power of 2 when total stiefel whitney class is not trivial.

This is the Problem 8-B form the characteristic classes by John W. Milnor and James D. Stasheff. [Problem 8-B] If the total stiefel whitney class $w(\xi) \neq 1$, show that the smallest $n>0$ with ...
1
vote
1answer
41 views

algebra of polynomials of non-commuting variables

In Hatcher's book algebraic topology page 496-497: the Steenrod algebra $\mathcal{A}_2$ is the algebra over $\mathbb{Z}_2$ formed by polynomials of non-commuting variables $Sq^1,Sq^2,\cdots$ modulo ...
4
votes
1answer
63 views

Is $\mathbb{H}P^\infty$ an H-space or not?

$\mathbb{R}P^\infty$ is H-space. $\mathbb{C}P^\infty$ is H-space. Is $\mathbb{H}P^\infty$ an H-space or not?
0
votes
0answers
13 views

Explicit example of $\Delta$-complex of the Torus

In "Algebraic Topology"-Hatcher the beginning of the chapter on $\Delta$-complexes shows a pictorial example of the $\Delta$-complexes of the Torus, $\mathbb{R}P^2$ and the Klein Bottle. In a ...
1
vote
1answer
46 views

Let $p: E \to B$ be a covering map. If $B$ is a completely regular space then prove that (edited) $E$ is completely regular space.

Let $p: E \to B$ be a covering map. If $B$ is a completely regular space then prove that $E$ is completely regular space. I am getting no clue how to construct the function $f$. The readers may ...
1
vote
1answer
36 views

How does one actually take the dual of a chain complex?

I know the following about the chain complex used for computing the homology groups of the torus $S^1 \times S^1$: The complex is $0 \to^{\delta_3} \mathbb{Z}[U] \oplus \mathbb{Z}[L] \to^{\delta_2} ...
2
votes
1answer
37 views

Euler characteristic of closed surface

Assume that you have a closed surface that can be covered by finitely many triangles. Then $K(p)= 6-val(P)$ where P is a vertex and $val(P)$ the number of edges that lead to this vertex. Now, I am ...
0
votes
0answers
19 views

smash product does not preserve equivalences: non-example

If $f : X \rightarrow Y$ is a weak equivalence of pointed spaces and $Z$ is a pointed space, then $f\wedge Z : X\wedge Z \rightarrow Y\wedge Z$ is not necessarily a weak equivalence, unless we're ...
0
votes
1answer
21 views

Fundamental Confusion Regarding the Fundamental Group

Consider the following question. Let $X$ be a topological space and $x_0$ be any point in $X$. Let $\gamma\in \pi_1(X,x_0)$ be a non-constant loop about the base point $x_0$. Then can it happen ...
0
votes
1answer
29 views

Algebraic Topology problem help! A mapping from the n-sphere to some set!

So let $f:S^{m}\to X$ be a continuous mapping. How can I prove that a) $f$ is homotopic with the constant mapping (i.e. the point I guess) and b) that $f$ can be augmented to a new mapping $f': ...
1
vote
0answers
34 views

Homotopy equivalence of pushouts of topological spaces

Let $h \colon A \to B$ and $r \colon S^{n-1} \to A$ be continuous maps. Assume that $h$ is an homotopy equivalence, prove that $$ D^n \cup_{r} A \simeq D^n \cup_{h \circ r} B$$ where $D^n ...
1
vote
2answers
15 views

Liftings of Nullhomotopic Maps

Is the lifting of a nullhomotopic map always a loop in a path connected space? This question is perhaps very trivial,but I am struggling with it. Please help.
1
vote
2answers
21 views

quotient topology in compact hausdorff space

Let X is compact hausdorff space and A is a subset of X. Show that X/A is Hausdorff ,when A is closed. I have no idea how to proof it. Can you give me a clue?
7
votes
3answers
143 views

Why $\mathbb{RP}^2$ can not be embedded to $\mathbb{R}^3$?

Is there any answer of this question around basic theory of differentiable manifolds?
1
vote
0answers
15 views

Normal subgroup invariant under $\text{Ad}_g$

Denote by $G$ a Lie group with corresponding Lie algebra $\text{Lie}(G)$. There the three maps inner automorphism/conjugation: $\text{Int}_g = L_{g^{-1}} \circ R_g \in \text{Aut}(G)$, $\text{Ad}_g ...