The real Atiyah–Sutcliffe conjecture for Fulton–MacPherson compositions

Let FM2(n)FM_2(n) be the Fulton–MacPherson operad space, let FkiRDki(BO(1))F_{k_i}^{\mathbb{R}}\subseteq D_{k_i}(BO(1)) consist of projectively independent real labels, and let νn:k1,,knR\nu_{n:k_1,\dots,k_n}^{\mathbb{R}} be the induced composition map. Put K=i=1nkiK=\sum_{i=1}^n k_i. The real Atiyah–Sutcliffe E2E_2 conjecture.

νn:k1,,knR(FM2(n)×i=1nFkiR)FKR.\nu_{n:k_1,\dots,k_n}^{\mathbb{R}}\left(FM_2(n)\times\prod_{i=1}^nF_{k_i}^{\mathbb{R}}\right)\subseteq F_K^{\mathbb{R}}.

Equivalently, the KK elements of BO(1)=RPBO(1)=\mathbb{RP}^{\infty} produced by this map are always projectively independent. The statement is the real analogue of the preceding conjecture and is the condition needed for the corresponding E2E_2-structure; its general resolution is not given.

Sources & referencesView supporting material

Primary source

Lorenzo Guerra and Paolo Salvatore, “The Atiyah-Sutcliffe conjecture and E_n-algebras”, arXiv:2410.24124 (2024).

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.