Tagged Questions

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

189 views

757 views

understanding the torus described as a product of two circles

I would like to ask two (related) things about the torus: The torus can be described as the cartesian product $S^1 \times S^1$ of two circles in $\mathbb{R}^3$. Then one can talk about meridional ...
829 views

Hatcher 1.3. problem 16

Given maps $X\to Y\to Z$ such that both $Y\to Z$ and the composition $X\to Z$ are covering spaces, show that $X\to Y$ is a covering space if $Z$ is locally path-connected.
118 views

Decomposition of vector bundles over a CW complex

Let $X$ be CW complex having only cells up to dimension $n$. I want to prove that every $m$-dimensional vector bundle $E$ over $X$ decomposes as a sum $E\cong A\oplus B$ where $A$ is a $n$-...
119 views

46 views

80 views

Lie-group existence on universal covering manifold

Let $X$ be an n-dimensional smooth manifold with Lie group $G$ acting transitively on $X$, i.e. $X$ is a homogeneous space. Let $\tilde{X}$ be the associated universal covering space. To what extent ...
45 views

Characterisation of Stable Cohomological Operations: $\Sigma (\tau_n (\imath_{A,n}))=\rho_{n+1}^*(\tau_{n+1}(\imath_{A,n+1}))$

I've started studying (stable) cohomological operations on my lecture notes, and I was given that an equivalent definition for a family of cohomological operations to be a stable cohomological ...
29 views

Does the sum of weights in Kirchhoff’s construction equal the Gram determinant?

Background: An electrical network is modeled by a complex. Branch current distributions $\mathbf I\in C_1$ are represented by $1$-chains; branch voltage drop distributions $\mathbf V\in C^1$ are $1$-...
130 views

“Global” dimension for topological spaces // Geometric interpretation for global dimension of rings

The global dimension of a ring $R$ is the supremum of the projective dimensions of it's $R$-modules. $$\dim (R)=\sup \{\dim_\mathrm{proj}(M):M \in R\text{-mod} \}$$ I'd like to have some geometric ...
122 views

Learning Galois theory geometrically?

Recently I started poking at algebraic geometry and commutative algebra. My background is basic category theory and basic algebraic topology. I don't know a lot of other mathematics. I noticed Galois ...
59 views

Curves Knotted in the Torus

I've been struggling with the following problem. I suspect it's actually not so hard, but I'm missing something relatively obvious about the proof. The attached image will help. Suppose $K$ and $L$ ...
52 views

Computing homology of square with all vertices identified.

I'm trying to compute the homology of $X = (I \times I)/\sim$, where $(0,0)\sim (0,1) \sim (1,0) \sim (1,1)$. I want to do this via cellular homology, using degrees, etc, but I don't got that very ...
74 views

64 views

Generalization for Leray Hirsch theorem for Principal $G$-bundle

This is a general question: Is there a generalized Leray Hirsch theorem for Principal $G$-bundle? with $G$ finite group with discrete topology. I know it does not make sense to compare with original ...
116 views

29 views

Properties of spectra

I've been trying to understand spectra better, and I was wondering what would be a good source to learn from. My issue with the classical treatments (e.g., Adams, Switzer) is that people keep telling ...
54 views

Chern class of $\mathbb C\mathbb P^2 \# 6\overline{\mathbb C\mathbb P^2}$

I would like to compute the first Chern class of $\mathbb C\mathbb P^2 \# 6\overline{\mathbb C\mathbb P^2}$ in terms of the generators of $\mathbb C\mathbb P^2$ and $\overline{\mathbb C\mathbb P^2}$. ...
80 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 answer,...
68 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 ...
63 views

3-manifolds with certain fundamental group

Suppose $M$ is a 3-manifold with $\pi_1(M)=\mathbb{Z}/p\mathbb{Z}$. Is it true that $M$ is diffeomorphic to a lens space $L(p,q)$?
I'm studying for my final exam in Algebraic Topology and got stuck with somewhat straightforward looking preparation problem. Let $\tilde H$ be any reduced homology theory and $f: (S^n, pt) \to (S^... 0answers 44 views Definitions of the ring$R/(x_0^\infty,\ldots,x_{n-1}^\infty)$Let$R$be a ring, and let$I = (x_0,\ldots,x_{n-1})$be a finitely-generated ideal inside of$R$, generated by a regular sequence. In algebraic topology one often encounters a ring, usually denoted ... 0answers 88 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, ...
Let $X$ be a (nice) connected topological space. Let $LX=Map(S^1,X)$ be the free loop space and $\Omega X = Map_*(S^1,X)$ the subspace of based loops (with some choice of base point for X). Now, there ...