Monotonicity formulas for minimal submanifolds involving M\"obius transformations

Doanh Pham

arxiv: 2504.12199 · v2 · pith:VL3Z7PCWnew · submitted 2025-04-16 · 🧮 math.DG

Monotonicity formulas for minimal submanifolds involving M\"obius transformations

Doanh Pham This is my paper

Pith reviewed 2026-05-25 08:33 UTC · model grok-4.3

classification 🧮 math.DG

keywords minimal submanifoldsmonotonicity formulasMöbius transformationsweighted volumeEuclidean spaceconcentric ballsdifferential geometry

0 comments

The pith

Minimal submanifolds of Euclidean space obey monotonicity formulas for weighted volumes in Möbius images of concentric balls.

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

The paper establishes monotonicity formulas for the weighted volume of a minimal submanifold inside the image of a concentric ball under a Möbius transformation. This builds on classical monotonicity by allowing the balls to be transformed in this way while preserving the monotonicity property due to minimality. A reader would care because these formulas provide tools to analyze the growth and regularity of minimal submanifolds in transformed geometries. The formulas apply to both volume and weighted volume measures.

Core claim

For a minimal submanifold of the Euclidean space, we prove monotonicity formulas for its (weighted) volume within images of concentric balls under Möbius transformations.

What carries the argument

Monotonicity formulas for (weighted) volume of minimal submanifolds under Möbius transformations of concentric balls.

If this is right

The (weighted) volume is monotonic with respect to the radius parameter of the transformed balls.
The formulas hold precisely when the submanifold is minimal in Euclidean space.
These can be used to derive estimates on the volume growth of minimal submanifolds.

Where Pith is reading between the lines

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

If the formulas hold, they may extend to other conformal transformations beyond Möbius maps.
Applications could include studying minimal submanifolds in spheres or other spaces via stereographic projection, which is a Möbius transformation.
The formulas are testable by verifying them computationally for simple minimal submanifolds like planes.

Load-bearing premise

The submanifold must be minimal in Euclidean space for the monotonicity to hold under the Möbius-transformed balls.

What would settle it

A calculation showing that for some minimal submanifold the weighted volume inside such a transformed ball decreases as the radius increases would falsify the monotonicity claim.

read the original abstract

For a minimal submanifold of the Euclidean space, we prove monotonicity formulas for its (weighted) volume within images of concentric balls under M\"obius transformations.

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

The paper proves monotonicity formulas for weighted volume of minimal submanifolds inside Möbius images of concentric balls.

read the letter

This paper proves monotonicity formulas for the weighted volume of minimal submanifolds in Euclidean space, but measured inside the images of concentric balls under Möbius transformations. That is the central claim and the only real result on offer. It takes the standard monotonicity statement and adjusts the test domains via these conformal maps. The abstract presents it as a direct proof, so the work amounts to carrying out that adaptation under the usual minimality hypothesis. If the formulas come out cleanly and the derivation avoids extra assumptions, it supplies a modest extension that some people working with blow-ups or regularity might reach for. The minimality condition is stated plainly as the key input, which matches what one would expect. No circularity or hidden fitting appears in the description. The weighted volume part is included without fanfare, which is fine if the weights are handled by the same integration-by-parts steps that work in the unweighted case. The main limitation is that the abstract gives no outline of the argument, no sample calculation, and no mention of any new technical steps required by the Möbius maps. Without the full text it is impossible to judge whether the adaptation is routine or whether some conformal factor creates extra terms that need control. That keeps the assessment tentative. The paper is aimed at specialists already using monotonicity formulas in geometric measure theory or minimal surface regularity. A reader outside that circle will not find much to take away. It is narrow enough that a serious referee could check the calculations in a few hours. I would send it to review rather than desk reject; the claim is concrete and the setting is standard, so verification is feasible even if the payoff remains incremental.

Referee Report

0 major / 1 minor

Summary. The manuscript proves monotonicity formulas for the (weighted) volume of minimal submanifolds in Euclidean space, specifically for the portions lying inside the images of concentric balls under Möbius transformations.

