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

learn more… | top users | synonyms (1)

3
votes
2answers
215 views

When do zero-simplices of a simplicial diagram determine its homotopy colimit?

Suppose that I have a diagram of simplicial sets $X_\bullet:\mathscr{C} \to Set^{\Delta^{op}},$ with $\mathscr{C}$ a small category such that for each $C \in \mathscr{C},$ $X_\bullet(C)$ is a Kan ...
1
vote
0answers
80 views

Properties of “incomplete finite simplicial complexes”

Definition: We say that $K'$ is an incomplete finite simplicial complex if there exists a finite simplicial complex $K$ such that $|K'|=|K|\backslash Y$ where $Y$ is a union of some open faces of K. ...
2
votes
0answers
64 views

Multiplicativity of combinatorial l classes

For closed smooth manifolds $M$ and $N$, the Hirzebruch $L$ class is multiplicative, i.e. $L(M\times N)=L(M)L(N)$. Is this property still true if $M$ and $N$ are assumed to be closed topological ...
-3
votes
0answers
162 views

Why is SO(3) not $S^1 \times S^2$? (Where is the mistake?) [migrated]

I was trying to calculate the fundamental group of SO(3). In order to represent the group I reasoned the following way: In order to build the 3X3 orthogonal matrix I need an orthonormal positive ...
1
vote
1answer
276 views

Does the singular cohomology for a metric space of finite topological dimension vanish in high dimensions?

It is known that by applying the universal coefficient theorem, the singular cohomology of closed manifold with coefficient $\mathbb{Z}_2$ vanishes in high dimensions. But for a metric space $M$ with ...
8
votes
1answer
1k views

why isn't the mobius band an algebraic line bundle?

When I hear the phrase "line bundle" the first thing that pops into my head is a mobius band. But this is a bad picture from an algebraic point of view since any line bundle on an affine variety is ...
7
votes
1answer
457 views

Category of motivic spectra

When the survey Axiomatic Stable Homotopy, Neil Strickland, 2004 was written the category of motivic spectra was not investigated from the point of view of axiomatic stable homotopy, as considered ...
11
votes
1answer
388 views

Elliptic curves and connected components

Are there elliptic curves of positive rank with two real connected components in which all the rational points lie only on one component? Concrete examples are really appreciated.
21
votes
1answer
727 views

What is to tmf as KR is to KO?

The $E_\infty$-ring spectrum $KU$ of complex K-theory carries a canonical involution induced from complex conjugation of complex vector bundles. The homotopy fixed points of this $\mathbb{Z}_2$-action ...
6
votes
0answers
105 views

Connection between quasifibrations and homotopy cartesian squares

Let me first fix the definitions. A map $p\colon E\rightarrow B$ is called a quasi-fibration, iff the canonical inclusion $p^{-1}(b)\rightarrow hofib_b(p)$ is a weak equivalence for all for all $b\in ...
1
vote
1answer
284 views

Isomorphism between a mapping class group and the fundamental group of a moduli space

For some fixed integer $d \geq 3$, let $M(0, d)$ be the mapping class group of self-homeomorphisms of the Riemann sphere which fix each of the $d$ points $0, 1, ... , d-2, \infty$. Let $X$ be the ...
9
votes
1answer
327 views

Is every degree 1 self-map a homotopy equivalence?

In a rather obscure article, I found (without proof) the following statement: If $M$ is a closed orientable manifold, every degree $1$ map $f: M \rightarrow M$ is a homotopy equivalence. Is this ...
4
votes
0answers
92 views

Global Affine Flag Variety and Affine Flag Variety

There is a construction of a global affine flag variety over $\mathbb{A}^1$ (or another curve) $Fl_{\mathbb{A}_1}$ such that each fiber above $\epsilon \neq 0$ is isomorphic to a direct product of the ...
6
votes
2answers
244 views

Is every $S^3$ block bundle over $S^4$ a fiber bundle?

I am interested in the difference between block bundle and fiber bundle. Let $K$ be a simplicial complex and $p: E\to |K|$ be a continuous map. A block diffeomorphism of $\Delta^p\times M$ is a ...
3
votes
0answers
73 views

Intuitive Aproach of Dolbeault Cohomology

(Duplicated from math.stackexchange) I would like to understand an intuitive approach to the definitions of Dolbeault Cohomology (using $\partial$ and $\bar{\partial}$) similar to the one given here. ...
2
votes
1answer
98 views

Intersection of two real polynomial surfaces

Consider two real polynomials in three variables, defined on the 3-sphere, $S^3$. Is there some Bezout-type theorem, relating the intersection of two closed surfaces defined by these polynomials and ...
6
votes
1answer
258 views

Generalized Thom spectra

I am currently trying to wrap my head around all kinds of different definitions of the notion of (generalized) Thom spectrum. My setup is as follows: Suppose I have a commutative (symmetric) ring ...
10
votes
4answers
970 views

