🔢 mathematics

Analytic Bertini theorem II --- The local case

This paper establishes the local analytic Bertini theorem, thereby confirming a conjecture by Boucksom in full generality.

Original authors: Mingchen Xia

Published 2026-07-29

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Mingchen Xia

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are a master chef trying to bake the perfect cake. You have a giant, multi-layered recipe book (a complex mathematical object) that tells you exactly how the ingredients interact in three dimensions. But sometimes, you only care about what happens on a single, flat slice of that cake. The big question in this corner of mathematics, known as complex geometry, is: if you know the rules for the whole cake, do those same rules automatically apply to every single slice you cut out?

To understand the answer, you need to know about two things. First, there are "singularities," which are like the tricky, messy spots in a recipe where the instructions get weird or break down (mathematically, these are places where a function goes to negative infinity). Second, there are "multiplier ideal sheaves," which act like a safety net or a filter. They tell you which parts of the recipe are "safe" to use (integrable) and which parts are too messy to handle. Mathematicians have long wondered if, when you slice your giant cake, the safety net on the slice is exactly the same as the safety net you'd get if you just looked at that slice in isolation. For a long time, they could only prove this was true for "almost all" slices, meaning there might be a few weird, messy slices where the rules didn't match up. The big mystery was whether those messy slices were just a tiny, invisible speck of dust, or if they could be a whole cloud of dust that you couldn't ignore.

This paper, titled "Analytic Bertini Theorem II — The Local Case," solves that mystery. The author, Mingchen Xia, proves that the "messy slices" are indeed just a tiny, invisible speck. In fact, they are so small that they belong to a special category of mathematical "ghosts" called pluripolar sets. Think of a pluripolar set as a shadow that is so thin and wispy that it has no volume and no weight; it's essentially nothing. The paper confirms a conjecture by mathematician Sébastien Boucksom, showing that for almost every slice you take, the rules of the whole cake and the rules of the slice are perfectly identical. The author didn't just guess this; they built a rigorous mathematical machine using "jet bundles" (which are like high-powered microscopes that look at the tiny details of a curve) and "Bergman kernels" (which are like special lenses that focus on the most important parts of a function) to prove it beyond any doubt.

