pith. sign in

arxiv: 2507.17714 · v2 · submitted 2025-07-23 · 🧮 math.CA · math.DG

Plateau's Problem for intrinsic graphs in the Heisenberg Group

Roberto Monti , Giacomo Vianello This is my paper

Pith reviewed 2026-05-19 03:24 UTC · model grok-4.3

classification 🧮 math.CA math.DG
keywords Plateau's problemHeisenberg groupintrinsic graphsH-perimeter minimizerscalibration argumentsub-Riemannian geometryminimal surfacesexistence results
0
0 comments X

The pith

A calibration argument establishes solutions to Plateau's problem for intrinsic graphs in the Heisenberg group under a smallness condition.

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

The paper proves existence of solutions to Plateau's problem for intrinsic graphs over convex domains in the Heisenberg group H^1. It constructs a competitor surface whose perimeter is bounded using a calibration, but only when a smallness condition holds either on the boundary of the domain or on the Lipschitz boundary function. The same techniques also produce a new regularity result for H-perimeter minimizers. A reader would care because this provides a concrete existence method in a setting where the geometry is non-Euclidean and classical variational techniques encounter obstructions.

Core claim

Using a geometric construction, we solve Plateau's Problem in the Heisenberg group H^1 for intrinsic graphs defined on a convex domain D, under a smallness condition either on the boundary ∂D or on the Lipschitz boundary datum φ : ∂D → R. The proof relies on a calibration argument. We then apply these techniques to establish a new regularity result for H-perimeter minimizers.

What carries the argument

Geometric construction of a competitor combined with a calibration argument that controls the perimeter under the smallness condition on boundary or data.

Load-bearing premise

The smallness condition on the boundary or the Lipschitz datum ensures that the constructed competitor has perimeter dominated by the calibration value.

What would settle it

An explicit convex domain or boundary datum violating the smallness threshold for which the calibration fails to bound the perimeter of any competitor would show the condition is necessary for the argument to work.

read the original abstract

Using a geometric construction, we solve Plateau's Problem in the Heisenberg group $\mathbb{H}^{1}$ for intrinsic graphs defined on a convex domain $D$, under a smallness condition either on the boundary $\partial D$ or on the Lipschitz boundary datum $\varphi : \partial D \to \mathbb{R}$. The proof relies on a calibration argument. We then apply these techniques to establish a new regularity result for $H$-perimeter minimizers.

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 / 2 minor

Summary. The manuscript solves Plateau's Problem in the Heisenberg group H^1 for intrinsic graphs over a convex domain D, under an explicit smallness condition on either the boundary ∂D or the Lipschitz boundary datum φ: ∂D → R. The proof proceeds via a geometric construction of a competitor whose H-perimeter is controlled by a calibration functional, yielding existence of an H-perimeter minimizer; the same techniques are then used to derive a new regularity result for such minimizers.

Significance. If the calibration inequality is established under the stated smallness hypothesis, the result supplies a concrete existence theorem for minimal intrinsic graphs in the sub-Riemannian setting, extending classical calibration methods to H^1. The explicit smallness requirement and the subsequent regularity application are both potentially useful contributions to the literature on Plateau problems and perimeter minimizers in Heisenberg geometry.

minor comments (2)
  1. The precise statement of the smallness hypothesis (e.g., the explicit bound on the diameter of ∂D or on the Lipschitz constant of φ) should be recalled in the introduction so that the scope of the existence theorem is immediately clear to the reader.
  2. In the regularity section, clarify whether the new regularity result applies only to the constructed minimizers or to all H-perimeter minimizers satisfying the same smallness condition.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript and for recommending minor revision. No specific major comments appear in the report, so we have no individual points to address.

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper establishes a conditional existence result for H-perimeter minimizers among intrinsic graphs over a convex domain in the Heisenberg group via an explicit geometric construction of a competitor whose perimeter is bounded by a calibration functional, subject to an explicitly stated smallness condition on either the domain boundary or the Lipschitz datum. This construction and calibration argument is presented as self-contained and does not reduce by definition or by equation to any fitted input, self-referential quantity, or load-bearing self-citation whose validity depends on the present paper. The smallness hypothesis is required precisely to ensure the calibration dominates the perimeter, and the limitation is acknowledged up front, confirming the derivation chain is independent of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on standard axioms of geometric measure theory in Carnot groups and the definition of intrinsic graphs; no free parameters or invented entities are introduced in the abstract.

