Higher-dimensional tangency bound for hypersurfaces

Let kk be a field and let S\mathcal{S} be a set of irreducible hypersurfaces in kdk^d. A directed point of tangency is a pair (p,H)(p,H), where pkdp\in k^d and HH is a hyperplane containing pp, such that at least two distinct hypersurfaces in S\mathcal{S} are smooth at pp and tangent to HH at pp. Let T(S)\mathcal{T}(\mathcal{S}) be the set of directed points of tangency, and let mult(p,H;S)\operatorname{mult}(p,H;\mathcal{S}) be the number of hypersurfaces in S\mathcal{S} smooth at pp and tangent to HH at pp. Let S\mathcal{S} be a set of nn irreducible hypersurfaces in kdk^d of degree at most DD, with ncDchar(k)dn\leq c_D\operatorname{char}(k)^d. Higher-dimensional tangency conjecture.

(p,H)T(S)mult(p,H;S)CDn(2d1)/d.\sum_{(p,H)\in\mathcal{T}(\mathcal{S})}\operatorname{mult}(p,H;\mathcal{S})\leq C_Dn^{(2d-1)/d}.

This is proposed as a higher-dimensional analogue of the paper's tangency theorem, motivated by the corresponding geometry of (d1)(d-1)-dimensional varieties in R2d1\mathbb{R}^{2d-1}. The source gives no evidence that the conjecture has been resolved.

Sources & referencesView supporting material

Primary source

Jordan S. Ellenberg, Jozsef Solymosi and Joshua Zahl, “New bounds on curve tangencies and orthogonalities”, arXiv:1509.05821 (2016).

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.