Pith. sign in

REVIEW 3 major objections 5 minor 16 references

Liftings of surfaces in the plane

T0 review · 3 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read If the space of self-stresses of a surface's 1-skeleton has dimension greater than three times the first Betti number, the framework admits a non-trivial monodromy-free polyhedral lifting.

desk verdict A useful topological extension of Maxwell-Cremona with a genuinely new non-oriented bound, but the proof of the main theorem has a gap around H1 torsion that needs fixing. read the letter →

arxiv 2505.18841 v1 pith:QY2VDNSB submitted 2025-05-24 math.CO

Oleg Karpenkov , Brigitte Servatius , Herman Servatius This is my paper · ORCID
classification math.CO MSC 52C2505C1057M20
keywords self-stressMaxwell-Cremonaliftingmonodromypolygonalsurfacenon-planarframeworkfirstBettinumberreciprocaldiagramsrigiditytheory
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

Classically, Maxwell–Cremona liftings turn a planar framework with a self-stress into a three-dimensional polyhedral surface that projects back to the drawing. This paper gives a topological definition of such liftings that works even when the framework is not planar and the surface is not oriented, and it proves a quantitative guarantee: whenever the self-stress space is larger than three times the first Betti number of the surface, a non-trivial single-valued lifting exists. The construction follows a face-path through the surface, accumulating a piecewise-linear height function whose value is independent of the chosen path up to homotopy. The result matters because it extends a classical correspondence between stresses and spatial liftings to settings where edges may cross, which is relevant to rigidity theory, discrete geometry, and polyhedral combinatorics.

What carries the argument

