[Paper Review] Geometric algebra and quadrilateral lattices

Adam Doliwa|ArXiv.org|Jan 3, 2008

Advanced Topics in Algebra42 references3 citations

TL;DR

This paper extends integrable discrete geometry to quadrilateral lattices in projective spaces over division rings, generalizing the geometric integrability scheme and noncommutative discrete Darboux equations. It shows that the vectorial fundamental transformation transfers to this setting with minor modifications, but the noncommutative B-quadrilateral lattice requires commutativity of the division ring, implying it reduces to a field.

ABSTRACT

Motivated by the fundamental results of the geometric algebra we study quadrilateral lattices in projective spaces over division rings. After giving the noncommutative discrete Darboux equations we discuss differences and similarities with the commutative case. Then we consider the fundamental transformation of such lattices in the vectorial setting and we show the corresponding permutability theorems. We discuss also the possibility of obtaining in a similar spirit a noncommutative version of the B-(Moutard) quadrilateral lattices.

Motivation & Objective

• To extend the geometric integrability scheme and discrete Darboux equations to projective spaces over division rings, generalizing the commutative case.
• To investigate whether the fundamental transformation of quadrilateral lattices can be adapted to the noncommutative setting.
• To determine whether noncommutative B-quadrilateral lattices—geometric analogs of the discrete BKP equation—can be consistently defined.
• To analyze the role of incidence geometry in enforcing integrability in noncommutative settings.

Proposed method

• Formalizing the geometric integrability scheme in projective spaces over division rings using homogeneous coordinates and coplanarity conditions.
• Deriving the noncommutative discrete Darboux equations via linear dependence relations among points in the lattice.
• Expressing lattice points using vectorial coordinates with coefficients in the division ring, ensuring consistency under geometric constraints.
• Applying the vectorial fundamental transformation by constructing linear relations between lattice points with noncommutative coefficients.
• Using coplanarity conditions to derive compatibility equations involving coefficients in the division ring.
• Analyzing the consistency of the B-lattice condition by requiring the point $x_{123}$ to lie in the plane $\langle x_1,x_2,x_3\rangle$, leading to a commutativity condition.

Experimental results

Research questions

• RQ1 Can the geometric integrability scheme for quadrilateral lattices be generalized to projective spaces over division rings?
• RQ2 How do the discrete Darboux equations and their linear problems change in the noncommutative setting?
• RQ3 Can the vectorial fundamental transformation of quadrilateral lattices be extended to noncommutative division rings?
• RQ4 Is it possible to define a noncommutative version of the B-quadrilateral lattice that preserves integrability?
• RQ5 What algebraic constraints arise from geometric incidence conditions in noncommutative lattices?

Key findings

• The geometric integrability scheme and noncommutative discrete Darboux equations are consistently defined over division rings, generalizing the commutative case.
• The vectorial fundamental transformation of quadrilateral lattices extends to the noncommutative setting with only minor adjustments to coefficient ordering.
• The B-quadrilateral lattice condition forces the division ring to be commutative, meaning it reduces to a field for integrability to hold.
• The consistency of the B-lattice condition leads to the requirement $ab = ba$ for coefficients $a, b$ in the division ring, implying commutativity.
• The system of equations derived from coplanarity and the $x_{123}$-point condition admits nontrivial solutions only if the division ring is commutative.
• The results imply that noncommutative B-lattices cannot be constructed without enforcing commutativity, limiting the scope of noncommutative generalizations.