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

learn more… | top users | synonyms (1)

69
votes
0answers
5k 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_{\...
47
votes
0answers
573 views

Topological cobordisms between smooth manifolds

Wall has calculated enough about the cobordism ring of oriented smooth manifolds that we know that two oriented smooth manifolds are oriented cobordant if and only if they have the same Stiefel--...
40
votes
0answers
627 views

Does $\Bbb{CP}^{2n} \# \Bbb{CP}^{2n}$ ever support an almost complex structure?

This question has been crossposted from Math.SE in the hopes that it reaches a larger audience here. $\Bbb{CP}^{2n+1} \# \Bbb{CP}^{2n+1}$ supports a complex structure: $\Bbb{CP}^{2n+1}$ has an ...
37
votes
0answers
745 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 ...
37
votes
0answers
938 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}(...
33
votes
0answers
1k views

Finite complexes whose homotopy groups are not “finitely generated”

I'll say $K$ has "finitely generated" homotopy groups if there is a finite wedge of spheres $W = \bigvee S^{n_i}$ and a map $f: W\to K$ which induces a surjection on $\pi_*$. It seems likely that ...
32
votes
0answers
932 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 ...
28
votes
0answers
542 views

Atiyah-Singer theorem-a big picture

So far I made several attempts to really learn Atiyah-Singer theorem. In order to really understand this result rather broad background is required: you need to know analysis (pseudodifferential ...
28
votes
0answers
1k views

Manifolds admitting CW-structure with single n-cell

Let $M$ be a topological $n$-manifold, closed and connected (not necessarily oriented): When does $M$ not admit (up to homotopy-type) a CW-structure with a single $n$-cell? By classification of ...
28
votes
0answers
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 ...
27
votes
0answers
367 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 ...
26
votes
0answers
1k 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 ...
26
votes
0answers
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 ...
23
votes
0answers
593 views

Software for rational homotopy theory

Does anybody know a software manipulating commutative differential graded algebras, and providing a computation of the minimal model? I tried to use the package DGAlgebras of Macaulay2, but I got ...
22
votes
0answers
492 views

Finding the octonionic analog of the K3 surface, via (almost) hyperkahler geometry?

The K3 manifold is an amazing object in mathematics which plays an important role in several fields ranging from the study of smooth 4-manifolds to algebraic geometry to differential geometry and ...
22
votes
0answers
843 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 ...
21
votes
0answers
301 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 ...
21
votes
0answers
456 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 ...
21
votes
0answers
1k 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 ...
20
votes
0answers
531 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:...
20
votes
0answers
532 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 \...
20
votes
0answers
572 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}...
20
votes
0answers
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 ...
19
votes
0answers
214 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 ...
19
votes
0answers
276 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 ...
19
votes
0answers
690 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 ...
18
votes
0answers
243 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$ ...
18
votes
0answers
593 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 ...
18
votes
0answers
1k 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?
17
votes
0answers
1k 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 ...
17
votes
0answers
662 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 ...
17
votes
0answers
404 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
0answers
859 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)$-...
17
votes
0answers
696 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 ...
16
votes
0answers
464 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)$...
16
votes
0answers
285 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 ...
16
votes
0answers
462 views

What is the determinant of Poincaré duality?

For a complex $C^{\bullet}$ of finite dimensional vector spaces, one has a determinant $$|C^\bullet|:= \bigotimes \left(\Lambda^{top} C^i\right)^{(-1)^i}$$ functorial with respect to quasi-...
16
votes
0answers
678 views

Homology classes of subvarieties of toric varieties

Let $X$ be a smooth proper toric variety, $Z\subseteq X$ a smooth subvariety. Is the fundamental class $[Z] \in H_\ast(X) = A_\ast(X)$ nonzero? Background If $X$ is a Kaehler variety, this is ...
16
votes
0answers
1k views

Mixed Hodge structure on the rational homotopy type

A mixed Hodge structure (mHs) on a commutative differential graded algebra (cgda) over $\mathbf{Q}$ is a mixed Hodge structure on the underlying vector space such that the product and the differential ...
15
votes
0answers
266 views

Groups whose finite index subgroups of fixed index are isomorphic

I am interested in finitely generated groups $G$ that are residually finite and have the following property: For each $d \geq 1$, $G$ has subgroups of finite index $d$, and all such subgroups are ...
15
votes
0answers
625 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, ...
15
votes
0answers
493 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 ...
15
votes
0answers
642 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)$, ...
15
votes
0answers
335 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 off maps $h_x\colon M\to ...
15
votes
0answers
1k views

Covers of $Z^k$

This is a question related to covers of $Z^\infty$. Is it possible to cover $Z^k$, $k>1$, with the $l_1$-metric by a constant (not depending on $k$) number of collections of subsets $U^0,...,U^c$ ...
14
votes
0answers
325 views

Does the category of G-spectra know G?

I was recently in the situation of having access to the category of $G$-modules (for some group $G$ which I had forgotten), as just a category, i.e. no monoidal structure, together with the forgetful ...
14
votes
0answers
230 views

Is the $\infty$-topos $Sh(X)$ hypercomplete whenever $X$ is a CW complex?

It can be shown (see Is every paracompact, Hausdorff, locally contractible space homotopy equivalent to a CW complex?) that if $X$ is a locally contractible paracompact Hausdorff space such that the $\...
14
votes
0answers
1k views

Grothendieck 's question - any update?

This question is migrated from math.stackexchange. I ask because it is still unclear to me and I did not receive an answer. I was reading Barry Mazur's biography and come across this part: ...
14
votes
0answers
889 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 ...
13
votes
0answers
198 views

Uniqueness of connected cover of Morava K-theory

Let $k(n)$ denote the connected cover of Morava $K$-theory $K(n)$ at the prime $2$ and in particular $n=2$. It is known that $$ H^*(k(n)) = A//E(Q_n), $$ where $A$ is the Steenrod algebra and $Q_n$ is ...