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

**4**

votes

**0**answers

83 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

**2**answers

188 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

**0**answers

92 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 ...

**3**

votes

**0**answers

121 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 ...

**-1**

votes

**0**answers

64 views

### Deciding whether a space finitely covered by a simple space is again simple [closed]

Recall that a path-connected $X$ space is said to be simple (or, in Hatcher's terminology, abelian), if the action of $\pi_1$ on $\pi_n$ is trivial for all $n \geq 1$. I've been trying to come to ...

**10**

votes

**2**answers

464 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

**0**answers

85 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 ...

**8**

votes

**1**answer

115 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 ...

**6**

votes

**1**answer

195 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

**0**answers

121 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

**1**answer

170 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

**0**answers

71 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 ...

**7**

votes

**1**answer

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

**3**

votes

**1**answer

226 views

### Decomposition vs filtration vs stratification

Are there accepted/standard definitions of "decomposition", "filtration", and "stratification" of a topological space (or of a manifold, or of an algebraic variety) $X$?
I tend to understand ...

**10**

votes

**2**answers

371 views

### “Economic” CW-structure for Eilenberg-MacLane spaces?

The only really "economic" cell structures for $K(\pi,n)$'s that I know is the one with a single cell in each dimension for $K(\mathbb Z/n\mathbb Z,1)$ and the one with a single cell in each even ...

**4**

votes

**1**answer

217 views

### Construction of generalized Eilenberg-MacLane spaces

The Eilenberg-MacLane spaces $K(G,q)$ are readily generalized to study cohomology with local coefficients.The generalized Eilenberg-MacLane space $K_{\pi}(G,q)$ are spaces with only two nnvanishing ...

**3**

votes

**0**answers

112 views

### Flat Connections on the Cotangent Complex

I'm trying to find a reference which defines and discusses some properties of connections and flat connections on the cotangent complex in a homotopical setting. That is to say, a connection or flat ...

**33**

votes

**1**answer

787 views

### $H^4(BG,\mathbb Z)$ torsion free for $G$ a connected Lie group

Recently, prompted by considerations in conformal field theory, I was let to guess that for every compact connected Lie group $G$, the fourth cohomology group of it classifying space is torsion free.
...

**2**

votes

**0**answers

90 views

### Recognizing Simplicial (Quasi)Fibrations

Let's say we are given two finite simplicial complexes, which I will suggestively call $E$ and $B$. We'd like an algorithm for the following decision problem:
Does there exist a simplicial map ...

**3**

votes

**1**answer

175 views

### $t$-structure on modules over highly structured ring spectra

Let $Sp$ be a suitably nice model of a suitably nice category of spectra. By this I mean that $Sp$ is a symmetric monoidal closed stable model category, where we can make sense of homotopy "groups" ...

**3**

votes

**0**answers

72 views

### Large co-H-spaces

I'm searching for examples of co-H-spaces that are not suspensions and that do not admit a finite cone decomposition with respect to the collection of finite type wedges of spheres.
We have many ...

**5**

votes

**1**answer

168 views

### (Smooth) Borel Conjecture for 4-dimensional torus

Given an aspherical 4-dimensional closed manifold $M$ with fundamental group $\mathbb{Z}^4$, it is homotopy-equivalent to $T^4 = S^1 \times \ldots S^1$, the 4-dimensional torus.
Question 1: Since I ...

**12**

votes

**1**answer

249 views

### What is the geometric fixed points of an (equivariant) Eilenberg Maclane Spectrum?

The following was posted to math.stackexchange to no avail: http://math.stackexchange.com/questions/908756/an-exercise-in-homology-computation-what-is-the-geometric-fixed-points-of-an-e
The question ...

**4**

votes

**1**answer

115 views

### In a Simplicial group the Degenerate elements don't intersect the kernel of the face maps.

Let $G_{\bullet}$ be a simplical group. I denote by $D_n \subset G_n$ the subgroup generated by all the degeneracy maps $s_i:G_{n-1} \to G_n$.
I also denote $$M_n = \bigcap_{i>0} \mathrm{Ker} d_i ...

**2**

votes

**1**answer

252 views

### The topology of the classifying space of U(n)

In $\textit{Atiyah and Bott: The Yang-Mills equations over riemann surfaces}$, there is a sentence about the topology of BU(n) (i.e. the classifying space of U(n)):
Here $K(\mathbb{Z},n)$ means the ...

**0**

votes

**0**answers

125 views

### Understanding a program for computing Khovanov homology

I would like to understand how a computer program for computing Khovanov homology works. The particular program I have in mind is by John Baldwin: https://web.math.princeton.edu/~baldwinj/Kh.cpp
The ...

**3**

votes

**1**answer

317 views

### Is there an analog of the Barratt-Eccles construction for group-like E_∞-spaces and E_∞-ring spaces?

The Barratt-Eccles operad is an operad in simplicial sets
that provides a particularly nice model of an E∞-operad;
algebras in spaces over the Barratt-Eccles operad model E∞-spaces,
i.e., homotopy ...

**6**

votes

**1**answer

186 views

### Adams e-invariant

In "On the Groups J(X) - IV", Adams introduces the $e$-invariant, which turns out to be closely connected to the image of the $J$-homomorphism, but he introduces it in a more general setting. He has ...

**3**

votes

**0**answers

135 views

### Homotopy type of a locally contractible compact

Does a locally contractible compact space have the homotopy type of a finite CW complex? (I think it probably does, but I need a reference anyway.)
EDIT: My intuition was wrong [to see why, read ...

**1**

vote

**1**answer

254 views

### questions on steenrod algebra

I plan to give a talk on Steenrod algebra in a student seminar. but there are some questions that I didn't find an answer to, and it seems to me that I'm missing something:
if the algebra of ...

**3**

votes

**1**answer

224 views

### Classes in $H^3(G; \mathbb{Z})$ that restrict to zero on abelian subgroups

Let $G$ be a finite $p$-group. Is it possible to have a nonzero class in $H^3(G; \mathbb{Z})$ that restricts to zero in $H^3(A; \mathbb{Z})$ for every abelian subgroup $A \subset G$? If so, what is a ...

**8**

votes

**1**answer

209 views

### Second homology of mapping class group of genus 3

In a survey paper of Korkmaz it is stated that $H_2(\mathrm{Mod}_3)$ is either $\Bbb Z$ or $\Bbb Z \oplus \Bbb Z_2$, but I was not able to find out a precise computation of this group (resolving the ...

**5**

votes

**1**answer

260 views

### Morava $K(n)$'s are not $E_{\infty}$

I am looking for a reference/proof that shows that the Morava $K$-theory spectra, $K(n)$ are not $E_{\infty}$ ring spectra. I suspect that this should be a calculation but I can't quite get it right.
...

**10**

votes

**1**answer

425 views

### Homology theory represented by Madsen-Tillman spectra

The generalized homology theory of the Thom spectrum $MO=\varinjlim\Sigma^nMTO_n$ is bordism theory:\begin{equation*}\pi_k(MO\wedge X)=\Omega^O_k(X)\end{equation*}These groups form the ring of ...

**4**

votes

**1**answer

216 views

### Higher Degree Data in a Cosimplicial Quasicategory and Delooping

If there is a short answer to this question and someone can write it here that'd be wonderful, but if it's longer, I'm also perfectly happy with a reference.
My question is regarding accessing data ...

**10**

votes

**1**answer

155 views

### Torsion-free group that is not of type F but is virtually of type F

Recall that a group $G$ is of type F if there exists a compact $K(G,1)$.
There are many examples of groups which are not of type F but which are virtually of type F, that is, they have finite-index ...

**0**

votes

**0**answers

89 views

### Group action induced on homology under change of coefficients [on hold]

Let $M$ be a closed manifold equipped with a (continuous or smooth) $\mathbb{Z}_2$-action such that - for simplicity - both $H_{k-1}(M;\mathbb{Z})$ and $H_{k+1}(M;\mathbb{Z})$ are zero for some ...

**0**

votes

**0**answers

134 views

### natural map from $H^3(BG,\mathbb{Z})$ to $H^3(\underline E G,\mathbb{Z})$?

is there any natural map from natural map from $H^3(BG,\mathbb{Z})$ to $H^3(\underline E G,\mathbb{Z})$? where $G$ is a discrete group, $BG$ is the classifying space, and $\underline E G$ is the ...

**1**

vote

**0**answers

205 views

### Higher Homotopy Groups

Theorem 5.1 of this paper
describes a map $K_n(R)\to \pi_{n+1}(SK(E(R),1))$, where $S$ denotes the suspension. My question: Do we have a map from $K_n(R)\to \pi_{n+1}(S^2K(E(R),1))$. Any reference is ...

**9**

votes

**1**answer

332 views

### Nonunital $E_\infty$-rings

An elementary fact of algebra is that the category of nonunital commutative rings is equivalent to that of $\mathbb{Z}$-augmented unital commutative rings, the equivalence being given by forming ...

**3**

votes

**1**answer

169 views

### Fixed point relation $\ Fix\ $ for pairs of manifolds

First the classical definition: a topological space $X$ has the fixed point property (fpp) $\ \Leftarrow:\Rightarrow\ $ for every continuous $\ f : X\rightarrow X\ $ there exists $\ p\in X\ $ such ...

**8**

votes

**2**answers

310 views

### Inverse cohomological isomorphisms

Let $\ M'\ M''\ $ be simply-connected Hausdorff compact manifolds (possibly with boundary for another variant of the question). Let $\ f:M'\rightarrow M''\ $ be a continuous function which induces an ...

**8**

votes

**1**answer

252 views

### Clutching functions and Classifying maps

Let $E\xrightarrow{p} \Sigma X$ be a principal G-bundle over a suspension. Write $\Sigma X= C_+X\cup_X C_-X$. Then there are trivialisations of the restrictions $E|_{C_+X}\cong C_+X\times G$, ...

**9**

votes

**2**answers

333 views

### Homotopy groups of Fredholm operators

If $X$ is separable complex Hilbert space and $\mathcal{F}$ the topological space of Fredholm operators on $X$, then it is well-known, that
$$ \pi_0(\mathcal{F}) = \mathbb{Z}\, , $$
i.e. the connected ...

**10**

votes

**1**answer

337 views

### Classifying TQFTs with 1d vector spaces

To what extent have people classified $n$-dimensional TQFTs that assign a 1-dimensional vector space to every compact oriented $(n-1)$-manifold?
I have some vague reasons to suspect that the ...

**2**

votes

**0**answers

155 views

### Bott's Formula for Grassmannians

Bott's Formula gives the dimension of the cohomology $H^{q}(\mathbb{P}^{n}, \Omega_{\mathbb{P}^{n}}^{p}(k))$ of the $k$-twisted sheaf of $p$-differential forms on the projective space ...

**1**

vote

**1**answer

226 views

### pontryagin dual and maps between spectra

Given two spectra $A$ and $B$, the set $[A,B]$ of homotopy classes of maps from $A$ to $B$ forms an abelian group. Can the dual abelian group $\text{Hom}([A,B],\mathbb{Q}/\mathbb{Z})$ be expressed as ...

**7**

votes

**1**answer

435 views

### Learning roadmap to TQFT from a mathematics perspective

I had asked a question on math.stackexchange but did not receive any answers. I hope that this question is appropriate for this website as it is about an advanced subject. Hence I am posting it below.
...

**4**

votes

**0**answers

120 views

### On the cohomology of Kontsevich graph complex

Kontsevich's formality theorem asserts that a certain quasi-isomorphism of chain complexes between the graded Lie algebra of polyvector fields on $\mathbb{R}^n$ and the dg Lie algebra of ...

**1**

vote

**0**answers

73 views

### Singular leaf of Strebel differential

Let $R$ be a Riemann surface.Let $\gamma$ be a loop which is non-trivial in $H_{1}(R,\mathbb{Z})$. By the Jenkins–Strebel Theorem we know the following: there exists a holomorphic quadratic ...