What are the most general classes of simplicial complexes or posets for which the Charney-Davis conjecture is known, and what is the most general setting for which it might expected to be true?

What I would like to know is exactly what the title asks: What are the most general classes of simplicial complexes or posets for which the Charney-Davis conjecture is known, and what is the ...
0
votes
0answers
86 views

Does the singular cohomology theory agree with Alexander-Spanier's for compact metric spaces? [migrated]

From http://en.wikipedia.org/wiki/Alexander%E2%80%93Spanier_cohomology, we know that the Alexander–Spanier cohomology groups coincide with Cech's for compact metric spaces, and coincide with singular ...
0
votes
0answers
86 views

A naturality question concerning the universal coefficient spectral sequence

I am reading Hillman's book "algebraic invariants of links" and on page 20 he mentions the following universal coefficient spectral sequence. Let X be a connected finite CW complex.Let $H$ be a ...
7
votes
1answer
284 views

Parity of self-linking

For a class $x$ in $H_{2k}$ of a 4k-manifold $M$, the self-intersection $x.x$ agrees mod 2 with the cap product of $x$ with the Wu class $v_{2k}$. If instead $x$ is a torsion element of $H_{2k}$ of a ...
5
votes
2answers
1k views

Grothendieck spectral sequence and Mayer-Vietoris sequence

Suppose $U'\cup U''=X$ is an open cover $U$ of a topological space $X$ and $F$ is a sheaf on $X$ with values in abelian groups. There is a special instance of the Grothendieck spectral sequence ...
3
votes
1answer
337 views

How do small changes in a filtered complex affect the associated spectral sequence

I have recently been learning about spectral sequences, not in the context of any problem, but mostly out of curiosity. There are two questions that have occurred to me which I've been unable to ...
2
votes
1answer
157 views

Complexification of real k-theory gives index $2$ subgroup of complex k-theory

We have $\widetilde{KO}(S^4) \cong \mathbb{Z}$ and $\widetilde{K}(S^4) \cong \mathbb{Z}$. There is a map $i:\widetilde{KO}(S^4) \rightarrow \widetilde{K}(S^4)$ that takes a stable vector bundle to ...
10
votes
1answer
308 views

Condition on a Hopf operad for tensor product in the base categoy to be a (categorical) coproduct for algebras

