Alexander-Taylor's inequality for capacities in complex Sobolev spaces

The paper establishes a sharp inequality relating the Alexander-Taylor capacity to the functional capacity within complex Sobolev spaces on compact Kähler manifolds.

The Gist

Imagine you are trying to measure the "size" or "importance" of a specific shape (like a cloud, a rock, or a shadow) floating in a complex, multi-dimensional universe. In mathematics, specifically in the field of complex geometry, there are different rulers we can use to measure these shapes.

This paper, by Nguyen and Thai, is about comparing two very different rulers to see how they relate to each other. They prove that these two rulers are actually measuring the same underlying reality, just on different scales.

Here is the breakdown using simple analogies:

1. The Setting: A Complex Garden

Think of the authors' universe as a garden (a compact Kähler manifold). This garden has a specific "soil" or background texture (a form called $\omega$).

• Some parts of the garden are lush and green (positive areas).
• Some parts are dry or flat (semi-positive areas).
• The goal is to understand the "capacity" of a specific patch of weeds or a rock in this garden. In math terms, "capacity" roughly means: How hard is it to cover this object with a smooth, protective blanket?

2. The Two Rulers (Capacities)

The paper compares two ways of measuring this "hardness":

Ruler A: The Alexander-Taylor Capacity (The "Extremal" Ruler)

