Laplace Sequences of Q-Nets

• The paper presents a detailed analysis of Laplace sequences for Q-nets, demonstrating how iterated discrete Laplace transformations lead to finite, terminating, and periodic behaviors.
• Laplace sequences of Q-nets are defined by planar quadrilaterals with discrete projective evolution, using diagonal intersections and Koenigs constraints to reveal underlying geometric properties.
• The work connects Laplace invariants, quadric inscriptions, and Möbius lifts to expose deeper structural relationships and closure phenomena in discrete differential geometry.

In projective discrete differential geometry, a Laplace sequence of a $Q$-net is the sequence obtained by iterating the two discrete Laplace transformations of a planar quadrilateral net. A $Q$-net is a map from $\mathbb Z^2$ or a finite rectangular patch into projective space such that every elementary quadrilateral is planar; for a generic $Q$-net, the Laplace sequence is bi-infinite, whereas special degenerations collapse an iterate to a discrete curve or a point and thereby terminate the sequence. Recent work has treated finite Laplace sequences for discrete Koenigs nets, terminating Laplace sequences for $Q$-nets inscribed in quadrics and for circular nets with spherical parameter lines, and periodic Laplace cycles of period four as distinct but closely related manifestations of the same discrete projective mechanism (Affolter et al., 4 Aug 2025, Bobenko et al., 2023, Schröcker, 2011).

1. Basic projective framework

A $Q$-net is a map

$P:\Sigma\to \mathbb{RP}^n,$

where $\Sigma$ is either $\mathbb Z^2$ or a finite rectangular patch $\Sigma_{a,b}$, such that the image of each unit square is contained in a plane. In the non-degenerate setting, adjacent vertices are distinct and any three vertices of any face span a plane, so each elementary quadrilateral is a genuine planar quadrilateral (Affolter et al., 4 Aug 2025).

For a non-degenerate $Q$0-net, the two Laplace transforms are defined by opposite-edge intersections inside each face: $Q$1

$Q$2

Because the four vertices of a face are coplanar, the relevant lines intersect. These transforms are again $Q$3-nets and satisfy

$Q$4

Thus the nontrivial dynamics comes from repeated transforms in the same direction rather than alternating directions.

Writing

$Q$5

one obtains the Laplace sequence

$Q$6

For a generic $Q$7-net on $Q$8, all iterates exist and the sequence is bi-infinite. This generic bi-infiniteness is the baseline against which finite, terminating, and periodic cases are studied.

2. Degeneracy and termination

Termination occurs when some iterated transform ceases to be a genuine two-parameter net and collapses to a one-parameter object. In the formulation used for discrete Koenigs nets, $Q$9 is Laplace degenerate if $\mathbb Z^2$0 is independent of $\mathbb Z^2$1 for all $\mathbb Z^2$2, and $\mathbb Z^2$3 is Laplace degenerate if $\mathbb Z^2$4 is independent of $\mathbb Z^2$5 for all $\mathbb Z^2$6. The transform has then become a discrete curve. Goursat degeneracy is the complementary curve-type degeneration: $\mathbb Z^2$7 is Goursat degenerate if it is independent of $\mathbb Z^2$8 for all $\mathbb Z^2$9 and is nowhere Laplace degenerate, with the analogous reversed condition for $Q$0. The genericity clause excludes mixed-type overlap and makes Laplace and Goursat degeneration distinct notions (Affolter et al., 4 Aug 2025).

A basic algebraic diagnostic is provided by the Laplace invariants

$Q$1

$Q$2

They satisfy the shift identities

$Q$3

and Doliwa’s recurrence

$Q$4

A particularly useful criterion is

$Q$5

$Q$6

This makes first-step termination visible directly at the invariant level.

Higher-step degeneration also has an intrinsic projective description. For an extensive $Q$7-net with $Q$8 existing,

$Q$9

and more generally Laplace degeneracy after $Q$0 steps is characterized by the intersections

$Q$1

being points independent of $Q$2. If that intersection is a $Q$3-dimensional projective subspace independent of $Q$4, then $Q$5 is Laplace degenerate. Goursat degeneracy is encoded by the dimensions of the vertical parameter spaces $Q$6: if $Q$7 exists and is nowhere Laplace degenerate, then

$Q$8

