About Wess-Zumino-Witten equation and Harder-Narasimhan potentials
Pith reviewed 2026-05-23 22:59 UTC · model grok-4.3
The pith
Algebraic obstructions from direct image sheaves determine when the Wess-Zumino-Witten equation admits approximate solutions on polarized families.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For a polarized family of complex projective manifolds, the algebraic obstructions governing the existence of approximate solutions to the Wess-Zumino-Witten equation are identified. When specialized to projectivization of a vector bundle, this recovers a version of the Kobayashi-Hitchin correspondence. More broadly, an auxiliary Monge-Ampère equation that accounts for the weighted Bergman kernel associated with the Harder-Narasimhan filtrations of direct image sheaves admits approximate solutions over any polarized family, and these are the closest counterparts to true solutions as they minimize the Yang-Mills functional. As an application, an asymptotic converse to the Andreotti-Grauert tr
What carries the argument
The auxiliary Monge-Ampère equation generalized from the Wess-Zumino-Witten equation by incorporating the weighted Bergman kernel from Harder-Narasimhan filtrations of direct image sheaves.
If this is right
- When the WZW equation has no solutions, the auxiliary equation provides the minimizing approximate solutions for the Yang-Mills functional.
- In the case of projectivized vector bundles, the obstructions recover the Kobayashi-Hitchin correspondence.
- In fibered settings, this yields an asymptotic converse to the Andreotti-Grauert theorem as conjectured by Demailly.
Where Pith is reading between the lines
- The approach may extend to other geometric equations where algebraic filtrations can regularize analytic problems.
- Connections could be explored between these obstructions and stability conditions in moduli spaces of sheaves.
- Testable in low-dimensional families where explicit computations of HN filtrations are feasible.
Load-bearing premise
The direct image sheaves must admit Harder-Narasimhan filtrations so that their weighted Bergman kernels can be used to define the auxiliary equation that always admits approximate solutions.
What would settle it
A concrete polarized family of projective manifolds where the auxiliary Monge-Ampère equation has no approximate solutions, or where the identified algebraic obstructions fail to predict the existence for the original WZW equation.
Figures
read the original abstract
For a polarized family of complex projective manifolds, we identify the algebraic obstructions that govern the existence of approximate solutions to the Wess-Zumino-Witten equation. When this is specialized to the fibration associated with a projectivization of a vector bundle, we recover a version of Kobayashi-Hitchin correspondence. More broadly, we demonstrate that a certain auxiliary Monge-Amp\`ere type equation, generalizing the Wess-Zumino-Witten equation by taking into account the weighted Bergman kernel associated with the Harder-Narasimhan filtrations of direct image sheaves, admits approximate solutions over any polarized family. These approximate solutions are shown to be the closest counterparts to true solutions of the Wess-Zumino-Witten equation whenever the latter do not exist, as they minimize the associated Yang-Mills functional. As an application, in a fibered setting, we prove an asymptotic converse to the Andreotti-Grauert theorem conjectured by Demailly.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims that for polarized families of complex projective manifolds, algebraic obstructions to approximate solutions of the Wess-Zumino-Witten equation can be identified via Harder-Narasimhan filtrations of direct image sheaves. It introduces an auxiliary Monge-Ampère equation incorporating weighted Bergman kernels from these filtrations, asserts that this equation always admits approximate solutions on any such family, and shows these approximations minimize the associated Yang-Mills functional when true WZW solutions do not exist. Specializing to the projectivization of a vector bundle recovers a version of the Kobayashi-Hitchin correspondence. As an application in the fibered setting, an asymptotic converse to the Andreotti-Grauert theorem (conjectured by Demailly) is proved.
Significance. If substantiated, the work supplies a systematic algebraic device (HN filtrations and weighted Bergman kernels) to produce approximate solutions to a nonlinear elliptic equation even when exact solutions are obstructed, thereby extending the range of the WZW equation in families. The explicit link to the Andreotti-Grauert conjecture in the fibered case would constitute a concrete advance in the analytic-algebraic interface of complex geometry.
minor comments (1)
- [Abstract] The abstract refers to 'approximate solutions' and 'closest counterparts' without specifying the topology or norm (e.g., C^0, C^infty, or weak sense) in which the approximation and minimization are understood; this definition should appear at the first use of the term.
Simulated Author's Rebuttal
We thank the referee for their summary of the manuscript and for noting its potential significance at the interface of algebraic and analytic methods in complex geometry. The recommendation is uncertain, yet the report lists no specific major comments. We are prepared to respond to any additional points the referee may wish to raise.
Circularity Check
No significant circularity
full rationale
The abstract and provided claims present the auxiliary Monge-Ampère equation as explicitly constructed from Harder-Narasimhan filtrations and weighted Bergman kernels of direct images, then assert (rather than presuppose) that this equation admits approximate solutions on any polarized family; the minimization of the Yang-Mills functional and the asymptotic converse to Andreotti-Grauert are derived consequences, not inputs. No equation is shown to equal its own fitted parameter by construction, no uniqueness theorem is imported from the same authors' prior work, and no self-citation chain bears the central existence or obstruction claims. The derivation therefore remains self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
auxiliary Monge-Ampère type equation ... weighted Bergman kernel associated with the Harder-Narasimhan filtrations of direct image sheaves (1.12)
-
IndisputableMonolith/Foundation/AbsoluteFloorClosure.leanabsolute_floor_iff_bare_distinguishability unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem 1.1 ... WZW(c1(L) − tπ∗[ωB], ωB) = ∫ |x−t| dηHN(x) · ...
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Forward citations
Cited by 1 Pith paper
-
Uniform weak RC-positivity and rational connectedness
Uniform weak RC-positivity of TX on a compact Kähler manifold X implies X is projective and rationally connected; the same condition on any holomorphic vector bundle E yields a Hermitian metric with positive mean curvature.
Reference graph
Works this paper leans on
-
[1]
D. R. Adams and L. I. Hedberg. Function Spaces and Potential Theory , volume 254 of Grundlehren der mathematischen Wissenschaften. Springer-V erlag Berlin Heidelberg, 1996
work page 1996
-
[2]
A. Andreotti and H. Grauert. Th´ eor` emes de finitude pour la cohomologie des espaces com- plexes. Bull. Soc. Math. France, 90:193–259, 1962
work page 1962
-
[3]
M. F. Atiyah and R. Bott. The Y ang-Mills equations over Ri emann surfaces. Philos. Trans. R. Soc. Lond., Ser . A, 308:523–615, 1983
work page 1983
-
[4]
J. Bergh and J. L¨ ofstr¨ om.Interpolation spaces. An introduction , volume 223 of Grundlehren Math. Wiss. 1976
work page 1976
-
[5]
B. Berndtsson. A Brunn-Minkowski type inequality for Fa no manifolds and some uniqueness theorems in K¨ ahler geometry.Invent. Math., 200(1):149–200, 2015
work page 2015
-
[6]
B. Berndtsson. Probability measures associated to geod esics in the space of K¨ ahler metrics. In Algebraic and analytic microlocal analysis. AAMA, Evansto n, Illinois, USA, May 14– Wess-Zumino-Witten equation and Harder-Narasimhan potentials 50 26, 2012 and May 20–24, 2013. Contributions of the workshops , pages 395–419. Cham: Springer, 2018
work page 2012
-
[7]
R. Bhatia. Matrix analysis, volume 169 of Grad. Texts Math. New Y ork, NY: Springer, 1996
work page 1996
-
[8]
J.-B. Bost. Germs of analytic varieties in algebraic var ieties: canonical metrics and arithmetic algebraization theorems. In Geometric aspects of Dwork theory. V ol. I, II , pages 371–418. Berlin: Walter de Gruyter, 2004
work page 2004
-
[9]
T. Bouche. Sur les in´ egalit´ es de Morse holomorphes lorsque la courbure du fibr´ e en droites est d´ eg´ en´ er´ ee.Ann. Sc. Norm. Super . Pisa, 18(4):501–523, 1991
work page 1991
-
[10]
S. Boucksom and H. Chen. Okounkov bodies of filtered line ar series. Compos. Math. , 147(4):1205–1229, 2011
work page 2011
-
[11]
S. Boucksom and M. Jonsson. A non-Archimedean approach to K-stability, I: Metric geom- etry of spaces of test configurations and valuations. Annales de l’Institut F ourier , 2024
work page 2024
-
[12]
D. Catlin. The Bergman kernel and a theorem of Tian. In Proceedings of the 40th Taniguchi symposium, Katata, Japan, June 23–28, 1997 , pages 1–23. Boston, MA: Birkh¨ auser, 1999
work page 1997
-
[13]
G. Chen. The J-equation and the supercritical deformed Hermitian-Y ang-Mills equation. Invent. Math., 225(2):529–602, 2021
work page 2021
-
[14]
H. Chen. Convergence of Harder-Narasimhan polygons. M´em. Soc. Math. Fr ., Nouv. S ´er ., 120:112, 2010
work page 2010
-
[15]
H. Chen. Computing the volume function on a projective b undle over a curve. RIMS Kˆokyˆuroku, 1745:169–182, 2011
work page 2011
-
[16]
H. Chen and C. Maclean. Distribution of logarithmic spe ctra of the equilibrium energy. Manuscr . Math., 146(3-4):365–394, 2015
work page 2015
-
[17]
X. Chen. The space of K¨ ahler metrics. J. Differ . Geom., 56(2):189–234, 2000
work page 2000
-
[18]
X. Dai, K. Liu, and X. Ma. On the asymptotic expansion of b ergman kernel. J. Diff. Geom., 72(1):1–41, 2006
work page 2006
-
[19]
G. D. Daskalopoulos and R. A. Wentworth. Convergence pr operties of the Y ang-Mills flow on K¨ ahler surfaces.J. Reine Angew. Math., 575:69–99, 2004
work page 2004
-
[20]
V . Datar and V . P . Pingali. A numerical criterion for gen eralised Monge-Amp` ere equations on projective manifolds. Geom. Funct. Anal. , 31(4):767–814, 2021
work page 2021
- [21]
- [22]
- [23]
- [24]
-
[25]
J.-P . Demailly. Extension of holomorphic functions de fined on non reduced analytic subvari- eties. In The legacy of Bernhard Riemann after one hundred and fifty yea rs. V olume I, pages 191–222. Somerville, MA: International Press; Beijing: Hi gher Education Press, 2016. Wess-Zumino-Witten equation and Harder-Narasimhan potentials 51
work page 2016
-
[26]
J.-P . Demailly, L. Ein, and R. Lazarsfeld. A subadditiv ity property of multiplier ideals. Mich. Math. J., 48:137–156, 2000
work page 2000
-
[27]
R. Dervan and L. M. Sektnan. Moduli theory, stability of fibrations and optimal symplectic connections. Geom. Topol., 25(5):2643–2697, 2021
work page 2021
-
[28]
R. Dervan and G. Sz´ ekelyhidi. The K¨ ahler-Ricci flow and optimal degenerations. J. Differ . Geom., 116(1):187–203, 2020
work page 2020
-
[29]
S. K. Donaldson. Anti self-dual Y ang Mills connections over complex algebraic surfaces and stable vector bundles. Proc. Lond. Math. Soc. (3) , 50:1–26, 1985
work page 1985
-
[30]
S. K. Donaldson. Symmetric spaces, K¨ ahler geometry an d Hamiltonian dynamics. In North- ern California symplectic geometry seminar , pages 13–33. Providence, RI: American Math- ematical Society, 1999
work page 1999
-
[31]
S. K. Donaldson. Scalar curvature and projective embed dings. I. J. Differ . Geom., 59(3):479– 522, 2001
work page 2001
-
[32]
S. K. Donaldson. Scalar curvature and stability of tori c varieties. J. Differ . Geom., 62(2):289– 349, 2002
work page 2002
-
[33]
S. K. Donaldson. Lower bounds on the Calabi functional. J. Differ . Geom., 70(3):453–472, 2005
work page 2005
-
[34]
H. Feng, K. Liu, and X. Wan. Geodesic-Einstein metrics a nd nonlinear stabilities. Trans. Am. Math. Soc., 371(11):8029–8049, 2019
work page 2019
- [35]
- [36]
- [37]
- [38]
- [39]
- [40]
-
[41]
S. Finski. Semiclassical Ohsawa-Takegoshi extension theorem and asymptotic of the orthog- onal Bergman kernel. Journal of Differential Geometry, 128(2):639–721, 2024
work page 2024
-
[42]
S. Finski. The asymptotics of the optimal holomorphic e xtensions of holomorphic jets along submanifolds. Journal de Math ´ematiques Pures et Appliqu ´ees, 189:42 p., 2024
work page 2024
- [43]
-
[44]
T. Fujita. Approximating Zariski decomposition of big line bundles. Kodai Math. J., 17(1):1– 3, 1994
work page 1994
-
[45]
R. Hartshorne. Algebraic geometry, volume 52 of Grad. Texts Math. Springer, Cham, 1977. Wess-Zumino-Witten equation and Harder-Narasimhan potentials 52
work page 1977
- [46]
- [47]
- [48]
- [49]
-
[50]
M. Jonsson, N. McCleerey, and S. Shivaprasad. Geodesic Rays in the Donaldson-Uhlenbeck- Y au Theorem, arXiv: 2210.09246. 2022
-
[51]
F. Knudsen and D. Mumford. The projectivity of the modul i space of stable curves I: Prelim- inaries on ’det’and ’Div’. Math. Scand., 39:19–55, 1976
work page 1976
- [52]
- [53]
- [54]
-
[55]
L. Boutet de Monvel and V . Guillemin. The Spectral Theory of Toeplitz Operators. Princeton University Press, 1981
work page 1981
-
[56]
R. Lazarsfeld. Positivity in algebraic geometry. I. Classical setting: li ne bundles and linear series, volume 48 of Ergeb. Math. Grenzgeb., 3. F olge. Berlin: Springer, 2004
work page 2004
- [57]
- [58]
- [59]
- [60]
- [61]
-
[62]
T. Mabuchi. Some symplectic geometry on compact K¨ ahle r manifolds. I. Osaka J. Math. , 24:227–252, 1987
work page 1987
-
[63]
V . B. Mehta and A. Ramanathan. Semistable sheaves on pro jective varieties and their restric- tion to curves. Math. Ann., 258:213–224, 1982
work page 1982
-
[64]
V . B. Mehta and A. Ramanathan. Restriction of stable she aves and representations of the fundamental group. Invent. Math., 77:163–172, 1984
work page 1984
-
[65]
T. Ohsawa and K. Takegoshi. On the extension of L2 holomorphic functions. Math. Z. , 195:197–204, 1987. Wess-Zumino-Witten equation and Harder-Narasimhan potentials 53
work page 1987
-
[66]
J. C. Ottem. Ample subvarieties and q-ample divisors. Adv. Math., 229(5):2868–2887, 2012
work page 2012
-
[67]
D. H. Phong and J. Sturm. The Monge-Amp` ere operator and geodesics in the space of K¨ ahler potentials. Invent. Math., 166(1):125–149, 2006
work page 2006
-
[68]
D. H. Phong and J. Sturm. The Dirichlet problem for degen erate complex Monge-Amp` ere equations. Commun. Anal. Geom. , 18(1):145–170, 2010
work page 2010
-
[69]
D. H. Phong and J. Sturm. Regularity of geodesic rays and Monge-Amp` ere equations. Proc. Am. Math. Soc., 138(10):3637–3650, 2010
work page 2010
-
[70]
J. Ross and D. W. Nystr¨ om. Analytic test configurations and geodesic rays. J. Symplectic Geom., 12(1):125–169, 2014
work page 2014
-
[71]
Y . A. Rubinstein and S. Zelditch. Bergman approximatio ns of harmonic maps into the space of K¨ ahler metrics on toric varieties.J. Symplectic Geom., 8(3):239–265, 2010
work page 2010
-
[72]
S. Semmes. Complex Monge-Amp` ere and symplectic manif olds. Am. J. Math., 114(3):495– 550, 1992
work page 1992
-
[73]
B. Sibley. Asymptotics of the Y ang-Mills flow for holomo rphic vector bundles over K¨ ahler manifolds: the canonical structure of the limit. J. Reine Angew. Math., 706:123–191, 2015
work page 2015
-
[74]
B. Simon. Loewner’s theorem on monotone matrix functions , volume 354 of Grundlehren Math. Wiss. Cham: Springer, 2019
work page 2019
-
[75]
Y .-T. Siu. Lectures on Hermitian-Einstein metrics for stable bundles and K ¨ahler- Einstein metrics. Delivered at the German Mathematical Society Semi nar in D ¨usseldorf (FRG) in June, 1986, volume 8 of DMV Semin. Birkh¨ auser V erlag, Stuttgart. Deutsche Mathematiker- V ereinigung e.V ., Freiburg im Breisgau, 1987
work page 1986
-
[76]
J. Song and S. Zelditch. Bergman metrics and geodesics i n the space of K¨ ahler metrics on toric varieties. Anal. PDE, 3(3):295–358, 2010
work page 2010
- [77]
-
[78]
G. Sz´ ekelyhidi. Filtrations and test-configurations. Math. Ann., 362(1-2):451–484, 2015
work page 2015
-
[79]
G. Sz´ ekelyhidi. Fully non-linear elliptic equationson compact Hermitian manifolds. J. Differ . Geom., 109(2):337–378, 2018
work page 2018
-
[80]
G. Tian. On a set of polarized K¨ ahler metrics on algebra ic manifolds. J. Diff. Geom. , 32(1):99–130, 1990
work page 1990
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.