Related papers: Flat comodules and contramodules as directed colim…

We define a new algebra of noncommutative differential forms for any Hopf algebra with an invertible antipode. We prove that there is a one to one correspondence between anti-Yetter-Drinfeld modules, which serve as coefficients for the Hopf…

Let $\lL(A)$ denote the coendomorphism left $R$-bialgebroid associated to a left finitely generated and projective extension of rings $R \to A$ with identities. We show that the category of left comodules over an epimorphic image of…

Let $R$ be a commutative ring and $I\subset R$ a finitely generated ideal. We discuss two definitions of derived $I$-adically complete (also derived $I$-torsion) complexes of $R$-modules which appear in the literature: the idealistic and…

We show that the cosupport of a commutative noetherian ring is precisely the set of primes appearing in a minimal pure-injective resolution of the ring. As an application of this, we prove that every countable commutative noetherian ring…

We prove that for a countable, commutative ring $R$, the class of countable $R$-modules either has only countably many isomorphism types, or else it is Borel complete. The machinery gives a succinct proof of the Borel completeness of TFAB,…

The phenomenon of periodicity, discovered by Benson and Goodearl, is linked to the behavior of the objects of cocycles in acyclic complexes. It is known that any flat $\mathsf{Proj}$-periodic module is projective, any fp-injective…

To a B-coring and a (B,A)-bimodule that is finitely generated and projective as a right A-module an A-coring is associated. This new coring is termed a base ring extension of a coring by a module. We study how the properties of a bimodule…

Let $R$ be a noetherian commutative ring, and \[ \mathbb F: ...\rightarrow F_2\rightarrow F_1\rightarrow F_0\rightarrow 0 \] a complex of flat $R$-modules. We prove that if $\kappa(\mathfrak p)\otimes_R\mathbb F$ is acyclic for every…

This paper is a coalgebra version of arXiv:1703.04266 and a sequel to arXiv:1607.03066. We present the definition of a pseudo-dualizing complex of bicomodules over a pair of coassociative coalgebras $\mathcal C$ and $\mathcal D$. For any…

A main theme of the paper is a conjecture of Bloch-Kato on the image of $p$-adic regulator maps for a proper smooth variety $X$ over an algebraic number field $k$. The conjecture for a regulator map of particular degree and weight is…

Galois comodules of a coring are studied. The conditions for a simple comodule to be a Galois comodule are found. A special class of Galois comodules termed principal comodules is introduced. These are defined as Galois comodules that are…

A product of cochains in a polyhedral complex is constructed. The multiplication algorithm depends on the choice of a parameter. The parameter is a linear functional on the ambient space. Cocycles form a subring of the ring of cochains,…

Given a morphism $f: X \rightarrow S$ of complex algebraic varieties and a constructible sheaf $\mathcal{G}$ on $X$, we compute the local monodromy of $Rf_*(\mathcal{G})$ and $Rf_!(\mathcal{G})$ in terms of the local monodromy of…

We consider codes defined over an affine algebra $\mathcal A=R[X_1,\dots,X_r]/\left\langle t_1(X_1),\dots,t_r(X_r)\right\rangle$, where $t_i(X_i)$ is a monic univariate polynomial over a finite commutative chain ring $R$. Namely, we study…

In this paper several characterizations of semi-compact modules are given. Among other results, we study rings whose semi-compact modules are injective. We introduce the property $\Sigma$-semi-compact for modules and we characterize the…

In this paper we develop an axiomatic setup for algorithmic homological algebra of Abelian categories. This is done by exhibiting all existential quantifiers entering the definition of an Abelian category, which for the sake of…

In this paper we consider reduced (non-normal) commutative noetherian rings $R$. With the help of conductor ideals and trace ideals of certain $R$-modules we deduce a criterion for a reflexive $R$-module to be closed under multiplication…

For any ring $R$, we investigate balanced pairs of classes of modules and their relations to cotorsion triples. We characterize the case when a balanced pair generates a tilting cotorsion pair, and dually, when it cogenerates a cotilting…

Let $A$ be an algebra in a monoidal category $\Cc$, and let $X$ be an object in $\Cc$. We study $A$-(co)ring structures on the left $A$-module $A\ot X$. These correspond to (co)algebra structures in $EM(\Cc)(A)$, the Eilenberg-Moore…

We show that if the cochain complex computing Ext groups (in the category of modules over Hopf algebroids) admits a cocyclic structure, then the noncommutative Cartan calculus structure on Tor over Ext dualises in a cyclic sense to a…