$D(N)$-quadruples in upper-triangular $2\times2$ integer matrices

ملخص تقني: الرباعيات $D(N)$ في المصفوفات الصحيحة من النوع $2 \times 2$ المثلثية العليا

بيان المشكلة
تتناول الورقة البحثية توسيع المجموعات $D(n)$-$m$-tuple لثنائيات ديوفانتين (Diophantine) في حلقة المصفوفات غير التبديلية $M_2(\mathbb{Z})$ للمصفوفات الصحيحة $2 \times 2$. في الحلقات التبديلية، تُعرف المجموعة $\{a_1, \dots, a_m\}$ بأنها $D(n)$-$m$-tuple إذا كانت العناصر متميزة وغير صفرية بحيث يكون $a_i a_j + n$ مربعاً كاملاً لكل $i < j$. وتؤسس نتيجة كلاسيكية في الحلقات التبديلية صلة قوية بين وجود الرباعيات $D(n)$-quadruples وإمكانية تمثيل $n$ كفرق بين مربعين ($n = x^2 - y^2$).

يستقصي المؤلفون ما إذا كانت هذه العلاقة تظل قائمة في الإطار غير التبدلي لحلقات المصفوفات. وبشكل محدد، يركزون على حلقة المصفوفات المثلثية العليا الصحيحة $UT_2(\mathbb{Z})$، ويستكشفون تعريفين لمجموعات المصفوفات $D(N)$-tuples:

1. الضرب القياسي (Standard Product): يعتمد على حاصل الضرب المرتب للمصفوفات $A_i A_j + N = X_{ij}^2$ (مع التمييز بين الترتيب التصاعدي والتنازلي).
2. جداء جوردان (Jordan Product): يعتمد على جداء جوردان المتماثل $A \circ B = \frac{1}{2}(AB + BA)$، حيث $A_i \circ A_j + N = X_{ij}^2$.

ينصب التركيز الأساسي على مجموعات جوردان $D(N)$-tuples داخل $UT_2(\mathbb{Z})$، حيث يجب أن تنتمي الجذور التربيعية $X_{ij}$ أيضاً إلى $UT_2(\mathbb{Z})$. وتفرق الدراسة بين المجموعات المنحلة (degenerate) (حيث تكون جداءات جوردان الثنائية صفراً) والمجموعات غير المنحلة.

المنهجية
يستخدم المؤلفون مزيجاً من التوصيف الهيكلي، والإنشاء الصريح، وتقنيات العوائق النمطية (modular obstruction):

• التوصيف الهيكلي: يستفيدون من توصيف سابق (من المرجع [10]) للمصفوفات في $UT_2(\mathbb{Z})$ التي يمكن تمثيلها كفرق بين مربعين، وهو ما يعتمد على شروط التطابق بمقياس 16.
• صيغ التوسيع: يقومون بتكييف صيغة التوسيع الكلاسيكية للثلاثيات. فإذا كانت $\{A, B\}$ زوج $D(N)$-jordan، حيث $A \circ B + N = R^2$، فإنهم يبنون ثلاثية $\{A, B, A+B \pm 2R\}$. ويعتمد ذلك على الخطية الثنائية لجداء جوردان.
• الإنشاء النموذجي (Theorem 5): بالنسبة للمصفوفات $N$ التي يمكن تمثيلها كـ $N = K^2 - A_0^2$، يبني المؤلفون "نموذجاً" لرباعية من الشكل $\{A_0 + U_t, A_0 - U_t, 2A_0 + 2K, 5A_0 + 4K\}$، حيث $U_t$ مصفوفة عديمة القوة (nilpotent). ويثبتون أنه لعدد لا نهائي من المعاملات $t$، تشكل هذه المجموعة رباعية $D(N)$-jordan صالحة.
• العوائق النمطية: بالنسبة للمصفوفات $N$ التي لا يمكن تمثيلها كفرق بين مربعين، يحلل المؤلفون الشروط القياسية (scalar conditions) على عناصر القطر ($a_i a_j + p = \square$ و $d_i d_j + q = \square$) وشروط السلامة (integrality) على العناصر في القطر العلوي الأيمن. ويستخدمون حجج التكافؤ (parity arguments) ولمحة محددة تتعلق بالمتجهات في $\mathbb{Z}_2^2$ (التمهيدية 7) لإثبات عدم الوجود لفئات تطابق محددة.
• الإنشاءات الصريحة: بالنسبة لفئات التطابق التي لا يمكن إثبات عدم وجودها، يقدم المؤلفون إنشاءات متعددة الحدود أو عددية صريحة للرباعيات، وغالباً ما تستخدم خصائص القياس (التمهيدية 2) أو تكييف عائلات متعددات الحدود الكلاسيكية (القسم 5).

المساهمات والنتائج الرئيسية

