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)

4
votes
0answers
62 views

Holomorphically simply connected implies simply connected

In my book on complex analysis a "Holomorphically simply connected" set is defined as a set where for any holomorphic function $f $ and any closed path $\gamma _1 $ we have that $\int_{\gamma _1 } ...
4
votes
0answers
73 views

Contractible Subspace and Homotopy Equivalence

It is known that if pair $(X,A)$ has the homotopy extension property and $A$ is contractible, then the quotient map $q:X\to X/A$ is a homotopy equivalence. I am wondering what if the homotopy ...
4
votes
0answers
77 views

Generalizing the Hopf invariant to arbitrary manifolds

I recently ran across a qual question about a generalization the Hopf invariant to smooth maps $f: M^{4n-1} \to N^{2n}$ between arbitrary closed connected oriented manifolds of the indicated ...
4
votes
0answers
54 views

Does $\pi_0$ commute with sequential colimits?

I'm looking for an example of a sequence of topological spaces $Y_1 \rightarrow Y_2 \rightarrow \cdots$ such that the induced map $$ \text{colim}\, \pi_0(Y_i) \rightarrow \pi_0 (\text{colim}\, Y_i) $$ ...
4
votes
0answers
65 views

what is the homology groups some quotient space of torus

what is the homology group for The quotient space of $S^1 \times S^1$ obtained by identifying points in the circle $S1 \times\{x_0\} $ that differ by $\frac{2 \pi}{m}$ rotation and identifying points ...
4
votes
0answers
31 views

Isomorphism of the etale fundamental group

Given a birational proper morphism $f\colon X \rightarrow Y$ of complex algebraic varieties. It is always true that $f^* \colon \pi^{et}_1 (X)\rightarrow \pi^{et}_1(Y)$ is an isomorphism? I think ...
4
votes
0answers
54 views

Fiber Bundle of Manifolds

I want to show the following: Let $E \rightarrow B$ be a fiber bundle with fiber $F$. Show that if $B$ and $F$ are manifolds, then so is $E$. Solving this problem seems easy enough simply by ...
4
votes
0answers
44 views

Reference about history of characteristic classes

I'm looking for a good reference about history of characteristic classes. For example, I would like to know how Chern define the Chern class at first in history, or who rewrote the characteristic ...
4
votes
0answers
98 views

A question about the universal coefficient theorem.

Or rather a couple of questions. Let $X$ be some topological space, $R$ be a (unital) PID and $G$ be an $R$-module. Am I correct in understanding that the singular cochain complexes ...
4
votes
0answers
42 views

Group structure on pointed homotopy classes [X,S^1]

Let $[X,S^1]$ denote the set of pointed homotopy classes of maps $f:X\to S^1$. I need to show that, when $S^1$ is viewed as a subset of $\mathbb{C}$, complex multiplication induces a group structure ...
4
votes
0answers
47 views

what can you say about the degree of $f:\mathbb{C}P^n \to \mathbb{C}P^n$

Any thoughts on this problem: If $M$ and $N$ are simply-connected, $n$-dimensional manifolds, then $H^n(M;\mathbb{Z}) \cong \mathbb{Z} \cong H^n(N;\mathbb{Z})$. A map $f:M \to N$ induces a map ...
4
votes
0answers
142 views

Difficulty of exercises in several books

Since I am teaching myself, I have no idea of the difficulties of exercises in many books. I want to know whether I am not understanding the content of these books if I cannot easily solve the ...
4
votes
0answers
51 views

Original proof of the Invariance of Domain Theorem (in English)?

Does anyone know where I can find a translation of the original proof of the Invariance of Domain Theorem in English? Wikipedia cites the original proof to be in: Beweis der Invarianz des ...
4
votes
0answers
140 views

is the image of a polynomial map contractible?

I asked this in MSE http://math.stackexchange.com/questions/643348/is-the-image-of-a-polynomial-map-contractible and got no response. Either it's a silly question or I posted it under the wrong ...
4
votes
0answers
146 views

Constructing $\pi_1$ actions on higher homotopy groups.

