Topological determination by the log fiber for smooth proper exact morphisms

Let PP) be a sharp toric monoid, let VPV_P be a neighborhood of the vertex vv of the associated toric space, and let f ⁣:XY=VPf\colon X\to Y=V_P be a smooth proper and exact morphism of fine saturated log analytic spaces. For each ρV\rho\in V and xXvx\in X_v, write <Xx,ρ\lt{X_{x,\rho}} for the subgroup of the fiberwise torus acting on τX1(τX(x))\tau_X^{-1}(\tau_X(x)), as defined by the quotient of the characteristic monoid by the face generated by the image of F(ρ)F(\rho). Topological determination conjecture. After possibly shrinking VV, there is a commutative diagram

\xymatrix{ X_{v,\mathrm{log}}\times V \ar[d]_{f_{v,\mathrm{log}}\times\operatorname{id}} \ar[r] & X_{\mathrm{top}} \ar[d]^{f_{\mathrm{top}}} \\ v_{\mathrm{log}} \times V \cong Y_{\mathrm{log}} \ar[r] & Y_{\mathrm{top}}, }

where the top arrow identifies (x1,ρ1)(x_1,\rho_1) and (x2,ρ2)(x_2,\rho_2) if and only if ρ1=ρ2\rho_1=\rho_2, τX(x1)=τX(x2)\tau_X(x_1)=\tau_X(x_2), and x1,x2x_1,x_2 lie in the same orbit under the action of <Xτ(xi)(ρ)\lt{X_{\tau(x_i)}}(\rho) on τX1(τX(xi))\tau_X^{-1}(\tau_X(x_i)). In particular, the log fiber fv ⁣:Xvvf_v\colon X_v\to v determines ff topologically in a neighborhood of vv. This gives a local topological description of a smooth proper exact log morphism in terms of its central log fiber; the source does not provide evidence that the claim has been resolved.

Sources & referencesView supporting material

Primary source

Piotr Achinger and Arthur Ogus, “Monodromy and Log Geometry”, arXiv:1802.02234 (2019).

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.