Dimension conjecture for the conformal two-point variety

From papers

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

V2,n,5P(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=(WiWj)(PiPj)(WiPj)(WjPi)(PiPj)3,1i<jn.\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

dimCn,5(2)=min(5n11,(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.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

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.

Solutions 0

No solutions have been posted yet.