Building upon work of Epstein, May and Drury, we define and investigate the mod p Steenrod operations on the de Rham cohomology of smooth algebraic stacks over a field of characteristic $p>0$ . We then compute the action of the operations on the de Rham cohomology of classifying stacks for finite groups, connected reductive groups for which p is not a torsion prime and (special) orthogonal groups when $p=2$ .

We relate the brace construction introduced by Calaque and Willwacher to an additivity functor. That is, we construct a functor from brace algebras associated to an operad ${\mathcal{O}}$ to associative algebras in the category of homotopy ${\mathcal{O}}$-algebras. As an example, we identify the category of $\mathbb{P}_{n+1}$-algebras with the category of associative algebras in $\mathbb{P}_{n}$-algebras. We also show that under this identification there is an equivalence of two definitions of derived coisotropic structures in the literature.

This paper sets up the foundations for derived algebraic geometry, Goerss–Hopkins obstruction theory, and the construction of commutative ring spectra in the abstract setting of operadic algebras in symmetric spectra in an (essentially) arbitrary model category. We show that one can do derived algebraic geometry a la Toën–Vezzosi in an abstract category of spectra. We also answer in the affirmative a question of Goerss and Hopkins by showing that the obstruction theory for operadic algebras in spectra can be done in the generality of spectra in an (essentially) arbitrary model category. We construct strictly commutative simplicial ring spectra representing a given cohomology theory and illustrate this with a strictly commutative motivic ring spectrum representing higher order products on Deligne cohomology. These results are obtained by first establishing Smith’s stable positive model structure for abstract spectra and then showing that this category of spectra possesses excellent model-theoretic properties: we show that all colored symmetric operads in symmetric spectra valued in a symmetric monoidal model category are admissible, i.e., algebras over such operads carry a model structure. This generalizes the known model structures on commutative ring spectra and $\text{E}_{\infty }$-ring spectra in simplicial sets or motivic spaces. We also show that any weak equivalence of operads in spectra gives rise to a Quillen equivalence of their categories of algebras. For example, this extends the familiar strictification of $\text{E}_{\infty }$-rings to commutative rings in a broad class of spectra, including motivic spectra. We finally show that operadic algebras in Quillen equivalent categories of spectra are again Quillen equivalent. This paper is also available at arXiv:1410.5699v2.

The theory of dendroidal sets has been developed to serve as a combinatorial model for homotopy coherent operads, see [MW07, CM13b]. An ∞-operad is a dendroidal set D satisfying certain lifting conditions.

In this paper we give a definition of K-groups Kn (D) for a dendroidal set D. These groups generalize the K-theory of symmetric monoidal (resp. permutative) categories and algebraic K-theory of rings. We establish some useful properties like invariance under the appropriate equivalences and long exact sequences which allow us to compute these groups in some examples. Using results from [Heu11b] and [BN12] we show that the K-theory groups of D can be realized as homotopy groups of a K-theory spectrum .

In this work, we study the deformation theory of ${\mathcal {E}}_n$-rings and the ${\mathcal {E}}_n$ analogue of the tangent complex, or topological André–Quillen cohomology. We prove a generalization of a conjecture of Kontsevich, that there is a fiber sequence $A[n-1] \rightarrow T_A\rightarrow {\mathrm {HH}}^*_{{\mathcal {E}}_{n}}\!(A)[n]$, relating the ${\mathcal {E}}_n$-tangent complex and ${\mathcal {E}}_n$-Hochschild cohomology of an ${\mathcal {E}}_n$-ring $A$. We give two proofs: the first is direct, reducing the problem to certain stable splittings of configuration spaces of punctured Euclidean spaces; the second is more conceptual, where we identify the sequence as the Lie algebras of a fiber sequence of derived algebraic groups, $B^{n-1}A^\times \rightarrow {\mathrm {Aut}}_A\rightarrow {\mathrm {Aut}}_{{\mathfrak B}^n\!A}$. Here ${\mathfrak B}^n\!A$ is an enriched $(\infty ,n)$-category constructed from $A$, and ${\mathcal {E}}_n$-Hochschild cohomology is realized as the infinitesimal automorphisms of ${\mathfrak B}^n\!A$. These groups are associated to moduli problems in ${\mathcal {E}}_{n+1}$-geometry, a less commutative form of derived algebraic geometry, in the sense of the work of Toën and Vezzosi and the work of Lurie. Applying techniques of Koszul duality, this sequence consequently attains a nonunital ${\mathcal {E}}_{n+1}$-algebra structure; in particular, the shifted tangent complex $T_A[-n]$ is a nonunital ${\mathcal {E}}_{n+1}$-algebra. The ${\mathcal {E}}_{n+1}$-algebra structure of this sequence extends the previously known ${\mathcal {E}}_{n+1}$-algebra structure on ${\mathrm {HH}}^*_{{\mathcal {E}}_{n}}\!(A)$, given in the higher Deligne conjecture. In order to establish this moduli-theoretic interpretation, we make extensive use of factorization homology, a homology theory for framed $n$-manifolds with coefficients given by ${\mathcal {E}}_n$-algebras, constructed as a topological analogue of Beilinson and Drinfeld’s chiral homology. We give a separate exposition of this theory, developing the necessary results used in our proofs.

