Families of proper minimal surfaces
Pith reviewed 2026-05-20 01:37 UTC · model grok-4.3
The pith
Proper minimal immersions into R^3 exist as continuous families over any continuous family of complex structures on an open surface, with arbitrary prescribed fluxes.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Assume X is a connected open oriented smooth surface and B a compact Euclidean neighbourhood retract. Given any continuous family of complex structures J_b on X of local Hölder class C^α (0 < α < 1), there exists a continuous family of J_b-conformal minimal immersions u_b : X → R^3, b ∈ B, each properly projecting to R^2 and realizing an arbitrary prescribed continuous family of flux homomorphisms Flux_{u_b} : H_1(X, Z) → R^3. The same construction produces continuous families of proper J_b-holomorphic null immersions into C^3 and proper J_b-holomorphic immersions into C^2.
What carries the argument
The continuous family of J_b-conformal minimal immersions u_b with prescribed flux homomorphisms Flux_{u_b}, obtained by a parametric construction that respects the given continuous variation of the complex structures.
If this is right
- Continuous families of proper J_b-holomorphic null immersions X → C^3 exist for the same data.
- Continuous families of proper J_b-holomorphic immersions X → C^2 exist for the same data.
- The flux homomorphisms can be chosen independently of the complex-structure family while preserving continuity of the immersions.
- The properness of the projection to R^2 is preserved throughout the continuous deformation in the complex structure.
Where Pith is reading between the lines
- Such parametric families could be used to connect different minimal surfaces with the same topology but different conformal types in a controlled way.
- The result suggests that the space of proper minimal immersions with fixed flux data is large enough to accommodate arbitrary continuous changes in the underlying complex structure.
- One could test the construction on concrete examples such as the plane minus finitely many points by choosing explicit paths of complex structures and tracking the resulting immersions.
Load-bearing premise
The complex structures on the surface must vary continuously in the local Hölder class C^α for some α between 0 and 1, and the parameter space must be a compact Euclidean neighbourhood retract.
What would settle it
An explicit open surface X together with a continuous family of complex structures J_b on X for which no continuous family of minimal immersions with the stated properness and arbitrary flux prescription can be found.
read the original abstract
Assume that $X$ is a connected, open, oriented smooth surface, $B$ is a compact Euclidean neighbourhood retract, and $\mathscr{J}=\{J_b\}_{b\in B}$ is a continuous family of complex structures on $X$ of local H\"older class $\mathscr{C}^\alpha$ for some $0<\alpha<1$. We construct a continuous family of $J_b$-conformal minimal immersions $u_b:X\to \mathbb{R}^3$, $b\in B$, properly projecting to $\mathbb{R}^2$ and having an arbitrary given family of flux homomorphisms ${\rm Flux}_{u_b}:H_1(X,\mathbb{Z})\to\mathbb{R}^3$. In particular, there are continuous families of proper $J_b$-holomorphic null immersions $X\to \mathbb{C}^3$ and of proper $J_b$-holomorphic immersions $X\to\mathbb{C}^2$, $b\in B$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims that for a connected open oriented smooth surface X, a compact Euclidean neighbourhood retract B, and a continuous family of complex structures J_b of local Hölder class C^α (0<α<1), there exists a continuous family of J_b-conformal minimal immersions u_b: X→R^3 that properly project to R^2 and realize arbitrary prescribed flux homomorphisms Flux_{u_b}: H_1(X,Z)→R^3. It further claims the existence of continuous families of proper J_b-holomorphic null immersions into C^3 and proper J_b-holomorphic immersions into C^2.
Significance. If rigorously established, the result would extend existence theorems for proper minimal immersions with prescribed fluxes to a parametric setting with continuously varying complex structures. This could be useful for deformation theory and moduli problems in minimal surface geometry and related holomorphic curve constructions.
major comments (1)
- Abstract: the central existence claim for the continuous family u_b is stated without any derivation, key estimates, or outline of the construction. This prevents verification of how continuity in b is obtained simultaneously with properness and the arbitrary flux conditions under the stated regularity hypotheses on J_b and topological hypotheses on B.
Simulated Author's Rebuttal
We thank the referee for the summary of our manuscript and for the assessment of its potential significance. We respond to the single major comment below.
read point-by-point responses
-
Referee: Abstract: the central existence claim for the continuous family u_b is stated without any derivation, key estimates, or outline of the construction. This prevents verification of how continuity in b is obtained simultaneously with properness and the arbitrary flux conditions under the stated regularity hypotheses on J_b and topological hypotheses on B.
Authors: The abstract is intended as a concise statement of the principal theorem. The full construction of the continuous family of J_b-conformal minimal immersions u_b, together with the estimates that guarantee simultaneous continuity in the parameter b, proper projection onto R^2, and realization of arbitrary prescribed flux homomorphisms, is developed in the body of the manuscript. There we extend known non-parametric existence results to the parametric setting by exploiting the local Hölder continuity of the family of complex structures and the topological properties of the compact Euclidean neighbourhood retract B. revision: no
Circularity Check
No significant circularity identified
full rationale
The abstract presents an existence result: under the stated hypotheses on the surface X, parameter space B, and continuous family of complex structures J_b of local Holder class C^alpha, there exists a continuous family of proper J_b-conformal minimal immersions u_b with arbitrarily prescribed flux homomorphisms Flux_u_b. No equations, fitted parameters, ansatzes, or derivation steps appear in the text. The claim is a construction theorem rather than a reduction of one quantity to another by definition or by self-citation. With only the abstract available, no load-bearing step can be exhibited that collapses to the inputs by construction, satisfying the criteria for a self-contained result.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption X is a connected open oriented smooth surface
- domain assumption J_b are continuous families of complex structures of local Holder class C^α
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We construct a continuous family of J_b-conformal minimal immersions u_b:X→R^3, b∈B, properly projecting to R^2 and having an arbitrary given family of flux homomorphisms Flux_{u_b}:H_1(X,Z)→R^3.
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.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.