{"entities":{"Q812525":{"pageid":814373,"ns":120,"title":"Item:Q812525","lastrevid":64526742,"modified":"2026-04-11T20:29:37Z","type":"item","id":"Q812525","labels":{"en":{"language":"en","value":"Gaps in Hochschild cohomology imply smoothness for commutative algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5001029"}},"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":"Q812525$5B05F9C4-F102-4385-8776-3093B9AB3205","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e4bc8798015965892f3fd1064d2b6323808ea90","datavalue":{"value":{"text":"Gaps in Hochschild cohomology imply smoothness for commutative algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q812525$2D6E0B52-4CA2-4598-9223-18E5111A25D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"524a7d08b9cac4b2147a7235dd698038e6332212","datavalue":{"value":"1101.13018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812525$812D21A3-6B2B-4BFB-8883-35111E3B1AAD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"82759f7bd5d339c54aa2233fde0d7f5ffae8b2c0","datavalue":{"value":{"entity-type":"item","numeric-id":170810,"id":"Q170810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812525$49CB9A92-F9E1-4404-94EE-EDA7951F4B61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa3947a1fb1635896f5c4ba355103966dc5bfb71","datavalue":{"value":{"time":"+2006-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q812525$A39DD1AB-4777-43A8-BD3A-07F77AAEB096","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0fe6ef381319da4d5f4eb9827b4e1d6aac5b4898","datavalue":{"value":"https://arxiv.org/abs/math/0412259","type":"string"},"datatype":"url"},"type":"statement","id":"Q812525$2E7D5375-06BA-42E0-9710-2C0B517A4A42","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3a672d63e6a387c8e6a2826aab0dd79efa69db36","datavalue":{"value":"Let \\(K\\) be a commutative noetherian ring, \\(S\\) a commutative \\(K\\)-algebra essentially of finite type, flat as a \\(K\\)-module and \\(\\Omega_{S/K}\\) the \\(S\\)-module of \\(K\\)-linear K\u00e4hler differentials of \\(S\\).  The authors show that for a prime ideal \\(\\mathfrak q\\) in \\(S\\) and a finite \\(S\\)-module \\(M\\) with \\(M_{\\mathfrak q}\\not=0\\) the following conditions are equivalent: i) The \\(K\\)-algebra \\(S\\) is smooth. ii) Each map \\(\\lambda_n^M:(\\bigwedge_S^n\\Omega_{S/K}\\otimes_S M\\to HH_{n}(S/K,M)\\) localized in \\(\\mathfrak q\\) is bijective, where \\(HH_{*}(S/K,M)\\) denotes the Hochschild homology of the \\(K\\) algebra \\(S\\) with coefficients in \\(M\\), and the \\(S_{\\mathfrak q}\\)-module \\(\\Omega_{S_{\\mathfrak q}/K}\\) is projective. iii) There exist non-negative integers \\(t\\) and \\(s\\) of different parity satisfying \\(HH_t(S/K;M)_{\\mathfrak q}=0=HH_u(S/K;M)_{\\mathfrak q}\\). When the \\(K\\)-module \\(S\\) is projective they are also equivalent to: ii') Each map \\(\\lambda_M^n:HH^n(S/K;M)\\to \\text{Hom}_S(\\bigwedge_S^n\\Omega_{S/K}, M)\\), where \\(HH^{*}(S/K;M)\\) denotes the Hochschild cohomology of the \\(K\\) algebra \\(S\\) with coefficients in \\(M\\), localized in \\(\\mathfrak q\\) is bijective. iii') There exist non-negative integers \\(t\\) and \\(s\\) of different parity satisfying \\(HH^{t+i}(S/K;M)_{\\mathfrak q}=0=HH^{u+i}(S/K;M)_{\\mathfrak q}\\) for \\(0\\leq i\\leq \\dim_{S_{\\mathfrak q}}M_{\\mathfrak q}\\).   This result incorporates \\textit{G. Hochschild, B. Kostant} and \\textit{A. Rosenberg}'s theorem [Trans. Am. Math. Soc. 102, 383--408 (1962; Zbl 0102.27701)] and several other known results relating vanishing of Hochschild (co)homology and smoothness. The use of cohomology and the introduction of coefficients are two new aspects of this paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q812525$48E732FC-26EB-42FD-9F52-79C193F6F5DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d57019a7481029b9c4fb2fc878c0e00a55dc7560","datavalue":{"value":"13D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812525$49C4E39C-5ECA-44D3-AEDB-C3C9942D925C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5e286bcb90d46fb0cfd058e22344ada353799480","datavalue":{"value":"14B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812525$2E990AF4-D274-4E31-A84A-FC1A73FFEDFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba0f4aac669c7206c5a11d91d20fa0fa82450308","datavalue":{"value":"14M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812525$919FBCD5-79F4-4AB5-8E9E-4E3C9F1D3FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8abdc4b34db7186b3bb2396f93749d98203650eb","datavalue":{"value":"16E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812525$0A9B3431-23B0-4579-97FE-105365D5C012","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59c4ab6e2a2f2b6e4c5137b0c4bcc2820f48c55f","datavalue":{"value":"5001029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812525$3917F4DD-BDBB-43A7-AC9D-DED5AD172739","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f9d57de8e90299a23f77159f75a07de95b0c7dc","datavalue":{"value":"Hochschild (co)homology","type":"string"},"datatype":"string"},"type":"statement","id":"Q812525$695810F7-ECB0-4192-A50B-BB4031AEE540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d38bb157377cda99188c9af730a4e42a9202f3e","datavalue":{"value":"smooth algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q812525$48834200-56BC-49F8-A907-23F5DC70749C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f272cc071d47b4238c13f8248a46359c60d1d6d1","datavalue":{"value":"closed homomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q812525$B358628F-D853-45F2-9781-FD6ED2E39712","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d52ae0026da17583c3bb2c40cd8d549fb1cec83","datavalue":{"value":{"entity-type":"item","numeric-id":208196,"id":"Q208196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812525$EDF055FB-CD5A-4E57-9638-A7B159720399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fafa49ff957037e1491adb7eb971c37d4e29478","datavalue":{"value":{"entity-type":"item","numeric-id":350796,"id":"Q350796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812525$E9C6F3EB-679D-4785-A37C-6C4C0B80F510","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d54f43b780e0e0ba5ddaceb9f4ab1b9023a4bf60","datavalue":{"value":{"entity-type":"item","numeric-id":950221,"id":"Q950221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812525$C571BF32-E1E3-407A-A5A9-F791761B8B54","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":"Q812525$06CC45A0-69F4-4506-88CF-4EBB2EEF2AE8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a67328a239a3780c7f0539c1eda9dacf1985b4d5","datavalue":{"value":"W2047942743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812525$394E4F39-EA3E-4EFF-8BA8-95FB398B07A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"096761f38643e9846fea3126bbb837953109b0b9","datavalue":{"value":"10.4310/MRL.2005.V12.N6.A1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812525$AFADFF6A-1202-4AC8-86B9-10518EBE990B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a6d3faccc7262e98d3bd68b4f0b3bbe4d90c2f4","datavalue":{"value":{"entity-type":"item","numeric-id":1187493,"id":"Q1187493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22293b4fecc28526297700b0ded67868ea872134","datavalue":{"value":{"amount":"+0.860261857509613","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":"Q812525$D7EB6F2F-1A40-4B5F-9A31-58EFA1793024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5857ef516d0af4b88706fec8005433b5672a5af0","datavalue":{"value":{"entity-type":"item","numeric-id":4033864,"id":"Q4033864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8874a18a7920d37866d0621e7837204eb9f3c5fd","datavalue":{"value":{"amount":"+0.8581095933914185","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":"Q812525$C4141DE7-5720-43D7-99CD-05D58E7C1308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df28d32d21f6bfa8f8a77ca6d91204fc3aeb0adc","datavalue":{"value":{"entity-type":"item","numeric-id":1336802,"id":"Q1336802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85835370dff753758be5049cbe4d686b1a69aae9","datavalue":{"value":{"amount":"+0.8525795340538025","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":"Q812525$97F67D91-CA5C-4260-829D-B49B926D98C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"355611fdba05892e596fc87215ae68129e518e50","datavalue":{"value":{"entity-type":"item","numeric-id":1330035,"id":"Q1330035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d510a5761e3cb2802e72ac3f5af238920c4830f4","datavalue":{"value":{"amount":"+0.8442873358726501","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":"Q812525$E57609E0-320A-4468-83E0-57E1667DEF4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fe5d0d5d7f3cc90a922550fbc4407702d85e0a1","datavalue":{"value":{"entity-type":"item","numeric-id":1977014,"id":"Q1977014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5da8a91f0773c25f89b8b0c7ab082428a049a41e","datavalue":{"value":{"amount":"+0.8350772857666016","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":"Q812525$839681A6-F524-41FB-AFCF-F7F41261AEA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Gaps in Hochschild cohomology imply smoothness for commutative algebras","badges":[]}}}}}