pith. sign in

arxiv: 2407.06034 · v3 · submitted 2024-07-08 · 🧮 math.DG · math.AG· math.CV

About Wess-Zumino-Witten equation and Harder-Narasimhan potentials

Pith reviewed 2026-05-23 22:59 UTC · model grok-4.3

classification 🧮 math.DG math.AGmath.CV
keywords Wess-Zumino-Witten equationHarder-Narasimhan filtrationMonge-Ampère equationpolarized familiesAndreotti-Grauert theoremYang-Mills functionalKobayashi-Hitchin correspondence
0
0 comments X

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.

The paper seeks to understand when approximate solutions exist for the Wess-Zumino-Witten equation on families of complex projective manifolds polarized by a line bundle. It identifies algebraic obstructions tied to the Harder-Narasimhan filtrations of direct image sheaves that control this existence. When solutions do not exist, it introduces an auxiliary Monge-Ampère equation that incorporates weighted Bergman kernels and always has approximate solutions, which minimize the Yang-Mills functional. This framework recovers known correspondences in special cases and proves an asymptotic version of a conjecture by Demailly on the Andreotti-Grauert theorem in fibered settings. A sympathetic reader would care because it links algebraic geometry data directly to analytic equations on moduli-like spaces.

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

These are editorial extensions of the paper, not claims the author makes directly.

  • 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

Figures reproduced from arXiv: 2407.06034 by Siarhei Finski.

Figure 1
Figure 1. Figure 1: Sharp and trivial lower bounds on the Wess-Zumino- [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗
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.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 1 minor

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)
  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

0 responses · 0 unresolved

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

0 steps flagged

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

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review; no explicit free parameters, axioms, or invented entities can be extracted. Standard background results in complex geometry (existence of Harder-Narasimhan filtrations, properties of polarized families) are implicitly used but not detailed.

pith-pipeline@v0.9.0 · 5701 in / 1252 out tokens · 20623 ms · 2026-05-23T22:59:05.460451+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Uniform weak RC-positivity and rational connectedness

    math.DG 2026-04 unverdicted novelty 6.0

    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

