{"entities":{"Q1332793":{"pageid":1343537,"ns":120,"title":"Item:Q1332793","lastrevid":46274772,"modified":"2025-12-24T11:23:39Z","type":"item","id":"Q1332793","labels":{"en":{"language":"en","value":"On hyperplane sections of reduced irreducible varieties of low codimension"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 633575"}},"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":"Q1332793$1327C9CD-B672-4050-914B-6123A3803324","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f037148b7549856a5f02cc8467d5e79db269f38","datavalue":{"value":{"text":"On hyperplane sections of reduced irreducible varieties of low codimension","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1332793$4D637A70-9FBD-46C9-A8FC-BE110A47D253","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d34a1d1e83dcd8d4fb7d71b4543a1bee08c2e529","datavalue":{"value":"0836.14031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332793$1C600656-6E7A-47C6-9AC4-37631BF514E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3678c381f1a266424fc3c814a7b6278c92f3d47b","datavalue":{"value":{"entity-type":"item","numeric-id":177378,"id":"Q177378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332793$B11C6B0C-5679-4C9D-A60C-031E57651F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f95d5bd7bb0e9bb143a29c66ebee9ffabaffcbe4","datavalue":{"value":{"entity-type":"item","numeric-id":166146,"id":"Q166146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332793$F20405B1-0EED-413D-93C9-BE68B7A70401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"667de671fe8fdfe6b746c8f4939811d038feb549","datavalue":{"value":{"entity-type":"item","numeric-id":409226,"id":"Q409226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332793$8C89FDB1-9A7E-4CA7-9BD5-71832798F49C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"77dc2fb917d9ddfc7ec1da3e21f74c52714e1a70","datavalue":{"value":{"entity-type":"item","numeric-id":172164,"id":"Q172164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332793$46182B03-E93B-4C63-B3BD-322928F5EDFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5234c3c3eec5889ee0b52a7482e82bd6b7ddaa49","datavalue":{"value":{"time":"+1996-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1332793$B4C6FE6E-2B8E-4B25-BAA4-3EB84CD10C4B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e59862d060d307d4bc70c67f127bf190b2bfc169","datavalue":{"value":"Let \\(X\\) be an arithmetically Cohen-Macaulay variety (subscheme) of codimension 2 in \\(\\mathbb{P}^n = \\mathbb{P}^n(k)\\), where \\(k\\) is an algebraically closed field. Let \\(I = I(X)\\) denote the defining ideal of \\(X\\) in the polynomial ring \\(R = k[x_0, \\dots, x_n]\\). By the Hilbert-Burch theorem we may assume that \\(I\\) is minimally generated by the maximal minors of an \\(r - 1\\) by \\(r\\) matrix \\((g_{ij})\\) of homogeneous elements of \\(R\\). Let \\(a_1, \\dots, a_r\\) be the degree of these generators. Then \\(I\\) has a minimal free resolution of the form  \\[ 0 \\to {\\overset r - {1}  {\\underset i = {1}  \\bigoplus}} R(-b_i) @>(g_{ij})>> {\\overset {r}  {\\underset j = {1}  \\bigoplus}} R(- a_j) \\to I \\to 0, \\]  where \\(b_1, \\dots, b_{r - 1}\\) are positive integers with \\(\\sum b_i = \\sum a_j \\). Put \\(u_{ij} = b_i - a_j\\). We have \\(\\deg g_{ij} = u_{ij}\\), if \\(u_{ij} > 0\\) and \\(g_{ij} = 0\\) if \\(u_{ij} \\leq 0\\). Under the assumptions \\(a_1 \\leq \\cdots a_r\\) and \\(b_1 \\leq \\cdots \\leq b_{r - 1}\\), the matrix \\((u_{ij})\\) is uniquely determined by \\(X\\), and it carries all the numerical data about \\(X\\). One calls \\((u_{ij})\\) the degree matrix of \\(X\\).   \\textit{T. Sauer} [Math. Ann. 272, 83-90 (1985; Zbl 0546.14023)] proved that an arithmetically Cohen-Macaulay curve in \\(\\mathbb{P}^3\\) is smoothable if and only if \\(u_{ii + 2} >0\\) for \\(i = 1, \\dots, r - 2\\). On the other hand T. Sauer (loc. cit.) proved, though not explicitly stated, that a matrix of integers \\(u_{ij} = b_i - a_i\\), where \\(a_1 \\leq \\cdots \\leq a_r\\) and \\(b_1 \\leq \\cdots \\leq b_{r - 1}\\) are two sequences of positive integers with \\(\\sum a_i = \\sum b_j\\), is the degree matrix of a smooth arithmetically Cohen-Macaulay curve in \\(\\mathbb{P}^3\\) if and only if \\(u_{ii + 2} > 0\\) for \\(i = 1, \\cdots, r - 2\\). In this paper we shall extend these results as follows.   Theorem 1.1. Let \\(X \\subset \\mathbb{P}^n\\) be a reduced arithmetically Cohen-Macaulay variety of codimension 2 with degree matrix \\((u_{ij})\\). Then \\(X\\) is a hyperplane section of a reduced irreducible arithmetically Cohen-Macaulay normal variety \\(Y \\subset \\mathbb{P}^{n + 1}\\) of codimension 2 if and only if \\(u_{ii + 2} > 0\\) for \\(i = 1, \\dots, r - 2\\).   Now let \\(X \\subset \\mathbb{P}^n\\) be an arithmetically Gorenstein variety of codimension 3. The defining ideal \\(I = I(X)\\) of \\(X\\) is minimally generated by the \\(2r\\)-pfaffians of a skew-symmetric \\(2r + 1\\) by \\(2r + 1\\) matrix \\((g_{ij})\\) of homogeneous forms of \\(R\\). Let \\(a_1 \\leq \\cdots \\leq a_{2r + 1}\\) be the degree of these generators of \\(I\\). Then \\(I\\) has a minimal free resolution of the form  \\[ 0 \\to R(-c) \\to \\bigoplus^{2r + 1}_{i = 1} R (-b_i) @>(g_{ij})>> \\bigoplus^{2r + 1}_{i = 1} R(- a_j) \\to I \\to 0, \\]  where \\(c = {1 \\over r} (a_1 + \\cdots + a_{2r + 1})\\), \\(b_i = c - a_i\\). If we put \\(u_{ij} = c - a_i - a_j\\), we have \\(\\deg g_{ij} = u_{ij}\\), if \\(u_{ij} > 0\\) and \\(g_{ij} = 0\\) if \\(u_{ij} \\leq 0\\). As before, the integer matrix \\((u_{ij})\\) will be called the degree matrix of \\(X\\). We obtain:   Theorem 1.2. A matrix of \\((u_{ij})\\) of integers as above is the degree matrix of a smooth arithmetically Gorenstein curve in \\(\\mathbb{P}^4\\) if and only if \\(u_{ij} > 0\\) for all \\(i,j\\) with \\(i + j = 2r + 4\\).   Theorem 1.3. Let \\(X \\subset \\mathbb{P}^n\\) be a reduced arithmetically Gorenstein variety of codimension 3 with degree matrix \\((u_{ij})\\). Then \\(X\\) is a hyperplane section of a reduced irreducible arithmetically Gorenstein normal variety \\(Y \\subset \\mathbb{P}^{n + 1}\\) of codimension 3 if and only if \\(u_{ij} > 0\\) for all \\(i,j\\) with \\(i + j = 2r + 4\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332793$0B9739F1-026E-4205-AD6A-4EA1CD0DC9B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"be0e1960460d8e910b07e8291505f5cbbc93af6d","datavalue":{"value":"14M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332793$7DE076F8-4182-4824-A4CC-AFA891138B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e21c93a5a10d887f127b535489310b8f4645018","datavalue":{"value":"14C17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332793$B1851A92-AD34-4766-B9F4-56BE55A12E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7f0d4050955b7c3a87ea977aa08dcba2cfba6a66","datavalue":{"value":"14M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332793$18BB30A6-F3A4-4F4A-9E36-003048E62212","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"347a821fa86a2f80cf9cd8104d8413e344013165","datavalue":{"value":"633575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332793$99442EE9-A2B3-4600-859A-B4EFDB3B7CE0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9242f899a209348bd9ae8d82c568e7b187f5ac5a","datavalue":{"value":"arithmetically Cohen-Macaulay variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332793$42D6DD7D-E72C-4FCC-A2AE-A3554229A04E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee220f6d87fdcf77c8fb973739d580aac403012d","datavalue":{"value":"codimension 2","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332793$27341200-83FB-4978-882C-D317655C49B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be2773c494f48c5538ef224a5c834d3ceb5a313e","datavalue":{"value":"degree matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332793$FCDD8EB8-3679-463C-BEA4-34C05BA09A06","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":"Q1332793$08950685-5B6C-42C5-8F3B-A47831155527","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a191d04fe8c2637acb1e366f0f2b6528fd0aeac4","datavalue":{"value":"https://doi.org/10.1215/kjm/1250519062","type":"string"},"datatype":"url"},"type":"statement","id":"Q1332793$1BDD3977-9279-436F-B921-2AFF5E9C0742","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3937445f9585d3d51d8572d997df628644c136db","datavalue":{"value":"W1524057712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332793$2362886C-9540-471F-B550-147310FAE425","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c65eb7eb331131e7c05c4b792da0ab718a30d43","datavalue":{"value":"10.1215/KJM/1250519062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332793$C027EA90-8D41-44DE-AC51-3B85D09288FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2190284ffd24612d5ea148a587fa3936ba2b1977","datavalue":{"value":{"entity-type":"item","numeric-id":4202167,"id":"Q4202167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ab902f5c4dab882ba451ee321c8003791d63295","datavalue":{"value":{"amount":"+0.8275835514068604","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":"Q1332793$A1979843-5F78-453A-A8FF-99B374A39E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c21e0154f267496e0929337b4384f337d5d47a9b","datavalue":{"value":{"entity-type":"item","numeric-id":5705534,"id":"Q5705534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4d24911a298e9504e24d809fcbe5ad08b3707a4","datavalue":{"value":{"amount":"+0.8129406571388245","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":"Q1332793$41DD033D-A71E-4777-93BE-C8D420E7FD26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de138cab78de46d7471e441355b8cb60e900f70a","datavalue":{"value":{"entity-type":"item","numeric-id":917641,"id":"Q917641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54d4514ea3fade983985d456bc38d74a90177ef1","datavalue":{"value":{"amount":"+0.8038875460624695","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":"Q1332793$1D6F082F-F750-454B-A7FA-620878706F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02d2c080256c72d29998877f28fe4875de1f5827","datavalue":{"value":{"entity-type":"item","numeric-id":686105,"id":"Q686105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf890be912ee83ecf7112100dc399141967664ef","datavalue":{"value":{"amount":"+0.7994049787521362","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":"Q1332793$CB372E09-6AB9-497D-8A91-18DDF559CF9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1332793","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1332793"}}}}}