Source author record

Ivan Izmestiev

Ivan Izmestiev appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

16works
8topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

16 published item(s)

preprint2016arXiv

Ivory's Theorem revisited

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.

preprint2015arXiv

A general discrete Wirtinger inequality and spectra of discrete Laplacians

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.

preprint2015arXiv

Color or cover

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.

preprint2015arXiv

Deformation of quadrilaterals and addition on elliptic curves

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.

preprint2015arXiv

Hyperbolization of cusps with convex boundary

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.

preprint2014arXiv

A simple proof of an isoperimetric inequality for euclidean and hyperbolic cone-surfaces

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.

preprint2014arXiv

Classification of flexible Kokotsakis polyhedra with quadrangular base

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.

preprint2014arXiv

Fitting centroids by a projective transformation

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.

preprint2012arXiv

There is no triangulation of the torus with vertex degrees 5, 6, ..., 6, 7 and related results: Geometric proofs for combinatorial theorems

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.

preprint2011arXiv

Infinitesimal rigidity of convex surfaces through the second derivative of the Hilbert-Einstein functional I: Polyhedral case

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.

preprint2011arXiv

Infinitesimal rigidity of convex surfaces through the second derivative of the Hilbert-Einstein functional II: Smooth case

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.

preprint2007arXiv

Hyperbolic cusps with convex polyhedral boundary

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.

preprint2007arXiv

On the infinitesimal rigidity of polyhedra with vertices in convex position

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.