Fu's power series conjecture for invariant valuations on complex space forms

About 6 years old · traced to

Let bCP\lambdadnb\mathbb{CP}^n_\lambdad be the complex space form of constant holomorphic curvature 4λ4\lambda, with invariant valuation algebra V(CPλn)Gλ\mathcal{V}(\mathbb{CP}^n_\lambda)^{G_\lambda}. Define Tutte's series by

τ(λ):=∑i=1∞2(4i+1)!(i+1)!(3i+2)!λi=λ+3λ2+13λ3+68λ4+399λ5+…\tau(\lambda):=\sum_{i=1}^\infty \frac{2(4i+1)!}{(i+1)!(3i+2)!}\lambda^i=\lambda+3\lambda^2+13\lambda^3+68\lambda^4+399\lambda^5+\ldots

For k≥1k\geq 1, let fˉkλ(t,s)\bar f_k^\lambda(t,s) be the degree-kk part of the expansion of

log⁡(1+t+s+τ(λ)),\log\left(1+t+s+\tau(\lambda)\right),

where tt has degree 11, ss has degree 22, and λ\lambda has degree −2-2. Fu's power series conjecture. The algebra of invariant valuations on CPλn\mathbb{CP}^n_\lambda should be isomorphic to

R[[t,s]]/(fˉn+1λ,fˉn+2λ).\mathbb{R}[[t,s]]/(\bar f_{n+1}^\lambda,\bar f_{n+2}^\lambda).

This conjecture proposes a curved analogue of Fu's presentation of the algebra of translation-invariant, unitary-invariant valuations on Cn\mathbb{C}^n, with Tutte's series encoding the dependence on the curvature parameter. Its status is not resolved by the supplied source context.

References

Primary source

Andreas Bernig, “Unitarily invariant valuations and Tutte's sequence”, arXiv:2001.03372 (2020).

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.