arxiv: 2605.02046 · v1 · submitted 2026-05-03 · 🧮 math.DG

Recognition: 3 theorem links

· Lean Theorem

A Calabi-Yau Metric on the Kummer Surface

Benjamin Shackleton

Pith reviewed 2026-05-08 19:04 UTC · model grok-4.3

classification 🧮 math.DG

keywords Kummer surfaceK3 surfaceRicci-flat metricCalabi-Yau metricgluing constructionEguchi-Hanson spaceGibbons-Hawking ansatzelliptic theory

0 comments

The pith

The Kummer K3 surface admits a Ricci-flat metric constructed by gluing model spaces using only standard Hölder and Sobolev spaces.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves that a Ricci-flat metric exists on the Kummer K3 surface. It adapts a gluing strategy to resolve the surface's sixteen singular points but carries out every analytic estimate inside ordinary Hölder and Sobolev spaces on compact domains. No weighted norms or conformal changes are used at any stage. The central model space is shown to be isometric to an alternative description based on harmonic functions. A reader would care because the result shows that such a metric can be obtained with the most basic tools of elliptic theory.

Core claim

We prove the existence of a Ricci flat metric on the Kummer K3 surface. The proof follows the general strategy of the gluing construction. However, we tackle the analysis without appealing to weighted norms or conformal transformations to model spaces, instead relying solely on compact elliptic theory on usual Hölder and Sobolev spaces. As the Eguchi-Hanson space plays a central role in the construction, we also present and compare different descriptions of this space, showing explicitly that it is isometric to a suitable Gibbons-Hawking ansatz.

What carries the argument

The gluing construction that attaches copies of the Eguchi-Hanson space at the singular points of the Kummer surface, with all estimates performed via compact elliptic theory in standard Hölder and Sobolev spaces.

If this is right

A Ricci-flat metric is obtained on the fully resolved K3 surface.
The central model space is isometric to the Gibbons-Hawking ansatz.
All correction terms for the metric are controlled inside standard Hölder and Sobolev spaces.
The construction requires no non-compact weighted analysis.

Where Pith is reading between the lines

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

The same restriction to compact spaces could simplify gluing proofs for other singular K3 surfaces or hyperkähler manifolds.
Coordinate descriptions of the model space now allow direct numerical approximation of the metric using standard finite-element methods.
The equivalence of the two descriptions of the model space may yield simpler formulas for curvature quantities near the resolved points.

Load-bearing premise

The gluing construction succeeds when analysis is performed solely with compact elliptic theory on usual Hölder and Sobolev spaces, without needing weighted norms or conformal transformations to model spaces.

What would settle it

A direct calculation showing that the linearized Ricci-flat equation fails to be invertible in the unweighted Sobolev spaces on the glued manifold, or that the error term in the approximate metric does not lie in the required function space, would disprove the existence claim.

read the original abstract

We prove the existence of a Ricci flat metric on the Kummer K3 surface. The proof follows the general strategy of Donaldson's gluing construction. However, we tackle the analysis without appealing to weighted norms or conformal transformations to model spaces, instead relying solely on compact elliptic theory on usual H\"older and Sobolev spaces. As the Eguchi-Hanson space plays a central role in the construction, we also present and compare different descriptions of this space, showing explicitly that it is isometric to a suitable Gibbons-Hawking ansatz.

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.

Desk Editor's Note private letter to a colleague

Shackleton gives a variant of Donaldson's gluing proof for the Ricci-flat metric on the Kummer surface that avoids weighted norms and conformal compactification.

read the letter

