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

learn more… | top users | synonyms (1)

4
votes
1answer
239 views

what is the universal cover of GL(2,R)? [on hold]

In the theory of Bridgeland stability conditions one has an action of the universal cover $G'$ of $G = GL^+(2,\mathbb R)$. What is G'? I know there is concrete description in terms of pairs ...
3
votes
2answers
164 views

Equivalence of different cohomology groups

Let $X$ be a topological space (may be assumed to be locally compact). Let $A$ be either a field or $\mathbb{Z}$. One can consider various cohomology groups: (1) singular cohomology ...
6
votes
1answer
220 views

“structure group” for fibration

Regarding "fibration" as a homotopy analogue of "fiber bundle",I want to see parallel notions of "structure group" and "fiber change" in "fibration". Does it make sense to talk about "structure ...
2
votes
2answers
208 views

CW 4 manifolds with single 4 cell

Let $M$ be a connected compact closed 4 manifold. Then $H_4(M)=\mathbb{Z}$. If we assume it is smooth, from Morse theory we know that $M$ has a CW structure. But can we find a CW structure of $M$ with ...
14
votes
4answers
1k views

Checking if two graphs have the same universal cover

It's possible I just haven't thought hard enough about this, but I've been working at it off and on for a day or two and getting nowhere. You can define a notion of "covering graph" in graph theory, ...
6
votes
2answers
589 views

understanding the definition of $\infty$-operad of module objects

I'm just trying to understand the following definition: Definition 3.3.3.8 in Higher Algebra by J. Lurie defines the $\infty$-operad of $O$-module objects, and says the following: Let $O^\otimes$ be ...
16
votes
2answers
1k views

complement of a totally disconnected closed set in the plane

While preparing a course in complex analysis, I stumbled over a remark in Dudziak's book on removable sets, namely that any totally disconnected $K \subset\subset {\mathbb C}$ must have a connected ...
1
vote
1answer
145 views

Applications of topology to discrete dynamical systems?

I'd like to know some of the applications of topology to discrete dynamics. By discrete dynamics I loosely mean studying maps between discrete sets. I mean cases where adding a topology to the sets ...
4
votes
2answers
307 views

Are homotopy braid groups residually nilpotent?

A group is called residually nilpotent if given any non-identity element, there is a normal subgroup not containing that element, such that the quotient group is nilpotent. It is known that pure braid ...
5
votes
1answer
68 views

smoothing locally-finite (Borel-Moore chains)

Let $M$ be a smooth manifold. As is recorded in (for example) Lee's book, de Rham proved that one can calculated singular homology, $H_*(M)$ using smooth simplices. Does the result extend to ...
8
votes
0answers
93 views

Equivariant and orbifold Chern classes

Edit. After thinking about this problem a bit longer, I am not so sure anymore that the Bredon cohomology proposed by Adem and Ruan gives me the invariants I am looking for. I have therefore moved ...
0
votes
1answer
353 views

Can monodromy be described by the same matrix for chosen generators in case of the same singularity type?

Let $X$ be a surface in $\mathbb{P}^3$. We have a fibration $f: X \longrightarrow \mathbb{P}^1$, and $f^{-1}(s_1)$ and $f^{-1}(s_2)$ have the same singularity type. Let $\gamma_1$ and $\gamma_2$ be ...
2
votes
1answer
222 views

Local “pathologies” in spaces arising naturally in algebraic topology

I have been thinking about methods for constructing continuous paths locally in a space. These paths have domain the unit interval and map into "small" neighborhoods of points in a space. Moreover ...
3
votes
1answer
203 views

How to calculate the fundamental group of general configuration space

