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)

5
votes
0answers
110 views

Fundamental group of the complement of a linear subspace

Let $m<n-1$ be two positive integers. Consider $\mathbb{R}^m$ as a subspace of $\mathbb{R}^n$ via $\mathbb{R}^m\times \{(0,0,...0)\}$. Any suggestions on how to compute ...
5
votes
0answers
308 views

Definition of Cobordism

I am currently trying to read Quillen's Cobordism paper - On the formal group laws of unoriented and complex cobordism theory Bull. Amer. Math. Soc, 75 (1969) pp. 1293–1298. Still on the first page ...
5
votes
0answers
283 views

Steenrod Algebra - Converting between Milnor to Serre-Cartan basis'

I have been studying the mod 2 Steenrod Algebra (denoted $\mathcal{A}$), using Mosher & Tangora. We have the Serre-Cartan (or Adem basis): Let $I = \{i_1,i_2,\ldots,i_n\}$ be a sequence of ...
5
votes
0answers
199 views

Properties of Surgery on Manifolds?

I am trying to give a brief explanation in which I make use of the concept of surgery on an $m$-manifold $M$. This is along the lines of (and taken generously from) the Wikipedia entry on Surgery; ...
5
votes
0answers
210 views

Smith normal form of graded modules. (Major edit)

Ok, this is a major rewriting of my previous entry which no one answered. Let us have two graded $F[t]$-modules M and N with bases $m_1, \ldots, m_m$ and $n_1, \ldots, n_n$, respectively, and $F$ is ...
5
votes
0answers
160 views

Invariance of Wall's self-intersection under the regular homotopy

For an immersion $f\colon N^n\to M^{2n}$ with fixed lift $\tilde{f}\colon N\to \tilde{M}$ and $N,M,\tilde{M}$ are oriented, first we define a unordered double point set $S_2[f]=\lbrace(x_1,x_2)\in ...
5
votes
0answers
351 views

Chain map inducing isomorphism in homology

If $X$ is a CW complex, show that there is a chain map $W_*(X) \to S_*(X)$ inducing isomorphisms in homology. Here $W_p(X) = H_p(X^p,X^{p-1})$ Let $E$ be the CW decomposition of $X$ and let $M$ ...
5
votes
0answers
426 views

Is every CW complex homotopic to a Delta-Complex?

Both answers to this question seem equally reasonable to me. If the answer is positive, I have no idea what the construction of such a space would look like.... If the answer is negative, I assume ...
4
votes
0answers
51 views

Does naturality for characteristic classes imply the classifying space is universal for them?

Let $G$ be a Lie group, $\mathfrak g$ its Lie algebra, $K$ its maximal compact subgroup. To every flat $G$-bundle $P$ over a smooth manifold $M$ I can associate a homomorphism $w_P: H^*(\mathfrak g, ...
4
votes
0answers
85 views

Textbook on infinite loop spaces

I'm looking for a good update reference covering the material in first three chapters of "Adams, Infinite loop spaces" (specially construction of delooping functors and group completion) with exact ...
4
votes
0answers
62 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 ...
4
votes
0answers
95 views

Yoneda-type lemma for compositions on the hom-functor

The Yoneda lemma basically rephrases a rigidity property of natural transformations out of a covariant hom functor: A natural transformation $\psi : \mathsf{Hom}(Z,-)\Rightarrow F$ is determined by ...
4
votes
0answers
113 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
22 views

Covering space of surface of infinite genus

Let $X$ be a surface of infinite genus that is not compact (with edges extending to infinity). How would I show that this is a covering space of the 2-torus $T^{1}\# T^{1}$ via the action of the free ...
4
votes
0answers
42 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 ...
4
votes
0answers
66 views

a subspace of $\mathbb R^3$ with $\pi_1=\mathbb Z_2$

I've been wondering about such problems. It is well known that $\mathbb{RP}^2$ cannot be realized as a subspace of $\mathbb R^3$. But does there exist a space $X\subset\mathbb R^3$ (maybe even ...
4
votes
0answers
55 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
148 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
39 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
58 views

Show that a map of sets is continuous if its composition with other functions is

Problem: Let $Y, E, B$ be topological spaces with $Y$ locally path connected. Suppose $p: E \rightarrow B$ is a covering map, with $g: Y \rightarrow E$ a map of sets. If $p \circ g$ is continuous, ...
4
votes
0answers
60 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
208 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
49 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
120 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
154 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
47 views

About the Chern class of infinite complex Grassmannian

I learned that any characteristic class of rank-$k$ complex vector bundles on paracompact spaces is determined bijectively by a cohomology class in $H^*(Gr_k^\infty(\mathbb C))$, the cohomology ring ...
4
votes
0answers
163 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$ ...
4
votes
0answers
61 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
207 views

Definition of the algebraic intersection number of oriented closed curves.

Can anyone point me to a reference (book/paper) where I can read up on the the algebraic intersection number of closed curves on an orientable surface? In this paper by John Franks it is used to ...
4
votes
0answers
100 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
93 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
95 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
83 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
60 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
100 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
57 views

Prove that if $f:D^2\to D^2$ is a homeomorphism, then $f(S^1)=S^1$

I've already proved that set of points $z\in D^2$ such that $D^2-z$ is simply connected is precisely $S^1$. Now from this, I'm supposed to conclude that if $f:D^2\to D^2$ is a homeomorphism, then ...
4
votes
0answers
34 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
72 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
89 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
0answers
55 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
112 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
59 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
66 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
54 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
173 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
85 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
89 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
91 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
68 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
78 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 ...