By Leonid Positselski
The purpose of this paper is to build the derived nonhomogeneous Koszul duality. the writer considers the derived different types of DG-modules, DG-comodules, and DG-contramodules, the coderived and contraderived different types of CDG-modules, the coderived class of CDG-comodules, and the contraderived class of CDG-contramodules. The equivalence among the latter different types (the comodule-contramodule correspondence) is demonstrated. Nonhomogeneous Koszul duality or "triality" (an equivalence among unique derived different types resembling Koszul twin (C)DG-algebra and CDG-coalgebra) is acquired within the conilpotent and nonconilpotent models. a variety of A-infinity buildings are thought of, and a few version class constructions are defined. Homogeneous Koszul duality and D-$\Omega$ duality are mentioned within the appendices.
Read or Download Two Kinds of Derived Categories, Koszul Duality, and Comodule-Contramodule Correspondence PDF
Similar algebra & trigonometry books
VI of Oregon lectures in 1962, Bass gave simplified proofs of a couple of "Morita Theorems", incorporating principles of Chase and Schanuel. one of many Morita theorems characterizes whilst there's an equivalence of different types mod-A R::! mod-B for 2 jewelry A and B. Morita's resolution organizes rules so successfully that the classical Wedderburn-Artin theorem is an easy final result, and in addition, a similarity category [AJ within the Brauer workforce Br(k) of Azumaya algebras over a commutative ring okay contains all algebras B such that the corresponding different types mod-A and mod-B which includes k-linear morphisms are similar via a k-linear functor.
The current monograph on matrix partial orders, the 1st in this subject, makes a different presentation of many partial orders on matrices that experience involved mathematicians for his or her attractiveness and utilized scientists for his or her wide-ranging software power. with the exception of the LÃ¶wner order, the partial orders thought of are rather new and got here into being within the past due Nineteen Seventies.
Initially, my purpose used to be to put in writing a "History of Algebra", in or 3 volumes. In getting ready the 1st quantity I observed that during historical civiliza tions geometry and algebra can't good be separated: increasingly more sec tions on historical geometry have been extra. therefore the hot name of the publication: "Geometry and Algebra in historical Civilizations".
- Inequalities : a Mathematical Olympiad approach
- An Extension of the Galois Theory of Grothendieck
- Hilbert modules over function algebras
- A Double Hall Algebra Approach to Affine Quantum Schur-Weyl Theory
Additional resources for Two Kinds of Derived Categories, Koszul Duality, and Comodule-Contramodule Correspondence
Let J be a left CDG-module over B such that the graded B # -module J is injective. Suppose that the complex HomB (L, J) is acyclic for any ﬁnitely generated left CDG-module L over B. We have to prove that J is contractible. Apply Zorn’s Lemma to the ordered set of all pairs (M, h), where M is a CDGsubmodule in J and h : M −→ J is a contracting homolopy for the identity embedding M −→ J. It suﬃces to check that whenever M = J there exists a CDGsubmodule M ⊂ M ′ ⊂ J, M = M ′ and a contracting homotopy h′ : M ′ −→ J for the identity embedding M ′ −→ J that agrees with h on M .
Much more generally, to deﬁne the coderived (contraderived) category, it suﬃces to have a DG-category DG with shifts, cones, and arbitrary inﬁnite direct sums (products), for which the additive category Z 0 (DG) is endowed with an exact category structure. Examples of such a situation include not only the categories of CDG-modules, but also, e. , the category of complexes over an exact category . Then one considers the total objects of exact triples in Z 0 (DG) as objects of the homotopy category H 0 (DG) and takes the quotient category of H 0 (DG) by the minimal triangulated subcategory containing all such objects and closed under inﬁnite direct sums (products).
The same observation allows to deduce (d) from (a). Theorem 2. Assume that Ai = 0 for all i < 0, the ring A0 is semisimple, and A = 0. Then (a) Acyclco,− (A–mod) = Acycl− (A–mod) and Acyclctr,+ (A–mod) = Acycl+ (A–mod); (b) the natural functors Hot± (A–mod)/Acycl± (A–mod) −→ D(A–mod) are fully faithful; (c) the natural functors Hot± (A–mod)/Acyclco,± (A–mod) −→ Dco (A–mod) and ± Hot (A–mod)/Acyclctr,± (A–mod) −→ Dctr (A–mod) are fully faithful; (d) the triangulated subcategories Acyclco (A–mod) and Acyclctr (A–mod) generate the triangulated subcategory Acycl(A–mod).