The central object is the lift along an oriented face-path, assembled from elementary lifts $L_{f_i}^{f_{i-1}}(p)=\det(p_1-q_1,p_1-p)\,w(p_iq_i)\,\rho_{\mathrm{discr}}(f_0,f_1)$, where $w(p_iq_i)$ is the stress on the shared edge and $\rho_{\mathrm{discr}}$ merely records whether two faces are distinct. This sum is homotopy-invariant because it is unchanged by the two elementary moves: inserting or deleting a doubled face at an edge, and inserting or deleting a loop of faces around a vertex, the latter vanishing by the equilibrium condition on the stress. The monodromy-free condition—that every face-loop lifts to zero—then lets the path-wise lift be written as $\tau_w(f,f')$, and the function $\tau_{w,f}(p)=\tau_w(f,f_p)(p)$ is the lifting. The dimension bound in Theorem 3.9 comes from counting, for each of the $b_1(S)$ independent homology loops, the three linear conditions that monodromy-freeness imposes on the stress space, with finite-order loops eliminated by Proposition 3.8.

What would settle it

Find a compact polygonal surface $S$ in the plane with $d>3b_1(S)$ for which every self-stress has a nonzero monodromy around some face-loop. Since Theorem 3.9 claims such a framework must have a non-trivial monodromy-free lifting, a single such example, produced by a small triangulation with crossing edges and a stress space of dimension $3b_1(S)+1$, would falsify the theorem.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is a topological version of the Maxwell–Cremona correspondence for arbitrary polygonal surfaces in the plane, oriented or not. A self-stress on the 1-skeleton defines, for any oriented face-path, a lift obtained by summing elementary determinants attached to crossed edges; Theorem 2.8 shows this lift depends only on the homotopy class of the path. A stress is monodromy-free precisely when every face-loop lifts to zero, and then it defines a genuine piecewise-linear function on the surface. The main result, Theorem 3.9, states that if the dimension of the space of self-stresses exceeds $3b_1(S)$, where $b_1(S)$ is the first Betti number, then a non-trivial monodromy-free lifting exists; for oriented surfaces this recovers the previously known genus bound, while for non-oriented surfaces it is new. In the simply connected case the correspondence is a bijection between all self-stresses and all liftings that keep one face in the plane $z=0$.

Load-bearing premise

The proof assumes that each independent loop in the surface contributes exactly three linear conditions on the space of self-stresses, with no extra hidden conditions and with finite-order loops contributing none; if that rank count fails, the dimension bound $d>3b_1(S)$ would not guarantee a lifting.

Editorial extensions

If this is right

  • For oriented surfaces, the theorem reproduces the existing bound: stress dimension above $6g$ guarantees a lifting, since $b_1=2g$.
  • For non-oriented surfaces, the bound $d>3b_1(S)$ is the first general estimate of this type; it covers surfaces such as a Möbius band or a Klein bottle with boundary.
  • When $b_1(S)=0$, the correspondence is a bijection: every self-stress gives a unique lifting with a chosen face horizontal, so polyhedra in space are enumerated by their planar projections with self-stresses.
  • Cutting a surface along edges to remove the infinite generators of $H_1(S)$ produces a fundamental domain, and the lifting is uniquely reconstructed from it as a possibly multivalued covering of the original.
  • The worked example of the triangular prism shows that a single framework can admit liftings with different monodromy types, including one trivial and one non-trivial monodromy.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The $3b_1(S)$ bound is likely not sharp in general: the three conditions per loop treat the affine group's degrees of freedom, but geometric degeneracies of a particular framework may reduce the number of independent conditions, so the threshold could be lowered for special configurations.
  • The construction suggests a direct algorithm for producing liftings: compute the stress space, solve the linear monodromy equations, and assemble the height function face by face; this could be implemented for toroidal or other non-planar frameworks arising in graphic statics.
  • Extending the definition to higher-dimensional complexes along the lines of the authors' earlier work might yield analogous Betti-number bounds for liftings of $d$-dimensional frameworks, with the constant 3 replaced by the dimension of an affine group acting on $\mathbb{R}^d$.
  • A natural test case is to search computationally for polygonal surfaces with $b_1=1$ and stress dimension exactly 3 in which every stress has nonzero monodromy; finding such an example would show the constant 3 cannot be improved without additional hypotheses.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 5 minor

Summary. The paper introduces a topological definition of Maxwell-Cremona liftings for frameworks that are 1-skeleta of polygonal surfaces in the plane, allowing non-planar embeddings and non-orientable surfaces. A self-stress defines an elementary lift across an edge, and summing these lifts along an oriented face-path gives an affine function; Theorem 2.8 states that this lift is invariant under homotopy of oriented face-paths. A stress is called monodromy-free when every face-loop has zero lift, and such a stress yields a single-valued piecewise-linear height function on the surface. The main result, Theorem 3.9, claims that if the space of self-stresses has dimension d > 3 b1(S), then there exists a nontrivial monodromy-free polyhedral lifting. The paper also proves a bijection for surfaces with b1(S)=0 and gives a worked example of a framework with one trivial and one nontrivial monodromy.

Significance. If the main estimate is correct, the paper provides an explicit constructive criterion for liftability of non-planar frameworks and recovers the known 6g threshold for oriented surfaces of genus g. The elementary-lift formula is explicit and self-contained, and the homotopy invariance statement is a useful contribution that does not depend on prior work. The example is concrete and illustrates the distinction between trivial and nontrivial monodromy. However, the proof of the central theorem is not complete enough to establish the claimed estimate in full generality, especially for closed nonorientable surfaces.

major comments (3)
  1. [Section 3.3, Proposition 3.8 and Theorem 3.9] Theorem 3.9's proof dismisses finite generators of H1(S) by invoking Proposition 3.8, but Proposition 3.8 applies only to face-loops of finite order in the fundamental group(oid), since its proof uses that mγ is null-homotopic. A finite-order class in H1(S;Z) need not have finite order in π1(S): for the Klein bottle, the Z/2 summand of H1(S;Z)=Z⊕Z/2 is represented by an orientation-reversing loop whose double is null-homologous but not null-homotopic, as it lifts to a nontrivial loop in the orientation double cover, a torus. Thus the step 'We can disregard finite generators' is invalid for closed nonorientable surfaces, and the theorem's statement does not exclude them. If Theorem 3.9 is intended only for surfaces with nonempty boundary, where H1(S) is torsion-free, that restriction must be stated and Remark 3.10's comparison with closed oriented surfaces should be qualified.
  2. [Section 3.3, proof of Theorem 3.9] The sentence 'Every infinite generator of H1(S) provides three linear conditions' asserts without proof that the monodromy of a face-loop depends only on its homology class and that the map from the stress space to the three coefficients (a,b,c) is linear. Homotopy invariance (Theorem 2.8) gives well-definedness on the relevant path groupoid, but the paper does not prove the abelianization step, nor does it state or prove linearity of the monodromy coefficients as functions of the self-stress w. Without these facts, the count of 3b1(S) linear conditions is not established, and the conclusion d > 3b1(S) does not follow from the argument as written.
  3. [Section 3.3, Proposition 3.8] Proposition 3.8 is missing its stated conclusion: the statement says only 'Consider a lift with respect to an oriented face-loop γ that represents a finite order element in the surface S' and then proceeds directly to the proof. The proposition should explicitly conclude that the lift τ_{γ,w}(f,f) is the zero function; as written, the reader must infer the intended claim from the proof.
minor comments (5)
  1. [Theorem 3.9] The phrase 'Betty number' should be 'Betti number', and 'the dimension of the space of stresses ... equals to d' should be 'equals d'.
  2. [Introduction] There are several typographical errors, including 'particulary' and 'surfaces' in the introduction; a careful proofreading pass is needed.
  3. [Definition 2.2] In Definition 2.2, 'a sequence ofF' should read 'a sequence of faces F'; the same definition could also clarify that a face-loop is a face-path with f0 = fN.
  4. [Section 2.4] The proof of the second elementary move states that the second bracket is zero 'corresponds to the equilibrium condition at the vertex', but the sign bookkeeping that ties the determinant terms to the equilibrium equation is not shown; a short derivation would make the proof easier to check, especially since the paper treats non-oriented surfaces.
  5. [Section 3.3, Theorem 3.11] The proof of Theorem 3.11 is very terse: the sentence 'monodromy along any face-path uniquely defines the lifting' should be expanded to explain how the stresses are recovered from adjacent face heights and why the map is surjective.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: Theorem 3.9 is a linear-algebra dimension argument independent of its conclusion.

full rationale

The paper defines liftings from self-stresses and then proves a homotopy-invariance theorem (Theorem 2.8) using local equilibrium moves. The central theorem (Theorem 3.9) does not presuppose the existence of monodromy-free stresses; it counts monodromy conditions per H1 generator and applies a rank-nullity argument. The finite-order-generator step relies on Proposition 3.8, which is proved inside the paper; whether its topological premise is valid for all nonorientable surfaces is a correctness concern, not a circularity concern. The correspondence in Theorem 3.11 is a bijection proved in both directions, not a renaming or a definitional tautology. Self-citations [10] and [11] appear only in the introduction as contextual references and do not carry the load of any theorem. No quantity is fitted to data, no result is assumed as an input, and the main claim is not equivalent by construction to its evidence.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The paper introduces no fitted parameters or new physical entities. The main unproved background is the standard fact that closed 1-forms on a surface integrate to homotopy/homology invariants, which the proof of Theorem 3.9 uses without stating; for non-oriented surfaces this implicit transfer to the oriented double cover needs spelling out.

assumptions (4)
  • domain assumption The surface S is compact and its boundary is a disjoint union of circles.
    Stated in Remark 2.1; guarantees the Betti number and fundamental group arguments in Section 3 apply.
  • domain assumption Each face of S is a flat polygon in R^2 with non-self-intersecting boundary; the framework F(S) is its straight-line 1-skeleton.
    From Section 2.1; needed for the determinant-based elementary lift to be well-defined.
  • domain assumption The lift tau_gamma,w depends only on the homotopy class of the oriented face-path gamma, and the monodromy map from loops to affine functions is a homomorphism from H1(S) to R^3.
    Theorem 2.8 proves homotopy invariance, but the proof of Theorem 3.9 silently upgrades this to a rank bound of 3 b1(S) conditions; this upgrade is the mathematical core of the counting argument and is not derived in the text.
  • domain assumption An oriented face-path may visit the same face with opposite orientations, and such copies are treated as distinct faces by the rho_discr factor.
    Remark 2.5; this convention is required for the non-oriented case to make sense, and it underlies Proposition 3.8 for finite-order loops.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Liftings of surfaces in the plane." pith.science (2026). https://pith.science/paper/QY2VDNSB

@misc{pith2026250518841,
  author       = {Pith},
  title        = {Pith review of: Liftings of surfaces in the plane},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/QY2VDNSB}},
  note         = {Machine review of arXiv:2505.18841}
}
read the original abstract

