-
Cusps of caustics by reflection in ellipses
Authors:
Gil Bor,
Mark Spivakovsky,
Serge Tabachnikov
Abstract:
This paper is concerned with the billiard version of Jacobi's last geometric statement and its generalizations. Given a non-focal point $O$ inside an elliptic billiard table, one considers the family of rays emanating from $O$ and the caustic $Γ_n$ of the reflected family after $n$ reflections off the ellipse, for each positive integer $n$. It is known that $Γ_n$ has at least four cusps and it has…
▽ More
This paper is concerned with the billiard version of Jacobi's last geometric statement and its generalizations. Given a non-focal point $O$ inside an elliptic billiard table, one considers the family of rays emanating from $O$ and the caustic $Γ_n$ of the reflected family after $n$ reflections off the ellipse, for each positive integer $n$. It is known that $Γ_n$ has at least four cusps and it has been conjectured that it has exactly four (ordinary) cusps. The present paper presents a proof of this conjecture in the special case when the ellipse is a circle. In the case of an arbitrary ellipse, we give an explicit description of the location of four of the cusps of $Γ_n$, though we do not prove that these are the only cusps.
△ Less
Submitted 16 June, 2024;
originally announced June 2024.
-
Dancing polygons, rolling balls and the Cartan-Engel distribution
Authors:
Gil Bor,
Luis Hernández Lamoneda
Abstract:
A pair of planar polygons is "dancing" if one is inscribed in the other and they satisfy a certain cross-ratio relation at each vertex of the circumscribing polygon. Non-degenerate dancing pairs of closed $n$-gons exist for all $n\geq 6$. Dancing pairs correspond to trajectories of a non-holonomic mechanical system, consisting of a ball rolling, without slip** and twisting, along a polygon drawn…
▽ More
A pair of planar polygons is "dancing" if one is inscribed in the other and they satisfy a certain cross-ratio relation at each vertex of the circumscribing polygon. Non-degenerate dancing pairs of closed $n$-gons exist for all $n\geq 6$. Dancing pairs correspond to trajectories of a non-holonomic mechanical system, consisting of a ball rolling, without slip** and twisting, along a polygon drawn on the surface of a ball 3 times larger than the rolling ball. The correspondence stems from reformulating both systems as piecewise rigid curves of a certain remarkable rank 2 non-integrable distribution defined on a 5-dimensional quadric in $\mathbb{RP}^6$, introduced by É. Cartan and F. Engel in 1893 in order to define the simple Lie group $\mathrm{G}_2$.
△ Less
Submitted 30 June, 2023; v1 submitted 16 April, 2023;
originally announced April 2023.
-
Bicycling geodesics are Kirchhoff rods
Authors:
Gil Bor,
Connor Jackman,
Serge Tabachnikov
Abstract:
A bicycle path is a pair of trajectories in ${\mathbb R}^n$, the `front' and `back' tracks, traced out by the endpoints of a moving line segment of fixed length (the `bicycle frame') and tangent to the back track. Bicycle geodesics are bicycle paths whose front track's length is critical among all bicycle paths connecting two given placements of the line segment.
We write down and study the asso…
▽ More
A bicycle path is a pair of trajectories in ${\mathbb R}^n$, the `front' and `back' tracks, traced out by the endpoints of a moving line segment of fixed length (the `bicycle frame') and tangent to the back track. Bicycle geodesics are bicycle paths whose front track's length is critical among all bicycle paths connecting two given placements of the line segment.
We write down and study the associated variational equations, showing that for $n\geq 3$ each such geodesic is contained in a 3-dimensional affine subspace and that the front tracks of these geodesics form a certain subfamily of Kirchhoff rods, a class of curves introduced in 1859 by G. Kirchhoff, generalizing the planar elastic curves of J. Bernoulli and L. Euler.
△ Less
Submitted 10 May, 2023; v1 submitted 23 August, 2022;
originally announced August 2022.
-
Chains of path geometries on surfaces: theory and examples
Authors:
Gil Bor,
Travis Willse
Abstract:
We derive the equations of chains for path geometries on surfaces by solving the equivalence problem of a related structure: sub-Riemannian geometry of signature $(1,1)$ on a contact 3-manifold. This approach is significantly simpler than the standard method of solving the full equivalence problem for path geometry. We then use these equations to give a characterization of projective path geometri…
▽ More
We derive the equations of chains for path geometries on surfaces by solving the equivalence problem of a related structure: sub-Riemannian geometry of signature $(1,1)$ on a contact 3-manifold. This approach is significantly simpler than the standard method of solving the full equivalence problem for path geometry. We then use these equations to give a characterization of projective path geometries in terms of their chains (the chains projected to the surface coincide with the paths) and study the chains of four examples of homogeneous path geometries. In one of these examples (horocycles in the hyperbolic planes) the projected chains are bicircular quartics.
△ Less
Submitted 22 February, 2022; v1 submitted 22 January, 2022;
originally announced January 2022.
-
On cusps of caustics by reflection: a billiard variation on Jacobi's Last Geometric Statement
Authors:
Gil Bor,
Serge Tabachnikov
Abstract:
A point source of light is placed inside an oval. The $n$-th caustic by reflection is the envelope of the light rays emanating from the light source after $n$ reflections off the curve. We show that each of these caustics, for a generic point light source, has at least 4 cusps. This is a billiard variation on Jacobi's Last Geometric Statement, concerning the number of cusps of the conjugate locus…
▽ More
A point source of light is placed inside an oval. The $n$-th caustic by reflection is the envelope of the light rays emanating from the light source after $n$ reflections off the curve. We show that each of these caustics, for a generic point light source, has at least 4 cusps. This is a billiard variation on Jacobi's Last Geometric Statement, concerning the number of cusps of the conjugate locus of a point on a convex surface. We present various proofs, using different ideas, including the curve shortening flow and Legendrian knot theory.
△ Less
Submitted 24 December, 2021; v1 submitted 14 December, 2021;
originally announced December 2021.
-
Revisiting Kepler: new symmetries of an old problem
Authors:
Gil Bor,
Connor Jackman
Abstract:
The $Kepler$ $orbits$ form a 3-parameter family of $unparametrized$ plane curves, consisting of all conics sharing a focus at a fixed point. We study the geometry and symmetry properties of this family, as well as natural 2-parameter subfamilies, such as those of fixed energy or angular momentum.
Our main result is that Kepler orbits is a `flat' family, that is, the local diffeomorphisms of the…
▽ More
The $Kepler$ $orbits$ form a 3-parameter family of $unparametrized$ plane curves, consisting of all conics sharing a focus at a fixed point. We study the geometry and symmetry properties of this family, as well as natural 2-parameter subfamilies, such as those of fixed energy or angular momentum.
Our main result is that Kepler orbits is a `flat' family, that is, the local diffeomorphisms of the plane preserving this family form a 7-dimensional local group, the maximum dimension possible for the symmetry group of a 3-parameter family of plane curves. These symmetries are different from the well-studied `hidden' symmetries of the Kepler problem, acting on energy levels in the 4-dimensional phase space of the Kepler system.
Each 2-parameter subfamily of Kepler orbits with fixed non-zero energy (Kepler ellipses or hyperbolas with fixed length of major axis) admits $\mathrm{PSL}_2(\mathbb{R})$ as its (local) symmetry group, corresponding to one of the items of a classification due to A. Tresse (1896) of 2-parameter families of plane curves admitting a 3-dimensional local group of symmetries. The 2-parameter subfamilies with zero energy (Kepler parabolas) or fixed non-zero angular momentum are flat (locally diffeomorphic to the family of straight lines).
These results can be proved using techniques developed in the 19th century by S. Lie to determine `infinitesimal point symmetries' of ODEs, but our proofs are much simpler, using a projective geometric model for the Kepler orbits (plane sections of a cone in projective 3-space). In this projective model all symmetry groups act globally.
Another advantage of the projective model is a duality between Kepler's plane and Minkowski's 3-space parametrizing the space of Kepler orbits. We use this duality to deduce several results on the Kepler system, old and new.
△ Less
Submitted 19 January, 2022; v1 submitted 5 June, 2021;
originally announced June 2021.
-
Variations on the Tait-Kneser theorem
Authors:
Gil Bor,
Connor Jackman,
Serge Tabachnikov
Abstract:
The Tait-Kneser theorem, first demonstrated by Peter G. Tait in 1896, states that the osculating circles along a plane curve with monotone non-vanishing curvature are pairwise disjoint and nested. This note contains a proof of this theorem using the Lorentzian geometry of the space of circles. We show how a similar proof applies to two variations on the theorem, concerning the osculating Hooke and…
▽ More
The Tait-Kneser theorem, first demonstrated by Peter G. Tait in 1896, states that the osculating circles along a plane curve with monotone non-vanishing curvature are pairwise disjoint and nested. This note contains a proof of this theorem using the Lorentzian geometry of the space of circles. We show how a similar proof applies to two variations on the theorem, concerning the osculating Hooke and Kepler conics along a plane curve. We also prove a version of the 4-vertex theorem for Kepler conics.
△ Less
Submitted 2 June, 2021; v1 submitted 5 April, 2021;
originally announced April 2021.
-
Bicycle paths, elasticae and sub-Riemannian geometry
Authors:
Andrey Ardentov,
Gil Bor,
Enrico Le Donne,
Richard Montgomery,
Yuri Sachkov
Abstract:
We relate the sub-Riemannian geometry on the group of rigid motions of the plane to `bicycling mathematics'. We show that this geometry's geodesics correspond to bike paths whose front tracks are either non-inflectional Euler elasticae or straight lines, and that its infinite minimizing geodesics (or `metric lines') correspond to bike paths whose front tracks are either straight lines or `Euler's…
▽ More
We relate the sub-Riemannian geometry on the group of rigid motions of the plane to `bicycling mathematics'. We show that this geometry's geodesics correspond to bike paths whose front tracks are either non-inflectional Euler elasticae or straight lines, and that its infinite minimizing geodesics (or `metric lines') correspond to bike paths whose front tracks are either straight lines or `Euler's solitons' (also known as Syntractrix or Convicts' curves).
△ Less
Submitted 14 March, 2021; v1 submitted 8 October, 2020;
originally announced October 2020.
-
Self-Bäcklund curves in centroaffine geometry and Lamé's equation
Authors:
Misha Bialy,
Gil Bor,
Serge Tabachnikov
Abstract:
Twenty five years ago U. Pinkall discovered that the Korteweg-de Vries equation can be realized as an evolution of curves in centoraffine geometry. Since then, a number of authors interpreted various properties of KdV and its generalizations in terms of centoraffine geometry. In particular, the Bäcklund transformation of the Korteweg-de Vries equation can be viewed as a relation between centroaffi…
▽ More
Twenty five years ago U. Pinkall discovered that the Korteweg-de Vries equation can be realized as an evolution of curves in centoraffine geometry. Since then, a number of authors interpreted various properties of KdV and its generalizations in terms of centoraffine geometry. In particular, the Bäcklund transformation of the Korteweg-de Vries equation can be viewed as a relation between centroaffine curves.
Our paper concerns self-Bäcklund centroaffine curves. We describe general properties of these curves and provide a detailed description of them in terms of elliptic functions. Our work is a centroaffine counterpart to the study done by F. Wegner of a similar problem in Euclidean geometry, related to Ulam's problem of describing the (2-dimensional) bodies that float in equilibrium in all positions and to bicycle kinematics.
We also consider a discretization of the problem where curves are replaced by polygons. This is related to discretization of KdV and the cross-ratio dynamics on ideal polygons.
△ Less
Submitted 10 May, 2022; v1 submitted 6 October, 2020;
originally announced October 2020.
-
Para-Kähler-Einstein 4-manifolds and non-integrable twistor distributions
Authors:
Gil Bor,
Omid Makhmali,
Paweł Nurowski
Abstract:
We study the local geometry of 4-manifolds equipped with a \emph{para-Kähler-Einstein} (pKE) metric, a special type of split-signature pseudo-Riemannian metric, and their associated \emph{twistor distribution}, a rank 2 distribution on the 5-dimensional total space of the circle bundle of self-dual null 2-planes. For pKE metrics with nonvanishing Einstein constant this twistor distribution has exa…
▽ More
We study the local geometry of 4-manifolds equipped with a \emph{para-Kähler-Einstein} (pKE) metric, a special type of split-signature pseudo-Riemannian metric, and their associated \emph{twistor distribution}, a rank 2 distribution on the 5-dimensional total space of the circle bundle of self-dual null 2-planes. For pKE metrics with nonvanishing Einstein constant this twistor distribution has exactly two integral leaves and is `maximally non-integrable' on their complement, a so-called (2,3,5)-distribution. Our main result establishes a simple correspondence between the anti-self-dual Weyl tensor of a pKE metric with non-vanishing Einstein constant and the Cartan quartic of the associated twistor distribution. This will be followed by a discussion of this correspondence for general split-signature metrics which is shown to be much more involved. We use Cartan's method of equivalence to produce a large number of explicit examples of pKE metrics with nonvanishing Einstein constant whose anti-self-dual Weyl tensor have special real Petrov type. In the case of real Petrov type $D,$ we obtain a complete local classification. Combined with the main result, this produces twistor distributions whose Cartan quartic has the same algebraic type as the Petrov type of the constructed pKE metrics. In a similar manner, one can obtain twistor distributions with Cartan quartic of arbitrary algebraic type. As a byproduct of our pKE examples we naturally obtain para-Sasaki-Einstein metrics in five dimensions. Furthermore, we study various Cartan geometries naturally associated to certain classes of pKE 4-dimensional metrics. We observe that in some geometrically distinguished cases the corresponding \emph{Cartan connections} satisfy the Yang-Mills equations. We then provide explicit examples of such Yang-Mills Cartan connections.
△ Less
Submitted 17 January, 2022; v1 submitted 13 September, 2020;
originally announced September 2020.
-
Left-invariant CR structures on 3-dimensional Lie groups
Authors:
Gil Bor,
Howard Jacobowitz
Abstract:
The systematic study of CR manifolds originated in two pioneering 1932 papers of Élie Cartan. In the first, Cartan classifies all homogeneous CR 3-manifolds, the most well-known case of which is a one-parameter family of left-invariant CR structures on $\mathrm{SU}_2 = S^3$, deforming the standard `spherical' structure. In this paper, mostly expository, we illustrate and clarify Cartan's results a…
▽ More
The systematic study of CR manifolds originated in two pioneering 1932 papers of Élie Cartan. In the first, Cartan classifies all homogeneous CR 3-manifolds, the most well-known case of which is a one-parameter family of left-invariant CR structures on $\mathrm{SU}_2 = S^3$, deforming the standard `spherical' structure. In this paper, mostly expository, we illustrate and clarify Cartan's results and methods by providing detailed classification results in modern language for four 3-dimensional Lie groups. In particular, we find that $\mathrm{SL}_2(\mathbb{R})$ admits two one-parameter families of left-invariant CR structures, called the elliptic and hyperbolic families, characterized by the incidence of the contact distribution with the null cone of the Killing metric. Low dimensional complex representations of $\mathrm{SL}_2(\mathbb{R})$ provide CR embedding or immersions of these structures. The same methods apply to all other three-dimensional Lie groups and are illustrated by descriptions of the left-invariant CR structures for $\mathrm{SU}_2$, the Heisenberg group, and the Euclidean group.
△ Less
Submitted 21 February, 2020; v1 submitted 17 September, 2019;
originally announced September 2019.
-
Hill's equation, tire tracks and rolling cones
Authors:
Gil Bor,
Mark Levi
Abstract:
Louis Poinsot has shown in 1854 that the motion of a rigid body, with one of its points fixed, can be described as the rolling without slip** of one cone, the 'body cone', along another, the 'space cone', with their common vertex at the fixed point. This description has been further refined by the second author in 1996, relating the geodesic curvatures of the spherical curves formed by intersect…
▽ More
Louis Poinsot has shown in 1854 that the motion of a rigid body, with one of its points fixed, can be described as the rolling without slip** of one cone, the 'body cone', along another, the 'space cone', with their common vertex at the fixed point. This description has been further refined by the second author in 1996, relating the geodesic curvatures of the spherical curves formed by intersecting the cones with the unit sphere in Euclidean $\mathbb{R}^3$, thus enabling a reconstruction of the motion of the body from knowledge of the space cone together with the (time dependent) magnitude of the angular velocity vector. In this article we show that a similar description exists for a time dependent family of unimodular $ 2 \times 2 $ matrices in terms of rolling cones in 3-dimensional Minkowski space $\mathbb{R}^{2,1}$ and the associated 'pseudo spherical' curves, in either the hyperbolic plane $H^2$ or its Lorentzian analog $H^{1,1}$. In particular, this yields an apparently new geometric interpretation of Schrödinger's (or Hill's) equation $ \ddot x + q(t) x =0 $ in terms of rolling without slip** of curves in the hyperbolic plane.
△ Less
Submitted 1 December, 2019; v1 submitted 14 August, 2019;
originally announced August 2019.
-
On the isometric conjecture of Banach
Authors:
Gil Bor,
Luis Hernández-Lamoneda,
Valentín Jiménez-Desantiago,
Luis Montejano-Peimbert
Abstract:
Let $V$ be a Banach space where for fixed $n$, $1<n<\dim(V)$, all of its $n$-dimensional subspaces are isometric. In 1932, Banach asked if under this hypothesis $V$ is necessarily a Hilbert space. Gromov, in 1967, answered it positively for even $n$ and all $V$. In this paper we give a positive answer for real $V$ and odd $n$ of the form $n=4k+1$, with the possible exception of $n=133.$ Our proof…
▽ More
Let $V$ be a Banach space where for fixed $n$, $1<n<\dim(V)$, all of its $n$-dimensional subspaces are isometric. In 1932, Banach asked if under this hypothesis $V$ is necessarily a Hilbert space. Gromov, in 1967, answered it positively for even $n$ and all $V$. In this paper we give a positive answer for real $V$ and odd $n$ of the form $n=4k+1$, with the possible exception of $n=133.$ Our proof relies on a new characterization of ellipsoids in ${\mathbb{R}}^n$, $n\geq 5$, as the only symmetric convex bodies all of whose linear hyperplane sections are linearly equivalent affine bodies of revolution.
△ Less
Submitted 3 January, 2020; v1 submitted 14 May, 2019;
originally announced May 2019.
-
Tire tracks and integrable curve evolution
Authors:
Gil Bor,
Mark Levi,
Ron Perline,
Sergei Tabachnikov
Abstract:
We study a simple model of bicycle motion: a segment of fixed length in multi-dimensional Euclidean space, moving so that the velocity of the rear end is always aligned with the segment. If the front track is prescribed, the trajectory of the rear wheel is uniquely determined via a certain first order differential equation -- the bicycle equation. The same model, in dimension two, describes anothe…
▽ More
We study a simple model of bicycle motion: a segment of fixed length in multi-dimensional Euclidean space, moving so that the velocity of the rear end is always aligned with the segment. If the front track is prescribed, the trajectory of the rear wheel is uniquely determined via a certain first order differential equation -- the bicycle equation. The same model, in dimension two, describes another mechanical device, the hatchet planimeter.
Here is a sampler of our results. We express the linearized flow of the bicycle equation in terms of the geometry of the rear track; in dimension three, for closed front and rear tracks, this is a version of the Berry phase formula. We show that in all dimensions a sufficiently long bicycle also serves as a planimeter: it measures, approximately, the area bivector defined by the closed front track. We prove that the bicycle equation also describes rolling, without slip** and twisting, of hyperbolic space along Euclidean space. We relate the bicycle problem with two completely integrable systems: the AKNS (Ablowitz, Kaup, Newell and Segur) system and the vortex filament equation. We show that "bicycle correspondence" of space curves (front tracks sharing a common back track) is a special case of a Darboux transformation associated with the AKNS system. We show that the filament hierarchy, encoded as a single generating equation, describes a 3-dimensional bike of imaginary length. We show that a series of examples of "ambiguous" closed bicycle curves (front tracks admitting self bicycle correspondence), found recently F. Wegner, are buckled rings, or solitons of the planar filament equation. As a case study, we give a detailed analysis of such curves, arising from bicycle correspondence with multiply traversed circles.
△ Less
Submitted 9 March, 2018; v1 submitted 17 May, 2017;
originally announced May 2017.
-
The dancing metric, $\mathrm G_2$-symmetry and projective rolling
Authors:
Gil Bor,
Luis Hernández Lamoneda,
Pawel Nurowski
Abstract:
The "dancing metric" is a pseudo-riemannian metric $\pmb{g}$ of signature $(2,2)$ on the space $M^4$ of non-incident point-line pairs in the real projective plane $\mathbb{RP}^2$. The null-curves of $(M^4,\pmb{g})$ are given by the "dancing condition": the point is moving towards a point on the line, about which the line is turning. We establish a dictionary between classical projective geometry (…
▽ More
The "dancing metric" is a pseudo-riemannian metric $\pmb{g}$ of signature $(2,2)$ on the space $M^4$ of non-incident point-line pairs in the real projective plane $\mathbb{RP}^2$. The null-curves of $(M^4,\pmb{g})$ are given by the "dancing condition": the point is moving towards a point on the line, about which the line is turning. We establish a dictionary between classical projective geometry (incidence, cross ratio, projective duality, projective invariants of plane curves...) and pseudo-riemannian 4-dimensional conformal geometry (null-curves and geodesics, parallel transport, self-dual null 2-planes, the Weyl curvature,...). There is also an unexpected bonus: by applying a twistor construction to $(M^4,\pmb{g})$, a $\mathrm G_2$-symmetry emerges, hidden deep in classical projective geometry. To uncover this symmetry, one needs to refine the "dancing condition" by a higher-order condition, expressed in terms of the osculating conic along a plane curve. The outcome is a correspondence between curves in the projective plane and its dual, a projective geometry analog of the more familiar "rolling without slip** and twisting" for a pair of riemannian surfaces.
△ Less
Submitted 5 October, 2015; v1 submitted 30 May, 2015;
originally announced June 2015.
-
G_2 and the "Rolling Distribution"
Authors:
Gil Bor,
Richard Montgomery
Abstract:
Associated to the problem of rolling one surface along another there is a five-manifold M with a rank two distribution. If the two surfaces are spheres then M is the product of the rotation group SO_3 with the two-sphere and its distribution enjoys an obvious symmetry group; the product of two SO_3's, one for each sphere. But if the ratio of radii of the spheres is 1:3 and if the distribution is…
▽ More
Associated to the problem of rolling one surface along another there is a five-manifold M with a rank two distribution. If the two surfaces are spheres then M is the product of the rotation group SO_3 with the two-sphere and its distribution enjoys an obvious symmetry group; the product of two SO_3's, one for each sphere. But if the ratio of radii of the spheres is 1:3 and if the distribution is lifted to the universal cover S^3 \times S^2 of M, then the symmetry group becomes much larger: the split real form of the Lie group G_2. This fact goes back to Cartan in a sense, and can be found in a paper by Bryant and Hsu. We prove this fact through two explicit constructions, relying on the theory of roots and weights for the Lie algebra of G_2, and on its 7-dimensional representation.
△ Less
Submitted 18 December, 2006;
originally announced December 2006.
-
Orthogonal almost-complex structures of minimal energy
Authors:
G. Bor,
L. Hernández-Lamoneda,
M. Salvai
Abstract:
In this article we apply a Bochner type formula to show that on a compact conformally flat riemannian manifold (or half-conformally flat in dimension 4) certain types of orthogonal almost-complex structures, if they exist, give the absolute minimum for the energy functional. We give a few examples when such minimizers exist, and in particular, we prove that the standard almost-complex structure…
▽ More
In this article we apply a Bochner type formula to show that on a compact conformally flat riemannian manifold (or half-conformally flat in dimension 4) certain types of orthogonal almost-complex structures, if they exist, give the absolute minimum for the energy functional. We give a few examples when such minimizers exist, and in particular, we prove that the standard almost-complex structure on the round S^6 gives the absolute minimum for the energy. We also discuss the uniqueness of this minimum and the extension of these results to other orthogonal G-structures.
△ Less
Submitted 18 September, 2006;
originally announced September 2006.