# Questions tagged [at.algebraic-topology]

Homotopy, stable homotopy, homology and cohomology, homotopical algebra.

**11**

votes

**3**answers

671 views

### Comparisons of convenient categories for algebraic topology

I've heard that there are many convenient categories for algebraic topology. Such categories often have many nice properties like being cartesian closed, complete, cocomplete, the forgetful functor ...

**5**

votes

**1**answer

255 views

### Topology of connected subsets of the $3$-torus

Consider the $3$-torus $Y=T^3$, a subset $\Sigma\subset Y$, and $\Sigma^*=Y\setminus\overline\Sigma$.
We assume both $\Sigma$ and $\Sigma^*$ to be open, connected, and smoothly bounded.
I am ...

**8**

votes

**2**answers

371 views

### Can one disjoin any submanifold in $\mathbb R^n$ from itself by a $C^{\infty}$-small isotopy?

Let $M$ be a manifold and $V$ be an oriented vector bundle. It's well known that if the Euler class of $V$ is non zero, then $V$ can't have a non-vanishing section. The converse is not true, see ...

**9**

votes

**2**answers

466 views

### Two homeomorphic non-diffeomorphic complex manifolds

Does there exist a closed topological manifold supporting two non-diffeomorphic smooth structures both of which admit a compatible complex structure? Also the same question, but for symplectic ...

**5**

votes

**0**answers

193 views

### Kaehler manifold of dimension 6 not homotopy equivalent to a complex submanifold of $\mathbb{C}P^n$

Does there exist a closed Kaehler manifold of real dimension 6 that is not homotopy equivalent to a complex submanifold of $\mathbb{C}P^n$ for some integer $n$?

**6**

votes

**1**answer

178 views

### Relationship between induced maps at homotopy groups level for maps $f:S^2\to S^2$

