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

learn more… | top users | synonyms (1)

6
votes
1answer
103 views

cohomology of classifying space of permutation groups

Let $\Sigma_k$ be the permutation group of order $k$. Let $r: \Sigma_k\to GL(k)$ be the regular representation by permuting the order of the standard basis of $\mathbb{R}^n$. Let $\rho: ...
2
votes
0answers
119 views

A possible generalization of the Borsuk Ulam theorem via action of symmetric groups

The symmetric group $S_{m}$ is equiped with the counting Har measure $\mu$ and the obvious sgn character. Assume that $S_{m}$ acts on $S^{n}$, $n\geq m-1$ and $f:S^{n}\to \mathbb{R}^{n}$ ...
5
votes
1answer
296 views

Can an odd map be null homotopic?

Let $G$ be a compact Lie group with invariant measure $\mu$. An odd function is a continuous function, $\phi:G\to \mathbb{C}$, such that $\int_{G} \phi d\mu=0$. An odd map is a continuous map, $f:G\to ...
5
votes
0answers
115 views

Quotient of the hyperbolic plane with respect to commutator group of $\pi_1(\Sigma_g)$

Let $\Sigma_g$ be a Riemann surface of genus $g\geq 2$ and $G=\pi_1(\Sigma_g)$. Let $\pi\colon \mathbb{H}\to \Sigma_g$ be the universal covering map. What kind of surface is $\mathbb{H}/[G,G]$? ...
5
votes
1answer
192 views

Associative Ring Spectra and Derived Completion

So, I was thinking before that this might have some nice, simple topos theoretic explanation, but Jacob disabused me of that notion. However, I'm still very interested in the following question: Is ...
0
votes
0answers
63 views

Normal Form of Homotopy Pure Braids?

It is well known that a pure braid has a normal form (also called the combed form). Namely, let $P_n$ be the set of pure braids of $n$ strands and let $d_i:P_n\to P_{n-1}$ be the $i$th "forgetting ...
7
votes
1answer
397 views

Higher vector spaces

