pith. sign in

arxiv: 2408.03701 · v2 · submitted 2024-08-07 · 🌀 gr-qc · hep-th· math-ph· math.MP

Spacetime constructed from a contact manifold with a degenerate metric

Hiroshi Kozaki , Hideki Ishihara , Tatsuhiko Koike , Yoshiyuki Morisawa This is my paper

Pith reviewed 2026-05-23 22:16 UTC · model grok-4.3

classification 🌀 gr-qc hep-thmath-phmath.MP
keywords spacetime constructioncontact manifolddegenerate metricEinstein equationnull dustcosmic stringsPetrov classification
0
0 comments X

The pith

A four-dimensional spacetime is constructed from a three-dimensional contact manifold with a compatible degenerate metric, producing exact solutions to the Einstein equation with null dust and cosmic strings.

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

The paper constructs four-dimensional spacetime from a three-dimensional contact manifold equipped with a degenerate metric that is compatible with the contact structure. This construction results in a Ricci tensor of a simple form that allows exact solutions to Einstein's equations for a combination of null dust and cosmic strings. The solutions are parameterized by two arbitrary functions representing the energy density of the null dust and the number density of the cosmic strings. The spacetime is of Petrov type D when cosmic strings are present and conformally flat otherwise.

Core claim

We construct a four-dimensional spacetime using a three-dimensional contact manifold equipped with a degenerate metric. The degenerate metric is set to be compatible with the contact structure. The compatibility condition is defined in this paper. Our construction yields a Ricci tensor of a particularly simple form, which leads to a solution of the Einstein equation with a null dust and cosmic strings. The solution includes two arbitrary functions: the energy density of the null dust and the number density of the cosmic strings. When there exist the cosmic strings, the spacetime is of Petrov type D. Otherwise, the spacetime is conformally flat. For some simple matter densities, we examine in

What carries the argument

The compatibility condition between the degenerate metric and the contact structure on the three-dimensional manifold, which yields a four-dimensional spacetime with a simple Ricci tensor.

If this is right

  • The resulting spacetime satisfies the Einstein equation with null dust and cosmic strings as matter content.
  • Two arbitrary functions control the energy density of the null dust and the number density of the cosmic strings.
  • Presence of cosmic strings makes the spacetime Petrov type D; absence makes it conformally flat.
  • For simple choices of the matter densities, the Einstein equation can be examined explicitly.

Where Pith is reading between the lines

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

  • The construction could be tested on contact manifolds with different topologies to produce spacetimes with varying global features.
  • The two arbitrary functions allow modeling of spatially varying distributions of the null dust and cosmic strings.
  • The resulting exact solutions might be used to study geodesic motion or light propagation in the presence of these matter fields.

Load-bearing premise

The degenerate metric must satisfy the specific compatibility condition with the contact structure that is defined in the paper.

What would settle it

An explicit calculation for a chosen contact manifold and degenerate metric showing that the induced four-dimensional Ricci tensor is not of the claimed simple form or fails to satisfy the Einstein equation for null dust plus cosmic strings.

Figures

Figures reproduced from arXiv: 2408.03701 by Hideki Ishihara, Hiroshi Kozaki, Tatsuhiko Koike, Yoshiyuki Morisawa.