It is a known result that based point maps $f:S^2\to S^2$ are classified by their degree. That is, by the induced map at $\pi_2$-level $f_{*2}:\pi_2(S^2)\to\pi_2(S^2)$ (the subindex $*2$ just mean it ...

**5**

votes

**1**answer

212 views

### Characteristic classes of the bundle of trace free, skew adjoint endomorphisms

In "Floer Homology groups in Yang-Mills theory", Donaldson says that if we take an $U(2)$-vector bundle $E$ and we construct the bundle $\mathfrak{g}_E$ of trace-free, skew adjoint automorphisms of $...

**2**

votes

**0**answers

153 views

### Deformation invariance of homotopy type

Let $\mathscr{X}\to \Delta$ be a flat family of projective varieties over the unit disk so that each fiber $X_t$ has canonical singularities and its canonical sheaf $\omega_{X_t}$ is $\mathcal{Q}$-...

**9**

votes

**0**answers

148 views

### An equivalent definition for $\text{Spin}^c$-structures

I'm interested in proving the following proposition ([G], Remark page 48):
Prop: A $\text{Spin}^c$-structure over an oriented vector bundle is equivalent (after stabilizing if the fiber dimension ...

**6**

votes

**1**answer

398 views

### Unstable Greek letter elements

A theorem of Hopkins and Mahowald states that the Thom spectrum of the map $\Omega^2 S^3 \to B\mathrm{GL}_1(\mathbb{S}_{(p)})$ classifying the element $p$ is exactly $\mathrm{H}\mathbf{F}_p$. Let $T(1)...

**5**

votes

**1**answer

289 views

### A question about HTT Lemma 5.5.2.1

I have a question about the statement of Lemma 5.5.2.1 in Lurie's `Higher Topos Theory'.
``Let $S$ be a small simplicial set, let $f: S\rightarrow \mathcal{S}$ be an object of $\mathcal{P}(S^{op})$, ...

**2**

votes

**1**answer

112 views

### First countable geometric realization of a simplicial group

Suppose we have a simplicial group $G$.
What do we need from $G$ to get first countable $BG$, where $BG$ is a geometric realization of $G$?

**2**

votes

**1**answer

150 views

### Relation between Optimal Transport Cost and Difference between Topological Invariants?

I was working on some mathematics of Wasserstein GAN and found out a seemingly interesting research problem but I am not quite sure whether it has already been studied in some recent literature of ...

**8**

votes

**1**answer

428 views

### Formality over $\mathbb{R}$ vs formality over $\mathbb{Q}$

On ncatlab page on formality, it is stated that Deligne--Griffiths--Morgan--Sullivan proved that the real homotopy type of a closed Kaehler manifold is formal. Later, Sullivan "improved" this to $\...

**8**

votes

**1**answer

159 views

### Relation between the Casson-Gordon invariants $\sigma(M, \chi)$ and $\sigma_r(M, \chi)$

Setting: There are two objects in knot theory that are commonly referred to as the Casson-Gordon invariants: the invariant $\sigma$, and the invariant $\tau$ (see for example A. Conway’s notes ...

**5**

votes

**1**answer

167 views

### Approximate Homology of a Large Simplicial Complex

I can use software to calculate the Betti numbers $\beta_0,\beta_1,\beta_2,\dots$ of a finite simplicial complex.
This is prohibitive for large complexes, built on say > 100,000 nodes.
Is there some ...

**2**

votes

**0**answers

152 views

### Can a birational morphism between two smooth varieties of the same betti numbers exist?

I am considering a birational morphism $f:X\longrightarrow Y$ where $X$ and $Y$ are smooth projective varieties and I want to deform $X$ to another given smooth projective $Z$. It is given that $X$ ...

**5**

votes

**1**answer

115 views

### Obstructions to realisation of dual finite spectra as suspension spectra

Suppose $X$ is a finite dimensional CW-complex with top cell at dimmension $n$ and consider its S-dual denoted by $DX$. I wonder if there are any obstructions to find a space $Y$ and an interger $k\...

**9**

votes

**0**answers

373 views

### Is the Thomason model structure on Cat simplicial? Is it a monoidal model category?

The Thomason model structure on the category of small categories is transferred from the Quillen model structure on simplicial sets along the right adjoint $Ex^2 \circ N$ (where $N$ is the nerve), i.e....

**2**

votes

**0**answers

132 views

### Explicit construction of Steenrod squares vs. “A general algebraic approach…”

I am working on understanding Peter May's "A genaral algebraich approach to Steenrod operations", so for this purpose I am trying to compare his framework with explicit construction of Steenrod ...

**16**

votes

**2**answers

561 views

### Stably equivalent but not homotopy equivalent

What are some examples of (compact, say) manifolds $X$ and $Y$ that are stably equivalent, i.e. $\Sigma^{\infty}X_+\simeq\Sigma^{\infty}Y_+$, but are not homotopy equivalent?

**-4**

votes

**1**answer

140 views

### Topological spaces without retracts [closed]

Is there a way to see whether a topological space $\Omega$ does not allow retractions $r: \Omega \mapsto B$, with $B$ a given subspace of $\Omega$ ?
In other words: when is a space not retractable ...

**9**

votes

**2**answers

460 views

### A question on the fundamental group of a compact orientable surface of genus >1

Let $G=\pi(X,x)$ be the fundamental group of a compact orientable
surface of genus $g\ge 2$. It is well known that a presentation of
$G$ is
$$G=\langle x_1,y_1,\dots,x_g,y_g \ | \ [x_1,y_1]\cdots
[x_g,...

**3**

votes

**1**answer

356 views

### When the action on cohomology is trivial?

Suppose $G$ is a group acting freely on a topological space $X$. Take an element $g$ of $G$. My question is: If the induced action of $g$ on cohomology with $\Bbb Z$-coefficient is trivial then when ...

**5**

votes

**0**answers

133 views

### Categorification-like statement in the cobordism group?

Suppose we consider a $d$-cobordism group classifying manifolds with $H$-structure and with a classifying space $BG$ of a group $G$, written as
$$
\Omega^{d}_{H}(BG)= \mathbb{Z}_m \oplus \dots,
$$
...

**33**

votes

**2**answers

3k views

### Why is Voevodsky's motivic homotopy theory 'the right' approach?

Morel and Voevoedsky developed what is now called motivic homotopy theory, which aims to apply techniques of algebraic topology to algebraic varieties and, more generally, to schemes. A simple way of ...

**6**

votes

**2**answers

392 views

### Explicit computation of the Burnside ring

I would like to see explicit computations of the Burnside ring $A(G)$ when $G$ is a small Abelian group, such as $G=\mathbb{Z}/2,\mathbb{Z}/2^n,\mathbb{Z}/p^n$ where $p$ is an odd prime and $n\...

**6**

votes

**0**answers

105 views

### Pin cobordism v.s. “KO” theory in low or in any dimensions

Fact: The spin cobordism is equivalent to "KO" theory in low dimension if we only consider the 2-torsion.
This is related to a question and an answer supports the claim.
Here we denote the $p$-...

**6**

votes

**0**answers

151 views

### Arf-Brown-Kervaire invariant and a surjective map $G \to Pin^-$

We know that the Arf-Brown-Kervaire (abk) invariant is a bordism invariant of
$$
\Omega_2^{Pin^-}(pt)=\mathbb{Z}/(8\mathbb{Z}),
$$
where the $\mathbb{Z}/(8\mathbb{Z})$ is generated by a 2-manifold $M^...

**9**

votes

**1**answer

416 views

### Does there exist a free action of $\mathbb Z_p$ on this space?

Is it true that for prime $p\neq 2 $, $k > 1$ and $n_1,n_2,\dots,n_k\geq 1$, the cyclic group $\mathbb{Z}_p$ has no continuous free action on $ \mathbb{C}P^{n_1} \times \mathbb{C}P^{n_2} \times ...

**9**

votes

**1**answer

168 views

### Discrete Pin structures

It is clear that an oriented manifold $M^n$ (with dimension $n$) admits spin structures if and only if its second Stiefel-Whitney class $[w^2]\in H^2(M,\mathbb Z_2)$ vanishes. In the construction of ...

**11**

votes

**1**answer

318 views

### Do solenoids embed into Möbius strips?

I found a strange attractor which looks a lot like a solenoid. The attractor continuum is the closure of a continuous line which limits onto itself, and it is locally homeomorphic to Cantor set times ...

**5**

votes

**0**answers

57 views

### Triple data for Pontrjagin dual of the Spin bordism group

It is said that the Pontrjagin dual of the 3-dimensional Spin bordism group of $BG$ for $G$ a finite group,
$$
\text{Hom}(Ω^{spin}_3(BG),\mathbb{R/Z}),
$$
can be expressed by triples of cochains $$(w, ...

**1**

vote

**0**answers

58 views

### Monoidal structure on left dg-modules over a brace algebra

Relating to my other question: Modules over Hopf Algebras and $E_2$-algebras
Preliminary: Let $A$ be an associative dg-algebra that is also an algebra over the brace operad. Let $M$ and $N$ be left ...

**5**

votes

**0**answers

89 views

### Induced new structures on Poincare dual manifolds

"R. C. Kirby and L. R. Taylor, Pin structures on low-dimensional manifolds (1990)" shows
Given a spin structure on $M^3$, the submanifold $\text{PD}(a)$ can be given a natural induced $\text{Pin}^-$...

**5**

votes

**0**answers

284 views

### Elementary questions about Morse-Bott functions

Let $M$ be a manifold, $F$ be a Morse-Bott function, $c$ be a critical level, and $M_c$ be the corresponding critical submanifold. Let us assume that $M_c$ is connected, and the index of $M_c$ is ...

**5**

votes

**1**answer

436 views

### Show that if $p\neq 2$, then $\mathbb{Z}_p$ cannot act freely on $\mathbb{C}P^n$

If $p\neq 2$, then the cyclic group $\mathbb{Z}_p$ has no free continuous action on $\mathbb{C}P^n$. My question is how to prove the above fact using Leray-Serre spectral sequence associated to the ...

**9**

votes

**0**answers

149 views

### Hochschild-Serre spectral sequence via explicit filtration

Let
$$1 \longrightarrow K \longrightarrow G \longrightarrow Q \longrightarrow 1$$
be a short exact sequence of groups and let $M$ be a $\mathbb{Z}[G]$-module. The Hochschild--Serre spectral ...

**6**

votes

**1**answer

180 views

### Serre spectral sequence degeneration in homology vs cohomology

Let $\pi\colon E \rightarrow B$ be a fiber bundle with fiber $F$. I am not assuming that $B$ is simply-connected. We then have Serre spectral sequences in both rational homology and rational ...

**6**

votes

**0**answers

99 views

### The automorphism group of the fibered cylinder

My collegue (Oleg Gutik) is interested in finding a proper reference to a description of the group $G$ of homeomorphisms $h:\mathbb T\times\mathbb R\to\mathbb T\times\mathbb R$ of the cylinder that ...

**11**

votes

**1**answer

556 views

### The structure of complex cobordism cohomology of the Eilenberg-Maclane spectrum

Let $MU$ be the complex bordism spectrum and let $H\mathbb{Z}$ be the Eilenberg-Maclane spectrum.
Is it know what the structure of the complex cobordism cohomology $MU^{*}(H\mathbb{Z})$ is?
EDIT: ...

**3**

votes

**1**answer

141 views

### Relative equivariant cohomology

Let us assume that $X=\mathbb{R}\times S^1$ is given with a $G=\mathbb{Z}_2$ action that corresponds to the symmetry $(x,e^{i\theta})\mapsto(-x,e^{-i\theta})$. I want to compute the equivariant ...

**10**

votes

**1**answer

354 views

### Whitehead products in homotopy groups of spheres

Here is what I know about Whitehead products in homotopy groups of spheres:
$[\mathrm{id}_{S^{2n}},\mathrm{id}_{S^{2n}}]$ has Hopf invariant (EDIT: $\pm$) two.
No element that survives into the ...

**2**

votes

**1**answer

148 views

### Structure sets for three dimensional surgery

Is there a treatment in the literature of the structure sets relating simple homotopy equivalences to homeomorphisms in the three dimensional case? I am aware that due to the ...

**4**

votes

**0**answers

148 views

### Does there exist a preferred trivialization of a trivial line bundle?

Let $L\to M$ be a topologically trivial complex Hermitian line bundle (over a manifold of dimension three, if this is of any importance). I assume that $L$ admits a trivialization, however, I do not ...

**2**

votes

**1**answer

92 views

### $M$ is a manifold and isometrically embedded in $X$, homotopy type of $M$ is determined by polyhedrons $P$ s.t. $M\subseteq P \subseteq X$?

This is the setting.
$M$ is a compact, connected Riemannian manifold without boundary. and it is isometrically embedded in some larger metric space $X$ ($X$ is not necessarily manifold). So, one can ...

**6**

votes

**0**answers

123 views

### Cell structures of simply-connected 5-manifolds (classified by Barden's 1965 paper)

In Barden's 1965 paper: Simply-connected five manifolds, Barden gave a complete list of diffeomorphism classes of simply-connected 5-manifolds:
$$X_{j,k_1,\dots,k_n}=X_j\#M_{k_1}\#\cdots\#M_{k_n}$$
...

**1**

vote

**0**answers

75 views

### Cobordism of an annulus with a non-vanishing vector field

Let $M$ be a compact three-dimensional manifold with corners, which is a cobordism of the two-dimensional annulus. In particular, the codimension one boundary of $M$ consists of two copies of the ...

**2**

votes

**0**answers

364 views

### How does “chain complex functor” from $Top$ take mapping cones to mapping cones?

I am wondering how the singular chain complex functor from the category of topological spaces to the category of chain complexes of abelian groups takes a mapping cone to a mapping cone in the sense ...

**4**

votes

**1**answer

175 views

### Does the notion of a compactly generated space (or $k$-space) depend on the choice of universe?

We recall the notion of a $k$-space (or compactly generated space) to fix our notations. For every topological space $X$, we can define a category $\mathfrak{M}_X$. The class of objects of $\mathfrak{...