The paper proves existence of a Ricci-flat metric on the Kummer K3 surface by gluing Eguchi-Hanson spaces into the orbifold resolution. It follows the overall strategy from Donaldson but carries out the analysis entirely in standard Hölder and Sobolev spaces on compact pieces, without weighted norms or conformal transformations. It also works through several descriptions of the Eguchi-Hanson space and shows explicitly that it is isometric to a Gibbons-Hawking ansatz. That comparison is clear and concrete, which is helpful for anyone who wants to work with explicit coordinates rather than abstract properties. The main technical claim is that the linearized operator remains invertible and the nonlinear iteration closes with ordinary elliptic estimates once the cutoffs are handled carefully. If those bounds hold, the avoidance of weights is a genuine simplification that could make similar constructions easier to write down or adapt. The potential weakness is exactly the one the stress test flags. The Eguchi-Hanson metric has curvature decaying like 1/r^4, and when you truncate and glue on compact domains the cutoff errors and the slow tails need to be controlled uniformly. Standard unweighted spaces do not automatically give the decay rates or the Fredholm constants that weighted spaces provide, so the paper must supply explicit a priori estimates showing that the residuals stay small enough for the contraction to work. Without seeing those estimates in detail it is hard to be sure the argument closes, but the abstract and outline suggest the author believes they do. This is a paper for people already working on gluing constructions for Calabi-Yau metrics or on explicit K3 geometry. It will not change the broader existence theorem, which is already known, but the different analytic route could be useful to specialists who want to avoid weighted spaces. I would send it to peer review so a referee can verify the estimates in the gluing step.

Referee Report

2 major / 2 minor

Summary. The manuscript claims to prove the existence of a Ricci-flat Calabi-Yau metric on the Kummer K3 surface. It follows Donaldson's gluing strategy by inserting Eguchi-Hanson ALE spaces into the Kummer orbifold but performs the entire analytic argument (linearized estimates, nonlinear iteration, error control) using only standard Hölder and Sobolev spaces on compact truncated domains, without weighted norms or conformal compactifications. The paper also supplies explicit comparisons showing that the Eguchi-Hanson space is isometric to a suitable Gibbons-Hawking ansatz.

Significance. If the estimates close, the result would give a new existence proof for the hyperkähler metric on the Kummer surface and demonstrate that compact elliptic theory suffices for this gluing, which could simplify future constructions in Kähler geometry. The explicit isometry between Eguchi-Hanson and Gibbons-Hawking descriptions is a useful side contribution to the literature on ALE spaces.

major comments (2)

[Gluing construction and error estimates (the section following the Eguchi-Hanson comparison)] The central gluing argument relies on invertibility of the linearized Monge-Ampère (or Lichnerowicz) operator with uniform estimates in unweighted Hölder/Sobolev spaces on the truncated pieces. Because the Eguchi-Hanson metric is ALE with curvature decaying only as O(r^{-4}), the cutoff errors at the gluing interfaces produce boundary terms whose size is not controlled by compact elliptic theory alone; the manuscript must exhibit explicit a-priori bounds showing these remain smaller than the contraction constant throughout the iteration.
[Analysis of the linearized operator] The Fredholm property and surjectivity of the linearized operator are asserted on the compact pieces, yet the paper does not record the precise dependence of the constants on the truncation radius or on the distance to the orbifold points. Without this dependence, it is impossible to verify that the iteration converges uniformly as the truncation is removed.

minor comments (2)

[Introduction and setup] Notation for the Kummer lattice and the choice of complex structure on the torus should be fixed once at the beginning rather than re-introduced in the gluing section.
[Eguchi-Hanson section] The comparison of Eguchi-Hanson descriptions would benefit from a short table listing the coordinate changes and the decay rates in each chart.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the need for more explicit control on the error terms and constant dependence. We agree that additional details will strengthen the presentation and will revise the manuscript accordingly. Our approach remains based on compact elliptic theory on truncated domains, with the truncation radius chosen sufficiently large relative to the gluing parameter; we will make the quantitative estimates fully explicit.

read point-by-point responses

