{"entities":{"Q6971136":{"pageid":21329877,"ns":120,"title":"Item:Q6971136","lastrevid":76191489,"modified":"2026-04-23T04:36:34Z","type":"item","id":"Q6971136","labels":{"en":{"language":"en","value":"Categorifying non-commutative deformations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8053200"}},"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":"Q6971136$07934AD8-7669-4721-8C2D-6933CEEDDD5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d1491dabfbd0e004194b34bcecdac661f328eb98","datavalue":{"value":{"text":"Categorifying non-commutative deformations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6971136$0C11793E-8445-403E-B128-B04FD5F3C4A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"76648af913ab9e0967b1da3309d17b9f8d97b83a","datavalue":{"value":"10.1112/JLMS.70176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6971136$79196A02-75D6-4A19-ADB5-82515B303236","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0b318f9aaec177d06238be140064a2b7e8a66eb","datavalue":{"value":{"entity-type":"item","numeric-id":1647330,"id":"Q1647330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971136$8ABE13C7-7CC6-4BD0-9C30-FF39AA34F122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46e83f586fd06d800bff20a3e8beca16cab4d3f1","datavalue":{"value":{"entity-type":"item","numeric-id":904665,"id":"Q904665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971136$B1C79877-819D-49B2-B2F9-E2FF826EF051","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd06f03000a68ed41ca657843f37f844031b6943","datavalue":{"value":{"entity-type":"item","numeric-id":6536654,"id":"Q6536654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971136$081B5F47-1007-48A7-A4A3-5A9D94ECC9E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0624fa178e03b9fff03ae621c7db899ea102bb25","datavalue":{"value":{"time":"+2025-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6971136$EA8A0BE8-F0F7-4984-8F63-3F6CC9792813","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"edde76303e2cf347932e6f827c19b69ab04a6210","datavalue":{"value":"Deformation theory is a tool developed to study how objects behave when deformed infinitesimally. In algebraic geometry, it is usual to write a deformation problem over a field \\(k\\) into a functor\\N\\[\\NX : \\mathrm{Art_k} \\rightarrow \\mathrm{Set}\\N\\]\\Nfrom the category of Artin local commutative \\(k\\)-algebra to the category of sets. Intuitively, for an Artin local commutative \\(k\\)-algebras, \\(X(A)\\) corresponds to the set of deformation of some objects over \\(A\\). For instance, if we pick a \\(k\\)-linear abelian category \\(\\mathcal{Z}\\) and an object \\(M \\in \\mathcal{Z}\\), we can set\\N\\[\\N\\mathrm{Def_M(A)} \\mathbin{:\\!=} \\{M' \\in \\mathrm{Mod}_A(\\mathcal{Z})\\text{ flat} \\mid M'\\otimes_A k\\simeq M\\}\\N\\]\\Nwhere \\(A \\rightarrow k\\) is the natural augmentation. The functor \\(\\mathrm{Def}_M\\) classifies infinitesimal deformations of \\(M\\). We can in particular take \\(Y\\) a \\(k\\)-scheme and \\(\\mathcal{Z} = \\mathrm{QCoh}(Y)\\) the category of quasi-coherent sheaves over \\(Y\\). It happens that the behavior of the functor \\(\\mathrm{Def}_M\\) can be useful to study \\(M\\). For instance, in [\\textit{A. Grothendieck}, in: Sem. Bourbaki 12 (1959/60), No. 195, 22 p. (1960; Zbl 0234.14007)], Grothendieck proves that if \\(\\mathrm{Def}_M\\) preserves finite limits, then it is pro-representable. In this setting, it is not possible to define a deformation problem classifying deformation of a collection of objects \\(Z_1,\\dots,Z_n\\) in \\(\\mathcal{Z}\\), taking in account the different \\(\\mathrm{Hom}\\) sets between them. The only natural thing to do would be to take the product of deformation functors of each objects. \\par In [\\textit{O. A. Laudal}, Homology Homotopy Appl. 4, No. 2(2), 357--396 (2002; Zbl 1013.16018)], Laudal suggests to extend the domain category of deformation functors to the category of \\(n\\)-pointed Artin algebras \\(A\\), that is, Artin algebras with a retract\\N\\[\\Nk^n \\rightarrow A \\rightarrow k^n\\N\\]\\N(note that if \\(A\\) is commutative, this is the same thing as a product of Artin local commutative \\(k\\)-algebras). Laudal then defines a (non-commutative) deformation functor for collection of objects and proves pro-representability results. \\par In this article, the authors propose a categorified definition for non-commutative deformation functors by remarking that a collection of objects \\(Z_1,\\dots,Z_n\\) in \\(\\mathcal{Z}\\) is the same thing as an exact functor\\N\\[\\N\\mathrm{Mod}_{k^n} \\rightarrow \\mathcal{Z}\\N\\]\\Nsending the \\(i\\)-th simple object to \\(Z_i\\), so replacing the category \\(\\mathrm{Art}_k\\) by a category of ``Artin categories''. They first define the category \\(\\mathrm{Df}_n\\) of Deligne finite categories. Objects are finite lenght abelian categories with \\(n\\) simple objects \\(S_1,\\dots,S_n\\). A non-commutative deformation functor is then defined to be a functor\\N\\[\\N\\mathrm{Df}_n^{\\mathrm{op}} \\rightarrow \\mathrm{Set}\\N\\]\\NThe authors then define a non-commutative deformation functor\\N\\[\\N\\mathrm{ncDef}_{(Z_1,\\dots,Z_n)}\\N\\]\\Nand give a general criterion on the family for it to be ind-representable (the ind comes from the fact that the codomain has a \\(\\mathrm{op}\\) here), giving explicitely the object that pro-represents it. Moreover, they study non-commutative deformations over a more general base than \\(\\mathrm{Mod_{k^n}}\\), proving that an exact functor be fully faithful if and only if it is on its first infinitesimal neighborhood. They end up with a geometric application, reinterpreting a result of \\textit{W. Donovan} and \\textit{M. Wemyss} [Duke Math. J. 165, No. 8, 1397--1474 (2016; Zbl 1346.14031)]) relating the flop-flop functor for a threefold flopping contraction to the contraction algebra using Laudal non-commutative deformation theory. They instead relate the flop-flop functor to a category called the nullcategory, replacing the role of the category of modules over the contraction algebra.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6971136$04F90F97-D29E-464E-A7DF-88AB72AEA9A2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"97bab594608a07a69815a6481e64d2ab00e70b00","datavalue":{"value":{"entity-type":"item","numeric-id":6970328,"id":"Q6970328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971136$4BFA59D5-4B6D-4EA9-95C6-ED42494062CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb826c1697b897b59d341e39765fd806963eea19","datavalue":{"value":"14A22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6971136$9384D027-5424-4683-A7DB-84F1648639A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4bb7814a930a5c740ebc39704374a9f360c3e32e","datavalue":{"value":"14D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6971136$1B8D8899-D233-43C3-AC2C-46322E2C785E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"236f8dc644a7bd6fe263e5304b58c4d554297222","datavalue":{"value":"18E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6971136$5396C215-0A7D-4B8A-9F5B-914F750CAD95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a1cad158d855a2e8ea1a990792bb1979d58b9a7","datavalue":{"value":"14E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6971136$D5F9A8B7-6783-40CA-B7A5-9FD75B39B12C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"564117decbe45b45ef05b805c2b455c18f55711f","datavalue":{"value":"8053200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6971136$DC100E83-4B18-47D5-861C-699D67FCD7BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b5bbf4ab2f33b0fb7d16aaba06750f8104dd3ed","datavalue":{"value":"non-commutative deformation theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6971136$4D41EF96-052D-4570-94F2-967427D43184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"488818a4ddde0199995a38c44f18f5352a7a994f","datavalue":{"value":"categorification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6971136$CEE8E4C3-F599-4167-A1DD-A4957BBFEBC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a31ab86cd523896325e82b57766151c1464838","datavalue":{"value":"abelian categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6971136$456C4027-3970-412A-BFD3-A14A746CD4A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b92ddb9e27ffd6d6118529ea8672169519f6d27","datavalue":{"value":"Deligne finite categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6971136$7A9311AC-F3DE-49B7-AB16-339B5DF2BAD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24decdbbb5777c76999d06916aa31b1706406907","datavalue":{"value":"flop-flop functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q6971136$58E0E907-F203-4494-B927-83C26561FA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f14fc119fcd3d00fe02a21a0875001a7cfb5af5","datavalue":{"value":"ind-representability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6971136$89964279-07B9-4984-863E-DC14E2615643","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":"Q6971136$4E20E732-886D-4387-B23E-32DAC4794214","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Categorifying non-commutative deformations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Categorifying_non-commutative_deformations"}}}}}