Related papers: Cochain level May-Steenrod operations

Mahowald's conjecture arose as part of a program attempting to view chromatic phenomena in stable homotopy theory through the lens of the classical Adams spectral sequence. The conjecture predicts the existence of nonzero classes in the…

In Homotopy Type Theory, cohomology theories are studied synthetically using higher inductive types and univalence. This paper extends previous developments by providing the first fully mechanized definition of cohomology rings. These rings…

We classify (multi)fusion 2-categories in terms of braided fusion categories and group cohomological data. This classification is homotopy coherent -- we provide an equivalence between the 3-groupoid of (multi)fusion 2-categories up to…

There are basically two interesting breeds of $E_2$ operads, those that detect loop spaces and those that solve Deligne's conjecture. The former deformation retract to Milgram's space obtained by gluing together permutahedra at their faces.…

For each of the groups $G = O(2), SU(2), U(2)$, we compute the integral and $\mathbb{F}_2$-cohomology rings of $B_\text{com} G$ (the classifying space for commutativity of $G$), the action of the Steenrod algebra on the mod 2 cohomology,…

We determine the mod $2$ cohomology over the Steenrod algebra of the classifying spaces of the free loop groups $LG$ for compact groups $G=Spin(7)$, $Spin(8)$, $Spin(9)$, and $F_4$. Then, we show that they are isomorphic as algebras over…

In this note, we examine the right action of the Steenrod algebra $\mathcal{A}$ on the homology groups $H_*(BV_s, \F_2)$, where $V_s = \F_2^s$. We find a relationship between the intersection of kernels of $Sq^{2^i}$ and the intersection of…

We define a symmetric monoidal structure on the parametrised stable homotopy category over a base space with an action of an $E_\infty$ operad. We discuss products, orientations and push-forwards in parametrised cohomology theories…

Let $BPU(n)$ be the classifying space of the projective unitary group $PU(n)$. We determine the integral cohomology ring of $BPU(4)$, and the Steenrod algebra structure of its mod $2$ cohomology.

In previous works, we have introduced the blown-up intersection cohomology and used it to extend Sullivan's minimal models theory to the framework of pseudomanifolds, and to give a positive answer to a conjecture of M. Goresky and W. Pardon…

In this paper, we introduce Adem-Cartan operads and prove that the cohomology of any algebra over such an operad is an unstable level algebra over the extended Steenrod algebra. Moreover we prove that this cohomology is endowed with…

We calculate the mod-two cohomology of all alternating groups together, with both cup and transfer product structures, which in particular determines the additive structure and ring structure of the cohomology of individual groups. We show…

We study the Mahowald operator $M = \langle g_2,h_0^3, - \rangle$ in the cohomology of the Steenrod algebra. We show that the operator interacts well with the cohomology of $A(2)$, in both the classical and $\mathbb{C}$-motivic contexts.…

We present an argument due to Thom to formulate a priori cohomology obstructions for a projective variety to admit an embedded resolution of singularities, and generalize the argument to a field of characteristic $p > 0$. We show that these…

In this paper we define and study the moduli space of metric-graph-flows in a manifold M. This is a space of smooth maps from a finite graph to M, which, when restricted to each edge, is a gradient flow line of a smooth (and generically…

This paper explores the cup and cap products within the cohomology and homology groups of ample groupoids, focusing on their applications and fundamental properties. Ample groupoids, which are \'etale groupoids with a totally disconnected…

We study a collection of operations on the cohomotopy of any space, with which it becomes a "beta-ring", an algebraic structure analogous to a lambda-ring. In particular, this ring possesses Adams operations, represented by maps on the…

An operator space analysis of quantum stochastic cocycles is undertaken. These are cocycles with respect to an ampliated CCR flow, adapted to the associated filtration of subspaces, or subalgebras. They form a noncommutative analogue of…

For any $E_\infty$ ring spectrum $E$, we show that there is an algebra $\mathrm{Pow}(E)$ of stable power operations that acts naturally on the underlying spectrum of any $E$-algebra. Further, we show that there are maps of rings $E \to…

Higher homotopies are nowadays playing a prominent role in mathematics as well as in certain branches of theoretical physics. We recall some of the connections between the past and the present developments. Higher homotopies were isolated…