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
37 views

Group bundle over a topological space

Suppose $p:\tilde X\rightarrow X$ is the universal cover of $X$. Take $G$ a group where $\pi_1(X,x)$ acts by isomorphisms. I read that if we consider $X\times G$ ($G$ with the discrete topology) and ...
3
votes
0answers
44 views

Cycles non-homologous but with the same winding number at each point outside?

Problem (Fulton's Algebraic Topology: A First Course, Problem 6.28) Can we find a closed set $X\subseteq\mathbb R^2$, such that there's a cycle $\gamma$ in $X$ not homologous to zero but for each ...
3
votes
0answers
66 views

Brief summary of simplicial, CW and manifold notions

I tried to summarize the relations between the following notions of: a manifold (smooth, topological and PL), simpilicial complex, CW complex. However I found some inconsistencies, which may be not a ...
3
votes
0answers
77 views

Fundamental group of 7-gon with labelling scheme $abaaab^{-1}a^{-1}$

I want to calculate the fundamental group of of a $7$-gon with labelling scheme $abaaab^{-1}a^{-1}$. I will call the quotient space $X$ with reference point $x_0$. This is what I tried: If you have ...
3
votes
0answers
58 views

Is there fundamental group “with coefficients”

Constructing fundamental group in usual way, one uses $I=[0,1] \in \mathbb R$, so uses real numbers, and gets a group classifying coverings for nice spaces: locally connectible and so on, in fact ...
3
votes
0answers
45 views

Homology of non-singular projective algebraic variety

I am unsure whether or not the following claim is true or false and whether or not my proof works or not: Claim: Let $V \subset \mathbb{C}P^n$ be a complex $k$-dimensional, non-singular, projective ...
3
votes
0answers
51 views

Higher homotopy groups

Theorem 5.1 of this paper describes a map $K_n(R)\to \pi_{n+1}(SK(E(R),1))$, where $S$ denotes the suspension. My question: Do we have a map from $K_n(R)\to \pi_{n+1}(S^2K(E(R),1))$. Any reference is ...
3
votes
0answers
77 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 ...
3
votes
0answers
41 views

$\pi_0$ of $M(2) \wedge M(2)$

My motivation is trying to understand Tom Goodwillie's argument here: http://mathoverflow.net/questions/87919/difficulties-with-the-mod-2-moore-spectrum and the only thing I don't get is why ...
3
votes
0answers
47 views

Coboundary map problem

I have to show that if $A$ and $B$ are compact connected subsets in the plane such that $A\cap B$ is not connected (and not empty), then $\Bbb R^2\setminus(A\cup B)$ is not connected. The tool I must ...
3
votes
0answers
54 views

When is a graded ring the cohomology ring of a CW-complex?

Let $A^*$ be a graded-commutative ring with $A^n = 0$ for sufficiently large $n$ and each $A^n$ finitely generated. When does there exist a finite CW-complex $X$ with $H^*(X) \cong A$ as graded rings? ...
3
votes
0answers
74 views

De Rahm Cohomology of Complex Grassmannian

Since the complex Grassmannian $G_k(\mathbb{C}^n)\cong SU(n)/S(U(k)\times U(n-k))$ is connected and simply connected, the first two de Rahm cohomology groups are given by $$ ...
3
votes
0answers
35 views

Comparison between Eilenberg-Steenrod excision and Brown representability excisive

One of the Eilenberg-Steenrod axioms for unreduced cohomology is excision, which states that $H^n(X,A)\cong H^n(X\setminus U,A\setminus U)$, for good subspaces such as when $\overset{\circ}U\subseteq ...
3
votes
0answers
52 views

Why are homotopy spheres spin-cobordant in dimensions divisible by 4?

Manifolds are assumed to be smooth having dimensions $\geq5$. As usual, $\Omega^{Spin}_{*}$ denotes the spin bordism ring and $\Omega^{SO}_{*}$ the oriented bordism ring. Let $\Sigma^n$ be a closed ...
3
votes
0answers
25 views

Has there been work on computational group theory applications to computing colimits of crosses n-cubes of groups?

I'm trying to compute homotopy groups of a few spaces using crossed n-cubes of groups. I'm able to describe a few colimits in terms of quotients of induced crossed modules and nonabelian tensor ...
3
votes
0answers
62 views

Minimum regularity Of Stoke's theorem to hold in smooth manifold.

Stokes’ Theorem on Manifolds is often express as follows: Given a differential m-form $\omega$ whose support is the $C^{\infty}$ $m$-dimensional compact manifold ${\cal{M}}$ with boundary ...
3
votes
0answers
102 views

Reduction of structure group of real vector bundles

I'm trying to show that the structure group of real vector bundles can be reduced to the orthogonal group. This is an exercise in Differential Forms in Algebraic Topology by Bott and Tu. The book ...
3
votes
0answers
81 views

Winding number and homotopy

Given two maps $f,g : S^1 \rightarrow S^1$, I want to show that if they have the same winding number, then there is a homotopy between them. Well, we know that we can write them as $f(\exp(2 \pi i ...
3
votes
0answers
31 views

Generalisation of Adams spectral sequence to triangulated categories

We have the Adams SS with $$ E_2^{p,q} = Ext^{p,q} _{E^*(E)}([S,E],[S,E]) $$ where $E$ is the Eilenberg-Maclane Spectrum yielding $\mathbb{Z}/p$ coefficients. I was wondering if there is a SS for ...
3
votes
0answers
35 views

third quandle homology group $H_3^Q(R_3;\mathbb{Z}) \cong \mathbb{Z}_3$

It is known that the third quandle homology group $H_3^Q(R_3;\mathbb{Z}) \cong \mathbb{Z}_3$. Each colouring $C$ of a knot diagram by a dihederal quandle $R_3$ induces a homomorphism $f:C \rightarrow ...
3
votes
0answers
90 views

Comparing the torus and a small wedge product, and their universal coverings

I have the following problem: Let $A = S^1 \times S^1$ and $B = S^1 \vee S^1 \vee S^2$. Compute their universal coverings. Prove that $A$ and $B$ have isomorphic homology groups for any $n \in ...
3
votes
0answers
71 views

The vanishing (?) cohomology of the Milnor fiber

Setup. Say we have a germ of a holomorphic function $f:(\mathbb C^{n+1},0)\to (\mathbb C,0)$ with a critical point at the origin. There is an $\epsilon>0$ small enough so that $f$ becomes a ...
3
votes
0answers
45 views

Are 4-dimensional mapping tori always spin?

We know that all compact orientable manifolds of dimension 3 are spin. In 4 dimensions, $CP^2$ is not spin. I would like to ask if all 4-dimensional compact orientable mapping tori are spin?
3
votes
0answers
50 views

The Morse complex of a manifold with boundary

For a smooth manifold with boundary $M$ and $\partial M = V_+ \cup V_-$ two disjoint sets of boundary components, one usually defines the Morse complex of $M$ using a Morse-Smale pair $(f,X)$ such ...
3
votes
0answers
56 views

“Naive” smash products for spectra

Suppose I work in the completeley naive homotopy category of spectra, by which I mean sequences $E = (E_n)_{n = 0, 1, \dots}$ together with maps $\sigma_{E,n}: S^1 \wedge E_n \to E_{n+1}.$ We might ...
3
votes
0answers
99 views

Does the pullback of a covering space correspond to the pullback of the corresponding representation of $\pi_1$?

In other words, suppose you have a degree $n$ covering space $C\rightarrow X$ corresponding to some (equivalence class of) representation $\pi_1(X)\rightarrow S_n$. Suppose you have any continuous map ...
3
votes
0answers
95 views

Cross product of cohomology classes: intuition

Let $X$ and $Y$ be topological spaces and consider cohomology over a ring $R.$ Hatcher (in his standard Algebraic Topology text) defines the cross product of cohomology classes $$H^k(X) \times ...
3
votes
0answers
68 views

does the pullback of a covering space correspond to the pullback of the corresponding representations of $\pi_1$?

Say you have a covering space $C \rightarrow X$ corresponding to some homomorphism $\pi_1(X)\rightarrow S_n$. Suppose you have an arbitrary (continuous) map $f : Y\rightarrow X$. Then we may pull back ...
3
votes
0answers
55 views

Singular cohomology with compact support

If $X$ is a locally compact Hausdorff space, then for any $n \geq0$ is $H_c^n(X) \cong {\tilde H^n}({X^ + })$? ($H_c^n(X)$ is the Singular cohomology with compact support and $X^+$ is the one-point ...
3
votes
0answers
63 views

John Hempel's proof of residual finiteness of surface groups

John Hempel proved that fundamental groups of $2$-manifolds are residually finite. I want to understand this proof so I have some questions: Why if we have $S(f)=\emptyset$ then $f$ represents ...
3
votes
0answers
71 views

homomorphism of fundamental groups induced by a map of two surfaces

I am trying to find another proof of the following theorem Theorem Let $X$ and $Y$ be two compact surfaces of genus greater than $2$. Then every homomorphism $π_1(X,x_0)→π_1(Y,y_0)$ is induced by a ...
3
votes
0answers
56 views

Can injective and projective model structures be the same ?

Is there a non trivial example where injective and projective model structures coincide ? By non trivial I mean an example of a functor category on a non discrete base category where I guess ...
3
votes
0answers
53 views

Path-homotopic definition.

Given two paths $f,g: [0,1] \mapsto X $ Then their product is defined by $f\cdot g := \begin{cases} f(2t) , \space 0\leq t \leq \frac{1}{2}\\ g(2t-1) ,\space \frac{1}{2} \leq t \leq 1\\ \end{cases} ...
3
votes
0answers
93 views

A group-like topological monoid is a loop space

I am looking for an elementary reference for the following fact. Let $M$ be a topological monoid and suppose moreover that it is group-like, ie. $\pi_{0}(M)$ is a group. Then the canonical map $M ...
3
votes
0answers
141 views

Adjointness of homological and cohomological transfer maps

Suppose $p: \tilde X \to X$ is a normal covering space with deck group $\Gamma$. Then there are transfer maps $$ \tau^*: H^*(\tilde X, \mathbb Q) \to H^*(X, \mathbb Q) $$ and $$ \tau_*: H_*(X,\mathbb ...
3
votes
0answers
47 views

Reference request: where can I find illustrative, concrete examples of the use of the Eilenberg–Moore spectral sequence?

Pursuant to advice at When does cohomology take pullbacks to pushouts?, I tried to use the Eilenberg–Moore spectral sequence in the simplest conceivable example, for the Hopf bundle $S^3 \to ...
3
votes
0answers
322 views

Are Infinite Simplicial Complexes Hausdorff?

This is my definition of an Infinite Simplicial Complex: Let $V$ be an (infinite) set. Let $\Sigma$ be a collection of finite nonempty subsets of $V$ such that: $$ \forall v \in V \space \space ...
3
votes
0answers
92 views

Integral Homology of $BU$

We know that the integral cohomology of $BU$, $H^*(BU) = Z[c_1,c_2,...]$ where $|c_i| = 2i$ is the $i$th Chern class, with coproduct $\Delta c_i = \Sigma c_j\otimes c_{i-j}$. And at almost ...
3
votes
0answers
45 views

map to product of eilenberg-maclane spaces

Given a space $X$, and an Eilenberg-MacLane space $K(G,n)$ (hereafter referred to as $K$), and two maps $f: X \to K$ and $g:X \to K$, let $f \times g:X \to K \times K$ map $x \in X$ to $(f(x),g(x))$. ...
3
votes
0answers
37 views

Is a sufficiently nice simple curve which is nulhomotopic the boundary of a surface?

This is a follow up to Is a simple curve which is nulhomotopic the boundary of a surface?. There, I asked whether, given a simple curve $C$ in an open subset $U$ of $\mathbb R^3$ which is nulhomotopic ...
3
votes
0answers
42 views

Total space of a geometric vector bundle

Suppose that $X$ is a scheme with a $B$-action, and that $\lambda: B \to \mathbb{C}^*$ is a character of $B$. We then have a geometric vector bundle $\pi: X \times^B k \to X/B$, where $B$ acts on $X ...
3
votes
0answers
51 views

differential forms on covering spaces

I seem to be under the impression that if $p:A \to B$ is a regular covering (of smooth manifolds) with $\alpha\in \Omega^k(A)$; there exists $b\in \Omega^k(B)$ such that $\alpha= p^*\beta$ if and only ...
3
votes
0answers
408 views

Fundamental group of CW-Complex only depends on 2-Skeleton

I was just about to write down my answer to an exercise in algebraic topology and I wanted to use the fact that $\pi_1 (X)$ only depends on the $2$-Skeleton of $X$ for any $CW$-Complex $X$. I am very ...
3
votes
0answers
114 views

Classification of circle bundles over a 2-manifold with boundary

I want to understand and try to give a proof of the following claim: Let $B$ be a compact, connected topological $2$-manifold (surface) with nonempty boundary, then the $S^1$-bundles over $B$ with ...
3
votes
0answers
87 views

Homological Interpretation of the intersection number

Let $M^r$ and $N^s$ be smooth submanifolds of the smooth manifold $V^{r+s}$ and $M,N,V$ compact, connected and orientable. The Thom-Isomorphism together with the Tubular Neighbourhood Theorem gives me ...
3
votes
0answers
98 views

Conditions for a Topological space to be a Spectrum

I'm looking for conditions for a topological space $X$ to be a Spectrum. A topological space $X$ is a spectrum if it can be delooped infinitely (more accurately, «double-infinitely»). Some ...
3
votes
0answers
79 views

Homotopy versus path-homotopy on punctured surface

I have some problems with homotopies. The situation is this: Let $X$ be a surface, which is homeomorphic to a 2-Sphere with a finite number (at least 3) of points removed (equivalently, an open ...
3
votes
0answers
176 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 ...
3
votes
0answers
162 views

Is such an infinite dimensional metric space, weakly contractible?

We counteract this answer by adding the rigidity assumption: Is there still a counterexample? Let $(X_{n},d_{n})_{n \in \mathbb{N}}$ be a sequence of complete geodesic metric spaces such that: ...
3
votes
0answers
58 views

how to obtain a generalized Morse function out of a fiber bundle?

Let $M\to E\to B$ be a smooth fiber bundle. In "Parametrized Morse Theory and Its Applications,(Proceedings of the ICM, 1990)", K. Igusa says that if dim $B$$<$dim $M$, then, there exists a smooth ...