Related papers: A generalization of Watts's Theorem: Right exact f…

A pair of adjoint functors $(F,G)$ is called a Frobenius pair of the second type if $G$ is a left adjoint of $\beta F\alpha$ for some category equivalences $\alpha$ and $\beta$. Frobenius ring extensions of the second kind provide examples…

For a not-necessarily commutative ring R we define an abelian group W(R;M) of Witt vectors with coefficients in an R-bimodule M. These groups generalize the usual big Witt vectors of commutative rings and we prove that they have analogous…

This paper develops a representation-theoretic approach to the isogeny category $\underline{\mathcal{C}}$ of commutative group schemes of finite type over a field $k$, studied in arXiv:1602:00222. We construct a ring $R$ such that…

To a big n-tilting object in a complete, cocomplete abelian category A with an injective cogenerator we assign a big n-cotilting object in a complete, cocomplete abelian category B with a projective generator, and vice versa. Then we…

Let $\mathfrak{a}$ be an ideal of a commutative noetherian (not necessarily local) ring $R$. In the case $\cd(\mathfrak{a},R)\leq 1$, we show that the subcategory of $\mathfrak{a}$-cofinite $R$-modules is abelian. Using this and the…

For a function algebra A we investigate relations between the following three topics: isomorphisms of singly generated A-modules, Morita equivalence bimodules, and `real harmonic functions' with respect to A. We also consider certain groups…

We set up a general framework to study Tate cohomology groups of Galois modules along $\mathbb{Z}_p$-extensions of number fields. Under suitable assumptions on the Galois modules, we establish the existence of a five-term exact sequence in…

This article develops several main results for a general theory of homological algebra in categories such as the category of sheaves of idempotent modules over a topos. In the analogy with the development of homological algebra for abelian…

Holm (H. Holm, Modules with cosupport and injective functors, Algebr. Represent. Theor., 13 (2010), 543-560) considers categories of right modules dual to those with support in a set of finitely presented modules. We extend some of his…

Given a higher-rank graph $\Lambda$, we investigate the relationship between the cohomology of $\Lambda$ and the cohomology of the associated groupoid $G_\Lambda$. We define an exact functor between the abelian category of right modules…

Given two von Neumann algebras $A$ and $B$, the $W^*$-algebraic Eilenberg-Watts theorem, due to M. Rieffel, asserts that there is a canonical equivalence $\operatorname{Corr}(A,B)\simeq \operatorname{Fun}(\operatorname{Rep}(B),…

We establish a novel approach to computing $G$-equivariant cohomology for a finite group $G$, and demonstrate it in the case that $G = C_{p^n}$. For any commutative ring spectrum $R$, we prove a symmetric monoidal reconstruction theorem for…

In this paper we show that it is possible to define a topology on the category of formal schemes over a ring of $p$-adic integers such that the left adjoint of the Greenberg Transform is a site cocontinuous functor when we equip the…

For our purposes, two functors {\Lambda} and {\Gamma} are said to be respectively left and right adjoints of each other if for any digraphs G and H, there exists a homomorphism of {\Lambda}(G) to H if and only if there exists a homomorphism…

We construct a category $\OrdFor$ as an arboreal extension of $\Delta_{\mathrm{epi}}\subseteq\Delta$, whose morphisms are ordered forests composed by grafting. We define a full functor $\pi\colon \OrdFor\to\Delta_{\mathrm{epi}}^{op}$…

In this work, it is shown that the category XMod/P of crossed modules over fixed group P is an exact category and the complete proof of the embedding theorem of XMod/P into a set valued functor category is given.

We introduce a notion of rank completion for bi-modules over a finite tracial von Neumann algebra. We show that the functor of rank completion is exact and that the category of complete modules is abelian with enough projective objects.…

Fix a noetherian scheme S. For any flat map f: X->Y of separated essentially-finite-type perfect S-schemes we define a canonical derived-category map c(f):\H(X)->f^!\H(Y), the fundamental class of f, where \H(Z) is the (pre-)Hochschild…

We define L-functions for meromorphic modular forms that are regular at cusps, and use them to: (i) find new relationships between Hurwitz class numbers and traces of singular moduli, (ii) establish predictions from the physics of…

Inspired by recent work of Peter O'Sullivan (arXiv:2012.15703), we give a condition under which a faithful monoidal functor between abelian $\otimes$-categories is exact.