{"entities":{"Q2280565":{"pageid":2291308,"ns":120,"title":"Item:Q2280565","lastrevid":71749185,"modified":"2026-04-14T00:17:29Z","type":"item","id":"Q2280565","labels":{"en":{"language":"en","value":"Degree formulas for the Euler characteristic of semialgebraic sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7145325"}},"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":"Q2280565$39228E7D-4B79-47F4-AC0F-A48A241B526F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a454a1e175fced99102d754ddea27b6b9273d63e","datavalue":{"value":{"text":"Degree formulas for the Euler characteristic of semialgebraic sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2280565$04D3E55E-EF64-42D9-B3B0-7AD6BF459B41","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"daa5dd62079a65d3b3dd6ba072fd303d451ad9d1","datavalue":{"value":"1430.14108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280565$7DE16FE1-3A84-40EE-9AB1-A4205D9CD5C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e685890b1b6e6eba2dedb16171cd8c5886fda7c","datavalue":{"value":{"entity-type":"item","numeric-id":2280564,"id":"Q2280564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280565$7788E92A-776F-44CA-93F3-4D87C29FBB99","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8906603afbe7d7f343c7af08e15171ad84bcd46b","datavalue":{"value":{"entity-type":"item","numeric-id":189797,"id":"Q189797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280565$F3E933A2-33C7-43C2-87F9-2DC37250517F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f6772b50db402e319131e91836e24f594dd3ca2","datavalue":{"value":{"time":"+2019-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2280565$AF18C38F-9143-4575-BE0E-75B8BDF2BD43","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"001ddc89f0562489c2837fa0a95b7ffa1eed3b04","datavalue":{"value":"https://projecteuclid.org/euclid.hokmj/1573722013","type":"string"},"datatype":"url"},"type":"statement","id":"Q2280565$6972D3AB-2617-44FA-961E-5C37884E2076","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"21581c14067b73c2e0f72449584e7c5816862680","datavalue":{"value":"Let \\(F = (F_1, \\ldots, F_k) \\colon \\mathbb{R}^n \\to \\mathbb{R}^k\\) and \\(G = (G_1, \\ldots, G_l) \\colon \\mathbb{R}^n \\to \\mathbb{R}^l\\) be polynomial maps with \\(k, l \\ge 1.\\) Consider the semialgebraic sets: \\[W_G(\\epsilon) := \\{x \\in \\mathbb{R}^n  : F_i(x) = 0, i = 1, \\ldots, k\\  \\text{ and } \\ (-1)^{\\epsilon_j} G_j(x) \\ge 0, j = 1, \\ldots, l\\},\\] where \\(\\epsilon := (\\epsilon_1, \\ldots, \\epsilon_l) \\in \\{0, 1\\}^l.\\) Define the polynomial map \\(L \\colon \\mathbb{R}^n \\times \\mathbb{R}^k \\times \\mathbb{R}^l \\to \\mathbb{R}^n \\times \\mathbb{R}^k \\times \\mathbb{R}^l\\) by \\[L(x, \\lambda, \\mu) := \\left(x + \\sum_{i = 1}^k \\lambda_i \\nabla F_i(x) + \\sum_{j = 1}^l \\mu_j \\nabla  G_j(x), F(x), \\mu_1 G_1(x), \\ldots, \\mu_l G_l (x) \\right).\\] Using the Morse theory for manifolds with corners, the author shows, under a transversality condition, that  \\[\\sum_{\\epsilon \\in \\{0, 1\\}^l} (-1)^{|\\epsilon|} \\chi(W_G(\\epsilon)) = (-1)^k \\deg_\\infty L,\\] where \\(|\\epsilon| := \\sum_{j = 1}^l \\epsilon_j,\\) \\(\\chi(\\cdot)\\) stands for the Euler characteristic and \\(\\deg_\\infty L\\) stands for the topological degree at infinity of \\(L.\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2280565$02E50F47-723C-43E2-95A7-6C8626B05E5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"94a258fd6e09d2d582bb6c52c7992ac55d0da749","datavalue":{"value":"14P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280565$4295C69A-AF91-4370-B5AB-68B9D2CEF8B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b94ccc65faebb9e970001fc23c4942a4e436a150","datavalue":{"value":"14P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280565$88D9D170-F047-4966-A109-A31D2E7A4DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5314b52cf3ee2a006be59461637b7068da250c40","datavalue":{"value":"58K05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280565$2AE3B660-5B3A-4813-95D0-B6D4DE8B36A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b3d300056395cca94acad95dbdb40b7480481c5","datavalue":{"value":"7145325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280565$661C459E-A4CB-44FC-90FB-741A1D1111F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4a1b25e19e4c2b31d326f7e581c3877cba9b881","datavalue":{"value":"Morse theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2280565$C3F709BC-7C21-45AF-8ABE-B284E48EA026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d93adf81a1e8da7f3bb77ce4a3b5dc075176ca85","datavalue":{"value":"manifold with corners","type":"string"},"datatype":"string"},"type":"statement","id":"Q2280565$E163179E-B680-43FA-817D-3F516CD152E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae6b73647501cddc60bea81c63e58401d0164fd","datavalue":{"value":"Euler characteristic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2280565$03D408EA-5A91-4A13-85C3-6CD0E182FADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a59ac83c831eff90a06ab9988f15f2a7bb6e16c","datavalue":{"value":"semialgebraic sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2280565$AE9F8F03-1BE4-4CD9-9922-95D1A49A3BE0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1f39adb70124d7bb73cf5e299ad328aca2e62039","datavalue":{"value":{"entity-type":"item","numeric-id":289118,"id":"Q289118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280565$F82DD324-3AAB-40DC-8884-ACBC88F8D22B","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":"Q2280565$1AC460FD-8377-4D6C-B4F1-B3BA907B25A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e64e566f8f27e8e26a910f77eab0528094e8ad6","datavalue":{"value":"W2986966861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280565$96A5E567-FCB6-45AC-98D7-24C64DD14111","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"08de04afe358cc5b9f8aad7052388f38d74fce86","datavalue":{"value":"10.14492/HOKMJ/1573722013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280565$5B6F6506-0A4E-410E-B17F-A5D8DD7D9505","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"837f66d6778bdafb05a5ea335a88a8d5dfa806f3","datavalue":{"value":{"entity-type":"item","numeric-id":1295780,"id":"Q1295780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8f1e8cbffb906d019c0f9aaff0958456e3b694f","datavalue":{"value":{"amount":"+0.8634244203567505","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":"Q2280565$0CE4A220-9D70-4780-962B-A49254FE64AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4729c3ef46d1058c69bf3cf0d1e7796b1a53546","datavalue":{"value":{"entity-type":"item","numeric-id":2439402,"id":"Q2439402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69bfa637ec4947e1bd7b13c5d7c67d3ff8d729c3","datavalue":{"value":{"amount":"+0.8480260968208313","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":"Q2280565$4C7E9599-59DE-4F14-A740-2B5902629D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eee1a6b026cc6e68feb093aa04dfdc587c1c9078","datavalue":{"value":{"entity-type":"item","numeric-id":5949001,"id":"Q5949001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db68ea953d0a075a3606eff9eeca404105ffa8b8","datavalue":{"value":{"amount":"+0.8429476618766785","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":"Q2280565$FF1185B9-99B9-435B-BFC9-293BF315495F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd0ce5b6404ba85be7f4f365916fa8b39b8bc434","datavalue":{"value":{"entity-type":"item","numeric-id":4462165,"id":"Q4462165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d16e99743d55d540dbe57b868f0727dae216299c","datavalue":{"value":{"amount":"+0.8281626105308533","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":"Q2280565$C94744B8-CD22-48B6-A98B-5EDBA1CFE41B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffdf27cde6b0189f7a2bf38a19b5e5b21e69013d","datavalue":{"value":{"entity-type":"item","numeric-id":3031087,"id":"Q3031087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2759c8ef624831f2299b75636dad810734e203fe","datavalue":{"value":{"amount":"+0.822012186050415","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":"Q2280565$7073F432-A99F-40D1-946C-F0C69BB46478","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Degree formulas for the Euler characteristic of semialgebraic sets","badges":[]}}}}}