pith. sign in

arxiv: 2604.04336 · v1 · submitted 2026-04-06 · 🧮 math.DG · math.AP

Calibrating Forms for Minimal Graphs in Arbitrary Codimension

Chung-Jun Tsai , Mu-Tao Wang This is my paper

Pith reviewed 2026-05-10 20:10 UTC · model grok-4.3

classification 🧮 math.DG math.AP MSC 53C3849Q05
keywords minimal graphscalibrationscomassdifferential formsarea-minimizingsingular valuestwo-dilationsGauss map
0
0 comments X

The pith

Two-dilation inequalities on singular values guarantee that minimal graphs are area-minimizing in any codimension

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

The paper constructs a new family of closed differential forms for minimal graphical submanifolds in Euclidean space of arbitrary codimension. Each such form restricts to the induced volume form on the graph and arises as the pullback via the Gauss map of a tautological form on the Grassmannian. The calibration question reduces to bounding the pointwise comass of these forms, which the authors show is at most one precisely when explicit inequalities hold on the two-dilations of the singular values of the map defining the graph. Graphs meeting those inequalities are therefore calibrated and area-minimizing. This supplies both a broad new class of calibrated examples beyond codimension one and a concrete test for where a given minimal graph minimizes area, while also confirming the Lawson-Osserman conjecture under the same conditions.

Core claim

For each minimal graph one can associate an explicit closed form that restricts to the volume form on the graph; this form has comass at most one if and only if the two-dilations of the singular values of the defining map satisfy certain explicit inequalities, so the graph is calibrated and hence area-minimizing whenever those inequalities hold.

What carries the argument

Closed differential forms obtained as Gauss-map pullbacks of tautological forms on the Grassmannian, with comass bounded by two-dilation inequalities on singular values

If this is right

  • Any minimal graph obeying the two-dilation inequalities is calibrated and therefore area-minimizing.
  • The inequalities give an effective criterion that locates exactly where a given minimal graph minimizes area.
  • The construction produces many new calibrated minimal graphs that extend the classical theory beyond codimension one.
  • The Lawson-Osserman conjecture on minimal graphs holds under the two-dilation conditions in arbitrary codimension.

Where Pith is reading between the lines

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

  • The same pullback construction might produce calibrations for certain non-graphical minimal submanifolds whenever a Gauss map is available.
  • The two-dilation inequalities could serve as a practical numerical test for area-minimization on explicitly given graphs.
  • Analogous comass estimates might apply to volume-minimizing problems in other ambient manifolds or with prescribed boundary data.

Load-bearing premise

The constructed closed forms have comass at most one precisely when the explicit inequalities on the two-dilations of the singular values hold.

What would settle it

An explicit minimal graph that satisfies all the two-dilation inequalities yet whose associated form has comass strictly greater than one, or a minimal graph violating one inequality whose form nevertheless has comass at most one.

read the original abstract

We introduce a new family of closed differential forms naturally associated with minimal graphical submanifolds in Euclidean space, defined in arbitrary codimension. For each minimal graph, we construct an explicit closed form whose restriction coincides with the induced volume form. These forms admit a geometric interpretation as pullbacks, via the Gauss map, of tautological differential forms on the Grassmannian. In contrast to most known calibrations, they are generally not parallel and do not arise from special holonomy or symmetry considerations. The calibration problem is thus reduced to estimating the pointwise comass of the constructed forms. We show that the comass bound can be characterized in terms of explicit inequalities involving the singular values of the defining map of the graph, formulated via its two-dilations and we identify precise conditions ensuring that the comass is at most one. As a consequence, any minimal graph satisfying these conditions is calibrated and hence area-minimizing. This yields a broad class of new calibrated minimal graphs, extending the classical codimension-one theory, and provides an effective criterion for determining precisely where a given minimal graph is area-minimizing. As an application of our construction, we confirm a conjecture of Lawson and Osserman under two-dilation conditions, in arbitrary codimesnion.

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

2 major / 2 minor

Summary. The paper constructs a new family of closed differential forms on minimal graphs in Euclidean space of arbitrary codimension. These forms arise as pullbacks, via the Gauss map, of tautological forms on the Grassmannian; their restriction to the graph coincides with the induced volume form. The authors characterize the pointwise comass of these forms via explicit inequalities on the two-dilations of the singular values of the graphing map and identify conditions under which the comass is at most one. Consequently, any minimal graph satisfying the conditions is calibrated (hence area-minimizing). The construction is applied to confirm the Lawson-Osserman conjecture under two-dilation conditions in arbitrary codimension.

