{"entities":{"Q1890185":{"pageid":1900927,"ns":120,"title":"Item:Q1890185","lastrevid":71072505,"modified":"2026-04-13T19:18:10Z","type":"item","id":"Q1890185","labels":{"en":{"language":"en","value":"The dimension of certain catalecticant varieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2123813"}},"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":"Q1890185$0CA87194-271E-4512-A748-CE8FB794DDC9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"05b1699a6c646ab427abbce669175eb350c52dd8","datavalue":{"value":{"text":"The dimension of certain catalecticant varieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1890185$40A2E94F-2EFE-4EE6-923B-34135BB1B0B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e7f8efa8cd8b70ade25704c8158d2d81eccb053","datavalue":{"value":"1072.14064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1890185$ACB5DF43-AB2E-4DE8-8673-97D40C96FD7B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f5fe125aa460da63eccd4e9264c9a876688e149","datavalue":{"value":{"entity-type":"item","numeric-id":220665,"id":"Q220665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1890185$DB4D813B-6DFA-46AD-A807-08EE2E57D274","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":"Q1890185$4A9E37CF-A417-4699-88E6-CAD72E98A65F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"454c7e32e9f47c901a39b198a4e1e48e753d20b8","datavalue":{"value":{"entity-type":"item","numeric-id":172471,"id":"Q172471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1890185$14CB944F-562B-42F7-849A-FF2B9930231E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a561ea267d3b68d56a1413f4041b16ca9fd42121","datavalue":{"value":{"time":"+2004-12-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1890185$77FCEEBF-4B56-4FC9-B5A7-AE7C791FB0E2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e6751a2b3fce22e2811e8ef59270e3f4ce608e2","datavalue":{"value":"https://eudml.org/doc/44333","type":"string"},"datatype":"url"},"type":"statement","id":"Q1890185$26A0C5AE-6422-4D74-86C3-F8B7311D30A2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e19f737997cdb9726a18e687a16a829e4cfff84e","datavalue":{"value":"Consider the lexicographically ordered list of all 3-tuples \\(\\underline{i}=(i_1,i_2,i_3)\\in \\mathbb Z_{\\geq 0}\\) for which \\(| i| =i_1+i_2+i_3=t.\\) Let \\(o(\\underline{i})\\) be the position of \\(\\underline{i}\\) in the list. Let Cat\\((t,t;3)\\) be the \\({t+2\\choose 2}\\times {t+2\\choose 2}\\) matrix whose \\(o(\\underline{i}),o(\\underline{j})\\)- entry is \\([Y_{\\underline{i}+\\underline{j}}].\\) Hereby \\({2t+2\\choose 2}\\) variables \\(Y_{\\underline{k}}\\) are introduced. In the associated polynomial ring \\(k[\\{Y_{\\underline{k}}: | \\underline{k}| =2t \\}],\\) \\(k\\) an algebraically closed field, let \\(I_{s+1,t}\\) be the ideal of \\((s+1)\\times (s+1)\\)-minors of Cat\\((t,t;3),\\) and let \\(V_{s,t}\\) be the associated projective variety. The \\(V_{s,t}\\) are examples of catalecticant varieties, living in projective space \\(\\mathbb P^N,\\) \\(N={2t+2 \\choose 2}-1.\\)  Let \\(\\tilde{s}={t+2\\choose 2}-s.\\) Standard results on ideals of minors and in dimension theory of algebraic varieties guarantee that \\(\\dim V_{s,t}\\geq \\text{ exdim}V_{s,t}:=\\max\\{0, N-{\\tilde{s}+1 \\choose 2} \\},\\) which latter number authors call the expected dimension of \\(V_{s,t}.\\) S. Diesel had conjectured that if \\(\\tilde{s}\\leq t+1,\\) then \\(\\dim V_{s,t}=\\text{ exdim}V_{s,t}.\\) This was shown to be false by \\textit{Y. H. Cho} and \\textit{B. E. Jung} [Commun. Algebra 28, No. 5, 2423--2443 (2000; Zbl 0976.14031)]. Using previous results of theirs [\\textit{A. Conca} and \\textit{G. Valla}, Math. Z. 230, No. 4, 753--784 (1999; Zbl 0927.13020)], the authors give a complete answer to when equality holds as follows:  Let \\(\\Gamma=(a_0=1,2,\\ldots,a_t)\\) be a sequence of integers satisfying for some \\(m\\in \\{2,\\ldots, t+1\\}\\) that \\(a_i=i+1,\\) if \\(0\\leq i\\leq m-1,\\) and \\(0\\leq a_{i+1} \\leq a_i,\\) if \\(m-1\\leq i\\leq t,\\) and \\(\\sum a_i=s;\\) let \\(\\tilde{V}_{s,t}\\) be the set of all such sequences; and put \\(\\rho(\\Gamma)=2s-\\sum_{i=0}^{t-2} a_i(a_{i+2}-a_{i+1})+2a_{t-1}a_t - a_t(a_t+3)/2.\\) Let \\(T=\\{1,3,h_2,\\dots,h_{2t-2},3,1\\}\\) be a Gorenstein sequence of socle degree \\(2t\\) and with \\(h_t=s;\\) let \\(a_i=h_i-h_{i-1}.\\) To certain such sequences varieties Gor\\((T)\\) are associated whose union is essentially \\(V_{s,t}.\\)  Via Gonca and Valla [loc.cit.] the authors get Proposition 2.1: \\(\\dim\\)Gor\\((T)=\\rho(\\Gamma);\\) and from this the crucial result:  Theorem 2.4: If \\(t\\geq 2\\) and \\(3 \\leq s <{t+2\\choose 2},\\) then \\(\\dim V_{s,t}=\\max\\{\\rho(\\Gamma): \\Gamma\\in \\tilde{V}_{s,t} \\}.\\) \\quad By a tower the authors understand a sequence of \\(t+1\\) integers given for \\({a+2\\choose 2}\\leq \\tilde{s} \\leq t+1\\) by  \\[ \\Gamma_a:= \\begin{matrix} 0& 1& \\dots & t-a-1 & \\dots &t-1 & t \\\\ 1& 2& \\dots & t-a & \\dots &t-a & t+1-\\tilde{s}+{a+1\\choose 2} \\end{matrix}. \\]  Such sequences are in \\(\\tilde{V}_{s,t}.\\)  Next, some elementary but subtle lemmas yield  Theorem 3.9: If \\(\\tilde{s} \\leq \\min\\{t,\\frac{2t}{3}+4\\},\\) then \\(\\dim V_{s,t} = \\max \\{\\rho(\\Gamma_a): \\Gamma_a \\text{ a tower in } \\tilde{V}_{s,t} \\}.\\)  Defining the rational functions \\(D(X)=\\frac{1}{4} (X^4+6X^3+11X^2+30X+8)\\) and \\(f_t(X)=\\frac{4Xt+D(X)}{(X+1)(X+2)}\\) this leads to  Theorem 3.11. \\(V_{s,t}\\) has the expected dimension if and only if \\(\\tilde{s}\\leq f_t(a)\\) for every integer \\(a\\geq 1\\) for which \\({a+2\\choose 2}\\leq \\tilde{s}.\\)  This necessary and sufficient criterion is morphed in section 4 into a criterion of the form that \\(V_{s,t}\\) has the expected dimension if and only if \\(\\tilde{s}\\leq N(t).\\) The explanation of \\(N(t)\\) again would take some lines. Reviewer ventures to say that questions like determining \\(N(t)\\) departing from theorem 3.11 can -- in principle at least -- be ``automatically'' resolved via quantifier elimination.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1890185$FE5903A5-3388-443C-BAB7-10643DF4AABB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"83379f5d62f370fcfc0b164263d386315ef7505b","datavalue":{"value":"14M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1890185$D7F4FCE0-E8D1-4C32-9AEC-13216BC941E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"75fe8b6783adebe56efdc248f08e17689eb07865","datavalue":{"value":"13C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1890185$54668C81-E8F9-4A27-913A-F4CD1A423D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb60b58fa83e5bf31309443c8c76c1c9bb17e418","datavalue":{"value":"13C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1890185$6202503C-39DD-436E-AED7-B421673B391B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66297c44c2c847f4b6052b12885cc5649f735603","datavalue":{"value":"2123813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1890185$C305F80A-2A0C-4E57-9E32-EA5EACB6C199","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12b6d5cc8f3072931bfc120c1b6c812b5c8ee33a","datavalue":{"value":"ideal of minors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1890185$A5CBE3F4-DCA1-4BF0-A809-F802DCB27200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3d2fe0351c65944e79308ddf610556311ecd970","datavalue":{"value":"Artinian Gorenstein algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1890185$5F2EEA73-F70A-43ED-B92F-DEDBCDDD5AEF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4cb749bb0545117c5a39ee1b861da533345043d8","datavalue":{"value":{"entity-type":"item","numeric-id":587686,"id":"Q587686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1890185$48B61372-12AC-4C56-8572-BCEAC5D8C28A","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":"Q1890185$E2A24C61-92B2-4D7D-BE1B-45EB3167C388","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8b0ac9ba56f4829199b308e69f2253e6c232ec3","datavalue":{"value":{"entity-type":"item","numeric-id":4495366,"id":"Q4495366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89894a56a3fb7b569f666664389d28cd54109b48","datavalue":{"value":{"amount":"+0.854171872138977","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":"Q1890185$6746BB78-EBCC-40C4-A9F8-186A3A05BD67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5738b9b51a681697d69cab4248365b1743ea0d56","datavalue":{"value":{"entity-type":"item","numeric-id":4263562,"id":"Q4263562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2779f68ca7fb479ebb26b6e30d441e299d7eba8a","datavalue":{"value":{"amount":"+0.852949321269989","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":"Q1890185$9F03A4DD-AF82-4B93-AED4-94D89B8E2F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04d8e49378a1df65aa775bf36230a437b93989f2","datavalue":{"value":{"entity-type":"item","numeric-id":2449423,"id":"Q2449423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b34c1f31a6460c357c5b875485d1d92f63354ada","datavalue":{"value":{"amount":"+0.7899418473243713","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":"Q1890185$E91584CE-A30C-41CD-A788-2300278A7C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75694d05749350589524de5f2b4587591c81dae8","datavalue":{"value":{"entity-type":"item","numeric-id":1296198,"id":"Q1296198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69dacc2e911e18c2039c85bff7061c41f8718c13","datavalue":{"value":{"amount":"+0.7721264958381653","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":"Q1890185$B15B2299-D574-422B-B2F4-F13FBE0BEE3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ea2b5e484e0373ccce76fe9539355647aedec67","datavalue":{"value":{"entity-type":"item","numeric-id":3592084,"id":"Q3592084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69dacc2e911e18c2039c85bff7061c41f8718c13","datavalue":{"value":{"amount":"+0.7721264958381653","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":"Q1890185$57A6FEA3-705C-4EC2-A635-0DF49549FF2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The dimension of certain catalecticant varieties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_dimension_of_certain_catalecticant_varieties"}}}}}