---
title: Equimodular Elliptic Type Polyhedra
url: https://www.emergentmind.com/topics/equimodular-elliptic-type
type: topic
---

# Equimodular Elliptic Type Polyhedra

The equimodular elliptic type is a canonical class of flexible Kokotsakis polyhedra with a quadrangular base, distinguished by rich geometric and algebraic properties. Within Izmestiev’s eight principal types of flexible Kokotsakis polyhedra, the equimodular class encompasses both “elliptic” and “conic” subtypes, with the elliptic subtype notable for being governed by elliptic rather than purely trigonometric relations. Recently, explicit algebraic constructions and characterizations of the equimodular elliptic type have been developed, including constructible classes such as quasi-symmetric nets (QS-nets), which facilitate a synthetic and computational approach to this class of flexible mechanisms [2511.19376].

## 1. Definition and Characterization

A Kokotsakis polyhedron of equimodular elliptic type is a 3×3 net of points \(V_{ij}\in\mathbb{R}^3\), with convex quadrilateral faces, central face \(A_1A_2A_3A_4\), and associated flat angles \(\alpha_i,\,\beta_i,\,\gamma_i,\,\delta_i\in(0,\pi)\) and dihedral angles \(\theta_i\in(0,\pi)\), \(i=1,\dots,4\).

An elliptic-type net satisfies the non-degeneracy condition:
\[
\alpha_i \pm \beta_i \pm \gamma_i \pm \delta_i \neq 0 \pmod{2\pi}
\]
for all sign combinations and all \(i\). This prevents trigonometric singularities.

The _equimodular elliptic type_ imposes further conditions ([2511.19376], Definitions 2.3 and 2.4):
- **(a) Equal moduli:** For \(i=1,2,3,4\),
  \[
  M_i:=a_ib_ic_id_i=M
  \]
  where
  \[
  a_i=\frac{\sin\alpha_i}{\sin(\sigma_i-\alpha_i)},\quad
  b_i=\frac{\sin\beta_i}{\sin(\sigma_i-\beta_i)},\quad
  c_i=\frac{\sin\gamma_i}{\sin(\sigma_i-\gamma_i)},\quad
  d_i=\frac{\sin\delta_i}{\sin(\sigma_i-\delta_i)},
  \]
  and \(\sigma_i=(\alpha_i+\beta_i+\gamma_i+\delta_i)/2\).
- **(b) Amplitude matching:**
  \[
  r_1=r_2,\;s_1=s_4,\;r_3=r_4,\;s_2=s_3,
  \]
  where \(r_i = a_i d_i\), \(s_i = c_i d_i\).
- **(c) Period condition:** Certain amplitudes \(t_i\) satisfy
  \[
  t_1+e_1 t_2+e_2 t_3+e_3 t_4 \in \Lambda
  \]
  for sign choices \(e_j = \pm1\), \(\Lambda\) the elliptic period lattice.

This structure distinguishes the equimodular elliptic type from all other classes in the established flexible polyhedra classification.

## 2. Distinction from Other Flexible Types

Izmestiev’s classification enumerates eight types of flexible Kokotsakis polyhedra. The equimodular class, split into elliptic and conic subtypes, is unique for its elliptic function parameterization of all flexions, unlike types governed by merely trigonometric/rational relations. Only the equimodular elliptic type admits a nontrivial four-parameter family of continuous flexions in closed form ([2511.19376], Section 2).

This type encompasses the richest geometric structures, including families not realized by constructions of other types. The closed-form description enables explicit synthesis, computational analysis, and the construction of mechanisms with prescribed flat or dihedral angular data, subject to the algebraic existence criterion (see Section 3).

## 3. Algebraic Existence Criterion