Significance. If the comass estimates are rigorously established, the work provides a substantial extension of calibrated geometry beyond codimension one, yielding a broad new class of calibrated minimal graphs together with an effective, checkable criterion for the area-minimizing property. The geometric construction via Gauss maps and tautological forms is elegant and does not rely on special holonomy or parallel forms. The confirmation of the Lawson-Osserman conjecture under the stated conditions is a concrete payoff. The approach may open avenues for further calibrated submanifolds and numerical verification of minimality.

major comments (2)
  1. [Main theorem on comass bound (likely §3–4)] The central claim that the comass is at most one precisely when the explicit inequalities on the two-dilations of the singular values hold (abstract and the main theorem characterizing the bound) is load-bearing for the calibration conclusion. In codimension greater than one the comass norm on the Grassmannian involves the full metric and higher contractions; the manuscript must supply the complete expansion or a priori bounds demonstrating that all additional terms are controlled by the two-dilation inequalities alone. Without this verification or an accompanying error estimate, the forms are closed but the comass ≤ 1 step remains unconfirmed.
  2. [Application section] The application confirming the Lawson-Osserman conjecture (final section) inherits the same gap: the area-minimizing conclusion follows only if the two-dilation conditions indeed force comass ≤ 1 in arbitrary codimension. A low-dimensional numerical check or explicit expansion in codimension 2 would be needed to substantiate the claim.
minor comments (2)
  1. [Abstract] The abstract contains the typo 'codimesnion'; correct to 'codimension'.
  2. [Notation and preliminaries] Introduce the precise definition of 'two-dilations' with a low-dimensional example at the first appearance, rather than assuming familiarity.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address the major concerns point by point below, providing clarifications where the existing arguments may benefit from expansion and outlining the revisions we will undertake.

read point-by-point responses

  1. Referee: [Main theorem on comass bound (likely §3–4)] The central claim that the comass is at most one precisely when the explicit inequalities on the two-dilations of the singular values hold (abstract and the main theorem characterizing the bound) is load-bearing for the calibration conclusion. In codimension greater than one the comass norm on the Grassmannian involves the full metric and higher contractions; the manuscript must supply the complete expansion or a priori bounds demonstrating that all additional terms are controlled by the two-dilation inequalities alone. Without this verification or an accompanying error estimate, the forms are closed but the comass ≤ 1 step remains unconfirmed.

    Authors: We agree that an explicit verification of the higher-order terms in the comass norm is essential for rigor in codimension greater than one. In Sections 3 and 4 the comass is bounded by evaluating the pullback form on simple multivectors and applying the two-dilation inequalities to control the relevant contractions with respect to the Grassmannian metric. However, to address the concern directly, we will insert a new subsection (or appendix) that expands the comass expression in full, deriving an a priori estimate showing that all additional metric and contraction terms are dominated by the stated two-dilation conditions. This will make the implication comass ≤ 1 fully transparent. revision: yes

  2. Referee: [Application section] The application confirming the Lawson-Osserman conjecture (final section) inherits the same gap: the area-minimizing conclusion follows only if the two-dilation conditions indeed force comass ≤ 1 in arbitrary codimension. A low-dimensional numerical check or explicit expansion in codimension 2 would be needed to substantiate the claim.

    Authors: The Lawson-Osserman application in the final section is a direct corollary of the main comass theorem once the two-dilation conditions are imposed. To substantiate the claim as requested, the revised manuscript will include an explicit expansion of the comass norm in codimension 2, confirming that the inequalities suffice to yield comass ≤ 1. While a numerical verification is not required for the analytic argument, we will add a brief illustrative computation in low codimension to illustrate the bound. The general proof already covers arbitrary codimension without additional assumptions. revision: yes

Circularity Check

0 steps flagged

No circularity; comass characterization derived independently from geometric construction

full rationale

The paper constructs closed forms explicitly as pullbacks via the Gauss map of tautological forms on the Grassmannian, verifies that their restriction to the minimal graph coincides with the induced volume form, and then proves a characterization of the pointwise comass bound in terms of explicit inequalities on the two-dilations of the singular values of the graphing map. This step is presented as a derived result from the geometry of the forms and the Grassmannian metric rather than a redefinition or tautological equivalence. No load-bearing self-citations, fitted parameters renamed as predictions, or ansatzes smuggled via prior work appear in the derivation chain. The central claim therefore remains self-contained against external geometric benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard axioms of differential geometry and exterior algebra together with the definition of the Gauss map; the new forms are explicitly constructed rather than postulated without derivation. No free parameters or invented physical entities are indicated in the abstract.

axioms (2)
  • standard math The exterior derivative of the constructed forms vanishes (closedness).
    Invoked to ensure the forms are calibrations; appears in the construction step.
  • domain assumption The Gauss map pulls back tautological forms from the Grassmannian to the graph.
    Central geometric interpretation stated in the abstract.

