Basis conjecture for curvature-zero functions on positroid subdivisions

Let Δk,n\Delta_{k,n} be the hypersimplex, and let eJΔk,ne_J\in\Delta_{k,n} range over its (nk)n\binom{n}{k}-n nonfrozen vertices. For each such vertex, let ρJ\rho_J be the corresponding function. Consider the space of piecewise-continuous functions on Δk,n\Delta_{k,n} that have zero curvature over the maximal cells of some positroid subdivision of Δk,n\Delta_{k,n}. Basis conjecture. The set of functions ρJ\rho_J, where eJΔk,ne_J\in\Delta_{k,n} ranges over all (nk)n\binom{n}{k}-n nonfrozen vertices, defines a basis for this space. The conjecture would connect the boundary-operator description of curvature-zero functions with positroid subdivisions and generalized Feynman diagrams; the source leaves its investigation for future work, in the context of Lafforgue's work and related developments.

Sources & referencesView supporting material

Primary source

Nick Early, “Planar kinematic invariants, matroid subdivisions and generalized Feynman diagrams”, arXiv:1912.13513 (2020).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.