The journey to this proof was a bit of a rollercoaster. In the past, mathematicians could prove this for cakes that were finite and closed (like a sphere), but this paper tackles the "local" case, which is like looking at a cake that stretches out forever or is cut from a very open, messy space. The main difficulty was that the usual tools didn't work because the slices weren't "compact" (they didn't have a neat, closed edge). To get around this, the author had to invent a new way of looking at the problem. Instead of trying to carry the whole cake's rules down to the slice, they used a "jet bundle" argument. Imagine trying to check if a road is smooth by looking at the bumps in the asphalt. Instead of looking at the whole road, you use a special camera that takes a picture of the road's surface at a microscopic level (the "jet"). The paper shows that if you look at these microscopic pictures, you can tell exactly where the road is smooth and where it isn't, and you can prove that the "bumpy" spots are so rare they don't even count as a real obstacle.

The paper also introduces a clever trick involving "fine pluripotential theory," which is a bit like using a super-sensitive detector to find the faintest whispers of a sound. The author shows that if a set of "bad" slices is so small that it has zero volume (which was already known), it is actually even smaller than that—it is a pluripolar set. This is a huge upgrade in precision. It's the difference between saying "there are no clouds in the sky" and saying "there are no clouds, not even the thinnest, most invisible wisp of vapor."

In the end, the paper confirms that the mathematical universe is much more orderly than we thought. Whether you are looking at the whole complex structure or just a tiny, local slice, the rules for handling the messy, singular parts remain consistent. The "exceptional set" of slices where things go wrong is not just a few random points; it is a set so negligible that it can be ignored in almost every practical mathematical sense. This result is a foundational step for understanding how these complex shapes change and deform, which is crucial for many other areas of math. The author even notes that the proof was a team effort between human intuition and artificial intelligence, where an AI helped work out the nitty-gritty details of the logic, which were then simplified and verified by the human author. It's a story of how old questions can be answered with new tools, proving that even in the most abstract corners of math, the truth is often cleaner and more beautiful than we imagined.

Technical Summary: Analytic Bertini Theorem II — The Local Case

Problem Statement
The paper addresses the local analytic Bertini theorem for multiplier ideal sheaves. Specifically, it investigates the behavior of the multiplier ideal sheaf $\mathcal{I}_X(\Phi)$ associated with a plurisubharmonic (psh) function $\Phi$ on a product domain $X = \Delta^m_z \times \Delta^n_\eta$ when restricted to fibers $X_\eta = \Delta^m_z \times \{\eta\}$ .

The core question is whether the equality
$\mathcal{I}_X(\Phi) \cdot \mathcal{O}_{X_\eta} = \mathcal{I}_{X_\eta}(\Phi|_{X_\eta})$
holds for "most" fibers. While the inclusion $\supseteq$ follows from the Ohsawa–Takegoshi extension theorem, and the reverse inclusion holds for almost every fiber (in the sense of Lebesgue measure) by Fubini's theorem, a conjecture by Boucksom asked whether the exceptional set of fibers where equality fails can be chosen to be pluripolar rather than merely Lebesgue null.

Methodology
The author adapts techniques from global geometry to the local setting, where standard direct image arguments fail due to the non-compactness of fibers. The methodology proceeds through several key technical steps:

Replacement of Direct Images: In the global setting, the positivity of direct images (Berndtsson's theorem) is used. In the local setting, the direct image of the ideal sheaf lacks a natural geometric structure. The author replaces this with a jet bundle argument.
Log-Plurisubharmonicity of Bergman Kernels: Instead of Berndtsson's original positivity theorem, the proof utilizes the log-plurisubharmonicity theorem for fiberwise weighted Bergman kernels established by Bao–Guan–Yuan [BGY23]. This allows for the construction of psh functions related to the rank of jet maps.
Pluripolar Zero-Set Criterion (The Core Innovation): The paper introduces a new criterion (Theorem 3.2) to upgrade a Lebesgue null set to a pluripolar set. This relies on:
- Fine Pluripotential Theory: Utilizing the plurifine topology and results by El Kadiri, Fuglede, Wiegerinck, and others (specifically from the book [EKF25]).
- Hilbert-Valued Holomorphic Maps: Constructing a map $F_\eta$ into a Hilbert space such that the zero set of $F_\eta$ corresponds to the failure of the ideal equality.
- Rank Detectors: Defining functions $U_{N,\rho}$ based on the norms of wedge products of jet functionals. The singularity set of these functions (where they equal $-\infty$ ) corresponds to the locus where the dimension of the restricted ideal is strictly smaller than the ambient ideal.
Inductive Argument on Fiber Dimension: The proof handles isolated zeros and positive-dimensional zeros separately, using coordinate projections and the "Pluripolar Fubini lemma" (Lemma 3.4) to project pluripolar sets from the total space to the base.

Key Results

Theorem 1.1 (Local Analytic Bertini Theorem): For $X = \Delta^m_z \times \Delta^n_\eta$ and $\Phi \in \text{PSH}(X)$ , there exists a pluripolar set $P \subseteq \Delta^n_\eta$ such that for all $\eta \notin P$ , the multiplier ideal sheaves satisfy $\mathcal{I}_X(\Phi) \cdot \mathcal{O}_{X_\eta} = \mathcal{I}_{X_\eta}(\Phi|_{X_\eta})$ .
Corollary 1.2 (General Fibration): The result extends to a morphism $f: Y \to Z$ of $\sigma$ -compact complex manifolds. There exists a locally pluripolar set $P \subseteq Z$ such that for $z \notin P$ , the fiber $Y_z$ is a complex manifold and the ideal restriction equality holds.
Theorem 3.2 (Pluripolar Zero-Set Criterion): A technical lemma stating that if a family of holomorphic maps $F_\eta$ into Hilbert spaces has a log-norm that is psh, and the maps are non-zero on a conull set, then the set of parameters where the map has a zero in a specific domain is pluripolar.

Significance and Claims
The paper claims to confirm Boucksom's conjecture in full generality for the local analytic setting. The author notes that while the final result is local, the proof of the intermediate step (upgrading null sets to pluripolar sets) surprisingly relies on the positivity of direct images in the global setting.

The work is presented as the "first step towards understanding the deformations of psh singularities." The author explicitly states that the details of the proof were initially carried out by an AI agent (Rethlas) using the OpenAI GPT-5.6-sol model, though the proofs were subsequently simplified and largely rewritten by the author.

The paper does not propose new experimental applications or future research directions beyond the stated goal of studying psh singularity deformations. It positions itself as a rigorous confirmation of a specific conjecture in complex analytic geometry, bridging a gap between measure-theoretic results and pluripolar geometry.

Technical Summary: Analytic Bertini Theorem II — The Local Case

More like this