Figure 1
Figure 1. Figure 1: FIG. 1. A rough sketch of the spacetime construction. The null hypersurfaces, K-contact manifold is always η-Einstein, where the contravariant Ricci [PITH_FULL_IMAGE:figures/full_fig_p011_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2. The potential [PITH_FULL_IMAGE:figures/full_fig_p019_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3. The potential [PITH_FULL_IMAGE:figures/full_fig_p020_3.png] view at source ↗
read the original abstract

We construct a four-dimensional spacetime using a three-dimensional contact manifold equipped with a degenerate metric. The degenerate metric is set to be compatible with the contact structure. The compatibility condition is defined in this paper. Our construction yields a Ricci tensor of a particularly simple form, which leads to a solution of the Einstein equation with a null dust and cosmic strings. The solution includes two arbitrary functions: the energy density of the null dust and the number density of the cosmic strings. When there exist the cosmic strings, the spacetime is of Petrov type D. Otherwise, the spacetime is conformally flat. For some simple matter densities, we examine the Einstein equation in detail.

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 four-dimensional spacetimes from three-dimensional contact manifolds equipped with a degenerate metric. The metric is made compatible with the contact structure via a condition defined in the paper. This yields a Ricci tensor of particularly simple form, permitting solutions of the Einstein equation sourced by null dust and cosmic strings whose energy density and number density are arbitrary functions. With cosmic strings present the spacetime is Petrov type D; otherwise it is conformally flat. Explicit checks are performed for some simple choices of the densities.

Significance. If the construction is valid, the work supplies a geometric route from contact geometry to a family of exact solutions in general relativity with null dust plus cosmic strings. The two arbitrary functions provide a parametrized family rather than isolated solutions, and the Petrov-type classification is a concrete output. No machine-checked proofs or reproducible code are present, but the explicit examination for simple densities is a positive feature.

major comments (2)
  1. [Section 3 (construction and compatibility)] The compatibility condition between the degenerate metric and the contact structure is introduced by definition rather than derived from a prior geometric principle. The map from this condition to the claimed simple form of the Ricci tensor (and thence to the Einstein-equation sources) is the load-bearing step; without an explicit component-by-component calculation it is not possible to confirm that the two densities remain fully arbitrary.
  2. [Section 4 (Einstein equation and Petrov classification)] The statement that the spacetime is Petrov type D when cosmic strings are present (and conformally flat otherwise) rests on the Ricci tensor obtained after imposing the compatibility condition. The paper should supply the Weyl-tensor components or the explicit curvature invariants that establish this classification, as any hidden restriction from the compatibility rule would alter the Petrov type.
minor comments (2)
  1. [Section 2] Notation for the contact form and the degenerate metric should be introduced with a clear table or list of symbols to avoid ambiguity when the compatibility condition is stated.
  2. [Section 4] The abstract claims the solution 'includes two arbitrary functions'; the main text should state explicitly whether these functions are subject to any differential constraints arising from the Einstein equation or the compatibility condition.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We address each major comment below and will revise the manuscript to incorporate the requested explicit calculations.

read point-by-point responses

  1. Referee: [Section 3 (construction and compatibility)] The compatibility condition between the degenerate metric and the contact structure is introduced by definition rather than derived from a prior geometric principle. The map from this condition to the claimed simple form of the Ricci tensor (and thence to the Einstein-equation sources) is the load-bearing step; without an explicit component-by-component calculation it is not possible to confirm that the two densities remain fully arbitrary.

    Authors: The compatibility condition is defined in the paper as the key step of the new construction, chosen precisely so that the resulting Ricci tensor takes a simple form permitting the stated Einstein sources with two arbitrary functions. We agree that an explicit component-by-component verification is needed to confirm the densities remain fully arbitrary. In the revised manuscript we will add this calculation. revision: yes

  2. Referee: [Section 4 (Einstein equation and Petrov classification)] The statement that the spacetime is Petrov type D when cosmic strings are present (and conformally flat otherwise) rests on the Ricci tensor obtained after imposing the compatibility condition. The paper should supply the Weyl-tensor components or the explicit curvature invariants that establish this classification, as any hidden restriction from the compatibility rule would alter the Petrov type.

    Authors: We agree that the Petrov-type claim requires explicit support via Weyl-tensor components or curvature invariants. In the revised manuscript we will supply these quantities to establish the classification rigorously. revision: yes

Circularity Check

0 steps flagged

No circularity; explicit construction with defined compatibility yields claimed Ricci form by design.

full rationale

The paper defines a compatibility condition between the degenerate metric and contact structure within the manuscript itself and then constructs the 4D spacetime from that data. The resulting Ricci tensor takes a simple form by direct computation from the defined setup, allowing Einstein-equation solutions sourced by null dust and cosmic strings whose densities appear as two arbitrary input functions. No step equates a claimed prediction or first-principles result to a fitted parameter or self-citation; the arbitrary functions are presented as free inputs rather than outputs, and the derivation remains self-contained without reducing the headline claims to tautology.

Axiom & Free-Parameter Ledger

2 free parameters · 1 axioms · 0 invented entities

The central claim rests on the newly defined compatibility condition between the degenerate metric and the contact structure, plus the two arbitrary density functions treated as free inputs.

free parameters (2)
  • energy density of the null dust
    Arbitrary function appearing in the solution of the Einstein equation.
  • number density of the cosmic strings
    Arbitrary function appearing in the solution of the Einstein equation.
axioms (1)
  • domain assumption The degenerate metric is compatible with the contact structure
    Compatibility condition is defined in the paper and required for the construction.

pith-pipeline@v0.9.0 · 5650 in / 1265 out tokens · 25722 ms · 2026-05-23T22:16:58.763700+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.

Forward citations

Cited by 1 Pith paper

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

  1. Geometric deformations of symmetric spacetimes with a string cloud

    gr-qc 2026-04 unverdicted novelty 5.0

    A single-function deformation of 3D eta-Einstein metrics produces 4D Einstein spacetimes sourced by a string cloud, covering FLRW, Kantowski-Sachs, LRS Bianchi, Taub-NUT-(A)dS, and Reissner-Nordstrom-(A)dS solutions w...

Reference graph

Works this paper leans on

35 extracted references · 35 canonical work pages · cited by 1 Pith paper · 5 internal anchors

  1. [1]

    (2) This 1-form is called the contact form [23]

    Contact manifold A contact manifoldM is a(2n + 1)-dimensional manifold with a1-formηwhich satisfies the condition [22]: η∧dη∧···∧dη   n factors ̸= 0 at all points inM. (2) This 1-form is called the contact form [23]. The condition (2) implies that, at each point p∈M, the skew-symmetric bilinear formdηp is nondegenerate on the subspacekerηp⊂ TpM (see E...

    work page

  2. [2]

    evolution

    Nondegenerate metric on a contact manifold A nondegenerate metrich on a contact manifoldM is said to be compatible with the contact structure if the following equations are satisfied [18–21]: h(ϕX,ϕY) =h(X,Y )−εη(X)η(Y ), (8a) h(X,ϕY) = dη(X,Y ), (8b) where ε=±1, andX andY are arbitrary vector fields. In terms of the symplectic vector space kerηp at each ...

    work page

  3. [3]

    In this case, Eq

    The case of no cosmic strings We consider the base space metrichB when there are no cosmic strings. In this case, Eq. (60) leads to a vanishing Ricci scalar,RB = 0. This means that the two-dimensional base spaceB is flat. Here, we consider the simplest metric functions,Ω(x,y ) =f(x,y ) = 0, which leads to hB = dx2 + dy2. The ranges of the coordinatesx,y d...

    work page

  4. [4]

    Then, it follows from Eq

    The case of uniformly distributed cosmic strings Let us consider the case that the cosmic strings are uniformly distributed, i.e., the number density nB(x,y ) is a positive constant. Then, it follows from Eq. (60) thatRB is also a positive constant. This implies thatB is a round sphere. For the metric functionsΩ(x,y ) and f(x,y ), we take the following an...

    work page

  5. [5]

    (85) as the energy conservation of a particle moving in one dimension with the potential (86)

    (86) We regard Eq. (85) as the energy conservation of a particle moving in one dimension with the potential (86). The potential is concave as shown in Fig. 2. LetVmin denote the minimum value of the potential. Then, the energyE must satisfyE≥Vmin. If E = Vmin, the warp factor is constant. Otherwise, the warp factor evolves within the finite region amin≤a≤...

    work page

  6. [6]

    contact universe

    (89) The shape of the potential is as shown in Fig. 3. This figure implies that the warp factor is allowed to go to zero, and then, the energy density diverges. 0.0 0.2 0.4 0.6 0.8 1.0 1.2 -1.5 -1.0 -0.5 0.0 0.5 1.0 1.5 warp factora potentialV (a) FIG. 3. The potentialV (a) of Eq. (89) withC = 4. VII. CONCLUSION We have constructed a class of exact soluti...

    work page

  7. [7]

    V. I. Arnold,Mathematical methods of classical mechanics 2nd ed. (Springer, 1989)

    work page 1989

  8. [8]

    Geiges, Expositiones Mathematicae19, 25 (2001)

    H. Geiges, Expositiones Mathematicae19, 25 (2001)

    work page 2001

  9. [9]

    Mrugala, J

    R. Mrugala, J. D. Nulton, J. Christian Schön, and P. Salamon, Reports on Mathematical Physics 29, 109 (1991)

    work page 1991

  10. [10]

    Dahl, Progress In Electromagnetics Research46, 77 (2004)

    M. Dahl, Progress In Electromagnetics Research46, 77 (2004)

    work page 2004

  11. [11]

    J. L. Cabrerizo, M. Fernández, and J. S. Gómez, Journal of Physics A: Mathematical and Theoretical 42, 195201 (2009)

    work page 2009

  12. [12]

    Inoguchi, M

    J. Inoguchi, M. I. Munteanu, and A. I. Nistor, Analysis and Mathematical Physics9, 43 (2019)

    work page 2019

  13. [13]

    S. L. Druţă-Romaniuc, J. Inoguchi, M. I. Munteanu, and A. I. Nistor, Journal of Nonlinear Mathematical Physics22, 428 (2021)

    work page 2021

  14. [14]

    Boyer and K

    C. Boyer and K. Galicki,Sasakian Geometry (Oxford University Press, 2007)

    work page 2007

  15. [15]

    Kozaki, T

    H. Kozaki, T. Koike, Y. Morisawa, and H. Ishihara, Phys. Rev. D 108, 084069 (2023), arXiv:2303.17969 [gr-qc]

    work page arXiv 2023

  16. [16]

    Ishihara and S

    H. Ishihara and S. Matsuno, PTEP2022, 023E01 (2022), arXiv:2112.02782 [hep-th]

    work page arXiv 2022

  17. [17]

    Ishihara and S

    H. Ishihara and S. Matsuno, PTEP2022, 013E02 (2022), arXiv:2109.11740 [hep-th]. 24

    work page arXiv 2022

  18. [18]

    Stephani, D

    H. Stephani, D. Kramer, M. MacCallum, C. Hoenselaers, and E. Herlt,Exact Solutions of Einstein ’s Field Equations, 2nd ed., Cambridge Monographs on Mathematical Physics (Cam- bridge University Press, Cambridge, 2003)

    work page 2003

  19. [19]

    J. B. Griffiths and J. Podolsk` y,Exact space-times in Einstein ’s general relativity (Cambridge University Press, 2009)

    work page 2009

  20. [20]

    G. T. Horowitz and A. R. Steif, Phys. Rev. Lett.64, 260 (1990)

    work page 1990

  21. [21]

    Berenstein, J

    D. Berenstein, J. Maldacena, and H. Nastase, Journal of High Energy Physics2002, 013 (2002)

    work page 2002

  22. [22]

    D. Bini, C. Chicone, and B. Mashhoon, Phys. Rev. D97, 064022 (2018), arXiv:1801.06003 [gr-qc]

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  23. [23]

    Twisted Gravitational Waves of Petrov Type D

    K. Rosquist, D. Bini, and B. Mashhoon, Phys. Rev. D98, 064039 (2018), arXiv:1807.09214 [gr-qc]

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  24. [24]

    Sasaki, Tohoku Mathematical Journal12, 459 (1960)

    S. Sasaki, Tohoku Mathematical Journal12, 459 (1960)

    work page 1960

  25. [25]

    Takahashi, Tohoku Mathematical Journal21, 271 (1969)

    T. Takahashi, Tohoku Mathematical Journal21, 271 (1969)

    work page 1969

  26. [26]

    Calvaruso and D

    G. Calvaruso and D. Perrone, Differential Geometry and its Applications28, 615 (2010)

    work page 2010

  27. [27]

    Calvaruso, Differential Geometry and its Applications29, S41 (2011)

    G. Calvaruso, Differential Geometry and its Applications29, S41 (2011)

    work page 2011

  28. [28]

    W. M. Boothby and H. C. Wang, Annals of Mathematics68, 721 (1958)

    work page 1958

  29. [29]

    D. E. Blair,Contact manifolds in Riemannian geometry (Springer, 1976)

    work page 1976

  30. [30]

    Sasaki and Y

    S. Sasaki and Y. Hatakeyama, Tohoku Mathematical Journal13, 281 (1961)

    work page 1961

  31. [31]

    Hatakeyama, Y

    Y. Hatakeyama, Y. Ogawa, and S. Tanno, Tohoku Mathematical Journal15, 42 (1963)

    work page 1963

  32. [32]

    Okumura, Tohoku Mathematical Journal14, 135 (1962), publisher: Tohoku University, Mathematical Institute

    M. Okumura, Tohoku Mathematical Journal14, 135 (1962), publisher: Tohoku University, Mathematical Institute

    work page 1962

  33. [33]

    All spacetimes with vanishing curvature invariants

    V. Pravda, A. Pravdova, A. Coley, and R. Milson, Class. Quant. Grav.19, 6213 (2002), arXiv:gr-qc/0209024

    work page internal anchor Pith review Pith/arXiv arXiv 2002

  34. [34]

    S. B. Edgar and G. Ludwig, Class. Quant. Grav.14, L65 (1997), arXiv:gr-qc/9612059

    work page internal anchor Pith review Pith/arXiv arXiv 1997

  35. [35]

    J. B. Griffiths and J. Podolsky, Class. Quant. Grav.15, 3863 (1998), arXiv:gr-qc/9808061. 25

    work page internal anchor Pith review Pith/arXiv arXiv 1998