89 extracted references · 89 canonical work pages · cited by 1 Pith paper

  1. [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

  2. [2]

    Andreotti and H

    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

  3. [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

  4. [4]

    Bergh and J

    J. Bergh and J. L¨ ofstr¨ om.Interpolation spaces. An introduction , volume 223 of Grundlehren Math. Wiss. 1976

  5. [5]

    Berndtsson

    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

  6. [6]

    Berndtsson

    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

  7. [7]

    R. Bhatia. Matrix analysis, volume 169 of Grad. Texts Math. New Y ork, NY: Springer, 1996

  8. [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

  9. [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

  10. [10]

    Boucksom and H

    S. Boucksom and H. Chen. Okounkov bodies of filtered line ar series. Compos. Math. , 147(4):1205–1229, 2011

  11. [11]

    Boucksom and M

    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

  12. [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

  13. [13]

    G. Chen. The J-equation and the supercritical deformed Hermitian-Y ang-Mills equation. Invent. Math., 225(2):529–602, 2021

  14. [14]

    H. Chen. Convergence of Harder-Narasimhan polygons. M´em. Soc. Math. Fr ., Nouv. S ´er ., 120:112, 2010

  15. [15]

    H. Chen. Computing the volume function on a projective b undle over a curve. RIMS Kˆokyˆuroku, 1745:169–182, 2011

  16. [16]

    Chen and C

    H. Chen and C. Maclean. Distribution of logarithmic spe ctra of the equilibrium energy. Manuscr . Math., 146(3-4):365–394, 2015

  17. [17]

    X. Chen. The space of K¨ ahler metrics. J. Differ . Geom., 56(2):189–234, 2000

  18. [18]

    X. Dai, K. Liu, and X. Ma. On the asymptotic expansion of b ergman kernel. J. Diff. Geom., 72(1):1–41, 2006

  19. [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

  20. [20]

    Datar and V

    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

  21. [21]

    Demailly

    J.-P . Demailly. Champs magn´ etiques et in´ egalit´ es de Morse pour la d′′-cohomologie. Ann. Inst. F ourier, 35(4):189–229, 1985

  22. [22]

    Demailly

    J.-P . Demailly. Holomorphic Morse inequalities and asymptotic cohomology groups: a tribute to Bernhard Riemann. Milan J. Math., 78(1):265–277, 2010

  23. [23]

    Demailly

    J.-P . Demailly. A converse to the Andreotti-Grauert th eorem. Ann. Fac. Sci. Toulouse, Math. (6), 20:123–135, 2011

  24. [24]

    Demailly

    J.-P . Demailly. Complex Analytic and Differential Geometry . 2012

  25. [25]

    Demailly

    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

  26. [26]

    Demailly, L

    J.-P . Demailly, L. Ein, and R. Lazarsfeld. A subadditiv ity property of multiplier ideals. Mich. Math. J., 48:137–156, 2000

  27. [27]

    Dervan and L

    R. Dervan and L. M. Sektnan. Moduli theory, stability of fibrations and optimal symplectic connections. Geom. Topol., 25(5):2643–2697, 2021

  28. [28]

    Dervan and G

    R. Dervan and G. Sz´ ekelyhidi. The K¨ ahler-Ricci flow and optimal degenerations. J. Differ . Geom., 116(1):187–203, 2020

  29. [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

  30. [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

  31. [31]

    S. K. Donaldson. Scalar curvature and projective embed dings. I. J. Differ . Geom., 59(3):479– 522, 2001

  32. [32]

    S. K. Donaldson. Scalar curvature and stability of tori c varieties. J. Differ . Geom., 62(2):289– 349, 2002

  33. [33]

    S. K. Donaldson. Lower bounds on the Calabi functional. J. Differ . Geom., 70(3):453–472, 2005

  34. [34]

    H. Feng, K. Liu, and X. Wan. Geodesic-Einstein metrics a nd nonlinear stabilities. Trans. Am. Math. Soc., 371(11):8029–8049, 2019

  35. [35]

    S. Finski. Complex embeddings, Toeplitz operators and transitivity of optimal holomorphic extensions, arXiv:2201.04102, 52 p., to appear in Comment. Math. Helv. 2022

  36. [36]

    S. Finski. On the metric structure of section ring, arXi v: 2209.03853, 50 p. 2022

  37. [37]

    S. Finski. Submultiplicative norms and filtrations on s ection rings, arXiv: 2210.03039, 43 p. 2022

  38. [38]

    S. Finski. Geometry at the infinity of the space of positi ve metrics: test configurations, geodesic rays and chordal distances, arXiv: 2305.15300, 48 p., to appear in Journal f¨ ur die reine und angewandte Mathematik. 2023

  39. [39]

    S. Finski. Lower bounds on fibered Y ang-Mills functiona ls: generic nefness and semistability of direct images, arXiv:2402.08598. 2024

  40. [40]

    S. Finski. On Harder-Narasimhan slopes of direct image s, arXiv:2402.08554. 2024

  41. [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

  42. [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

  43. [43]

    S. Finski. Toeplitz operators, submultiplicative filt rations and weighted Bergman kernels, arXiv: 2411.05566. 2024

  44. [44]

    T. Fujita. Approximating Zariski decomposition of big line bundles. Kodai Math. J., 17(1):1– 3, 1994

  45. [45]

    Hartshorne

    R. Hartshorne. Algebraic geometry, volume 52 of Grad. Texts Math. Springer, Cham, 1977. Wess-Zumino-Witten equation and Harder-Narasimhan potentials 52

  46. [46]

    Hironaka

    H. Hironaka. Resolution of singularities of an algebra ic variety over a field of characteristic zero. I. Ann. Math. (2), 79:109–203, 1964

  47. [47]

    Hironaka

    H. Hironaka. Resolution of singularities of an algebra ic variety over a field of characteristic zero. II. Ann. Math. (2) , 79:205–326, 1964

  48. [48]

    Hisamoto

    T. Hisamoto. On the limit of spectral measures associat ed to a test configuration of a polarized K¨ ahler manifold.J. Reine Angew. Math., 713:129–148, 2016

  49. [49]

    Hisamoto

    T. Hisamoto. Geometric flow, multiplier ideal sheaves a nd optimal destabilizer for a Fano manifold. J. Geom. Anal., 33(8):30, 2023. Id/No 265

  50. [50]

    Jonsson, N

    M. Jonsson, N. McCleerey, and S. Shivaprasad. Geodesic Rays in the Donaldson-Uhlenbeck- Y au Theorem, arXiv: 2210.09246. 2022

  51. [51]

    Knudsen and D

    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

  52. [52]

    Kobayashi

    S. Kobayashi. Complex Finsler vector bundles. In Finsler geometry. Joint summer research conference, July 16-20, 1995, Seattle, WA, USA , pages 145–153. Providence, RI: American Mathematical Society, 1996

  53. [53]

    Kobayashi

    S. Kobayashi. Differential Geometry of Complex V ector Bundles. Princeton University Press, Princeton, 2014

  54. [54]

    K¨ uronya

    A. K¨ uronya. Asymptotic cohomological functions on pr ojective varieties. Am. J. Math. , 128(6):1475–1519, 2006

  55. [55]

    Boutet de Monvel and V

    L. Boutet de Monvel and V . Guillemin. The Spectral Theory of Toeplitz Operators. Princeton University Press, 1981

  56. [56]

    Lazarsfeld

    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

  57. [57]

    L¨ owner

    K. L¨ owner. ¨Uber monotone Matrixfunktionen. Math. Z., 38:177–216, 1934

  58. [58]

    Ma and G

    X. Ma and G. Marinescu. Holomorphic Morse inequalities and Bergman kernels , volume 254 of Progr . Math.Birkh¨ auser V erlag Basel, 2007

  59. [59]

    Ma and G

    X. Ma and G. Marinescu. Toeplitz operators on symplecti c manifolds. J. Geom. Anal. , 18(2):565–611, 2008

  60. [60]

    Ma and G

    X. Ma and G. Marinescu. Exponential estimate for the asy mptotics of Bergman kernels. Math. Ann., 362(3-4):1327–1347, 2015

  61. [61]

    Ma and W

    X. Ma and W. Zhang. Superconnection and family Bergman k ernels. Math. Ann. , 386(3- 4):2207–2253, 2023

  62. [62]

    T. Mabuchi. Some symplectic geometry on compact K¨ ahle r manifolds. I. Osaka J. Math. , 24:227–252, 1987

  63. [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

  64. [64]

    V . B. Mehta and A. Ramanathan. Restriction of stable she aves and representations of the fundamental group. Invent. Math., 77:163–172, 1984

  65. [65]

    Ohsawa and K

    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

  66. [66]

    J. C. Ottem. Ample subvarieties and q-ample divisors. Adv. Math., 229(5):2868–2887, 2012

  67. [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

  68. [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

  69. [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

  70. [70]

    Ross and D

    J. Ross and D. W. Nystr¨ om. Analytic test configurations and geodesic rays. J. Symplectic Geom., 12(1):125–169, 2014

  71. [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

  72. [72]

    S. Semmes. Complex Monge-Amp` ere and symplectic manif olds. Am. J. Math., 114(3):495– 550, 1992

  73. [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

  74. [74]

    B. Simon. Loewner’s theorem on monotone matrix functions , volume 354 of Grundlehren Math. Wiss. Cham: Springer, 2019

  75. [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

  76. [76]

    Song and S

    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

  77. [77]

    J. Sun. On the image of the Hilbert map, arXiv: 2208.1340 7. 2022

  78. [78]

    Sz´ ekelyhidi

    G. Sz´ ekelyhidi. Filtrations and test-configurations. Math. Ann., 362(1-2):451–484, 2015

  79. [79]

    Sz´ ekelyhidi

    G. Sz´ ekelyhidi. Fully non-linear elliptic equationson compact Hermitian manifolds. J. Differ . Geom., 109(2):337–378, 2018

  80. [80]

    G. Tian. On a set of polarized K¨ ahler metrics on algebra ic manifolds. J. Diff. Geom. , 32(1):99–130, 1990

Showing first 80 references.