A Hopf operad will be an operad endowed with a coproduct $P(n) \longrightarrow P(n) \otimes P(n)$ which is compatible in the obvious sens with operad laws (no more structure is assumed a priori. ...
8
votes
5answers
889 views

References for Eilenberg-Zilber shuffle product

Most of the treatments I can find in the literature for the Eilenberg-Zilber shuffle product approach it from the point of view of simplicial sets (including the original Eilenberg-MacLane paper). I ...
5
votes
0answers
133 views

G-spaces and SG-module spectra

This question is related to the one here, but has a slightly different angle. Let $G$ be a topological group and let $X$ be a $G$-space. Taking the suspension spectrum $\Sigma^{\infty}_+ X$ (in my ...
0
votes
0answers
53 views

cohomology of labelled configuration space & relation with braid space

Let $M$ be a manifold and $(X,*)$ be a pointed topological space. ( If we want, we can let $M=S^2,S^1\times \mathbb{R},etc.$) Let $F(M,k)$ be the ordered configuration space of $k$-tuples on $M$. ...
3
votes
2answers
205 views

cohomology algebra of braid spaces, configuration spaces

In Homology of $C_{n+1}$-spaces, $n\geq 0$, F.R. Cohen, Lecture Notes in Mathematics, Vol. 533, Chapter 5, 6, 7, 8, 9, 10, 11, the cohomology algebra $H^*(B(\mathbb{R}^{n+1},p),\mathbb{Z}_p)$, for ...
4
votes
2answers
190 views

Reference for homotopy (co)limits of (co)chain complexes via totalization of double complexes

It seems to be a well-known fact that homotopy (co)limits of (co)simplicial diagrams of nonnegatively graded (co)chain complexes in (Grothendieck) abelian categories can be computed by using the ...
5
votes
1answer
141 views

Reference for Mod 2 cohomology of $BZ_{2r}$ in terms of Stiefel-Whitney Classes

I was hoping for an explicit reference to the description of the mod 2 cohomology of a cyclic group $C_{2r}=\langle t \rangle$ of even order in terms of Stiefel-Whitney classes, i.e., that ...
19
votes
2answers
3k views

The error in Petrovski and Landis' proof of the 16th Hilbert problem

Edit:For a recent progress on the Hilbert 16th problem see the following note which consider an infinite dimensional nature for this apparently 2 dimensional amazing problem . Best wishes for ...
3
votes
1answer
130 views

Mod 2 Totaro spectral sequence for non-orientable manifolds

I've been reading Burt Totaro's article "Configuration spaces of algebraic varieties", and I have a question regarding the main theorem (Theorem 1 in page 3 of the pdf). The theorem in question gives ...
0
votes
1answer
100 views

cohomology version of Cartan-Leray spectral sequence that deduces cup product

On page 338, A User's Guide to Spectral Sequences. 2nd Edition, by John McCleary, Theorem 8.9, there is a Cartan-Leray spectral sequence for homology: If $X$ is a connected pace on which the group ...
13
votes
1answer
195 views

Embedding of two-dimensional CW complexes which induces a zero homomorphism on second homotopy groups

I am interested in the following question which I asked at MSE and did not get any clues. How to find three two-dimensional CW complexes $K_1, K_2, K_3$ with non-trivial $\pi_2$ and injective ...
6
votes
3answers
618 views

Does a connected manifold with vanishing Euler characteristic admit a nowhere-vanishing vector field?

A version of the "hairy ball" theorem, due probably to Chern, says that the Euler-characteristic of a closed (i.e. compact without boundary) manifold $M$ can be computed as follows. Choose any vector ...
1
vote
2answers
94 views

Reference for the proof of a neighbourhood characterisation of cofibrations

I am interested in a reference for the proof of the following theorem for $A,X$ being CGWH topological spaces. Let $A\subset X$ be a closed subspace, such that there exists a continuous $\phi : ...
10
votes
0answers
281 views

Smooth 4-manifolds with $E_8$ intersection form

Does there exist a closed orientable smooth 4-manifold $M$ whose intersection form is the $E_8$-form? Here by the intersection form I mean the $\mathbb{Z}$-valued bilinear form on ...
9
votes
6answers
1k views

Giving $Top(X,Y)$ an appropriate topology

I am not sure if its OK to ask this question here. Let $Top$ be the category of topological spaces. Let $X,Y$ be objects in $Top$. Let $F:\mathbb{I}\rightarrow Top(X,Y)$ be a function (I will ...
1
vote
1answer
129 views

fiber sequence of principal bundles

Let $G$ be a group, either a Lie group or a discrete group. Let a principal $G$-bundle $$ G\to E\to B,$$ then $B=E/G$, the orbit space under action of $G$. Let $BG$ be the classifying space of $G$. ...
4
votes
0answers
240 views

Very frustrated reading a proof of the faithfulness of Artin's representation of braid groups

I am reading BRAID GROUPS, FREE GROUPS, AND THE LOOP SPACE OF THE 2-SPHERE by F.R. Cohen and J. Wu and here is an extract of the paper: (The proof is not finished yet but I am very confused by now.) ...
24
votes
2answers
1k views

Unifying Geometry for Characteristic Classes

When working with characteristic classes (more concretely Chern classes), one finds at least four essentially distinct approaches: Axiomatic Approach. See, for instance, Vector Bundles and K-Theory, ...
8
votes
0answers
144 views

Stable range of some classifying spaces and iterated loop spaces

Galatius (in his talk) has made very interesting remarks about the stable range of some classifying spaces of groups. To be more concrete, I will mention two examples to illustrate his (?) point of ...
4
votes
1answer
199 views

Relation between cohomology of ordered and unordered configuration spaces

Let $M$ be a manifold. Then $F(M,k)/\Sigma_k$, the unordered configuration space of $k$ points, is obtained as a quotient of $F(M,k)$, the ordered configuration space of $k$ points, by the group ...
2
votes
0answers
126 views

Twisting of the power functor

Let $k$ be a field of characteristic $p$ and $D^b(k)$ be the infinity (equivalently, DG) category of perfect complexes over $k$. Let $C_p(=\mathbb{Z}/p)$ be the cyclic group on $p$ elements. For a ...
8
votes
1answer
567 views

What is the analogue of a Lefschetz Thimble for Morse-Bott critical components (sets of non-isolated critical points)?

Small pre-face: I did an applied math PhD in the UK, but the problem I ended up studying has important ramifications in pure math, specifically to do with the Gauss-Manin connection in the presence of ...
0
votes
1answer
140 views

Homology of a finite disjoint union of open cells

Let $X$ be a topological space. Assume that $X$ admits a finite decomposition of the form $X=\bigsqcup\limits_{i=1}^n V_i$ where each $V_i$ is homeomorphic (in the subspace topology of $X$) to an open ...
18
votes
2answers
781 views

Teaching the fundamental group via everyday examples

This question is a "prequel" to a similar question about homology. Both questions were inspired by seeing a talk, by Tadashi Tokieda, about the interesting physics that appears in toys. What ...
5
votes
1answer
303 views

The function algebra $C^{\infty}(M\#N)$ of the connected sum of two spaces

Operations such as taking union or Cartesian products of spaces have direct analogues in term of algebra of functions on them (direct sum and tensor product, respectively), my question is: Is there ...
4
votes
2answers
434 views

High dimensional topological field theory

In the article Topological Field Theories in 2 dimension, Constantin Teleman has the following commentary " By constrast, in higher dimension, there seem to be no interesting theories: all examples ...