Referee: [Gluing construction and error estimates (the section following the Eguchi-Hanson comparison)] The central gluing argument relies on invertibility of the linearized Monge-Ampère (or Lichnerowicz) operator with uniform estimates in unweighted Hölder/Sobolev spaces on the truncated pieces. Because the Eguchi-Hanson metric is ALE with curvature decaying only as O(r^{-4}), the cutoff errors at the gluing interfaces produce boundary terms whose size is not controlled by compact elliptic theory alone; the manuscript must exhibit explicit a-priori bounds showing these remain smaller than the contraction constant throughout the iteration.

Authors: We agree that explicit a-priori bounds on the cutoff errors are necessary for a complete verification. In the revised version we will add a dedicated lemma (in the gluing section) that quantifies the boundary terms arising from the cutoff functions. Using the O(r^{-4}) curvature decay of the Eguchi-Hanson metric, we show that for truncation radius R chosen larger than a constant depending only on the gluing scale ε, these errors are O(ε^2) and strictly smaller than the contraction constant of the nonlinear iteration. The argument uses only standard interior estimates on the compact truncated pieces and does not invoke weighted spaces. revision: yes
Referee: [Analysis of the linearized operator] The Fredholm property and surjectivity of the linearized operator are asserted on the compact pieces, yet the paper does not record the precise dependence of the constants on the truncation radius or on the distance to the orbifold points. Without this dependence, it is impossible to verify that the iteration converges uniformly as the truncation is removed.

Authors: We acknowledge that the dependence of the elliptic constants on the truncation radius R and the distance to the orbifold points was left implicit. In the revision we will insert a new paragraph (or short appendix) that records the explicit dependence: the Hölder and Sobolev constants for the linearized operator on each truncated piece grow at most polynomially in R, while the distance to the orbifold points enters only through the local geometry of the Kummer orbifold, which is fixed. With R chosen sufficiently large (as already required for the error bounds above), these constants remain controlled uniformly in the iteration, allowing the contraction to close independently of the final limit as the truncation is removed. revision: yes

Circularity Check

0 steps flagged

No circularity: existence proof follows external Donaldson's gluing framework with standard elliptic analysis on compact spaces

full rationale

The paper's central claim is the existence of a Ricci-flat metric on the Kummer K3 via gluing Eguchi-Hanson spaces into the orbifold, using only usual Hölder/Sobolev spaces and compact elliptic theory (no weights or conformal changes). This builds directly on Donaldson's prior independent gluing construction and standard PDE results, with an additional comparison of Eguchi-Hanson descriptions to the Gibbons-Hawking ansatz. No load-bearing step reduces by definition, fitted parameter, or self-citation chain to the target result; the derivation remains self-contained against external benchmarks and does not invoke uniqueness theorems or ansatzes from the authors' own prior work.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the validity of Donaldson's gluing outline plus standard results from elliptic PDE theory on compact manifolds; no free parameters, new entities, or ad-hoc axioms are introduced beyond those.

axioms (1)

standard math Standard elliptic regularity and a priori estimates hold on compact domains in Hölder and Sobolev spaces
Invoked to replace weighted-norm analysis in the gluing construction

pith-pipeline@v0.9.0 · 5370 in / 1306 out tokens · 92670 ms · 2026-05-08T19:04:03.107648+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith.Cost (J(x) = ½(x+x⁻¹) − 1) washburn_uniqueness_aczel unclear
(ω₀ + 2i∂̄∂φ)² = λχ∧χ̄ ... known as the Calabi-Yau equation or the complex Monge-Ampère equation.
IndisputableMonolith.Constants (phi = (1+√5)/2) phi_golden_ratio unclear
The Kähler potential for ωI, φa(r), associated with the Eguchi-Hanson metric can be written as φa(r) = r²/2 + (a²/4) log((r²−a²)/(r²+a²)).

Reference graph

Works this paper leans on

20 extracted references

[1]

Donaldson

S. Donaldson. Calabi-Yau metrics on Kummer surfaces as a model glueing problem, 2010

2010
[2]

Gibbons and S

G. Gibbons and S. Hawking. Classification of gravitational instanton symmetries.Commu- nications in Mathematical Physics, 66(3):291–310, 1979

