2025-11-30T10:28:18.745802

Brauer groups of certain affine cubic surfaces

Alfaraj
We study the Brauer groups of affine surfaces that are complements of singular hyperplane sections of smooth cubic surfaces over a field $k$ of characteristic $0$. We determine the Brauer group over the algebraic closure as a Galois module for all the possible singular hyperplane sections. For the case when the hyperplane section is geometrically the union of three lines, we give explicit examples where transcendental elements of order $2$ and $3$ exist over $\mathbb{Q}$. We end with an application on the integral Brauer-Manin obstruction to the integral Hasse principle.
academic

مجموعات براور لسطوح تكعيبية أفينية معينة

المعلومات الأساسية

  • معرّف الورقة: 2509.16042
  • العنوان: Brauer groups of certain affine cubic surfaces
  • المؤلف: Abdulmuhsin Alfaraj (جامعة باث)
  • التصنيف: math.AG (الهندسة الجبرية)، math.NT (نظرية الأعداد)
  • وقت النشر: أكتوبر 2025 (arXiv v2)
  • رابط الورقة: https://arxiv.org/abs/2509.16042v2

الملخص

تدرس هذه الورقة مجموعات براور للسطوح الأفينية المكملة للقطاعات الفائقة المفردة في السطوح التكعيبية الملساء على حقول بخاصية صفر kk. يحدد المؤلف بنية مجموعة براور على الإغلاق الجبري كمودول غالوا لجميع حالات القطاعات الفائقة المفردة الممكنة. للحالة التي يكون فيها القطاع الفائق هندسياً اتحاد ثلاثة خطوط مستقيمة، يقدم أمثلة صريحة لوجود عناصر متعالية من الرتبة 2 و3 على Q\mathbb{Q}. تختتم الورقة بتطبيقات عائق براور-مانين الكامل على مبدأ هاسه الكامل.

خلفية البحث والدافع

خلفية المشكلة

  1. الأهمية الحسابية لمجموعات براور: مجموعات براور هي أجسام هندسية تحتوي على معلومات حسابية غنية، وهي ثنائية التشابه للأصناف الملساء الصحيحة. في عام 1970، نجح مانين في استخدام مجموعات براور لتفسير فشل مبدأ هاسه، مما أسس نظرية عائق براور-مانين.
  2. تحديات الحساب: تحديد مجموعات براور، خاصة أجزاؤها المتعالية، عادة ما يكون مشكلة صعبة. بالنسبة للأصناف غير الصحيحة، تصبح المشكلة أكثر تعقيداً - يُتوقع أن تكون مجموعة براور أكبر من أي تكثيف أملس.
  3. أهمية سطوح log K3: سطوح log K3 على حقول الأعداد لها أهمية حسابية خاصة. تقترح التخمينات أن الإيجابية للفئة المضادة للنقطة المرجعية اللوغاريتمية للصنف الأفيني تتحكم بوفرة النقاط الكاملة. سطوح log K3 (حيث تكون الفئة المضادة للنقطة المرجعية تافهة) هي الحالة الحدية وذات أهمية كبيرة.
  4. الأبحاث الموجودة:
    • درس Colliot-Thélène و Wittenberg عائلات السطوح التكعيبية القطرية (مكملات منحنيات جنس 1 ملساء)
    • قدم Bright و Lyczak حدوداً موحدة لحجم مجموعات براور لمكملات المقسومات المضادة للنقطة المرجعية الملساء في سطوح del Pezzo
    • تمت دراسة سطح Markoff (اتحاد ثلاثة خطوط نسبية) من قبل Colliot-Thélène وآخرين و Loughran-Mitankin

دافع البحث