A 3×3 net with prescribed flat angles \(\alpha_i,\ldots,\delta_i \in (0,\pi)\) and dihedral angles \(\theta_i \in (0,\pi)\) is of equimodular elliptic type if and only if there exist real parameters
\[
u,\,x_1=x_2,\,x_3=x_4,\,y_1=y_4,\,y_2=y_3,\,z_1,\ldots,z_4
\]
with \(u<1\) such that nine explicit algebraic equations (indices mod 4) are satisfied ([2511.19376], Proposition 2.8):
\[
\sum_{i=1}^4 \delta_i = 2\pi \tag{13a}
\]
\[
u_i=a_ib_ic_id_i = u < 1 \tag{13b}
\]
\[
x_1=x_2,\,x_3=x_4,\,y_1=y_4,\,y_2=y_3 \tag{13c--f}
\]
\[
\cos \delta_i = \varepsilon_i \frac{1 - y_i z_i u - x_i z_i u + x_i y_i u}{2\sqrt{x_i y_i u (1+z_i)(1+u z_i)}} \tag{13g}
\]
\[
\sin \theta_i \sin \theta_{i-1} = \varepsilon_i \frac{A_{i1} + A_{i2} y_i z_i u + A_{i3} x_i z_i u + A_{i4} x_i y_i u}{2\sqrt{x_i y_i u (1+z_i)(1+u z_i)}} \tag{13h}
\]
plus the period condition involving Jacobi-delta amplitudes and the elliptic lattice. The variables \(A_{ij}\), \(\varepsilon_i\), and the definitions of \(x_i, y_i, z_i, u\) are as given in the original analysis.

Geometrically, these equations encode face compatibility (planar angle sum), matched moduli and amplitudes, and Bricard's equations linking flat and dihedral angles.

## 4. Quasi-Symmetric Nets (QS-nets) as Constructive Subclass

A quasi-symmetric net (QS-net) is a 3×3 net in which the flat angles are arranged with specific pairwise equality or complementarity patterns ([2511.19376], Definition 2.2):
\[
\begin{aligned}
&\alpha_1 = \alpha_4 = \delta_2 = \pi - \delta_3, \quad && \alpha_2 = \alpha_3 = \delta_1 = \delta_4, \\
&\beta_1 = \beta_4 = \gamma_2 = \pi - \gamma_3, \quad && \beta_2 = \beta_3 = \gamma_1 = \gamma_4, \\
&\gamma_1 = \gamma_4 = \beta_2 = \pi - \beta_3, \quad && \gamma_2 = \gamma_3 = \beta_1 = \beta_4, \\
&\delta_1 = \delta_4 = \alpha_2 = \pi - \alpha_3, \quad && \delta_2 = \delta_3 = \alpha_1 = \alpha_4,
\end{aligned}
\]
QS-nets admit an explicit closed-form parameterization of their flexion (Theorem 2.9), and every elliptic QS-net is of equimodular elliptic type, except at discriminant vanishing points where the realization degenerates.

Under the QS ansatz, the flexion can be written in terms of a single real parameter \(t\):
\[
\begin{aligned}
\cot\frac{\theta_1}{2}(t) &= \frac{ - t \sin\beta_1 \pm \sqrt{D(t)}(\sin\bar\delta_1 \sin(\bar\alpha_1-\beta_1) + t^2 \sin\bar\alpha_1 \sin(\bar\delta_1-\beta_1))}{ \sin\bar\alpha_1 \sin\bar\delta_1 + t^2 \sin(\bar\alpha_1-\beta_1)\sin(\bar\delta_1-\beta_1) }, \\
\cot\frac{\theta_2}{2}(t) &= t, \\
\cot\frac{\theta_3}{2}(t) &= \frac{ t \sin\beta_1 \pm \sqrt{D(t)}(\sin\bar\delta_1 \sin(\bar\alpha_1-\beta_1) + t^2 \sin\bar\alpha_1 \sin(\bar\delta_1-\beta_1))}{ \sin\bar\alpha_1 \sin\bar\delta_1 + t^2 \sin(\bar\alpha_1-\beta_1)\sin(\bar\delta_1-\beta_1) }, \\
\cot\frac{\theta_4}{2}(t) &= \pm \frac{ \sqrt{D(t)} (\sin\bar\gamma_1\sin\bar\delta_1 + t^2 \sin(\bar\gamma_1 - \beta_1)\sin(\bar\delta_1 - \beta_1)) }{ \sin\bar\gamma_1\sin\bar\delta_1 + t^2\sin(\bar\gamma_1-\beta_1)\sin(\bar\delta_1-\beta_1) },
\end{aligned}
\]
with \(D(t)\) as defined in the original source. For real \(t\) with \(D(t)>0\) and non-vanishing denominators, the one-parameter family defines a flexible net in \(\mathbb{R}^3\).

