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

Intuition behind certain examples of fundamental groups

I have some intuition behind the interpretation of having nontrivial fundamental group, detecting the holes in the space and so on. But I don't quite see how interpret the fact that the fundamental ...
0
votes
0answers
26 views

What would be the equivalent of the “gluing axiom” for a cosheaf

A sheaf is a presheaf $F$ such that for all $U$ and for all covering $\{U_i\}_{i\in I} $ of $U$, $F(U)$ is the equalizer $$ F(U) \overset{f}{\longrightarrow}\prod_{i\in I} F(U_i) ...
0
votes
0answers
17 views

definitions of various spectra: $E^X$ and $E \wedge \Sigma^\infty X$

Let $E=\{E_n\}$ be a spectrum given by a sequence of pointed CW complexes $E_n$ and inclusions $\Sigma E_n \to E_{n+1}$. Let $X$ a pointed CW complex. I had a few very naive questions I had while ...
3
votes
0answers
31 views

Motivation behind definition of homologous cycles

Two cycles are said to be homologous if their difference is a boundary.(usual meanings implied) What is the motivation behind this definition or the intuitive meaning it carries. I am looking of ...
1
vote
2answers
88 views

“Equivalent” definitions of the gluing axioms

I tried to convince myself that the two caracterizations of a presheaf that is a sheaf given in wikipedia are equivalent but I couldn't. (F presheaf and notations from wiki) Let's take a simple ...
0
votes
1answer
38 views

Powers of Orbifold Fundamental Groups

I have reduced a problem to $\pi(Y)^n/G^n$ where Y is a manifold and G is a group acting on the manifold. Can I "factor out," the $n$? i.e. $(\pi(Y)/G)^n$. Note that $\pi(X)$ is the fundamental group ...
3
votes
1answer
41 views

Question about the Betti numbers

can someone explain me this definition from :http://en.wikipedia.org/wiki/Betti_number The $n^{th}$ Betti number represents the rank of the $n^{th}$ homology group, denoted $H_n$ "which tells us the ...
4
votes
1answer
31 views

Simplicial homology of the skeleton of a simplex

Let $n$ and $k$ two natural numbers. We consider the (abstract) simplicial complex $K$ on $n$ vertices $v_1,\dots,v_n$ and such that a subset of $\{v_1,\dots,v_n\}$ is a face of $K$ if and only if it ...
0
votes
1answer
38 views

Reduced suspension and unreduced suspension

In May's "A concise course in Algebraic Topology" Chap 14 section 1, the author says $\Sigma (X_+)$ is $\Sigma X\vee S^1$ where $X$ is an unbased space and $X_+$ is the union of a disjoint basepoint ...
0
votes
1answer
46 views

Singular Chain of a Hyperplane.

I refer to the definitions of Hatcher's Algebraic Topology. Is it possible to model a hyperplane $H$ (or half of it) of $\mathbb{R}^n$ with a singular chain? And if - how would its boundary look like? ...
3
votes
0answers
44 views

simple closed curve is nullhomologous iff is separable

A simple closed curve $\gamma$ in an orientable genus $g$ surface $M$ is nullhomologous if and only if $M \setminus \gamma$ consists of two connected components, one of which is a surface $N$ with ...
0
votes
0answers
61 views

Canonical topology on standard groups?

I just wanted to know whether there is any standard topology on groups like $\mathbb{Z}/n\mathbb{Z}$ or $\mathbb{Z}$ ? - The only one that I could imagine, especially for finite groups is the discrete ...
3
votes
0answers
54 views

English edition of Vol 9 of Dieudonné's Foundations of Modern Analysis?

I have found the first 8 volumes of Dieudonné's Foundations of Modern Analysis in English translation, but I'm having difficulty locating volume 9. I have searched the catalogues of numerous libraries ...
4
votes
1answer
65 views

Fundamental group of quotient of $S^1 \times [0,1]$

