# Questions tagged [at.algebraic-topology]

Homotopy theory, homological algebra, algebraic treatments of manifolds.

8,187
questions

2
votes

0
answers

99
views

### Hypercube of chain complexes as functor from (Δ^1 )^n to ∞-category of chain complexes

A hypercube of chain complexes consists of $\mathbb{Z}$-graded vector spaces $C_\epsilon$ for $\epsilon\in\{0,1\}^n$ and maps $D_{\epsilon,\epsilon^\prime}:C_{\epsilon}\to C_{\epsilon^\prime}$ for $\...

3
votes

0
answers

136
views

### Steenrod operations on classifying spaces

Steenrod operations can be defined for all finite characteristics $p$. The simplest one, when $p=2$, is the Steenrod square. I wonder if the computation for classifying spaces for classical Lie groups ...

4
votes

0
answers

153
views

### Reference request: cohomology of BTOP with mod $2^m$ coefficients

I am searching for a reference with information pertaining to the $\mathbb{Z}/{2^m}$ cohomology of ${\rm{BTOP}}(n)$, for $n \geq 8$ and $m=1,2$, where
$${\rm{TOP}}(n) = \{f \colon \mathbb{R}^n \to \...

7
votes

1
answer

215
views

### Computing $\pi_1$ of the complement of a non-singular plane curve

The following is a well-known fact:
Theorem. The fundamental group of the complement of a non-singular curve of degree $d$ in the complex projective plane is cyclic of order $d$.
This was further ...

4
votes

1
answer

303
views

### Criteria for extending vector field on sphere to ball

Below is a theorem that is equivalent to Brouwer fixed-point theorem, which I found quite interesting. The proof is in this PDF file.
Let $v: \mathbb S^{n-1} \to \mathbb R^n$ be a continuous map, ...

3
votes

1
answer

109
views

### Are the two families of Johnson invariants of the Torelli groups related beyond the first one?

$\newcommand{\sp}{\operatorname{Sp}(H)}$
$\newcommand{\gr}{\operatorname{gr}}$
$\newcommand{\id}{\operatorname{id}}$
$\newcommand{\der}{\operatorname{Der}}$
Johnson has defined two families $\tau_k,\...

3
votes

1
answer

83
views

### Geodesic laminations on the 4-punctured sphere

Let $S_{0,4}$ be the 4-punctured sphere equipped with a hyperbolic metric of finite volume (thus all punctures are cusps). Consider $\gamma$ to be a simple geodesic of $S_{0,4}$ (not necessarily ...

6
votes

1
answer

215
views

### Double hom with $\mathbb{CP}^\infty$

Pontrjagin duality gives a double dual theorem for "hom with $S^1$", and $S^1$ is $\textbf{B}\mathbb{Z}$ up to homotopy.
$\textbf{B} \textbf{B}\mathbb{Z}$, modeled by $\mathbb{C}\mathbb{P}^{\...

7
votes

1
answer

397
views

### Model categories as a tool to resolve size issues for localizing categories

I have a rather basic question about one motivation for introducing model categories in David White's notes, as a possible way to overcome troubles with size issues appearing when localizing a ...

6
votes

0
answers

132
views

### Applications of $RO(G)$-graded computations outside of equivariant homotopy theory

While writing a grant proposal I faced a problem of justification my area of interest to a broader audience. So I thought it would be nice to ask it here:
What are applications/impact of computations ...

2
votes

1
answer

170
views

### Does the group of compactly supported diffeomorphisms have the homotopy type of a CW complex?

It is known that the group of diffeomorphisms of a compact manifold with the natural $C^{\infty}$ topology has the homotopy type of a countable CW complex. See for instance this thread: Is the space ...

11
votes

1
answer

502
views

### Can you deduce the correspondence between 2D oriented TQFTs and commutative Frobenius algebras from the (framed) Cobordism Hypothesis?

Background
I am currently writing an MSc dissertation on TQFTs (and Khovanov homology, but that is unrelated to this question).
After having read most of Kock's book on the equivalence between 2D ...

2
votes

0
answers

62
views

### cocycle datum for principal $G$-bundle over base space Delta set

Let $X$ be topological realization of a (finite)
Delta set, $G$ a finite group and $p: P \to X$ a
principal $G$-bundle.
Let's recall the standard fact that more generally any
numerable principal G-...

12
votes

1
answer

1k
views

### Who proved the motivic 6-functor formalism?

In the recent beautiful talk "Motives and ring stacks" Peter Scholze states the theorem saying that there exists an initial 6-functor formalism on $\mathit{Sch}_\mathbb{Z}$ such that
when $...

5
votes

0
answers

63
views

### Minimal cell structures in combinatorial model categories

I recently rediscovered a classical theorem from Hatcher which states that simply-connected CW complexes have a 'minimal' cell structure, where the cells correspond to spheres and disks indexed by the ...

3
votes

1
answer

125
views

### Can a phantom map have finite cofiber?

Let $f : X \to Y$ be a nonzero phantom map between spectra. Can the cofiber of $f$ be a finite spectrum?
Recall that a map $f$ is said to be phantom if $f \circ i = 0$ whenever $i : F \to X$ is a map ...

2
votes

1
answer

171
views

### combinatorical description of classifying map for principal $G$-bundle over Delta set

Let $X$ be topological realization of a (finite) Delta set, $G$ a finite group and $p: P \to X$ a principal $G$-bundle. It's standard that the isom' classes of such principal $G$-bundles are ...

2
votes

2
answers

194
views

### Is the mapping cylinder a replacement for morphism by cofibration in model categories?

Let $M$ be a model category, consider a very good cylinder object $X \coprod X \to X \times I \overset{\operatorname{pr}}{\to} X$ (here $X \times I$ is just a notation, no object $I$ is implied), that ...

1
vote

0
answers

81
views

### Stable equivalence and stability theorem of vector bundles

I am going through this paper by Tanaka. In the proof of Proposition 3.2(1) given below
The author says that by the stability theorem as $\dim (B)\le m$ we have $\alpha\oplus1\cong m\oplus1$. But I ...

5
votes

1
answer

250
views

### Are Euclidean spaces $\Delta$-generated?

From the definition of $\Delta$-generated it seems like $\mathbb R$ should be $\Delta$-generated, as $\mathbb R$ is final with respect to all continuous maps $\mathbb R^n \to \mathbb R$.
However, the ...

3
votes

1
answer

105
views

### Derived flat bundles

I am looking for a notion of derived flat bundles over a surface $X$. Flat vector bundles may be thought of in terms of surface representations $\pi_1(X)\rightarrow\text{GL}(V)$. Is there a notion of ...

3
votes

0
answers

46
views

### Natural morphisms between stable unitary, orthogonal, and (compact) symplectic groups

I am a physicist knowing a bit of algebraic topology, and trying to answer the following question.
This is perhaps not appropriate as a question on MO, in which case I apologize.
I posted this ...

2
votes

0
answers

136
views

### Local-to-global philosophy for crossed modules

In the survey Groupoids and crossed objects in algebraic topology Ronald Brown made after Corollary 5.17 (p 30) an very interesting remark I not fully understand. He stated that this
Corollary 5.17 ...

2
votes

1
answer

212
views

### Symmetric-monoidal-associative smash product up to homotopy

I am thinking about sequential spectra. I am trying to figure out if the smash product here is symmetric monoidal associative up to homotopy. See definition 3.16 in the above.
Recall that a sequential ...

2
votes

0
answers

147
views

### Classification of bundles with fixed total space

I am aware of classification theorems for principal bundles, vector bundles, and covering spaces $\pi:E\to B$ over a fixed base space $B$. Principal and vector bundles over $B$ are classified by ...

5
votes

0
answers

130
views

### Representing some odd multiples of integral homology classes by embedded submanifolds

Consider an $m$-dimensional compact closed orientable smooth manifold $M$ and an $n$-dimensional integral homology class $[\Sigma]$ on $M$, with $1 \le n \le m-1$. Then does there exist an odd integer ...

5
votes

0
answers

132
views

### Group homology of $\mathrm{GL}_2(\mathbb{R})$ with real coefficients

What is known about the group homology of $\mathrm{GL}_2(\mathbb{R})$ with real coefficients and what are strategies to compute it (or at least some groups for low degrees)? Here I want to consider ...

13
votes

1
answer

460
views

### Impossibility of realizing codimension 1 homology classes by embedded non-orientable hypersurfaces

Suppose we have an $n+1$-dimensional compact closed oriented manifold $M$ and an $n$-dimensional integral homology class $[\Sigma]\in H_n(M,\mathbb{Z})$ on $M.$ Then is it true that $[\Sigma]$ mod $2$ ...

7
votes

1
answer

1k
views

### Which revolutions in topology and geometry can we expect in the next 20 years? [closed]

In my limited perspective on the history of mathematics, I can name at least two big revolutions in Topology and Geometry (broadly construed): the introduction of Schemes in Algebraic Geometry, and ...

1
vote

1
answer

203
views

### On the definition of a derived $A_\infty$-category

Let $\mathcal{A}$ be an $A_\infty$-category. The derived $A_\infty$-category is defined to be the 0th cohomology category of the category of twisted complexes of $\mathcal{A}$.
I have troubles ...

2
votes

0
answers

138
views

### Connection on relative topological periodic cyclic homology

I have been looking Bhatt-Morrow-Scholze's paper:
https://arxiv.org/pdf/1802.03261.pdf
and came to a naive question. Let $C$ be a dg-category (with assumptions?) over $\mathbb{F}_p[[z]]$ and view this ...

3
votes

0
answers

178
views

### Reference for a folklore theorem about h-cobordisms

I've seen referenced here that if $M$ and $N$ are closed topological $n$-manifolds and $f: \mathbb{R}\times M \to \mathbb{R}\times N$ is a homeomorphism, then $M$ and $N$ are h-cobordant.
I know that ...

10
votes

1
answer

214
views

### Classifying space of centralizer

$\DeclareMathOperator\Map{Map}\newcommand{\B}{\mathrm{B}}\newcommand{\h}{\mathrm{h}}$Let $f:G\to H$ be a morphism of topological groups and let
$$H^{\h G}:=\Map_G(\mathrm{E}G, H)$$
be the homotopy ...

0
votes

1
answer

260
views

### what is this simple topological space?

Take $M_p$ the mapping cylinder (MC) of the $p=3$-fold cover of $S^1$, $M_q$ the MC of the $q=2$-fold cover of $S^1$, where for both, the identification of the MC is done on the side $\{0\}$ of $[0,1]$...

3
votes

1
answer

313
views

### "Totally real" linear transformations

Identify $\mathbb{C}^n$ with $\mathbb{R}^{2n}$ via the equality $$(z_1, z_2, \ldots, z_n)=(x_1, \ldots, x_n, y_1, \ldots , y_n)$$
Where $z_j=x_j + iy_j$.
We call a linear invertible map $A: \mathbb{R}^...

23
votes

1
answer

984
views

### What topological principle is at work here?

[I'm cross-posting this from MSE. I initially asked there 10 days ago, and the question was well-received, but left unanswered.]
My question is inspired by a problem I discovered in Putnam and Beyond,...

4
votes

0
answers

228
views

### Homotopy group of maps into S^3 using its Lie group multiplication to define the group operation

The Bruschlinsky group of maps of a space X into S1 up to homotopy, using the multiplication on S1, is well-known to equal the first cohomology group of X (at least assuming X is a reasonably nice ...

14
votes

1
answer

822
views

### What is $\pi_{23}(S^2)$?

The first $22$ homotopy groups of the $2$-sphere were worked out by Toda in 1962, but I cannot find any results extending that to any higher homotopy groups of $S^2$.
Are any more of these groups ...

4
votes

0
answers

152
views

### Possible Euler characteristics of manifolds with tangential structures

Let $p:B\to BO$ be a fibration. We say that a manifold has a $B$-structure if its stable tangent bundle lifts to $B$. I am interested in the question of whether there exists, for a given even ...

7
votes

0
answers

178
views

### Are the spaces BG for compact connected groups G ind-projective or ind-Kähler?

Let $G$ be a compact connected group, or maybe better its complexification. By thinking about the simplicial Borel space, or using $n$-acyclic $G$-spaces for higher and higher $n$, it's "easy&...

2
votes

0
answers

65
views

### Recover the $C_k$-action of a cyclic object as from the $S^1$-action on Hochschild chain

$\newcommand{\Fun}{\operatorname{Fun}}$Let $X\in\Fun(\Lambda^\mathrm{op}, \mathcal{C})$ be a cyclic object in the ($\infty$-)symmetric monoidal category $\mathcal{C}$, where $\Lambda$ is the cyclic ...

6
votes

0
answers

139
views

### Extending topological vector bundles and obstruction theory

This is a question that has appeared in various forms on MathOverflow, see here and here, for example. But as opposed to these more algebraic questions, I am interested in the purely topological ...

6
votes

1
answer

180
views

### Weakly contractible $X$, but none of the maps $*\to X$ are cofibrations

Let $\mathrm{Top}$ be the category of all topological spaces and continuous maps. The Quillen model structure on $\mathrm{Top}$ has weak equvalences $W = \{ \text{weak homotopy equivalences} \}$, ...

13
votes

2
answers

911
views

### Categories on which one can determine all model structures?

Famously, there are exactly nine model structures on the category of sets, which are detailed here. In this case, one can exhaustively determine all six weak factorization systems and then see which ...

14
votes

3
answers

573
views

### Strøm model structures on the category of simplicial sets

Let $X,Y$ be simplicial sets. A simplicial homotopy is a simplicial map of the form $h:X\times\Delta^1\rightarrow Y$. There are two distinguished maps
$$
in_0:X\cong X\times\Delta^0\xrightarrow{1\...

0
votes

0
answers

65
views

### Existence of covering space with trivial pullback map on $H^1$

I have seen somewhere the following claim (but can't remember where): let $M$ be a connected orientable closed smooth manifold with $b_1(M)=1$, then there exists a connected covering space $p:\tilde{M}...

3
votes

1
answer

219
views

### Is every strongly causal spacetime purely electric?

Take a time 4-dimensional orinted Lorentzian manifold $(M,g)$.
A spacetime is called Strongly Causal at point $p$ if and only if for every neighbourhood $U$ of the point $p$ there exists a ...

3
votes

1
answer

130
views

### Linearity of topological periodic cyclic homology

Let $A$ be an $E_\infty$ ring spectrum, $B$ a ring spectrum. Then if I understand correctly, $TP(A)$ is a ring spectrum by the lax monoidal property of $TP$. Suppose there is a map of ringed spectra ...

1
vote

0
answers

84
views

### On the equivalence of two definitions of cohomological dimension for locally compact topological spaces

$\mathbf{The \ Problem \ is}:$ Let $X$ is a locally compact, separable metric space. Let $G$ be an abelian group. Now I came across two definitions of cohomological dimension of $X.$ One is the usual ...

1
vote

2
answers

213
views

### Generalized cohomology on the one point space

I am reading Hatcher's algebraic topology for an assignment on generalized cohomology theories, and in section 4.E p. 447 he says the following
The wedge axiom implies that $h(\textit{point})$ is ...