## 5. Exceptional Cases and Loss of Flexibility

Flexibility of the equimodular elliptic type is generically preserved, but degenerates precisely at values \(t^*\) where the discriminant
\[
D(t^*) = 0
\]
or denominators in the closed-form expressions vanish. Geometrically, this occurs when certain strips become planar or folded so that one dihedral angle reaches \(0\) or \(\pi\), degenerating the net. These exceptional configurations delimit the interval of real \(t\) for isometric flexion.

## 6. Computational Synthesis and Verification

An explicit numerical pipeline for discovering and verifying equimodular elliptic nets is as follows ([2511.19376], Section 3):
1. Prescribe \(\{\delta_i\}\), \(\{\theta_i\}\) with \(\sum \delta_i = 2\pi\).
2. Solve the algebraic system for unknowns \((u,x_1,x_3,y_1,y_2,z_1,\dots,z_4)\), respecting imposed linear symmetries.
3. Use random initial guesses in admissible ranges (e.g., \(u\in(0,1)\); \(x_i,y_i,z_i\neq0,-1\)).
4. Employ a robust root solver (e.g., Levenberg–Marquardt) on the squared polynomial system.
5. For each solution:
   - Discard if out of range.
   - Recover angles and check them for geometric validity.
   - Test ellipticity and period conditions to high numerical precision (\(<10^{-12}\) to \(10^{-15}\)).
   - Eliminate duplicates under sign symmetries.
6. Output all valid parameter sets and reconstruct the geometry.

Calculated moduli \(M_i\), period, and angle matches reach numerical tolerances of up to \(10^{-13}\)–\(10^{-15}\), ensuring reliably validated constructions.

## 7. Explicit and Numerical Examples

The explicit and numerical construction of equimodular elliptic type polyhedra is illustrated by several examples ([2511.19376], Section 4):

- **Closed-form QS-net:** For
  \[
  \begin{aligned}
  \alpha_1 = 105^\circ, &\quad \beta_1 = 15^\circ, \\
  \gamma_1 = 120^\circ, &\quad \delta_1 = 90^\circ,
  \end{aligned}
  \]
  with the specified symmetry relations, formula (12b) provides a family of non-self-intersecting QS-nets, flexible for all \(t>0\).

- **Numerical (\(M<1\)):** With \(\delta = (120^\circ, 80^\circ, 85^\circ, 75^\circ)\), \(\theta = (130^\circ, 140^\circ, 125^\circ, 135^\circ)\), the pipeline yields
  \[
  u=0.927396\ldots,\, x_1=1.132839\ldots,\, y_2=1.086427\ldots,
  \]
  corresponding to fully validated net data.

- **Numerical (\(M>1\)), dual case:** For \(\delta = (60^\circ, 115^\circ, 80^\circ, 105^\circ)\), \(\theta = (120^\circ, 140^\circ, 110^\circ, 130^\circ)\), a solution with \(u>1\) is handled via the “dual” elliptic period lattice, yielding valid flexions within a restricted parameter range.

These constructions can yield both self-intersecting and non-self-intersecting mechanisms depending on choice of signs in the closed-form dihedral families.

## Table 1: Core Conditions for Equimodular Elliptic Type Nets

| Condition Type        | Equation/Relation                                      | Description                              |
|----------------------|--------------------------------------------------------|------------------------------------------|
| Ellipticity          | $\alpha_i\pm\beta_i\pm\gamma_i\pm\delta_i\neq0\pmod{2\pi}$ (all $\pm$) | Prevents singular trigonometric cases    |
| Moduli Equality      | $M_i=a_ib_ic_id_i = M,\, i=1..4$                       | Fourfold product criterion               |
| Amplitude Matching   | $r_1=r_2,\, s_1=s_4,\, r_3=r_4,\, s_2=s_3$             | Partial product matching                 |
| Period Condition     | $t_1+e_1 t_2+e_2 t_3+e_3 t_4\in\Lambda$                | Elliptic function closure                |

The equimodular elliptic type thus occupies a pivotal position in the geometric theory of flexible Kokotsakis polyhedra, characterized by deep symmetry, closed-form isometric flexion, and explicit algebraic realization, with constructions and verification now accessible via computational techniques [2511.19376].

Source: https://www.emergentmind.com/topics/equimodular-elliptic-type