Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [at.algebraic-topology]

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

11
votes
3answers
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
1answer
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
2answers
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
2answers
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
2answers
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
1answer
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
2answers
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
1answer
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
0answers
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
2answers
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
2answers
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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{...