The c2c_2-invariant conjecture for primitive log-divergent graphs

Let G1G_1 and G2G_2 be primitive log-divergent graphs with graph periods IG1I_{G_1} and IG2I_{G_2}. For each finite field size qq, define the c2c_2-invariant by

c2(G)q:=#XG(Fq)/q2modq,c_2(G)_q:=\#X_G(\mathbb{F}_q)/q^2 \mod q,

where XGX_G is the graph hypersurface and, for graphs with nG2n_G\geq 2, its number of points satisfies #XG(Fq)0(modq2)\#X_G(\mathbb{F}_q)\equiv 0\pmod{q^2}. The c2c_2-invariant conjecture. If IG1=IG2I_{G_1}=I_{G_2}, then

c2(G1)q=c2(G2)q.c_2(G_1)_q=c_2(G_2)_q.

The conjecture asserts that the c2c_2-invariant depends only on the Feynman period among primitive log-divergent graphs. It is motivated by known examples and is attributed here to the conjecture discussed in Brown and Schnetz; its resolution is not specified in the source.

Sources & referencesView supporting material

Primary source

Dmitry Doryn, “The c_2 invariant is invariant”, arXiv:1312.7271 (2015).

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.