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)

2
votes
1answer
23 views

Homotopy of certain maps induced homotopies

Let $\psi$ be a homeomorphism and $\gamma :[0,1] \rightarrow \mathbb{R}^2$ a path. Now assumme additionally that $(\psi \circ \gamma)(t) \neq \gamma(t)$ everywhere. Then we can look at the map ...
2
votes
0answers
38 views

General topology exercise (equivalent condition for simple connection)

Let $X$ be a pathwise-connected topological space. Prove that $X$ is simply connected iff every continuous $f:S^1\to X$ can be extended to a continuous function $g:D^2\to X$. How can I use the fact ...
1
vote
1answer
18 views

Is collapsibility a homotopy invariant?

There are some similar characterizations of a simplicial complex, with the implication relations: ...
0
votes
0answers
20 views

Cohomology group of pairs (X,A) where X is thickening figure 8 and A is its 3 boundary components [on hold]

Calculate Cohomology group of pairs (X,A) where X is thickening figure 8 and A is its 3 boundary components using simplicial structure.(without using UCT for relative pairs) I have no idea how to ...
1
vote
0answers
29 views

Algebraic methods to compute the cohomology ring of the complex topology of a variety?

Suppose $V$ is an affine (resp. projective) subvariety of the affine (resp. projective) space $\mathbb A_\mathbb C^n$ (resp. $\mathbb P_\mathbb C^n$) with vanishing ideal $I\subseteq\mathbb ...
4
votes
0answers
48 views

Rigorous definition of an embedded connected sum.

Can someone point me to a rigorous definition of a connected sum of two smooth embeddings? I know about the usual construction, the problem is that I can't find a proof that this construction is well ...
1
vote
1answer
48 views

Trying to make sense of this proof in Hatcher

So I'm trying to understand this proof in Hatcher's Algebraic Topology. Lemma: The composition $\Delta_n(X)\xrightarrow{\partial_n} \Delta_{n-1}(X)\xrightarrow{\partial_{n-1}}\Delta_{n-2}(X)$ is zero ...
2
votes
0answers
48 views

Literature concearning characteristic classes?

It sounds the literature about characteristic classes is not very abundant (am I wrong?). Whenever I look for books dealing with this matter I'm always lead to the same material like the classical ...
1
vote
1answer
31 views

Computation with Mayer-Vietoris and fundamental classes

Let $M$ be an $n$-dimensional closed oriented connected manifold and suppose that $\bar{U},\bar{V}\subset M$ are $n$-dimensional manifolds with boundary so that $M=\bar{U}\cup \bar{V}$ and ...
0
votes
0answers
29 views

Can a fiber bundle with fiber R and structure group Z_2 be considered a vector bundle?

I have a principal $\mathbb{Z}_2$-bundle, then by Borel construction I get a fiber bundle with fiber $\mathbb{R}$ and structure group $\mathbb{Z}_2$. Can I say that this is a vector bundle?
1
vote
0answers
21 views

Calculation of Fixed point set

Let $p,q$ be two distinct primes and let $G_p$ and $G_q$ be nontrivial $p$-group and $q$-group respectively. Let $G = G_p \rtimes G_q$. Embed $G_q \subset U(n_1), G \subset U(n) $ where $U(n_1), ...
4
votes
1answer
63 views

Functorial properties of the compact open topology.

Let $X,Y,Y'$ be topological spaces and $A\subseteq Y$ a subspace. Every set of continuous maps is equipped with the compact-open topology. Is the canonical map ...
3
votes
1answer
54 views

Clarification about the Thom-Pontrjagin construction as explained in Bredon's book

In Bredon's book, at page 118-119, there is a little chapter about the Thom-Pontrjagin construction, and I'm trying to follow the reason depicted there. He starts with a map $f \colon R^{n+k}\to ...
0
votes
0answers
21 views

Prove winding number is the same as index of a vector field.

I'm trying to prove that the winding number and the index around a point in a vector field are the same. I know that the index is sometimes defined as the winding number but I'm working with the ...
6
votes
2answers
82 views

What Topics of Mathematics to study to go into Big Data

I am interested in Big Data and related jobs after graduation from Math PhD/Masters, what topics and fields of Mathematics should a student learn that are most relevant to Big Data? Currently, I know ...
4
votes
1answer
65 views

Map to $RP^2 \vee S^1$ nullhomotopic

Let $R$ be $S^{1}\vee S^{1}$. Call the first circle by $a$ and the second one by $b$. Let $X$ be space by attaching two $2$-cells to $R$ one via the boundary map $a^{3}$ and the other via the boundary ...
10
votes
2answers
147 views

Hodge Theory, intuition?

We have the following theorem of Hodge, as follows: $$\dim \ker \Delta^p = \dim H^p(M) = b_p(M).$$My question is, what is the intuition behind this statement?
6
votes
1answer
108 views

