Finite degree formula for local volumes of klt pairs

Let f ⁣:(y(Y,ΔY))(x(X,Δ))f\colon\big(y\in(Y,\Delta_Y)\big)\to\big(x\in(X,\Delta)\big) be a finite surjective morphism between klt pairs, and suppose it is crepant, meaning

f(KX+Δ)=KY+ΔY.f^*(K_X+\Delta)=K_Y+\Delta_Y.

Let vol^(x,X,Δ)\widehat{\rm vol}(x,X,\Delta) denote the local volume of a klt pair. Finite degree formula conjecture.

vol^(y,Y,ΔY)=deg(f)vol^(x,X,Δ).\widehat{\rm vol}(y,Y,\Delta_Y)=\deg(f)\,\widehat{\rm vol}(x,X,\Delta).

This is a conjectural extension of the finite degree formula known in the source for certain morphisms; the stated arbitrary finite-surjective formulation is presented as needing resolution of the discrepancy with the known F-signature formula.

Sources & referencesView supporting material

Primary source

Ziquan Zhuang, “Stability of klt singularities”, arXiv:2307.10525 (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.