{"entities":{"Q6952886":{"pageid":21220851,"ns":120,"title":"Item:Q6952886","lastrevid":101366150,"modified":"2026-06-06T00:58:38Z","type":"item","id":"Q6952886","labels":{"en":{"language":"en","value":"Log concavity of the Grothendieck class of \\(\\overline{\\mathcal{M}}_{0,n}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8069907"}},"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":"Q6952886$2BDD277B-74E7-47A7-A0D0-710B7E346EF2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"61e376c688b054c31a65954b28351827699d01f1","datavalue":{"value":{"text":"Log concavity of the Grothendieck class of \\(\\overline{\\mathcal{M}}_{0,n}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6952886$488736CC-1B95-456F-B106-1C553179A812","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ca583d1cda06051b23015b36ba6a9cc65350607","datavalue":{"value":"10.1007/S10801-025-01428-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6952886$86B68F97-D018-4F12-B819-6E072F28EDA5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe824a088e8913582e9daa74d16a7df94624ef28","datavalue":{"value":{"entity-type":"item","numeric-id":227445,"id":"Q227445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952886$B1044852-12CD-47F5-B046-25575467061E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e20579dccfc7f4e60348363458096d60fa5e435","datavalue":{"value":{"entity-type":"item","numeric-id":5214515,"id":"Q5214515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952886$036FB682-3E62-47C5-A3B9-519B009B442E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df80106bd2147accc7809253624978126fbf9930","datavalue":{"value":{"entity-type":"item","numeric-id":196374,"id":"Q196374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952886$F831284A-5224-40E7-B9CD-B648A1A5848D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b5e010d4525286f928f56a14a06a3a3ef373d646","datavalue":{"value":{"entity-type":"item","numeric-id":162910,"id":"Q162910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952886$56A75ADC-A04B-4600-A337-98AB42C86C87","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf8d2816df86fd5131632e109bed1415b4cf2ad1","datavalue":{"value":{"time":"+2025-07-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6952886$E71B6919-AF1C-4187-BAF7-613153BF33DE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b090a7d08e19c2c94de5ac786dd9d76b946d9c21","datavalue":{"value":"In this paper, the authors study the moduli space \\(\\overline{\\mathcal{M}}_{0,n}\\) of stable genus-\\(0\\) curves with \\(n\\) marked points, for \\(n \\ge 3\\). Their main result concerns an asymptotic log-concavity property for the Poincar\u00e9 polynomials of these spaces. They also observe that these polynomials are \\(\\gamma\\)-positive. Taken together, these results provide evidence for a broader conjecture claiming that the Poincar\u00e9 polynomials of \\(\\overline{\\mathcal{M}}_{0,n}\\) have only real zeros.\\N\\NMore preciesly, the authors work with the class of \\(\\overline{\\mathcal{M}}_{0,n}\\) in the Grothendieck group of varieties \\(K(\\mathrm{Var}_{\\mathbb{C}})\\). It is known that the class of \\(\\overline{\\mathcal{M}}_{0,n}\\) can be expressed as a polynomial with integer coefficients in the Lefschetz-Tate class \\(\\mathbb{L} = [\\mathbb{A}^1]\\), such a class is denoted by\\N\\[\\N[\\overline{\\mathcal{M}}_{0,n}] = a_{n,0} + a_{n,1}\\mathbb{L} + \\cdots + a_{n,n-3}\\mathbb{L}^{\\,n-3}.\\N\\]\\NThe Poincar\u00e9 polynomial is obtained by specializing \\(\\mathbb{L}\\) to \\(t^2\\). Notice that \\(\\mathcal{M}_{0,n}\\) has only even cohomology, and that the integers \\(a_{n,k}\\) may be interpreted as the ranks of the cohomology groups of \\(\\overline{\\mathcal{M}}_{0,n}\\). Log-concavity of the associated polynomial is thus the statement that\\N\\[\\Na_{n,i}^2 \\;\\ge\\; a_{n,i-1}\\,a_{n,i+1} \\qquad\\text{for all } i \\ge 1 \\text{ and all } n \\ge 3.\\N\\]\\NThe stronger notion of ultra-log-concavity requires the inequality\\N\\[\\N\\frac{a_{n,i}}{\\binom{n-3}{i}}^{\\!2} \\;\\ge\\; \\frac{a_{n,i-1}}{\\binom{n-3}{i-1}} \\cdot \\frac{a_{n,i+1}}{\\binom{n-3}{i+1}} \\qquad\\text{for all } i \\ge 1,\\; n \\ge 3.\\N\\]\\NThe main theorem is that the coefficients of the Grothendieck class of \\(\\overline{\\mathcal{M}}_{0,n}\\) -- equivalently, the Betti numbers \\(a_{n,k} = \\mathrm{rk}\\, H^{2k}(\\overline{\\mathcal{M}}_{0,n},\\mathbb{Q})\\) -- satisfy an asymptotic log-concavity property. Precisley, we have:\\N\\N\\textbf{Theorem.} For every \\(i \\ge 1\\) there exists an \\(N\\) such that for all \\(n \\ge N\\),\\N\\[\\N\\bigg(\\frac{a_{n,i}}{\\binom{n-3}{i}}\\bigg)^{\\!2} \\;\\ge\\; \\frac{a_{n,i-1}}{\\binom{n-3}{i-1}} \\cdot \\frac{a_{n,i+1}}{\\binom{n-3}{i+1}}.\\N\\]\\NMoreover, we have that the class \\([\\overline{\\mathcal{M}}_{0,n}]\\) in the Grothendieck group \\(K(\\mathrm{Var}_k)\\), for any algebraically closed field \\(k\\), is determined by the following recursive formula. We have \\([\\overline{\\mathcal{M}}_{0,3}] = 1\\). For \\(n > 3\\), the classes satisfy\\N\\[\\N[\\overline{\\mathcal{M}}_{0,n}] = [\\overline{\\mathcal{M}}_{0,n-1}](1 + \\mathbb{L}) + \\mathbb{L}\\sum_{i=3}^{n-2} \\binom{n-2}{\\,i-1\\,}\\,[\\overline{\\mathcal{M}}_{0,i}]\\,[\\overline{\\mathcal{M}}_{0,n+1-i}].\\N\\]\\NRecall that a univariate polynomial\\N\\[\\Nf(t) = \\sum_i a_i t^i\\N\\]\\Nis called \\textit{symmetric} with \\textit{center} \\(d/2\\) if \\(a_{d-i} = a_i\\) for all \\(i\\). Any such polynomial \\(f(t) \\in \\mathbb{Z}[t]\\) with center \\(d/2\\) can be uniquely expanded in the form\\N\\[\\Nf(t) = \\sum_{i=0}^{\\lfloor d/2 \\rfloor} \\gamma_i \\, t^i (t+1)^{\\,d - 2i},\\N\\]\\Nfor uniquely determined integers \\(\\gamma_i\\). A symmetric polynomial \\(f\\) is said to be \\textit{\\(\\gamma\\)-positive} if all of the coefficients \\(\\gamma_i\\) are nonnegative.\\N\\NOur interest in this notion stems from the following well-known fact that every real-rooted symmetric polynomial with nonnegative coefficients is \\(\\gamma\\)-positive.\\N\\NThus, \\(\\gamma\\)-positivity provides indirect evidence for real-rootedness.\\N\\N\\textbf{Theorem.} For every \\(n \\ge 3\\), the polynomial \\(P_n(t) \\in \\mathbb{Z}[t]\\) defined by\\N\\[\\N[\\overline{\\mathcal{M}}_{0,n}] = P_n(\\mathbb{L})\\N\\]\\Nis \\(\\gamma\\)-positive.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6952886$2C796703-548D-4D77-BECF-6332B4DD7923","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"db681c51a362c283bff5027364240993556533c7","datavalue":{"value":{"entity-type":"item","numeric-id":1991084,"id":"Q1991084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952886$6A1D9E70-4C29-4634-B7CD-39A1562426D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"65e0d1a695ac653af4127479cfdcfa876a4303fc","datavalue":{"value":"14C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6952886$266AFB87-963C-421F-B8E6-50D81BEA7BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4033640730fa5f082c04324ad7ab004dff8623e9","datavalue":{"value":"14H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6952886$51297C42-61FD-482F-A7ED-8089E30BE268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"881efd6392d31077edb4d91205fe9eab5031cec6","datavalue":{"value":"05E14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6952886$1264B304-FC01-40C4-BE70-FB727DF628FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c0637e7b050f6adf2c874d977065bc44a0cb21a","datavalue":{"value":"05E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6952886$F562D64E-5BAE-4D40-AEB7-67C9A1EEC76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9a4e87e0b277ee660224a228349fc9d12e578db","datavalue":{"value":"52B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6952886$4F116AE5-40CB-4441-AB34-CD2398CEBC92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37db7531ca8d2913fc65ea92db3a9881110a0b0a","datavalue":{"value":"8069907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6952886$DF70A6E3-3690-4FC3-92CA-2747018F2447","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9a070a4cb5309949da6b9339fd97f0f641614ba","datavalue":{"value":"log concavity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6952886$4018B5B0-E86E-46EE-868B-243DB17A0AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ad8616749b0ec0ef9f0ed2397224ba3f85b0219","datavalue":{"value":"Betti numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q6952886$1A39BAED-0ACD-48C1-BBEB-046E1144BFD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0e5961416342d0ce5291fd38c8d47ab9cbc7445","datavalue":{"value":"moduli space of curves","type":"string"},"datatype":"string"},"type":"statement","id":"Q6952886$960CABB2-06CE-4473-8F05-2A7097A5887E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57b2bbdf21980c13ffe8b1e269eb75e860cbc948","datavalue":{"value":"Grothendieck class","type":"string"},"datatype":"string"},"type":"statement","id":"Q6952886$E6CBA573-7712-43FB-B716-360C76147D6F","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":"Q6952886$DC72A14B-5F16-41C8-ACB6-F6AC5372119F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0fba2c03a42bc9d46e38e31ecde8819073ffd40","datavalue":{"value":{"entity-type":"item","numeric-id":1993954,"id":"Q1993954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952886$4592B3B5-AF7F-44EA-8AD3-058C635C3452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7d76e062c66a76e8a4d3a1bc30f57ffc32f39a3","datavalue":{"value":{"entity-type":"item","numeric-id":1815863,"id":"Q1815863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952886$2F00C406-3A99-4531-BC36-A0E7E3570B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4ec1f38d759b4298c33533dd7a10e49759389f","datavalue":{"value":{"entity-type":"item","numeric-id":3632497,"id":"Q3632497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952886$D7227466-FA79-4B78-BF82-5561F2715384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aefa12ed76554f98dfa199b85d45f99b558cfae","datavalue":{"value":{"entity-type":"item","numeric-id":1319115,"id":"Q1319115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952886$516875A5-F735-4B5F-9D1E-D3EE6914A8DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d4e40c3685c90fb314a8d7a4ec37149effecc6c","datavalue":{"value":{"entity-type":"item","numeric-id":6419761,"id":"Q6419761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952886$2517BCC5-2FDC-4791-85FE-CD5B8F29914D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1c38799423c76ff5818d4cf216485be5662302a","datavalue":{"value":{"entity-type":"item","numeric-id":6154926,"id":"Q6154926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952886$7BB967A0-D987-4FE1-AACC-5C0CAA0EDB9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f1ce2386ce2186e921a1da36440821bbd6b532","datavalue":{"value":{"entity-type":"item","numeric-id":6618671,"id":"Q6618671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952886$92AA4FFB-906E-48B9-A794-95F21E709408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa3688e92ac2e8eb32cbac3de81b2b904663212f","datavalue":{"value":{"entity-type":"item","numeric-id":4858411,"id":"Q4858411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952886$B1B0BD02-63BF-4593-893E-E952467418ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15847763b6e4b47370af55399a1ac267c55867d2","datavalue":{"value":{"entity-type":"item","numeric-id":4006664,"id":"Q4006664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952886$923522FD-0E47-4C24-8E26-13B95BAA9C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeb34755c91af41834198446724925e5854c6095","datavalue":{"value":{"entity-type":"item","numeric-id":1045750,"id":"Q1045750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952886$DD7D0E51-A981-434B-BE93-34625853AEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"334317fcd8111977d9deb9d595d78ab68854d5cc","datavalue":{"value":{"entity-type":"item","numeric-id":4858417,"id":"Q4858417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952886$AFBB2CB3-3353-4B34-BC4C-2178A6C83D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5f280049f1211b58a750b7f57b166fea3006d5a","datavalue":{"value":{"entity-type":"item","numeric-id":341052,"id":"Q341052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952886$6BEFEF9B-5B06-4799-8AB4-3204AF96499E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aba2b19d961d98dbe79e9078771e9c3df56ba188","datavalue":{"value":{"entity-type":"item","numeric-id":5886590,"id":"Q5886590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952886$DAE69DBD-EBA0-4508-A4E1-52A7352A34EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc4757adc755efbc67b52b860aea15488695b1d7","datavalue":{"value":{"entity-type":"item","numeric-id":4294628,"id":"Q4294628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6952886$5F0A5A38-E9A6-49A0-840E-D0F35E4982E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6952886","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6952886"}}}}}