A recurrent misconception is that termination in one direction should automatically imply termination in the other for arbitrary $Q$9-nets. The general theory does not support that expectation. Finite behavior requires additional structure, and the strongest available results arise precisely for special classes such as discrete Koenigs nets and $Q$0-nets inscribed in quadrics.

3. Koenigs nets and the diagonal-intersection correspondence

Two standard discrete versions of Koenigs nets organize the finite-sequence theory. A non-degenerate $Q$1-net $Q$2 is a BS-Koenigs net if its Laplace invariants satisfy

$Q$3

and a non-degenerate $Q$4-net $Q$5 is a D-Koenigs net if

$Q$6

These are the Bobenko–Suris and Doliwa discretizations, respectively (Affolter et al., 4 Aug 2025).

The bridge between them is the diagonal intersection net

$Q$7

If $Q$8 is a BS-Koenigs net, then $Q$9 is a $P:\Sigma\to \mathbb{RP}^n,$0-net, and if $P:\Sigma\to \mathbb{RP}^n,$1 is non-degenerate then $P:\Sigma\to \mathbb{RP}^n,$2 is a D-Koenigs net. This relation is not merely formal; it is the main symmetry device in the theory.

For BS-Koenigs nets there is also a hyperplane characterization: for an extensive $P:\Sigma\to \mathbb{RP}^n,$3, there exist two distinct hyperplanes $P:\Sigma\to \mathbb{RP}^n,$4 such that

$P:\Sigma\to \mathbb{RP}^n,$5

Conversely, for an extensive $P:\Sigma\to \mathbb{RP}^n,$6-net this two-hyperplane condition implies the BS-Koenigs property. The lifted net therefore lies on the degenerate quadric

$P:\Sigma\to \mathbb{RP}^n,$7

The diagonal-intersection construction reverses Laplace-invariant data along the sequence. If $P:\Sigma\to \mathbb{RP}^n,$8 is BS-Koenigs and $P:\Sigma\to \mathbb{RP}^n,$9 is its diagonal intersection net, then

$\Sigma$0

whenever the relevant transforms exist. Consequently,

$\Sigma$1

and if $\Sigma$2 is Goursat degenerate then

$\Sigma$3

This diagonal symmetry is the most compact formulation of the finite-sequence phenomenon for discrete Koenigs geometry.

4. Finite Laplace sequences

The central finite-length theorem states that if $\Sigma$4 is either a BS-Koenigs net or a D-Koenigs net, then

$\Sigma$5

and

$\Sigma$6

assuming the opposite-side transforms exist (Affolter et al., 4 Aug 2025). One-sided termination therefore forces opposite-side termination after a controlled shift. In particular, for discrete Koenigs nets, termination implies finiteness.

For BS-Koenigs nets the result is sharpened by compatibility with the diagonal intersection net. If $\Sigma$7 is Laplace degenerate and $\Sigma$8 exist, then both $\Sigma$9 and $\mathbb Z^2$0 are Laplace degenerate and

$\mathbb Z^2$1

For D-Koenigs nets the same implications follow by viewing every D-Koenigs net as essentially the diagonal intersection net of some BS-Koenigs net.

Two proof mechanisms coexist. The first is invariant-theoretic: Laplace degeneracy is detected by $\mathbb Z^2$2 or $\mathbb Z^2$3, and the symmetry between $\mathbb Z^2$4 and its diagonal intersection net turns forward degeneracy of one net into backward degeneracy of the other. The second is geometric: extensive BS-Koenigs nets lie on the degenerate quadric $\mathbb Z^2$5, and a theorem on $\mathbb Z^2$6-nets inscribed in quadrics is applied to this degenerate setting. In the Laplace-degenerate case, polar-incidence constraints force the backward transform into the singular locus of $\mathbb Z^2$7, which collapses it to a curve. In the Goursat-degenerate case, a suitable lift $\mathbb Z^2$8 satisfies

$\mathbb Z^2$9

so Goursat degeneration behaves like a hidden Laplace degeneration one step later.

The finite theorem also clarifies the discrete departure from the smooth theory. In the smooth Koenigs setting, opposite-side termination classically occurs after the same number of steps. In the discrete setting, the generic shift is $\Sigma_{a,b}$0 for Laplace degeneracy and $\Sigma_{a,b}$1 for Goursat degeneracy. The paper also shows that this shift is generic rather than universal: for $\Sigma_{a,b}$2 there exist BS-Koenigs nets such that

$\Sigma_{a,b}$3

