{"entities":{"Q1191444":{"pageid":1202193,"ns":120,"title":"Item:Q1191444","lastrevid":66812544,"modified":"2026-04-12T13:02:10Z","type":"item","id":"Q1191444","labels":{"en":{"language":"en","value":"The theorem of Mather on generic projections in the setting of algebraic geometry"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 60067"}},"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":"Q1191444$1EE19B12-640E-4B90-8B4C-38E55DA6D02C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f23de20bcba12519577f7376a80e4327acd1f9c","datavalue":{"value":{"text":"The theorem of Mather on generic projections in the setting of algebraic geometry","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1191444$C5F80C56-829B-4C5A-BD20-DD9E2B26B962","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"edb62c205dfe042ca17e52ebcf395b207efdc882","datavalue":{"value":"0794.14018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1191444$72175B90-1EAB-47B1-8102-01354933D582","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0aa3560af79044db5f5c4b99848e6feefe210296","datavalue":{"value":"10.1007/BF02567678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1191444$5D3CF8ED-0FE7-4EF5-9779-FB9422028DBC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f1242881920c1b8b836751e6642d8f2c1ebbbd3","datavalue":{"value":{"entity-type":"item","numeric-id":412017,"id":"Q412017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1191444$48F055E5-E881-4B7F-B89D-0ABCE8C7CFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7287e3f5d4959945caf920eb68f67299b4bdc014","datavalue":{"value":{"entity-type":"item","numeric-id":246426,"id":"Q246426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1191444$ECF4ED40-411C-4556-A2A6-7A1BC33CF6EB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ccf4732529e8c1929b9b7c946ba3218942108f00","datavalue":{"value":{"entity-type":"item","numeric-id":167493,"id":"Q167493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1191444$8169CC73-234A-4B55-B531-61F9EE46D219","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1191444$CD047ACA-CE91-4064-9BE5-416EB46BACF5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae22ed704df4a3f56bdc188548a22cf46f5d23c6","datavalue":{"value":"https://eudml.org/doc/155703","type":"string"},"datatype":"url"},"type":"statement","id":"Q1191444$4B03A6E0-981C-4F6C-885A-F4608062215A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7125faed8029ab08627587447cfe7badeac6897d","datavalue":{"value":"A theorem by \\textit{J. Mather} [Ann. Math., II. Ser. 98, 226-245 (1973; Zbl 0267.58005)] on generic projections has been applied by the authors of this note in the work around the Hartshorne conjecture about the projective varieties of small codimension. Mather's proof requires a careful local study of the Thom-Boardman singularities in the jet space and it is not easy to read for a non-specialist in the field. C. Peskine encouraged us to write down a self-contained account of Mather's proof in the setting of (complex) algebraic geometry and this is exactly what we try to do in this note:   Let \\(X\\) be a smooth subvariety of the complex projective space \\(\\mathbb{P}^ n\\) of codimension \\(d\\). Let \\(T\\) be any linear subspace of \\(\\mathbb{P}^ n\\) of dimension \\(t\\) such that \\(T \\cap X=\\emptyset\\) (so \\(t<d)\\). For any \\(i_ 1 \\leq t+1\\) let \\(X_{i_ 1}=\\{x \\in X | \\dim [T_ x X_ 1 \\cap T]=i_ 1-1\\}\\). When \\(X_{i_ 1}\\) is smooth for any \\(i_ 2 \\leq i_ 1\\) define \\(X_{i_ 2,i_ 2}=\\{x \\in X_{i_ 1} | \\dim [T_ xX_{i_ 1} \\cap T]=i_ 2-1\\}\\) and so on, for \\(i_ 1\\geq i_ 2 \\geq \\cdots \\geq i_ k\\) define (when possible) \\(X_{i_ 1, \\dots, i_ k}\\). For \\(T\\) in a Zariski open set of the grassmannian \\(\\text{Gr} (\\mathbb{P}^ t, \\mathbb{P}^ n)\\) we have that each \\(X_{i_ 1, \\dots, i_ k}\\) is smooth (and so the definitions above are possible) until (increasing \\(k)\\) it becomes empty and its codimension in \\(X_ 1\\) is equal to the number \\(\\nu_{i_ 1, \\dots, i_ k,0, \\dots,0}\\) defined below.   Our feeling is that Mather's theorem is promising for further applications in algebraic geometry.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1191444$340F31AA-45B8-478B-94E8-C6327A6F5BF4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"93293bd859892a483ca84cc56251afdc241ec4e7","datavalue":{"value":"14N05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1191444$D09BF45E-4A09-499E-83A4-92CAB7F2036B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5e94aafaa2f33801917e46c8c822f847901de3e7","datavalue":{"value":"14M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1191444$7F6B3019-B630-4E30-AC7B-3EA79A1173BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8dcec71609b5041a037789acbe007b07edbc7661","datavalue":{"value":"60067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1191444$4BAFE26A-A2DA-4C3E-9B6E-FEA1736C069A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a25ba77d510374f1f467312f31b786c82feb449c","datavalue":{"value":"generic projections","type":"string"},"datatype":"string"},"type":"statement","id":"Q1191444$BA76D243-6D9B-45F2-9F1D-9AA69C84D7DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efec6adb0c85b2790fde86d57b64232f9ea01d1e","datavalue":{"value":"Zariski open set of the grassmannian","type":"string"},"datatype":"string"},"type":"statement","id":"Q1191444$35BC7FD3-EBF5-4E5B-A4ED-3A4C38B8E086","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":"Q1191444$1C962CE4-BCD6-4FB4-BB07-B471FE40E6BE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b89f4287dbb4901cc6ba9064f810b81f5cb4f38","datavalue":{"value":{"entity-type":"item","numeric-id":5563439,"id":"Q5563439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1191444$3095CB53-6891-45DD-AD95-E86FBD5873C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8fab8215ab3cc1b2f9c4d3c494231be04426f4","datavalue":{"value":{"entity-type":"item","numeric-id":3476958,"id":"Q3476958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1191444$ACDD1176-7617-4DE2-A43E-036823794EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c8b1a8ff3dd83cab1ee7244acf8a866018da217","datavalue":{"value":{"entity-type":"item","numeric-id":2530188,"id":"Q2530188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1191444$42794EFD-88FE-4507-BAC3-3D6317DF4580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ab99172c1dd9c589bbef98770dc6c8190d51cee","datavalue":{"value":{"entity-type":"item","numeric-id":4046802,"id":"Q4046802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1191444$5EB532A9-3124-4865-A740-50B4EB1DDD76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83f629c180f6436ab6ea9a75b06b545548804bab","datavalue":{"value":{"entity-type":"item","numeric-id":4143433,"id":"Q4143433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1191444$9C8E3466-2C1F-4A7B-A91F-E3DE6B4A62F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ac360bce9e660b66eef73e2bd1f603131223d92","datavalue":{"value":{"entity-type":"item","numeric-id":5946240,"id":"Q5946240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ad94e12b8cca8832f4db30c90592bae0358cc43","datavalue":{"value":{"amount":"+0.900967299938202","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":"Q1191444$AD507E05-61E7-4EB5-9761-EBC3D97C040C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91ada0373e4c6f03463088bdd3a31871836eb56f","datavalue":{"value":{"entity-type":"item","numeric-id":3089750,"id":"Q3089750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49af24cecdee518213e8bca7adbf55fb6fa74836","datavalue":{"value":{"amount":"+0.9009672403335572","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":"Q1191444$29B36C8F-6BE3-4DD8-838B-D261BEB2469B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7b320f8ad68d854b06866b9122ab0d1b1d312d6","datavalue":{"value":{"entity-type":"item","numeric-id":2709023,"id":"Q2709023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"944e6a001a6e483bc2c7b170133ee7aaf25ae5a2","datavalue":{"value":{"amount":"+0.7678689956665039","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":"Q1191444$7682F501-E2DB-4602-BAC5-00F0DAD3131F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d6979cea6a6831f6840463ddfb3a961700f6f6c","datavalue":{"value":{"entity-type":"item","numeric-id":2342123,"id":"Q2342123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcb8a7f684e9114eedca20e7b9aad2ee64566a08","datavalue":{"value":{"amount":"+0.7605416774749756","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":"Q1191444$02AF601E-E9BD-4706-B27F-F487710AC4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"575d4536824b16fcea62fc0022ec1cdd3cae7c97","datavalue":{"value":{"entity-type":"item","numeric-id":4797999,"id":"Q4797999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35d81715bcd17b0a0dfa5340cdb913b094efdf7a","datavalue":{"value":{"amount":"+0.7521060109138489","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":"Q1191444$DC7DF6F9-A4E3-409E-BBD1-D343767BE6FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The theorem of Mather on generic projections in the setting of algebraic geometry","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_theorem_of_Mather_on_generic_projections_in_the_setting_of_algebraic_geometry"}}}}}