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

learn more… | top users | synonyms (1)

4
votes
0answers
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
2answers
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
0answers
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
0answers
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
0answers
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
2answers
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
0answers
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
2answers
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
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
2answers
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
1answer
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
2answers
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
1answer
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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 ...