Related papers: Godement resolution and operad sheaf homotopy theo…
We define a strong homotopy derivation of (cohomological) degree k of a strong homotopy algebra over an operad P. This involves resolving the operad obtained from P by adding a generator with "derivation relations". For a wide class of…
We define the notion of sheaf in the context of doctrines. We prove the associate sheaf functor theorem. We show that grothendieck toposes and toposes obtained by the tripos to topos construction are instances of categories of sheaves for a…
In this paper we calculate the Hochschild cohomology of graded skew-gentle algebras, together with its structure as graded commutative algebra under the cup product and its Lie algebra structure given by the Gerstenhaber bracket. One of the…
In this paper we study mixed Hodge structures on the cohomology of locally symmetric varieties and give an application to modular forms. After proving vanishing of some Hodge numbers, we focus on the weight filtration on the last Hodge…
We study the homotopy theory of locally ordered spaces, that is manifolds with boundary whose charts are partially ordered in a compatible way. Their category is not particularly well-behaved with respect to colimits. However, this category…
We introduce the notion of compatible actions in the context of split extensions of finite dimensional Lie algebras over a field. Using compatible actions, we construct a new resolution to compute the cohomology of semi-direct products of…
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…
A semiring scheme generalizes a scheme in such a way that the underlying algebra is that of semirings. We generalize \v{C}ech cohomology theory and invertible sheaves to semiring schemes. In particular, when $X=\mathbb{P}^n_M$, a projective…
The purpose of this note is to define sheaves for diffeological spaces and give a construction of their \v{C}ech cohomology. As an application, we prove that the first degree \v{C}ech cohomology classes for the sheaf of smooth functions to…
In this note we extend the cyclic homology functor, and in particular the periodic cyclic homology, to the category of DG (= differential graded) coalgebras. We are partly motivated by the question of products and coproducts in the cyclic…
We define a sheaf of abelian groups whose cohomology is represented by the cotangent complex. We show how obstructions to some standard deformation problems arise as the classes of torsors under and gerbes banded by this sheaf.
We construct homology theories with coefficients in L-spectra on the category of ball complexes and we define products in this setting. We also obtain signatures of geometric situations in these homology groups and prove product formulae…
The initial motivation of this work was to give a topological interpretation of two-periodic twisted de-Rham cohomology which is generalizable to arbitrary coefficients. To this end we develop a sheaf theory in the context of locally…
This paper develops a duality theory for connected cochain DG algebras, with particular emphasis on the non-commutative aspects. One of the main items is a dualizing DG module which induces a duality between the derived categories of DG…
This paper deals with sheaves of differential operators on noncommutative algebras. The sheaves are defined by quotienting a the tensor algebra of vector fields (suitably deformed by a covariant derivative) to ensure zero curvature. As an…
In this survey paper, we present \v{C}ech and sheaf cohomologies -- themes that were presented by Koszul in University of S\~ao Paulo during his visit in the late 1950s -- we present expansions for categories of generalized sheaves (i.e,…
Rota-Baxter operators and more generally $\mathcal{O}$-operators play a crucial role in broad areas of mathematics and physics, such as integrable systems, the Yang-Baxter equation and pre-Lie algebras. The main objects of study in the…
We study equivariant operations on the periodic cyclic homology of a dg algebra that arise from the chain level action of the two-colored Kontsevich-Soibelman operad. Using classical computations of Cohen [Coh], we explicitly compute a set…
We produce a canonical highly homotopy-coherent operad structure on the derivatives of the identity functor in spaces via a pairing of cosimplicial objects, providing a new description of an operad structure on such objects first described…
We provide a framework which generalizes algebraic models of a homotopy theory of spaces to the genuine equivariant case for a discrete group. We explain how this applies to commutative differential graded algebra (cdga) models and complete…