{"entities":{"Q1777723":{"pageid":1788465,"ns":120,"title":"Item:Q1777723","lastrevid":70868817,"modified":"2026-04-13T17:49:05Z","type":"item","id":"Q1777723","labels":{"en":{"language":"en","value":"On hypersurface quotient singularities of dimension \\(4\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2171617"}},"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":"Q1777723$DF03915A-16D0-4F8D-B363-2B6CCE2B9FB5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ffb518aca410a4de6b3569f0a8fe939902a2a78","datavalue":{"value":{"text":"On hypersurface quotient singularities of dimension \\(4\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1777723$DA4FBFCF-C28A-4B7B-8DB3-C52112FBF968","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"def44c674122c0357cbb01230f22aa47300b12b6","datavalue":{"value":"1078.14006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777723$1E48955E-3C03-472F-A444-5F28AE5C0F28","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"300397b1c6271710ed7c719fbcebd4678e620e10","datavalue":{"value":"10.1155/S0161171204302140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777723$65804349-3D24-4570-BDD7-8EBA834A2826","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8be5b11d71fa662838de94a1ca14b2f884f6420","datavalue":{"value":{"entity-type":"item","numeric-id":1378442,"id":"Q1378442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777723$1A68D269-284E-4033-8095-EB0C8AB1B415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c27a14ebd927dce4e588330b0278526b1ab8aba","datavalue":{"value":{"entity-type":"item","numeric-id":1361238,"id":"Q1361238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777723$F541DE7C-B519-411D-A849-8D2ACD5227AF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c4d14f6de16fedb57ef2f0703ad32e93709741b1","datavalue":{"value":{"entity-type":"item","numeric-id":162459,"id":"Q162459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777723$93A3F2D4-1F87-428E-9E73-07D7A74FD523","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10027d9b5c9465a35260c594b008f7f04309d2be","datavalue":{"value":{"time":"+2005-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1777723$6452A90F-93EF-4EBE-9249-0DBC9F4282C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b9f6758b34f59a4e161f2e9b19c441b16b40bec","datavalue":{"value":"https://arxiv.org/abs/math/0011151","type":"string"},"datatype":"url"},"type":"statement","id":"Q1777723$A85EB4CF-5FEB-4058-A926-240E426478E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb653c3a09e1586c8bb8c69e47dabcf1798dc046","datavalue":{"value":"https://eudml.org/doc/51911","type":"string"},"datatype":"url"},"type":"statement","id":"Q1777723$E3032214-A945-4657-A955-2B4B2F52AC51","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"84c31ac4772f40505157208423613b4c11245335","datavalue":{"value":"Let \\(G\\) be a finite subgroup of \\(\\text{SL}(n,\\mathbb{C})\\). \\(G\\) acts on \\(\\mathbb{C}^n\\) freely outside a finite collection of linear subspaces of codimension \\(\\geq 2\\). The \\(G\\)-Hilbert scheme \\(\\text{Hilb}^G(\\mathbb{C}^n)\\) parameterizing \\(G\\)-clusters on \\(\\mathbb{C}^n\\) has been introduced by \\textit{I. Nakamura} [J. Algebr. Geom. 10, No.4, 757--779 (2001; Zbl 1104.14003)] as a natural candidate to provide crepant resolutions of the quotient singularity \\(\\mathbb{C}^n/G\\).\\newline For \\(n=2\\), \\(\\text{Hilb}^G(\\mathbb{C}^2)\\) is the minimal resolution of \\(\\mathbb{C}^2/G\\) [\\textit{Y. Ito} and \\textit{I. Nakamura}, Proc. Japan Acad., Ser. A 72, No.7, 135--138 (1996; Zbl 0881.14002)] and for \\(n=3\\), by the theorem of \\textit{T. Bridgeland, A. King} and \\textit{M. Reid} [J. Am. Math. Soc. 14, No. 3, 535--554 (2001; Zbl 0966.14028)], \\(\\text{Hilb}^G(\\mathbb{C}^3)\\) is smooth and is a crepant resolution of \\(\\mathbb{C}^3/G\\). But for \\(n\\geq 4\\), \\(\\text{Hilb}^G(\\mathbb{C}^n)\\) is not always smooth and the quotient \\(\\mathbb{C}^n/G\\) might have no crepant resolution at all.\\newline This paper is mostly concerned with the family of examples given by abelian groups:  \\[  A_r(4)=\\{g\\in\\text{SL}(4,\\mathbb{C})\\,| \\,g \\text{ diagonal}, g^{r+1}=1\\},\\quad r\\geq 1.  \\]  The main result is:  \\(\\text{Hilb}^{A_r(4)}(\\mathbb{C}^4)\\) is a smooth toric variety with canonical bundle \\(\\omega={\\mathcal O}_{\\text{Hilb}^{A_r(4)}(\\mathbb{C}^4)}(\\sum\\limits_{k=1}^mE_k)\\) with \\(m=r(r+1)(r+2)/6\\), where \\(E_k\\)'s are disjoint smooth exceptional divisors isomorphic to \\(\\mathbb{P}_1\\times\\mathbb{P}_1\\times\\mathbb{P}_1\\). Blowing down \\(E_k\\) to some factors \\(\\mathbb{P}_1\\times\\mathbb{P}_1\\) for each \\(k\\), it gives rise to crepant resolutions of \\(\\mathbb{C}^4/A_{r}(4)\\), all of them differ by a sequence of flops of \\(4\\)-folds.  The result is proved in Section 4 (Theorem 4.1) by a deep study of the toric structure of \\(\\text{Hilb}^{A_r(4)}(\\mathbb{C}^4)\\) and Gr\u00f6bner basis techniques. The easier special case \\(r=1\\) is treated in Section 3 (Theorem 3.5).\\newline In Section 5, the authors compute a non-abelian case. Consider the alternating group \\(\\mathcal{A}_4\\) acting by permutation on \\(\\mathbb{C}^4\\) and restricted to \\(\\mathbb{C}^3\\) considered as the standard representation. They apply their method to give a constructive proof of the known smooth and crepant structure of \\(\\text{Hilb}^{{\\mathcal A}_4}(\\mathbb{C}^3)\\). The method could be further developed to investigate new higher-dimensional cases.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777723$300DAF88-09C5-4A94-9B91-017D15DF8EB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"28b1f93eb7267ca868d7c0bc17d7cfb5e9cb0c8c","datavalue":{"value":"14C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777723$F2FB45F3-CC97-4937-B5EB-BCF90D30B619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5b49a8ad7b38a33d898b97f0fd3e9f60ec03bb28","datavalue":{"value":"14J35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777723$FC8C9811-6119-4ADF-B62A-243349736A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"630a82a371ad84fa1117bcd32461226e0183986d","datavalue":{"value":"14L30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777723$87EFC71F-F86B-435B-A7A0-B42F3C625FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62521f8705e66591e31fc8b93ff08699c4b43a75","datavalue":{"value":"14M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777723$A9EFF73E-9A8F-46F5-8332-38C4D6BE3730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5aff02389d3918a330b0fc4c8d97ee0424df96a7","datavalue":{"value":"20C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777723$892BB769-27CB-41B6-903E-98DAAA5528C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"697267317c84a84285370f94e66acbfa07bd71c3","datavalue":{"value":"14E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777723$D3BF0143-B912-43FC-94CE-38C992D1ADCB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99325365ff2da1568723654118a279f3e138d91e","datavalue":{"value":"2171617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777723$60637A8E-E195-4F45-AFE8-4C9F1919810E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa9067ce3e0aae6eb5dfd322ff2e4d21b493084c","datavalue":{"value":"Hilbert scheme of orbits","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777723$E16C45ED-1EEC-4AF2-93E7-8D572A08C9A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eece3fd8aadaf975659aaf8fccdbe9a6b02946b2","datavalue":{"value":"quotient singularities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777723$F9750FD5-4816-49BE-BF16-A61C4E623C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab998d4cfa946798be4e351dbaad3cc6154dc627","datavalue":{"value":"4-folds, toric geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777723$D0A71ED9-8451-4BF0-9F04-6BAE96E22C14","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0d3995158775b808dfbf6075cabefd2cc21806cd","datavalue":{"value":{"entity-type":"item","numeric-id":318146,"id":"Q318146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777723$0CC9682A-AF0C-4A57-A588-341168AEFC4C","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":"Q1777723$513AFD8C-776B-4A5E-8231-63CFDC894F47","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"35099325a5bb46d7e4cfb931073bdac181b45223","datavalue":{"value":"W3101046007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777723$814A07AE-6D18-46FE-A0EC-74C6ACF1D8A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7a8904d1ceae1c89e9f052ba680f9d450166bc2","datavalue":{"value":{"entity-type":"item","numeric-id":4462774,"id":"Q4462774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ccf6884cab50458d5a2a8038dd9345f34d4538c","datavalue":{"value":{"amount":"+0.8629746437072754","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":"Q1777723$AD2D6429-4A04-48CF-AA84-37897FDC726B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bfa6a7aa9083c8582310d7a4e09974908dc5721","datavalue":{"value":{"entity-type":"item","numeric-id":4655215,"id":"Q4655215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc8e6c262fd357655c9adb5b3d9021e8677e87b8","datavalue":{"value":{"amount":"+0.836119532585144","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":"Q1777723$015D0B65-8464-4164-B9EB-FCD4F036825A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96c773971f27639f5a514aa74ed534c492ae2918","datavalue":{"value":{"entity-type":"item","numeric-id":1599755,"id":"Q1599755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca77be7cfee27ac08dd964578d89910a01cc6339","datavalue":{"value":{"amount":"+0.832771360874176","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":"Q1777723$3441EA90-69A2-4635-BE20-02454DB96AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d9a4176921f02ea6853f8b62e284582c0d0f190","datavalue":{"value":{"entity-type":"item","numeric-id":2769834,"id":"Q2769834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0c78c2b2417e4928391a933ee6345c5e0a80915","datavalue":{"value":{"amount":"+0.7942521572113037","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":"Q1777723$460FF802-5028-4C96-A01C-444250B6B75B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b63e8430e1a690ee4190c297e5a9918b10cccf75","datavalue":{"value":{"entity-type":"item","numeric-id":3100281,"id":"Q3100281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"753054b7656bb8a9428e280a06db713cb2d60e9a","datavalue":{"value":{"amount":"+0.7794549465179443","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":"Q1777723$E0D8A974-B289-4F7F-853F-A9EC13E3606C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On hypersurface quotient singularities of dimension \\(4\\)","badges":[]}}}}}