Related papers: Differential Cohomology: Categories, Characteristi…
This work presents an exposition of both the internal structure of derived category of an abelian category D*(A) and its contribution in solving problems, particularly in algebraic geometry. Calculation of some morphisms will be presented…
These lecture notes cover four topics. There is a proof of the fact that the functors represented by the motivic Eilenberg-Maclane spaces on the motivic homotopy category coincide with the motivic cohomology defined in terms of the motivic…
Our constructions provide a systematic way to study cohomology pre-algebraic structures via classical cohomology, simplifying computations and enabling the use of established techniques.
In "Chern classes for coherent sheaves", H.I. Green constructs Chern classes in de Rham cohomology of coherent analytic sheaves. We construct here a formal $(\infty,1)$-categorical framework into which we can place Green's work and…
Systems of ordinary differential equations (or dynamical forms in Lagrangian mechanics), induced by embeddings of smooth fibered manifolds over one-dimensional basis, are considered in the class of variational equations. For a given…
A notion of Hochschild cohomology of an abelian category was defined by Lowen and Van den Bergh (2005) and they showed the existence of a characteristic morphism from the Hochschild cohomology into the graded centre of the (bounded) derived…
Let M be a manifold and g a Lie algebra acting on M. Differential forms Omega(M) carry a natural action of Lie derivatives L(x) and contractions I(x) of fundamental vector fields for x \in g. Contractions (anti-) commute with each other,…
We generalize the Generic Model Theorem for equivariant presheaves of structures; extending the results of Macintyre and Caicedo. We also introduce a new class of generic cohomologies and show how, for some examples, they simplify to non…
The manuscript is an overview of the motivations and foundations lying behind Voevodsky's ideas of constructing categories similar to the ordinary topological homotopy categories. The objects of these categories are strictly related to…
We show that the Hochschild cohomology of the algebra obtained by formal deformation quantization on a symplectic manifold is isomorphic to the formal series with coefficients in the de Rham cohomology of the manifold. The cohomology class…
We give an alternative to Postnikov's homotopy classification of maps from 3-dimensional CW-complexes to homogeneous spaces G/H of Lie groups. It describes homotopy classes in terms of lifts to the group G and is suitable for extending the…
This paper is part of a project that aims to give a homotopy cousin of Kelly's treatment of enriched category theory. After introducing unital co-Segal M-categories, we establish the unital version of a previous theorem that was proven for…
Let $\mathbb{X}=[X_1\rightrightarrows X_0]$ be a Lie groupoid equipped with a connection, given by a smooth distribution $\mathcal{H} \subset T X_1$ transversal to the fibers of the source map. Under the assumption that the distribution…
Based on a pair of cohomology operations on so called $\delta-2$-formal spaces, we construct the integral cohomology rings of the classifying spaces of the Lie groups $Spin(n)$ and $Spin^{c}(n)$. As applications, we introduce characteristic…
There have recently been several developments in synthetic mathematics using extensions of dependent type theory with univalence and higher inductive types: simplicial homotopy type theory, synthetic algebraic geometry and synthetic Stone…
A rather simple natural outer derivation of the graded Lie algebra of all vector valued differential forms with the Fr\"olicher-Nijenhuis bracket turns out to be a differential and gives rise to a cohomology of the manifold, which is…
A $Q$-manifold $M$ is a supermanifold endowed with an odd vector field $Q$ squaring to zero. The Lie derivative $L_Q$ along $Q$ makes the algebra of smooth tensor fields on $M$ into a differential algebra. In this paper, we define and study…
In this paper, we mainly build up the theory of sheaf-correspondence filtered spaces and stratified de Rham complexes for studying singular spaces. We prove the finiteness of a stratified de Rham cohomology and obtain its isomorphism to…
Bihom-associative algebras have been recently introduced in the study of group hom-categories. In this paper, we introduce a Hochschild type cohomology for bihom-associative algebras with suitable coefficients. The underlying cochain…
In the current study, we explore digital homology and cohomology modules, and investigate their fundamental properties on pointed digital images. We also examine pointed digital Hopf spaces and base point preserving digital Hopf functions…