Ranganathan–Wise differential descent conjecture for multiscale differentials

Let (C,η)(C,\eta) be a generalised multiscale differential with tropicalisation λ\lambda. For every level ii, let λi\lambda_i denote the truncation of λ\lambda to that level, and let C~\widetilde{C}, η~\tilde\eta, σ\sigma, Ci\overline{C}_i, and η~i\tilde\eta_i be as in the assertion below. Differential descent conjecture. The differential η\eta is smoothable if and only if: (i) for every level ii, the truncation λi\lambda_i is a realisable tropical differential; (ii) there exists a logarithmic modification C~C\widetilde{C}\rightarrow C, a natural extension η~\tilde\eta of the pullback of η\eta to C~\widetilde C, and a reduced Gorenstein contraction σ ⁣:C~Ci\sigma\colon \widetilde C\rightarrow\overline{C}_i such that σωCi=ωC(λi)\sigma^*\omega_{\overline{C}_i}=\omega_C(\lambda_i); and (iii) the differential η~i\tilde\eta_i at level ii descends to a local generator of ωCi\omega_{\overline{C}_i}. This is attributed in the source to D. Ranganathan and J. Wise and is presented as a conjectural algebraic characterization of smoothability; the source supplies no resolution, so it remains open.

Sources & referencesView supporting material

Primary source

Luca Battistella, “Gorenstein curve singularities of genus three”, arXiv:2401.15714 (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.