Related papers: A comparison between compactly supported rigid and…
Entwined modules over cowreaths in a monoidal category are introduced. They can be identified to coalgebras in an appropriate monoidal category. It is investigated when such coalgebras are Frobenius (resp. separable), and when the forgetful…
Consider a coring with exact rational functor, and a finitely generated and projective right comodule. We construct a functor (\emph{coinduction functor}) which is right adjoint to the hom-functor represented by this comodule. Using the…
We initiate the study of the cohomology of (strict polynomial) bifunctors by introducing the foundational formalism, establishing numerous properties in analogy with the cohomology of functors, and providing computational techniques. Since…
In the first part of this paper, we consider, in the context of an arbitrary hyperplane arrangement, the map between compactly supported cohomology to the usual cohomology of a local system. A formula (i.e., an explicit algebraic de Rham…
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…
We construct a cohomology theory with compact support H^i_c(X_ar,Z(n))$ for separated schemes of finite type over a finite field, which should play a role analog to Lichtenbaum's Weil-etale cohomology groups for smooth and projective…
We give, for a complex algebraic variety $S$, a Hodge realization functor $\mathcal F_S^{Hdg}$ from the derived category of constructible motives $DA_c(S)$ to the derived category $D(MHM(S))$ of algebraic mixed Hodge modules over $S$.…
We generalize a result of Orlov and Van den Bergh on the representability of a cohomological functor from the bounded derived category of a smooth projective variety over a field to the category of L-modules, to the case where L is a field…
It is known that irreducible noncommutative differential structures over $\Bbb F_p[x]$ are classified by irreducible monics $m$. We show that the cohomology $H_{\rm dR}^0(\Bbb F_p[x]; m)=\Bbb F_p[g_d]$ if and only if ${\rm Tr}(m)\ne 0$,…
On the category of pairs of topological spaces having a homotopy type of $CW$ complexes the singular (co)homology theory was axiomatically studied by J.Milnor. In particular, Milnor gave additivity axiom for a (co)homology theory and proved…
We introduce the notion of strong regular holonomic ${\mathcal{D}}_{{X\times S}/S}$-module and we prove that the functor ${\mathrm{RH}}^S$ introduced by T. Monteiro Fernandes and C. Sabbah in [14] takes image in…
In \cite{BKN} the authors initiated a study of the representation theory of classical Lie superalgebras via a cohomological approach. Detecting subalgebras were constructed and a theory of support varieties was developed. The dimension of a…
Let $R=k[x_1,..., x_n]$ be a polynomial ring over a field $k$ of characteristic $p>0,$ let $\m=(x_1,..., x_n)$ be the maximal ideal generated by the variables, let $^*E$ be the naturally graded injective hull of $R/\m$ and let $^*E(n)$ be…
We give algorithms for the computation of the algebraic de Rham cohomology of open and closed algebraic sets inside projective space or other smooth complex toric varieties. The methods, which are based on Gr\"obner basis computations in…
The aim of the present work is to show how, using the differential calculus associated to Dirichlet forms, it is possible to construct Fredholm modules on post critically finite fractals by regular harmonic structures. The modules are…
In this article we give a survey of the various forms of Berthelot's conjecture and some of the implications between them. By proving some comparison results between pushforwards of overconvergent isocrystals and those of arithmetic…
In the work of Hoshino, Kato and Miyachi, the authors look at t-structures induced by a compact object, C, of a triangulated category, T, which is rigid in the sense of Iyama and Yoshino. Hoshino, Kato and Miyachi show that such an object…
Let $\mathcal{C}$ be a small category and let $R$ be a dg-representation of the category $\mathcal{C}$, that is, a pseudofunctor from a small category to the category of small dg $k$-categories, where $k$ is a commutative unital ring. In…
Given a Hopf algebra A, there exist various cohomology theories for the category of Hopf bimodules over A, introduced by M. Gerstenhaber and S.D. Schack, and by C. Ospel. We prove, when A is finite dimensional, that they are equal to the…
The main results of this article concern the definition of a compactly supported cohomology class for the congruence group $\Gamma_0(p^n)$ with values in the second Milnor $K$-group (modulo 2-torsion) of the ring of $p$-integers of the…