Dimension conjecture for the conformal two-point variety

About 22 years old · traced to

Let Cn,5(2)\mathcal{C}^{(2)}_{n,5} be the closure of the image of the rational map

V2,n,5⇢P(n2)−1\mathcal{V}_{2,n,5} \dashrightarrow \mathbb{P}^{\binom{n}{2}-1}

whose coordinates are given by the conformal two-point functions

HijPij3=(Wi⋅Wj)(Pi⋅Pj)−(Wi⋅Pj)(Wj⋅Pi)(Pi⋅Pj)3,1≤i<j≤n.\frac{H_{ij}}{P_{ij}^3}=\frac{(W_i\cdot W_j)(P_i\cdot P_j)-(W_i\cdot P_j)(W_j\cdot P_i)}{(P_i\cdot P_j)^3},\qquad 1\leq i<j\leq n.

Dimension conjecture. The dimension of the two-point variety is

dim⁡Cn,5(2)=min⁡(5n−11,(n2)−1).\dim \mathcal{C}^{(2)}_{n,5}=\min\left(5n-11,\binom{n}{2}-1\right).

This computationally observed formula predicts the dimension of the variety of conformal two-point correlators as the minimum of the expected parameter count and the dimension of the ambient projective space; its general validity remains to be established.

References

Primary source

Yassine El Maazouz, Bernd Sturmfels and Svala Sverrisdóttir, “Gram Matrices for Isotropic Vectors”, arXiv:2411.08624 (2026).

Additional references

7 papers in this index state this conjecture (2004–2024). The statement above is taken from the most recent of them; the others are arXiv:2204.10363, arXiv:1203.5981, arXiv:1106.2988, arXiv:1104.0068, arXiv:0909.5004, arXiv:math/0407372.

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.