Existence conjecture for hypersurfaces with prescribed isolated singularities

About 20 years old · traced to

Let XX be a projective algebraic variety of dimension nn, let WW be a very ample linear system on XX, and let S1,…,SrS_1,\dots,S_r be singularity types with Milnor numbers μ(Si)\mu(S_i). Existence conjecture for prescribed singularities. There exists a constant A=A(X,W)>0A=A(X,W)>0 such that, for each collection S1,…,SrS_1,\dots,S_r of singularity types and for each positive integer dd satisfying

∑i=1rμ(Si)<Adn,\sum_{i=1}^r\mu(S_i)<Ad^n,

a hypersurface Wd∈∣dW∣W_d\in|dW| exists with exactly rr isolated singularities of types S1,…,SrS_1,\dots,S_r, respectively. This is the expected higher-dimensional analogue of the existence results for curves with prescribed singularities; the source presents it as an open problem for hypersurfaces of dimension greater than one, where the discussion is restricted to analytic types.

References

Primary source

Gert-Martin Greuel, Christoph Lossen and Eugenii Shustin, “Equisingular Families of Projective Curves”, arXiv:math/0612310 (2006).

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.