Questions about algebraic methods and invariants to study and classify topological spaces: homotopy groups, (co)-homology groups, fundamental groups, covering spaces, and beyond.

learn more… | top users | synonyms (1)

4
votes
0answers
134 views

The map $\lambda: H^*(\tilde{G}_n)\to H^*(\tilde{G}_{n-1})$ maps Pontryagin classes to Pontryagin classes; why?

In Milnor/Stasheff Characteristic classes on page 180 there is a statement (inside a proof) that I don't fully understand. Let $\tilde{G}_k$ be the oriented real grassmanian, $e$ its Euler class: ...
4
votes
0answers
102 views

Theory around the Cellular Sheaf

I have lately stumbled upon cellular (co)sheaves, which look very interesting. To understand them better, I would like references that systematically develop the theory behind them (preferably in ...
4
votes
0answers
96 views

Multiplicative structure in the cohomological Leray-Serre spectral sequence — please elucidate a proof

Let $\pi \colon X \to B$ be a fibration with $B$ a path-connected CW complex. Write $B^p$ for the $p$-th skeleton of $B$ and set: $X_p = \pi^{-1}(B^p)$, $F_p^m = \ker [H^m(X) \to H^m(X_{p-1})]$, ...
4
votes
0answers
178 views

A question on Hawaiian earring

Consider the Hawaiian earring. Suppose $f_n$'s are the loops representing the circles of radius $1/n$ centered at $(1/n, 0)$ for $n=1,2\cdots$. Suppose the following holds in the fundamental group $$\...
4
votes
0answers
82 views

Proof of the isomorphism $[X, \mathbb{R} P^\infty] \cong H^1(X; \mathbb{Z}/2).$

I want to prove the following: $[X, \mathbb{R} P^\infty] \cong H^1(X; \mathbb{Z}/2)$ via the map $[f] \mapsto f^* w_1(\gamma^1)$ where $\gamma^1$ denotes the tautological line bundle over $\mathbb{...
4
votes
0answers
154 views

Are all quotients of a weakly contractible space via a free group action classifying spaces of the group?

First of all, I don't want to restrict to any kind of "nice spaces" since I am interested in the most general situation. Especially I do not work in any "convenient" category of spaces. Wikipedia ...
4
votes
0answers
48 views

Inductively Constructing Chain Homotopies

Let $f,g:C_\bullet \rightarrow D_\bullet$ be chain maps. Let $T$ be a generator (possibly not the only one) of $C_n$ and assume $H_n(C)=0$. I'm trying to prove that for every $T$ there's a solution $z$...
4
votes
0answers
104 views

Kan's loop group construction

I'm looking for a good place to read about the loop group construction $G : \mathbf{sSet_0} \to \mathbf{sGrp}$ taking a reduced simplicial set $X$ and producing a simplicial group $GX$. I would also ...
4
votes
0answers
157 views

Smash and join products of spheres

How to prove rigorously that $\mathbb S^n \wedge \mathbb S^m =\mathbb S^{n+m}$ and $\mathbb S^n \ast \mathbb S^m = \mathbb S^{n+m+1}$? And what intuition should i have for compute $\wedge,\ast$ for ...
4
votes
0answers
166 views

Intuitive Approach to Sheaf and Cech Cohomology

Sheaf and Cech cohomology $H^*(X,\mathcal{F})$ (which give the same result when applied to good enough topological spaces) are a useful generalisation of the concepts of de Rham and Dolbeault ...
4
votes
0answers
56 views

representatives of $\pi_n(U(n))$

I know that $\pi_n(U(n)) \cong \mathbb{Z}$ for $n$ odd. I am looking for a description of an explicit map $S^n \rightarrow U(n)$ that represents the generator in this group. By precomposing with maps $...
4
votes
0answers
162 views

On the path-connectedness of $X_{i} \setminus X_{i-2}$

Suppose $X$ is an $n$-dimensional regular CW-space (a space with a regular CW decomposition). What are the weakest sufficient conditions required on $X$ to ensure that all regular CW decompositions $(...
4
votes
0answers
46 views

How to show that a leaf is topologically a cone.

I am trying to understand the topological behaviour of foliations around irreducible singularities, specially in the case of singularities in the Poincaré domain. I am using the third chapter of this ...
4
votes
0answers
68 views

Minimal resolutions of singularities in higher dimensions and their cobordism class.

For a given singular algebraic variety over $\mathbb{C}$, how many minimal resolutions can exist? More specifically, consider a projective quadratic cone $Q$ in $\mathbb{C}P^{4}$ (with homogeneous ...
4
votes
0answers
101 views

cohomology of finite dimensional grassmannians

What is the cohomology algebra of finite dimensional grassmannian $$ H^*(G_k(\mathbb{R}^N);\mathbb{Z}_2)? $$ $$ H^*(G_k(\mathbb{C}^N);\mathbb{Z}_p)? $$ $$ H^*(G_k(\mathbb{H}^N);\mathbb{Z}_p)? $$ I ...
4
votes
0answers
228 views

The unit square has dimension two?

Show that the Lebesgue Covering Dimension of the unit square $I^2$ with $I=[0,1]$ is two. I know that a compact subset of Euclidean space $\Bbb R^n$ has Lebesgue dimension at most $n$. So it ...
4
votes
0answers
40 views

pontriyagin class of quaternionic vector bundle

Let $\xi^{\mathbb{H}}$ be a quaternionic vector bundle over $X$. How to define the Pontriyagin class of $\xi^{\mathbb{H}}$ efficiently? Of course we can let $(\xi^{\mathbb{H}})_{\mathbb{R}}$ be the ...
4
votes
0answers
128 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 ...
4
votes
0answers
82 views

Algebraic approach to topological equivalence of dynamical systems

For continuous dynamical systems there is a notion called topological conjugacy or (somewhat weaker) topological equivalence. I gather that equivalence sends fixed points to fixed points and limit ...
4
votes
0answers
57 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 ...
4
votes
0answers
147 views

De Rham Cohomology is Sheaf Cohomology

I'm trying to prove that de Rham cohomology computes the cohomology of the constant sheaf $\mathbb{R}$ of real valued smooth functions on a manifold. I would like to do this without using Čech ...
4
votes
0answers
138 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) ...
4
votes
0answers
161 views

Standard spaces with non-standard topology and around

The following series of questions gives me no rest. Let $\mathbb{\widetilde{R}}^n$ be $\mathbb{R}^n$ with Zariski topology, i.e. we say that $A\subset \mathbb{R}^n$ is closed if it is given by the ...
4
votes
0answers
54 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 ...
4
votes
0answers
198 views

Higher homotopy groups: Basepoint independence.

Let $f,g: [0,1]^n=I^n \rightarrow X$ be contiuous maps s.t. $f(\partial I^n)=g(\partial I^n)=x_1$. If $\gamma:I \rightarrow X$ is a path joining $x_0$ and $x_1$ $\big(\gamma(0)=x_0,\gamma(1)=x_1\big)$....
4
votes
0answers
87 views

Surgery and Euler Characteristic

I am trying to find out how a $(p,n-p)$ surgery affects the Euler Characteristic of an orientable, $n-$ dimensional, compact manifold. Call the initial manifold $M$ and the post-op manifold $M'$. This ...
4
votes
0answers
122 views

A question on fixed point property

Assume that $0<k<n-1$, Note that $\mathbb{C}P^{k}$ can be considered as a closed subset of $\mathbb{C}P^{n}$, in a natural way. We collapse $\mathbb{C}P^{k}$ to a point. The resulting space is ...
4
votes
0answers
154 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 } f(...
4
votes
0answers
149 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
110 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
186 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 ...
4
votes
0answers
51 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?
4
votes
0answers
38 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
99 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 ...
4
votes
0answers
87 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
68 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))$. ...
4
votes
0answers
128 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 $\mathrm{Hom}_\...
4
votes
0answers
81 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 $f^*:H^...
4
votes
0answers
45 views

isomorphic cohomology rings for the spaces $(S^1 \times \mathbb{C}P^{\infty})/(S^1 \times *)$ and $(S^3 \times \mathbb{C}P^{\infty})$

I need to show that the spaces $(S^1 \times \mathbb{C}P^{\infty})/(S^1 \times *)$ and $(S^3 \times \mathbb{C}P^{\infty})$ have isomorphic cohomology rings. any ideas ..... thanx!
4
votes
0answers
57 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 \...
4
votes
0answers
67 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 n-...
4
votes
0answers
237 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
770 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 ...
4
votes
0answers
104 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
149 views

Reference request: generalized Lefschetz-Hopf fixed point theorem

Let $X$ be a smooth projective variety over $\mathbb{F}_p$. A basic (and very important) theorem is that we have equality $$ \# X(\mathbb{F}_{p^n}) = \sum_{i=0}^{2\dim X} (1)^i \operatorname{tr}({\...
4
votes
0answers
75 views

What is a $c_1$-map for Riemann-Roch theorems?

Atiyah and Hirzebruch define a $c_1$-map to spell out Riemann-Roch theorem for (compact and connected) smooth manifolds. The definition is following: a map $f:Y \to X$ is called a $c_1$-map if we are ...
4
votes
0answers
82 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
47 views

How to give the coproduct of differential graded algebras explicitly?

Let $X$ and $Y$ be based spaces such that their respective loop spaces $\Omega X$ and $\Omega Y$ are connected. In the first paragraph of this article by Dula and Katz, it is given that $H_*(\Omega(X\...
4
votes
0answers
330 views

Leray-Hirsch theorem

I'am studying the book "Bott, Tu Differential forms in algebraic topology." I don't understand the proof of Leray-Hirsch theorem via Cech-de Rham complex. Lets consider some bundle $\pi: E \mapsto M$...
4
votes
0answers
200 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 ...