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

Prove that the quotient map $P:G \to G/H$ is a covering space.

Let $G$ be a topological group and $H$ is a subgroup of $G$. Suppose that the subspace topology on $H$ is the discrete topology. Prove that the quotient map $P:G \to G/H$ is a covering space. My ...
3
votes
0answers
46 views

quaternion vector bundle and quaternion grassmannian

Let $\mathbb{H}$ be quaternion numbers. Let $G_n(\mathbb{H}^\infty)$ be the grassmannian of $n$-subspaces of $\mathbb{H}^\infty$. Then ...
3
votes
0answers
72 views

Few questions about compactly generated Hausdorff spaces and Yoneda lemma.

It is a well known fact that in CGWH spaces we have following homeomorphism: $$\mathrm{map}(X \times Y,Z)\cong\mathrm{map}(X, \mathrm{map}(Y,Z)).$$ The proof starts like this: We are dealing with ...
3
votes
0answers
23 views

examples of k-invariants of spectra

The homotopy groups of commonly used topological spectra (like KO, S, MO, MSO, etc) are easy to find in literature, even appearing on Wikipedia's List of Cohomology Theories; however, I have had some ...
3
votes
0answers
52 views

How do I show that these two presentations are isomorphic?

I'm taking algebraic topology this year and my professor assigned a class an exercise, and he told that the exercise will be on a coming exam. The exercise is: Show that $(x,y|xyx=yxy)\cong ...
3
votes
0answers
34 views

Holomorphic $K$-theory

$K$-theory is traditionally defined for arbitrary compact Hausdorff spaces. If instead we require the base to be a complex manifold and work with only holomorphic vector bundles, in what ways would ...
3
votes
0answers
66 views

Definition of the triad homotopy groups

Let $ \ n \in \mathbb{N}$, $n \geqslant 2$. Equip $\mathbb{R}^n$ with the usual euclidean norm $ \ \Vert . \Vert : \mathbb{R}^n \to \mathbb{R}$, metric and topology. Consider $ \ p_0 = (1,0,0,...,0,0) ...
3
votes
0answers
57 views

Homology of stunted infinite real projective space

Consider the following composite based map $$f: S^2 \xrightarrow{\sim} RP^2/RP^1 \to RP^\infty/RP^1$$ induced by the inclusion of the real projective plane $RP^2$ into infinite real projective space ...
3
votes
0answers
63 views

About homotopy fiber at Hatcher's book

What is the meaning of the statement: In this case a map $(I^{i+1},∂I^{i+1},J^i) \to (B,A,x_0)$ is the same as a map $(I^i,∂I^i) \to (F_f, \gamma_0)$ where $\gamma_0$ is the constant path at ...
3
votes
0answers
45 views

Can one prove that $\Bbb{CP}^\infty$ is a $K(\Bbb Z, 2)$ without invoking the long exact sequence of a fibration?

In trying to remind myself why $\Bbb{CP}^\infty$ is a $K(\Bbb Z, 2)$, the natural argument that comes to mind is to take the long exact sequence associated to the fibration $S^1 \rightarrow S^\infty ...
3
votes
0answers
39 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
45 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
67 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
60 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
46 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
52 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
84 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
48 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
56 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
78 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
40 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
53 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
113 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
83 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
36 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
95 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
75 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
59 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
105 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
108 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
72 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
56 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
64 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
73 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
57 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
54 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
96 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
85 views

Can group cohomology be used to study fiber bundles?

Is (non-abelian) cohomology used to study vector and principal bundles? Can you give me a text or an article? For example: Consider a vector bundle $E$ with fiber $V$ and base manifold $M$. Consider ...
3
votes
0answers
142 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
49 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
337 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
94 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
47 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))$. ...