{"entities":{"Q2869242":{"pageid":2879962,"ns":120,"title":"Item:Q2869242","lastrevid":83595755,"modified":"2026-05-07T09:15:56Z","type":"item","id":"Q2869242","labels":{"en":{"language":"en","value":"Some derived equivalences between noncommutative schemes and algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6242527"}},"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":"Q2869242$DC9294B2-3032-424B-AD34-A3AA57670D86","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1148b0a3a666a895b879a02272f115bf4e55b41","datavalue":{"value":"1300.14020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2869242$33EFE9DF-0925-4457-8676-29126DFE92A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3719374140cfe3659d91dfb78627841ce1e65f76","datavalue":{"value":{"time":"+2014-01-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2869242$023CB1FE-CBEF-4672-8984-543FBF917941","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e93be51ca4a8cf8588ed10d171d63a4564b84a1","datavalue":{"value":"14F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2869242$6F4BC605-B9C4-4099-B342-A53A7743F499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb826c1697b897b59d341e39765fd806963eea19","datavalue":{"value":"14A22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2869242$E789799D-9E02-4530-A458-37445400BABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6513d146462f8a810160db474d42cad45c7c34da","datavalue":{"value":"18E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2869242$C7A99F49-A816-40CB-9B35-D6B716AD8843","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60bc4985116ccf9fe26f0fbf49221e96f8fe05aa","datavalue":{"value":"6242527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2869242$E3505794-A832-4EC8-8DA6-03B0864D8145","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00c54ac78bf5553f64b9cd583f9b2aa460638484","datavalue":{"value":"derived category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2869242$945E4D64-C967-4049-B8F3-152C67A7FF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e8933f538d781c899d7d68d4625612b9066d3ce","datavalue":{"value":"noncommutative algebraic geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q2869242$968AC876-9B1A-467A-A1F7-3719EE14D6A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c4b05ef673806281b227827db1b0713be7a5d7","datavalue":{"value":"AS-regular algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2869242$6CB6B607-4013-4AF9-BE5C-76333E443077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c93051f1030c51bd94f4e7e71cf9073aeed310da","datavalue":{"value":"Fano-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2869242$256340BF-BCDC-4931-ADCD-207A90D66B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c51bcdfc3fb1855b54ba56d746de0a91ad76ed49","datavalue":{"value":"preprojective algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2869242$2902CA4A-8C56-48AA-85D0-7D71834FCBA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c9d8071f6cc6087614c3d98ae1beaf2c5d9b98b","datavalue":{"value":"Veroneze algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2869242$E9663D40-368F-4F61-87A9-A6F89C5ED5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30c9f3b2845b9681ada2b77c8bf4400aba7fd00a","datavalue":{"value":"McKay correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2869242$CE3606D5-E772-49BA-8672-B9B36B5C5A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60cdcc48632ffdca9f1882db4089b9b1e946dbbc","datavalue":{"value":"noncommutative resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2869242$D4FDEEDF-E166-4F20-90E1-E22BC9423AC7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec9b22ef46c7173d9669217ff4fd81690ff0f705","datavalue":{"value":{"entity-type":"item","numeric-id":284859,"id":"Q284859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2869242$23783B85-0BEB-4C03-8380-3B1470B99A8B","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":"Q2869242$855DAFF7-9B0C-4341-AD99-F1E42A72444D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"125fe153c846d109d26c3138b5d14c3cefdd8a63","datavalue":{"value":{"text":"Some derived equivalences between noncommutative schemes and algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2869242$24939933-5367-4CFE-B05C-C6902524F096","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"110fe64a97132924d908a5f17f208228904554ec","datavalue":{"value":"This is a nice, to the point, survey of the most common noncommutative algebraic geometry. Let \\(X\\) be a smooth algebraic variety. If there is a commutative algebra \\(R\\) such that \\(\\text{Coh} X\\cong\\text{mod}R\\), then \\(X\\) is by definition an affine variety. If \\(X\\) is not affine, it is sometimes possible to find a noncommutative algebra \\(R\\) such that \\(\\mathcal D^b(\\text{coh}X)\\cong\\mathcal D^b(\\text{mod}R)\\). If \\(\\mathcal E\\) is a tilting generator and \\(R=\\text{End}_X(\\mathcal E)\\), then \\(\\mathcal D^b(\\text{coh}X)\\cong\\mathcal D^b(\\text{mod}R)\\). This survey show similar derived equivalences between noncommutative schemes and noncommutative algebras.NEWLINENEWLINEIf \\(R\\) is a not necessarily commutative algebra, \\textit{the noncommutative scheme} associated to \\(R\\) is defined as \\(\\text{Spec}_{\\text{nc}}R=\\text{Mod} R\\) and \\(\\text{spec}_{\\text{nc}}R=\\text{mod}R\\) (the capital letters means the general category, the small letters denotes the subcategory of finitely presented modules). The category of graded modules are considered similarly, denoted \\(\\text{GrMod}\\), and \\(\\text{Tors}A\\subset\\text{GrMod}A\\) is the full subcategory consisting of torsion modules. \\(\\text{Tors}A\\) is dense in \\(\\text{GrMod}A\\) and so the quotient category \\(\\text{GrMod}A/\\text{Tors}A\\) can be formed. If \\(A\\) is graded right coherent, also the quotient \\(\\text{grmod}A/\\text{tors}A\\) can be formed. Then, if \\(A\\) is not necessarily commutative, the noncommutative projective scheme associated to \\(A\\) is defined by \\(\\text{Proj}_{\\text{nc}}A=\\text{GrMod}A/\\text{Tors}A\\) and \\(\\text{proj}_{\\text{nc}}A=\\text{grmod}A/\\text{tors}A\\). \\(\\mathcal M(n)\\) denotes the image of \\(M(n)\\in\\text{GrMod}A\\) in \\(\\text{Proj}_{\\text{nc}}A\\). Also, \\(\\text{Hom}_{\\text{Proj}_{\\text{nc}}A}(\\mathcal M,\\mathcal N)\\) is denoted \\(\\text{Hom}_{\\mathcal A}(\\mathcal M,\\mathcal N)\\).NEWLINENEWLINEThe author gives the definition and fundamental properties of Artin-Schelter (AS) regular algebras as noncommutative algebraic geometry was motivated by the classification of these: Since commutative AS-regular algebras are the weighted commutative polynomial algebras, and projective spaces are projective schemes associated to commutative polynomial algebras generated in degree 1, it is reasonable to define a quantum projective space as \\(\\text{Proj}_{\\text{nc}}S\\) for some AS-regular algebra \\(S\\). It is pointed out that the classification of 3-dimensional AS-regular algebras of finite GK dimension by Artin-Tate-Van den Bergh and Stephenson, using commutative methods, was the starting point of noncommutative algebraic geometry.NEWLINENEWLINEEvery commutative projective space is derived equivalent to a finite dimensional algebra of finite global dimension, called a Beilinson algebra. The noncommutative generalization says that, if \\(S\\) is a graded right coherent AS-regular algebra of dimension \\(d\\geq 1\\) and of Gorenstein parameter \\(\\ell\\), then \\(\\{\\mathcal S,\\mathcal S(1),\\dots,\\mathcal S(l-1)\\}\\) is a full strong exceptional sequence for \\(\\mathcal D^b(\\text{proj}_{\\text{nc}}S)\\) where \\(\\mathcal S(i)\\) is the image of \\(S(i)\\in\\text{grmod}S\\) in \\(\\text{proj}_{\\text{nc}}S\\). Moreover, \\(R=\\text{End}_{\\mathcal S}(\\bigoplus_{l=0}^{\\ell-1}\\mathcal S(i))\\) is a finite dimensional algebra of global dimension \\(d-1\\) such that \\(\\mathcal D^b(\\text{proj}_{\\text{nc}}S)\\cong\\mathcal D^b(\\text{spec}_{\\text{nc}}R)\\). One of this articles main objectives, is to extend this result.NEWLINENEWLINEFano algebras are introduced, and with this the concept of ample and quasi-ample objects in an abelian category \\(\\mathcal C\\). If \\(\\mathcal C\\) is a \\(\\text{Hom}\\)-finite \\(k\\)-linear abelian category and \\((\\mathcal O,s)\\) is an ample pair for \\(\\mathcal C\\), then \\(A=\\bigoplus_{i\\in\\mathbb N}\\text{Hom}(s^{-i}\\mathcal O,\\mathcal O)\\cong\\bigoplus_{i\\in\\mathbb N}\\text{Hom}_{\\mathcal C}(\\mathcal O,s^i\\mathcal O)\\) is a graded right coherent algebra such that \\(\\mathcal C\\cong\\text{proj}_{\\text{nc}}A\\). This in turn is used to define the Veronese algebra, the Beilinson algebra, and the extended result is achieved: If \\(S\\) is an AS-regular algebra over \\(R\\) of dimension \\(d\\geq 1\\) and of Gorenstein parameter \\(\\ell\\), thenNEWLINENEWLINE(1) \\(\\nabla S\\) (defined from the above) is a quasi-Fano algebra of dimension \\(d-1\\), (2) \\(S^{[\\ell]}\\cong\\prod(\\nabla S)^\\tau\\) for some graded algebra automorphism \\(\\tau\\in\\text{Aut}_k\\prod(\\nabla S)\\), (3) \\(\\mathcal D(\\text{Proj}_{\\text{nc}}S)\\cong\\mathcal D(\\text{Spec}_{\\text{nc}}\\nabla S)\\). Also, if \\(S\\) is graded right coherent, then \\(\\nabla S\\) is Fano and \\(\\mathcal D^b(\\text{proj}_{\\text{nc}}S)\\cong\\mathcal D^b(\\text{spec}_{\\text{nc}}\\nabla S)\\).NEWLINENEWLINEFinally, the McKay correspondence is studied as a noncommutative resolution of singularities, illustrating the above results and giving explicit examples of noncommutative algebraic computations.NEWLINENEWLINEThe survey article is very well written and gives a good understanding of the fundamental principles of this particular definition of noncommutative algebraic geometry. Also, it illustrates the eventual weaknesses of classification by derived categories.NEWLINENEWLINEFor the entire collection see [Zbl 1256.14001].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2869242$00706783-794D-4FAE-A7F0-9C5662B1B340","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"15e8132d5208c80254329aabe9cd99f2be445217","datavalue":{"value":{"entity-type":"item","numeric-id":209624,"id":"Q209624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2869242$59E3D87D-35DF-47A6-872F-77F15D6FF982","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"627c5f7372ce0542d38d97786bd7449b3afa90d9","datavalue":{"value":{"entity-type":"item","numeric-id":5496077,"id":"Q5496077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55a4a6c4084dd47c5caf6c3e554a5aeaa30390ff","datavalue":{"value":{"amount":"+0.8440762162208557","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":"Q2869242$B4F9062E-48B6-417A-AB1A-95753CAB3523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b468b384c0b6403c0ba4691d26d8b418a05dd24","datavalue":{"value":{"entity-type":"item","numeric-id":4549269,"id":"Q4549269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f3bfc0328c1db2415f22c352831d032fafabf46","datavalue":{"value":{"amount":"+0.8378812074661255","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":"Q2869242$DFB3AD58-0EEE-4BEA-9D4B-319626B3B1E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cddd583e4de5baa4400b944d7234f765be47cfa","datavalue":{"value":{"entity-type":"item","numeric-id":1342763,"id":"Q1342763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04e3e28e60d17ccf124e71f08f7f71442be6805f","datavalue":{"value":{"amount":"+0.8279963135719299","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":"Q2869242$79462BF5-2FF3-4C3D-8D21-6D7D0A7F172F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60b12e4d97721c54e7f98017f33710ccb96b765b","datavalue":{"value":{"entity-type":"item","numeric-id":2363198,"id":"Q2363198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04e3e28e60d17ccf124e71f08f7f71442be6805f","datavalue":{"value":{"amount":"+0.8279963135719299","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":"Q2869242$0A21F6C3-2A69-461F-A76A-B1013F4BE5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72bfb2ff6e585318d509915f73d329874a051417","datavalue":{"value":{"entity-type":"item","numeric-id":3504171,"id":"Q3504171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f7e806c887782e88d13dba5533a30f8d23730a2","datavalue":{"value":{"amount":"+0.8237357139587402","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":"Q2869242$2349F862-567F-4DE7-B1FB-858D4E99E0C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some derived equivalences between noncommutative schemes and algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_derived_equivalences_between_noncommutative_schemes_and_algebras"}}}}}