# Questions tagged [at.algebraic-topology]

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

1,536
questions with no upvoted or accepted answers

**120**

votes

**0**answers

10k views

### Grothendieck-Teichmuller conjecture

(1) In "Esquisse d'un programme", Grothendieck conjectures
Grothendieck-Teichmuller conjecture: the morphism
$$
G_{\mathbb{Q}} \longrightarrow Aut(\widehat{T})
$$
is an isomorphism.
Here $G_{\...

**50**

votes

**0**answers

1k views

### Are there periodicity phenomena in manifold topology with odd period?

The study of $n$-manifolds has some well-known periodicities in $n$ with period a power of $2$:
$n \bmod 2$ is important. Poincaré duality implies that odd-dimensional compact oriented manifolds ...

**48**

votes

**0**answers

11k views

### Atiyah's paper on complex structures on $S^6$

M. Atiyah has posted a preprint on arXiv on the non-existence of complex structure on the sphere $S^6$.
https://arxiv.org/abs/1610.09366
It relies on the topological $K$-theory $KR$ and in ...

**43**

votes

**0**answers

16k views

### What is the current understanding regarding complex structures on the 6-sphere?

In October 2016, Atiyah famously posted a preprint to the arXiv, "The Non-Existent Complex 6-Sphere" containing a very brief proof $S^6$ admits no complex structure, which I immediately read and ...

**42**

votes

**0**answers

1k views

### What is the “real” meaning of the $\hat A$ class (or the Todd class)?

In the Atiyah-Singer index theorem as well as in the Grothendieck-Riemann-Roch theorem, one encounters either the $\hat A$-class or the Todd class, depending on the context. I want to focus on the ...

**39**

votes

**0**answers

2k views

### What are the potential applications of perfectoid spaces to homotopy theory?

This year's Arizona Winter School was on perfectoid spaces, and there were quite a few homotopy theorists in the audience. I'd like to get a "big list" of reasons homotopy theorists might care about ...

**38**

votes

**0**answers

1k views

### Homotopy type of TOP(4)/PL(4)

It is known (e.g. the Kirby-Siebenmann book) that $\mathrm{TOP}(n)/\mathrm{PL}(n)\simeq K({\mathbb Z}/2,3)$ for $n>4$. I believe it is also known (Freedman-Quinn) that $\mathrm{TOP}(4)/\mathrm{PL}(...

**36**

votes

**0**answers

921 views

### Is there anything to the obvious analogy between Joyal's combinatorial species and Goodwillie calculus?

Combinatorial species and calculus of functors both take the viewpoint that many interesting functors can be expanded in a kind of Taylor series. Many operations familiar from actual calculus can be ...

**36**

votes

**0**answers

1k views

### Functor that maps to both $KO^n$ and $KO^{-n}$

(my question is also meaningful for complex K-theory, but since Kn(X) is always isomorphic to K-n(X), it's less interesting)
I start by recalling the analytic definition of KO-theory:
The following ...

**32**

votes

**0**answers

2k views

### Microlocal geometry - A theorem of Verdier

(1) In "Geometrie Microlocale", Verdier states the following theorem.
Theorem: Let $E$ be a vector space and $F$ a constructible complex on $E$.
Then for $\ell$ a linear form on $E$, we have a ...

**29**

votes

**0**answers

2k views

### Why do Clifford algebras determine $KO$ (and $K$-)-theory?

In the paper "Clifford modules" by Atiyah-Bott-Shapiro, they construct a family of Clifford algebras $C_k$ over the real numbers, so that $C_k$ is the algebra associated to a negative definite form on ...

**29**

votes

**0**answers

2k views

### Is there software to compute the cohomology of an affine variety?

I have some affine varieties whose cohomology (topological, with $\mathbb{C}$ coefficients) I would like to know. They are very nice, they are all of the form $\mathbb{A}^n \setminus \{ f=0 \}$ for ...

**27**

votes

**0**answers

1k views

### Is there a (discrete) monoid M injecting into its group completion G for which BM is not homotopy equivalent to BG?

For a (discrete) monoid $M$, the classifying space $BM$ is the
geometric realization of the nerve of the one object category whose
hom-set is $M$. (This definition gives the usual classfiying space
...

**27**

votes

**0**answers

1k views

### On the (derived) dual to the James construction.

Background
If $X$ is a based space then the James construction on $X$ is the space $J(X)$ given by
$$
X \quad \cup \quad X^{\times 2} \quad \cup \quad X^{\times 3} \quad \cup \quad \cdots
$$
in ...

**25**

votes

**0**answers

736 views

### Does the Tate construction (defined with direct sums) have a derived interpretation?

Any abelian group M with an action of a finite group $G$ has a Tate cohomology object $\hat H(G;M)$ in the derived category of chain complexes. There are several ways to define this. One is as the ...

**25**

votes

**0**answers

994 views

### Computational complexity of topological K-theory

I am a novice with K-theory trying to understand what is and what is not possible.
Given a finite simplicial complex $X$, there of course elementary ways to quickly compute the cohomology of $X$ with ...

**25**

votes

**0**answers

703 views

### Why are quasitopological spaces needed in sheaf theoretic approaches to the h-principle?

Recently I have been learning more about the h-principle and in particular the methods of "continuous sheaves". In many treatments of this I see people using "quasi-topological spaces" and I am trying ...

**24**

votes

**1**answer

2k views

### When is a compact topological 4-manifold a CW complex?

Freedman's $E_8$-manifold is nontriangulable, as proved on page (xvi) of the Akbulut-McCarthy 1990 Princeton Mathematical Notes "Casson's invariant for oriented homology 3-spheres".
Kirby showed that ...

**23**

votes

**0**answers

396 views

### Topological loops vs. algebro-geometric suspension in Hochschild homology

Let $k$ be a base commutative ring, and let $A$ be a (unital but not necessarily commutative) $k$-algebra. The cone on $A$ is the ring $CA$ of infinite matrices $(a_{ij})_{i,j \geq 1}$ that are ...

**23**

votes

**0**answers

1k views

### p-Adic String Theory and the String-orientation of Topological Modular Forms (tmf)

I am going to ask a question, at the end below, on whether anyone has tried to make more explicit what should be, it seems to me, a close relation between p-adic string theory and the refinement of ...

**23**

votes

**0**answers

611 views

### Are there “chain complexes” and “homology groups” taking values in pairs of topological spaces?

Throughout this question, notation of the form $(X,A)$ denotes a sufficiently nice pair of topological spaces. I think for most of what I'm saying here, it is enough to assume that the inclusion $A \...

**23**

votes

**0**answers

2k views

### Why do polytopes pop up in Lagrange inversion?

I'd be interested in hearing people's viewpoints on this. Looking for an intuitive perspective. See Wikipedia for descriptions of polytopes and the Lagrange inversion theorem/formula (LIF) for ...

**22**

votes

**0**answers

485 views

### What is the symmetric monoidal functor from Clifford algebras to invertible K-module spectra?

There ought to be a symmetric monoidal functor from the symmetric monoidal $2$-groupoid whose objects are Morita-invertible real superalgebras (precisely the Clifford algebras), morphisms are ...

**22**

votes

**0**answers

341 views

### Unoriented bordism and homology, reference?

The following has undoubtedly been known to the experts for years, but I only noticed it the other day. Can anyone give a reference?
One can prove Thom's theorem to the effect that every mod $2$ ...

**22**

votes

**0**answers

2k views

### Is the equivariant cohomology an equivariant cohomology?

Suppose a finite group $G$ acts piecewise linearly on a polyhedron $X$. Then there are two kinds of equivariant cohomology (or homology).
$\bullet$ With coefficients in a $\Bbb Z G$-module $M$. A ...

**21**

votes

**0**answers

602 views

### If $X\times Y$ is homotopy equivalent to a finite-dimensional CW Complex, are $X$ and $Y$ as well?

Is there a space $X$ that is not homotopy equivalent to a finite-dimensional CW complex for which there exists a space $Y$ such that the product space $X\times Y$ is homotopy equivalent to a finite-...

**21**

votes

**0**answers

705 views

### Bar construction vs. twisted tensor product

One may study the cohomology of a space $E$ expressed as a homotopy pullback of $X$ and $Y$ over $Z$ using either the Eilenberg-Moore spectral sequence or the Serre spectral sequence for the fibration ...

**21**

votes

**0**answers

887 views

### Can we describe equivariant vector bundles of free group action in terms of descent theory (Barr-Beck theorem)?

It is well known that for a compact topological group $G$ acts (say, from the right) freely on a compact space $X$. Then the category of equivariant complex vector bundles on $X$, $\text{Vect}_G(X)$, ...

**21**

votes

**0**answers

667 views

### Characteristic Classes for $E_8$ Bundles

Given a principal $E_8$ bundle $P\rightarrow X$ one can take the
adjoint representation $\rho :E_8\rightarrow SU(\mathbb C^{248})$
and form the associated vector bundle $V=P\times_{\rho}\mathbb
C^{248}...

**21**

votes

**0**answers

1k views

### What is the current knowledge of equivariant cohomology operations?

In Caruso's paper, "Operations in equivariant $Z/p$-cohomology," http://www.ams.org/mathscinet-getitem?mr=1684248, he shows that the integer-graded stable cohomology operations in $RO(\mathbb{Z}/p)$-...

**21**

votes

**0**answers

860 views

### Poincaré-Hopf and Mathai-Quillen for Chern classes?

One. The Poincaré-Hopf theorem is usually stated as a formula for the Euler characteristic of the tangent bundle TM. Is there a version for Euler classes, of oriented real vector bundles?
It seems ...

**20**

votes

**0**answers

475 views

### Is the mapping class group of $\Bbb{CP}^n$ known?

In his paper "Concordance spaces, higher simple homotopy theory, and applications", Hatcher calcuates the smooth, PL, and topological mapping class groups of the $n$-torus $T^n$. This requires an ...

**20**

votes

**0**answers

690 views

### Is the determinant of cohomology a TQFT?

If $M$ is an oriented $d$-manifold, let $D(M)$ denote the top exterior power of $H^*(M,\mathbf{C})$. Then $D(M_1 \amalg M_2) = D(M_1) \otimes D(M_2)$. Is there a good recipe for a map $D(M) \to D(N)$...

**20**

votes

**0**answers

593 views

### On a homological finiteness condition

Assumption: $X$ is a connected CW complex, and $H_{\ast}(X;\mathbb{Z})=\bigoplus_{n \geq 0} H_n (X; \mathbb{Z})$ is finitely generated.
Question: does there exist a finite CW complex $Y$ and a map $f:...

**19**

votes

**0**answers

3k views

### Origins of the Nerve Theorem

Recently, I've read two papers which have cited the Nerve Theorem, one crediting Borsuk with the result and another Leray. Here is the question:
Who was the first to prove the Nerve Theorem?

**18**

votes

**0**answers

463 views

### Are simplicial finite CW complexes and simplicial finite simplicial sets equivalent?

Edit Originally the question was whether an arbitrary diagram of finite CW complexes can be approximated by a diagram of finite simplicial sets. In view of Tyler's comment, this was clearly asking for ...

**18**

votes

**0**answers

405 views

### A curious switch in infinite dimensions

Let $V$ be a finite dimensional real vector space. Let $GL(V)$ be the set of invertible linear transformations, and $\Phi(V)$ be the set of all linear transformations. We can also characterize $\Phi(V)...

**18**

votes

**0**answers

563 views

### Homotopy groups of spheres and differential forms

The only infinite homotopy groups of spheres are $\pi_n(\mathbb{S}^n)$ and $\pi_{4n-1}(\mathbb{S}^{2n})$. This is a well known result of Serre. In both cases the nontriviality of these groups can be ...

**18**

votes

**0**answers

281 views

### “High-concept” explanation for proof of a theorem of Ochanine?

See Akhil Mathew's notes on Ochanine's theorem for elliptic genera here and here.
Let $\phi: \Omega_{SO} \to \Lambda$ be a genus. We might ask when $\phi$ satisfies the following multiplicative ...

**18**

votes

**0**answers

804 views

### What is operator tmf?

One of the many wonderful things about K-theory, relative to other generalized cohomology theories, is that it can be defined for not-necessarily-commutative C*-algebras. The resulting construction, ...

**18**

votes

**0**answers

451 views

### Lipschitz constant of a homotopy

Let $n>0$, $\mathbb S^n$ be $n$-sphere and $1\in \mathbb S^n$ be its north pole.
A am looking for an example of compact manifold $M$ with a continuous $n$-parameter family of maps $h_x\colon M\to ...

**18**

votes

**0**answers

1k views

### Hodge star and harmonic simplicial differential forms

Is there a notion of harmonic forms and Hodge theory for Sullivan's piecewise smooth differential forms on a simplicial set?
Let me recall some background.
Hodge Theory on a Riemannian manifold
A ...

**18**

votes

**0**answers

723 views

### Folk Functorial Figuring

In the CRM Proceedings & Lecture Notes Volume 50 "A Celebration of the Mathematical Legacy of Raoul Bott" Herbert Shulman writes (p. 48):
"[Bott] taught many of us to think functorially, like ...

**18**

votes

**0**answers

457 views

### Other examples of computations using transfer of structure from the chains to the homology?

There is a `long' history of transfer (up to homotopy!) of algebraic structure from a dg _ algebra A to its homology H(A) (e.g. Kadeishvili for the associative case and Heubschmann for the Lie case). ...

**17**

votes

**0**answers

465 views

### If $A, B$ are abelian groups such that $\mathrm{Hom}(A, G) \cong \mathrm{Hom}(B, G)$ for all abelian groups $G$, must $A$ and $B$ be isomorphic?

The question is in the title. If the isomorphism $\mathrm{Hom}(A, G) \cong \mathrm{Hom}(B, G)$ is natural in $G$ then this is just the Yoneda Lemma. If $A$ and $B$ are finitely generated this is also ...

**17**

votes

**0**answers

499 views

### Which rings are cohomology rings?

Which rings can arise as cohomology rings of algebraic varieties?
To be more specific, take a Weil cohomology theory $H^*$ with coefficients in a field $K$ of characteristic 0 defined for smooth ...

**17**

votes

**0**answers

382 views

### On manifolds which do not admit (smooth) actions of finite groups

Question: Assume a smooth manifold $M$ does not admit any effective smooth group actions of finite groups $G \neq 1$, does it follow that $M$ also admits no continuous effective group actions of ...

**17**

votes

**0**answers

361 views

### Elliptic $\infty$-line bundles over $B G$

Theorem 5.2 in Jacob Lurie's "Survey of Elliptic Cohomology" (pdf) states the equivalence of two maps
$$
B G \longrightarrow B \mathrm{GL}_1(A)
$$
for $A$ an $E_\infty$-ring carrying an oriented ...

**17**

votes

**0**answers

607 views

### The spectral sequence of a tower of principal fibrations

Assume we have a tower of fibrations (of simplicial sets, let's say):
$$\cdots\rightarrow X_{n+1}\rightarrow X_n\rightarrow\cdots\rightarrow X_0.$$
Let $X=\lim_nX_n$ be the (homotopy) inverse limit. ...

**17**

votes

**0**answers

635 views

### Steenrod algebra at a prime power

Let $n=p^k$ be a prime power.
When $k=1$, the algebra of stable operations in mod $p$ cohomology is the Steenrod algebra $\mathcal{A}_p$. It has a nice description in terms of generators and ...