1. الوجود للمصفوفات التي تمثل فرقاً بين مربعين:
   تثبت الورقة أن كل مصفوفة $N \in UT_2(\mathbb{Z})$ يمكن تمثيلها كفرق بين مربعين في $UT_2(\mathbb{Z})$ تمتلك عددًا لا نهائياً من مجموعات Jordan $D(N)$-quadruples (النظرية 5 والنتيجة 6). وهذا يثبت الاستلزام التالي:
   $$N = K^2 - A^2 \implies \text{وجود Jordan } D(N)\text{-quadruples}$$
   وهذا هو أول هيكل يتم فيه إثبات هذا الاستلزام عبر الجمع بين التوصيف الهيكلي لتمثيلات الفرق بين المربعين والإنشاء الصريح.

2. نتائج عدم الوجود:
   حدد المؤلفون عائلات لانهائية من المصفوفات $N \in UT_2(\mathbb{Z})$ التي لا يمكن تمثيلها كفرق بين مربعين والتي لا توجد لها Jordan $D(N)$-quadruples. وقد استُخلصت نتائج عدم الوجود هذه عبر العوائق النمطية (الاستنتاجات 8، 9، 12، 13، 15، 17، 18).

• الحالة الأولى: $p \equiv 2 \pmod 4$ أو $q \equiv 2 \pmod 4$.
• الحالة الثانية (جزئية): $p, q$ فرديان، $p \equiv q \pmod 4$، و $r$ فردي، وتحديداً عندما $p \equiv q \equiv 3 \pmod 4$.
• الحالة الثالثة (جزئية): $(p, q) \equiv (4, 4), (12, 12) \pmod{16}$ مع شروط محددة على $r$.
• الحالة الرابعة: $(p, q) \equiv (4, 12), (8, 8), (12, 4) \pmod{16}$ مع $r$ فردي.

3. الوجود للمصفوفات التي لا تمثل فرقاً بين مربعين:
   من الأهمية بمكان أن الورقة توضح أن شرط "الفرق بين المربعين" ليس ضرورياً لوجود Jordan $D(N)$-quadruples في $UT_2(\mathbb{Z})$.

• الاستنتاج 10: يبني Jordan $D(N)$-quadruple للمصفوفة $N = \begin{pmatrix} 1 & m \\ 0 & 1 \end{pmatrix}$ لأي عدد صحيح $m$. إذا كان $m$ فردياً، فإن $N$ ليست فرقاً بين مربعين في $UT_2(\mathbb{Z})$، ومع ذلك توجد الرباعية.
• الاستنتاج 14: يثبت أنه إذا كانت عناصر القطر لـ $N$ هي مربعات صحيحة ($p=s^2, q=t^2$)، فإن Jordan $D(N)$-quadruple موجود لكل عنصر في القطر العلوي الأيمن $r$، بغض النظر عما إذا كانت $N$ تمثل فرقاً بين مربعين أم لا.
• الاستنتاج 16: يقدم عائلة من الرباعيات لـ $N_t = \begin{pmatrix} 4 & 2t \\ 0 & 4 \end{pmatrix}$، والتي يمكن تمثيلها كفروق بين مربعات فقط عندما يكون $t$ زوجياً، ومع ذلك توجد رباعيات لجميع قيم $t \neq 0$.

4. التكييفات متعددة الحدود:
   يوضح القسم 5 كيفية تكييف صيغ متعددات الحدود الكلاسيكية لـ $D(n)$-quadruples التبديلية (تحديداً من دوجيلا [6]) لتناسب سياق جوردان في $UT_2(\mathbb{Z})$ عن طريق حل المعادلات الديوفانتية الخطية لعناصر القطر العلوي الأيمن.

الأهمية والادعاءات
تدعي الورقة أنها تبدأ دراسة مجموعات $D(N)$-tuples في سياق غير تبديلي حقيقي. وتكمن أهميتها الأساسية في الكشف عن أن العلاقة بين تمثيلات الفرق بين المربعين ووجود $D(N)$-quadruples في حلقات المصفوفات هي أكثر تعقيداً مما هي عليه في السياق التبدلي الكلاسيكي.

بينما يظل الاستلزام "الفرق بين المربعين $\implies$ وجود الرباعيات" قائماً في $UT_2(\mathbb{Z})$، فإن العكس غير صحيح. تثبت الورقة أن هناك عائلات لانهائية من المصفوفات التي ليست فروقاً بين مربعين ومع ذلك تمتلك Jordan $D(N)$-quadruples. وعلى العكس من ذلك، هناك مصفوفات ليست فروقاً بين مربعين ولا توجد لها مثل هذه الرباعيات.

يخلص المؤلفون إلى أنه بينما تظل "القاعدة" التي تربط تمثيلات الفرق بين المربعين بوجود الرباعيات قائمة لفئة كبيرة من المصفوفات في $UT_2(\mathbb{Z})$، إلا أنها ليست تكافؤاً صارماً. وتترك الورقة بعض فئات التطابق (تحديداً في الحالتين الثانية والثالثة حيث العناصر القطرية ليست مربعات) كمسائل مفتوحة، مشيرة إلى أن ظواهر الوجود وعدم الوجود تحدث معاً ضمن هذه الفئات المتبقية.