In this note we provide a topological definition of Maxwell-Cremona liftings for non-planar frameworks of surfaces (both oriented and non-oriented). In the non-oriented case we give an estimate on the dimension of self-stresses, when the frameworks will posses a non-trivial lifting.

Figures

Figures reproduced from arXiv: 2505.18841 by the authors.

Figure 1
Figure 1. Lifting of a framework, corresponding to a torus. 3. Liftings for non-planar frameworks 3.1. Definition of lifting. For a single-valued lifting we need the so￾called it monodromy conditions: all the lifts along face-loops (having the same starting and end faces) are zero. If this is not the case one still can consider multivariate functions that will correspond to various coverings of surfaces. Definition 3.1. Let S… view at source ↗
Figure 2
Figure 2. Different types of lifting of a framework corresponding to a torus. Example 3.14. Note that there are surfaces whose frameworks possess various topological types of lifting. On [PITH_FULL_IMAGE:figures/full_fig_p010_2.png] view at source ↗
Figure 3
Figure 3. Stresses on a triangular prism. The dotted lines are unstressed. The plane framework lifts to an infinite triangular prism tube, corkscrewing out of the plane of the drawing. The unstressed dotted edges are all horizontal, at levels 32 units apart from one another. The stressed prism on the left lifts to a prism with two horizontal triangles, lifted 32 units apart. Then we have τw,f0 (f0 ∪ f1 ∪ f2 ∪ f3 ∪ f4 ∪ f5) = … view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