are both Laplace degenerate. A plausible implication is that the extra shift reflects discretization asymmetry rather than an unavoidable obstruction.

5. Quadrics, circular nets, and geometric realizations

A broader termination theory arises for $\Sigma_{a,b}$4-nets inscribed in quadrics. In one formulation, for a finite $\Sigma_{a,b}$5 $\Sigma_{a,b}$6-net in $\Sigma_{a,b}$7 with iterated Laplace transforms well defined up to order $\Sigma_{a,b}$8, the terminal Laplace points $\Sigma_{a,b}$9 and $Q$00 are points, and if all vertices except possibly $Q$01 lie in a quadric $Q$02, then

$Q$03

This quadric-conjugacy principle is the main incidence tool in the projective theory of terminating sequences (Bobenko et al., 2023).

For $Q$04-nets lying in a quadric, the two Laplace directions become coupled. If $Q$05 is inscribed in a quadric and all lines $Q$06 are not isotropic, then

$Q$07

provided $Q$08 exists for all $Q$09. If $Q$10 is Laplace degenerate and $Q$11 exists for all $Q$12, then

$Q$13

Thus quadric inscription produces a discrete analogue of the classical Goursat principle: one-sided termination forces opposite-side termination, though not always at the same order.

Circular nets with spherical, circular, planar, or linear parameter lines give concrete geometric realizations of this mechanism through Möbius lifts. A circular net $Q$14 lifts to a $Q$15-net

$Q$16

in the Möbius quadric. Then spherical or planar families of parameter lines become low-dimensional projective-span constraints. If the lifted parameter lines are $Q$17-spherical, then generically

$Q$18

For planar parameter lines,

$Q$19

and the terminal transform lies in the hyperplane at infinity. When both parameter directions lie in $Q$20-dimensional projective subspaces of a non-degenerate quadric, $Q$21 and $Q$22 are both Laplace degenerate and Goursat degenerate, hence each collapses to a point.

These examples show that terminating Laplace sequences are not exceptional curiosities but encode concrete surface classes. In the Möbius setting the terminal opposite transforms correspond to polar data, often interpreted as common orthogonal spheres or hyperspheres. The same framework also explains Darboux cyclide geometry through pencils of quadrics. The later Lie-geometric reformulation adds an extra concurrency condition and recovers termination orders more faithful to the smooth theory, which suggests that the raw projective mechanism is necessary but not always sufficient to capture the intended differential-geometric limit.

6. Periodicity and adjacent sequence-type constructions

Finite termination is only one closure pattern. Another is periodicity. A discrete Laplace cycle of period four is defined by

$Q$23

for a regular discrete conjugate net $Q$24. With

$Q$25

both Laplace sequences become 4-periodic: $Q$26 Opposite nets in the cycle satisfy

$Q$27

so they are asymptotically related, and their connecting lines form the diagonal congruences

$Q$28

A fundamental theorem states that if two nets are asymptotic transforms of each other, their common axis congruence is a $Q$29-congruence; hence in a period-four Laplace cycle both diagonal congruences are $Q$30-congruences (Schröcker, 2011).

This periodic case shows that closure of Laplace sequences need not occur by degeneration alone. It can also arise through a nontrivial cycle in which successive transforms remain genuine $Q$31-nets but return after finitely many steps. The period-four theory gives a synthetic projective interpretation of this closure by linking Laplace transforms, osculating planes, asymptotic transforms, and line geometry on the Plücker quadric.

A related but distinct development appears in the theory of reduced $Q$32-nets and generalized pentagram maps. There the paper explicitly states that it does not define a Laplace transformation or use the phrase “Laplace sequence,” but the row-by-row evolution

$Q$33

of a reduced $Q$34-net is the closest analogous sequence-type construction in that setting. The next row is obtained by triple intersections of planes, and the resulting dynamics admits a refactorization description, a Lax form with spectral parameter, and invariant Poisson brackets (Wang, 2024). This suggests that Laplace-sequence ideas extend beyond the classical opposite-edge-intersection framework, though in that literature the analogy is explicit rather than terminological.

Taken together, finite terminating sequences, period-four cycles, and adjacent row-propagation dynamics show that Laplace sequences of $Q$35-nets are best understood as a family of discrete projective evolutions whose special behavior is controlled by additional structure: Koenigs constraints, quadric inscription, Möbius or Lie lifts, or periodic closure conditions.