I have a past qual question here: Let $X = S^1 \times [0,1] /{\sim}$, where $(z,0) \sim (z^4,1)$ for $z \in S^1 = \{ z \in \mathbb{C} \colon \| z \| = 1 \}$. Compute $\pi_1(X)$. I've been trying to ...
1
vote
1answer
34 views

Show that a star convex set $X \subset \mathbb{R^n}$ is simply connected.

Show that a star convex set $X \subset \mathbb{R^n}$ is simply connected. I have the idea of the proof : There is a natural retraction of $X$ onto the set $\{x_0\}$, because every other point $x \in ...
2
votes
2answers
95 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 ...
2
votes
2answers
136 views

A doubt in Hatcher's Algebraic Topology.

I refer to pg. 27 of Hatcher's Algebraic Topology. I refer to the part where Hatcher proves that $f.(g.h)\cong (f.g).h$ For the life of me, I cannot figure out how the diagram on the right proves ...
0
votes
1answer
38 views

Why does two joined circles (wedge sum) with a point removed deformation retract to a single circle?

Let $X$ and $Y$ be two unit circles in $\mathbb{R}^2$. $X$ is centered at $(1,0)$, while $Y$ is centered at $(-1,0)$. Consider $A = X \cup Y$. Let $p \in Y$ be a point that is not $(0,0)$. Why is ...
0
votes
1answer
75 views

Are there big implications of Poincare conjecture?

I was just curious: are there any big corollaries of Poincare conjecture in dimension $3$? Is it useful to prove some other (big) theorems? Or is it just a nice statement, and its main value is that ...
1
vote
1answer
44 views

Definition of boundary in a topological invariant way

I'm reading through Aguilar & Prieto lecture notes "Fiber bundles" (available online by googling it, ...
2
votes
2answers
132 views

How to prove “Homotopy is an Equivalence Relation”

Reading Allen Hatchers book (available online via this link) on Algebraic Topology, it states on page 3 that homotopy type defines an equivalence relation. The symmetry and reflexiveness are ...
2
votes
3answers
82 views

Symmetry of “is homotopic to” detail in the proof

Let $f,g:X\rightarrow Y$. If $f$ is homotopic to $g$ then $g$ is homotopic to $f$. Let $F:X\times I\rightarrow Y$ be a homotopy from $f$ to $g$ so $F(x,0)=f(x)$ and $F(x,1)=g(x)$ for all $x \in ...
1
vote
1answer
72 views

Question about $\pi_0(X)$

I'm studying the fundamental group of a topological space and I've studied a proof checking that $\pi_1(X)$ is a group. I'm thinking if the space of path components $\pi_0(X)$ is a group or not. ...
3
votes
1answer
48 views

Cohomology Calculation

A couple of days ago I asked this Question on calculating hypercohomology I tried a similar example for $(\mathbb{C}^*)^2$, and I have a couple of questions. Here is my calculation: We have a ...
4
votes
2answers
70 views

Null-homotopic covering space map

I'm stuck with the following question, which looks quite innocent. I'd like to show that if a covering space map $f:\tilde{X}\to X$ between cell complexes is null-homotopic, then the covering space ...
4
votes
1answer
43 views

Homotopy classes of maps from the projective plane to $S^1 \times S^3$

I have a past qual question here: characterize the space $[(\mathbb{RP}^2,x),(S^1 \times S^3,y)]$ of homotopy classes of maps from $(\mathbb{RP}^2,x)$ to $(S^1 \times S^3,y)$, where here $x \in ...
0
votes
1answer
63 views

Homology of 3-sphere minus an embedding of $S^1 \times \mathbb{D}^2$

I'm having trouble with the following past qual question: Let $\phi \colon S^1 \times \mathbb{D}^2 \hookrightarrow S^3$ be an embedding, where $\mathbb{D}^2$ is the open unit disk in $\mathbb{R}^2$. ...
0
votes
0answers
36 views

