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

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=12(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 k1k\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.

Sources & referencesView supporting material

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.