Source author record

Joseph Lipman

Joseph Lipman appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.AG math.AC math.CT

Catalog footprint

What is connected

5works

3topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2014arXiv

Bivariance, Grothendieck duality and Hochschild homology, II: the fundamental class of a flat scheme-map

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 complex of an S-scheme Z and f^! is the twisted inverse image coming from Grothendieck duality theory. When Y=S and f is essentially smooth of relative dimension n, this gives an isomorphism from n-th degree relative differential forms [ =H^{-n}(\H(X)) ] to f^!O_S[-n]. The basic results concern transitivity of c(-) vis-à-vis compositions X->Y->Z, and compatibility of c(-) with flat base change. These properties imply that c(-) orients the flat maps in the bivariant theory of part I, compatibly with essentially étale base change. Furthermore, c(-) leads to a dual oriented bivariant theory, whose homology is the classical Hochschild homology of flat S-schemes. When Y=S, c(-) is used to define a duality map \H(X)->RHom(\H(X),f^!O_S), an isomorphism if f is essentially smooth. These results apply in particular to flat essentially finite type maps of noetherian rings.

preprint2013arXiv

Adjoint associativity: an invitation to algebra in infinity-categories

There appeared not long ago a Reduction Formula for derived Hochschild cohomology, that has been useful e.g., in the study of Gorenstein maps and of rigidity w.r.t. semidualizing complexes. The formula involves the relative dualizing complex of a ring homomorphism, so brings out a connection between Hochschild homology and Grothendieck duality. The proof, somewhat ad hoc, uses homotopical considerations via a number of noncanonical projective and injective resolutions of differential graded objects. Recent efforts aim at more intrinsic approaches, hopefully upgradable to "higher" contexts--like bimodules over algebras in infinity-categories. This would lead to wider applicability, for example to ring spectra; and the methods might be globalizable, revealing some homotopical generalizations of aspects of Grothendieck duality. (The original formula has a geometric version, proved by completely different methods coming from duality theory.) A first step is to extend Hom-Tensor adjunction--adjoint associativity--to the infinity-category setting.

preprint2010arXiv

Bivariance, Grothendieck duality and Hochschild homology

A procedure for constructing bivariant theories by means of Grothendieck duality is developed. This produces, in particular, a bivariant theory of Hochschild (co)homology on the category of schemes that are flat, separated and essentially of finite type over a fixed noetherian scheme S. The theory takes values in the category of symmetric graded modules over the graded-commutative ring \oplus_i H^i(S,O_S). In degree i, the cohomology and homology H^0(S,O_S)-modules thereby associated to such an x: X -> S, with Hochschild complex H_x, are Ext^i(H_x, H_x) and Ext^{-i}(H_x, x^!O_S). This lays the foundation for a sequel that will treat orientations in bivariant Hochschild theory through canonical relative fundamental class maps, unifying and generalizing previously known manifestations, via differential forms, of such maps.

preprint2010arXiv

Reflexivity and rigidity for complexes, II: Schemes

We prove basic facts about reflexivity in derived categories over noetherian schemes; and about related notions such as semidualizing complexes, invertible complexes, and Gorenstein-perfect maps. Also, we study a notion of rigidity with respect to semidualizing complexes, in particular, relative dualizing complexes for Gorenstein-perfect maps. Our results include theorems of Yekutieli and Zhang concerning rigid dualizing complexes on schemes. This work is a continuation of part I, which dealt with commutative rings.

preprint2007arXiv

Quasi-perfect scheme-maps and boundedness of the twisted inverse image functor

For a map f: X -> Y of quasi-compact quasi-separated schemes, we discuss quasi-perfection, that is, the right adjoint f^\times of the derived functor Rf_* respects small direct sums. This is equivalent to the existence of a functorial isomorphism f^\times O_{Y} \otimes^L Lf^*(-) \to f^\times (-); to quasi-properness (preservation by Rf_* of pseudo-coherence, or just properness in the noetherian case) plus boundedness of Lf^* (finite tor-dimensionality), or of the functor f^\times; and to some other conditions. We use a globalization, previously known only for divisorial schemes, of the local definition of pseudo-coherence of complexes, as well as a refinement of the known fact that the derived category of complexes with quasi-coherent homology is generated by a single perfect complex.