A local duality theorem for categories of modules

Let Λ be an associative ring with identity and let be the category of left unitary Λ-modules. A subcateqory of the category is said to be small if the pairwise nonisomorphic objects of form a set. The main result of this paper consists of the fact that for every small full subcategory , there exists a ring Γ such that is dual to a small full subcategory of the category . Some applications of this result are indicated. Bibliography: 3 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 227, 1995, pp. 66–73.     

A local duality principle in derived categories of commutative Noetherian rings

Let R be a commutative Noetherian ring. We introduce the notion of colocalization functors ${\gamma }_W$ with supports in arbitrary subsets W of Spec R. If W is a specialization-closed subset, then ${\gamma }_W$ coincides with the right derived functor ${\mathrm{R}\mathrm{\Gamma }}_W$ of the section functor ${\mathrm{\Gamma }}_W$ with support in W. We prove that the local duality theorem and the vanishing theorem of Grothendieck type hold for ${\gamma }_W$ with W being an arbitrary subset.     

A duality principle for groups

The duality principle for Gabor frames states that a Gabor sequence obtained by a time-frequency lattice is a frame for L²(Rd) if and only if the associated adjoint Gabor sequence is a Riesz sequence. We prove that this duality principle extends to any dual pairs of projective unitary representations of countable groups. We examine the existence problem of dual pairs and establish some connection with classification problems for II₁ factors. While in general such a pair may not exist for some groups, we show that such a dual pair always exists for every subrepresentation of the left regular unitary representation when G is an abelian infinite countable group or an amenable ICC group. For free groups with finitely many generators, the existence problem of such a dual pair is equivalent to the well-known problem about the classification of free group von Neumann algebras.     

Stone duality for lattices

We present a new topological representation and Stone-type duality for general lattices. The dual objects of lattices are triples , where X, Y are the filter and ideal spaces of the lattice, endowed with a natural topology, and is a relation from X to Y. Received September 27, 1995; accepted in final form January 22, 1997.     

Koszul duality and equivalences of categories

Let and be dual Koszul algebras. By Positselski a filtered algebra with gr is Koszul dual to a differential graded algebra . We relate the module categories of this dual pair by a Hom adjunction. This descends to give an equivalence of suitable quotient categories and generalizes work of Beilinson, Ginzburg, and Soergel.

     

Stable model categories are categories of modules

A stable model category is a setting for homotopy theory where the suspension functor is invertible. The prototypical examples are the category of spectra in the sense of stable homotopy theory and the category of unbounded chain complexes of modules over a ring. In this paper we develop methods for deciding when two stable model categories represent ‘the same homotopy theory’. We show that stable model categories with a single compact generator are equivalent to modules over a ring spectrum. More generally stable model categories with a set of generators are characterized as modules over a ‘ring spectrum with several objects’, i.e., as spectrum valued diagram categories. We also prove a Morita theorem which shows how equivalences between module categories over ring spectra can be realized by smashing with a pair of bimodules. Finally, we characterize stable model categories which represent the derived category of a ring. This is a slight generalization of Rickard's work on derived equivalent rings. We also include a proof of the model category equivalence of modules over the Eilenberg-Mac Lane spectrum HR and (unbounded) chain complexes of R-modules for a ring R.     

Remarks on Priestley duality for distributive lattices

The notion of a Priestley relation between Priestley spaces is introduced, and it is shown that there is a duality between the category of bounded distributive lattices and 0-preserving join-homomorphisms and the category of Priestley spaces and Priestley relations. When restricted to the category of bounded distributive lattices and 0-1-preserving homomorphisms, this duality yields essentially Priestley duality, and when restricted to the subcategory of Boolean algebras and 0-preserving join-homomorphisms, it coincides with the Halmos-Wright duality. It is also established a duality between 0-1-sublattices of a bounded distributive lattice and certain preorder relations on its Priestley space, which are called lattice preorders. This duality is a natural generalization of the Boolean case, and is strongly related to one considered by M. E. Adams. Connections between both kinds of dualities are studied, obtaining dualities for closure operators and quantifiers. Some results on the existence of homomorphisms lying between meet and join homomorphisms are given in the Appendix.     

Equivalences between categories of modules and categories of comodules

We show the close connection between apparently different Galois theories for comodules introduced recently in [J. Gomez-Torrecillas and J. Vercruysse, Comatrix corings and Galois Comodules over firm rings, Algebr. Represent. Theory, 10 （2007）, 271 306] and [Wisbauer, On Galois comodules, Comm. Algebra 34 （2006）, 2683-2711]. Furthermore we study equivalences between categories of comodules over a coring and modules over a firm ring. We show that these equivalences are related to Galois theory for comodules.     

Products and duality in Waldhausen categories

The natural transformation from -theory to the Tate cohomology of acting on -theory commutes with external products. Corollary: The Tate cohomology of acting on the -theory of any ring with involution is a generalized Eilenberg-Mac Lane spectrum, and it is 4-periodic.

     

A quantum duality principle for coisotropic subgroups and Poisson quotients

We develop a quantum duality principle for coisotropic subgroups of a (formal) Poisson group and its dual: namely, starting from a quantum coisotropic subgroup (for a quantization of a given Poisson group) we provide functorial recipes to produce quantizations of the dual coisotropic subgroup (in the dual formal Poisson group). By the natural link between subgroups and homogeneous spaces, we argue a quantum duality principle for Poisson homogeneous spaces which are Poisson quotients, i.e. have at least one zero-dimensional symplectic leaf. As an application, we provide an explicit quantization of the homogeneous -space of Stokes matrices, with the Poisson structure given by Dubrovin and Ugaglia.     

A transfer principle for inequalities in vector lattices

A transfer principle from inequalities with inner products to inequalities containing positive semidefinite symmetric bilinear operators with values in a vector lattices is proved. Some applications are also given.     

Group symmetry in tensor categories and duality for orbifolds

A duality for orbifolds is presented as an application of group extensions in tensor categories.     

Koszul duality for extension algebras of standard modules

We define and investigate a class of Koszul quasi-hereditary algebras for which there is a natural equivalence between the bounded derived category of graded modules and the bounded derived category of graded modules over (a proper version of) the extension algebra of standard modules. Examples of such algebras include, in particular, the multiplicity free blocks of the BGG category O, and some quasi-hereditary algebras with Cartan decomposition in the sense of König.     

Priestley duality for order-preserving maps into distributive lattices

The category of bounded distributive lattices with order-preserving maps is shown to be dually equivalent to the category of Priestley spaces with Priestley multirelations. The Priestley dual space of the ideal lattice L of a bounded distributive lattice L is described in terms of the dual space of L. A variant of the Nachbin-Stone-ech compactification is developed for bitopological and ordered spaces. Let X be a poset and Y an ordered space; X ^Y denotes the poset of continuous order-preserving maps from Y to X with the discrete topology. The Priestley dual of L ^P is determined, where P is a poset and L a bounded distributive lattice.     

A local duality principle for the Baire classes of functions

A local dual of a Banach space X is a closed subspace of X^∗ that satisfies the properties that the principle of local reflexivity assigns to X as a subspace of X∗∗. We show that, for every ordinal 1?α?ω₁, the spaces Bα[0,1] of bounded Baire functions of class α are local dual spaces of the space M[0,1] of all Borel measures. As a consequence, we derive that each annihilator Bα^⊥[0,1] is the kernel of a norm-one projection.