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)

0
votes
0answers
37 views

What is $H_1(A_\mathbb{C}^{top},\mathbb{Q})$

Let $A$ be an abelian variety defined over a number field. I have seen in a few papers the singular homology $H_1(A_\mathbb{C}^{top},\mathbb{Q})$ being used. I read up on the singular homology but it ...
0
votes
2answers
52 views

Proof of the Borsuk-Ulam Theorem

The Borsuk-Ulam Theorem says the following: For any continuous map $g: S^n \rightarrow \mathbb{R}^n$ there exists $x \in S^n$ such that $g(x)=g(-x)$. I'm trying to work through the proof given in ...
2
votes
0answers
82 views

K-theory of $\mathbb{RP}^{\infty}$

what are the $K_0$ and $K_1$ group of $\mathbb{RP}^{\infty}$? Any reference would be good enough.
3
votes
0answers
31 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 ...
0
votes
1answer
32 views

Fibre is open in covering space

I think I don't see the wood for the trees: In my notes I found the remark that if $p:E \rightarrow B$ is a covering map, then for each $b \in B$ we have that $p^{-1}(b)$ in $E$ has the discrete ...
0
votes
1answer
51 views

fundamental group of a point and a sphere

I'm wondering whether the fundamental group of a point and a sphere are the same? If it is, then the topological of a point and a sphere are the same? and we can deform a sphere to a point and still ...
0
votes
0answers
13 views

Vector bundle, nonexistence of Euclidean metric

Milnor-Stasheff "Characteristic classes" problem 2-C says: Any vector bundle over a paracompact base space can be given a Euclidean metric in other words, if $\pi : E \rightarrow B$ is a vector ...
1
vote
1answer
108 views

Are tensor products of vector bundles “well-behaved”?

Do the "nice" properties of the tensor product of vector spaces always extend to tensor products of vector bundles? I'm working through Milnor-Stasheff and recently had to prove that the tensor ...
2
votes
1answer
91 views

Question about the definition of homology

$\quad$ The functor $H_n$ measures the number of “$n$-dimensional holes” in the space (or simplicial complex), in the sense that the $n$-sphere $S^n$ has exactly one $n$-dimensional hole and no ...
0
votes
0answers
18 views

A remark on representable functors in May's Concise Course

On page 206 of May's Concise Course there is a lemma stating that for well pointed space $X$ and $Y$ and a particular representable functor $A:Spaces \to Groups$ (in particular reduced K-theory) that ...
17
votes
2answers
429 views

Topology on the space of paths

