pith. sign in

arxiv: 1907.00739 · v1 · pith:UZWJRHKGnew · submitted 2019-07-01 · 🧮 math.DG

Space-like maximal surfaces containing entire null lines in Lorentz-Minkowski 3-space

Shintaro Akamine , Masaaki Umehara , Kotaro Yamada This is my paper

Pith reviewed 2026-05-25 11:30 UTC · model grok-4.3

classification 🧮 math.DG
keywords space-like maximal graphsentire null linesLorentz-Minkowski 3-spaceconvex domainslight-like planes
0
0 comments X

The pith

Embedded space-like maximal graphs containing entire null lines exist over non-convex domains in the plane.

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

The paper establishes the existence of embedded space-like maximal graphs in Lorentz-Minkowski 3-space that contain entire null lines, which are complete light-like lines on the surface consisting only of null points. These graphs are represented over domains in R^2. When the domain is convex, any such graph must be a light-like plane. The construction relies on a non-convex domain to produce a non-trivial embedded example.

Core claim

We show the existence of embedded space-like maximal graphs containing entire null lines. If such a graph is defined on a convex domain in R^2, then it must be a light-like plane. Our example is critical in the sense that it is defined on a certain non-convex domain.

What carries the argument

Representation as space-like maximal graphs over domains in R^2, with the condition that they contain entire null lines under the induced metric.

If this is right

  • Such graphs exist and remain embedded when the domain is non-convex.
  • Convexity of the domain forces any space-like maximal graph with an entire null line to be a light-like plane.
  • The distinction between convex and non-convex domains separates planar from non-planar examples.

Where Pith is reading between the lines

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

  • The result indicates that domain convexity plays a controlling role for the possible geometry of maximal surfaces with null lines.
  • The non-convex example may suggest analogous constructions for maximal surfaces under other completeness or causality conditions.

Load-bearing premise

The surfaces are assumed to be graphs over domains in the xy-plane so that the projection is a diffeomorphism onto its image.

What would settle it

An embedded space-like maximal graph defined over a convex domain in R^2 that contains an entire null line but is not a light-like plane would disprove the rigidity statement.

Figures

Figures reproduced from arXiv: 1907.00739 by Kotaro Yamada, Masaaki Umehara, Shintaro Akamine.

Figure 1
Figure 1. Figure 1: The elliptic catenoid (left) and the light-cone (right) However, if space-like maximal surfaces have analytic extensions which change their causal type, then those extensions cannot remain in the class of maxfaces. In [13], two functions Af and Bf for immersed hypersurfaces in Lorentzian manifolds Date: July 1, 2019. 2010 Mathematics Subject Classification. 53A10, 53B30; 35M10. Key words and phrases. maxim… view at source ↗
Figure 2
Figure 2. Figure 2: Maximal surfaces with cone-like singular points lying on null lines, where the white lines indicate null points. This fact was generalized to a much wider class of surfaces, including real analytic constant mean curvature surfaces in R3 1 , see [12, 13]. Although there are properly embedded time-like ZMC-surfaces with an entire null line (see [3, Examples 2.2 and 2.3]), each of all examples of ZMC-surfaces… view at source ↗
Figure 3
Figure 3. Figure 3: A time-like ZMC-surface without self-intersection which has a cone-like singular point lying on a null line. Theorem 2.2. There exist real analytic functions ψi : U → R (i = 1, 2, 3) defined on a domain U in R 2 , each of whose graphs gives a ZMC-embedding containing an entire null line of type α 0 I , so that ψ1, ψ2 and ψ3 satisfy the conditions (i), (ii) and (iii), respectively. The existence of ψ1 and ψ… view at source ↗
read the original abstract

Consider a surface $S$ immersed in the Lorentz-Minkowski 3-space $\boldsymbol R^3_1$. A complete light-like line in $\boldsymbol R^3_1$ is called an entire null line on the surface $S$ in $\boldsymbol R^3_1$ if it lies on $S$ and consists of only null points with respect to the induced metric. In this paper, we show the existence of embedded space-like maximal graphs containing entire null lines. If such a graph is defined on a convex domain in $\boldsymbol R^2$, then it must be a light-like plane. Our example is critical in the sense that it is defined on a certain non-convex domain.

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

Summary. The paper establishes the existence of embedded space-like maximal graphs in Lorentz-Minkowski 3-space that contain entire null lines. It further proves a rigidity result: any such graph defined over a convex domain in R^2 must be a light-like plane. The authors provide a critical example defined over a non-convex domain to illustrate that convexity is essential for the rigidity statement.

Significance. If the existence and rigidity results hold, the work supplies new explicit examples of maximal surfaces with entire null lines and clarifies the role of domain convexity in Lorentzian maximal surface theory. The graph representation and the distinction between convex and non-convex domains are stated explicitly, and the claims rest on standard tools of Lorentzian geometry without evident circularity or ad-hoc parameters.

minor comments (3)
  1. The abstract and introduction should explicitly reference the main theorem numbers (e.g., Theorem 1.1 for existence, Theorem 1.2 for rigidity) so that readers can locate the precise statements immediately.
  2. In the construction of the example on the non-convex domain, clarify whether the domain is simply connected and how the graph projection is verified to be a diffeomorphism onto its image.
  3. Add a brief comparison paragraph in the introduction with prior results on maximal surfaces containing null geodesics (e.g., works by Cheng-Yau or other authors on Lorentzian maximal graphs) to situate the contribution.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No major comments were listed in the report.

Circularity Check

0 steps flagged

No circularity: existence proof is self-contained

full rationale

