Boucksom's Local Analytic Bertini Conjecture
Prior state unknown→proved
Does the analytic Bertini restriction theorem for multiplier ideals hold locally, outside a pluripolar exceptional set of fibers? Proved in full generality.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review