-
Prescribed curvature problem for discrete conformality on convex spherical cone-metrics
Authors:
Ivan Izmestiev,
Roman Prosanov,
Tianqi Wu
Abstract:
Let $S$ be the 2-sphere and $V \subset S$ be a finite set of at least three points. We show that for each function $κ: V \rightarrow (0, 2π)$ satisfying elementary necessary conditions, in each discrete conformal class of spherical cone-metrics there exists a unique metric realizing $κ$ as its discrete curvature. This can be seen as a discrete version of a result of Luo and Tian.
Let $S$ be the 2-sphere and $V \subset S$ be a finite set of at least three points. We show that for each function $κ: V \rightarrow (0, 2π)$ satisfying elementary necessary conditions, in each discrete conformal class of spherical cone-metrics there exists a unique metric realizing $κ$ as its discrete curvature. This can be seen as a discrete version of a result of Luo and Tian.
△ Less
Submitted 29 November, 2023; v1 submitted 20 March, 2023;
originally announced March 2023.
-
Isometric Deformations of Discrete and Smooth T-surfaces
Authors:
Ivan Izmestiev,
Arvin Rasoulzadeh,
Jonas Tervooren
Abstract:
Quad-surfaces are polyhedral surfaces with quadrilateral faces and the combinatorics of the square grid. A generic quad-surface is rigid. T-hedra is a class of flexible quad-surfaces introduced by Graf and Sauer in 1931. Particular examples of T-hedra are the celebrated Miura fold, discrete surfaces of revolution, and discrete molding surfaces. We provide an explicit parametrization of the isometr…
▽ More
Quad-surfaces are polyhedral surfaces with quadrilateral faces and the combinatorics of the square grid. A generic quad-surface is rigid. T-hedra is a class of flexible quad-surfaces introduced by Graf and Sauer in 1931. Particular examples of T-hedra are the celebrated Miura fold, discrete surfaces of revolution, and discrete molding surfaces. We provide an explicit parametrization of the isometric deformation of a T-hedron. T-hedra have a smooth analog, T-surfaces. For these we provide a synthetic and an analytic description, both similar to the corresponding descriptions of T-hedra. We also parametrize the isometric deformations of T-surfaces and discuss their deformability range.
△ Less
Submitted 17 February, 2023;
originally announced February 2023.
-
Differential geometry of space curves: Forgotten chapters
Authors:
Dmitry Fuchs,
Ivan Izmestiev,
Matteo Raffaelli,
Gudrun Szewieczek,
Serge Tabachnikov
Abstract:
We study evolutes and involutes of space curves. Although much of the material presented is not new and can be found in classic treatises, we believe that a modern and unified treatment, complemented with several novel observations, may be useful. The results are illustrated with the help of computer graphics, a tool that was not not available to the classical geometers.
We study evolutes and involutes of space curves. Although much of the material presented is not new and can be found in classic treatises, we believe that a modern and unified treatment, complemented with several novel observations, may be useful. The results are illustrated with the help of computer graphics, a tool that was not not available to the classical geometers.
△ Less
Submitted 19 December, 2022;
originally announced December 2022.
-
Four equivalent properties of integrable billiards
Authors:
Alexei Glutsyuk,
Ivan Izmestiev,
Serge Tabachnikov
Abstract:
By a classical result of Darboux, a foliation of a Riemannian surface has the Graves property (also known as the strong evolution property) if and only if the foliation comes from a Liouville net. A similar result of Blaschke says that a pair of orthogonal foliations has the Ivory property if and only if they form a Liouville net.
Let us say that a geodesically convex curve on a Riemannian surfa…
▽ More
By a classical result of Darboux, a foliation of a Riemannian surface has the Graves property (also known as the strong evolution property) if and only if the foliation comes from a Liouville net. A similar result of Blaschke says that a pair of orthogonal foliations has the Ivory property if and only if they form a Liouville net.
Let us say that a geodesically convex curve on a Riemannian surface has the Poritsky property if it can be parametrized in such a way that all of its string diffeomorphisms are shifts with respect to this parameter. In 1950, Poritsky has shown that the only closed plane curves with this property are ellipses.
In the present article we show that a curve on a Riemannian surface has the Poritsky property if and only if it is a coordinate curve of a Liouville net. We also recall Blaschke's derivation of the Liouville property from the Ivory property and his proof of Weihnacht's theorem: the only Liouville nets in the plane are nets of confocal conics and their degenerations.
This suggests the following generalization of Birkhoff's conjecture: If an interior neighborhood of a closed geodesically convex curve on a Riemannian surface is foliated by billiard caustics, then the metric in the neighborhood is Liouville, and the curve is one of the coordinate lines.
△ Less
Submitted 19 September, 2019;
originally announced September 2019.
-
The Regge symmetry, confocal conics, and the Schläfli formula
Authors:
Arseniy Akopyan,
Ivan Izmestiev
Abstract:
The Regge symmetry is a set of remarkable relations between two tetrahedra whose edge lengths are related in a simple fashion. It was first discovered as a consequence of an asymptotic formula in mathematical physics. Here we give a simple geometric proof of Regge symmetries in Euclidean, spherical, and hyperbolic geometry.
The Regge symmetry is a set of remarkable relations between two tetrahedra whose edge lengths are related in a simple fashion. It was first discovered as a consequence of an asymptotic formula in mathematical physics. Here we give a simple geometric proof of Regge symmetries in Euclidean, spherical, and hyperbolic geometry.
△ Less
Submitted 13 March, 2019; v1 submitted 12 March, 2019;
originally announced March 2019.
-
Cross-ratio dynamics on ideal polygons
Authors:
Maxim Arnold,
Dmitry Fuchs,
Ivan Izmestiev,
Serge Tabachnikov
Abstract:
Two ideal polygons, $(p_1,\ldots,p_n)$ and $(q_1,\ldots,q_n)$, in the hyperbolic plane or in hyperbolic space are said to be $α$-related if the cross-ratio $[p_i,p_{i+1},q_i,q_{i+1}] = α$ for all $i$ (the vertices lie on the projective line, real or complex, respectively). For example, if $α= -1$, the respective sides of the two polygons are orthogonal. This relation extends to twisted ideal polyg…
▽ More
Two ideal polygons, $(p_1,\ldots,p_n)$ and $(q_1,\ldots,q_n)$, in the hyperbolic plane or in hyperbolic space are said to be $α$-related if the cross-ratio $[p_i,p_{i+1},q_i,q_{i+1}] = α$ for all $i$ (the vertices lie on the projective line, real or complex, respectively). For example, if $α= -1$, the respective sides of the two polygons are orthogonal. This relation extends to twisted ideal polygons, that is, polygons with monodromy, and it descends to the moduli space of Möbius-equivalent polygons. We prove that this relation, which is, generically, a 2-2 map, is completely integrable in the sense of Liouville. We describe integrals and invariant Poisson structures, and show that these relations, with different values of the constants $α$, commute, in an appropriate sense. We investigate the case of small-gons, describe the exceptional ideal polygons, that possess infinitely many $α$-related polygons, and study the ideal polygons that are $α$-related to themselves (with a cyclic shift of the indices).
△ Less
Submitted 13 December, 2018;
originally announced December 2018.
-
Statics and kinematics of frameworks in Euclidean and non-Euclidean geometry
Authors:
Ivan Izmestiev
Abstract:
This is a survey article on the infinitesimal rigidity of frameworks in Euclidean, hyperbolic, and spherical geometry. We discuss the equivalence of the static and kinematic formulations of the infinitesimal rigidity, the projective interpretation of statics (representing forces as bivectors), and the infinitesimal Pogorelov maps that establish correspondence between infinitesimal motions of a fra…
▽ More
This is a survey article on the infinitesimal rigidity of frameworks in Euclidean, hyperbolic, and spherical geometry. We discuss the equivalence of the static and kinematic formulations of the infinitesimal rigidity, the projective interpretation of statics (representing forces as bivectors), and the infinitesimal Pogorelov maps that establish correspondence between infinitesimal motions of a framework and of its geodesic image. Also we describe the Maxwell-Cremona correspondence between equilibrium loads and polyhedral lifts, both for Euclidean and for non-Euclidean frameworks.
△ Less
Submitted 7 July, 2017;
originally announced July 2017.
-
Spherical and hyperbolic conics
Authors:
Ivan Izmestiev
Abstract:
This is a survey of metric properties of non-Euclidean conics, mainly based on works of Chasles and Story. A spherical conic is the intersection of the sphere with a quadratic cone; similarly, a hyperbolic conic is the intersection of the Beltrami-Cayley-Klein disk with an affine conic. Non-Euclidean conics have metric properties similar to those of Euclidean conics, and even more due to the polar…
▽ More
This is a survey of metric properties of non-Euclidean conics, mainly based on works of Chasles and Story. A spherical conic is the intersection of the sphere with a quadratic cone; similarly, a hyperbolic conic is the intersection of the Beltrami-Cayley-Klein disk with an affine conic. Non-Euclidean conics have metric properties similar to those of Euclidean conics, and even more due to the polarity that works here better than in the Euclidean plane.
△ Less
Submitted 22 February, 2017;
originally announced February 2017.
-
A remark on spaces of flat metrics with cone singularities of constant sign curvatures
Authors:
François Fillastre,
Ivan Izmestiev
Abstract:
By a result of W.~P. Thurston, the moduli space of flat metrics on the sphere with $n$ cone singularities of prescribed positive curvatures is a complex hyperbolic orbifold of dimension $n-3$. The Hermitian form comes from the area of the metric. Using geometry of Euclidean polyhedra, we observe that this space has a natural decomposition into real hyperbolic convex polyhedra of dimensions $n-3$ a…
▽ More
By a result of W.~P. Thurston, the moduli space of flat metrics on the sphere with $n$ cone singularities of prescribed positive curvatures is a complex hyperbolic orbifold of dimension $n-3$. The Hermitian form comes from the area of the metric. Using geometry of Euclidean polyhedra, we observe that this space has a natural decomposition into real hyperbolic convex polyhedra of dimensions $n-3$ and $\leq \frac{1}{2}(n-1)$.
By a result of W.~Veech, the moduli space of flat metrics on a compact surface with cone singularities of prescribed negative curvatures has a foliation whose leaves have a local structure of complex pseudo-spheres. The complex structure comes again from the area of the metric. The form can be degenerate; its signature depends on the curvatures prescribed. Using polyhedral surfaces in Minkowski space, we show that this moduli space has a natural decomposition into spherical convex polyhedra.
△ Less
Submitted 16 November, 2017; v1 submitted 7 February, 2017;
originally announced February 2017.
-
Ivory's Theorem revisited
Authors:
Ivan Izmestiev,
Serge Tabachnikov
Abstract:
Ivory's Lemma is a geometrical statement in the heart of J. Ivory's calculation of the gravitational potential of a homeoidal shell. In the simplest planar case, it claims that the diagonals of a curvilinear quadrilateral made by arcs of confocal ellipses and hyperbolas are equal.
In the first part of this paper, we deduce Ivory's Lemma and its numerous generalizations from complete integrabilit…
▽ More
Ivory's Lemma is a geometrical statement in the heart of J. Ivory's calculation of the gravitational potential of a homeoidal shell. In the simplest planar case, it claims that the diagonals of a curvilinear quadrilateral made by arcs of confocal ellipses and hyperbolas are equal.
In the first part of this paper, we deduce Ivory's Lemma and its numerous generalizations from complete integrability of billiards on conics and quadrics. In the second part, we study analogs of Ivory's Lemma in Liouville and Stäckel metrics. Our main focus is on the results of the German school of differential geometry obtained in the late 19 -- early 20th centuries that might be lesser know today.
In the third part, we generalize Newton's, Laplace's, and Ivory's theorems on gravitational and Coulomb potential of spheres and ellipsoids to the spherical and hyperbolic spaces. V. Arnold extended the results of Newton, Laplace, and Ivory to algebraic hypersurfaces in Euclidean space; we generalize Arnold's theorem to the spaces of constant curvature.
△ Less
Submitted 16 October, 2016; v1 submitted 5 October, 2016;
originally announced October 2016.
-
Simplicial moves on balanced complexes
Authors:
Ivan Izmestiev,
Steven Klee,
Isabella Novik
Abstract:
We introduce a notion of cross-flips: local moves that transform a balanced (i.e., properly $(d+1)$-colored) triangulation of a combinatorial $d$-manifold into another balanced triangulation. These moves form a natural analog of bistellar flips (also known as Pachner moves). Specifically, we establish the following theorem: any two balanced triangulations of a closed combinatorial $d$-manifold can…
▽ More
We introduce a notion of cross-flips: local moves that transform a balanced (i.e., properly $(d+1)$-colored) triangulation of a combinatorial $d$-manifold into another balanced triangulation. These moves form a natural analog of bistellar flips (also known as Pachner moves). Specifically, we establish the following theorem: any two balanced triangulations of a closed combinatorial $d$-manifold can be connected by a sequence of cross-flips. Along the way we prove that for every $m \geq d+2$ and any closed combinatorial $d$-manifold $M$, two $m$-colored triangulations of $M$ can be connected by a sequence of bistellar flips that preserve the vertex colorings.
△ Less
Submitted 29 August, 2017; v1 submitted 14 December, 2015;
originally announced December 2015.
-
Iterating evolutes and involutes
Authors:
M. Arnold,
D. Fuchs,
I. Izmestiev,
S. Tabachnikov,
E. Tsukerman
Abstract:
We study iterations of two classical constructions, the evolutes and involutes of plane curves, and we describe the limiting behavior of both constructions on a class of smooth curves with singularities given by their support functions.
Next we study two kinds of discretizations of these constructions: the curves are replaced by polygons, and the evolutes are formed by the circumcenters of the t…
▽ More
We study iterations of two classical constructions, the evolutes and involutes of plane curves, and we describe the limiting behavior of both constructions on a class of smooth curves with singularities given by their support functions.
Next we study two kinds of discretizations of these constructions: the curves are replaced by polygons, and the evolutes are formed by the circumcenters of the triples of consecutive vertices, or by the incenters of the triples of consecutive sides. The space of polygons is a vector bundle over the space of the side directions, and both kinds of evolutes define vector bundle morphisms. In both cases, we describe the linear maps of the fibers. In the first case, the induced map of the base is periodic, whereas, in the second case, it is an averaging transformation. We also study the dynamics of the related inverse constructions, the involutes of polygons.
In addition to the theoretical study, we performed numerous computer experiments; some of the observations remain unexplained.
△ Less
Submitted 5 September, 2016; v1 submitted 26 October, 2015;
originally announced October 2015.
-
Hyperbolization of cusps with convex boundary
Authors:
François Fillastre,
Ivan Izmestiev,
Giona Veronelli
Abstract:
We prove that for every metric on the torus with curvature bounded from below by -1 in the sense of Alexandrov there exists a hyperbolic cusp with convex boundary such that the induced metric on the boundary is the given metric. The proof is by polyhedral approximation. This was the last open case of a general theorem: every metric with curvature bounded from below on a compact surface is isometri…
▽ More
We prove that for every metric on the torus with curvature bounded from below by -1 in the sense of Alexandrov there exists a hyperbolic cusp with convex boundary such that the induced metric on the boundary is the given metric. The proof is by polyhedral approximation. This was the last open case of a general theorem: every metric with curvature bounded from below on a compact surface is isometric to a convex surface in a 3-dimensional space form.
△ Less
Submitted 13 December, 2015; v1 submitted 17 May, 2015;
originally announced May 2015.
-
Color or cover
Authors:
Ivan Izmestiev
Abstract:
If all but two vertices of a triangulated sphere have degrees divisible by $k$, then the exceptional vertices are not adjacent. This theorem is proved for $k=2$ with the help of the coloring monodromy. For $k = 3, 4, 5$ colorings by the vertices of platonic solids have to be used. With a coloring monodromy one can associate a branched cover. This generalizes to a space of germs between two triangu…
▽ More
If all but two vertices of a triangulated sphere have degrees divisible by $k$, then the exceptional vertices are not adjacent. This theorem is proved for $k=2$ with the help of the coloring monodromy. For $k = 3, 4, 5$ colorings by the vertices of platonic solids have to be used. With a coloring monodromy one can associate a branched cover. This generalizes to a space of germs between two triangulated surfaces. We also discuss relations with Belyi surfaces and with cone-metrics of constant curvature.
△ Less
Submitted 20 November, 2015; v1 submitted 2 March, 2015;
originally announced March 2015.
-
A general discrete Wirtinger inequality and spectra of discrete Laplacians
Authors:
Ivan Izmestiev
Abstract:
We prove an inequality that generalizes the Fan-Taussky-Todd discrete analog of the Wirtinger inequality. It is equivalent to an estimate on the spectral gap of a weighted discrete Laplacian on the circle. The proof uses a geometric construction related to the discrete isoperimetric problem on the surface of a cone.
In higher dimensions, the mixed volumes theory leads to similar results, which a…
▽ More
We prove an inequality that generalizes the Fan-Taussky-Todd discrete analog of the Wirtinger inequality. It is equivalent to an estimate on the spectral gap of a weighted discrete Laplacian on the circle. The proof uses a geometric construction related to the discrete isoperimetric problem on the surface of a cone.
In higher dimensions, the mixed volumes theory leads to similar results, which allows us to associate a discrete Laplace operator to every geodesic triangulation of the sphere and, by analogy, to every triangulated spherical cone-metric. For a cone-metric with positive singular curvatures, we conjecture an estimate on the spectral gap similar to the Lichnerowicz-Obata theorem.
△ Less
Submitted 10 February, 2015;
originally announced February 2015.
-
Deformation of quadrilaterals and addition on elliptic curves
Authors:
Ivan Izmestiev
Abstract:
The space of quadrilaterals with fixed side lengths is an elliptic curve. Darboux used this to prove a porism on foldings. In this article, the space of oriented quadrilaterals is studied on the base of biquadratic equations between their angles. The space of non-oriented quadrilaterals is also an elliptic curve, doubly covered by the previous one, and is described by a biquadratic relation betwee…
▽ More
The space of quadrilaterals with fixed side lengths is an elliptic curve. Darboux used this to prove a porism on foldings. In this article, the space of oriented quadrilaterals is studied on the base of biquadratic equations between their angles. The space of non-oriented quadrilaterals is also an elliptic curve, doubly covered by the previous one, and is described by a biquadratic relation between the diagonals. The spaces of non-oriented quadrilaterals with the side lengths $(a_1, a_2, a_3, a_4)$ and $(s-a_1, s-a_2, s-a_3, s-a_4)$ turn out to be isomorphic via identification of two quadrilaterals with the same diagonal lengths. We prove a periodicity condition for foldings, similar to Cayley's condition for the Poncelet porism. Some applications to kinematics and geometry are presented.
△ Less
Submitted 28 January, 2015;
originally announced January 2015.
-
Classification of flexible Kokotsakis polyhedra with quadrangular base
Authors:
Ivan Izmestiev
Abstract:
A Kokotsakis polyhedron with quadrangular base is a neighborhood of a quadrilateral in a quad surface. Generically, a Kokotsakis polyhedron is rigid. Up to now, several flexible classes were known, but a complete classification was missing. In the present paper, we provide such a classification. The analysis is based on the fact that the dihedral angles of a Kokotsakis polyhedron are related by an…
▽ More
A Kokotsakis polyhedron with quadrangular base is a neighborhood of a quadrilateral in a quad surface. Generically, a Kokotsakis polyhedron is rigid. Up to now, several flexible classes were known, but a complete classification was missing. In the present paper, we provide such a classification. The analysis is based on the fact that the dihedral angles of a Kokotsakis polyhedron are related by an Euler-Chasles correspondence. It results in a diagram of elliptic curves covering complex projective planes. A polyhedron is flexible if and only if this diagram commutes.
△ Less
Submitted 2 November, 2014;
originally announced November 2014.
-
A simple proof of an isoperimetric inequality for euclidean and hyperbolic cone-surfaces
Authors:
Ivan Izmestiev
Abstract:
We prove that the isoperimetric inequalities in the euclidean and hyperbolic plane hold for all euclidean, respectively hyperbolic, cone-metrics on a disk with singularities of negative curvature. This is a discrete analog of the theorems of Weil and Bol that deal with Riemannian metrics of curvature bounded from above by 0, respectively by -1. A stronger discrete version was proved by A.D.Alexand…
▽ More
We prove that the isoperimetric inequalities in the euclidean and hyperbolic plane hold for all euclidean, respectively hyperbolic, cone-metrics on a disk with singularities of negative curvature. This is a discrete analog of the theorems of Weil and Bol that deal with Riemannian metrics of curvature bounded from above by 0, respectively by -1. A stronger discrete version was proved by A.D.Alexandrov, with a subsequent extension by approximation to metrics of bounded integral curvature.
Our proof uses "discrete conformal deformations" of the metric that eliminate the singularities and increase the area. Therefore it resembles Weil's argument, which uses the uniformization theorem and the harmonic minorant of a subharmonic function.
△ Less
Submitted 26 September, 2014;
originally announced September 2014.
-
Fitting centroids by a projective transformation
Authors:
Ivan Izmestiev
Abstract:
Given two subsets of R^d, when does there exist a projective transformation that maps them to two sets with a common centroid? When is this transformation unique modulo affine transformations? We study these questions for 0- and d-dimensional sets, obtaining several existence and uniqueness results as well as examples of non-existence or non-uniqueness.
If both sets have dimension 0, then the pr…
▽ More
Given two subsets of R^d, when does there exist a projective transformation that maps them to two sets with a common centroid? When is this transformation unique modulo affine transformations? We study these questions for 0- and d-dimensional sets, obtaining several existence and uniqueness results as well as examples of non-existence or non-uniqueness.
If both sets have dimension 0, then the problem is related to the analytic center of a polytope and to polarity with respect to an algebraic set. If one set is a single point, and the other is a convex body, then it is equivalent by polar duality to the existence and uniqueness of the Santaló point. For a finite point set versus a ball, it generalizes the Möbius centering of edge-circumscribed convex polytopes and is related to the conformal barycenter of Douady-Earle. If both sets are $d$-dimensional, then we are led to define the Santaló point of a pair of convex bodies. We prove that the Santaló point of a pair exists and is unique, if one of the bodies is contained within the other and has Hilbert diameter less than a dimension-depending constant. The bound is sharp and is obtained by a box inside a cross-polytope.
△ Less
Submitted 22 September, 2014;
originally announced September 2014.
-
A porism for cyclic quadrilaterals, butterfly theorems, and hyperbolic geometry
Authors:
Ivan Izmestiev
Abstract:
If there exists a cyclic quadrilateral whose sides go through the given four collinear points, then there are infinitely many such quadrilaterals inscribed in the same circle. We give two proofs of this porism; one based on cross-ratios, the other on compositions of hyperbolic isometries.
If there exists a cyclic quadrilateral whose sides go through the given four collinear points, then there are infinitely many such quadrilaterals inscribed in the same circle. We give two proofs of this porism; one based on cross-ratios, the other on compositions of hyperbolic isometries.
△ Less
Submitted 10 December, 2014; v1 submitted 10 August, 2014;
originally announced August 2014.
-
Variational properties of the discrete Hilbert-Einstein functional
Authors:
Ivan Izmestiev
Abstract:
This is a survey on rigidity and geometrization results obtained with the help of the discrete Hilbert-Einstein functional, written for the proceedings of the "Discrete Curvature" colloquium in Luminy.
This is a survey on rigidity and geometrization results obtained with the help of the discrete Hilbert-Einstein functional, written for the proceedings of the "Discrete Curvature" colloquium in Luminy.
△ Less
Submitted 21 December, 2013;
originally announced December 2013.
-
Derived subdivisions make every PL sphere polytopal
Authors:
Karim A. Adiprasito,
Ivan Izmestiev
Abstract:
We give a simple proof that some iterated derived subdivision of every PL sphere is combinatorially equivalent to the boundary of a simplicial polytope, thereby resolving a problem of Billera (personal communication).
We give a simple proof that some iterated derived subdivision of every PL sphere is combinatorially equivalent to the boundary of a simplicial polytope, thereby resolving a problem of Billera (personal communication).
△ Less
Submitted 20 March, 2014; v1 submitted 12 November, 2013;
originally announced November 2013.
-
Shapes of polyhedra, mixed volumes, and hyperbolic geometry
Authors:
Francois Fillastre,
Ivan Izmestiev
Abstract:
We are generalizing to higher dimensions the Bavard-Ghys construction of the hyperbolic metric on the space of polygons with fixed directions of edges.
The space of convex d-dimensional polyhedra with fixed directions of facet normals has a decomposition into type cones that correspond to different combinatorial types of polyhedra. This decomposition is a subfan of the secondary fan of a vector…
▽ More
We are generalizing to higher dimensions the Bavard-Ghys construction of the hyperbolic metric on the space of polygons with fixed directions of edges.
The space of convex d-dimensional polyhedra with fixed directions of facet normals has a decomposition into type cones that correspond to different combinatorial types of polyhedra. This decomposition is a subfan of the secondary fan of a vector configuration and can be analyzed with the help of Gale diagrams.
We construct a family of quadratic forms on each of the type cones using the theory of mixed volumes. The Alexandrov-Fenchel inequalities ensure that these forms have exactly one positive eigenvalue. This introduces a piecewise hyperbolic structure on the space of similarity classes of polyhedra with fixed directions of facet normals. We show that some of the dihedral angles on the boundary of the resulting cone-manifold are equal to π/2.
△ Less
Submitted 6 October, 2013;
originally announced October 2013.
-
There is no triangulation of the torus with vertex degrees 5, 6, ..., 6, 7 and related results: Geometric proofs for combinatorial theorems
Authors:
Ivan Izmestiev,
Robert B. Kusner,
Günter Rote,
Boris Springborn,
John M. Sullivan
Abstract:
There is no 5,7-triangulation of the torus, that is, no triangulation with exactly two exceptional vertices, of degree 5 and 7. Similarly, there is no 3,5-quadrangulation. The vertices of a 2,4-hexangulation of the torus cannot be bicolored. Similar statements hold for 4,8-triangulations and 2,6-quadrangulations. We prove these results, of which the first two are known and the others seem to be ne…
▽ More
There is no 5,7-triangulation of the torus, that is, no triangulation with exactly two exceptional vertices, of degree 5 and 7. Similarly, there is no 3,5-quadrangulation. The vertices of a 2,4-hexangulation of the torus cannot be bicolored. Similar statements hold for 4,8-triangulations and 2,6-quadrangulations. We prove these results, of which the first two are known and the others seem to be new, as corollaries of a theorem on the holonomy group of a euclidean cone metric on the torus with just two cone points. We provide two proofs of this theorem: One argument is metric in nature, the other relies on the induced conformal structure and proceeds by invoking the residue theorem. Similar methods can be used to prove a theorem of Dress on infinite triangulations of the plane with exactly two irregular vertices. The non-existence results for torus decompositions provide infinite families of graphs which cannot be embedded in the torus.
△ Less
Submitted 29 August, 2012; v1 submitted 16 July, 2012;
originally announced July 2012.
-
Infinitesimal rigidity of convex surfaces through the second derivative of the Hilbert-Einstein functional II: Smooth case
Authors:
Ivan Izmestiev
Abstract:
The paper is centered around a new proof of the infinitesimal rigidity of smooth closed surfaces with everywhere positive Gauss curvature. We use a reformulation that replaces deformation of an embedding by deformation of the metric inside the body bounded by the surface. The proof is obtained by studying derivatives of the Hilbert-Einstein functional with boundary term. This approach is in a sens…
▽ More
The paper is centered around a new proof of the infinitesimal rigidity of smooth closed surfaces with everywhere positive Gauss curvature. We use a reformulation that replaces deformation of an embedding by deformation of the metric inside the body bounded by the surface. The proof is obtained by studying derivatives of the Hilbert-Einstein functional with boundary term. This approach is in a sense dual to proving the Gauss infinitesimal rigidity, that is rigidity with respect to the Gauss curvature parametrized by the Gauss map, by studying derivatives of the volume bounded by the surface. We recall that Blaschke's classical proof of the infinitesimal rigidity is also related to the Gauss infinitesimal rigidity, but in a different way: while Blaschke uses Gauss rigidity of the same surface, we use the Gauss rigidity of the polar dual. In the spherical and in the hyperbolic-de Sitter space, there is a perfect duality between the Hilbert-Einstein functional and the volume, as well as between both kinds of rigidity. We also indicate directions for future research, including the infinitesimal rigidity of convex cores of hyperbolic 3--manifolds.
△ Less
Submitted 25 May, 2011;
originally announced May 2011.
-
Infinitesimal rigidity of convex surfaces through the second derivative of the Hilbert-Einstein functional I: Polyhedral case
Authors:
Ivan Izmestiev
Abstract:
The paper is centered around a new proof of the infinitesimal rigidity of convex polyhedra. The proof is based on studying derivatives of the discrete Hilbert-Einstein functional on the space of "warped polyhedra" with a fixed metric on the boundary. This approach is in a sense dual to using derivatives of the volume in order to prove the Gauss infinitesimal rigidity of convex polyhedra, which dea…
▽ More
The paper is centered around a new proof of the infinitesimal rigidity of convex polyhedra. The proof is based on studying derivatives of the discrete Hilbert-Einstein functional on the space of "warped polyhedra" with a fixed metric on the boundary. This approach is in a sense dual to using derivatives of the volume in order to prove the Gauss infinitesimal rigidity of convex polyhedra, which deals with deformations that preserve face normals and face areas. In the spherical and in the hyperbolic-de Sitter space, there is a perfect duality between the Hilbert-Einstein functional and the volume, as well as between both kinds of rigidity. We also discuss directions for future research, including elementary proofs of the infinitesimal rigidity of hyperbolic (cone-)manifolds and development of a discrete Bochner technique.
△ Less
Submitted 25 May, 2011;
originally announced May 2011.
-
Examples of infinitesimally flexible 3--dimensional hyperbolic cone-manifolds
Authors:
Ivan Izmestiev
Abstract:
Weiss and, independently, Mazzeo and Montcouquiol recently proved that a 3--dimensional hyperbolic cone-manifold (possibly with vertices) with all cone angles less than $2π$ is infinitesimally rigid. On the other hand, Casson provided 1998 an example of an infinitesimally flexible cone-manifold with some of the cone angles larger than $2π$.
In this paper several new examples of infinitesimally…
▽ More
Weiss and, independently, Mazzeo and Montcouquiol recently proved that a 3--dimensional hyperbolic cone-manifold (possibly with vertices) with all cone angles less than $2π$ is infinitesimally rigid. On the other hand, Casson provided 1998 an example of an infinitesimally flexible cone-manifold with some of the cone angles larger than $2π$.
In this paper several new examples of infinitesimally flexible cone-manifolds are constructed. The basic idea is that the double of an infinitesimally flexible polyhedron is an infinitesimally flexible cone-manifold. With some additional effort, we are able to construct infinitesimally flexible cone-manifolds without vertices and with all cone angles larger than $2π$.
△ Less
Submitted 2 November, 2009; v1 submitted 15 October, 2009;
originally announced October 2009.
-
Gauss images of hyperbolic cusps with convex polyhedral boundary
Authors:
François Fillastre,
Ivan Izmestiev
Abstract:
We prove that a 3--dimensional hyperbolic cusp with convex polyhedral boundary is uniquely determined by its Gauss image. Furthermore, any spherical metric on the torus with cone singularities of negative curvature and all closed contractible geodesics of length greater than $2π$ is the metric of the Gauss image of some convex polyhedral cusp. This result is an analog of the Rivin-Hodgson theore…
▽ More
We prove that a 3--dimensional hyperbolic cusp with convex polyhedral boundary is uniquely determined by its Gauss image. Furthermore, any spherical metric on the torus with cone singularities of negative curvature and all closed contractible geodesics of length greater than $2π$ is the metric of the Gauss image of some convex polyhedral cusp. This result is an analog of the Rivin-Hodgson theorem characterizing compact convex hyperbolic polyhedra in terms of their Gauss images.
The proof uses a variational method. Namely, a cusp with a given Gauss image is identified with a critical point of a functional on the space of cusps with cone-type singularities along a family of half-lines. The functional is shown to be concave and to attain maximum at an interior point of its domain. As a byproduct, we prove rigidity statements with respect to the Gauss image for cusps with or without cone-type singularities.
In a special case, our theorem is equivalent to existence of a circle pattern on the torus, with prescribed combinatorics and intersection angles. This is the genus one case of a theorem by Thurston. In fact, our theorem extends Thurston's theorem in the same way as Rivin-Hodgson's theorem extends Andreev's theorem on compact convex polyhedra with non-obtuse dihedral angles.
The functional used in the proof is the sum of a volume term and curvature term. We show that, in the situation of Thurston's theorem, it is the potential for the combinatorial Ricci flow considered by Chow and Luo.
Our theorem represents the last special case of a general statement about isometric immersions of compact surfaces.
△ Less
Submitted 14 August, 2009;
originally announced August 2009.
-
Projective background of the infinitesimal rigidity of frameworks
Authors:
Ivan Izmestiev
Abstract:
We present proofs of two classical theorems. The first one, due to Darboux and Sauer, states that infinitesimal rigidity is a projective invariant; the other one establishes relations (infinitesimal Pogorelov maps) between the infinitesimal motions of a Euclidean framework and of its hyperbolic and spherical images.
The arguments use the static formulation of infinitesimal rigidity. The dualit…
▽ More
We present proofs of two classical theorems. The first one, due to Darboux and Sauer, states that infinitesimal rigidity is a projective invariant; the other one establishes relations (infinitesimal Pogorelov maps) between the infinitesimal motions of a Euclidean framework and of its hyperbolic and spherical images.
The arguments use the static formulation of infinitesimal rigidity. The duality between statics and kinematics is established through the principles of virtual work. A geometric approach to statics, due essentially to Grassmann, makes both theorems straightforward. Besides, it provides a simple derivation of the formulas both for the Darboux-Sauer correspondence and for the infinitesimal Pogorelov maps.
△ Less
Submitted 13 February, 2009; v1 submitted 16 April, 2008;
originally announced April 2008.
-
On the infinitesimal rigidity of polyhedra with vertices in convex position
Authors:
Ivan Izmestiev,
Jean-Marc Schlenker
Abstract:
Let $P \subset \R^3$ be a polyhedron. It was conjectured that if $P$ is weakly convex (i. e. its vertices lie on the boundary of a strictly convex domain) and decomposable (i. e. $P$ can be triangulated without adding new vertices), then it is infinitesimally rigid. We prove this conjecture under a weak additional assumption of codecomposability.
The proof relies on a result of independent int…
▽ More
Let $P \subset \R^3$ be a polyhedron. It was conjectured that if $P$ is weakly convex (i. e. its vertices lie on the boundary of a strictly convex domain) and decomposable (i. e. $P$ can be triangulated without adding new vertices), then it is infinitesimally rigid. We prove this conjecture under a weak additional assumption of codecomposability.
The proof relies on a result of independent interest concerning the Hilbert-Einstein function of a triangulated convex polyhedron. We determine the signature of the Hessian of that function with respect to deformations of the interior edges. In particular, if there are no interior vertices, then the Hessian is negative definite.
△ Less
Submitted 13 November, 2007;
originally announced November 2007.
-
Hyperbolic cusps with convex polyhedral boundary
Authors:
François Fillastre,
Ivan Izmestiev
Abstract:
We prove that a 3-dimensional hyperbolic cusp with convex polyhedral boundary is uniquely determined by the metric induced on its boundary. Furthemore, any hyperbolic metric on the torus with cone singularities of positive curvature can be realized as the induced metric on the boundary of a convex polyhedral cusp. The proof uses the total scalar curvature functional on the space of ``cusps with…
▽ More
We prove that a 3-dimensional hyperbolic cusp with convex polyhedral boundary is uniquely determined by the metric induced on its boundary. Furthemore, any hyperbolic metric on the torus with cone singularities of positive curvature can be realized as the induced metric on the boundary of a convex polyhedral cusp. The proof uses the total scalar curvature functional on the space of ``cusps with particles'', which are hyperbolic cone-manifolds with the singular locus a union of half-lines. We prove, in addition, that convex polyhedral cusps with particles are rigid with respect to the induced metric on the boundary and the curvatures of the singular locus. Our main theorem is equivalent to a part of a general statement about isometric immersions of compact surfaces.
△ Less
Submitted 20 August, 2007;
originally announced August 2007.
-
The Colin de Verdière number and graphs of polytopes
Authors:
Ivan Izmestiev
Abstract:
The Colin de Verdière number $μ(G)$ of a graph $G$ is the maximum corank of a Colin de Verdière matrix for $G$ (that is, of a Schrödinger operator on $G$ with a single negative eigenvalue). In 2001, Lovász gave a construction that associated to every convex 3-polytope a Colin de Verdière matrix of corank 3 for its 1-skeleton.
We generalize the Lovász construction to higher dimensions by interp…
▽ More
The Colin de Verdière number $μ(G)$ of a graph $G$ is the maximum corank of a Colin de Verdière matrix for $G$ (that is, of a Schrödinger operator on $G$ with a single negative eigenvalue). In 2001, Lovász gave a construction that associated to every convex 3-polytope a Colin de Verdière matrix of corank 3 for its 1-skeleton.
We generalize the Lovász construction to higher dimensions by interpreting it as minus the Hessian matrix of the volume of the polar dual. As a corollary, $μ(G) \ge d$ if $G$ is the 1-skeleton of a convex $d$-polytope.
Determination of the signature of the Hessian of the volume is based on the second Minkowski inequality for mixed volumes and on Bol's condition for equality.
△ Less
Submitted 25 July, 2008; v1 submitted 3 April, 2007;
originally announced April 2007.
-
A variational proof of Alexandrov's convex cap theorem
Authors:
Ivan Izmestiev
Abstract:
We give a variational proof of the existence and uniqueness of a convex cap with the given upper boundary. The proof uses the concavity of the total scalar curvature functional on the space of generalized convex caps. As a byproduct, we prove that generalized convex caps with the fixed boundary are globally rigid, that is uniquely determined by their curvatures.
We give a variational proof of the existence and uniqueness of a convex cap with the given upper boundary. The proof uses the concavity of the total scalar curvature functional on the space of generalized convex caps. As a byproduct, we prove that generalized convex caps with the fixed boundary are globally rigid, that is uniquely determined by their curvatures.
△ Less
Submitted 24 April, 2007; v1 submitted 6 March, 2007;
originally announced March 2007.
-
Alexandrov's theorem, weighted Delaunay triangulations, and mixed volumes
Authors:
Alexander I. Bobenko,
Ivan Izmestiev
Abstract:
We present a constructive proof of Alexandrov's theorem regarding the existence of a convex polytope with a given metric on the boundary. The polytope is obtained as a result of a certain deformation in the class of generalized convex polytopes with the given boundary. We study the space of generalized convex polytopes and discover a relation with the weighted Delaunay triangulations of polyhedr…
▽ More
We present a constructive proof of Alexandrov's theorem regarding the existence of a convex polytope with a given metric on the boundary. The polytope is obtained as a result of a certain deformation in the class of generalized convex polytopes with the given boundary. We study the space of generalized convex polytopes and discover a relation with the weighted Delaunay triangulations of polyhedral surfaces. The existence of the deformation follows from the non-degeneracy of the Hessian of the total scalar curvature of a positively curved generalized convex polytope. The latter is shown to be equal to the Hessian of the volume of the dual generalized polyhedron. We prove the non-degeneracy by generalizing the Alexandrov-Fenchel inequality. Our construction of a convex polytope from a given metric is implemented in a computer program.
△ Less
Submitted 15 September, 2006;
originally announced September 2006.
-
On the hull numbers of torus links
Authors:
Ivan Izmestiev
Abstract:
The n-th hull of a union of curves in R^3 is the set of points with the property: Any plane passing through the point intersects the curves at least 2n times. The hull number u(L) of a link L is defined as the minimum number of non-empty hulls a representative of L can have. We show that the hull numbers of torus links are smaller than expected, but still large. In particular, for a link of type…
▽ More
The n-th hull of a union of curves in R^3 is the set of points with the property: Any plane passing through the point intersects the curves at least 2n times. The hull number u(L) of a link L is defined as the minimum number of non-empty hulls a representative of L can have. We show that the hull numbers of torus links are smaller than expected, but still large. In particular, for a link of type (p,p) hull number equals 3p/5, and in general for the type (p,q) with q>p it is greater than or equal to p/2.
△ Less
Submitted 7 December, 2004;
originally announced December 2004.
-
Branched Coverings, Triangulations, and 3-Manifolds
Authors:
Ivan Izmestiev,
Michael Joswig
Abstract:
A canonical branched covering over each sufficiently good simplicial complex is constructed. Its structure depends on the combinatorial type of the complex. In this way, each closed orientable 3-manifold arises as a branched covering over the 3-sphere from some triangulation of S^3. This result is related to a theorem of Hilden and Montesinos. The branched coverings introduced admit a rich theor…
▽ More
A canonical branched covering over each sufficiently good simplicial complex is constructed. Its structure depends on the combinatorial type of the complex. In this way, each closed orientable 3-manifold arises as a branched covering over the 3-sphere from some triangulation of S^3. This result is related to a theorem of Hilden and Montesinos. The branched coverings introduced admit a rich theory in which the group of projectivities plays a central role.
△ Less
Submitted 20 March, 2002; v1 submitted 29 August, 2001;
originally announced August 2001.