If `(f)` is closed in the `(t, x)`-adic topology, the kernel of a section `σ` of the map from the surface to the curve order limit is the principal ideal `(f)`.

Initializing...

If `(f)` is closed in the `(t, x)`-adic topology, the kernel of a section `σ` of the map from the surface to the curve order limit is the principal ideal `(f)`. · Prove2Me