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

**1**

vote

**0**answers

62 views

### Gysin sequence for $\mathbb S^3$ bundle

Let the group $G=\mathbb S^3$ act semi freely on a paracompact space $X$. Then exercise 12 of G.E. Breadon's book , Introduction to compact transformation groups pg 169 asks to derive the following ...

**6**

votes

**2**answers

387 views

### Equivariant Stratifications of a Variety

Let $X$ be a complex variety acted upon algebraically by a complex torus $T$. Suppose that $\{X_{\beta}\}_{\beta\in S}$ is a finite $T$-equivariant stratification of $X$, so that the $X_{\beta}$ are ...

**0**

votes

**0**answers

75 views

### Existence of $n$-connected topological groups with $m$-dimensional action extending that of $GL(m)$ on $\mathbb{R}^m$

I'll first state the question as concisely as I can and then provide some motivation.
Consider two positive integers $m$ and $n$ such that $m < n+2$. Does there exist a topological group $G$ ...

**11**

votes

**0**answers

419 views

### About maps inducing bijections on homotopy classes

Let us assume that $f:X \to Y$ is a map of connected CW complexes, having the following property: if $K$ is a finite CW complex, then the induced map $f_{\ast}:[K,X] \to [K,Y]$ on \emph{free} homotopy ...

**1**

vote

**1**answer

112 views

### Cohomology with coefficient in a Lie algebra

For a topological space X we can consider the coefficient of singular cohomology in a Lie algebra A. Then we obtain a graded Lie algebra, that is [x,y]=(-1)^i+j-1 [y,x], for homogeneous ...

**2**

votes

**1**answer

181 views

### Vanishing Cech cohomology

Let $X$ be a manifold such that $dim(X)=n$. It is well-know that if $\mathcal{F}$ is a coherent sheaf $H^m(X,\mathcal{F})=0$ for all $m >n$ (where I denote with $H(-)$ Cech cohomology). But is ...

**8**

votes

**2**answers

447 views

### Can we foliate the punctured space by tori?

Is it possible to have a 2 dimensional foliation of $\mathbb{R}^{3}-\{0\}$ such that each leaf is homeomorphic to the torus? what algebraic topological obstruction exist?
Another question: is there ...

**2**

votes

**0**answers

130 views

### Global sections for torus fiber bundle

Let us consider the following situation: $\pi:X\rightarrow B$ is a locally trivial fibration between smooth manifolds, its fiber being a torus $T$. My question is two-fold:
1) what is the obstruction ...

**3**

votes

**0**answers

213 views

### How many ways do we have to prove that a mapping is open?

Given a continuous mapping $f$ between Euclidean domains
(or domains in topological manifolds) of the same (topological) dimension, what are the natural assumptions to conclude that $f$ is open? ...

**9**

votes

**2**answers

344 views

### Cohomology ring of a flag variety and representation theory

I'm interested in the cohomology ring $H^*(G/B)$ of a flag variety $G/B$, where $G$ is a complex semi-simple Lie group and $B$ the Borel subgroup. Borel (1953) showed that this ring is isomorphic to ...

**3**

votes

**0**answers

68 views

### Additive basis for the cohomology of real flag manifolds

By Borel's description the mod 2 cohomology algebra of the flag manifold is the polynomial algebra on the Stiefel-Whitney classes of canonical vector bundles modulo ideal generated by the dual ...

**4**

votes

**1**answer

227 views

### What is known about maximal free subgroups of surface groups?

