Topological determination by the log fiber for smooth proper exact morphisms
Topological determination by the log fiber for smooth proper exact morphisms
Let ) be a sharp toric monoid, let be a neighborhood of the vertex of the associated toric space, and let be a smooth proper and exact morphism of fine saturated log analytic spaces. For each and , write for the subgroup of the fiberwise torus acting on , as defined by the quotient of the characteristic monoid by the face generated by the image of . Topological determination conjecture. After possibly shrinking , 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 and if and only if , , and lie in the same orbit under the action of on . In particular, the log fiber determines topologically in a neighborhood of . 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
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.