Is “Categories and Sheaves” a good followup to Aluffi's “Algebra: Chapter 0”?

I'm about to finish Aluffi's "algebra: chapter 0" and am a bit confused as to what should be my next move. I've been planning to read Tom Dieck's Algebraic Topology for some time now. I glimpsed at it ...
1
vote
1answer
62 views

What is a homology of chain complex?

First of all I don't know much about homological algebra, and algebraic topology I just took a class using Kinsey book (Topology of Surfaces) which is undergraduate math class and I learned what is ...
0
votes
2answers
64 views

Extending a homotopy equivalence

I have a basic question regarding homotopy equivalence. Let $X$, $Y$, and $Z$ be three subsets of $\mathbb{R}^2$ such that $(X\cap Z)\subset (Y\cap Z)$ are homotopy equivalent, and $X\setminus Z = ...
0
votes
0answers
42 views

Cohomology of $K(\mathbb{Z}_2, n)$

Is it true, for example, that $H^5(K(\mathbb{Z}_2,2),\mathbb{Z})=\mathbb{Z}_4$, so these groups have not only 2-torsion? Has question about integral cohomology ring of $K(\mathbb{Z}_2, n)$ easy ...
3
votes
1answer
30 views

localization of the Pontrjagin ring of an $H$-space with respect to $\pi_0$