Let $X$ be a topological space, and define a path as a continuous map $\gamma : [a,b] \rightarrow X$. Two paths $\gamma : [a,b] \rightarrow X$ and $\phi : [c,d] \rightarrow X$ are equivalent ($\gamma ...
2
votes
1answer
33 views

Fundamental group of the quotient of a cylinder by a rotation at either end

The following is a past qual problem: let $X = S^1 \times [0,1]$ be the cylinder, and define an equivalence relation on $X$ by $(z,1) \sim (iz,1)$ and $(w,0) \sim (e^{i\pi /7} w, 0)$. Compute ...
2
votes
1answer
353 views

homotopic between two maps imply the homotopy between their mapping cone

Recall the mapping cone of a map $f: X\rightarrow Y$ is defined as the space $C_f: X\times [0, 1]\dot{\cup} Y/\sim$, where $\sim$ is the equivalence relation given by $(x, 1)\sim f(x)$ and $(x, ...
4
votes
1answer
146 views

Application of Lefschetz duality to prove Lefschetz hyperplane theorem

I'm trying to understand the proof of the Lefschetz hyperplane theorem in Milnor's book "Morse Theory", page 41 but I can't understand his use of Lefschetz duality. At this point it has been proven ...
1
vote
1answer
42 views

Introduction to Localization of Topological Spaces

I am trying to learn localization of topological spaces but am not sure where to start. Can anyone recommend some introductory materials? It would be great if it contains detailed motivations, ...
0
votes
1answer
47 views

Is the homotopy class given by the degree?

Let $X$ be a topological space such that $\pi_n(X)=H_n(X)=Z$. A continuous map $f: S^n \rightarrow X$ is an element of $\pi_N(X)=Z$ therefore $[f]_{\mathrm{homotopy}}$ is characterised by an integer ...
2
votes
1answer
63 views

The cohomology ring of the nerve of a category associated to a vector space

Let $n\ge2$, and let $V$ be an $n$-dimensional vector space over a field $k$. Consider the category $\mathcal{C}$ whose objects are nonzero, proper subspaces of $V$, and whose morphisms are ...
1
vote
1answer
58 views

The blow up of of the plane and the Moebius band

The (real) blow up of $\mathbb{R}^2$ is defined by $\tilde{\mathbb{R}}^2=\{(p,l)\in\mathbb{R}^2\times\mathbb{R}\mathbb{P}^1|p\in l\}$, with the projection $\pi:\tilde{\mathbb{R}}^2\to\mathbb{R}^2$, ...
2
votes
1answer
43 views

An isomorphism between homology and cohomology with $\mathbb{Z}_2$ coefficients

In the proof of a theorem we did in a class (namely: if $M$ is an odd-dimensional, closed manifold, then $\chi(M)=0$), there's the following step: $$H_k(M;\mathbb{Z}_2)\cong H^k(M;\mathbb{Z}_2)$$ ...
3
votes
0answers
32 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
2answers
68 views

Is there some knot theory behind the Mobius donut?

I was watching this video by Numberphile where a professor cuts a bagel into two interlocking pieces. Is this a torus knot or torus link? I'm trying to interpret in terms of $(p,q)$-torus knots Torus ...
1
vote
1answer
40 views

Covering space description

Given the covering map $f:X\rightarrow Y$ in the picture below, which takes edges to edges preserving labels and orientations, I would like to describe the induced map $f_{\ast}:\pi_1(X,x)\rightarrow ...
4
votes
1answer
65 views

Mapping Class Group

$\newcommand{\MCG}{\mbox{MCG}}$Let $\alpha$, $\beta$ be non-isotopic, non-separating curves on a surface $S$ (meaning that "cutting along " them will not disconnect the surface). How do we show that ...
1
vote
0answers
35 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 ...
5
votes
0answers
41 views

Definition of Hodge structure: is torsion allowed?

I am trying to understand the definition of an integral Hodge structure. Apparently, for $X$ a compact Kahler manifold, $H^n(X,\mathbb R)$, the lattice $H^n(X,\mathbb Z)$ and the Hodge filtration give ...
3
votes
1answer
101 views

Characteristic Class with arbitrary coefficient

I'm looking for some "natural definition" for characteristic class with arbitrary coefficient. For example, the chern class satisfies four conditions and Stiefel-Whitney class satisfies three ...
1
vote
0answers
36 views

Loop space of $S^1$

How concretely can the (based) loop space $\Omega S^1$ of $S^1$ be described? I know it's a space with homotopy groups $\pi_0(\Omega S^1) \simeq \mathbb{Z}$ and $\pi_i(\Omega S^1) \simeq 0$ for ...
9
votes
2answers
268 views

Ehresmann Connection of the tangential bundle & Chern classes

I must have mistunderstood something, this is giving me quite a headache. Please, do stop me once you notice an error in my thinking. The Ehresmann Connection $v$ of some Bundle, $E\to M$, is the ...
1
vote
1answer
228 views

Klein bottle covered by the torus

Maybe this is an idiot question and I'm missing something very trivial. This question question was asked here before, but the answer (which apparently is equal to the one that I created) seems ...
0
votes
0answers
19 views

Why is it necessary to define a simplex as the affine subspace or “zero set” of an affine transformation?

Why is it necessary to define a simplex as the affine subspace or "zero set" of an affine transformation? Why can't it just be defined as $\sum{t_iv_i}$ where $\sum{t_i}=1$ and $v_i$ are the vertices ...
0
votes
0answers
17 views

Gysin sequence and Serre spectral sequence

Given an oriented $S^k$ bundle $E$ over a compact manifold $M$ we get the Gysin Sequence (I am interested in the DeRham cohomology). We can obtain this sequence from the Serre Spectral Sequence if the ...
0
votes
2answers
34 views

CW complex is contractible if union of contractible subcomplexes with contractible intersection

Exercise 0.23 from Algebraic Topology by Hatcher reads: Show that a CW complex is contractible if it is the union of two contractible subcomplexes whose intersection is also contractible. I have ...
85
votes
2answers
3k views

Does a four-variable analog of the Hall-Witt identity exist?

Lately I have been thinking about commutator formulas, sparked by rereading the following paragraph in Isaacs (p.125): An amazing commutator formula is the Hall-Witt identity: ...
2
votes
0answers
31 views

Classifying covering spaces of product spaces

Given two covering maps $p\colon \tilde{X} \to X$ and $q\colon \tilde{Y} \to Y$, we can form the covering map $p\times q \colon \tilde{X} \times \tilde{Y} \to X\times Y$. By covering space theory, we ...
3
votes
1answer
83 views

Monodromy Representations

Let, be $V$ a connected smooth manifold and $q_1,q_2\in V$ and $F:U\to V$ a connected covering of degree $d$. This covering induces two monodromy representations $\rho_1:\pi_1(V,q_1)\to S_d $ ...
1
vote
1answer
40 views

Deck transformations

We have a theorem that says that if a group $G$ acts on a path-connected space $Y$ properly discontinuously, then $\pi: Y \rightarrow Y/G$ is a covering map. Especially, $G$ is isomorphic to the group ...
1
vote
1answer
52 views

Fundamental group computation

I am trying to compute the homology groups and the fundamental group of the space $X$ obtained as the disjoint union of a circle and a cylinder $S^1\times I$ by attaching the cylinder along its ...
0
votes
1answer
22 views

Fundamental group of disjoint union of two 2-tori identifying them along pairs of points

I'm trying to solve the following problem: let $X$ be the space obtained from the disjoint union of two 2-tori $A,B$ be identifying them along 2 pairs points (resp. three pairs of points). If we ...
1
vote
0answers
32 views

Geometric definition of the stable commutator length

In his book, D.Calegari proves the equivalence of the algebraic and geometric definitions of stable commutator length (Proposition 2.10, p. 15). I actually have some difficulties in understanding the ...
0
votes
2answers
49 views

Induced map on fundamental groups between surfaces

Let $\Sigma_n$ and $\Sigma_m$ be two closed oriented surfaces of genus $n$ and $m$, with $n \leq m$. We may think about these surfaces as connected sums of tori, so there is an canoical inclusion map ...
2
votes
1answer
48 views

Is $\mathbb{R}P^n$ “two-sided” in $\mathbb{R}P^{n+1}$

i.e. Does $\mathbb{R}P^n$ have a tubular neighborhood $N$ such that $N-\mathbb{R}P^n$ is disconnected. My guess is yes, but don't know how to show it convincingly ( or maybe only for $n$ odd, I'm ...
1
vote
1answer
39 views

cohomology is dual to homology of a spectrum if homology is free

Let $E$ be a multiplicative spectrum (and $X$ a space with $H_n(X; \mathbb{Z})$ free abelian for every $n$). The following excerpt is taken from the notes here claim that item (1) below easily implies ...
2
votes
1answer
52 views

Cell structure of $S^2 \times S^1$

Can anyone please provide the cell structure of $S^2 \times S^1$? I know that there are one cell in each dimension from 0 to 3 but I am not sure about the attaching maps. Thanks in advance.
9
votes
1answer
2k views

deformation retract and strong deformation retract

I am trying to gain some intuition about retracts, deformation retracts and strong deformation retracts (see http://en.wikipedia.org/wiki/Deformation_retract for definitions). We have that any strong ...
1
vote
1answer
272 views

Simple cellular homology computation

Here's a very simple cellular homology computation that I'm a little confused about. Put a CW structure on the closed disc $X=D^{2}$ with two zero-cells $v_{0},v_{1}$, two one-cells $e_{0},e_{1}$ ...
0
votes
1answer
35 views

Condition for Orientability of Manifold

Let $M^n$, $n>2$ be a manifold and let $f:D\rightarrow M$ be an embedding of the closed $n-$disk in $M$. Prove or Disprove: $M$ orientable iff $M-f(D)$ is orientable. $M$ is orientable iff all ...
2
votes
1answer
42 views

Quotient of Unit Quaternions by Subgoup (Lie Groups)

Let $G \leq Sp(1)\cong S^3$ (unit quaternions) be a discrete subgroup of order 120 (the Binary Icosahedral Group, not the other one), with presentation $G=<s,t| s^2=t^3=(st)^5>$. $\hspace{2mm}G$ ...
0
votes
0answers
41 views

Non-normal covering space of a Klein bottle

I'm trying to construct a non-normal covering space of the Klein bottle by a torus. An old question addressed this issue and an answer to it produced a non-normal subgroup of $\pi_1$ out of the blue. ...
19
votes
1answer
413 views

A homotopy sphere

My question is part of an exercise in Hatcher's 'Algebraic Topology'. Consider a CW complex $X$, constructed from a circle and two 2-disks $e_2$ and $e_3$, attached to that circle by maps of degree 2 ...
52
votes
1answer
2k views

Simplicial homology of real projective space by Mayer-Vietoris

Consider the $n$-sphere $S^n$ and the real projective space $\mathbb{RP}^n$. There is a universal covering map $p: S^n \to \mathbb{RP}^n$, and it's clear that it's the coequaliser of $\mathrm{id}: S^n ...