Let $\Gamma_g=< a_1,...,a_g,b_1,...,b_g | \prod_{i=1}^g [a_i,b_i]>$ (a surface group). What is known about maximal free subgroups of $\Gamma_g$ for $g>1.$ (I.e. free subgroups which are not ...

**5**

votes

**0**answers

146 views

### Weak equivalences of left Bousfield localizations

Suppose C is a complete and cocomplete category with two model structures (C0,F0,W0) and (C1,F1,W1) such that C0⊃C1, F0⊂F1, W0⊂W1.
If necessary, the model structures can be assumed to be simplicial, ...

**8**

votes

**1**answer

274 views

### Which statements and arguments of Hovey's “Model categories” fail without functorial factorizations of morphisms?

I would like to study the homotopy theory of the category of pro-objects over a proper model category $M$. $Pro-M$ is endowed with the strict model structure; it seems that functorial functorizations ...

**1**

vote

**0**answers

94 views

### Is the $K$-Theory of $\mathbb{P}X$ a $\lambda$-Ring?

If we let $\mathbb{P}X$ denote the free commutative algebra generated by the spectrum $X$, then we have a weak equivalence
$$
\mathbb{P}X\simeq \bigvee_r E\Sigma_{r+}\wedge_{\Sigma_r}X^{\wedge r}.
$$
...

**20**

votes

**1**answer

478 views

### Which spaces have the (weak) homotopy type of compact Hausdorff spaces?

Inspired by the discussion in the comments of this question, I'd like to ask the following question: is it possible to characterize the class of spaces that are homotopy equivalent (or weak ...

**1**

vote

**0**answers

72 views

### Finding ideals of F_3[[X,S]] stable by group action

I will revise my question. Sorry, I had a mistake in the definition of σ_k.
Let the action σ on F_3[[X,S]] be as follows:
σ: X ---> X + S + X^2
σ: S ---> S + S^3 + S^4.
Then,
Conjecture: There ...

**2**

votes

**1**answer

261 views

### Computing fundamental groups of the complement of plane curves

This paper of Zariski contains this statement: If $C$ is a curve in $\mathbb{CP}^2$, and $L$ is a generic line, then the injection $L\setminus C \hookrightarrow \mathbb{CP}^2\setminus C$ induces an ...

**5**

votes

**0**answers

141 views

### Equivalence of Versions of the Affine Grassmannian

Let $G$ be a compact connected semisimple Lie group. The algebro-geometric definition of the affine Grassmannian is the coset space ...

**1**

vote

**0**answers

196 views

### How do people deal with different cohomology theories [closed]

After some time spent on it I now have some understanding of de Rham cohomology and can actually calculate some cohomology groups. However I have now and then encountered many other cohomology ...

**4**

votes

**0**answers

215 views

### extension of cohomology theories

In Rudyak's book it is proved (3.22 page 160) that every additive cohomology theory (in the sense of Eilenberg-Steenrod) defined on the category of finite dimensional pointed CW complexes can be ...

**2**

votes

**0**answers

116 views

### How many ways we have to prove that a topologically (or analytically) nice mapping is injective?

I would like to know what are the methods people have used to prove that a topologically (or analytically) nice mapping $f: B\to \Omega$ is injective? Above, $B$ is the unit ball in $\Bbb R^n$ and ...

**1**

vote

**0**answers

91 views

### Characterising singular homology among a more general class of cosimplicial spaces

Is there a way to characterise (up to isomorphism) the cosimplicial spaces $F: \Delta \to \underline{\text{Top}}$ with $F( \underline{n}) \subset \mathbb{R}^{n+1}$ compact and $F(\underline{0})$ a ...

**6**

votes

**1**answer

615 views

### Double coset formulas for Orthogonal groups [Solved]

According to Madsen-Brumfiel "Evaluation of the Transfer and the Universal Surgery Classes" Inventiones mathematicae 32 (1976): 133-170 Theorem 3.11, we can compute
the composition
...

**10**

votes

**3**answers

483 views

### Representing de Rham cohomology by smooth maps

It is well-known that in the homotopy category of, say, CW-complexes the singular cohomology functor is represented by the Eilenberg-Maclane spaces: $H^n(M,\mathbb{Z})=[M,K(\mathbb{Z},n)]$. My ...

**2**

votes

**0**answers

129 views

### What invariants are of great concern in the field of 3-manifolds and why? How much do we know about them? [closed]

I am curious about 3-manifolds though I know little.
Here I am trying to know what invariants people in this field are interested in.
The following are what I have known and what I particularly want ...

**2**

votes

**1**answer

130 views

### Construction of a classifying map from a connection 1-form

From a connection 1-form on $M$, I can construct a parallel transport from which in turn I can construct a classifying map $M \to BG$.
Is there a construction of such a classifying map directly from a ...

**3**

votes

**1**answer

155 views

### Factorization of morphisms in a diagram category

Let us suppose that $I$ is a small category and $\mathcal{E}$ a combinatorial model category. Then there exists two Quillen equivalent combinatorial model category structures on the diagram category ...

**6**

votes

**1**answer

185 views

### Is there “nonorientable Heegaard Floer homology”?

I have a Heegaard diagram which produces a non-orientable 3-manifold. I want to know any 3-manifold invariant which can be calculated from Heegaard diagrams for non-orientable 3-manifold. (As far as I ...

**7**

votes

**0**answers

232 views

### Cohomology and conifold transition for the quintic

Let $Y\subset \mathbb{C}P^4$ be the quintic threefold given by the equation $$X^5_0+X^5_1+X^5_2+X^5_3+X^5_4+5X_0X_1X_2X_3X_4=0$$
it has 125 singular points whose links are homeomorphic to $S^2\times ...

**5**

votes

**1**answer

519 views

### Cobordism modulated by a cohomology operation

I've recently encountered the following cobordism theory modulated by a class $\sigma \in H^{d+1}(B^2\mathbb{Z}/2,U(1))$.
My objects are $d$-dimensional spin manifolds with chosen spin structure. ...

**15**

votes

**2**answers

436 views

### Distinct manifolds with the same configuration spaces?

For a space $X$, let $C_k X$ denote the space of configurations of $k$ distinct unordered points in $X$.
What is an example of a pair of smooth manifolds $M$ and $N$ that are not homeomorphic but ...

**11**

votes

**4**answers

863 views

### Is there a good way to understand the free loop space of a sphere?

I'd like to understand the structure of the free loop space of $S^n$ for small values of $n$. Here "understand" means roughly that I'd like to know a CW complex with the same homotopy type.
I ...

**2**

votes

**1**answer

144 views

### Non-simplicial triangulations of compact surfaces with few vertices

I'm interested in triangulations with few vertices of a given orientable compact surface $S$.
By triangulation, I don't mean a "simplicial triangulation" but a "decomposition of $S$ by ...

**9**

votes

**1**answer

228 views

### Do level sets always correspond to even graphs?

Suppose I have a level set of some function $f\colon\mathbb{R}^n\rightarrow\mathbb{R}^m$, say $L:=\{x:f(x)=c\}$. Let $S$ denote the points in $L$ at which $L$ is locally diffeomorphic to an open ...

**1**

vote

**0**answers

100 views

### Does compactly supported cohomology make sense for cosimplicial spaces?

As far as I understand, whenever one has something (co)simplicial in spaces, one should take a sort of diagonal to reduce the study to a single space. I'm never sure though whether one preserves only ...

**7**

votes

**1**answer

234 views

### Is there a practical criterion to determine whether the limit of a diagram of real chain complexes is also a homotopy limit?

Consider a diagram D: I→ChR of real connective chain complexes.
In the example I have in mind all chain complexes are concentrated in some fixed degree n.
There is a canonical map lim D → holim D ...

**1**

vote

**0**answers

37 views

### Natural isomorphism between locally finite homology and homology of one-point compactifcation of a forward tame ANR

Let $X,Y$ be a locally compact, separable, metric ANR that is forward tame, which means that for some closed subset $V\subseteq X$ such that $\overline{X\smallsetminus V}$ is compact a proper map ...

**1**

vote

**2**answers

478 views

### Uniqueness on square root of complex Line Bundle

Let $L$ be a line bundle over a compex manifold $X$, a square-root of $L$ is a line bundle $M$ such that $M^{\otimes2}=L$. My question is when the square-root of Line Bundle is unique?

**3**

votes

**0**answers

100 views

### Weak notions of Kan fibrations

I have two semi-simplicial complexes $X_\bullet$ and $Y_\bullet$, along with a simplicial map $f_\bullet: X_\bullet \to Y_\bullet$. Now $f_\bullet$ is not a Kan fibration: for an $n$-simplex in ...

**11**

votes

**1**answer

253 views

### Is there a $K(0)$-local Rezk logarithm?

If $R$ is a $K(n)$-local $E_\infty$-algebra, then a construction of Rezk gives a natural transformation
$$ \mathfrak{gl}_1(R) \to R,$$
by using the equivalence (arising from the Bousfield-Kuhn ...

**4**

votes

**2**answers

267 views

### Attaching cells of different dimensions at once in a CW-complex II

This question is related to Attaching cells of different dimensions at once in a CW-complex There, I didn't manage to formalize the idea I had in mind, and ended up with a question whose answer was ...

**4**

votes

**2**answers

222 views

### Attaching cells of different dimensions at once in a CW-complex

Let $X$ be a CW-complex and $X^m$ it's $m$-skeleton. I think that for any $n\geq 2$ and $1\leq r\leq n-1$ it should be possible to obtain $X^{n+r}$ directly from $X^n$ via a homotopy push-out
...

**6**

votes

**1**answer

323 views

### consequence of Novikov conjecture

Novikov conjeture is a famous open problem in Geometric topology.It predicts that higher signature is oriented-homotopy invariant.
http://en.wikipedia.org/wiki/Novikov_conjecture
I am a student ...

**1**

vote

**2**answers

241 views

### Finite simplicial sets

A finite simplicial set is a simplicial set having only a finite number of non degenerate simplicies. It is not hard to show that every finite simplicial set has only a finite number of simplicies in ...

**9**

votes

**1**answer

260 views

### Exponentiation in finite simplicial sets

A finite simplicial set is a simplicial set having only a finite number of non degenerate simplicies. My question is: if $A$ and $B$ are finite simplicial sets, does this imply that the simplicial set ...

**11**

votes

**2**answers

515 views

### Is every connected space equivalent to some B(Aut(X))?

Given a connected space $B$, is there always some space $X$ with $B \simeq \mathbf{B}(\mathrm{Aut}(X))$?
Here by space I mean simplicial set, by $\mathrm{Aut}(X)$ I mean the simplicial monoid of ...

**19**

votes

**1**answer

859 views

### Why not a Roadmap for Homotopy Theory and Spectra?

MO has seen plenty of roadmap questions but oddly enough I haven't seen one for homotopy theory. As an algebraic geometer who's fond of derived categories I would like some guidance on how to build up ...

**13**

votes

**2**answers

451 views

### Must a weak homotopy equivalence induce an isomorphism between stable homotopy groups?

I'm confused by the following question:
$f:X\to Y$ is a weak homotopy equivalence, that is $f_*:\pi_*(X)\to \pi_*(Y)$ is an isomorphism for any dimensional homotopy groups. However, for the stable ...

**12**

votes

**2**answers

639 views

### Permuting collinear points on a curve

Let $C \subset {\bf CP}^2$ be an irreducible algebraic smooth (projectively) planar curve over the complex numbers of degree $d$ (we allow finitely many points to be deleted from $C$ to make it ...