Related papers: Cartier duality via Mittag-Leffler modules

Let $G$ be the group of rational points of a split connected reductive group over a nonarchimedean local field of residue characteristic $p$. Let $I$ be a pro-$p$ Iwahori subgroup of $G$ and let $R$ be a commutative quasi-Frobenius ring. If…

For a commutative noetherian ring $R$, we classify all the hereditary cotorsion pairs cogenerated by pure-injective modules of finite injective dimension. The classification is done in terms of integer-valued functions on the spectrum of…

For a dualizing module $D$ over a commutative Noetherian ring $R$ with identity, it is known that its Auslander class $\mathscr{A}_D\left(R\right)$ (respectively, Bass class $\mathscr{B}_D\left(R\right)$) is characterized as those…

We give several related versions of global Grothendieck Duality for unbounded complexes on noetherian formal schemes. The proofs, based on a non-trivial adaptation of Deligne's method for the special case of ordinary schemes, are reasonably…

Grothendieck duality theory assigns to essentially-finite-type maps f of noetherian schemes a pseudofunctor f^\times right-adjoint to Rf_*, and a pseudofunctor f^! agreeing with f^\times when f is proper, but equal to the usual inverse…

A functor of sets $\mathbb X$ over the category of $K$-commutative algebras is said to be an affine functor if its functor of functions, $\mathbb A_{\mathbb X}$, is reflexive and $\mathbb X=\Spec \mathbb A_{\mathbb X}$. We prove that affine…

In this paper, we develop two new homological invariants called relative dominant dimension with respect to a module and relative codominant dimension with respect to a module. These are used to establish precise connections between Ringel…

Let $f:X\to Y$ be a Cohen-Macaulay map of finite type between Noetherian schemes, and $:Y'\to Y$ a base change map, with $Y'$ Noetherian. Let $f'$ be the base change of $f$ under $g$ and $g'$ the base change of $g$ under $f$. We show that…

We explicitly describe the Cartier dual of the $l$-th Frobenius kernel $N_l$ of the deformation group scheme, which deforms the additive group scheme to the multiplicative group scheme. Then the Cartier dual of $N_l$ is given by a certain…

Let $R$ be a commutative Noetherian ring with identity (not necessarily local) and $\frak a$ a proper ideal of $R$. We study the invariance of some classes of $\frak a$-relative Cohen-Macaulay modules under pure ring homomorphisms and ring…

We introduce the notions of a commutative square ring $R$ and of a quadratic map between modules over $R$, called $R$-quadratic map. This notion generalizes various notions of quadratic maps between algebraic objects in the literature. We…

Macaulay Duality, between quotients of a polynomial ring over a field, annihilated by powers of the variables, and finitely generated submodules of the ring's graded dual, is generalized over any Noetherian ring, and used to provide…

We apply the theory of cotorsion pairs to study closure properties of classes of modules with finite projective dimension with respect to direct limit operations and to filtrations. We also prove that if the ring is an order in an…

We show that the cotilting heart associated to a tilting complex $T$ is a locally coherent and locally coperfect Grothendieck category (i.e. an Ind-completion of a small artinian abelian category) if and only if $T$ is product-complete. We…

Let $G$ be a group and $\Bbbk$ a commutative ring. All categories and functors are assumed to be $\Bbbk$-linear. We define a $G$-invariant bimodule ${}_SM_R$ over $G$-categories $R, S$ and a $G$-graded bimodule ${}_BN_A$ over $G$-graded…

Let $\mathfrak{g}$ be a complex simple Lie algebra and $U_qL\mathfrak{g}$ the corresponding quantum affine algebra. We construct a functor ${}^{\theta}{\sf F}$ between finite-dimensional modules over a quantum symmetric pair of affine type…

Poitou-Tate duality for the Galois group of an extension of a global field with appropriately restricted ramification can be seen as taking place between the cohomology of a compact or discrete module and the compactly-supported cohomology…

Let $E/F$ be a cyclic Galois extension of degree $p^l$ with Galois group $G$. It is shown that the Galois module structure of both sides of the Kummer pairing (for Kummer extensions of $E$) are the same. In other words, we show that the…

In this paper we treat Grothendieck Duality for noetherian rings via rigid dualizing complexes. In particular, we prove that every ring, essentially finite type over a regular base ring, has a unique rigid dualizing complex. The rigid…

We prove a Cartier duality for gerbes of algebraic and analytic vector bundles as an anti-equivalence of Hopf algebras in the category of kernels of analytic stacks. As an application, we prove that the category of solid quasi-coherent…