{"entities":{"Q1400870":{"pageid":1411610,"ns":120,"title":"Item:Q1400870","lastrevid":67354212,"modified":"2026-04-12T17:03:36Z","type":"item","id":"Q1400870","labels":{"en":{"language":"en","value":"Efficient smooth stratification of an algebraic variety in zero characteristic and its applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1964706"}},"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":"Q1400870$F1E42C3C-434F-4849-8915-FB652DC37FF8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6ea481dae09965587673ed04248bc739c651709","datavalue":{"value":{"text":"Efficient smooth stratification of an algebraic variety in zero characteristic and its applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1400870$50F54EAF-C341-438E-A40A-CF572DE09FEC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b9042d48fb4ca8cae1e86a3f1eda5a3e56afae81","datavalue":{"value":"1027.14007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400870$058876E9-828A-44FA-89B2-3612E9AAC0FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"55917244fda59dfc35cd0c05e48046440c5f00e1","datavalue":{"value":"10.1023/A:1021114713990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400870$69C80699-EF2C-4034-856D-1D939334F3EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"17c447c8e76a3a0e73a2c70a024d9ee2f8256c04","datavalue":{"value":{"entity-type":"item","numeric-id":195577,"id":"Q195577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400870$82DAF059-8903-4F04-9615-3C36E91F4AB9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1acf02eb3bf289e1f20b46dd966035b051fd02cf","datavalue":{"value":{"time":"+2003-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1400870$6ED7139A-6089-4CFE-8E47-0B23E59FD1FC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b1d05449c44a46956b2747c4dee2f525e58c34f0","datavalue":{"value":"Let \\(V\\subseteq {\\mathbb P}^n(\\overline{k})\\) be a projective algebraic variety over a zero characteristic field \\(k\\) which is the set of common zeros of a family of homogeneous polynomials of degree less than \\(d\\) in \\(n+1\\) variables with coefficients from \\(k\\). A smooth cover of \\(V\\) is a finite family \\(\\{ V_\\alpha\\}\\), \\(\\alpha\\in A\\), of quasiprojective smooth algebraic varieties \\(V_\\alpha\\subseteq{\\mathbb P}^n(\\overline{k})\\) such that \\(V=\\bigcup_{\\alpha\\in A}V_\\alpha\\) and all the irreducible components of \\(V_\\alpha\\) have the same dimension (depending on \\(\\alpha\\)). A smooth cover \\(\\{ V_\\alpha\\}\\) of \\(V\\) is called a smooth stratification of \\(V\\), if for any \\(\\alpha_1,\\alpha_2\\in A, \\alpha_1 \\neq \\alpha_2\\) we have \\(V_{\\alpha_1}\\cap V_{\\alpha_2}=\\emptyset\\). In this paper a new representation of quasiprojective algebraic varieties is introduced. Using this representation, the author proves the existence of a smooth cover and a smooth stratification \\(V=\\bigcup_{\\alpha\\in A}V_\\alpha\\) such that for every \\(\\alpha\\in A\\) the degree \\(\\overline{V}_\\alpha\\) of the Zariski closure \\(\\overline{V}_\\alpha\\) is bounded above by \\(2^{2^{n^C}}d^n\\) where \\(C>0\\) is an absolute constant, and the order of \\(A\\) is bounded above by \\(2^{2^{n^C}}d^n\\) in the case of smooth cover and by \\(2^{2^{n^C}}d^{n(n+1)/2}\\) in the case of smooth stratification. In the algorithmic part of this paper the field \\(k\\) is assumed to be finitely generated over \\(\\mathbb Q\\). A method is presented to construct sequences of local parameters for components of algebraic varieties at a time that is polynomial in the size of the input and in the value \\(2^{2^{n^C}}d^n\\). Using the results of his previous work [\\textit{A. L. Chistov}, J. Math. Sci., New York 108, 897-933 (2002); translation from Zap. Nauch. Semin. POMI 258, 7-59 (1999; Zbl 1081.14527) and in: Proc. St. Petersburg Math. Soc. vii. Transl., Ser. 2, Am. Math. Soc. 203, 201-231 (2001; Zbl 1086.14511)], the author gives an algorithm for constructing regular sequences and sequences of local parameters in the local ring of a component of dimension \\(n-s\\) of \\(V\\) at a time that is polynomial in the size of the input and in \\(n^{2^{s^C}}d^n\\). In all these results the constants \\(C\\) can be computed explicitly.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1400870$A6CEF211-7111-4D42-8EDF-528031485A67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62f95a52c513afbe27422161bcac35525a3c3fbb","datavalue":{"value":"14E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400870$DDC78C93-DEB7-4FE5-88DA-82F6D55E92C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4548dc3102d989635ebfb79bd39372408ae0fc4a","datavalue":{"value":"57N80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400870$3BE33044-C1DE-4205-856E-64E93988198B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0483f1f08dda98e2cde8f6b99e01d2b3fd8ed748","datavalue":{"value":"14Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400870$035FC894-9614-46ED-8C8C-908D8DF92A0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c0f175f62b7300d6aa25eba375db366253a26c5a","datavalue":{"value":"1964706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400870$89D7BA40-F972-4DA5-B7C6-C4823A94DAB7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90ce8834396be8c86a6b611e1787711b25947e16","datavalue":{"value":"representation of quasiprojective algebraic varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1400870$53339721-57D1-40A4-AF37-34A6E0969D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68cab97c786971a6c4bbebb0f87640943a1641f8","datavalue":{"value":"smooth stratification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1400870$79C3D48E-5F46-42F7-9A94-72B2C78EFBBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba93fd09b2c13660007e6b0c8b093b9ba4279fc7","datavalue":{"value":"smooth cover","type":"string"},"datatype":"string"},"type":"statement","id":"Q1400870$C5267955-8CB0-48A8-84DB-795AED0A4CED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6baf8291f4a193d94bd1974fa5a02872bc8b3635","datavalue":{"value":{"entity-type":"item","numeric-id":677032,"id":"Q677032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400870$AFA99819-E8ED-4A98-AF1E-FF5F54F31F14","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":"Q1400870$E122E35F-47F6-4769-9D5B-2776028100DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99ead518186687e91c7cec0daa02982ad49eb872","datavalue":{"value":"https://doi.org/10.1023/a:1021114713990","type":"string"},"datatype":"url"},"type":"statement","id":"Q1400870$C9F90D6C-32EE-4CE9-A3F7-DE310DC4DB49","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5553688212006657d16cb0977d3a454ab5afecd3","datavalue":{"value":"W59127591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400870$73504007-8B4B-4193-8D15-0AC6C344445A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"335a77ad8d73514b421647afe431d72b91ec2968","datavalue":{"value":{"entity-type":"item","numeric-id":3434689,"id":"Q3434689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a65e083bf327d0d15e539ee7e34fedd7093a349a","datavalue":{"value":{"amount":"+0.847682535648346","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":"Q1400870$A13CA03C-FCA4-4183-9E28-406B4AE8922C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e021bf9125ac0e3ce0650b1d4d8ea531daff295e","datavalue":{"value":{"entity-type":"item","numeric-id":389092,"id":"Q389092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a95871fd9e340201cc8375e1ed71e3022dbb8506","datavalue":{"value":{"amount":"+0.8455246090888977","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":"Q1400870$3693C5DD-7C46-4256-8843-9107A1C0A393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1724e1d9f5f5ab034f708bbd449d917f134a93ed","datavalue":{"value":{"entity-type":"item","numeric-id":5718646,"id":"Q5718646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcff3695852e3b71798752aaae13a2588b9ae730","datavalue":{"value":{"amount":"+0.8123648166656494","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":"Q1400870$6BCE683E-A739-4B20-AFD5-B12A3B53F66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ff88696881154f8bd8e95cd63f454b963cdaa0d","datavalue":{"value":{"entity-type":"item","numeric-id":5959706,"id":"Q5959706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55346273da412415e41f4db43b991a12461229e0","datavalue":{"value":{"amount":"+0.7915676832199097","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":"Q1400870$F5E6728A-DA80-4829-AF6D-33378D985671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d97e97ff1015f5f7d0bf347c092a6b9deaac861","datavalue":{"value":{"entity-type":"item","numeric-id":2764198,"id":"Q2764198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfca487503e32a3d0d51bf526b13c31a9c610b21","datavalue":{"value":{"amount":"+0.7769654989242554","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":"Q1400870$7444F57F-18D4-4F7B-A1B9-D00D7EE76099","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient smooth stratification of an algebraic variety in zero characteristic and its applications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_smooth_stratification_of_an_algebraic_variety_in_zero_characteristic_and_its_applications"}}}}}