{"entities":{"Q6899274":{"pageid":20893978,"ns":120,"title":"Item:Q6899274","lastrevid":75507325,"modified":"2026-04-19T07:33:40Z","type":"item","id":"Q6899274","labels":{"en":{"language":"en","value":"Wondertopes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8122439"}},"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":"Q6899274$073043A8-FDE1-4A4F-92C1-807988E4C276","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b57de8d4c6cf9eef8d5b27ce9cb4249ff25dae22","datavalue":{"value":{"text":"Wondertopes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6899274$D0B6924D-37EE-45DF-A08A-1427C9B82E46","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a266fcf654c76bcbcbf0f92d1560ae72c726f9cd","datavalue":{"value":"10.1016/J.AIM.2025.110516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6899274$9A808D0B-BF3A-4FB1-B4EE-25A654B1FC4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"709c28b282a3c7a8cb6e7cd0cff053684b9c2646","datavalue":{"value":{"entity-type":"item","numeric-id":2078394,"id":"Q2078394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6899274$5FC11BF5-C535-4E54-91A7-E56956C39060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f980bb59e48d3163bb9c97e6d598d618116618e3","datavalue":{"value":{"entity-type":"item","numeric-id":2010630,"id":"Q2010630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6899274$22ED7F34-7DBC-48B4-B865-7C2B8D01998A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6ed1b30776ff95bffd4be54d4d56c7a6e7871a7","datavalue":{"value":{"entity-type":"item","numeric-id":2065754,"id":"Q2065754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6899274$22F9DCAE-B88D-48AD-843B-377DF655F757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c85f630b85b69d00ffafb7771c8903c329da0e14","datavalue":{"value":{"entity-type":"item","numeric-id":2114808,"id":"Q2114808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6899274$60D615DA-250B-4B81-8A09-C30911C88B42","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6899274$9C6C88E8-EE4B-46F0-AAA0-4B9ED198F43D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f652ec88ec3e1fe6ec4cd63a853e8f8dcb5fd2bd","datavalue":{"value":{"time":"+2025-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6899274$F1D42E3A-5502-46E6-A106-41A22BE2FC19","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"72b71be08ba928d201342acc833944ec643fe500","datavalue":{"value":"Positive geometries, introduced in [\\textit{N. Arkani-Hamed} et al., J. High Energy Phys. 2017, No. 11, Paper No. 39, 124 p. (2017; Zbl 1383.81273)], are pairs \\((X, X_{\\geq 0})\\) of a complex projective variety and a semialgebraic subset of its real points, equipped with a unique meromorphic canonical form determined recursively by residues along boundary components. Since a positive geometry \\((X, X_{\\geq 0})\\) naturally defines a pair of a variety and a divisor, it is natural to ask whether it admits a log resolution to another positive geometry \\((\\widetilde{X}, \\widetilde{X}_{\\geq 0})\\) where \\(\\widetilde{X}\\) is smooth and the boundary is a simple normal crossing divisor. This paper answers the question affirmatively for the prototypical case of a polytope \\(\\mathcal{P}\\) in projective space \\(\\mathbb{P}V\\) by introducing a new family of positive geometries called \\textit{wondertopes}.\\N\\NThe construction proceeds as follows. Given a polytope \\(\\mathcal{P} \\subset \\mathbb{P}V\\) and a building set \\(\\mathcal{B}\\) of linear subspaces satisfying three conditions -- (1) each \\(F \\in \\mathcal{B}\\) meets \\(\\mathcal{P}\\) in a face, (2) \\(\\mathcal{B}\\) contains all facet hyperplanes, and (3) \\(\\mathcal{B}\\) is a building set in the sense of De Concini-Procesi -- the authors form the wonderful compactification \\(X_{\\mathcal{B}}\\) by sequentially blowing up the elements of \\(\\mathcal{B}\\), and define the wondertope \\(\\widetilde{\\mathcal{P}}_{\\mathcal{B}}\\) as the Euclidean closure of the preimage of the interior of \\(\\mathcal{P}\\). The main result (Theorem 1.4) states that \\((X_{\\mathcal{B}}, \\widetilde{\\mathcal{P}}_{\\mathcal{B}})\\) is a positive geometry whose canonical form equals the pullback \\(\\pi_{\\mathcal{B}}^{*}\\Omega(\\mathbb{P}V, \\mathcal{P})\\). Since the boundary of \\(X_{\\mathcal{B}}\\) is simple normal crossing by \\textit{C. De Concini} and \\textit{C. Procesi} [Sel. Math., New Ser. 1, No. 3, 459--494 (1995; Zbl 0842.14038)], this provides the desired log resolution. The proof first establishes a ``fundamental computation'' for blowing up a single face (Theorem 3.1) and then proceeds by induction on the building set. A notable corollary recovers the result of \\textit{N. Arkani-Hamed} et al. [SIGMA, Symmetry Integrability Geom. Methods Appl. 17, Paper 092, 41 p. (2021; Zbl 1484.13049)] that \\((\\overline{M}_{0,n+1}, (\\overline{M}_{0,n+1})_{\\geq 0})\\) is a positive geometry with the Parke-Taylor form, by specializing to the braid arrangement with an appropriate building set. Several non-examples demonstrate that each of the three conditions on \\(\\mathcal{B}\\) is necessary. In an appendix, the authors develop combinatorial analogues of the geometric constructions in the language of matroids and prove a product decomposition for nested set complexes of building sets (Theorem 1.7).","type":"string"},"datatype":"string"},"type":"statement","id":"Q6899274$BBC1ADB4-6314-4C84-BBB6-BC5206BF9425","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"799ff621572821e80e8d94fe3dc5637ecb2ec64b","datavalue":{"value":{"entity-type":"item","numeric-id":2065756,"id":"Q2065756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6899274$A0162F3A-F094-4CEE-9A32-7A962A5A408C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ad8704930b8a8678e1f6549061eeb69a32d67d8","datavalue":{"value":"14N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6899274$77693B63-1DF5-484E-95AC-F043880AFF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"78931806833c54190437f3675cf624ba3d256107","datavalue":{"value":"52B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6899274$8BFE1584-CA68-42FD-8120-54346DBA1B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4033640730fa5f082c04324ad7ab004dff8623e9","datavalue":{"value":"14H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6899274$9CDF3F8F-B712-4B96-B52B-43005AB1B3C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"697267317c84a84285370f94e66acbfa07bd71c3","datavalue":{"value":"14E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6899274$2FB29DAA-7822-47F2-9D32-9206FEDD6EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a06727f99c93aa58e84e3d476d4f6a1bed523458","datavalue":{"value":"05B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6899274$8FF4A917-B788-4A8F-9E34-1646409D42D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2cf0b27c0093cd75cf7109888460359b70d04056","datavalue":{"value":"8122439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6899274$A00783DC-7BC8-4E83-A96B-A3A556A00CBF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"732cd16043805140e5a9132008c9bd530e39dbc8","datavalue":{"value":"positive geometries","type":"string"},"datatype":"string"},"type":"statement","id":"Q6899274$0FCD0AC3-8D66-4853-866F-F6549BBC05D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66463331761864a8013c201c1b0981574474a667","datavalue":{"value":"wondertopes","type":"string"},"datatype":"string"},"type":"statement","id":"Q6899274$072B370F-3384-4CE7-82E6-B6CB52B4AAB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f97e7b57d2ed3e1bed983f4af32b2076f198c6e","datavalue":{"value":"wonderful compactifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q6899274$405D9101-43EE-446A-8C97-6D4715D0FD90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfc4c58fcae078fb7d481ebd514895ae213349e7","datavalue":{"value":"hyperplane arrangements","type":"string"},"datatype":"string"},"type":"statement","id":"Q6899274$FEB0CFB0-16CB-4AD4-9165-CE8C31992969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9226dd5fee65096150709adb73ea9c98887b8d1d","datavalue":{"value":"building sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q6899274$6658F7DC-2904-4B58-8D76-D268A264250F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0b787d5b044ae6c4433243ca2a88a29a0a5d456","datavalue":{"value":"polytopes","type":"string"},"datatype":"string"},"type":"statement","id":"Q6899274$74715D64-BD4A-4037-BED4-FEE97A635384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdb9f1774a388f09cc9e3abb778085ed34970c8b","datavalue":{"value":"canonical forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6899274$6C830983-3B4B-4FFD-B586-38EF17C9B93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3008e6f4a10fe62ff1d2f1d5a6a8fb69af394fa4","datavalue":{"value":"log resolution of singularities","type":"string"},"datatype":"string"},"type":"statement","id":"Q6899274$0C157382-168A-4D53-8423-D62BC67C2BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b08cf4d90b6483f40c9c6b6a85c5bd99b6e85314","datavalue":{"value":"moduli space of pointed stable rational curves","type":"string"},"datatype":"string"},"type":"statement","id":"Q6899274$78939ECC-B78D-4ABE-8B49-B467BC30E6EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83abfd14adc2e72db514fd5a0ace9c1fb6c0080e","datavalue":{"value":"nested set complexes","type":"string"},"datatype":"string"},"type":"statement","id":"Q6899274$99637360-40B1-4152-B84F-8164AB201EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a39ec4307b26d786312cb390856b9060d3bf22c8","datavalue":{"value":"matroids","type":"string"},"datatype":"string"},"type":"statement","id":"Q6899274$41C3A083-B886-4E23-B973-AF0EE2D70CF9","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":"Q6899274$4439CE6E-3A45-4548-9212-5EDD0DE2F3C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Wondertopes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Wondertopes"}}}}}