Discrete Laplace cycles of period four

From MaRDI portal



Abstract: We study discrete conjugate nets whose Laplace sequence is of period four. Corresponding points of opposite nets in this cyclic sequence have equal osculating planes in different net directions, that is, they correspond in an asymptotic transformation. We show that this implies that the connecting lines of corresponding points form a discrete W-congruence. We derive some properties of discrete Laplace cycles of period four and describe two explicit methods for their construction.


Within the framework of discrete differential geometry, the author studies discrete conjugate nets, their Laplace transforms, discrete \(W\)-congruences, and discrete asymptotic nets. The key definitions in this field of geometry are as follows: {(1)} A discrete conjugate net is a map \(f: \mathbb Z^2\to\mathbb P^3\), \((i,j)\mapsto f(i,j)=f_i^j\), such that every elementary quadrangle \(f_i^j\), \(f_{i+1}^j\), \(f_{i+1}^{j+1}\), \(f_i^{j+1}\) is planar. {(2)} A discrete conjugate net is regular if the four points \(f_i^j\), \(f_{i+1}^j\), \(f_{i+1}^{j+1}\), \(f_i^{j+1}\) are pairwise different, are not collinear, and the osculating planes \(f_{i-1}^j\vee f_i^j\vee f_{i+1}^j\) and \(f_i^{j-1}\vee f_i^j\vee f_i^{j+1}\) are of projective dimension two. Here the symbol \(\vee\) stands for the span of projective subspaces. {(3)} The first and second Laplace transforms of a regular discrete conjugate net are the discrete conjugate nets \[ \mathcal{L}_1 f:\mathbb Z^2\to\mathbb P^3, \quad (i,j)\mapsto (f_i^j\vee f_{i+1}^j)\cap (f_i^{j+1}\vee f_{i+1}^{j+1}), \] \[ \mathcal{L}_2 f:\mathbb Z^2\to\mathbb P^3, \quad (i,j)\mapsto (f_i^j\vee f_i^{j+1})\cap (f_{i+1}^j\vee f_{i+1}^{j+1}). \] {(4)} The \(n\)th Laplace sequence to a discrete conjugate net \(f\) is the sequence \(n\mapsto \mathcal{L}_i^nf\) where \(\mathcal{L}_i^nf\) is recursively defined by \(\mathcal{L}_i^nf =\mathcal{L}_i\mathcal{L}_i^{n-1}f\) and \(\mathcal{L}_i^0f=f.\) {(5)} The Laplace sequences of a discrete conjugate net \(f\) are called a Laplace cycle of period four, if \(\mathcal{L}_1^1f = \mathcal{L}_2^2f\). {(6)} Denote the Grassmannian of lines in \(\mathbb P^3\) by \(\mathbb L^3\). A map \(L:\mathbb Z^2\to\mathbb L^3\) is called a discrete \(W\)-congruence if its Klein image on the Plücker quadric is a conjugate net. For discrete conjugate nets whose Laplace sequence is of period four, the author shows that the connecting lines of corresponding points form a discrete \(W\)-congruence. He derives some properties of discrete Laplace cycles of period four and describes two explicit methods for their construction. The author explores discrete versions of some results pertaining to asymptotic transforms, \(W\)-congruences, conjugate nets, and Laplace cycles of period four established in the 1930's by \textit{H. Jonas} [Math. Ann. 114, 237--274 (1937; Zbl 0016.18101) and ibid., 749--780 (1937; Zbl 0017.18702)] and \textit{R. Sauer} [Projektive Liniengeometrie. Berlin, Leipzig: Walter de Gruyter (1937; Zbl 0016.21804)].











This page was built for publication: Discrete Laplace cycles of period four

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q424094)