-
Bonnet pairs, isothermic surfaces and the retraction form
Authors:
F. E. Burstall,
T. Hoffmann,
F. Pedit,
A. O. Sageman-Furnas
Abstract:
We give a modern account of the classical theory of Bianchi \cite{Bia03} (see also \cite{KamPedPin98}) relating isothermic surfaces to Bonnet pairs. The main novelty is to identify the derivatives of the Bonnet pair with a component of the retraction form of the isothermic surface.
We give a modern account of the classical theory of Bianchi \cite{Bia03} (see also \cite{KamPedPin98}) relating isothermic surfaces to Bonnet pairs. The main novelty is to identify the derivatives of the Bonnet pair with a component of the retraction form of the isothermic surface.
△ Less
Submitted 20 June, 2025; v1 submitted 16 June, 2025;
originally announced June 2025.
-
Skew parallelogram nets and universal factorization
Authors:
Tim Hoffmann,
Andrew O. Sageman-Furnas,
Jannik Steinmeier
Abstract:
We obtain many objects of discrete differential geometry as reductions of skew parallelogram nets, a system of lattice equations that may be formulated for any unit associative algebra. The Lax representation is linear in the spectral parameter, and paths in the lattice give rise to polynomial dependencies. We prove that generic polynomials in complex two by two matrices factorize, implying that s…
▽ More
We obtain many objects of discrete differential geometry as reductions of skew parallelogram nets, a system of lattice equations that may be formulated for any unit associative algebra. The Lax representation is linear in the spectral parameter, and paths in the lattice give rise to polynomial dependencies. We prove that generic polynomials in complex two by two matrices factorize, implying that skew parallelogram nets encompass all systems with such a polynomial representation. We demonstrate factorization in the context of discrete curves by constructing pairs of Bäcklund transformations that induce Euclidean motions on discrete elastic rods. More generally, we define a hierarchy of discrete curves by requiring such an invariance after an integer number of Bäcklund transformations. Moreover, we provide the factorization explicitly for discrete constant curvature surfaces and reveal that they are slices in certain 4D cross-ratio systems. Encompassing the discrete DPW method, this interpretation constructs such surfaces from given discrete holomorphic maps.
△ Less
Submitted 5 April, 2024; v1 submitted 16 January, 2024;
originally announced January 2024.
-
Isothermic tori with one family of planar curvature lines and area constrained hyperbolic elastica
Authors:
Alexander I. Bobenko,
Tim Hoffmann,
Andrew O. Sageman-Furnas
Abstract:
In 1883, Darboux gave a local classification of isothermic surfaces with one family of planar curvature lines using complex analytic methods. His choice of real reduction cannot contain tori. We classify isothermic tori with one family of planar curvature lines. They are found in the second real reduction of Darboux's description. We give explicit theta function formulas for the family of plane cu…
▽ More
In 1883, Darboux gave a local classification of isothermic surfaces with one family of planar curvature lines using complex analytic methods. His choice of real reduction cannot contain tori. We classify isothermic tori with one family of planar curvature lines. They are found in the second real reduction of Darboux's description. We give explicit theta function formulas for the family of plane curves. These curves are particular area constrained hyperbolic elastica. With a Euclidean gauge, the Euler--Lagrange equation is lower order than expected. In our companion paper (arXiv:2110.06335) we use such isothermic tori to construct the first examples of compact Bonnet pairs: two isometric tori related by a mean curvature preserving isometry. They are also the first pair of isometric compact immersions that are analytic. Additionally, we study the finite dimensional moduli space characterizing when the second family of curvature lines is spherical. Isothermic tori with planar and spherical curvature lines are natural generalizations of Wente constant mean curvature tori, discovered in 1986. Wente tori are recovered in a limit case of our formulas.
△ Less
Submitted 26 December, 2023; v1 submitted 12 December, 2023;
originally announced December 2023.
-
Compact Bonnet Pairs: isometric tori with the same curvatures
Authors:
Alexander I. Bobenko,
Tim Hoffmann,
Andrew O. Sageman-Furnas
Abstract:
We explicitly construct a pair of immersed tori in three dimensional Euclidean space that are related by a mean curvature preserving isometry. These Bonnet pair tori are the first examples of compact Bonnet pairs. This resolves a longstanding open problem on whether the metric and mean curvature function determine a unique smooth compact immersion. Moreover, we prove these isometric tori are real…
▽ More
We explicitly construct a pair of immersed tori in three dimensional Euclidean space that are related by a mean curvature preserving isometry. These Bonnet pair tori are the first examples of compact Bonnet pairs. This resolves a longstanding open problem on whether the metric and mean curvature function determine a unique smooth compact immersion. Moreover, we prove these isometric tori are real analytic. This resolves a second longstanding open problem on whether real analyticity of the metric already determines a unique compact immersion. Our construction uses the relationship between Bonnet pairs and isothermic surfaces. The Bonnet pair tori arise as conformal transformations of an isothermic torus with one family of planar curvature lines. We classify such isothermic tori in our companion paper (arXiv:2312.14956). The above approach stems from computational investigations of a 5x7 quad decomposition of a torus using a discrete differential geometric analog of isothermic surfaces and Bonnet pairs.
△ Less
Submitted 26 December, 2023; v1 submitted 12 October, 2021;
originally announced October 2021.
-
A 2x2 Lax representation, associated family, and Bäcklund transformation for circular K-nets
Authors:
Tim Hoffmann,
Andrew O. Sageman-Furnas
Abstract:
We present a 2x2 Lax representation for discrete circular nets of constant negative Gauß curvature. It is tightly linked to the 4D consistency of the Lax representation of discrete K-nets (in asymptotic line parametrization). The description gives rise to Bäcklund transformations and an associated family. All the members of that family -- although no longer circular -- can be shown to have constan…
▽ More
We present a 2x2 Lax representation for discrete circular nets of constant negative Gauß curvature. It is tightly linked to the 4D consistency of the Lax representation of discrete K-nets (in asymptotic line parametrization). The description gives rise to Bäcklund transformations and an associated family. All the members of that family -- although no longer circular -- can be shown to have constant Gauß curvature as well. Explicit solutions for the Bäcklund transformations of the vacuum (in particular Dini's surfaces and breather solutions) and their respective associated families are given.
△ Less
Submitted 22 October, 2015;
originally announced October 2015.
-
A discrete parametrized surface theory in R^3
Authors:
Tim Hoffmann,
Andrew O. Sageman-Furnas,
Max Wardetzky
Abstract:
We propose a discrete surface theory in $\mathbb R^3$ that unites the most prevalent versions of discrete special parametrizations. This theory encapsulates a large class of discrete surfaces given by a Lax representation and, in particular, the one-parameter associated families of constant curvature surfaces. The theory is not restricted to integrable geometries, but extends to a general surface…
▽ More
We propose a discrete surface theory in $\mathbb R^3$ that unites the most prevalent versions of discrete special parametrizations. This theory encapsulates a large class of discrete surfaces given by a Lax representation and, in particular, the one-parameter associated families of constant curvature surfaces. The theory is not restricted to integrable geometries, but extends to a general surface theory.
△ Less
Submitted 23 December, 2014;
originally announced December 2014.