The paper claims existence of embedded space-like maximal graphs containing entire null lines, plus rigidity when the domain is convex. This is presented as a direct construction and proof in Lorentz-Minkowski geometry; the graph-over-domain representation is an explicit part of the objects studied rather than a derived or fitted quantity. No equations reduce a prediction to a fitted input by construction, no uniqueness theorem is imported from the authors' prior work as a load-bearing step, and no ansatz is smuggled via self-citation. The derivation chain rests on standard techniques in the field and does not collapse to its own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on the standard axioms of smooth manifold theory, the definition of the Lorentz-Minkowski metric, and the variational characterization of maximal surfaces; no free parameters or new entities are introduced in the abstract.

axioms (2)
  • standard math The Lorentz-Minkowski metric on R^3_1 has the standard signature (++,−) and the induced metric on the surface is well-defined and non-degenerate away from null points.
    Invoked implicitly when defining space-like maximal surfaces and null lines.
  • domain assumption A graph over a domain in R^2 is an immersion whose projection is a diffeomorphism onto the domain.
    Required for the graph representation and the convexity statement.

pith-pipeline@v0.9.0 · 5653 in / 1333 out tokens · 28815 ms · 2026-05-25T11:30:16.060663+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Bernstein-type theorem for zero mean curvature hypersurfaces without time-like points in Lorentz-Minkowski space

    math.DG 2019-07 unverdicted novelty 5.0

    An entire zero mean curvature graph in R^{n+1}_1 consisting only of space-like or light-like points is a hyperplane.

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages · cited by 1 Pith paper · 2 internal anchors

  1. [1]

    Akamine, Causal characters of zero mean curvature surfaces of Rieman n type in Lorentz- Minkowski 3-space, Kyushu J

    S. Akamine, Causal characters of zero mean curvature surfaces of Rieman n type in Lorentz- Minkowski 3-space, Kyushu J. Math., 71 (2017), 211-249

    work page 2017

  2. [2]

    Akamine and R.K

    S. Akamine and R.K. Singh, Wick rotations of solutions to the minimal surface equation , the zero mean curvature equation and the Born-Infeld equation , Proc. Indian Acad. Sci. Math. Sci. 129:35 (2019)

    work page 2019

  3. [3]

    Improvement of the Bernstein-type theorem for space-like zero mean curvature graphs in Lorentz-Minkowski space using fluid mechanical duality

    S. Akamine, M. Umehara and K. Yamada, Improvement of the Bernstein-type theorem for space-like zero mean curvature graphs in Lorentz-Minkowsk i space using fluid mechanical duality, preprint (arXiv:1904.08046). MAXIMAL SURF ACES CONTAINING ENTIRE NULL LINE 9

    work page internal anchor Pith review Pith/arXiv arXiv 1904

  4. [4]

    Akamine, A

    S. Akamine, A. Honda, M. Umehara and K. Yamada, Bernstein -type theorem for zero mean curvature hypersurfaces without time-like points in Loren tz-Minkowski space, preprint

    work page

  5. [5]

    S. Y. Cheng and S. T. Yau, Maximal space-like hypersurfaces in the Lorentz-Minkowsk i spaces, Ann. Math. 104 (1976) 407–419

    work page 1976

  6. [6]

    Fujimori, Y.W

    S. Fujimori, Y.W. Kim, S.-E. Koh, W. Rossman, H. Shin, H. T akahashi, M. Umehara, K. Ya- mada and S.-D. Yang, Zero mean curvature surfaces in L3 containing a light-like line , C.R. Acad. Sci. Paris. Ser. I. 350 (2012), 975–978

    work page 2012

  7. [7]

    Fujimori, Y

    S. Fujimori, Y. W. Kim, S.-E. Koh, W. Rossman, H. Shin, M. U mehara, K. Yamada and S.-D. Yang, Zero mean curvature surfaces in Lorentz-Minkowski 3-space which change type across a light-like line , Osaka J. Math. 52 (2015), 285–297, Erratum: Osaka J. Math. 53 (2016), 289–293

    work page 2015

  8. [8]

    Hashimoto and S

    K. Hashimoto and S. Kato, Bicomplex extensions of zero mean curvature surfaces in R2,1 and R2,2, J. Geom. Phys. 138 (2019), 223–240

    work page 2019

  9. [9]

    V. A. Klyachin, Zero mean curvature surfaces of mixed type in Minkowski spac e, Izv. Math. 67 (2003), 209–224

    work page 2003

  10. [10]

    Kobayashi, Maximal surfaces in the 3-dimensional Minkowski space L3, Tokyo J

    O. Kobayashi, Maximal surfaces in the 3-dimensional Minkowski space L3, Tokyo J. Math., 6 (1983), 297–309

    work page 1983

  11. [11]

    Umehara and K

    M. Umehara and K. Yamada, Maximal surfaces with singularities in Minkowski space , Hokkaido Math. J. 35 (2006), 13–40

    work page 2006

  12. [12]

    Lorentzian Geometry and Related Topics

    M. Umehara and K. Yamada, Surfaces with light-like points in Lorentz-Minkowski spac e with applications , in “Lorentzian Geometry and Related Topics”, Springer Pro ceedings of Mathematics & Statics 211, 253-273, 2017

    work page 2017

  13. [13]

    Hypersurfaces with light-like points

    M. Umehara and K. Yamada, Hypersurfaces with light-like points in a Lorentzian manif old, to appear in J. Geom. Anal., (arXiv:1806.09233). (Shintaro Akamine) Graduate School of Mathematics, Nagoya University, Chikusa- ku, Nagoya 464-8602, Japan. E-mail address : s-akamine@math.nagoya-u.ac.jp (Masaaki Umehara) Department of Mathematical and Computing Scien...

    work page internal anchor Pith review Pith/arXiv arXiv