{"entities":{"Q368499":{"pageid":370266,"ns":120,"title":"Item:Q368499","lastrevid":61302261,"modified":"2026-04-10T22:29:08Z","type":"item","id":"Q368499","labels":{"en":{"language":"en","value":"Krull dimension for differential graded algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6210424"}},"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":"Q368499$63DACC06-AC60-4A99-919B-7FE3CACB5109","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45ef79f2161450deb946c070500bcf4854639815","datavalue":{"value":{"text":"Krull dimension for differential graded algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q368499$2629F0F8-404F-425B-86D4-C28E32008F80","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55b7428c8084b6299861f337ef6caf336391d413","datavalue":{"value":"1308.13016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368499$B61809DA-6923-41B3-8679-AB87AFB16E4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2d4eb8df123c3723b0a2f115183b7a1bc07f4a3","datavalue":{"value":{"entity-type":"item","numeric-id":368498,"id":"Q368498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368499$60D1F420-1D8D-470F-87C3-4E9C6759E174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97282555b20d83b7ea0d2d2f12f7982d167b0f43","datavalue":{"value":{"entity-type":"item","numeric-id":831314,"id":"Q831314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368499$7C19CAE2-5361-483F-96E7-5421CB0B2812","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"db22232807c795272dc3a83fabf3be514df44f25","datavalue":{"value":{"entity-type":"item","numeric-id":166039,"id":"Q166039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368499$95BEFA32-7F05-4535-9FA9-CBC2CBABA5B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c8fa67e57597c5d021d880560712cfcef304abf5","datavalue":{"value":{"time":"+2013-09-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q368499$D649CA8E-4928-466E-A59A-C79E8DD99E4C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"28df575dc94fded093d01691419325f70edf1a55","datavalue":{"value":"https://arxiv.org/abs/1210.7270","type":"string"},"datatype":"url"},"type":"statement","id":"Q368499$04F935D5-5A5F-4E79-8369-90F713506179","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7e600246a9aa667a01544386c5ff6d8620e47a13","datavalue":{"value":"Let \\((R, \\mathfrak{m})\\) be a commutative noetherian local ring with identity. A \\textit{homologically finite} \\(R\\)-complex denotes a \\(R\\)-complex \\(X\\) such that the total homology module \\(\\amalg_{i \\in \\mathbb{Z}} H_i(X)\\) is finitely generated. The \\textit{infimum} of a \\(R\\)-complex is \\(\\text{inf}(X) := \\{i \\in \\mathbb{Z}| H_i(X) \\neq 0\\}\\).  For the purpose of this review, all \\(R\\)-complexes are homologically finite. Let \\(K^R(\\mathbf{x})\\) denote the Koszul complex over \\(R\\) on a sequence \\(\\mathbf{x} = x_1, \\ldots ,x_n \\in R\\). The notion of \\textit{Krull dimension} of an \\(R\\)-complex \\(X\\) was defined in [\\textit{H.-B. Foxby}, J. Pure Appl. Algebra 15, 149--172 (1979; Zbl 0411.13006)] as  \\[ \\text{dim}_R(X) := \\text{sup}\\{\\text{dim}(R/p) - \\text{inf}(X_p)| p \\in \\text{Supp}_R(X)\\} \\]   \\textit{L. W. Christensen} [Math. Scand. 89, No. 2, 161--180 (2001; Zbl 1021.13014)] defined the \\textit{system of parameters} for a \\(R\\)-complex related to this Krull dimension.  In the present paper, the authors define a \\textit{length sequence} for \\(X\\) to be a sequence \\(\\mathbf{x} = x_1,\\ldots ,x_d \\in \\mathfrak{m}\\) such that the homologies of \\(K^R(\\mathbf{x}) \\otimes X\\) have finite length. A \\textit{length system of parameters} is a length sequence of the smallest length. The authors also introduce the notion of \\textit{length dimension} \\(\\text{ldim}_R(X)\\) for a \\(R\\)-complex \\(X\\) as  \\[ \\text{ldim}_R(X):= m - \\text{inf}(X) \\]   where \\(m\\) is the length of a length system of parameters. In section 2, they introduce the notion of \\textit{DG Krull dimension}, denoted \\(\\text{DGdim}(A)\\), for a DG \\(R\\)-algebra \\(A\\), as the supremum of length of a chain of DG prime ideals of \\(A\\).  Lemma 3.3 of the paper shows that \\(\\text{ldim}_R(X) \\geq \\text{dim}_R(X) \\) where inequality can be strict (Example 3.4). The central result of the paper (Theorem 1.3) states that when \\(X\\) is a \\(DG\\) \\(R\\)-algebra these notions agree with the standard ones.  More specifically, the authors show that when \\(A\\) is homologically finite positively graded commutative local noetherian DG \\(A_0\\)-algebra such that \\((A_0, \\mathfrak{m_0})\\) is local noetherian then the notions of system of parameters for \\(A\\) (as defined by Christensen [Zbl 1021.13014]), system of parameters for \\(H_0(A)\\) and the length system of parameters for \\(A\\) (as defined by the authors), are all equivalent. For the various notions of dimension, they prove  \\[ \\text{ldim}_{A_0}(A) = \\text{dim}_{A_0}(A) = \\text{dim}(H_0(A)) \\]   Furthermore, when \\(A\\) is generated over \\(A_0\\) in odd degrees or if \\(A\\) is bounded then they prove that  \\[ \\text{DGdim}(A) = \\text{ldim}_{A_0}(A) = \\text{dim}_{A_0}(A) = \\text{dim}(H_0(A)) \\]","type":"string"},"datatype":"string"},"type":"statement","id":"Q368499$9BD85C17-3E4B-46E1-90FC-F53BF30B08A7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d1c01bc00089e8672908367656b9cc22ed6267d0","datavalue":{"value":{"entity-type":"item","numeric-id":515584,"id":"Q515584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368499$72B226E8-FF78-4E8F-B3CB-FD1621AD65E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb60b58fa83e5bf31309443c8c76c1c9bb17e418","datavalue":{"value":"13C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368499$5770B66A-0E7F-48E1-A934-E4FD24AC9BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd4ec6e4b6aa854466b467ae20b9d087bcc2e35a","datavalue":{"value":"13D02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368499$149E7CA3-8008-4CC3-9B49-90D27FB79630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79d1604bc7b9cd28b541528861ccf5cae7e4cd57","datavalue":{"value":"13B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368499$9D1174D7-F8FE-449D-8132-DFD753BA0BA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7af254c4c9e949817d38c42fba84c505a9312e29","datavalue":{"value":"6210424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368499$45788D8C-879B-4A4D-ADE2-CB5F4227C01F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10d9898c5e14cbd28e7067820d03d43dff7b99e2","datavalue":{"value":"DG algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q368499$F9CFA1CC-C212-4C6D-9C1D-62C93928136E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e4e9da7e2c645a5fd1d3a7014ad58d18beab53a","datavalue":{"value":"DG modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q368499$13D0B4DE-F614-44E8-A156-60506B30738C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05eb78f54250a3cdbcd5992fc6ef4737d767c965","datavalue":{"value":"Krull dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q368499$075665F8-C08C-4F11-84E2-CE5EDCC036BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98b5ec1f971fb110b5cc22caab6156615df5a172","datavalue":{"value":"systems of parameters","type":"string"},"datatype":"string"},"type":"statement","id":"Q368499$01B21C16-700B-4359-92CB-9AC67C6BB8C7","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":"Q368499$060C7AAF-B67C-498A-8459-CB3011C063EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf4f33c438cf22911b1b930e508a9c254de3479f","datavalue":{"value":"W2075786139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368499$157419F2-FFC1-400A-9F83-2F2CF64793ED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2770ca40387fc8fc5448abed854b2f68aa8e84b","datavalue":{"value":{"entity-type":"item","numeric-id":1259630,"id":"Q1259630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368499$73F3446E-DD00-413D-A134-F0B79C0558C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017336a14be0df015113ae97b0932c7cb1c1c800","datavalue":{"value":{"entity-type":"item","numeric-id":4415574,"id":"Q4415574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368499$FB1A3F6B-B952-464C-B682-DDA778C35742","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e39455391da00a65c4140e943a951b07d375a43e","datavalue":{"value":"10.1007/S00013-013-0539-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368499$E1B2ECE9-4AD8-408C-A6B3-7E8522CDFAB2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28232adf664b59de52bebcb994b69518f493d0b1","datavalue":{"value":{"entity-type":"item","numeric-id":5107048,"id":"Q5107048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ac8461ab66807c7b33d3fc22ad2b2455be61097","datavalue":{"value":{"amount":"+0.727813720703125","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":"Q368499$3E14370A-9D12-4431-87DA-AAE8EBA9869A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da6233c5f45fc355f4ce746f764449ca81afc5e8","datavalue":{"value":{"entity-type":"item","numeric-id":4892939,"id":"Q4892939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83f650dcd9a749347335162681dd3de60999c4a4","datavalue":{"value":{"amount":"+0.7108960151672363","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":"Q368499$E808A4BB-7EFF-48B1-A4C3-48D41CCF2256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f09dd6fe3a93993e6ffc39afefc5f26a46d4a584","datavalue":{"value":{"entity-type":"item","numeric-id":1424046,"id":"Q1424046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83f650dcd9a749347335162681dd3de60999c4a4","datavalue":{"value":{"amount":"+0.7108960151672363","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":"Q368499$89511949-A9EB-4310-B822-99D1253D87DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"781c6972412b1d8809e61a7d7cdcb40c6cb5ad54","datavalue":{"value":{"entity-type":"item","numeric-id":5238180,"id":"Q5238180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"127f73729a9dd49332d1d0261a3e1ae500ad0bcc","datavalue":{"value":{"amount":"+0.7046260237693787","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":"Q368499$8F04E279-3C51-4ED0-A7FB-9E5C85956768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d158602575195ceaa48340e096962855dc697a94","datavalue":{"value":{"entity-type":"item","numeric-id":5085317,"id":"Q5085317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fab7cf71385311c6ff2e10002c6da421748256ca","datavalue":{"value":{"amount":"+0.6974822282791138","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":"Q368499$5B183ABD-0323-491E-B780-3E9CE84EF716","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Krull dimension for differential graded algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Krull_dimension_for_differential_graded_algebras"}}}}}