Surface theory in discrete projective differential geometry. I. A canonical frame and an integrable discrete Demoulin system

We present the first steps of a procedure which discretises surface theory in classical projective differential geometry in such a manner that underlying integrable structure is preserved. We propose a canonical frame in terms of which the associated projective Gauss-Weingarten and Gauss-Mainardi-Codazzi equations adopt compact forms. Based on a scaling symmetry which injects a parameter into the linear Gauss-Weingarten equations, we set down an algebraic classification scheme of discrete projective minimal surfaces which turns out to admit a geometric counterpart formulated in terms of discrete notions of Lie quadrics and their envelopes. In the case of discrete Demoulin surfaces, we derive a Backlund transformation for the underlying discrete Demoulin system and show how the latter may be formulated as a two-component generalisation of the integrable discrete Tzitzeica equation which has originally been derived in a different context. At the geometric level, this connection leads to the retrieval of the standard discretisation of affine spheres in affine differential geometry

Tzitz\'eica transformation is a dressing action

We classify the simplest rational elements in a twisted loop group, and prove that dressing actions of them on proper indefinite affine spheres give the classical Tzitz\'eica transformation and its dual. We also give the group point of view of the Permutability Theorem, construct complex Tzitz\'eica transformations, and discuss the group structure for these transformations

On the linearization of the generalized Ermakov systems

A linearization procedure is proposed for Ermakov systems with frequency depending on dynamic variables. The procedure applies to a wide class of generalized Ermakov systems which are linearizable in a manner similar to that applicable to usual Ermakov systems. The Kepler--Ermakov systems belong into this category but others, more generic, systems are also included

Generalizing the autonomous Kepler Ermakov system in a Riemannian space

We generalize the two dimensional autonomous Hamiltonian Kepler Ermakov dynamical system to three dimensions using the sl(2,R) invariance of Noether symmetries and determine all three dimensional autonomous Hamiltonian Kepler Ermakov dynamical systems which are Liouville integrable via Noether symmetries. Subsequently we generalize the autonomous Kepler Ermakov system in a Riemannian space which admits a gradient homothetic vector by the requirements (a) that it admits a first integral (the Riemannian Ermakov invariant) and (b) it has sl(2,R) invariance. We consider both the non-Hamiltonian and the Hamiltonian systems. In each case we compute the Riemannian Ermakov invariant and the equations defining the dynamical system. We apply the results in General Relativity and determine the autonomous Hamiltonian Riemannian Kepler Ermakov system in the spatially flat Friedman Robertson Walker spacetime. We consider a locally rotational symmetric (LRS) spacetime of class A and discuss two cosmological models. The first cosmological model consists of a scalar field with exponential potential and a perfect fluid with a stiff equation of state. The second cosmological model is the f(R) modified gravity model of {\Lambda}_{bc}CDM. It is shown that in both applications the gravitational field equations reduce to those of the generalized autonomous Riemannian Kepler Ermakov dynamical system which is Liouville integrable via Noether integrals.Comment: Reference [25] update, 21 page

Constructing solutions to the Bj\"orling problem for isothermic surfaces by structure preserving discretization

In this article, we study an analog of the Bj\"orling problem for isothermic surfaces (that are more general than minimal surfaces): given a real analytic curve $\gamma$ in ${\mathbb R}^3$, and two analytic non-vanishing orthogonal vector fields $v$ and $w$ along $\gamma$, find an isothermic surface that is tangent to $\gamma$ and that has $v$ and $w$ as principal directions of curvature. We prove that solutions to that problem can be obtained by constructing a family of discrete isothermic surfaces (in the sense of Bobenko and Pinkall) from data that is sampled along $\gamma$, and passing to the limit of vanishing mesh size. The proof relies on a rephrasing of the Gauss-Codazzi-system as analytic Cauchy problem and an in-depth-analysis of its discretization which is induced from the geometry of discrete isothermic surfaces. The discrete-to-continuous limit is carried out for the Christoffel and the Darboux transformations as well.Comment: 29 pages, some figure