Bloom's conjecture on type, contact and order of vanishing

Let MCnM\subset \mathbb{C}^n be a pseudoconvex real hypersurface with n3n\geq 3. For 1sn21\leq s\leq n-2 and pMp\in M, write t(s)(M,p)t^{(s)}(M,p), c(s)(M,p)c^{(s)}(M,p) and a(s)(M,p)a^{(s)}(M,p) for the corresponding type, contact and order-of-vanishing invariants. Bloom's conjecture. One has

t(s)(M,p)=c(s)(M,p)=a(s)(M,p).t^{(s)}(M,p)=c^{(s)}(M,p)=a^{(s)}(M,p).

Bloom proved the equality a(1)(M,p)=c(1)(M,p)a^{(1)}(M,p)=c^{(1)}(M,p) in complex dimension three under pseudoconvexity; the stated higher-dimensional and higher-ss equality is presented as the conjecture.

Sources & referencesView supporting material

Primary source

Xiaojun Huang and Wanke Yin, “Regular types and order of vanishing along a set of non-integrable vector fields”, arXiv:2309.09757 (2023).

Additional references

2 papers in this index state this conjecture (2019–2023). The statement above is taken from the most recent of them; the others are arXiv:1902.10581.

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.