تدرس هذه الورقة السطوح التي يمكن تضمينها كمكملات للمقسومات المضادة للنقطة المرجعية المفردة في السطوح التكعيبية الملساء، للأسباب التالية:

  • هذه السطوح هي سطوح log K3 وفيرة وذات أهمية حسابية
  • من الناحية الهندسية، قد يكون لديها مجموعة تشابه ذاتي لا نهائية منفصلة
  • في حالة سطح Markoff، يؤدي الجمع بين مجموعة التشابه الذاتي وعائق براور-مانين إلى تطبيقات

المساهمات الأساسية

  1. نظرية التصنيف الكاملة: تحديد البنية الكاملة لمجموعة براور Br(U)\text{Br}(U) كمودول غالوا Γk=Gal(kˉ/k)\Gamma_k = \text{Gal}(\bar{k}/k) لجميع حالات القطاعات الفائقة المفردة الممكنة (النظرية 1.1)
  2. وجود مجموعات براور المتعالية: تقديم بناءات صريحة لوجود عناصر متعالية من الرتبة 2 و3 على Q\mathbb{Q} للحالة الهندسية لثلاثة خطوط مستقيمة (النظرية 1.2)
  3. تطبيقات عائق براور-مانين الكامل: إثبات وجود عائق براور-مانين كامل من عناصر الرتبة 3 للمعادلة 9x3+y3=z2+39x^3 + y^3 = z^2 + 3 (النظرية 1.3)، مما يجيب على سؤال طرحه Grechuk على MathOverflow
  4. طرق الحساب: تطوير طريقة منهجية لحساب مجموعات براور باستخدام متسلسلات Gysin ونظريات النقاء والعلم الجبري لـ Galois

شرح الطريقة

تعريف المهمة

بالنظر إلى سطح تكعيبي أملس X⊂P3X \subset \mathbb{P}^3 على حقل بخاصية صفر kk وقطاع فائق مفرد HH، احسب بنية مجموعة براور Br(U)\text{Br}(U) للسطح الأفيني U:=X∖HU := X \setminus H كمودول غالوا.

الإطار النظري

1. البنية الطبقية لمجموعات براور

بالنسبة للصنف kk XX، عرّف:

  • Br0(X)=im[Br(k)→Br(X)]\text{Br}_0(X) = \text{im}[\text{Br}(k) \to \text{Br}(X)] (الجزء الثابت)
  • Br1(X)=ker⁡[Br(X)→Br(Xˉ)]\text{Br}_1(X) = \ker[\text{Br}(X) \to \text{Br}(\bar{X})] (مجموعة براور الجبرية)
  • Bra(X):=Br1(X)/Br0(X)\text{Br}_a(X) := \text{Br}_1(X)/\text{Br}_0(X)
  • Br(X)/Br1(X)\text{Br}(X)/\text{Br}_1(X) (مجموعة براور المتعالية)

2. أدوات تقنية رئيسية

متسلسلة Gysin (اللمة 3.3): بالنسبة للصنف kk الأملس XX والمخطط الفرعي المغلق الأملس ZZ بالبعد المتبقي cc، توجد متسلسلة طويلة دقيقة: 0→H2c−1(X,μn)→H2c−1(X∖Z,μn)→H0(Z,Z/n(−c))→H2c(X,μn)→⋯0 \to H^{2c-1}(X,\mu_n) \to H^{2c-1}(X \setminus Z, \mu_n) \to H^0(Z,\mathbb{Z}/n(-c)) \to H^{2c}(X,\mu_n) \to \cdots

النقاء شبه النقي (اللمة 3.4): بالنسبة للمخطط الفرعي المغلق المختزل في كل مكان بالبعد المتبقي 1 (مع نقاط فردية بالبعد المتبقي ≥2\geq 2)، توجد متسلسلة مماثلة.

ثنائية Poincaré ونظرية النقاء المطلق (Gabber): ربط مجموعات العلم المختلفة.

استراتيجية الحساب

الخطوة الأولى: مجموعة براور الجبرية