Significance. If the result holds, the formulas extend classical monotonicity results in minimal surface theory to a setting that incorporates Möbius transformations. This may prove useful for analyzing minimal submanifolds under conformal changes or via stereographic projection to the sphere. The proof is presented as direct, with minimality in Euclidean space serving as the explicit structural hypothesis enabling the monotonicity.

minor comments (1)

The abstract asserts the existence of the formulas and proof but provides no outline of the derivation strategy, error estimates, or key steps; adding a one-sentence sketch would improve accessibility without altering the technical content.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary and recommendation of minor revision. No major comments were listed in the report, so we have no specific points to address point-by-point. We will incorporate any minor editorial suggestions in the revised version.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper presents a direct mathematical proof that the minimality condition (zero mean curvature) for a submanifold in Euclidean space implies monotonicity of its (weighted) volume inside Möbius images of concentric balls. The derivation chain relies on standard tools such as the divergence theorem, first variation formulas, and conformal properties of Möbius transformations applied to the submanifold; none of these steps reduce by construction to the input assumptions or to fitted parameters. No self-citations are load-bearing for the central claim, and the result is not a renaming or self-definition. The proof is self-contained and externally verifiable via differential geometry identities.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No free parameters, axioms, or invented entities are identifiable from the abstract alone.

pith-pipeline@v0.9.0 · 5532 in / 904 out tokens · 19724 ms · 2026-05-25T08:33:01.393474+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/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 1.2 ... J(r) = ((|b|² - r²)/r²)^{k/2} |Σ ∩ φ(Bn_r)| ... volume monotonicity J(q) - J(r) = R^k ∫ ... f^{-k/2} (|b|^4 |(x-φ(0))⊥|^2 + ... )
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Proof of Proposition 3.1 ... coarea formula ... d/ds (s^{-k/2} |Σ ∩ Es|) ... using ⟨Xs, ∇_Σ f⟩ and div_Σ Xs = k

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

12 extracted references · 12 canonical work pages

[1]

Alexander and R

H. Alexander and R. Osserman, Area bounds for various classes of surfaces , Amer. J. Math. 97 (1975), no. 3, 753–769

work page 1975
[2]

Beardon, The geometry of discrete groups, Graduate Texts in Mathematics, vol

A. Beardon, The geometry of discrete groups, Graduate Texts in Mathematics, vol. 91, Springer- Verlag, New York, 1983

work page 1983
[3]

Brendle, A sharp bound for the area of minimal surfaces in the unit ball , Geom

S. Brendle, A sharp bound for the area of minimal surfaces in the unit ball , Geom. Funct. Anal. 22 (2012), no. 3, 621–626

work page 2012
[4]

Brendle and P.-K

S. Brendle and P.-K. Hung, Area bounds for minimal surfaces that pass through a prescri bed point in a ball , Geom. Funct. Anal. 27 (2017), no. 2, 235–239

work page 2017
[5]

Freidin and P

B. Freidin and P. McGrath, Area bounds for free boundary minimal surfaces in a geodesic ball in the sphere , J. Funct. Anal. 277 (2019), no. 11, 108276, 19

work page 2019
[6]

, Sharp area bounds for free boundary minimal surfaces in conf ormally Euclidean balls , Int. Math. Res. Not. IMRN 18 (2020), 5630–5641

work page 2020
[7]

Krantz and H

S. Krantz and H. Parks, Geometric integration theory , Cornerstones, Birkh¨ auser Boston, Inc., Boston, MA, 2008. MONOTONICITY FORMULAS FOR MINIMAL SUBMANIFOLDS 13

work page 2008
[8]

Naﬀ and J

K. Naﬀ and J. Zhu, The prescribed point area estimate for minimal submanifold s in constant curvature, arXiv preprint arXiv:2206.08302 (2022)

work page arXiv 2022
[9]

, Moving monotonicity formulae for minimal submanifolds in c onstant curvature, arXiv preprint arXiv:2210.03263 (2022)

work page arXiv 2022
[10]

Simon, Lectures on geometric measure theory , Proceedings of the Centre for Mathematical Analysis, Australian National University, vol

