{"entities":{"Q428175":{"pageid":429942,"ns":120,"title":"Item:Q428175","lastrevid":56891394,"modified":"2026-03-24T12:16:48Z","type":"item","id":"Q428175","labels":{"en":{"language":"en","value":"Bivariance, Grothendieck duality and Hochschild homology. I: Construction of a bivariant theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6047820"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428175$9F8B0026-D4AA-4890-8E0B-A43BE4C8464B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60948718930a343ce184219db733c39f78d0c129","datavalue":{"value":{"text":"Bivariance, Grothendieck duality and Hochschild homology. I: Construction of a bivariant theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q428175$8E1E4441-BA83-4305-B7AB-7ED6A158E82C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4fbee4d22110f7552ce1fafc7d76c777f499dab5","datavalue":{"value":"1251.14010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428175$8356D3A5-AB0F-4020-9DE3-F12715D8FB19","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42fe7e02e5d76682b03870c05f5d90f1f6e81860","datavalue":{"value":{"entity-type":"item","numeric-id":409243,"id":"Q409243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428175$27FB9275-BA26-4303-9B46-BC1997D52B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c82d1f36d2ddc924573739bdd4d95253567df16","datavalue":{"value":{"entity-type":"item","numeric-id":409244,"id":"Q409244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428175$249FB165-9302-48C5-B045-36D323692E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbabbd7698d6b8ccaa2cd3b6df2afc72ea17c858","datavalue":{"value":{"entity-type":"item","numeric-id":428174,"id":"Q428174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428175$217AB42D-24FC-4E78-AF38-2D7296061D70","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6fe50e98b0aa99209fa6db00abb40af0a8c01ca9","datavalue":{"value":{"entity-type":"item","numeric-id":170982,"id":"Q170982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428175$A1A91CA3-8068-49C0-B6A0-985DDE228E27","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"555fba5bdc6c0bd8b767e7cf573522b7525626a8","datavalue":{"value":{"time":"+2012-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q428175$980D78D8-900E-4BC1-94A6-C73072053EBA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ca187c98171aacc38d47561ff1d4ebaf691ecac","datavalue":{"value":"https://arxiv.org/abs/1005.4328","type":"string"},"datatype":"url"},"type":"statement","id":"Q428175$71453330-4775-45AE-9B22-13117D8D4E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"7940004766bd9d964b27cb3291e5dd0a84226a1a","datavalue":{"value":"https://projecteuclid.org/euclid.ajm/1330439365","type":"string"},"datatype":"url"},"type":"statement","id":"Q428175$21EF0260-93B5-4E3B-A359-C10A614C548F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b6a118350568ebdfec93a096c53aa8fb5a6c148c","datavalue":{"value":{"entity-type":"item","numeric-id":243912,"id":"Q243912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428175$8F6BDCE7-69AD-4F5D-B79E-F42668E7507A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fea6a43e1045c5bd23f7173465bad59b9d0237d6","datavalue":{"value":"14F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428175$293E1D69-3006-4B97-AAB4-44FF13AC6B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e93be51ca4a8cf8588ed10d171d63a4564b84a1","datavalue":{"value":"14F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428175$6BF9DAAD-F487-480B-BFC9-3EF056C9AB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d57019a7481029b9c4fb2fc878c0e00a55dc7560","datavalue":{"value":"13D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428175$C95834AE-6740-4866-B8BC-5C139AACDFE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2596b40713070ec1fc64a8e3af9204c3feef199b","datavalue":{"value":"6047820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428175$D76177FA-7512-4087-B4F1-231F1E8ADF99","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f585ef92fcf68dde60dd97e80046943cc2c2e83e","datavalue":{"value":"Hochschild homology","type":"string"},"datatype":"string"},"type":"statement","id":"Q428175$A2C1884D-1F52-4C39-82B4-48D4DB086D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15ad77acaf6a1d4ca6acff2fc142e5fc66b3280c","datavalue":{"value":"bivariant theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q428175$5881F646-DC52-441A-A88C-A58E97DDA45F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d64e1a3d14fca184c79bb3c9fd1a16198d7cb5f6","datavalue":{"value":"Grothendieck duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q428175$4284C4EE-2FCC-4E9F-A95D-493590969FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b82e4f5fa9dddd9b6fc40073acc7b379fb3b6db","datavalue":{"value":"fundamental class","type":"string"},"datatype":"string"},"type":"statement","id":"Q428175$374CB41E-7087-4707-8A03-9D866F05E42C","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428175$101C01A2-D1A5-4432-84A4-F379A75CCD88","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"afa20f660c67d3d893f38fb6f11535ff6921a093","datavalue":{"value":"W2080776807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428175$D5EF88F9-76D0-4DBD-9309-19BC3C16C614","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4269b462a73c81301ec0b98cbf12dd344f9e12be","datavalue":{"value":"10.4310/AJM.2011.V15.N3.A7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428175$8A286315-2EE2-49B8-8B85-7CE64D798B49","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9530d6ea94d26b568c05250e9eefe4037c0919b2","datavalue":{"value":"Let \\(S\\) be a fixed Noetherian scheme and \\(\\mathcal S\\) the category of separated, essentially finite-type, finite tor-dimension schemes \\(x : X \\rightarrow S\\) over \\(S\\). For any such scheme \\(X\\), let \\(\\text{D}_{\\text{qc}}(X)\\) denote the derived category of the category of complexes of \\({\\mathcal O}_X\\)-modules with quasi-coherent cohomology sheaves. For \\(A\\), \\(B\\) in \\(\\text{D}_{\\text{qc}}(X)\\), consider the graded abelian group: NEWLINE\\[NEWLINE \\text{E}_X(A,B) := { \\bigoplus_{i \\in {\\mathbb Z}}} \\text{Hom}_{\\text{D}(X)}(A,B[i])\\, . NEWLINE\\]NEWLINE For \\(A\\), \\(B\\), \\(C\\) in \\(\\text{D}_{\\text{qc}}(X)\\) there exists an obvious graded bilinear composition map: NEWLINE\\[NEWLINE \\text{E}_X(B,C)\\times \\text{E}_X(A,B) \\longrightarrow \\text{E}_X(A,C)\\, . NEWLINE\\]NEWLINE Via this composition map, \\(H_X := \\text{E}_X({\\mathcal O}_X,{\\mathcal O}_X) \\simeq \\bigoplus_{i \\geq 0}\\text{H}^i(X,{\\mathcal O}_X)\\) becomes a commutative-graded ring and \\(\\text{E}_X(A,B)\\) a symmetric (left and right) graded \\(H_X\\)-module. Putting \\(H := H_S\\), the category \\(\\text{D}_X\\) whose objects are the objects of \\(\\text{D}_{\\text{qc}}(X)\\) and whose Hom-groups are \\(\\text{E}_X(A,B)\\) is a \\(H\\)-\\textit{graded category}. If \\(f : X \\rightarrow Y\\) is a morphism in \\(\\mathcal S\\) then the pseudofunctors \\(\\text{R}f_\\ast : \\text{D}_{\\text{qc}}(X) \\rightarrow \\text{D}_{\\text{qc}}(Y)\\) and \\(\\text{L}f^\\ast : \\text{D}_{\\text{qc}}(Y) \\rightarrow \\text{D}_{\\text{qc}}(X)\\) induce pseudofunctors of \\(H\\)-graded categories \\(\\text{R}f_\\ast : \\text{D}_X \\rightarrow \\text{D}_Y\\) and \\(\\text{L}f^\\ast : \\text{D}_Y \\rightarrow \\text{D}_X\\).NEWLINENEWLINE\\textit{S. Nayak} [Adv. Math. 222, No. 2, 527--546 (2009; Zbl 1175.14003)], unifying the local and global Grothendieck duality theories, constructed, under the above hypotheses, a \\textit{twisted inverse image} pseudofunctor \\(f_+^! : \\text{D}^+_{\\text{qc}}(Y) \\rightarrow \\text{D}^+_{\\text{qc}}(X)\\) which is pseudofunctorially right-adjoint to \\(\\text{R}f_\\ast : \\text{D}^+_{\\text{qc}}(X) \\rightarrow \\text{D}^+_{\\text{qc}}(Y)\\) if \\(f\\) is proper, and such that \\(f_+^! = f^\\ast\\) if \\(f\\) is essentially \u00e9tale (which means that \\({\\mathcal O}_{X,x}\\) is formally \u00e9tale over \\({\\mathcal O}_{Y,f(x)}\\), \\(\\forall \\, x \\in X\\)). One can show that \\(f_+^!\\) can be extended to a pseudofunctor of \\(H\\)-graded categories \\(f^! : \\text{D}_Y \\rightarrow \\text{D}_X\\) such that \\(f^!C = f_+^!{\\mathcal O}_Y\\otimes_{{\\mathcal O}_X}^{\\text{L}}\\text{L}f^\\ast C\\) for \\(C \\in \\text{D}_{\\text{qc}}(Y)\\).NEWLINENEWLINEFinally, for any object \\(X \\rightarrow S\\) of \\(\\mathcal S\\), consider the \\textit{pre-Hochschild complex} \\({\\mathcal H}_X := \\text{L}\\delta_X^\\ast \\text{R}\\delta_{X\\ast}{\\mathcal O}_X\\), where \\(\\delta_X : X \\rightarrow X\\times_SX\\) is the diagonal morphism. Using the properties of these complexes (which can be found in the paper of \\textit{R.-O. Buchweitz} and \\textit{H. Flenner} [Adv. Math. 217, No. 1, 205--242 (2008; Zbl 1140.14015)]) and of the twisted inverse image pseudofunctor \\(f^!\\), the authors of the paper under review develop a \\textit{bivariant theory} (in the sense of \\textit{W. Fulton} and \\textit{R. MacPherson} [``Categorical framework for the study of singular spaces'', Mem. Am. Math. Soc. 243, 165 p. (1981; Zbl 0467.55005)]) on the category \\(\\mathcal S\\), with values in the \\(H\\)-graded categories \\(\\text{D}_X\\), \\(X \\in {\\mathcal S}\\), for the pseudofunctors \\((-)^\\ast\\), \\((-)_\\ast\\) and \\((-)^!\\), with proper morphisms as \\textit{confined maps}, and with cartesian squares with flat bottom as \\textit{independent squares}. This theory associates to a morphism \\(f : (X \\overset{x}\\rightarrow S) \\rightarrow (Y \\overset{y}\\rightarrow S)\\) the graded \\(H\\)-module: NEWLINE\\[NEWLINE \\text{HH}^\\ast(f) := \\text{E}_X({\\mathcal H}_X,f^!{\\mathcal H}_Y) = { \\bigoplus_{i\\in {\\mathbb Z}}}\\text{Hom}_{\\text{D}(X)}({\\mathcal H}_X, f^!{\\mathcal H}_Y[i]) NEWLINE\\]NEWLINE so that the associated cohomology groups are: NEWLINE\\[NEWLINE \\text{HH}^i(X/S) := \\text{HH}^i(\\text{id}_X) = \\text{Ext}^i_{{\\mathcal O}_X}({\\mathcal H}_X,{\\mathcal H}_X) NEWLINE\\]NEWLINE and the associated homology groups are: NEWLINE\\[NEWLINE \\text{HH}_i(X/S) := \\text{HH}^{-i}(x) = \\text{Ext}^{-i}_{{\\mathcal O}_X}({\\mathcal H}_X,x^!{\\mathcal O}_S)\\, . NEWLINE\\]NEWLINE Most of the proofs consist of the (non-trivial) verification of the commutativity of certain diagrams.NEWLINENEWLINEThese results lay the foundation for the construction, in a sequel of this paper, of the \\textit{fundamental class} of a \\textit{flat} \\(f\\) as above, which is a natural functorial map: NEWLINE\\[NEWLINE \\text{c}_f : \\text{L}\\delta^\\ast_X\\text{R}\\delta_{X\\ast}\\text{L}f^\\ast \\longrightarrow f^!\\text{L}\\delta^\\ast_Y\\text{R}\\delta_{Y\\ast} NEWLINE\\]NEWLINE satisfying a transitivity relation with respect to the composition of morphisms in \\(\\mathcal S\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q428175$4A271AE4-C1D6-4CC3-A659-E1C078030542","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ae01b0b1b6212b41ab09957c1a64486fe8abb04","datavalue":{"value":{"entity-type":"item","numeric-id":2445858,"id":"Q2445858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51050bb797ed59207d61f436b3f097e4f0029806","datavalue":{"value":{"amount":"+0.8525700569152832","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q428175$99813F5A-FEF7-4EF0-9FA2-6F36F7F0EE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4879ca1ef5bc320cc88c70532a65cc05748905ee","datavalue":{"value":{"entity-type":"item","numeric-id":4513079,"id":"Q4513079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baa0232f838eec4dad105a92c73ec7357189d6b7","datavalue":{"value":{"amount":"+0.8404680490493774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q428175$839780D5-1C44-4EF3-B288-DA1D02198CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c638d1c1b32e168fbbeba42f19abcf30d86288b3","datavalue":{"value":{"entity-type":"item","numeric-id":1813683,"id":"Q1813683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d4097c3ccf9e74e91e255ce46bc3eb8bf539b3f","datavalue":{"value":{"amount":"+0.7673893570899963","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q428175$324E0DE9-EBCD-445E-9F55-D780657B4D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1bbc47c00a895659046453fc01f8c29605ac969","datavalue":{"value":{"entity-type":"item","numeric-id":3648310,"id":"Q3648310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"665803de625e9d57c30934a462caa5a58eda09a2","datavalue":{"value":{"amount":"+0.7665346264839172","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q428175$CDEDC8B9-F2FC-4A0C-A06E-2B9ADAB12CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95869b8a81ad890693adcaccc2742633e0b305e2","datavalue":{"value":{"entity-type":"item","numeric-id":697613,"id":"Q697613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0169559f62f8c82ccbfef55f2cbdd62c9f58c85","datavalue":{"value":{"amount":"+0.7526898980140686","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q428175$19B4E988-8C97-4A6D-A67C-692A575D412D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:428175","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:428175"}}}}}