• The Analogy: Imagine you want to cover a rock with a blanket. You have a rule: the blanket must be made of a special, stretchy fabric that can't tear easily (plurisubharmonic functions). You want to find the best blanket that covers the rock but stays as low as possible elsewhere.
• How it works: This ruler looks at the "tension" or "stress" in the blanket. If the rock is very "sharp" or "dangerous" (mathematically, if it's a pluripolar set), the blanket has to stretch infinitely to cover it.
• The Measure: It calculates a number based on how much the blanket stretches. If the number is tiny, the rock is "big" in a dangerous way. If the number is huge, the rock is "small" or harmless.

Ruler B: The Functional Capacity (The "Sobolev" Ruler)

• The Analogy: Now, imagine you are a gym coach. You want to measure the "muscle" or "energy" of a person trying to hold that same blanket.
• How it works: This ruler looks at the energy required to hold the blanket. It asks: "How much physical effort (mathematical energy) does it take to keep this shape covered?"
• The Measure: It calculates the "cost" in terms of energy. A shape that requires a lot of energy to cover is considered "large" or "significant."

3. The Big Discovery: The Bridge

For a long time, mathematicians knew these two rulers existed, but they weren't sure exactly how to translate the reading from one to the other. It was like having a ruler that measures in "inches" and another that measures in "jumps," without knowing the conversion rate.

The authors' main result (Theorem 1.1) is like finding the perfect conversion formula.
They proved that if you know the "Energy Cost" (Ruler B), you can predict the "Blanket Stretch" (Ruler A) with extreme precision, and vice versa.

• The Formula: They showed that the "Stretch" number is roughly the exponential of the inverse of the "Energy" number.
• Why it matters: It's "sharp." This means the formula isn't just a rough guess; it's the tightest possible link. You can't make the connection any stronger.

4. Why Should You Care? (The "So What?")

Think of these mathematical tools as X-ray machines for complex shapes.

• The Problem: Sometimes, the "Energy" machine (Sobolev space) is easier to use because it's built on solid, standard physics-like rules. But the "Stretch" machine (Alexander-Taylor) is better at detecting the most dangerous, invisible "ghosts" in the garden (singularities or points where things break down).
• The Solution: Because the authors proved these two machines are tightly linked, you can now use the easy-to-use "Energy" machine to solve problems that were previously only solvable with the difficult "Stretch" machine.

Real-world application mentioned in the paper:
They use this bridge to solve a specific puzzle called the Monge-Ampère equation.

• The Analogy: Imagine you have a pile of sand (a probability measure) and you want to mold it into a specific shape using a mold (the complex equation). Sometimes the sand is weirdly distributed, and the mold might break.
• The Result: Using their new bridge, they proved that even if the sand is distributed in a tricky way, you can still find a perfect, bounded shape (a solution) that fits the mold without breaking.

Summary

Nguyen and Thai built a mathematical translator. They showed that two different ways of measuring the "size" of complex shapes in a high-dimensional garden are actually two sides of the same coin. This allows mathematicians to use simpler tools to solve very difficult problems about how shapes and spaces interact, ensuring that even in the most complex environments, solutions exist and are stable.

Technical Summary

Here is a detailed technical summary of the paper "Alexander-Taylor's Inequality for Capacities in Complex Sobolev Spaces" by Ngoc Cuong Nguyen and Do Duc Thai.

1. Problem Statement

The paper addresses the relationship between two distinct notions of capacity in the context of complex geometry on a compact Kähler manifold $(X, \omega)$ of dimension $n$:

1. The Global Alexander-Taylor Capacity ($T_\omega$): A capacity derived from pluripotential theory, defined via the Siciak-Zaharjuta extremal function associated with a set. It characterizes pluripolar sets and is central to the study of complex Monge-Ampère equations.
2. The Functional Capacity ($c$) in Complex Sobolev Spaces: A capacity defined via the norm of the complex Sobolev space $W^*(X)$, introduced by Dinh, Sibony, and Vigny. This space incorporates the complex structure of the manifold and is suitable for studying holomorphic/meromorphic maps and quasi-plurisubharmonic functions.

The Core Problem: While both capacities are known to characterize pluripolar sets (sets of zero capacity), there was no sharp quantitative comparison established between the functional capacity $c(\cdot)$ and the Alexander-Taylor capacity $T_\omega(\cdot)$. The authors aim to prove a sharp inequality linking these two, analogous to the classical Alexander-Taylor inequality which relates $T_\omega$ to the Bedford-Taylor capacity ($cap_\omega$).

2. Methodology

The authors employ a combination of pluripotential theory, functional analysis in Sobolev spaces, and integration by parts techniques adapted to the complex setting.

• Complex Sobolev Space ($W^*(X)$): The authors utilize the space $W^*(X) \subset W^{1,2}(X, \mathbb{R})$, defined by functions $f$ such that $df \wedge d^c f \leq T$ for some positive closed $(1,1)$-current $T$. The norm is $\|f\|_*^2 = \|f\|_{L^2}^2 + \inf \{\|T\|\}$.
• Quasi-Continuity: A crucial technical step involves establishing the existence of quasi-continuous representatives for functions in $W^*(X) \cap L^\infty(X)$. This allows the authors to handle pointwise properties (essential for capacity definitions) despite the functions being defined only almost everywhere. They prove that two quasi-continuous modifications of the same function are equal quasi-everywhere (q.e.).
• Extremal Functions: The proof relies heavily on constructing specific test functions (extremal functions) in $W^*(X)$ derived from the Siciak-Zaharjuta extremal function $V^*_K$ and the relative extremal function $h^*_K$.
• Integral Estimates (Lemma 3.1): The authors derive a key inequality for the integral of the square of a function against a Monge-Ampère measure $(\omega + dd^c h)^n$. This involves integration by parts and the Cauchy-Schwarz inequality, carefully managing the boundary terms and the current $T$ associated with the Sobolev norm.
• Comparison with Bedford-Taylor Capacity: The strategy involves a two-step comparison:
  1. Compare $c(\cdot)$ with the Bedford-Taylor capacity $cap_\omega(\cdot)$.
  2. Use the known global Alexander-Taylor inequality relating $T_\omega(\cdot)$ and $cap_\omega(\cdot)$ to bridge the gap to $T_\omega(\cdot)$.

3. Key Contributions

A. Sharp Inequality Between Capacities (Theorem 1.1)

The main result establishes a sharp quantitative comparison between the Alexander-Taylor capacity $T_\omega(K)$ and the functional capacity $c(K)$ for any compact subset $K \subset X$. There exists a constant $A > 0$ such that:
$$\exp\left(-\frac{A}{c(K)}\right) \leq T_\omega(K) \leq \exp\left(-\frac{1}{4n} [c(K)]^{-\frac{1}{n}}\right)$$

• Significance: The exponents in the inequality are proven to be sharp (Remark 3.5), meaning they cannot be improved. The constants are explicitly related to the dimension $n$ and the geometry of the manifold.
• Generality: The result holds for $\omega$ which is merely semi-positive and big (not necessarily Kähler), extending previous results that required a Kähler background metric.

B. Refined Properties of Functional Capacity

• Existence of Extremal Functions: The authors prove the existence and uniqueness of a minimizer $\Phi_E$ for the functional capacity $c(E)$ for open sets $E$, satisfying $\|\Phi_E\|_*^2 = c(E)$ and $\Phi_E = -1$ q.e. on $E$ (Lemma 2.13).
• Choquet Property: They confirm that $c(\cdot)$ is a Choquet capacity, satisfying inner and outer regularity, which is essential for extending the inequalities from compact sets to all Borel sets.

C. Technical Lemma on Integral Estimates

The paper provides a novel estimate (Lemma 3.1) bounding $\int_X v^2 (\omega + dd^c h)^n$ in terms of the $W^*$-norm of $v$ and the mass of the associated current $T$. This lemma is the engine driving the comparison between the functional capacity and the Bedford-Taylor capacity (Theorem 3.3).

4. Results and Applications

Main Theorem (Theorem 1.1)

As stated above, this theorem provides the bridge between the analytic capacity (Sobolev norm) and the geometric potential theoretic capacity (Alexander-Taylor). It confirms that the functional capacity is strong enough to detect pluripolar sets and provides precise decay rates for the Alexander-Taylor capacity as the functional capacity vanishes.

Corollary 1.2: Solvability of Monge-Ampère Equations

The authors apply their inequality to the complex Monge-Ampère equation $(\omega + dd^c u)^n = \mu$.

• Condition: If a probability measure $\mu$ is $(W^*(X), \log^p)$-continuous with $p > n+1$ (a condition related to the decay of the measure on sets of small capacity), then there exists a bounded $\omega$-plurisubharmonic solution $u$.
• Context: This result was implicitly contained in previous work [DKN22] but is now derived more directly using the new capacity inequalities. It extends the solvability theory to cases where the background form $\omega$ is semi-positive and big.

5. Significance

• Unification of Frameworks: The paper successfully unifies the tools of complex Sobolev spaces (often used in complex dynamics) with the classical pluripotential theory (used in complex geometry and PDEs).
• Tool for Open Problems: The authors posit that this inequality serves as a bridge to solve open problems in pluripotential theory. By translating problems into the language of Sobolev spaces, one can utilize the rich functional analytic structure of $W^*(X)$ to tackle questions regarding complex Monge-Ampère equations.
• Sharpness: The proof of the sharpness of the exponents is a significant theoretical contribution, ensuring that the derived bounds are optimal and not artifacts of the proof technique.
• Generalization: The results hold for semi-positive big forms, broadening the applicability beyond the standard Kähler setting, which is crucial for studying singular varieties and degenerate complex structures.

In summary, this paper provides a rigorous and sharp quantitative link between the functional capacity of complex Sobolev spaces and the Alexander-Taylor capacity, offering new tools for analyzing the regularity and solvability of complex Monge-Ampère equations on compact Kähler manifolds.