Matsuda's weakly closed graph characterization of F-purity

Let GG be a simple graph on nn vertices, let k\Bbbk be a field, and set R=k[x1,,xn,y1,,yn]R=\Bbbk[x_{1},\ldots,x_{n},y_{1},\ldots,y_{n}]. For {i,j}E(G)\{i,j\}\in E(G), write fi,j=xiyjxjyif_{i,j}=x_{i}y_{j}-x_{j}y_{i}, define the binomial edge ideal

JG=({fi,j{i,j}E(G)})R,J_G=(\{f_{i,j}\mid \{i,j\}\in E(G)\})\subseteq R,

and set RG=R/JGR_G=R/J_G. A graph is weakly closed as in Matsuda's definition. Assume that the characteristic of k\Bbbk is two. Matsuda's conjecture. GG is weakly closed if and only if RGR_G is F-pure. Matsuda proved the forward implication, while the converse was conjectured and is proved in the source paper; thus the conjecture is solved.

Sources & referencesView supporting material

Primary source

Adam LaClair and Jason McCullough, “F-Purity of Binomial Edge Ideals”, arXiv:2601.15403 (2026).

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.