-
Discrete Lorentz surfaces and s-embeddings II: maximal surfaces
Authors:
Niklas Christoph Affolter,
Felix Dellinger,
Christian Müller,
Denis Polly,
Nina Smeenk
Abstract:
S-embeddings were introduced by Chelkak as a tool to study the conformal invariance of the thermodynamic limit of the Ising model. Moreover, Chelkak, Laslier and Russkikh introduced a lift of s-embeddings to Lorentz space, and showed that in the limit the lift converges to a maximal surface. They posed the question whether there are s-embeddings that lift to maximal surfaces already at the discret…
▽ More
S-embeddings were introduced by Chelkak as a tool to study the conformal invariance of the thermodynamic limit of the Ising model. Moreover, Chelkak, Laslier and Russkikh introduced a lift of s-embeddings to Lorentz space, and showed that in the limit the lift converges to a maximal surface. They posed the question whether there are s-embeddings that lift to maximal surfaces already at the discrete level, before taking the limit. We answer this question in the positive. In a previous paper we identified a subclass of s-embeddings--isothermic s-embeddings--that lift to (discrete) S-isothermic surfaces, which were introduced by Bobenko and Pinkall as a discretization of isothermic surfaces. In this paper we identify a special class of isothermic s-embeddings that correspond to discrete S-maximal surfaces, translating an approach of Bobenko, Hoffmann and Springborn introduced for discrete S-minimal surfaces in Euclidean space. Additionally, each S-maximal surface comes with a 1-parameter family of associated surfaces that are isometric. This enables us to obtain an associated family of s-embeddings for each maximal s-embedding. We show that the Ising weights are constant in the associated family.
△ Less
Submitted 28 November, 2024;
originally announced November 2024.
-
Discrete Lorentz surfaces and s-embeddings I: isothermic surfaces
Authors:
Niklas Christoph Affolter,
Felix Dellinger,
Christian Müller,
Denis Polly,
Nina Smeenk
Abstract:
S-embeddings were introduced by Chelkak as a tool to study the conformal invariance of the thermodynamic limit of the Ising model. Moreover, Chelkak, Laslier and Russkikh introduced a lift of s-embeddings to Lorentz space, and showed that in the limit the lift converges to a maximal surface. They posed the question whether there are s-embeddings that lift to maximal surfaces already at the discret…
▽ More
S-embeddings were introduced by Chelkak as a tool to study the conformal invariance of the thermodynamic limit of the Ising model. Moreover, Chelkak, Laslier and Russkikh introduced a lift of s-embeddings to Lorentz space, and showed that in the limit the lift converges to a maximal surface. They posed the question whether there are s-embeddings that lift to maximal surfaces already at the discrete level, before taking the limit. This paper is the first in a two paper series, in which we answer that question in the positive. In this paper we introduce a correspondence between s-embeddings (incircular nets) and congruences of touching Lorentz spheres. This geometric interpretation of s-embeddings enables us to apply the tools of discrete differential geometry. We identify a subclass of s-embeddings -- isothermic s-embeddings -- that lift to (discrete) S-isothermic surfaces, which were introduced by Bobenko and Pinkall. S-isothermic surfaces are the key component that will allow us to obtain discrete maximal surfaces in the follow-up paper. Moreover, we show here that the Ising weights of an isothermic s-embedding are in a subvariety.
△ Less
Submitted 15 October, 2024;
originally announced October 2024.
-
Principal binets
Authors:
Niklas Christoph Affolter,
Jan Techter
Abstract:
Conjugate line parametrizations of surfaces were first discretized almost a century ago as quad meshes with planar faces. With the recent development of discrete differential geometry, two discretizations of principal curvature line parametrizations were discovered: circular nets and conical nets, both of which are special cases of discrete conjugate nets. Subsequently, circular and conical nets w…
▽ More
Conjugate line parametrizations of surfaces were first discretized almost a century ago as quad meshes with planar faces. With the recent development of discrete differential geometry, two discretizations of principal curvature line parametrizations were discovered: circular nets and conical nets, both of which are special cases of discrete conjugate nets. Subsequently, circular and conical nets were given a unified description as isotropic line congruences in the Lie quadric. We propose a generalization by considering polar pairs of line congruences in the ambient space of the Lie quadric. These correspond to pairs of discrete conjugate nets with orthogonal edges, which we call principal binets, a new and more general discretization of principal curvature line parametrizations. We also introduce two new discretizations of orthogonal and Gauss-orthogonal parametrizations. All our discretizations are subject to the transformation group principle, which means that they satisfy the corresponding Lie, Möbius, or Laguerre invariance respectively, in analogy to the smooth theory. Finally, we show that they satisfy the consistency principle, which means that our definitions generalize to higher dimensional square lattices. Our work expands on recent work by Dellinger on checkerboard patterns.
△ Less
Submitted 17 September, 2024;
originally announced September 2024.
-
Möbius invariant Y-systems (cluster structures) for Miquel dynamics
Authors:
Niklas Christoph Affolter
Abstract:
Miquel dynamics is a discrete time dynamics for circle patterns, which relies on Miquel's six circle theorem. Previous work shows that the evolution of the circle centers satisfy the dSKP equation on the octahedral lattice $A_3$. As a consequence, Miquel dynamics is a discrete integrable system. Moreover, Miquel dynamics give rise to a real-valued cluster structure. The evolution of the cluster va…
▽ More
Miquel dynamics is a discrete time dynamics for circle patterns, which relies on Miquel's six circle theorem. Previous work shows that the evolution of the circle centers satisfy the dSKP equation on the octahedral lattice $A_3$. As a consequence, Miquel dynamics is a discrete integrable system. Moreover, Miquel dynamics give rise to a real-valued cluster structure. The evolution of the cluster variables under Miquel dynamics is also called a Y-system in the discrete integrable systems community. If the Y-system is real positive-valued then the circle pattern is accompanied by an invariant dimer model, an exactly solvable model studied in statistical physics. However, while circle patterns are Möbius invariant, the circle centers and the Y-system are not Möbius invariant, which violates the so called transformation group principle. In this article we show that half the intersection points satisfy the dSKP equation as well, and we introduce two new real-valued Y-systems for Miquel dynamics that involve only the intersection points. Therefore, the new Y-systems are Möbius invariant, and thus satisfy the transformation group principle. We also show that the circle centers and intersection points combined satisfy the dSKP equation on the 4-dimensional octahedral lattice $A_4$. In addition, we present two more complex-valued Y-systems for Miquel dynamics, which are real-valued in and only in the case of integrable circle patterns. We also investigate the special cases of harmonic embeddings and s-embeddings, which relate to the spanning tree and Ising model respectively.
△ Less
Submitted 23 October, 2024; v1 submitted 12 December, 2023;
originally announced December 2023.