استخدام المتسلسلة القصيرة الدقيقة (الاقتراح 2.5): 0→⨁i=13Z[ℓi]→Pic(X)→Pic(U)→00 \to \bigoplus_{i=1}^3 \mathbb{Z}[\ell_i] \to \text{Pic}(X) \to \text{Pic}(U) \to 0

احسب Bra(U)≅H1(k,Pic(U))\text{Br}_a(U) \cong H^1(k, \text{Pic}(U)) (اللمة 2.4).

احسب جميع الحالات الممكنة للعمل الغالوا من خلال Magma، احصل على عدد محدود من الاحتمالات (الاقتراح 2.6).

الخطوة الثانية: مجموعة براور الكلية

من متسلسلة Kummer احصل على رسم بياني تبديلي (3.7):

0 @>>> (\text{Pic}X)/n @>>> H^2(X,\mu_n) @>>> (\text{Br}X)[n] @>>> 0\\ @. @VVV @VVV @VVV @.\\ 0 @>>> (\text{Pic}U)/n @>>> H^2(U,\mu_n) @>>> (\text{Br}U)[n] @>>> 0 \end{CD}$$ المفتاح: $\text{Br}(U)[n] \cong \text{coker}(\Psi_n)$ (اللمة 3.8). #### الخطوة الثالثة: الحساب حسب الحالات **الحالة 1: خط + منحنى تربيعي أملس** (الاقتراح 3.9) - إذا كانت متماسة: $\text{Br}U = 0$ - إذا تقاطعت عند نقطتين نسبيتين: $\text{Br}U \cong \mathbb{Q}/\mathbb{Z}(-1)$ - إذا تقاطعت عند نقطة درجة 2 $k(\sqrt{d})$: $(\text{Br}U)[n] \cong M_d/nM_d(-1)$، حيث $M_d = (\text{Ind}_{k(\sqrt{d})/k}\mathbb{Z})/\mathbb{Z}$ **الحالة 2: منحنى تكعيبي مفرد غير قابل للاختزال هندسياً** (الاقتراح 3.10) - نقطة حادة: $\text{Br}U = 0$ - عقدة ضربية منقسمة: $\text{Br}U \cong \mathbb{Q}/\mathbb{Z}(-1)$ - عقدة ضربية غير منقسمة: $(\text{Br}U)[n] \cong M_d/nM_d(-1)$ **الحالة 3: ثلاثة خطوط مستقيمة** (الاقتراح 3.11) دع $L$ تكون الحقل الأدنى للانقسام، احسب صراحة الخريطة $\phi: H^1(C', \mathbb{Z}/n\mathbb{Z}) \to H^3(X', \mu_n)$. من خلال اللمة 3.7 أنشئ رسم بياني تبديلي (3.14)، استخدم صيغة البقايا (3.15): $$\partial(a,b,c) = (c-b, a-c, b-a)$$ احصل على $\ker(\phi) \cong \mathbb{Z}/n\mathbb{Z}(-1)$ كمودول $\Gamma_L$. من خلال تحليل العمل الغالوا (الحسابات الصريحة للدورات 3 والدورات 2)، حدد البنية كمودول $\Gamma_k$. ### نقاط الابتكار التقنية 1. **الإطار الموحد**: ضع جميع حالات القطاعات الفائقة المفردة في إطار حساب موحد 2. **العمل الغالوا الصريح**: من خلال الصيغ الصريحة لخريطة البقايا (3.15)، حدد بدقة بنية مودول غالوا 3. **استخدام المودولات المستحثة**: قدم $M_d = (\text{Ind}_{k(\sqrt{d})/k}\mathbb{Z})/\mathbb{Z}$ لوصف موجز للحالات غير المنقسمة 4. **الطريقة البنائية**: قدم بناءات صريحة تماماً للعناصر المتعالية (الاقتراح 4.4) ## النتائج الرئيسية ### النظرية 1.1 (التصنيف الكامل لمجموعات براور) دع $k$ يكون حقلاً بخاصية صفر، $\Gamma_k := \text{Gal}(\bar{k}/k)$، $X$ سطح تكعيبي أملس، $H$ قطاع فائق، $U := X \setminus H$. **(i) حالة الخط + منحنى تربيعي أملس**: $$\text{Br}U \cong \begin{cases} 0, & \text{إذا كانت متماسة}\\ \mathbb{Q}/\mathbb{Z}(-1), & \text{إذا كان}|\ell(k) \cap C(k)| = 2\\ \varinjlim(M_d/nM_d(-1)), & \text{إذا كان}\ell \cap C = \text{Spec}(k(\sqrt{d})) \end{cases}$$ **(ii) منحنى تكعيبي مفرد غير قابل للاختزال هندسياً**: $$\text{Br}U \cong \begin{cases} 0, & \text{إذا كانت نقطة حادة}\\ \mathbb{Q}/\mathbb{Z}(-1), & \text{إذا كانت عقدة ضربية منقسمة}\\ \varinjlim(M_d/nM_d(-1)), & \text{إذا كانت عقدة ضربية غير منقسمة} \end{cases}$$ **(iii) ثلاثة خطوط مستقيمة**: دع $L$ يكون الحقل الأدنى للانقسام، $d \in k$ المميز لـ $L/k$، $\tilde{L} := L(\sqrt{d})$. $$\text{Br}U \cong \begin{cases} 0, & \text{إذا تقاطعت عند نقطة Eckard}\\ \mathbb{Q}/\mathbb{Z}(-1), & \text{إذا كان}L=k\text{و}\cap\ell_i = \emptyset\text{، أو}\text{Gal}(L/k) \cong \mathbb{Z}/3\mathbb{Z}\\ \varinjlim(M_d/nM_d(-1)), & \text{إذا كان}\text{Gal}(\tilde{L}/k) \cong S_3\text{أو}\text{Gal}(L/k) \cong \mathbb{Z}/2\mathbb{Z} \end{cases}$$ ### النظرية 1.2 (وجود العناصر المتعالية) توجد سطوح تكعيبية أفينية $U$ على $\mathbb{Q}$ (مكملات اتحاد ثلاثة خطوط مستقيمة هندسية) بحيث: - $\mathbb{Z}/2\mathbb{Z} \subset \text{Br}(U)$ و $\mathbb{Z}/2\mathbb{Z} \not\subset \text{Br}_1(U)$ - $\mathbb{Z}/3\mathbb{Z} \subset \text{Br}(U)$ و $\mathbb{Z}/3\mathbb{Z} \not\subset \text{Br}_1(U)$ **البناء الصريح** (القسم 4.1): **حالة الرتبة 2**: خذ $f_1 = X, f_2 = Y, f_3 = Z$، اختر النقاط: - $P_1 = [0:1:1], P_4 = [0:4:1]$ (على $\ell_1$) - $P_2 = [9:0:1], P_5 = [16:0:1]$ (على $\ell_2$) - $P_3 = [-25:1:0], P_6 = [-36:1:0]$ (على $\ell_3$) المولد هو $A_2 = (f_1/f_3, f_2/f_3)$. **حالة الرتبة 3**: على $L = \mathbb{Q}(\omega)$، خذ: $$f_1 = X + \omega Y + Z, \quad f_2 = X + \omega^2 Y + Z, \quad f_3 = Z$$ اختر بعناية ستة نقاط بحيث تكون شروط البقايا مرضية، المولد هو: $$A_3 := \text{cor}_{L(T_L)/\mathbb{Q}(T)}\left(\frac{f_1}{f_3}, \frac{f_2}{f_3}\right)_\omega$$ ### النظرية 1.3 (عائق براور-مانين الكامل) اعتبر المخطط $\mathbb{Z}$: $$U: 9x^3 + y^3 = z^2 + 3 \subset \mathbb{A}^3_{\mathbb{Z}}$$ دع $\omega$ يكون جذر وحدة بدائي من الدرجة الثالثة. إذن: 1. $\text{Br}(U_{\mathbb{Q}})/\text{Br}(\mathbb{Q}) \cong \mathbb{Z}/3\mathbb{Z}$ 2. المولد هو الجبر الدوري: $$B := \text{cor}_{\mathbb{Q}(U_{\mathbb{Q}})(\omega)/\mathbb{Q}(U_{\mathbb{Q}})}\left(-9, z + \sqrt{-3}\right)_\omega$$ 3. $U(\mathbb{A}_{\mathbb{Z}})^B = \emptyset$ **نقاط الإثبات** (القسم 5): - أثبت $U(\mathbb{A}_{\mathbb{Z}}) \neq \emptyset$ (تحقق من وجود نقاط محلية لجميع الأعداد الأولية) - بالنسبة لـ $x_3 = (x,y,z) \in U(\mathbb{Z}_3)$، من تحليل المعادلة modulo 9 احصل على $z \equiv \pm 4 \pmod{9}$ - استخدم الصيغ الصريحة للجبر الدوري (Colliot-Thélène وآخرون، [3]): - $(ω, 1+aλ+bλ^2+\cdots)_{ω,\mathfrak{p}} = a+a^2+b \in \mathbb{Z}/3\mathbb{Z}$ - $(λ, 1+aλ+bλ^2+cλ^3+\cdots)_{ω,\mathfrak{p}} = (a-a^3)/3+ab-c \in \mathbb{Z}/3\mathbb{Z}$ - احسب: $$\text{inv}_{\mathfrak{p}}A(x_3) = \begin{cases} 2 \in \mathbb{Z}/3\mathbb{Z}, & z \equiv -4 \pmod{9}\\ 1 \in \mathbb{Z}/3\mathbb{Z}, & z \equiv 4 \pmod{9} \end{cases}$$ - لذلك $\sum_p \text{inv}_p B(x_p) \neq 0$، أي $U(\mathbb{A}_{\mathbb{Z}})^B = \emptyset$ ## التفاصيل التقنية ### حسابات العلم الجبري لـ Galois بالنسبة لـ $M_d = (\text{Ind}_{k(\sqrt{d})/k}\mathbb{Z})/\mathbb{Z}$، تعطي اللمة 4.1: إذا كان $\sqrt{d} \notin k(\zeta_n)$: $$(M_d/nM_d(-1))^{\Gamma_k} \cong \begin{cases} \mathbb{Z}/2\mathbb{Z}, & n = 2^i\\ 0, & \text{غير ذلك} \end{cases}$$ إذا كان $\sqrt{d} \in k(\zeta_n)$ و $[k(\zeta_n):k] = [\mathbb{Q}(\zeta_n):\mathbb{Q}]$: $$(M_d/nM_d(-1))^{\Gamma_k} \cong \begin{cases} \mathbb{Z}/4\mathbb{Z}, & n = 2^i\\ \mathbb{Z}/3\mathbb{Z}, & n = 3^i\\ 0, & \text{غير ذلك} \end{cases}$$ **خطة الإثبات**: حول المشكلة إلى حساب الثوابت الغالوا لمودول Hom $H_n$، استخدم العمل الصريح لـ $G_n = \text{Gal}(k(\zeta_n, \sqrt{d})/k)$. ### حدود مجموعات براور المتعالية تلخص النظرية 4.2: بافتراض أن $k$ لا يحتوي على جذور وحدة غير تافهة، $\text{Br}U/\text{Br}_1 U$ هو مجموعة فرعية من: | الحالة | الحد الأعلى | |------|------| | متماسة/نقطة حادة/نقطة Eckard | 0 | | نقطتان نسبيتان/عقدة منقسمة/$L=k$ أو $\mathbb{Z}/3\mathbb{Z}$ | $\mathbb{Z}/2\mathbb{Z}$ | | $k(\sqrt{d}) \subset k(\zeta_4)$ | $\mathbb{Z}/4\mathbb{Z}$ | | $k(\sqrt{d}) \subset k(\zeta_3)$ | $\mathbb{Z}/3\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}$ | | غير ذلك | $\mathbb{Z}/2\mathbb{Z}$ | ## الأعمال ذات الصلة ### الخلفية التاريخية 1. **Manin (1970)**: استخدم مجموعات براور لأول مرة لتفسير فشل مبدأ هاسه، وأسس نظرية عائق براور-مانين 2. **Colliot-Thélène و Sansuc (1981)**: طوروا نظرية مجموعات براور للمجموعات الجبرية 3. **Colliot-Thélène و Wittenberg (2012)**: درسوا عائق براور-مانين الكامل للسطوح التكعيبية القطرية ### البحوث ذات الصلة 1. **Bright و Lyczak (2019)**: قدموا حدوداً موحدة لمجموعات براور مكملات سطوح del Pezzo 2. **Colliot-Thélène و Wei و Xu (2020)**: عائق براور-مانين لسطوح Markoff 3. **Loughran و Mitankin (2021)**: مبدأ هاسه الكامل والتقريب القوي لسطوح Markoff 4. **Harpaz (2017)**: الهندسة والحساب لسطوح log K3 ### الابتكار في هذه الورقة - **الاكتمال**: أول دراسة منهجية لجميع حالات القطاعات الفائقة المفردة - **الصراحة**: بناءات صريحة تماماً للعناصر المتعالية - **التطبيقية**: أمثلة جديدة لعائق براور-مانين الكامل ## الخلاصة والمناقشة ### الاستنتاجات الرئيسية 1. تحديد كامل لبنية مجموعة براور لمكملات القطاعات الفائقة المفردة كمودول غالوا 2. إثبات وجود عناصر متعالية من الرتبة 2 و3 3. تطبيقات جديدة لعائق براور-مانين الكامل ### القيود 1. **قيود الخاصية**: تعتمد الطريقة على افتراض الخاصية صفر (نظرية النقاء المطلق) 2. **التعقيد الحسابي**: يتطلب حساب مجموعة براور الجبرية أنظمة جبر حاسوبية مثل Magma 3. **العمومية**: تركز بشكل أساسي على السطوح التكعيبية، لم تتناول الدرجات الأعلى ### الاتجاهات المستقبلية 1. التعميم على أنواع أخرى من سطوح log K3 2. دراسة التفاعل بين مجموعات التشابه الذاتي اللا نهائية وعائق براور-مانين 3. استكشاف تطبيقات مجموعات براور المتعالية في مشاكل حسابية أخرى 4. تطوير طرق حسابية أكثر فعالية ## التقييم المتعمق ### المميزات 1. **الاكتمال النظري**: - توفير تصنيف كامل لجميع الحالات الممكنة (النظرية 1.1) - تطوير منهجية منهجية لحساب مجموعات براور - إطار نظري واضح ومنطق صارم 2. **العمق التقني**: - دمج ماهر لمتسلسلات Gysin ونظريات النقاء والعلم الجبري لـ Galois - حسابات صريحة للعمل الغالوا (خاصة تحليل الدورات 3 والدورات 2) تظهر براعة عالية - الحسابات الدقيقة لبقايا الجبر الدوري تعكس معرفة عميقة 3. **البناء**: - إثبات النظرية 1.2 يعطي أمثلة صريحة تماماً - كل إحداثيات النقطة معطاة بوضوح، قابلة للتحقق بقوة - إثبات النظرية 1.3 يتضمن جميع تفاصيل الحساب 4. **قيمة التطبيق**: - الإجابة على سؤال مفتوح على MathOverflow - توفير أدوات جديدة لأبحاث مبدأ هاسه الكامل - يمكن تعميم الطريقة على سطوح log K3 أخرى ### أوجه القصور 1. **الاعتماد على الحساب**: - يعتمد حساب مجموعة براور الجبرية على Magma، بدون إثبات مستقل تام - بعض حسابات العلم الجبري لـ Galois تقنية جداً، قابلية القراءة محدودة 2. **قابلية التعميم**: - النتائج الرئيسية تقتصر على السطوح التكعيبية - وضوح تطبيق الطريقة على سطوح log K3 أكثر عمومية غير واضح 3. **الأمثلة المحدودة**: - على الرغم من إثبات وجود عناصر متعالية، يتم إعطاء عدد قليل من الأمثلة الصريحة فقط - فهم إحصائي لـ "الحجم النموذجي" لمجموعة براور المتعالية غير موجود 4. **نطاق التطبيق**: - أمثلة عائق براور-مانين الكامل متخصصة نسبياً - لم يتم مناقشة الإمكانيات في مشاكل Diophantine أخرى ### التأثير 1. **المساهمة النظرية**: - ملء الفراغ في دراسة مجموعات براور لحالات الحدود المفردة - توفير منظور جديد لأبحاث الحساب لسطوح log K3 - يمكن تطبيق التقنيات المطورة على أجسام هندسية أخرى 2. **القيمة العملية**: - توفير أداة جديدة للحكم على وجود النقاط الكاملة - طريقة البناء الصريح لها قيمة تطبيق مباشر على مشاكل محددة - يمكن اعتماد إطار الحساب من قبل باحثين آخرين 3. **إمكانية إعادة الإنتاج**: - جميع البناءات صريحة وسهلة التحقق - منطق إثبات النظريات الرئيسية واضح وقابل للتتبع - توفير تفاصيل تقنية كافية للتعلم ### السيناريوهات المناسبة 1. **البحث النظري**: - حساب مجموعات براور لسطوح log K3 - حسابات صريحة للعلم الجبري لـ Galois - دراسة الثوابت في الهندسة ثنائية التشابه 2. **التطبيقات الحسابية**: - مشاكل مبدأ هاسه والتقريب القوي - الحكم على قابلية حل معادلات Diophantine - نظرية العوائق لتوزيع النقاط الكاملة 3. **الجوانب الحسابية**: - توفير أساس خوارزمي لأنظمة الجبر الحاسوبية - حساب مجموعات براور لسطوح تكعيبية محددة - البناء الصريح للجبر الدوري ## المراجع (مختارة) [3] J.-L. Colliot-Thélène, D. Kanevsky, and J.-J. Sansuc, *Arithmétique des surfaces cubiques diagonales*, Lecture Notes in Math., vol. 1290, Springer, 1987. [4] J.-L. Colliot-Thélène, A. Skorobogatov, *The Brauer–Grothendieck Group*, Springer, 2021. [5] J.-L. Colliot-Thélène, D. Wei, and F. Xu, *Brauer-Manin obstruction for Markoff surfaces*, Ann. Sc. Norm. Super. Pisa, 2020. [14] D. Loughran, V. Mitankin, *Integral Hasse principle and strong approximation for Markoff surfaces*, IMRN, 2021. [18] J. S. Milne, *Étale cohomology*, Princeton University Press, 1980. --- **التقييم الإجمالي**: هذه ورقة بحثية ممتازة بعمق تقني عالي ونتائج كاملة في الهندسة الجبرية. يدرس المؤلف بشكل منهجي فئة مهمة من الأجسام الهندسية التي لم تُفهم بشكل كامل من قبل، وطور طرقاً حسابية فعالة، وقدم تطبيقات حسابية ذات مغزى. تكمن القيمة الرئيسية للورقة في اكتمالها وصراحتها وإسهاماتها المنهجية، مما يضع أساساً صلباً للأبحاث اللاحقة.