{"entities":{"Q2914403":{"pageid":2925123,"ns":120,"title":"Item:Q2914403","lastrevid":58053333,"modified":"2026-04-03T15:08:39Z","type":"item","id":"Q2914403","labels":{"en":{"language":"en","value":"Descent theory for semiorthogonal decompositions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6084149"}},"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":"Q2914403$7D6428E8-EAB3-46B2-8B90-04873FA4D000","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8792f1d2f1d9993ead9f0c7d71a9776c0d387981","datavalue":{"value":{"text":"Descent theory for semiorthogonal decompositions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2914403$62147D04-3D9E-4CB9-B4FC-E360E6AA5CD0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8406f3fe8e6c6c535799c80303eafe01ae4e31eb","datavalue":{"value":"1300.14019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914403$03DF07B0-48E2-40D7-99E2-EC6847BC75B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f3d04071387041fe5eb54e5835b78b4fdb41e47","datavalue":{"value":{"entity-type":"item","numeric-id":635530,"id":"Q635530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914403$6F2C2A41-CE27-4410-84B4-84CE5ED212AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"65757813d51547e2d7edf5ed37886a91523943c6","datavalue":{"value":{"entity-type":"item","numeric-id":2710721,"id":"Q2710721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914403$2986DAC0-7A18-458F-9101-5BFFB8821119","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e152dd6d247137568b90f2b2f788eb084d247ca","datavalue":{"value":{"time":"+2012-09-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":"Q2914403$971D2BA8-F563-4C8B-89C8-E818E4498A49","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a04d10734d967c7e0f9e540095938ca14e78b143","datavalue":{"value":"https://arxiv.org/abs/1206.2881","type":"string"},"datatype":"url"},"type":"statement","id":"Q2914403$0CB00C0B-D245-4E8B-B888-D85EBEB6700B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e93be51ca4a8cf8588ed10d171d63a4564b84a1","datavalue":{"value":"14F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914403$2E0F6811-0C79-4E5A-A471-C20777AF672E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914403$9A052085-23CE-4743-A9A7-A4B7E8B158AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f4de713576a89342331559a5371327a71f669f1","datavalue":{"value":"13D09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914403$8E09ED26-06E8-4355-BBBB-719590CFE5E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6513d146462f8a810160db474d42cad45c7c34da","datavalue":{"value":"18E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914403$DD46932F-0F4E-46B4-8629-31B05A6E5AC2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d9e103c5e4308b6dc1ea3da112353efd318c3d1","datavalue":{"value":"6084149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914403$74196666-1AF9-4364-A99D-B6435074FA95","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00c54ac78bf5553f64b9cd583f9b2aa460638484","datavalue":{"value":"derived category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914403$C7B666E2-BD20-4CA7-9959-0B26E122D286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1a303d0d24dd1f530d86b70c5325421eca1bca2","datavalue":{"value":"semiorthogonal decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914403$E5D8BD33-73BA-4E8F-8729-B04A7DA65764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30edc530ad0aa3bf5a392fe0c80708042fc9811c","datavalue":{"value":"descent theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914403$AF86CCE2-A26E-46EC-A6D1-3FC0038801B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeae63ab37c389248fa6dc029ab6d1c81b28afe1","datavalue":{"value":"algebraic variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914403$03660FE6-C7CC-41B0-A1A8-D2D8DD99343C","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":"Q2914403$E2886A32-6A15-4D6E-AB95-BE914ECF3407","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe44e84a117463bf2f04d74c179990b83396bd38","datavalue":{"value":"10.1070/SM2012V203N05ABEH004238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914403$BF64D6F5-739C-49FB-9246-81C68AA2C978","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"beef32d5e4d89df37ca952e9555e445447d990cf","datavalue":{"value":"In the paper under review, the author describes a method to construct a semiorthogonal decomposition of the equivariant derived category of a quasi-projective \\(k\\)-scheme \\(X\\) under the action of an algebraic group \\(G\\), starting from a semiorthogonal decomposition on the standard derived category.NEWLINENEWLINESuppose that \\(G\\) acts on \\(X\\) via an action \\(a:G\\times X\\longrightarrow X\\), and let \\(p_{2}:G\\times X\\longrightarrow X\\) be the projection. An equivariant sheaf on \\(X\\) is a pair \\((F,\\theta)\\) where \\(F\\) is a sheaf on \\(X\\) and \\(\\theta:p_{2}^{*}F\\longrightarrow F\\) is a morphism verifying some cocycle condition depending on \\(a\\). We write \\(D(X)\\) (resp. \\(D^{G}(X)\\)) for the derived category of quasi-coherent sheaves (resp. equivariant quasi-coherent sheaves), \\(D^{b}(X)\\) (resp. \\(D^{b}(\\text{coh}^{G}(X))\\)) for the bounded derived category of coherent sheaves (resp. equivariant coherent sheaves) and \\(D^{\\text{perf}}(X)\\) (resp. \\(D^{\\text{perf},G}(X)\\)) for the category of perfect complexes in \\(D(X)\\) (resp. in \\(D^{G}(X)\\)).NEWLINENEWLINEIn section 2, the author provides a description of \\(D^{G}(X)\\) using the language of cosimplicial categories and comonads. A comonad on a category \\(\\mathcal{C}\\) is a triple \\(\\mathrm{T}=(T,\\epsilon,\\delta)\\) given by a functor \\(T:\\mathcal{C}\\longrightarrow\\mathcal{C}\\) and two natural transformation \\(\\epsilon:T\\longrightarrow id_{\\mathcal{C}}\\) and \\(\\delta:T\\longrightarrow T^{2}\\) satisfying some commutativity condition. A comodule over a comonad \\(\\mathrm{T}\\) on \\(\\mathcal{C}\\) is a pair \\((F,h)\\) where \\(F\\) is an object of \\(\\mathcal{C}\\), and \\(h:F\\longrightarrow TF\\) is a morphism verifying some commutativity condition. The comodules over the comonad \\(\\mathrm{T}\\) form a category \\(\\mathcal{C}_{\\mathrm{T}}\\). If \\(\\mathcal{C}\\) is abelian and \\(\\mathrm{T}\\) is a comonad on it, then \\(\\mathcal{C}_{\\mathrm{T}}\\) is abelian. In general, if \\(\\mathcal{C}\\) is triangulated, we do not have \\(\\mathcal{C}_{\\mathrm{T}}\\) tringulated.NEWLINENEWLINENow, using cosimplicial categories and results of \\textit{A. D. Elagin} contained in [Sb. Math. 202, No. 4, 495--526 (2011; Zbl 1234.18006)], the author shows that if \\(p:X\\longrightarrow S\\) is a morphism such that \\(\\mathcal{O}_{S}\\longrightarrow R_{p*}\\mathcal{O}_{X}\\) is a split embedding, then the canonical functor \\(\\Phi:D(S)\\longrightarrow D(X)_{\\mathrm{T}_{p}}\\) sending a complex \\(H\\) to the pair \\((p^{*}H,h)\\) (where \\(h\\) is the canonical adjunction morphism \\(p^{*}H\\longrightarrow p^{*}p_{*}p^{*}H\\)), is an equivalence. The same is true if we replace \\(D(X)\\) with \\(D^{b}(X)\\) or \\(D^{\\text{perf}}(X)\\). If \\(G\\) is linearily reductive and \\(S=X/\\!/G\\), the author gets finally equivalences \\(D^{G}(X)\\simeq D(X)_{\\mathrm{T}_{p}}\\), \\(D^{b}(\\text{coh}^{G}(X))\\simeq D^{b}(X)_{\\mathrm{T}_{p}}\\) and \\(D^{\\text{perf},G}(X)\\simeq D^{\\text{perf}}(X)_{\\mathrm{T}_{p}}\\), where \\(\\mathrm{T}_{p}\\) is the comonad \\((p^{*}p_{*},\\epsilon,\\delta)\\) (and \\(\\epsilon\\) and \\(\\delta\\) are the canonical adjunction morphisms).NEWLINENEWLINEIn section 3, the author shows that if \\(\\mathrm{T}\\) is a comonad on a tringulated category \\(\\mathcal{C}\\) such that \\(\\mathcal{C}_{\\mathrm{T}}\\) has a triangulated structure, then a semiorthogonal decomposition \\(\\langle A_{1},\\dots,A_{n}\\rangle\\) of \\(\\mathcal{C}\\) induces a semiorthogonal decomposition on \\(\\mathcal{C}_{\\mathrm{T}}\\) whenever \\(\\mathrm{T}\\) is upper triangular with respect to \\(\\langle A_{1},\\dots,A_{n}\\rangle\\), i. e. \\(\\mathrm{T}A_{k}\\subseteq\\langle A_{1},\\dots,A_{k}\\rangle\\) for every \\(k\\). As an application of this, if \\(p:X\\longrightarrow S\\) is a flat morphism and \\(\\mathcal{O}_{S}\\longrightarrow Rp_{*}\\mathcal{O}_{X}\\) is a split embedding, then any semiorthogonal decomposition \\(\\langle A_{1},\\dots,A_{n}\\rangle\\) of \\(D(X)\\) such that the functor \\(\\mathrm{T}_{p}=p^{*}p_{*}\\) is upper triangular induces a semiorthogonal decomposition \\(\\langle B_{1},\\dots,B_{n}\\rangle\\) of \\(D(S)\\), where \\(B_{k}\\) is given by all complexes \\(H\\) such that \\(p^{*}H\\in A_{k}\\).NEWLINENEWLINETo prove similar statement for \\(D^{b}(X)\\) and \\(D^{\\text{perf}}(X)\\), one needs to extend a semiorthogonal decomposition on these categories to semiorthogonal decompositions of \\(D(X)\\), which is possible by \\textit{A. Kuznetsov}, [Compos. Math. 147, No. 3, 852--876 (2011; Zbl 1218.18009)]. In section 5, the case of \\(p:X\\longrightarrow X/\\!/S\\) is studied, and the author shows that \\(\\mathrm{T}_{p}\\) is upper semitriangular with respect to the semiorthogonal decompostion \\(\\langle A_{1},\\dots,A_{n}\\rangle\\) if \\(A_{i}\\) is preserved by \\(G\\), i. e. \\(p_{2}^{*}A_{i}=a^{*}A_{i}\\) for every \\(i\\).NEWLINENEWLINEThe conclusion is provided in Theorems 6.1, 6.2 and 6.3, saying that if \\(\\langle A_{i},\\dots,A_{n}\\rangle\\) is a semiorthogonal decomposition of \\(D(X)\\) (or \\(D^{\\text{perf}}(X)\\), \\(D^{b}(X)\\)) whose factors are preserved by \\(G\\), then it induces a semiorthogonal decomposition \\(\\langle B_{1},\\dots,B_{n}\\rangle\\) on \\(D^{G}(X)\\) (or \\(D^{\\text{perf},G}(X)\\), \\(D^{b}(\\text{coh}^{G}(X))\\)), where the objects of \\(B_{k}\\) are precisely those which are in \\(A_{i}\\) once the equivariant structure is forgotten.NEWLINENEWLINETo conclude, the author applies his construction to produce explicit semiorthogonal decompositions for \\(D^{\\text{perf},G}(X)\\) when \\(X\\) is the projective bundle over a quasi-projective \\(k-\\)scheme, and when \\(X\\) is the blow-up of a quasi-projective \\(k-\\)scheme along a smooth subscheme, in both cases starting from the semiorthogonal decompositions constructed by \\textit{D. O. Orlov} [Russ. Acad. Sci., Izv., Math. 41, No. 1, 133--141 (1993; Zbl 0798.14007)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914403$C73F724B-C9FD-49F4-A9F4-5C1577B48E54","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ca3881202b65b9756ee3fb147e9aa34ab0d12537","datavalue":{"value":{"entity-type":"item","numeric-id":522112,"id":"Q522112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914403$115515F8-338C-461F-A4EC-7EFFC77FA928","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa84f8266928591df1af17cdec93038c7a89ca0d","datavalue":{"value":{"entity-type":"item","numeric-id":1996282,"id":"Q1996282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8fde7fb24dc774be434c1e94f9ff329aa9152f3","datavalue":{"value":{"amount":"+0.8569290637969971","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":"Q2914403$22D8056F-4872-45AC-812F-F601708C7C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c73adfcecd21657c63c74579adb623ec1e392702","datavalue":{"value":{"entity-type":"item","numeric-id":3647752,"id":"Q3647752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99119f2d3969e733e7ce69e287b22882b75978aa","datavalue":{"value":{"amount":"+0.8436729311943054","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":"Q2914403$62178D3F-41FE-4AFA-BE2A-EFA71512D2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"733a91ce053f57e4fe6282089a80720dfb952020","datavalue":{"value":{"entity-type":"item","numeric-id":2347501,"id":"Q2347501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fe7ea889dc4465c6b87d7ed44c91bf54643a22b","datavalue":{"value":{"amount":"+0.8295062780380249","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":"Q2914403$804E4BC4-AC50-4D9F-B1FE-42799B336D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9adfcced5e382664d300fa9b99949230a7088e02","datavalue":{"value":{"entity-type":"item","numeric-id":2281319,"id":"Q2281319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a25204a2028554178024fee620d1b59f398b717a","datavalue":{"value":{"amount":"+0.8219616413116455","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":"Q2914403$B7B9AA72-AA7D-401A-AC8A-ED7597F759D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9a3db83cf58a8d0a5f1e9074a65454b51707fc6","datavalue":{"value":{"entity-type":"item","numeric-id":2227290,"id":"Q2227290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c0028b74b0c086650070182e06525fd34b580f5","datavalue":{"value":{"amount":"+0.8152853846549988","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":"Q2914403$7DA121F1-8F82-45E8-A729-ACF5F26C496F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2914403","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2914403"}}}}}