16 extracted references · 15 canonical work pages

  1. [1]

    Liftings and stresses for planar periodic frameworks

    Ciprian Borcea and Ileana Streinu. Liftings and stresses for planar periodic frameworks. In Proceedings of the thirtieth annual symposium on Computa- tional geometry, pages 519–528, 2014

    work page 2014

  2. [2]

    Liftings and stresses for planar periodic frameworks

    Ciprian Borcea and Ileana Streinu. Liftings and stresses for planar periodic frameworks. Discrete Comput. Geom. , 53(4):747–782, 2015

    work page 2015

  3. [3]

    Demaine, and G¨ unter Rote

    Robert Connelly, Erik D. Demaine, and G¨ unter Rote. Straightening polygonal arcs and convexifying polygonal cycles. Discrete Comput. Geom. , 30(2):205– 239, 2003

    work page 2003

  4. [4]

    Cooperband, R

    Z. Cooperband, R. Ghrist, and J. Hansen. A cosheaf theory of reciprocal fig- ures: Planar and higher genus graphic statics, 2023. arXiv:2311.12946. 12 OLEG KARPENKOV, BRIGITTE SER V ATIUS, HERMAN SER V ATIUS

    arXiv 2023

  5. [5]

    Autocontraintes planes et poly` edres pro- jet´ es

    Henry Crapo and Walter Whiteley. Autocontraintes planes et poly` edres pro- jet´ es. I. Le motif de base.Structural Topology, (20):55–78, 1993. Dual French- English text

    work page 1993

  6. [6]

    Le figure reciproche nella statica grafica del prof

    Luigi Cremona. Le figure reciproche nella statica grafica del prof. L. Cremona . Tipografia di Giuseppe Bernardoni, 1872

    work page

  7. [7]

    Drawing stressed planar graphs in three dimensions

    Peter Eades and Patrick Garvan. Drawing stressed planar graphs in three dimensions. In Graph drawing (Passau, 1995) , volume 1027 of Lecture Notes in Comput. Sci. , pages 212–223. Springer, Berlin, 1996

    work page 1995

  8. [8]

    A toroidal Maxwell-Cremona-Delaunay corre- spondence

    Jeff Erickson and Patrick Lin. A toroidal Maxwell-Cremona-Delaunay corre- spondence. J. Comput. Geom. , 12(2):55–85, 2021

    work page 2021

Show all 16 references
  1. [9]

    A sufficient connectivity condition for generic rigidity in the plane

    Bill Jackson and Tibor Jord´ an. A sufficient connectivity condition for generic rigidity in the plane. Discrete Appl. Math. , 157(8):1965–1968, 2009

    1965

  2. [10]

    Karpenkov, F

    O. Karpenkov, F. Mohammadiand, Christian M¨ uller, and Bernd Schulze. A differential approach to maxwell-cremona liftings, 2023. arXiv:2312.09891

    2023 arXiv

  3. [11]

    Karpenkov, F

    O. Karpenkov, F. Mohammadiand, Christian M¨ uller, and Bernd Schulze. Klein-arnold tensegrities, 2024. arXiv:2410.12729

    2024 arXiv

  4. [12]

    Clerk Maxwell

    J. Clerk Maxwell. On reciprocal figures and diagrams of forces. The Lon- don, Edinburgh, and Dublin Philosophical Magazine and Journal of Science , 27(182):250–261, 1864

  5. [13]

    Clerk Maxwell

    J. Clerk Maxwell. I. On reciprocal figures, frames, and diagrams of forces.Earth and Environmental Science Transactions of the Royal Society of Edinburgh , 26(1):1–40, 1870

  6. [14]

    Lectures on Discrete and Polyhedral Geometry

    Igor Pak. Lectures on Discrete and Polyhedral Geometry . preprint, https://www.math.ucla.edu/ pak/geompol8.pdf, 2010

    2010

  7. [15]

    Springer, 1996

    J¨ urgen Richter-Gebert.Realization spaces of polytopes. Springer, 1996

    1996

  8. [16]

    Motions and stresses of projected polyhedra

    Walter Whiteley. Motions and stresses of projected polyhedra. Structural Topology, (7):13–38, 1982. With a French translation. Oleg Karpenkov, University of Liverpool Email address : karpenk@liverpool.ac.uk Brigitte Servatius, Worcester Polytechnic Institute Email address : bs...

    1982

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.