Skip to main content
8 events
when toggle format what by license comment
Mar 3 at 21:25 answer added Dan Petersen timeline score: 4
Mar 3 at 15:07 comment added Leo Herr Yes, Kock and Vainsencher Remark 1.4.3 say it's not even the blowup at the loci where the sections agree (which is not smooth). I haven't figured out precisely how to state it cleanly yet. Certainly M0n is not toric, but L_n is.
Mar 2 at 21:09 comment added Jason Starr Actually it is more complicated than the blowup of the diagonal. You need to blow up some additional loci related to the other marked point as well.
Mar 2 at 20:49 comment added Jason Starr Hello Leo. Your coauthor is correct. Also, definitely $\overline{M}_{0,n}$ is not toric. In fact, it is not even a Mori dream space, I.e., the Cox ring is not finitely generated.
Mar 2 at 16:53 comment added Tom Copeland Related to mathoverflow.net/questions/181284/… .
Mar 2 at 7:09 comment added Tom Copeland Multiplicative inversion (MI) is related to the set of refined f-polynomials of the permutahedra $[P]$ of OEIS A133314, refined A019538; and the set $[L]$ of compositional inversion (CI) polynomials of Lagrange of A134685, refined A134991, is related to $\bar M_{0, n} $. The refined h-polynomials of the permutahedra are the refined Eulerian polynomials of $[E]$ of A145271, refined A008292. CI and MI of e.g.f.s are related via an iterated Lie derivative / vector and by the polynomial-for-indeterminate substitutions $[L] = [E][P] $. Do you have refs on related constructs in algebraic geometry?
Feb 29 at 18:21 comment added Vladimir Dotsenko Are you aware of the De Concini-Procesi construction (sort of the same as Kapranov but more general - in the context of "wonderful compactifications" and in a sense more explicitly traced in many places in the literature)?
Feb 29 at 17:37 history asked Leo Herr CC BY-SA 4.0