pith-pipeline@v0.9.0 · 5519 in / 1710 out tokens · 76292 ms · 2026-05-10T20:10:57.542347+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages

  1. [1]

    W. K. Allard,On the first variation of a varifold, Ann. of Math. (2)95(1972), 417–491

    work page 1972

  2. [2]

    Bryant,Do minimal submanifolds minimize area locally?, July 23, 2017, MathOverflow, Answer to Ques- tion 277009

    R. Bryant,Do minimal submanifolds minimize area locally?, July 23, 2017, MathOverflow, Answer to Ques- tion 277009. Available at mathoverflow.net/questions/277009/

    work page 2017

  3. [3]

    T. H. Colding and W. P. Minicozzi II,A course in minimal surfaces, Graduate Studies in Mathematics, vol. 121, American Mathematical Society, Providence, RI, 2011

    work page 2011

  4. [4]

    Dimler,Partial regularity for Lipschitz solutions to the minimal surface system, Calc

    B. Dimler,Partial regularity for Lipschitz solutions to the minimal surface system, Calc. Var. Partial Dif- ferential Equations62(2023), no. 9, Paper No. 260, 30pp

    work page 2023

  5. [5]

    Federer,Geometric measure theory, Die Grundlehren der mathematischen Wissenschaften, vol

    H. Federer,Geometric measure theory, Die Grundlehren der mathematischen Wissenschaften, vol. Band 153, Springer-Verlag New York, Inc., New York, 1969

    work page 1969

  6. [6]

    ,Real flat chains, cochains and variational problems, Indiana Univ. Math. J.24(1974/75), 351–407

    work page 1974

  7. [7]

    Harvey and H

    R. Harvey and H. B. Lawson Jr.,Calibrated geometries, Acta Math.148(1982), 47–157

    work page 1982

  8. [8]

    Hirsch, C

    J. Hirsch, C. Mooney, and R. Tione,On the Lawson-Osserman conjecture, preprint. Available at arXiv:2308.04997

    work page arXiv

  9. [9]

    Jing and L

    L. Jing and L. Yang,A Bernstein-type theorem for minimal graphs of higher codimension via singular values, Vietnam J. Math.49(2021), no. 2, 481–492

    work page 2021

  10. [10]

    G. R. Lawlor,The angle criterion, Invent. Math.95(1989), no. 2, 437–446

    work page 1989

  11. [11]

    ,A sufficient criterion for a cone to be area-minimizing, Mem. Amer. Math. Soc.91(1991), no. 446, vi+111

    work page 1991

  12. [12]

    G. R. Lawlor and F. Morgan,Curvy slicing proves that triple junctions locally minimize area, J. Differential Geom.44(1996), no. 3, 514–528

    work page 1996

  13. [13]

    H. B. Lawson Jr. and R. Osserman,Non-existence, non-uniqueness and irregularity of solutions to the minimal surface system, Acta Math.139(1977), no. 1-2, 1–17

    work page 1977

  14. [14]

    Lee and M.-P

    Y.-I. Lee and M.-P. Tsui,Stability of the minimal surface system and convexity of area functional, Trans. Amer. Math. Soc.366(2014), no. 7, 3357–3371

    work page 2014

  15. [15]

    Y.-I. Lee, Y. S. Ooi, and M.-P. Tsui,Uniqueness of minimal graph in general codimension, J. Geom. Anal. 29(2019), no. 1, 121–133

    work page 2019

  16. [16]

    Lee and M.-T

    Y.-I. Lee and M.-T. Wang,A stability criterion for nonparametric minimal submanifolds, Manuscripta Math. 112(2003), no. 2, 161–169

    work page 2003

  17. [17]

    ,A note on the stability and uniqueness for solutions to the minimal surface system, Math. Res. Lett. 15(2008), no. 1, 197–206

    work page 2008

  18. [18]

    Simon,Lectures on geometric measure theory, Australian National University, Centre for Mathematical Analysis, Canberra, 1983

    L. Simon,Lectures on geometric measure theory, Australian National University, Centre for Mathematical Analysis, Canberra, 1983

    work page 1983

  19. [19]

    Wang,On graphic Bernstein type results in higher codimension, Trans

    M.-T. Wang,On graphic Bernstein type results in higher codimension, Trans. Amer. Math. Soc.355(2003), no. 1, 265–271. Department of Mathematics, National Taiwan University, and National Center for Theoreti- cal Sciences, Math Division, Taipei 10617, Taiwan Email address:cjtsai@ntu.edu.tw Department of Mathematics, Columbia University, New York, NY 10027, ...

    work page 2003