I am working on exercise 4.2.7 of Hatcher, which is to construct a CW complex $X$ with arbitrary homotopy groups and a prescribed action of the fundamental group on these homotopy groups (so making ...
4
votes
0answers
160 views

Relationship between paradoxes in logic and geometry/topology

Though I've been reading for years, this is my first question here. Believe it or not, I've tried the search feature- apologies if this is a duplicate. The main point of this post can be summarized ...
4
votes
0answers
75 views

Homotopic maps to $S^n$

I'm working through a proof that, given an oriented compact (connected) $n$-manifold $M$ with boundary, any two continuous maps $f,g:M\to S^n$ are homotopic. The proof uses the double of $M$, which is ...
4
votes
0answers
80 views

Products of homology groups

In the topology course I attend we work with the following, rather unusual definition of homology groups: For topological spaces $X,Y$ define the presheaf $\mathcal{F}_Y$ on $X$ as follows: Let ...
4
votes
0answers
80 views

CW structure on infinite products

There is a standard CW-topology on the finite product $X\times Y$ of CW-complexes $X$ and $Y$. Is there a standard CW-topology on an infinte prodcut $\prod_{n=1}^{\infty}X_{n}$ of CW-complexes? With ...
4
votes
0answers
127 views

Functors that are the homology of a chain complex

Is there an a priori reason why the singular homology and cohomology groups of a space should be computable as the homology of chain complexes? Certainly you can express any family of functors (say, ...
4
votes
0answers
62 views

Understanding J homomorphism

I was trying to understand J homomorphism $J:\pi_r(SO(q)\rightarrow \pi_{r+q}(S^q)$from the Wikipedia page http://en.wikipedia.org/wiki/J-homomorphism. It's clear that an element of $\pi_r(SO(q)$ ...
4
votes
0answers
71 views

$S^{2n}$ is the universal cover of $B$, what is $\pi_1(B)$.

Some students and I have tried to solve this problem in the following ways: Using degree theory and results about deck transformations. Using that $S^{2n}$ is the covering space of ...
4
votes
0answers
151 views

Simplicial homology for n-simplex

I've just started to study homology theory. And I'm trying to calculate all $H_n(\Delta_N)$ for some $N$. I know that the number of $m$-simplex in $N$-simlex is $b_{N,m}={N+1 \choose ...
4
votes
0answers
63 views

Does an equivariant weak equivalence induce weak equivalences on all orbits?

This question arose from another, which was not well formulated and completely answered by this MO thread as pointed out by the user roman. Let $G$ be a discrete group, $X$ and $Y$ be $G$-spaces (and ...
4
votes
0answers
159 views

Cohomology of the pullback of a fiber bundle over the torus (generalised Eilenberg-Moore spectral sequence?)

I've found myself in the following situation and the tools that have been suggested to me to calculate the necessary invariants don't quite seem up to the job (I may be wrong in this as I have very ...
4
votes
0answers
61 views

$J$-homomorphism and homotopy

We have Bott periodicity theorem for unitary group $U(n)$: $$ \pi_{i-1}^{s}(U) = \pi_{i-1}(U(m)) \simeq \pi_{i}(Gr_m(\mathbb{C}^{2m})) \simeq \pi_{i+1}(SU(2m)) \simeq \pi_{i+1}^{s}(U) .$$ So we can ...
4
votes
0answers
58 views

Which is harder to compute: $\pi_{n+k}$ or $\Omega^{fr}_n$?

Denote the $n+k$-th homotopy group of $S^n$ by $\pi_{n+k}(S^n)$ and the group of framed cobordism classes by $\Omega_n^{fr}(S^k)$. A central problem of algebraic topology is to compute $\pi_i(S^j)$ ...
4
votes
0answers
94 views

Perverse sheaves (or D-modules) on vector spaces, constructible with respect to a hyperplane arrangement

Let $V$ be a finite dimensional complex vector space and let $\mathcal{A}$ be a finite collection of hyperplanes in $V$. Stratify $V$ by the intersections of elements of $\mathcal{A}$, and consider ...
4
votes
0answers
134 views

algebraic or homotopical proof for Kakutani fixed point theorem

As Kakutani fixed point theorem is a genral case of Brouwer fixed point theorem, and one can read the proof from homotopy theory books. I wonder if there is any proof for the Kakutani using homotopy ...
4
votes
0answers
99 views

The classifying space of a gauge group

Let $G$ be a Lie group and $P \to M$ a principal $G$-bundle over a closed Riemann surface. The gauge group $\mathcal{G}$ is defined by $$\mathcal{G}=\lbrace f : P \to G \mid f(p \cdot g) = ...
4
votes
0answers
143 views

Show that $f$ is a homeomorphism of $X$ onto $f(X)$

I am having trouble on the following question. Some help would be much appreciated. Let $X$ be a Hausdorff space and let $f: X \rightarrow \mathbb{R}^n$ be a proper injective continuous function. ...
4
votes
0answers
197 views

Show that degree of constant map is zero

Let $f \colon S^n \to S^n$ be a constant map, $n > 0$. I want to show that $\deg f = 0$. I will do it by definition. Let $\sum_k g_k \sigma^n_k$ be a singular chain, $g_k \in \mathbb{Z}$, ...
4
votes
0answers
135 views

Calculating H_0 directly from Eilenberg-Steenrod axioms

It's well-known that every homology theory satisfying Eilenberg-Steenrod axioms is isomorphic to singular homology. I tried to perform some homology calculations directly from axioms but couldn't do ...
4
votes
0answers
201 views

Algebraic Morse theory

In 2005, prof. Emil Skoldberg developed a theory, similar to Forman's Discrete Morse Theory, but suited for arbitrary based chain complexes, in his Morse Theory from an algebraic viewpoint. I'm going ...
4
votes
0answers
68 views

How to use the Prontrjagin-Thom construction to obtain the Gysin map?

I need help to understand the diagram in Miller's script Vector Fields on Spheres, etc. Chapter 23, p.82 on the bottom of the page. Before, Miller introduces the Prontrjagin-Thom construction: It is ...
4
votes
0answers
62 views

Computing number of path components.

Let $H \subset \mathbb{R}^n$ be a closed subset homeomorphic to $\mathbb{R}^{n - 1}$. Could you give me an idea of how to prove that $\mathbb{R}^n - H$ has exactly two path components. I am expecting ...
4
votes
0answers
523 views

Fundamental group of an orientable surface of infinite genus.

I am trying to calculate the fundamental group of an orientable surface $X$ of countably infinite genus. The $1$-skeleton $Y$ of $X$ is infinite wedge of circles, so its fundamental group is free ...
4
votes
0answers
121 views

Transforming the Dirac Operator on $S^1$

My goal is to understand as much as I can about the Dirac operator on $S^1$ where we give $S^1$ the spin structure given by the connected double cover of the frame bundle. The spinor bundle on $S^1$ ...
4
votes
0answers
307 views

Fundamental group of the complement of Borromean rings

I got a homework asking me to show the fundamental group of the complement of the Borromean rings (say, $R^3/B$) I know there should be three generators, but I had a hard time to find the relations; I ...
4
votes
0answers
74 views

Contractible and Compact space can be contained in an open set after time $t_0$?

$X$ is a topological space that is contractible and compact. Show that if $U$ is an open set in $X$ containing $x_0$ then there exists $t_0<1$ so that $H(x,t)∈U$, for all $x∈X$, and all $t_0≤t≤1$. ...
4
votes
0answers
72 views

homotopy type of the closure of a subset

Let $X$ be a topological space and $N$ a subset of $X$. Is it true that the closure of $N$ in $X$ is homotopy equivalent to $N$. I think it is not. take for example $N=\mathbb Q\subset \mathbb ...
4
votes
0answers
186 views

Homology and Homotopy group

$E, F, B$ are topological space, $B$ path connected. If we have given a long exact sequence.. $$\cdots\to \pi_1(F)\to \pi_1(E)\to \pi_1(B)\to\cdots$$ what will the relationship of $H_1(F,\mathbb R)$, ...
4
votes
0answers
211 views

Morse theory and homology of an algebraic surface (example)

Let $T_n$ denote the $n$-th Chebyshev polynomial and define $f_n(x,y,z)\!:=\!T_n(x)\!+\!T_n(y)\!+\!T_n(z)$ and $$Z_n:=\mathcal{Z}(f_n) \subseteq \mathbb{R}^3,$$ the Bachoff-Chmutov surface, where in ...
4
votes
0answers
99 views

Dixmier-Douady class: computations

As far as I know, Dixmier-Douady classes represent obstrucions to spin$^c$ structures. Questions: Could somebody prove or give a reference: manifolds of dimension lower than $5$ always have a ...
4
votes
0answers
74 views

Coboundary of Thom class and Thom class of boundary

In Griffiths and Morgan's book "Rational Homotopy Theory and differential forms", pages 154-158, they give an example of a computation in de Rham cohomology of the minimal model of a DGA using Massey ...
4
votes
0answers
562 views

Torsion in homology groups of a topological space

It seems as though "nice" spaces don't have torsion in their homology groups. What is the underlying characteristic of these nice spaces; that they can be embedded in $\mathbb{R}^3$? So what are some ...
4
votes
0answers
1k views

Torus as double cover of the Klein bottle

Reading through some lecture notes and it says The torus $T^2$ is the orientation double cover of the Klein bottle $K$, via the covering projection $p:T^2\to K; [x,y]\mapsto [x,2y]$ Could someone ...
4
votes
0answers
199 views

Characteristic Class exercises

I tagged this as "homework" because my supervisor told me I need to be better at computing characteristic classes. The classic examples I can think of are tangent bundles and tautological line ...
4
votes
0answers
111 views

Why is $\pi_2(S^1 \vee S^2)$ not finitely generated?

This is an exercise following a discussion of fibrations. preceding that there was a discussion of cofibrations and the long exact sequence of homotopy groups of a pair. Any hints would be greatly ...
4
votes
0answers
139 views

Can the disk bundle associated to a vector bundle over a finite CW-complex be obtained by attaching cells?

Let $V$ be a vector bundle (with a chosen metric) over a finite CW-complex $X$ and $B(V), S(V)$ the associated (unit) disk resp. sphere bundles. In the paper Clifford-Modules the authors remark that ...