Skip to main content
54321user's user avatar
54321user's user avatar
54321user's user avatar
54321user
  • Member for 9 years, 3 months
  • Last seen more than 5 years ago
comment
Is the $E_\infty$-structure on the cochain complex of a $K(G,n)$ readily understandable?
@DenisNardin That's okay! In this case the most natural constraint is to have the $E_\infty$-structure life the cup product structure on cohomology. Also, I know very little about obstruction theory other than the basics. Any suggestions/references are welcome!
comment
Is the $E_\infty$-structure on the cochain complex of a $K(G,n)$ readily understandable?
@DenisNardin Is it a bad question to ask then how many different $E_\infty$-structures exist?
comment
Is the $E_\infty$-structure on the cochain complex of a $K(G,n)$ readily understandable?
@DylanWilson Writing down the structure maps for an operad interaction would certainly be interesting. Really my goal is to bring some of this $E_\infty$-language down to earth. Thanks for the suggestion by specializing in the case $G=\mathbb{Z}/p$!
comment
Is the $E_\infty$-structure on the cochain complex of a $K(G,n)$ readily understandable?
@TylerLawson I'm not sure how explicity of a description you want for $C^*(K(G,n);\mathbb{Z})$. For example, I could take the singular cochains for the symmetric space of a moore space, $Sym^\infty(M(G,n))$. Also, I was not aware that there were competing definitions for $E_\infty$-algebras. I was using the definition in the Lurie-Gaitsgory paper on the Weil-conjectures for function fields.
Loading…
comment
Is the $E_\infty$-structure on the cochain complex of a $K(G,n)$ readily understandable?
@SaalHardali do you have a reference for this claim in the $A_\infty$ case?
Loading…
comment
What is nice in projective manifolds?
Complex projective manifolds are always algebraic by the Kodaira embedding theorem. Also, you should not get excited about a smooth manifold embedding into a variety. By the whitney embed into some $\mathbb{R}^n$, and so if your manifold is compact, you can embed it into a neighborhood of a smooth point of some variety.
comment
comment
Loading…
awarded
comment
understanding Steenrod squares
This paper web.archive.org/web/20170815173103/http://www.math.uiuc.edu/… gives an excellent description for computing the steenrod squares on $K(\mathbb{Z}/2;k)$ starting with $\mathbb{RP}^\infty$.
comment
Third differential in Atiyah Hirzebruch spectral sequence
Why do the differentials for the AHSS have to be a stable cohomology operation? Do you have a reference?
comment
How can I find the differential in the Serre spectral sequence for this sphere fibration?
@DylanWilson Oh, apparently this is the case. Thanks for pointing this out!
Loading…
Loading…
comment
How can I compute the mixed hodge structure for three copies of $\mathbb{P}^1$ intersecting at one point?
Oh cool! So if I have two elliptic curves intersecting generically in $\mathbb{P}^2$ then I have eight additional weight 0 cycles.
1
2
3 4 5
8