Let $X$ be an $H$-space. Let $F$ be a field. Then $H_*(X;F)$ is a Hopf algebra over $F$. According to group-like elements in the Hopf algebra of the homology of H-spaces, $$ \pi_0(X)=\{g\in ...
2
votes
0answers
27 views

Gysin sequence for the sphere bundle $B[O_a \times O_B]^+ \to BO_a \times BO_b$?

I have the sphere bundle $S^0 \hookrightarrow B[O_a \times O_b]^+ \stackrel{p}{\to} BO_a \times BO_b$ that can be thought of like: $B[O_a \times O_b]^+$ as the set of tuples of vector spaces $E^a$ ...
1
vote
1answer
44 views

Show $X$ is simply-connected given properties of two subsets

I'm given: $X$ is a manifold, $X = U\cup V$ for $U,V \subset X$ open, connected and simply-connected, with $U \cap V$ connected. And given this, I want to show $X$ is simply connected. Attempt I ...
0
votes
0answers
55 views

What does $D^n$ refer to?

I'm not sure what object $D^n$ is in the following exercise: "Write down an explicit homeomorphism between $D^n/S^{n-1}$ and $S^n$." Thanks!
0
votes
1answer
79 views

What is a counterexample that a composition of covering maps not a covering map?

Let $p:X\rightarrow Y$ and $q:Y\rightarrow Z$ be covering maps. What would be an example that $q\circ p:X\rightarrow Z$ is not a covering map? I saw a counterexample here, but it was too complex. Is ...
0
votes
0answers
24 views

Difference between $\mathbb{Z}$-acyclic and $\mathbb{Q}$-acyclic

In page 1853 of Graham's Handbook of Combinatorics, Volume 1, it is stated that for simplicial homology, $$\mathbb{Z_p}\textrm{-acyclic}\Leftrightarrow \mathbb{Z}\textrm{-acyclic} \Rightarrow ...
4
votes
1answer
37 views

group-like elements in the Hopf algebra of the homology of $H$-spaces

Let $X$ be an $H$-space with product $\mu$. Then $H_*(X)$ is a Hopf algebra with product $\mu_*$. Let $\psi$ be the coproduct of the Hopf algebra $H_*(X)$. Define a subset $S$ of $H_*(X)$ as $$ ...
1
vote
0answers
20 views

Do complete Hopf algebras have an antipode?

I am reading Quillen's paper on rational homotopy theory. In appendix A of this paper Quillen defines a notion he calls complete Hopf algebras. These are certain cocommutative bialgebra structures ...
3
votes
2answers
44 views

Example of induced homomorphism in algebraic topology

I would like to understand what induced homomorphism are, as they appear in the definition of the Mayer-Vietoris sequence. Since an homology group $\tilde{H}_n$ is a quotient group defined as ...
0
votes
1answer
28 views

With field coefficients homology and cohomology coincide

With field coefficients the universal coefficients theorem takes the form: $$H^n(X;F)=Hom_{F-modules}(H_n(X;F),F)$$. Now in all computations I have seen with field coefficients we have ...
0
votes
1answer
23 views

Homology and Reduced homology coincide on non trivial pair.

In Hatcher page 118, he says that There is a completely analogous long exact sequence of reduced homology groups for a pair $(X;A)$ with $A\not = \emptyset$ ; This comes from applying ...
0
votes
0answers
36 views

the functor Ext repairs the inexactitude of Hom on the right

For a short exact sequence of R -modules: $ 0 \longrightarrow A \longrightarrow B \longrightarrow C \longrightarrow 0$. Prove that: the following sequence is exact $0 \rightarrow \mathrm{Hom} ...
2
votes
1answer
52 views

Computing Klein bottle's cohomology ring in $\mathbb{Z}$

Well I've been struggling with this one. This is the picture of the Klein Bottle. It has two triangles (U upper, V lower), three edges (the middle one is "c") and only one vertex repeated 4x. So my ...
2
votes
1answer
66 views

Would this be a homology theory?

Consider a manifold $M$, and denote by $\Delta _p M$ the set of all submanifolds of dimension $p$ (with or without boundary) of $M$. Define $G_pM$ to be the free abelian group generated by $\Delta_p ...
0
votes
0answers
39 views

When is the Zariski closure of subset connected [closed]

Let $R$ be a commutative ring and $\{P_i\}_{i\in I}$ be an arbitrary subset of $Spec(R)$ such that $\dfrac{R}{\bigcap_\limits{i\in I}{P_i}}$ is an indecomposable ring, how can we show that the ...
7
votes
1answer
93 views

different definitions of Hopf algebras

(i). In the book Algebraic Topology, A. Hatcher, p. 283, the notion Hopf algebra is defined as follows: (ii). However, in the book Bialgebras and Hopf algebras, J.P. May, the notion Hopf algebra is ...
2
votes
1answer
15 views

Simplicial homology: chain group with basis open n-simplices vs. chain group with basis closed n-simplices

In his Algebraic Topology book, Hatcher defines the chain groups for simplicial homology as free abelian groups with basis the open $n$-simplices of some simplicial complex X. Is there any ...
1
vote
1answer
9 views

Name for map associated with simplicial complex

Given a simplicial complex $\Delta$, implied by the construction process there are associated maps sending euclidean standard simplices into the simplicial complex $\imath: \Delta^n \to \Delta$. What ...
5
votes
3answers
115 views

On defining homology groups

I have been trying to understand what homology groups are "talking about," and now I am wondering if the following works as a definition of homology. But first, some illustration of what it is ...
4
votes
1answer
52 views

$w(\mathbb{R}P^q) = 1$ if and only if $q = 2^k - 1$ for some $k$

How do I show that $w(\mathbb{R}P^q) = 1$ if and only if $q = 2^k - 1$ for some $k$?
5
votes
1answer
81 views

Prove that the Torus is not homotopy equivalent to $S^1\vee S^1\vee S^2$

Prove that the Torus is not homotopy equivalent to $S^1\vee S^1\vee S^2$. I need to show that a homotopy equivalence between them doesn't exist, but it seems like the homology groups of the spaces ...
5
votes
1answer
38 views

Why “singular” in “singular homology/cohomology”?

As the title suggests, I'm curious to know whether there is any reason why the word "singular" appears in "singular homology/cohomology".
4
votes
1answer
45 views

isotopy equivalence between manifolds

The definition below is from Encyclopaedia of Mathematics: Volume 6. Question: For any $n\geq 1$, is the $n$-dimensional closed cube $$[0,1]^n=[0,1]\times [0,1]\times\cdots \times[0,1]$$ isotopy ...
4
votes
0answers
43 views

Minimum number of sets required for a good open cover

A good open cover of a topological space is an open cover such that all open sets in the cover, and all finite intersections of open sets in the cover are contractible. For example, $S^2$ has an ...
3
votes
0answers
30 views

Homology of connected sum of CW-complexes

Let $X$ and $Y$ be finite and connected CW-complexes of dimension $n$ with exactly one $n$-cell. Then we can define their connected sum $X\#Y$ just like in the manifold case: extract an ...
1
vote
1answer
68 views

Is simply connectedness is a topological property?

A topological space $X$ is called simply-connected if it is path-connected and any continuous map $f:S^{1} \to X$ (where $S^1$ denotes the unit circle in Euclidean 2-space) can be contracted to a ...
0
votes
0answers
32 views

Existence of Moore spaces for modules over commutative rings.

Let $R$ be a commutative ring, $A$ a $R$-module and $n$ a natural number. Does there exist a CW complex $M(A,n)$ with $\tilde{H}_i(M(A,n),R)=0$ if $i\neq n$ and $\tilde{H}_n(M(A,n),R)\cong A$ as ...
4
votes
0answers
49 views

Composition, fibrations?

Let $p: D \to B$ and $q: E \to B$ be fibrations and let $f: D \to E$ be a map such that $q \circ f = p$. Suppose that $f$ is a homotopy equivalence. My question is, does it follow that $f$ is a fiber ...
2
votes
2answers
39 views

Dimension of the $0^{\text{th}}$ de Rham cohomology group of $U$

Let $U\subset\mathbb{R}^n$ be an open set. I proved that $$ H^0_{DR}(U):=\frac{\text{closed forms}}{\text{exact forms}}=\{f\in C^{\infty}(U):\,f\,\,\text{is locally constant} \} $$ I have to show ...