# Tagged Questions

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

**12**

votes

**1**answer

210 views

### localizing subcategories of $HF_p$-local spectra

This entire question takes place in the $HF_p$-local category of $p$-local spectra, i.e. the essential image of $HF_p$-localization on the stable homotopy category. $HF_p$ itself is in there, and of ...

**2**

votes

**1**answer

220 views

### Homotopy versus path-homotopy on punctured surface

I have some problems with homotopies.
The situation is this:
Let $X$ be a surface, which is homeomorphic to a 2-Sphere with a finite number (at least 3) of points removed (equivalently, an open ...

**1**

vote

**2**answers

190 views

### Freely Periodic map of $(S^{3} , K) $ and a fixed loop in the induced isomorphism of $\pi_{1} ( S^{3} \backslash K )$

Let $K$ be a link in $S^{3}$ and $f: S^{3} \rightarrow S^{3} $ a freely periodic map of order $n$ with $f(K) = K$. Let $\psi_{f} : \pi_{1} ( S^{3} \backslash K ) \rightarrow \pi_{1} ( S^{3} ...

**3**

votes

**1**answer

255 views

### What is the “higher version” of chain homotopy in singular homology?

In basic algebraic topology, we know the following well-known chain homotopy theorem:
Let $X$ be a topological space and $I=[0,1]$ be the unit interval. Let $S_*(X)$ and $S_*(X\times I)$ be the ...

**10**

votes

**1**answer

504 views

### The mathematics of tavern puzzles

I remember seeing a paper on the arxiv this year (which I cannot now find Edit: This paper: http://arxiv.org/abs/1208.6545, found by j.c.) proposing to study the linkage of rigid bodies such as tavern ...

**1**

vote

**0**answers

38 views

### spherical map of fixed points?

Let $B = \{\, x \in \Re^m : \|x\| \le 2 \,\}$, and let $f : B \to B$ be a continuous function whose set of fixed points is $S^k = \{\, x \in B : \|x\| = 1, x_{k+2} = \cdots = x_m = 0 \,\}$. Can it ...

**8**

votes

**1**answer

459 views

### Pontryagin numbers on manifolds with an $S^1$-action

Let $M$ is a smooth compact manifold with an $S^1$-action with isolated fixed points. Suppose the representation of $S^1$ at tangent spaces at all fixed points is known. Can one then find all ...

**8**

votes

**4**answers

433 views

### Cohomology classes represented by submanifolds

Let $Y\subset X$ be a codimension $k$ proper inclusion of submanifolds. If we choose a coorientation of $Y$ inside of $X$ (that is, an orientation of the normal bundle), then we get a class $[Y]\in ...

**16**

votes

**1**answer

603 views

### For which varieties is the natural map from the Chow ring to integral cohomology an isomorphism?

My apologies if this question is too naive.
Let $X$ be a smooth projective complex variety. There is a natural map $A^{\bullet}(X) \to H^{2\bullet}(X)$ of graded rings from the Chow ring of $X$ to ...

**4**

votes

**0**answers

158 views

### Principal bundles and Čech cohomology with non-good open covers

I'm trying to compute characteristic classes of principal bundles by defining transition functions and computing them in Čech cohomology. However, it seems all the constructions are defined in terms ...

**1**

vote

**1**answer

277 views

### A $2$-torsion version of the motivic stable homotopy category?

For a field $k$ there exists the motivic stable homotopy $SH(k)$; it is compactly generated. My question: does there exist a 'reasonable' functor $p$ from $SH(k)$ to a certain triangulated category ...

**1**

vote

**0**answers

65 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

423 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

182 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

131 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

214 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

352 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

228 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

95 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

482 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

262 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

618 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

131 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

186 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

233 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

520 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

439 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

865 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

235 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

479 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?