Link complement simply-connected if codimension $\geq 3$

In Rolfsen, page 50 says that "an easy general position argument shows that a PL link $L^k$ in $S^n$ has simply-connected complement if $n - k > 3$," where $L^k$ is a $k$-dimensional link in $S^n$. ...
1
vote
2answers
71 views

Cohomology Ring of Klein Bottle over $\mathbb{Z}_2$

I am trying to show that the cohomology ring of the Klein bottle with $\mathbb{Z}_2$ coefficients is $H^*(K,\mathbb{Z}_2) \cong \mathbb{Z}_2[x,y]/(x^3,y^2, x^2y)$. What I know: ...
-1
votes
0answers
65 views

Why Must the Degree of this Map be 0? [on hold]

Let $f:S^3 \rightarrow S^1\times S^1\times S^1$ be a continuous map. Show that it's degree must be $0$. (Just a hint would be good)
2
votes
2answers
29 views

intersection number of twocompact oriented manifolds

I have an oriented manifold M of n dimension and 2 oriented submanifolds, one of dimension k and the other of dimension n-k , I have to understand which is the intersection number of those manifolds. ...
3
votes
1answer
43 views

Homotopy groups relating to toric varieties

It is known that the toric variety $X_\Sigma$ of a simplicial fan $\Sigma$ can be constructed as a quotient $$X_\Sigma = \bigl(\mathbb C^N \setminus V(B)\bigr)/G.$$ Here $N$ is the number of rays, ...
3
votes
2answers
179 views

Prove homotopic attaching maps give homotopy equivalent spaces by attaching a cell

Prove: If $f,g:S^{n-1} \to X$ are homotopic maps, then $X\sqcup_fD^n$ and $X\sqcup_gD^n$ are homotopy equivalent. I think it can be proved by showing they are both deformation retracts of ...
2
votes
0answers
51 views

Number of faces of a polytopal subdivision

Let $\mathcal{P}$ be a (bounded) polytope in $\mathbb{R}^d$ and let $\mathcal{C}$ be a polytopal subdivision of $\mathcal{P}$ [1]. Is there a known tight upper bound in the number of polytopes in ...
29
votes
2answers
669 views

Homology of cube with a twist

Take the quotient space of the cube $I^3$ obtained by identifying each square face with opposite square via the right handed screw motion consisting of a translation by 1 unit perpendicular to the ...
3
votes
2answers
377 views

Homotopy Question Help?

Let $X$ be a topological space and suppose $X_1$ and $X_2$ are spaces obtained by attaching an n-cell to $X$ via homotopic attaching maps. Show that $X_1$ and $X_2$ are homotopy equivalent. Proof: ...
7
votes
3answers
437 views

Homotopy equivalence of two different gluings of $B^n$ and an arbitrary space $X$

Let $f, g: S^{n-1} \to X$ be a pair of homotopic continuous maps. Let $X \cup_f B^n$ and $X \cup_g B^n$ be the respective adjunction spaces (pushouts of $B^n \hookleftarrow S^{n-1} \rightarrow X$). I ...
7
votes
2answers
355 views

Two spaces homotopy equivalent to eachother, attaching maps, Algebraic Topology.

I have a question regarding algebraic topology with which I was hoping someone could help me with. I've managed to show the following: If $f,g:S^{n-1} \to X$ are homotopic maps, then $X\sqcup_fD^n$ ...
3
votes
2answers
80 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
1answer
29 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
1answer
22 views

Group action and set define via their quotient topology open/closed equivalence relations

If we have a topological space $X$ and a subset $A \subset X$, we can define $X \backslash A$. My question is: Is it true that this equivalence relation is closed iff $A$ is closed as a subset of $X$ ...
-1
votes
0answers
24 views

$C_g \simeq SX$ and $C_h \simeq SY$ [closed]

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
68 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
41 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
55 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
71 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
137 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
34 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
74 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
117 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 ...