The graph-isomorphism conjecture for rational quadratic-form graphs

About 3 years old · traced to

Let q1,q2⊠q_1,q_2\boxtimes be quadratic forms on Q⁡n\operatorname{\mathbb{Q}}^n, and let G0(Q⁡n,q)G_0(\operatorname{\mathbb{Q}}^n,q) denote the connected component containing 0⁡\operatorname{\textbf{0}} in G(Q⁡n,q)G(\operatorname{\mathbb{Q}}^n,q). Write q1∼Q⁡q2q_1\stackrel{\operatorname{\mathbb{Q}}}{\sim}q_2 when the forms are rationally equivalent. Graph-isomorphism conjecture. If G0(Q⁡n,q1)≃G0(Q⁡n,q2)G_0(\operatorname{\mathbb{Q}}^n,q_1)\simeq G_0(\operatorname{\mathbb{Q}}^n,q_2), then q1∼Q⁡q2q_1\stackrel{\operatorname{\mathbb{Q}}}{\sim}q_2. Moreover, every isomorphism between these graphs is a linear transformation TT such that

q1(x⁡)=q2(Tx⁡).q_1(\operatorname{\textbf{x}})=q_2(T\operatorname{\textbf{x}}).

This conjecture generalises the rational Beckman--Quarles theorem: when q1=q2=Inq_1=q_2=I_n, it asserts that every automorphism of G0(Q⁡n,In)G_0(\operatorname{\mathbb{Q}}^n,I_n) is an isometry.

References

Primary source

Artemy Sokolov, “On distance graphs in rational spaces”, arXiv:2301.06954 (2023).

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.