Conjecture on the signed count of real bitangents to a plane quartic

Let QQ be a smooth plane quartic defined over R\mathbb{R}, and let LPR2L_\infty \subset \mathbb{P}^2_{\mathbb{R}} be a line defined over R\mathbb{R} such that LQL=L \cap Q \cap L_\infty = \varnothing for every bitangent LL. For a real bitangent LL, let QtypeL(L)\operatorname{Qtype}_{L_\infty}(L) denote its quadratic type relative to LL_\infty. Signed-count conjecture. The difference between the numbers of real bitangents of the two indicated quadratic types satisfies

#({real bitangents with QtypeL(L)=1})#({real bitangents with QtypeL(L)=1}){0,2,4,6,8}.\#\left(\{\text{real bitangents with }\operatorname{Qtype}_{L_\infty}(L)=\langle 1\rangle\}\right)-\#\left(\{\text{real bitangents with }\operatorname{Qtype}_{L_\infty}(L)=\langle -1\rangle\}\right)\in\{0,2,4,6,8\}.

This conjecture is based on a randomized search of more than 1000010000 quartics and predicts the range of signed counts obtainable by varying the line at infinity for a fixed smooth real plane quartic.

Sources & referencesView supporting material

Primary source

Hannah Larson and Isabel Vogt, “An enriched count of the bitangents to a smooth plane quartic curve”, arXiv:1909.05945 (2019).

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.