axioms (2)
  • standard math The Heisenberg group H^1 is equipped with its standard left-invariant horizontal distribution and Haar measure.
    Invoked implicitly when defining intrinsic graphs and H-perimeter.
  • domain assumption Convexity of the domain D guarantees that the geometric construction stays inside the admissible class.
    Stated as part of the setting for the Plateau problem.

pith-pipeline@v0.9.0 · 5588 in / 1373 out tokens · 30542 ms · 2026-05-19T03:24:30.276980+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.

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages

  1. [1]

    Intrinsic regular hypersurfaces in Heisenberg groups

    Luigi Ambrosio, Francesco Serra Cassano, and Davide Vittone. Intrinsic regular hypersurfaces in Heisenberg groups. J. Geom. Anal., 16(2):187–232, 2006

    work page 2006

  2. [2]

    The Bernstein problem for intrinsic graphs in Heisenberg groups and calibrations.Calc

    Vittorio Barone Adesi, Francesco Serra Cassano, and Davide Vittone. The Bernstein problem for intrinsic graphs in Heisenberg groups and calibrations.Calc. Var. Partial Differential Equations, 30(1):17–49, 2007

    work page 2007

  3. [3]

    Bigolin, L

    F. Bigolin, L. Caravenna, and F. Serra Cassano. Intrinsic Lipschitz graphs in Heisenberg groups and contin- uous solutions of a balance equation.Ann. Inst. H. Poincaré C Anal. Non Linéaire, 32(5):925–963, 2015

    work page 2015

  4. [4]

    Regularity of non-characteristic minimal graphs in the Heisenberg groupH1

    Luca Capogna, Giovanna Citti, and Maria Manfredini. Regularity of non-characteristic minimal graphs in the Heisenberg groupH1. Indiana Univ. Math. J., 58(5):2115–2160, 2009

    work page 2009

  5. [5]

    Smoothness of Lipschitz minimal intrinsic graphs in Heisenberg groups Hn, n > 1

    Luca Capogna, Giovanna Citti, and Maria Manfredini. Smoothness of Lipschitz minimal intrinsic graphs in Heisenberg groups Hn, n > 1. J. Reine Angew. Math., 648:75–110, 2010

    work page 2010

  6. [6]

    Regularity ofC 1 smooth surfaces with prescribedp-mean curvature in the Heisenberg group.Math

    Jih-Hsin Cheng, Jenn-Fang Hwang, and Paul Yang. Regularity ofC 1 smooth surfaces with prescribedp-mean curvature in the Heisenberg group.Math. Ann., 344(1):1–35, 2009

    work page 2009

  7. [7]

    Smooth approximation for intrinsic Lipschitz functions in the Heisenberg group.Calc

    Giovanna Citti, Maria Manfredini, Andrea Pinamonti, and Francesco Serra Cassano. Smooth approximation for intrinsic Lipschitz functions in the Heisenberg group.Calc. Var. Partial Differential Equations, 49(3- 4):1279–1308, 2014

    work page 2014

  8. [8]

    Danielli, N

    D. Danielli, N. Garofalo, and D. M. Nhieu. A notable family of entire intrinsic minimal graphs in the Heisenberg group which are not perimeter minimizing.Amer. J. Math., 130(2):317–339, 2008

    work page 2008

  9. [9]

    Lipschitz minimizers for a class of integral functionals under the bounded slope condition.Nonlinear Anal., 216:Paper No

    Sebastiano Don, Luca Lussardi, Andrea Pinamonti, and Giulia Treu. Lipschitz minimizers for a class of integral functionals under the bounded slope condition.Nonlinear Anal., 216:Paper No. 112689, 27, 2022

    work page 2022

  10. [10]

    Stein, volume 42

    Charles Fefferman, Alexandru D Ionescu, Duong H Phong, and Stephen Wainger.Advances in analysis: the legacy of Elias M. Stein, volume 42. Princeton University Press, 2014

    work page 2014

  11. [11]

    Rectifiability and perimeter in the Heisenberg group

    Bruno Franchi, Raul Serapioni, and Francesco Serra Cassano. Rectifiability and perimeter in the Heisenberg group. Math. Ann., 321(3):479–531, 2001

    work page 2001

  12. [12]

    Regular submanifolds, graphs and area formula in Heisenberg groups.Adv

    Bruno Franchi, Raul Serapioni, and Francesco Serra Cassano. Regular submanifolds, graphs and area formula in Heisenberg groups.Adv. Math., 211(1):152–203, 2007

    work page 2007

  13. [13]

    Area-stationary and stable surfaces of classC 1 in the sub-Riemannian Heisenberg group H1

    Matteo Galli and Manuel Ritoré. Area-stationary and stable surfaces of classC 1 in the sub-Riemannian Heisenberg group H1. Adv. Math., 285:737–765, 2015

    work page 2015

  14. [14]

    Isoperimetric and Sobolev inequalities for Carnot-Carathéodory spaces and the existence of minimal surfaces.Comm

    Nicola Garofalo and Duy-Minh Nhieu. Isoperimetric and Sobolev inequalities for Carnot-Carathéodory spaces and the existence of minimal surfaces.Comm. Pure Appl. Math., 49(10):1081–1144, 1996

    work page 1996

  15. [15]

    The prescribed mean curvature equation fort-graphs in the sub-Finsler Heisenberg groupHn

    Gianmarco Giovannardi, Andrea Pinamonti, Julián Pozuelo, and Simone Verzellesi. The prescribed mean curvature equation fort-graphs in the sub-Finsler Heisenberg groupHn. Adv. Math., 451:Paper No. 109788, 43, 2024

    work page 2024

  16. [16]

    The Bernstein problem for(X, Y )-Lipschitz surfaces in three- dimensional sub-Finsler Heisenberg groups.Commun

    Gianmarco Giovannardi and Manuel Ritoré. The Bernstein problem for(X, Y )-Lipschitz surfaces in three- dimensional sub-Finsler Heisenberg groups.Commun. Contemp. Math., 26(9):Paper No. 2350048, 38, 2024. 28 ROBERTO MONTI AND GIACOMO VIANELLO

    work page 2024

  17. [17]

    Minimal surfaces and functions of bounded variation, volume80of Monographs in Mathematics

    EnricoGiusti. Minimal surfaces and functions of bounded variation, volume80of Monographs in Mathematics. Birkhäuser Verlag, Basel, 1984

    work page 1984

  18. [18]

    Sets with finiteH-perimeter and controlled normal.Math

    Roberto Monti and Davide Vittone. Sets with finiteH-perimeter and controlled normal.Math. Z., 270(1- 2):351–367, 2012

    work page 2012

  19. [19]

    Scott D. Pauls. Minimal surfaces in the Heisenberg group.Geom. Dedicata, 104:201–231, 2004

    work page 2004

  20. [20]

    Pauls.H-minimal graphs of low regularity inH1

    Scott D. Pauls.H-minimal graphs of low regularity inH1. Comment. Math. Helv., 81(2):337–381, 2006

    work page 2006

  21. [21]

    BV minimizers of the area functional in the Heisenberg group under the bounded slope condition.Ann

    Andrea Pinamonti, Francesco Serra Cassano, Giulia Treu, and Davide Vittone. BV minimizers of the area functional in the Heisenberg group under the bounded slope condition.Ann. Sc. Norm. Super. Pisa Cl. Sci. (5), 14(3):907–935, 2015

    work page 2015

  22. [22]

    Existence and uniqueness oft-graphs of prescribed mean curvature in heisenberg groups

    Julián Pozuelo and Simone Verzellesi. Existence and uniqueness oft-graphs of prescribed mean curvature in heisenberg groups. To appear onTrans. Amer. Math. Soc., 2025

    work page 2025

  23. [23]

    Harmonic intrinsic graphs in the Heisenberg group.Ann

    Robert Young. Harmonic intrinsic graphs in the Heisenberg group.Ann. Sc. Norm. Super. Pisa Cl. Sci. (5), 24(3):1367–1414, 2023. Dipartimento di Matematica, via Trieste 63, IT-35131 Padov a (Italy) Email address: monti@math.unipd.it Dipartimento di Matematica, via Trieste 63, IT-35131 Padov a (Italy) Email address: gvianell@math.unipd.it

    work page 2023