L. Simon, Lectures on geometric measure theory , Proceedings of the Centre for Mathematical Analysis, Australian National University, vol. 3, Australian National University, Centre for Mathematical Analysis, Canberra, 1983

work page 1983
[11]

Stoll, Harmonic and subharmonic function theory on the hyperbolic ball, London Mathe- matical Society Lecture Note Series, vol

M. Stoll, Harmonic and subharmonic function theory on the hyperbolic ball, London Mathe- matical Society Lecture Note Series, vol. 431, Cambridge Universit y Press, Cambridge, 2016

work page 2016
[12]

Zhu, Moving-centre monotonicity formulae for minimal submanif olds and related equations , J

J. Zhu, Moving-centre monotonicity formulae for minimal submanif olds and related equations , J. Funct. Anal. 274 (2018), no. 5, 1530–1552. Beijing International Center for Mathematical Research, P eking University, Beijing 100871, China Email address : doanhpham@pku.edu.cn

work page 2018

[1] [1]

Alexander and R

H. Alexander and R. Osserman, Area bounds for various classes of surfaces , Amer. J. Math. 97 (1975), no. 3, 753–769

work page 1975

[2] [2]

Beardon, The geometry of discrete groups, Graduate Texts in Mathematics, vol

A. Beardon, The geometry of discrete groups, Graduate Texts in Mathematics, vol. 91, Springer- Verlag, New York, 1983

work page 1983

[3] [3]

Brendle, A sharp bound for the area of minimal surfaces in the unit ball , Geom

S. Brendle, A sharp bound for the area of minimal surfaces in the unit ball , Geom. Funct. Anal. 22 (2012), no. 3, 621–626

work page 2012

[4] [4]

Brendle and P.-K

S. Brendle and P.-K. Hung, Area bounds for minimal surfaces that pass through a prescri bed point in a ball , Geom. Funct. Anal. 27 (2017), no. 2, 235–239

work page 2017

[5] [5]

Freidin and P

B. Freidin and P. McGrath, Area bounds for free boundary minimal surfaces in a geodesic ball in the sphere , J. Funct. Anal. 277 (2019), no. 11, 108276, 19

work page 2019

[6] [6]

, Sharp area bounds for free boundary minimal surfaces in conf ormally Euclidean balls , Int. Math. Res. Not. IMRN 18 (2020), 5630–5641

work page 2020

[7] [7]

Krantz and H

S. Krantz and H. Parks, Geometric integration theory , Cornerstones, Birkh¨ auser Boston, Inc., Boston, MA, 2008. MONOTONICITY FORMULAS FOR MINIMAL SUBMANIFOLDS 13

work page 2008

[8] [8]

Naﬀ and J

K. Naﬀ and J. Zhu, The prescribed point area estimate for minimal submanifold s in constant curvature, arXiv preprint arXiv:2206.08302 (2022)

work page arXiv 2022

[9] [9]

, Moving monotonicity formulae for minimal submanifolds in c onstant curvature, arXiv preprint arXiv:2210.03263 (2022)

work page arXiv 2022

[10] [10]

Simon, Lectures on geometric measure theory , Proceedings of the Centre for Mathematical Analysis, Australian National University, vol

L. Simon, Lectures on geometric measure theory , Proceedings of the Centre for Mathematical Analysis, Australian National University, vol. 3, Australian National University, Centre for Mathematical Analysis, Canberra, 1983

work page 1983

[11] [11]

Stoll, Harmonic and subharmonic function theory on the hyperbolic ball, London Mathe- matical Society Lecture Note Series, vol

M. Stoll, Harmonic and subharmonic function theory on the hyperbolic ball, London Mathe- matical Society Lecture Note Series, vol. 431, Cambridge Universit y Press, Cambridge, 2016

work page 2016

[12] [12]

Zhu, Moving-centre monotonicity formulae for minimal submanif olds and related equations , J

J. Zhu, Moving-centre monotonicity formulae for minimal submanif olds and related equations , J. Funct. Anal. 274 (2018), no. 5, 1530–1552. Beijing International Center for Mathematical Research, P eking University, Beijing 100871, China Email address : doanhpham@pku.edu.cn

work page 2018