-
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.
-
Discrete Differential Geometry and Cluster Algebras via TCD maps
Authors:
Niklas Christoph Affolter
Abstract:
In this PhD thesis we develop the frame work of triple crossing diagram maps (TCD maps), which describes constrained configurations of points in projective spaces and discrete dynamics on these configurations. We are able to capture the constraints and dynamics of a large list of examples that occur in discrete differential geometry (DDG), discrete integrable systems and exactly solvable models. W…
▽ More
In this PhD thesis we develop the frame work of triple crossing diagram maps (TCD maps), which describes constrained configurations of points in projective spaces and discrete dynamics on these configurations. We are able to capture the constraints and dynamics of a large list of examples that occur in discrete differential geometry (DDG), discrete integrable systems and exactly solvable models. We explain how to apply various geometric operations to TCD maps, including projections, intersections with hyperplanes and projective dualization. In fact, we show how many examples in the literature are related by the aforementioned operations. Moreover, we introduce a hierarchy of cluster structures on TCD maps, thus answering the open question how objects of DDG relate to cluster structures. At the same time, the general cluster structure reproduces cluster structures known for the pentagram map, T-graphs and t-embeddings. We also explain how the cluster structures behave under geometric operations. Via the cluster structures, the TCD maps are also related to the probabilistic dimer model. The spanning tree model and the Ising model can be obtained as special cases of the dimer model, and we investigate how these special cases relate to geometry. This also leads to two new incidence theorems in relation to quadrics and null-polarities in $\mathbb C \mathrm P^3$. Finally, we also show how TCD maps relate to the Fock-Goncharov moduli spaces of projective flag configurations.
△ Less
Submitted 3 May, 2023;
originally announced May 2023.
-
The Schwarzian octahedron recurrence (dSKP equation) II: geometric systems
Authors:
Niklas Christoph Affolter,
Béatrice de Tilière,
Paul Melotti
Abstract:
We consider nine geometric systems: Miquel dynamics, P-nets, integrable cross-ratio maps, discrete holomorphic functions, orthogonal circle patterns, polygon recutting, circle intersection dynamics, (corrugated) pentagram maps and the short diagonal hyperplane map. Using a unified framework, for each system we prove an explicit expression for the solution as a function of the initial data; more pr…
▽ More
We consider nine geometric systems: Miquel dynamics, P-nets, integrable cross-ratio maps, discrete holomorphic functions, orthogonal circle patterns, polygon recutting, circle intersection dynamics, (corrugated) pentagram maps and the short diagonal hyperplane map. Using a unified framework, for each system we prove an explicit expression for the solution as a function of the initial data; more precisely, we show that the solution is equal to the ratio of two partition functions of an oriented dimer model on an Aztec diamond whose face weights are constructed from the initial data. Then, we study the Devron property [Gli15], which states the following: if the system starts from initial data that is singular for the backwards dynamics, this singularity is expected to reoccur after a finite number of steps of the forwards dynamics. Again, using a unified framework, we prove this Devron property for all of the above geometric systems, for different kinds of singular initial data. In doing so, we obtain new singularity results and also known ones [Gli15, Yao14]. Our general method consists in proving that these nine geometric systems are all related to the Schwarzian octahedron recurrence (dSKP equation), and then to rely on the companion paper [AdTM22], where we study this recurrence in general, prove explicit expressions and singularity results.
△ Less
Submitted 7 June, 2024; v1 submitted 30 July, 2022;
originally announced August 2022.
-
The Schwarzian octahedron recurrence (dSKP equation) I: explicit solutions
Authors:
Niklas Christoph Affolter,
Béatrice de Tilière,
Paul Melotti
Abstract:
We prove an explicit expression for the solutions of the discrete Schwarzian octahedron recurrence, also known as the discrete Schwarzian KP equation (dSKP), as the ratio of two partition functions. Each one counts weighted oriented dimer configurations of an associated bipartite graph, and is equal to the determinant of a Kasteleyn matrix. This is in the spirit of Speyer's result on the dKP equat…
▽ More
We prove an explicit expression for the solutions of the discrete Schwarzian octahedron recurrence, also known as the discrete Schwarzian KP equation (dSKP), as the ratio of two partition functions. Each one counts weighted oriented dimer configurations of an associated bipartite graph, and is equal to the determinant of a Kasteleyn matrix. This is in the spirit of Speyer's result on the dKP equation, or octahedron recurrence [Spe07]. One consequence is that dSKP has zero algebraic entropy, meaning that the growth of the degrees of the polynomials involved is only polynomial. There are cancellations in the partition function, and we prove an alternative, cancellation free explicit expression involving complementary trees and forests. Using all of the above, we show several instances of the Devron property for dSKP, i.e., that certain singularities in initial data repeat after a finite number of steps. This has many applications for discrete geometric systems and is the subject of the companion paper [AdTM22]. We also prove limit shape results analogous to the arctic circle of the Aztec diamond. Finally, we discuss the combinatorics of all the other octahedral equations in the classification of Adler, Bobenko and Suris [ABS12].
△ Less
Submitted 7 June, 2024; v1 submitted 30 July, 2022;
originally announced August 2022.
-
Integrable dynamics in projective geometry via dimers and triple crossing diagram maps on the cylinder
Authors:
Niklas Christoph Affolter,
Terrence George,
Sanjay Ramassamy
Abstract:
We introduce twisted triple crossing diagram maps, collections of points in projective space associated to bipartite graphs on the cylinder, and use them to provide geometric realizations of the cluster integrable systems of Goncharov and Kenyon constructed from toric dimer models. Using this notion, we provide geometric proofs that the pentagram map and the cross-ratio dynamics integrable systems…
▽ More
We introduce twisted triple crossing diagram maps, collections of points in projective space associated to bipartite graphs on the cylinder, and use them to provide geometric realizations of the cluster integrable systems of Goncharov and Kenyon constructed from toric dimer models. Using this notion, we provide geometric proofs that the pentagram map and the cross-ratio dynamics integrable systems are cluster integrable systems. We show that in appropriate coordinates, cross-ratio dynamics is described by geometric $R$-matrices, which solves the open question of finding a cluster algebra structure describing cross-ratio dynamics.
△ Less
Submitted 3 June, 2025; v1 submitted 28 August, 2021;
originally announced August 2021.
-
Miquel Dynamics, Clifford Lattices and the Dimer Model
Authors:
Niklas C. Affolter
Abstract:
Miquel dynamics were introduced by Ramassamy as a discrete time evolution of square grid circle patterns on the torus. In each time step every second circle in the pattern is replaced with a new one by employing Miquel's six circle theorem. Inspired by these dynamics we define the Miquel move, which changes the combinatorics and geometry of a circle pattern locally. We prove that the circle center…
▽ More
Miquel dynamics were introduced by Ramassamy as a discrete time evolution of square grid circle patterns on the torus. In each time step every second circle in the pattern is replaced with a new one by employing Miquel's six circle theorem. Inspired by these dynamics we define the Miquel move, which changes the combinatorics and geometry of a circle pattern locally. We prove that the circle centers under Miquel dynamics are Clifford lattices, considered as an integrable system by Konopelchenko and Schief. Clifford lattices have the combinatorics of an octahedral lattice and every octahedron contains six intersection points of Clifford's four circle configuration. The Clifford move replaces one of these circle intersection points with the opposite one. We establish a new connection between circle patterns and the dimer model: If the distances between circle centers are interpreted as edge weights, the Miquel move preserves probabilities in the sense of of urban renewal.
△ Less
Submitted 13 August, 2018;
originally announced August 2018.
