Trace theories and localization

Kaledin Dmitry Borisovich

doi:10.1090/conm/643/12900

Book chapter

Trace theories and localization

Kaledin D. B.

We show how one can twist the definition of Hochschild homology of an algebra or a DG algebra by inserting a possibly non-additive trace functor. We then prove that many of the usual properties of Hochschild homology survive such a generalization. In some cases this even includes Keller’s Localization Theorem.

Language: English

DOI

Keywords: Hochschild homology DG categories

Publication based on the results of: Алгебраическая геометрия симплектических многообразий(2016)

In book

Contemprorary Mathematics

Edited by: T. Pantev, C. Simpson, B. Toen et al. Vol. 643: Stacks and Categories in Geometry, Topology, and Algebra. American Mathematical Society, 2015.

The Gauss-Manin connection on the periodic cyclic homology

Vologodsky V., Petrov A., Vaintrob D. math. arxive. Cornell University, 2017

It is expected that the periodic cyclic homology of a DG algebra over the field of complex numbers (and, more generally, the periodic cyclic homology of a DG category) carries a lot of additional structure similar to the mixed Hodge structure on the de Rham cohomology of algebraic varieties. Whereas a construction of such a structure seems to be out of reach at the moment its counterpart in finite characteristic is much better understood thanks to recent groundbreaking works of Kaledin. In particular, it is proven by Kaledin that under some assumptions on a DG algebra $A$ over a perfect field $k$ of characteristic $p$, a lifting of $A$ over the ring of second Witt vectors $W_2(k)$ specifies the structure of a Fontaine-Laffaille module on the periodic cyclic homology of $A$. The purpose of this paper is to develop a relative version of Kaledin's theory for DG algebras over a base $k$-algebra $R$ incorporating in the picture the Gauss-Manin connection on the relative periodic cyclic homology constructed by Getzler. Our main result asserts that, under some assumptions on $A$, the Gauss-Manin connection on its periodic cyclic homology can be recovered from the Hochschild homology of $A$ equipped with the action of the Kodaira-Spencer operator as the inverse Cartier transform (in the sense of Ogus-Vologodsky). As an application, we prove, using the reduction modulo $p$ technique, that, for a smooth and proper DG algebra over a complex punctured disk, the monodromy of the Gauss-Manin connection on its periodic cyclic homology is quasi-unipotent.

Added: Nov 8, 2017

DG categories and exceptional collections

Bodzenta-Skibinska A. Proceedings of the American Mathematical Society. 2014.

Bondal and Kapranov describe how to assign to a full exceptional collection on a variety X a DG category C such that the bounded derived category of coherent sheaves on X is equivalent to the bounded derived category of C. In this paper we show that the category C has finite dimensional spaces of morphisms. We describe how it behaves under mutations and present an algorithm allowing to calculate it for full exceptional collections with vanishing Ext^k groups for k > 1. Finally, we use it to describe an example of a non-commutative deformation of certain rational surfaces.

Added: Nov 5, 2014

On the twisted tensor product of small dg categories

Shoikhet B. math. arxive. Cornell University, 2018

Given two small dg categories C,D, defined over a field, we introduce their (non-symmetric) twisted tensor product C⊗∼D. We show that −⊗∼D is left adjoint to the functor Coh(D,−), where Coh(D,E) is the dg category of dg functors D→E and their coherent natural transformations. This adjunction holds in the category of small dg categories (not in the homotopy category of dg categories Hot). We show that for C,D cofibrant, the adjunction descends to the corresponding adjunction in the homotopy category. Then comparison with a result of Toën shows that, for C,D cofibtant, C⊗∼D is isomorphic to C⊗D, as an object of the homotopy category Hot.

Added: Dec 7, 2018

Вектора Витта, коммутативные и некоммутативные

Каледин Д. Б. Успехи математических наук. 2018. Т. 73. № 1. С. 3-34.

A review of the classical construction of Witt vectors is presented, and some recent generalizations of it to the non-commutative case are described.

Added: Sep 13, 2018

Hochschild (co)homology of the second kind I

Polishchuk A., Positselski L. Transactions of the American Mathematical Society. 2012. Vol. 364. No. 10. P. 5311-5368.

We define and study the Hochschild (co)homology of the second kind (known also as the Borel-Moore Hochschild homology and the compactly supported Hochschild cohomology) for curved DG categories. An isomorphism between the Hochschild (co)homology of the second kind of a CDG-category B and the same of the DG category C of right CDG-modules over B, projective and finitely generated as graded B-modules, is constructed. Sufficient conditions for an isomorphism of the two kinds of Hochschild (co)homology of a DG-category are formulated in terms of the two kinds of derived categories of DG-modules over it. In particular, a kind of “resolution of the diagonal” condition for the diagonal CDG-bimodule B over a CDG-category B guarantees an isomorphism of the two kinds of Hochschild (co)homology of the corresponding DG-category C. Several classes of examples are discussed. In particular, we show that the two kinds of Hochschild (co)homology are isomorphic for the DG-category of matrix factorizations of a regular function on a smooth affine variety over a perfect field provided that the function has no other critical values but zero.

Added: Jun 27, 2012

Exceptional collections of line bundles on the Beauville surface

Galkin S., Shinder E. arxiv.org. math. Cornell University, 2012. No. 1210.3339.

We construct quasi-phantom admissible subcategories in the derived category of coherent sheaves on the Beauville surface S. These quasi-phantoms subcategories appear as right orthogonals to subcategories generated by exceptional collections of maximal possible length 4 on S. We prove that there are exactly 6 exceptional collections consisting of line bundles (up to a twist) and these collections are spires of two helices.

Added: Sep 14, 2013