Higher-dimensional tangency bound for hypersurfaces

About 11 years old · traced to

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 p∈kdp\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 n≤cDchar⁡(k)dn\leq c_D\operatorname{char}(k)^d. Higher-dimensional tangency conjecture.

∑(p,H)∈T(S)mult⁡(p,H;S)≤CDn(2d−1)/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 (d−1)(d-1)-dimensional varieties in R2d−1\mathbb{R}^{2d-1}. The source gives no evidence that the conjecture has been resolved.

References

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.