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

learn more… | top users | synonyms (1)

6
votes
2answers
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
0answers
74 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
0answers
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
1answer
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
1answer
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
2answers
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
0answers
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
0answers
212 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
2answers
343 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
0answers
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
1answer
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
0answers
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
1answer
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
0answers
93 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
1answer
477 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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
610 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
3answers
482 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
0answers
128 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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
518 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
2answers
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
4answers
861 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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
2answers
477 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
0answers
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
1answer
252 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
2answers
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
2answers
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
1answer
321 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
2answers
240 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
1answer
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
2answers
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
1answer
857 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
2answers
449 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
2answers
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 ...
2
votes
0answers
207 views

chain complexes and homotopy limits

Let $\mathbf{Ch}$ be the category of unbounded chain complexes (with the standard model structure ). The differential increases the degree $d_{n}:M_{n}\rightarrow M_{n+1}$. Consider the full ...