1979
[3]

S.-T. Yau. On the Ricci curvature of a compact Kähler manifold and the complex Monge- Ampère equation.Communications on Pure and Applied Mathematics, 31(3):339–411, 1978

1978
[4]

Eguchi and A

T. Eguchi and A. J. Hanson. Asymptotically flat self-dual solutions to euclidean gravity . Physics Letters B, 74(3):249–251, 1978

1978
[5]

Topiwala

P. Topiwala. A new proof of the existence of kähler-einstein metrics on k3, i.Inventiones mathematicae, 89:425–448, 1987. 25

1987
[6]

T. Jiang. The Kummer construction of Calabi-Yau and hyper-Kähler metrics on theK3sur- face, and large families of volume non-collapsed limiting compact hyper-Kähler orbifolds, 2025

2025
[7]

Huybrechts.Complex Geometry : An Introduction

D. Huybrechts.Complex Geometry : An Introduction. Universitext. Springer Berlin Heidel- berg, Berlin, Heidelberg, 1st ed. 2005. edition, 2005

2005
[8]

Patterson

A. Patterson. An introduction to Calabi-Yau manifolds, 2025

2025
[9]

M. P. d. Carmo.Riemannian geometry. Mathematics, theory & applications. Birkhaäuser, Boston, 1992

1992
[10]

Ballmann.Lectures on Kähler Manifolds

W. Ballmann.Lectures on Kähler Manifolds. ESI Lectures in Mathematics and Physics. European Mathematical Society , 2006

2006
[11]

D. D. Joyce.Compact Manifolds with Special Holonomy. Oxford Mathematical Monographs. Oxford University Press, Oxford, 2000

2000
[12]

Moroianu.The Ricci form of Kähler manifolds, page 119–124

A. Moroianu.The Ricci form of Kähler manifolds, page 119–124. London Mathematical Society Student Texts. Cambridge University Press, 2007

2007
[13]

Brezis.Functional Analysis, Sobolev Spaces and Partial Differential Equations

H. Brezis.Functional Analysis, Sobolev Spaces and Partial Differential Equations. Universi- text. Springer, New York, NY, 1 edition, 2010

2010
[14]

Petersen.Riemannian Geometry

P. Petersen.Riemannian Geometry. Graduate Texts in Mathematics, 171. Springer Inter- national Publishing, Cham, 3rd ed. 2016. edition, 2016

2016
[15]

Li and S

P. Li and S. Yau. Estimates of eigenvalues of a compact Riemannian manifold.Proc. Sympos. PureMath., 36, 01 1980

1980
[16]

Gilbarg and N

D. Gilbarg and N. S. Trudinger.Elliptic partial differential equations of second order. Grundlehren der mathematischen Wissenschaften, 224. Springer, 2nd ed., rev. 3rd print- ing. edition, 1998

1998
[17]

Joyce and S

D. Joyce and S. Karigiannis. A new construction of compact torsion-freeG 2-manifolds by gluing families of Eguchi–Hanson spaces.Journal of Differential Geometry, 117(2), Feb. 2021

2021
[18]

M. R. Douglas, J. Gómez-Serrano, F. Lehmann, D. Platt, Y. Qi, and F. Tong. Explicit elliptic estimates in geometric analysis. To appear
[19]

Hebey .Sobolev Spaces on Riemannian Manifolds, volume 1635 ofLecture Notes in Math- ematics

E. Hebey .Sobolev Spaces on Riemannian Manifolds, volume 1635 ofLecture Notes in Math- ematics. Springer, Berlin, Heidelberg, 1996

1996
[20]

Szekelyhidi.An introduction to extremal Kähler metrics

G. Szekelyhidi.An introduction to extremal Kähler metrics. Graduate Studies in Mathe- matics ; Volume 152. American Mathematical Society , Providence, Rhode Island, 2014 - 2014. 26

2014