Define the configuration space of $n$ points in a general manifold $M$, where $\dim M=m$, as $K=(M^n-D)/S_n$ where $S_n$ is the permutation group and $D=\{(x_1,\cdots,x_n)| \exists i,j\ s.t. x_i=x_j ...
2
votes
1answer
216 views

Using Lefschetz duality in algebraic geometry

I am reading the paper of Fulton and Lazarsfeld on the connectivity of degeneracy loci of morphisms of vector bundles, but there is a comment in the article that I don't quite understand. Let $G$ be ...
6
votes
2answers
205 views

The Thom space of a Whitney sum of vector bundles

Let $\xi$ and $\eta$ be vector bundles over the same base space $X$. Their Whitney sum is a bundle $\xi\oplus\eta$ over $X$. I read somewhere (without proof) that its Thom space is given by $$ ...
23
votes
2answers
664 views

Why study the p-completions of a space?

Given a nice topological space $X$ there are various notions of a 'completion' at a set of primes. Some of the most common constructions may be found in Bousfield-Kan's, May's, Neisendorfer's or ...
1
vote
0answers
52 views

Adjunction of Crossed Module Functors

I am wondering about the following two related questions and don't know if they have already clear answers or not. 1) Suppose that we already know the functor $F \colon \mathcal{C} \to \mathcal{D}$ ...
24
votes
2answers
818 views

What is the relation between sphere spectrum and supersymmetry?

In this this google+ post of Urs Schreiber, he says: "Grading over the sphere spectrum is supersymmetry" and then he redirect us to the abstract idea of superalgebra (in nLab). Are there some ...
4
votes
1answer
153 views

On push-forward of the constant sheaf for fibrations

Let $f\colon E\to B$ be a fiber bundle with a connected fiber $F$, $f$ is proper. Let $\underline{\mathbb{C}}_E$ be the constant sheaf on $E$. Let $f_*(\underline{\mathbb{C}}_E)$ denote its direct ...
18
votes
0answers
484 views

Big list - Equivalent descriptions of Hodge conjecture?

I would like to know equivalent descriptions of the Hodge conjecture (with references). Dan Freed's Version: Consider a topological cycle (boundary less chains that are free to deform) on a ...
8
votes
1answer
180 views

Homotopy type of diffeomorphism which are the identity on and near the boundary

Let $M$ be a compact manifold with boundary. Denote by $Diff(M), Diff_\partial(M)$ and $Diff_{U\partial}(M)$ the groups of diffeomorphisms of $M$ and the subgroups of the ones that are the identity on ...
13
votes
2answers
381 views

Discrete Morse theory: how do zig-zag paths determine homotopy type?

Let $\Delta$ be a simplicial complex (or more generally, a regular CW complex). Let $\mathcal{M}$ be a Morse matching (or equivalently, a discrete Morse function) on $\Delta$. By Forman's theorems, ...
11
votes
1answer
168 views

Passing from T-equivariant to G-equivariant cohomology

Let G=GLn(ℂ) and let T be a maximal torus. Let X be a topological space with a G-action. My question is: when is the canonical map $$H^*_G(X;\mathbb{Z})\to H^*_T(X;\mathbb{Z})$$ injective? Some ...
0
votes
0answers
82 views

Generalization of the fiber changing trick for principal bundles?

We know that a principal bundle can induce a fiber bundle as follows: if $F$ is a space which admits a $G$-action then a principal $G$-bundle $p: E \to B$ induces a fiber bundle $p: E \times_G F \to ...
9
votes
2answers
266 views

Lower central series quotients in terms of (co)homology

Let $G$ be a group. It is well-known that $H_1(G,\mathbb{Z})=G/[G,G]$. Also (at least up to torsion) $[G,G]/[G,[G,G]]=\Lambda^2H^1(G,\mathbb{Z})/H_2(G,\mathbb{Z})$ as explained, for example, in this ...
7
votes
1answer
393 views

TQFT characterization of braiding statistics

In the TQFT language, quasiparticles correspond to Wilson loop operators. It is well-known that quasiparticles can have non-trivial braiding statistics. Take $2+1$ dimensional Abelian Chern-Simons ...
3
votes
0answers
142 views

Complete Segal operads and dendroidal sets

There is a Quillen equivalence between the model category presenting Lurie's $\infty$-operads (which are inner fibrations $\mathcal{C}\to\mathrm{N}(\mathbf{F})$ satisfying certain conditions) and the ...
5
votes
1answer
171 views

What do globes (used to construct globular sets, $\omega$-categories, etc.) actually look like?

Nlab introduces the globular category as a geometrical model to construct certain higher categorical structures (e. g. strict $\omega$-categories), just as quasi-categories, for example, are modelled ...
3
votes
1answer
170 views

Is there a degree one map from a product $B\times S^1 \to \#_n S^2 \times S^1$ for any n

For any $n \geq 1$, let $\Sigma_n$ denote the closed orientable surface of genus n. In http://arxiv.org/abs/1202.6302, the authors showed that for any $n$, there is a degree two, $\pi_1$-surjective, ...
13
votes
0answers
297 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 ...
5
votes
1answer
235 views

How to get a polygon from a translation surface $(X,\omega)$

Let $S_g$ be a compact topological surface of genus $g$. I know there is the correspondence $\{$Abelian differentials on compact Riemann surfaces of genus g$\}\leftrightarrow\{$ Translation surfaces ...
7
votes
0answers
132 views

Two transfers for ramified or branched covers

Let $\pi: X \rightarrow Y$ be a 2-fold branched cover of complex varieties. I know of (at least) two types of pushforwards associated to this situation: If I'm not mistaken, there is a pushforward ...
2
votes
0answers
63 views

Equivariant maps from simplicial complexes to spheres

Given a topological space $X$ with involution $\nu$, the $\mathbb Z_2$-index $\text{ind}(X)$ is the minimum integer $n$ such that there exists a map $f:X \to S^n$ which is equivariant with respect to ...
3
votes
1answer
191 views

(Geometric) Proof for the projective bundle formula in K-theory

I'm trying to piece together a proof of the projective bundle formula from several incomplete sources. Here's the statement I'd like to prove: Projective bundle formula: Let $\pi: E \to X$ be a ...
2
votes
0answers
62 views

Kernel of projection formula

For a closed embedding of compact complex manifolds $$ \iota : Y \hookrightarrow X $$ and any $\alpha \in H^*(X,\mathbb Q)$, we have trivially: $$ \iota^*(\alpha)=0\quad \Rightarrow ...
5
votes
0answers
171 views

Does $\#_n S^2×S^1$ really admit a map of non-zero degree from $B×S^1$?

In Proposition 4 on page 6 of this paper, http://arxiv.org/abs/1202.6302, the authors claim to produce a degree 2 $\pi_1$-surjective map $f$ between $M=S^1 \times \Sigma_2$ and $N=\#_2 S^2 \times S^1$ ...
5
votes
0answers
97 views

Two natural maps asssociated with the nerve of a cover

Let $X$ be a nice (e.g. paracompact, locally contractible) topological space, and let $\mathcal{U}=\{U_i\}_{i\in I}$ be an open cover of $X$. Also denote by $N$ the (topological realization of) the ...
11
votes
0answers
189 views

Cohomology of a configuration space of points on $\mathbb C^\times$ with an additional restriction

Let $Conf_{1,n}^3$ be the configuration space of collections of $n$ distinct numbered points on the annulus $\mathbb C^\times$ with an imposed restriction: for any $r\in \mathbb R^+$ the circle ...
42
votes
6answers
4k views

Cubical vs. simplicial singular homology

Singular homology is usually defined via singular simplices, but Serre in his thesis uses singular cubes, which he claims are better adapted to the study of fibre spaces. This young man (25 years old ...
7
votes
0answers
126 views

Topological localization of (infinite) inverse limits

The classical localization of topological spaces at a given set of primes $\mathcal{P}$ is a functor $\mathcal{T}\xrightarrow{(-)_{(\mathcal{P)}}}\mathcal{T}$ from a suitable category of topological ...
18
votes
7answers
3k views

Why should I prefer bundles to (surjective) submersions?

I hope this question isn't too open-ended for MO --- it's not my favorite type of question, but I do think there could be a good answer. I will happily CW the question if commenters want, but I also ...
6
votes
1answer
133 views

Doubt regarding the definition of slice filtration

Voevodsky defined the slice filtration on the motivic stable homotopy category $SH(S)$ over a Noetherian scheme $S$. In the article Open Problems in the Motivic Stable Homotopy Theory, I, Section 2, ...
2
votes
2answers
65 views

Fixed point set for a subcircle of torus actions

Let $T=S^{1}\times S^{1}\times ...\times S^{1}$ ($n$ times) be $n$ dimensional torus and $X$ be a $T$-space. Lemma: If $X$ has finitely many connected orbit type, then there is a subcircle ...
12
votes
2answers
367 views

H-space structures on non-sphere suspensions?

It is well known that $S^n$ admits an H-space structure if and only if $n=0,1,3,7$. I'm interested in whether there are other suspensions $\Sigma X$ that admit H-space structures: Question 1 For ...
6
votes
2answers
2k views

Generalized Categories for “Higher Homotopy Groupoids”

I was thinking about the definition of higher homotopy groups $\pi_n$ of a topological space in comparison to the common extremely formal fundamental groupoid construction of $\pi_1$. I'd like to be ...
1
vote
0answers
67 views

Compact Vertical Cohomology and Euler Class of CP1

First of all, please excuse my English. I'm not native Englsih speaker, so you will see so many grammer mistakes, I just only hope that my mistkae wouldn't effect what I want to mean. Hi, recently ...
9
votes
1answer
165 views

Homotopy property of constructible sheaves on stratified spaces

Let $X$ be a stratified topological space (in my case $X$ is a compact space presented as a finite union of locally closed topological manifolds of finite dimension (strata) such that the closure of ...
9
votes
1answer
230 views

Elements of infinite order in the topological mapping class group

Let $M$ be a closed topological manifold, and let $\operatorname{MCG}(M):=\operatorname{Homeo}(M)/\operatorname{Homeo}_0(M)$ denote the topological mapping class group of $M$ ...
6
votes
1answer
231 views

Closed formulas for topological K-theory?

Let $X$ be a compact manifold. I'm interested in whether any of the following cases admits a general closed formula for (complex)-$K$-theory. Let $E$ be a complex vector bundle with a given line ...