Related papers: Adams' cobar construction revisited
We provide bar and cobar constructions as functors acting between various categories of curved operads and curved cooperads. Cobar and bar constructions are adjoint to each other. Given a twisting cochain between a curved augmented cooperad…
The author constructed a spectral sequence strongly converging to h_*(Omega^n Sigma^n X) for any homology theory in [Topology 33 (1994) 631-662]. In this note, we prove that the E^1-term of the spectral sequence is isomorphic to the cobar…
We introduce the compactness locus of a geometric functor between rigidly-compactly generated tensor-triangulated categories, and describe it for several examples arising in equivariant homotopy theory and algebraic geometry. It is a subset…
Whatever it is that animates anima and breathes life into higher algebra, this something leaves its trace in the structure of a Dirac ring on the homotopy groups of a commutative algebra in spectra. In the prequel to this paper, we…
Over a field of characteristic zero, we show that the forgetful functor from the homotopy category of commutative dg algebras to the homotopy category of dg associative algebras is faithful. In fact, the induced map of derived mapping…
We prove that the stabilization of spaces functor---the classical construction of associating a spectrum to a pointed space by tensoring with the sphere spectrum---satisfies homotopical descent on objects and morphisms. This is the…
The embedding Chains(R) into Cochains(R) as the compactly supported cochains might lead one to expect Chains(R) to carry a nonunital commutative Frobenius algebra structure, up to a degree shift and some homotopic weakening of the axioms.…
Given a space with a circle action, we study certain cocyclic chain complexes and prove a theorem relating cyclic homology to $S^1$-equivariant homology, in the spirit of celebrated work of Jones. As an application, we describe a chain…
We construct Adams operations on the rational higher arithmetic K-groups of a proper arithmetic variety. The definition applies to the higher arithmetic K-groups given by Takeda as well as to the groups suggested by Deligne and Soule, by…
We introduce a class of first order G-structures, each of which has an underlying almost conformally symplectic structure. There is one such structure for each real simple Lie algebra which is not of type $C_n$ and admits a contact grading.…
We provide a simple condition on rational cohomology for the total space of a pullback fibration over a connected sum to have the rational homotopy type of a connected sum, after looping. This takes inspiration from recent work of Jeffrey…
The main result of this article provides a characterization of reductive homogeneous spaces equipped with some geometric structure (non necessarily pseudo-Riemannian) in terms of the existence of certain connection. The result generalizes…
Supersymmetric gauge theories of certain class possess a large hidden nonperturbative symmetry described by the Ding-Iohara-Miki (DIM) algebra which can be used to compute their partition functions and correlators very efficiently. We lift…
Using non-commutative differential forms, we construct a complex called singular Hochschild cochain complex for any associative algebra over a field. The cohomology of this complex is isomorphic to the Tate-Hochschild cohomology in the…
We define a dg-category of looped diagrams which we use to construct operations on the Hochschild complex of commutative Frobenius dg-algebras. We show that we recover the operations known for symmetric Frobenius dg-algebras constructed…
Given a (not necessarily discrete) proper metric space $M$ with bounded geometry, we define a groupoid $G(M)$. We show that the coarse Baum--Connes conjecture with coefficients, which states that the assembly map with coefficients for G(M)…
We continue our study of string correlators on Euclidean $\text{AdS}_3$ with pure NS-NS flux. The worldsheet and spacetime correlators have a rich analytic structure, which we analyse completely for genus 0 four-point functions. We show…
Let \G be a (weak) quasi-Hopf algebra. Using a two-sided \G-coaction on an algebra \M, we construct what we call the diagonal crossed product as a new associative algebra structure on \M\otimes \dG, where \dG is the dual of \G. This…
We study moduli spaces of twisted quasimaps to a hypertoric variety $X$, arising as the Higgs branch of an abelian supersymmetric gauge theory in three dimensions. These parametrise general quiver representations whose building blocks are…
We introduce the notion of a regular integrable connection on a smooth log scheme over $\mathbf{C}$ and construct an equivalence between the category of such connections and the category of integrable connections on its analytification,…