We prove that for a topological operad $P$ the operad of oriented cubical singular chains, $C_{*}^{^{\text{ord}}}(P)$, and the operad of simplicial singular chains, ${{S}_{*}}(P)$, are weakly equivalent. As a consequence, $C_{*}^{^{\text{ord}}}(P;\,\mathbb{Q})$ is formal if and only if ${{S}_{*}}(P;\,\mathbb{Q})$ is formal, thus linking together some formality results which are spread out in the literature. The proof is based on an acyclic models theorem for monoidal functors. We give different variants of the acyclic models theorem and apply the contravariant case to study the cohomology theories for simplicial sets defined by $R$-simplicial differential graded algebras.

Generalizing a conjecture of Deligne, Kontsevich proposed that there should be a notion of Hochschild cohomology of algebras over the little cube operad (or its chain complex) which in a natural way generalizes Hochschild cohomology of associative algebras. He moreover conjectured that the Hochschild cohomology, in this new sense, of an algebra over the little k-cube operad is an algebra over the little (k + 1)-cube operad. In this paper, we precisely state and prove this conjecture.

we find a minimal differential graded (dg) operad whose generic representations in ${\mathbb r}^n$ are in one-to-one correspondence with formal germs of those endomorphisms of the tangent bundle to ${\mathbb r}^n$ which satisfy the nijenhuis integrability condition. this operad is of a surprisingly simple origin: it is the cobar construction on the quadratic operad of homologically trivial dg lie algebras. as a by-product we obtain a strong-homotopy generalization of this geometric structure and show its homotopy equivalence to the structure of contractible dg manifolds.

We construct actions of the spheromorphism group of Neretin (containing Thompson's group V) on towers of moduli spaces of genus zero real stable curves. The latter consist of inductive limits of spaces which are the real parts of the Grothendieck–Knudsen compactification of the moduli spaces of punctured Riemann spheres. By a result of M. Davis, T. Januszkiewicz and R. Scott, these spaces are aspherical cubical complexes whose fundamental groups, the ‘pure quasi-braid groups’, can be viewed as analogues of the Artin pure braid groups. By lifting the actions of the Thompson and Neretin groups to the universal covers of the towers, we obtain extensions of both groups by an infinite pure quasi-braid group, and construct an ‘Euler class’ for the Neretin group. We justify this terminology by constructing a corresponding cocycle.

Recently, L. Rozansky and E. Witten associated to any hyper-Kähler manifold X a system of ’weights‘ (numbers, one for each trivalent graph) and used them to construct invariants of topological 3-manifolds. We give a simple cohomological definition of these weights in terms of the Atiyah class of X (the obstruction to the existence of a holomorphic connection). We show that the analogy between the tensor of curvature of a hyper-Kähler metric and the tensor of structure constants of a Lie algebra observed by Rozansky and Witten, holds in fact for any complex manifold, if we work at the level of cohomology and for any Kähler manifold, if we work at the level of Dolbeault cochains. As an outcome of our considerations, we give a formula for Rozansky–Witten classes using any Kähler metric on a holomorphic symplectic manifold.