As far as I know there are different ways to categorify the notion of vector space/module. These appear (for example) when trying to find extended TQFTs. There are at least two ways (presented at ...
10
votes
1answer
343 views

Is there any relationship between the Euler class and the Vandermonde determinant?

Several Wikipedia articles claim that the relationship between the Euler class $e(V)$ and the top Pontryagin class $p_k(V)$ of an oriented $2k$-dimensional real vector bundle $V$ corresponds, via the ...
3
votes
0answers
59 views

Integral group rings on which stably free modules are free

Let $G$ be a torsion-free group and $ZG$ the integral group rings. Recall that a projective module $P$ over $ZG$ is stably free if there is an isomorphism $P \oplus ZG^n \cong ZG^m$. Are there known ...
4
votes
1answer
233 views

Fundamental class in K-theory and orientability

In ordinary homology, the classical results give the following situation: for a compact, connected, topological manifold $M$ of dimension $n$ we have, for each ring $R$, that $H_n(M,M \setminus ...
6
votes
0answers
100 views

Face poset of a subcomplex complement

Let $P$ denote the face poset of a simplicial complex, $\Delta$ the order complex of a poset, and $\simeq$ homotopy equivalence. It's known that for any finite simplicial complex $\mathcal{K}$ that ...
2
votes
0answers
114 views

2-cells in the configuration space

My overarching question is why in the Artin presentation of the (geometrically defined) braid group there are no more than two relations. I've learned one way to prove this is using the fact that the ...
3
votes
1answer
171 views

Motion planning algorithm

Consider a path connected topological space $X$, one can equip its path space $PX=\{ \gamma: [0,1] \longrightarrow X \; continuous\}$ with the compact open topology. We call a motion planning ...
1
vote
0answers
201 views

Is this a “new” terminology in homology/cohomology theory?

I have the following question. For our research purpose, we have introduced the following concept: Let $f:X\to Y$ be a continuous, disrecte and open mapping between two locally compact metric spaces. ...
18
votes
4answers
1k views

Why the Dold-Thom theorem?

Dold-Thom Theorem: $$\pi_i(SP(X))\cong\tilde{H}_i(X)$$ It's pretty miraculous, no? I've seen its proof, where you show that the composition of the functors on the left-side satisfies the axioms of a ...
1
vote
0answers
117 views

$n$-Fold Framed Functions

Suppose that $M$ is a manifold. One can consider a suitably constructed space of generalized framed Morse functions on $M$, let's call it $\mathrm{Fun}^\mathrm{fr}(M)$. This space is known to be ...
3
votes
1answer
236 views

Classifying space for fibrations with Eilenberg-MacLane space as fibers

The following result seems to be frequently quoted: Consider the fibration $K(\pi,n)=\Omega K(\pi,n+1)\to PK(\pi,n+1)\to K(\pi,n+1)$. Let $B$ be any topological space (which is not too pathologic). ...
6
votes
1answer
361 views

Are there nontrivial involutions of $S^7\times S^7$ with fixed point set homeo to $S^7$?

The group $\mathbb{Z}_2$ acts on $S^7\times S^7$ by switching the coordinates with fixed point set $\Delta(S^7\times S^7)\cong S^7$. I want to know whether there are some other $\mathbb{Z}_2$ actions ...
1
vote
2answers
190 views

A fibration of classifying spaces

Let $G$ be a Lie group, $N$ a closed connected normal subgroup. Let $BG$, $BN$, $B(G/N)$ be the classifying spaces of $G,N$ and $G/N$. Is there a fibration $BN\to BG\to B(G/N)$ ? It seems that such a ...
0
votes
0answers
146 views

Goodwillie tower of $\Omega^n$?

What are layers of the Goodwillie tower of the functor "n-th iterated loop space" from based spaces to based spaces? I know the answer for n=0.
8
votes
1answer
167 views

Are Brown representable functors determined by restriction to finite complexes?

Assume two $CW$ complexes $X,Y$ give two functors $h_X=[-,X], h_Y=[-,Y]$ on the homotopy category of $CW$ complexes whose restrictions to the full subcategory of finite $CW$ complexes are naturally ...
13
votes
2answers
657 views

Is homology finitely generated as an algebra?

If a differential graded algebra is finitely generated as an algebra, is its homology finitely generated as an algebra? Is it easier if we impose any of the three conditions: characteristic zero; ...
13
votes
1answer
299 views

Higher Cerf Theory

Morse functions on a manifold $M$ are defined as smooth maps $f:M \rightarrow \mathbb{R}$, such that at the critical points we can find local coordinates so that ...
2
votes
0answers
108 views

The space of Fredholm operators as a classifying space

Is it true that the space of Fredholm operators on a separable Hilbert space is the classifying space for K-theory in the category of paracompact spaces? Everyone quotes the theorem of Atiyah-Janich ...
2
votes
0answers
89 views

When is the product of an infinite family of simplicial sets also a homotopy product?

The homotopy product of an infinite family of simplicial sets can be computed by deriving the product functor sSetW→sSet, for example, by performing the componentwise fibrant replacement using Kan's ...
4
votes
0answers
107 views

Fixed sets of orbit spaces

I've run across something that surprises me, so I'm wondering (1) Is it true? and (2) Is it well known? (And if the answers are affirmative, why didn't I know this already?) Let $G$ be a compact Lie ...
11
votes
3answers
1k views

(Very) High dimensional manifolds

Usually one regards manifolds up to dimension 4 as a part of low dimensional topology. There are plenty of various results which work only in low dimensional topology; especially in dimension 4. ...
3
votes
1answer
76 views

cartesian product rigidity for the punctured open disc

Q1: Let $D^n$ ($n\geq 1$) be the n-dimensional open disk. If $D^n-\{0\}$ is homeomorphic to $X\times (0,1)$, for some topological space $X$, does it necessarily follow that $X$ is homeomorphic to ...
1
vote
2answers
180 views

The cohomology groups of $\Omega U(n)$

Let $\Omega U(n)$ be the loop space of $U(n)$. Is it true that the cohomology groups $H^*(\Omega U(n); \mathbb{Z})$ are torsion-free? How can one calculate these groups?
5
votes
0answers
164 views

Presentation of Homotopy Pure Braid Group?

Let $\tilde{B_n}$ be the homotopy braid group; namely, in the deformation of braids, a braid string is allowed to self-intersect itself. Similarly let $\tilde{P_n}$ be the homotopy pure braid group. ...
8
votes
0answers
127 views

Reference for maps whose pushouts are also homotopy pushouts

Consider a category C with weak equivalences, e.g., a model category. For the purposes of this question, let's say that a morphism f in C is an i-cofibration if any pushout (alias cobase change) ...
0
votes
0answers
52 views

Bases of surface groups with length restrictions

This question asks for a generalization of Bases of surface groups following the notation and definitions given therein. Let $\Gamma_g$ be a surface group of genus $g \geq 2$, $B$ a surface basis of ...
4
votes
3answers
253 views

Contractibility of space of embeddings of a disc

I'm pretty sure that both of the following spaces are contractible. However, I can't seem to find a proof or a reference. Can anyone provide one? Let $D^2$ be the unit disc in $\mathbb{R}^2$. The ...
3
votes
1answer
313 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 ...
3
votes
1answer
166 views

Compositional inversion and generating functions in algebraic geometry

The exponential generating function of the graded dimension of the cohomology ring of the moduli space of n-pointed curves of genus zero satisfying the associativity equations of physics (the WDVV ...
2
votes
1answer
172 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 ...
4
votes
0answers
203 views

Commutation of simplicial homotopy colimits and homotopy products in spaces

Edit: The claim below is wrong, as explained in the comments, because infinite homotopy products of simplicial sets require their components to be fibrantly replaced first, unlike finite homotopy ...
4
votes
2answers
189 views

A Karrass-Solitar theorem for surface groups

Let $\Gamma_g$ be a surface group of genus $g \geq 2$. That is, there is a presentation $$\Gamma_g = \langle x_1, y_1, \dots, x_g, y_g \vert \prod_{i = 1}^{g}[x_i,y_i] = 1\rangle$$ Is there a ...
5
votes
1answer
174 views

Bases of surface groups

Let $\Gamma_g$ be a surface group of genus $g \geq 2$. A $2g$-tuple $(x_1,y_1, \dots,x_g,y_g) \in \Gamma_g^{2g}$ will be called a Surface Basis if we have the presentation $$\Gamma_g = \langle x_1, ...
5
votes
2answers
225 views

Using Discrete Morse Theory to represent hom classes

In "vanilla" Morse theory, you can construct cycles representing integral homology classes of a smooth manifold from a Morse function on the manifold (by looking at the flow into/out of the critical ...
1
vote
0answers
130 views

Level quantization of 7d $SO(N)$ Chern-Simons action

In 3d, one can write down the $SO(N)$ Chern-Simons action to be $$S(A)=\frac{k}{192\pi}\int_{M}\text{Tr}(A d A +\frac{2}{3}A^3),$$ where $A$ is an $SO(N)$ connection. The level quantization can be ...
4
votes
0answers
145 views

Getting a Postnikov Tower from the Tot-tower?

I have had a problem I've been thinking of recently but can't seem to make anything of it. Let $X$ be a simplicial set. It is well known that one can construct a Postnikov tower $$P_nX \rightarrow ...
10
votes
2answers
519 views

(co)homology of symmetric groups

Let $S_n=\{\text{bijections }[n]\to[n]\}$ be the n-th symmetric group. Its (co)homology will be understood with trivial action. What are the $\mathbb{Z}$-modules $H_k(S_n;\mathbb{Z})$? Using GAP, we ...
5
votes
0answers
103 views

The action of Steenrod squares on the indeterminate in Bullett-Macdonald identities

The Bullet-Macdonald identity (c.f. On the Adem relations)is the following: $$P(s^2+st)P(t^2)=P(t^2+st)P(s^2).$$ where we have $P(s)=\Sigma _s s^iSq^i$. This is known to be equivalent to the Adem ...
9
votes
1answer
128 views

When is a continous $\epsilon$-isometry of the sphere surjective?

Equip $\mathbb S^n$ with the standard round metric. Let $f : \mathbb S^n \to \mathbb S^n$ be a continous map satisfying $\vert d(f(x),f(y)) - d(x,y)\vert \leq \epsilon$. Is $f$ is surjective for all ...
7
votes
1answer
218 views

Higher coherent multiplicative structures on S-algebras

In their book, Elmendorf, Kriz, May and Mandell describe a useful category of spectra, called S-modules, where S is the sphere spectrum. Ring objects in this category can be identified with spectra ...
6
votes
0answers
132 views

From 3-framings on $\Sigma$ to $\mathrm{Spin}^c$-structures on $\mathrm{Loc}_G(\Sigma)$?

Here is my question, below that some motivation: For $G$ a compact abelian Lie group and $\Sigma$ a surface, with $M_G = \mathrm{Loc}_G(\Sigma)$ denoting the space of flat $G$-connections on $\Sigma$ ...
9
votes
1answer
194 views

Morava modules and completed $E$-homology

Let $E = E_n$ be the $n$-th Morava $E$-theory and let $\{ M_{I} \}$ be a tower of generalised Moore spectra. Then (see this previous question) there is a Milnor exact sequence $$0 \to \varprojlim_I ...
1
vote
1answer
117 views

Blowing up along birational equivalent subvarieties

Let $X$ be an algebraic variety (not necessarily projective) over $\mathbb{C}$, and $V_1,V_2\subset X$ two projective subvarieties of $X$, with $\textrm{codim}(V_1)=\textrm{codim}(V_2)=2$. Suppose ...
8
votes
1answer
329 views

Naturality of a Kunneth formula for cohomology

Let $X,Y$ be CW complexes. By Kunneth formula, we have a group isomorphim $$ H^n(X\times Y;G) \cong \oplus_{p+q=n} H^p(X;H^q(Y;G))$$ Is there a natural map realizing this isomorphism?