Distinguished \a0\a0Pn\a0\a0\mathbb{P}^n-structure with prescribed initial data

Let F ⁣:D(A)D(B)F\colon D({\mathcal{A}})\to D({\mathcal{B}}) be an enhanceable functor, and suppose that (H,Qn,γ)(H,Q_n,\gamma) is a Pn\mathbb{P}^n-structure on FF. Let σ ⁣:H[1]A\sigma\colon H[-1]\to {\mathcal{A}} make Q1Q_1 a coextension of Id\operatorname{Id} by HH, and let γ1 ⁣:Q1RF\gamma_1\colon Q_1\to RF be the specified map. Distinguished-structure conjecture. There is a Pn\mathbb{P}^n-structure on FF with the same HH, σ\sigma, and γ1\gamma_1, hence producing the same P\mathbb{P}-twist, such that QnQ_n is isomorphic, as an object of D(A-A)D({\mathcal{A}}\text{-}{\mathcal{A}}), to the truncated twisted tensor algebra. The preceding discussion notes that such a structure need not be unique, while the conjecture asserts the existence of a distinguished one whose cyclic coextension structure is determined by σ\sigma; no resolution is supplied.

Sources & referencesView supporting material

Primary source

Rina Anno and Timothy Logvinenko, “P^n-functors”, arXiv:1905.05740 (2025).

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.