The hyperbolic conjecture on polynomial independence for point configurations

Let (x1,,xn)H3(x_1,\dotsc,x_n)\subset H^3 be nn distinct ordered points. For iji\ne j, let uiju_{ij} be the point where the oriented geodesic from xix_i to xjx_j meets the sphere at infinity S2CP1S^2\cong\mathbb{CP}^1, and define βi\beta_i by

βi(z)=ji(zuij).\beta_i(z)=\prod_{j\ne i}(z-u_{ij}).

Hyperbolic conjecture. For every such configuration, the polynomials β1(z),,βn(z)\beta_1(z),\dotsc,\beta_n(z) are linearly independent over C\mathbb{C}. This is presented as a stronger version of the Euclidean conjecture, using the ideal boundary of hyperbolic three-space; the supplied text gives no evidence that it has been resolved.

Sources & referencesView supporting material

Primary source

Michael Atiyah, “Edinburgh Lectures on Geometry, Analysis and Physics”, arXiv:1009.4827 (2010).

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.