2025-11-10T02:58:59.381108

Non-smoothable $\mathbb{Z}/p$-actions on nuclei

Montague
In this article we construct examples of non-smoothable $\mathbb{Z}/p$-actions on indefinite spin 4-manifolds with boundary for all primes $p\geq 5$. For example, we show that for each prime $p\geq 5$ and each $n\geq 1$ there exists a locally linear $\mathbb{Z}/p$-action on the Gompf nucleus $N(2pn)$ which is not smoothable with respect to any smooth structure on $N(2pn)$. Furthermore we investigate the behavior of these actions under two different types of equivariant stabilizations with $S^{2}\times S^{2}$, namely \emph{free} and \emph{homologically trivial} stabilizations -- in particular we show that our non-smoothable $\mathbb{Z}/p$-action on $N(2pn)$ remains non-smoothable after $2n-2$ free stabilizations, and after arbitrarily many homologically trivial stabilizations. We also show that free stabilizations satisfy a Wall stabilization principle in the sense that any non-smoothable $\mathbb{Z}/p$-action becomes smoothable after some finite number free stabilizations (under certain assumptions), whereas our aforementioned result implies that homologically trivial stabilizations do not satisfy this property. The proofs of these results use equivariant $κ$-invariants defined by the author in \cite{Mon22}, calculations of equivariant $η$-invariants for the odd signature and Dirac operators on Seifert-fibered spaces, as well as an analysis of the geometric $S^{1}$-action on the Seiberg-Witten moduli spaces of Seifert-fibered spaces induced by rotation in the fibers, which may be of independent interest.
academic

الفعاليات غير القابلة للتمويه Z/p\mathbb{Z}/p على النوى

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

  • معرّف الورقة: 2401.00244
  • العنوان: الفعاليات غير القابلة للتمويه Z/p\mathbb{Z}/p على النوى
  • المؤلف: Imogen Montague
  • التصنيف: math.GT (الطوبولوجيا الهندسية)
  • وقت النشر: تم تقديمه إلى arXiv في 30 ديسمبر 2023
  • رابط الورقة: https://arxiv.org/abs/2401.00244

الملخص

تقدم هذه الورقة بناءً لأمثلة على فعاليات Z/p\mathbb{Z}/p غير قابلة للتمويه على متعددات الطيات الرباعية الدوارة غير المحددة ذات الحدود، لجميع الأعداد الأولية p≥5p\geq 5. بشكل خاص، لكل عدد أولي p≥5p\geq 5 وكل n≥1n\geq 1، توجد فعالية Z/p\mathbb{Z}/p خطية محلية على نواة Gompf N(2pn)N(2pn) لا يمكن تمويهها تحت أي هيكل سلس لـ N(2pn)N(2pn). علاوة على ذلك، تدرس الورقة سلوك هذه الفعاليات تحت نوعين مختلفين من الاستقرار المتساوي (الاستقرار الحر والاستقرار المتجانس تافه)، مما يثبت أن الاستقرار الحر يرضي مبدأ استقرار Wall، بينما الاستقرار المتجانس تافه لا يرضيه.

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

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

  1. توسيع النتائج الكلاسيكية: أثبت Edmonds أن كل متعددة طيات رباعية طوبولوجية مغلقة ومتصلة ببساطة تسمح بفعالية خطية محلية Zp\mathbb{Z}_p، لكن ليست كل هذه الفعاليات سلسة. استخدم Kiyono متباينة Furuta 10/8 لإثبات أن بعض الفعاليات غير قابلة للتمويه.
  2. تحدي الحالات ذات الحدود: بالنسبة لمتعددات الطيات الرباعية ذات الحدود، نسخة مماثلة من نتيجة Edmonds غير معروفة، مما يجعل دراسة الحالة ذات الحدود أكثر صعوبة.
  3. أهمية فضاءات Seifert-الليفية: توفر فضاءات Seifert-الليفية أمثلة مهمة على فعاليات Zp\mathbb{Z}_p، حيث تُعطى الفعالية القياسية بواسطة الدورانات في الألياف.

الدافع البحثي

  1. ملء الفراغات النظرية: توجد نتائج قليلة معروفة في حالة متعددات الطيات الرباعية ذات الحدود حيث b2(X)>0b_2(X) > 0، خاصة للفعاليات عالية الرتبة (p≥5p \geq 5).
  2. دراسة ظواهر الاستقرار: فهم سلوك الفعاليات غير القابلة للتمويه تحت الاستقرار المتساوي، وهو ذو أهمية كبيرة لفهم الخصائص الطوبولوجية لمتعددات الطيات الرباعية.
  3. مبدأ استقرار Wall: دراسة ما إذا كانت أنواع مختلفة من الاستقرار يمكن أن تجعل الفعاليات غير القابلة للتمويه قابلة للتمويه.

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

  1. بناء فعاليات غير قابلة للتمويه: بناء فعاليات Z/p\mathbb{Z}/p غير قابلة للتمويه على متعددات الطيات الرباعية ذات الحدود غير الفارغة و b2(X)>0b_2(X) > 0 لجميع الأعداد الأولية p≥5p \geq 5.
  2. تحليل سلوك الاستقرار: إثبات أن الاستقرار الحر يرضي مبدأ استقرار Wall، بينما الاستقرار المتجانس تافه لا يرضيه.
  3. تطبيق المتغيرات المتساوية κ\kappa: استخدام المتغيرات المتساوية κ\kappa المعرّفة في Mon22 لعرقلة وجود التوسعات السلسة.
  4. الفعالية الهندسية لفضاء نموذج Seiberg-Witten: تحليل الفعالية الهندسية للفعالية S1S^1 المستحثة بواسطة دورانات الألياف على فضاء نموذج Seiberg-Witten على فضاءات Seifert-الليفية.

شرح الطرق

إطار العمل التقني الأساسي

1. المتغيرات المتساوية κ\kappa

يستخدم المؤلف المتغيرات المتساوية κ\kappa المعرّفة في Mon22، K(Y,s,σ)⊂QpK(Y,s,\sigma) \subset \mathbb{Q}_p، وهي مرتبطة بـ Zp\mathbb{Z}_p-الكرات النسبية الدوارة المتجانسة المتساوية (Y,s,σ)(Y,s,\sigma).

2. نظرية Seiberg-Witten

تحلل الورقة بعمق فضاء نموذج Seiberg-Witten على فضاءات Seifert-الليفية، خاصة كيفية رفع الفعالية S1S^1 القياسية إلى الحلول غير القابلة للاختزال بناءً على فضاء النموذج.

النظرية الرئيسية 2.1: بالنسبة لحزمة خطية E=(e;ϵ1,…,ϵn)E = (e; \epsilon_1, \ldots, \epsilon_n) على فضاء Seifert-ليفي YY، يُعطى رقم الدوران بواسطة: rot(E)=1ℓ(g−e+n−22−∑i=1n2ϵi+12αi)\text{rot}(E) = \frac{1}{\ell}\left(g - e + \frac{n-2}{2} - \sum_{i=1}^n \frac{2\epsilon_i + 1}{2\alpha_i}\right)

3. متباينة 10/8 النسبية المتساوية

الاقتراح 3.5: إذا كانت متباينة Manolescu النسبية 10/8 حادة لـ (Y,s,X,t)(Y,s,X,t)، وكان هناك عنصران مختلفان على الأقل κ,κ′∈Kπ(Y,s,σ)\kappa, \kappa' \in K_\pi(Y,s,\sigma) يرضيان ∣κ∣=∣κ′∣=κ(Y,s)|\kappa| = |\kappa'| = \kappa(Y,s)، فإن σ\sigma لا يمكن أن يتسع إلى فعالية Zp\mathbb{Z}_p سلسة متجانسة تافهة محفوظة tt على XX.

طريقة البناء

1. بناء الفعاليات الخطية المحلية

استخدام طريقة Edmonds و Kwasik-Lawson، من خلال الخطوات التالية:

  • البدء من الفعالية الخطية المحلية القياسية على متعددة طيات رباعية طوبولوجية مغلقة ومتصلة ببساطة
  • بناء تحديد متساوي متجانس من (Y,ρp)(Y,\rho_p) إلى S3S^3 مزودة بفعالية عدسة معممة

2. تحديد Z[Zp]\mathbb{Z}[\mathbb{Z}_p] h

الاقتراح 4.10: بالنسبة لـ p≥5p \geq 5 وجميع n≥1n \geq 1، يوجد تحديد Z[Zp]\mathbb{Z}[\mathbb{Z}_p] h طوبولوجي من Q(p;2,3,12pn−1)Q(p; 2,3,12pn-1) إلى L(p;−2,3)L(p;-2,3).

النتائج الرئيسية

النظرية 1.2 (عرقلة التوسع السلس)

بالنسبة للحالات التالية، لا يمكن توسيع الفعالية السلسة الفعالة Zp\mathbb{Z}_p إلى فعالية Zp\mathbb{Z}_p سلسة متجانسة تافهة:

  1. p≥3p \geq 3، XX متماثل الشكل لنواة Gompf N(2n)N(2n) أو استقرارها
  2. p≥3p \geq 3، XX متماثل الشكل لـ P(2n)P(2n) أو استقرارها
  3. p≥3,p≠5p \geq 3, p \neq 5، XX متماثل الشكل لليف Milnor M(2,3,11)M(2,3,11)
  4. p≥3p \geq 3، XX متماثل الشكل لليف Milnor M(2,3,7)M(2,3,7)

النظرية 1.6 (سلوك الاستقرار)

بالنسبة لكل عدد أولي p≥5p \geq 5 و n≥1n \geq 1، الفعاليات غير القابلة للتمويه Zp\mathbb{Z}_p τp,n\tau_{p,n} و τp,n′\tau'_{p,n} تبقى غير قابلة للتمويه بعد MM استقرار متجانس تافه و NN استقرار حر عندما M≥0M \geq 0 و 0≤N≤2n−20 \leq N \leq 2n-2.

النظرية 1.5 (مبدأ استقرار Wall)

تحت الشروط المناسبة، يوجد N≥0N \geq 0 بحيث يكون الاستقرار الحر NN-مضاعف τN\tau_N سلسًا بالنسبة لهيكل سلس معين على متعددة الطيات المستقرة.

نقاط الابتكار التقني

1. حساب رقم الدوران

توفر الورقة صيغة صريحة لرقم الدوران لحلول Seiberg-Witten على فضاءات Seifert-الليفية، وهو أمر حاسم لفهم الفعالية الهندسية S1S^1.

2. حساب الحدود المتساوية

الاقتراح 5.3: يعطي صيغة صريحة للحد المتساوي nL(Y,ρ^r,g,∇∞)n_L(Y,\hat{\rho}_r,g,\nabla_\infty)، يتضمن مجاميع Dedekind و Dedekind-Rademacher.

3. عدم تغير الاستقرار

اللمة 5.1: إثبات عدم تغير S⃗(X,τ)\vec{S}(X,\tau) تحت الاستقرار المتجانس تافه والاستقرار الحر.

التحقق التجريبي

أمثلة الحسابات المحددة

توفر الورقة حسابات محددة للمتغيرات المتساوية κ\kappa على عائلة كرات Brieskorn Σ(2,3,6n±1)\Sigma(2,3,6n \pm 1):

الاقتراح 3.2: بالنسبة لـ Σ(2,3,12n−5)\Sigma(2,3,12n-5) و Σ(2,3,12n−1)\Sigma(2,3,12n-1)، يعطي وصفًا كاملاً لمجموعة المتغيرات المتساوية κ\kappa، يتضمن:

  • حالة المجموعة الفردية عندما تكون (Y,ρp)(Y,\rho_p) انقسام Floer KGp∗K\mathcal{G}_p^*
  • مجموعات متعددة العناصر في الحالات غير المنقسمة

النتائج العددية

الاقتراح 5.5: بالنسبة لجميع الأعداد الأولية p≥5p \geq 5 و n≥1n \geq 1:

\frac{p^2 \mp 14p + 13}{144p} & \text{إذا } p \equiv \pm 1 \pmod{12} \\ \frac{p^2 \pm 50p + 13}{144p} & \text{إذا } p \equiv \pm 5 \pmod{12} \end{cases}$$ ## الأعمال ذات الصلة ### التطور التاريخي 1. **Edmonds (1987)**: أثبت وجود فعاليات خطية محلية $\mathbb{Z}_p$ على متعددات الطيات الرباعية الطوبولوجية المغلقة والمتصلة ببساطة 2. **Kiyono (2011)**: استخدم متباينة Furuta لإثبات عدم قابلية تمويه بعض الفعاليات 3. **Konno-Miyazawa-Taniguchi (2021)**: درسوا حالة $p=2$ للتقابلات غير القابلة للتمويه ### التقنيات ذات الصلة 1. **Baraglia-Hekmati (2022)**: أثبتوا أن الفعاليات $\mathbb{Z}_p$ القياسية على كرات متجانسة Seifert-الليفية لا يمكن أن تتسع على متعددات طيات رباعية معينة 2. **Anvari-Hambleton (2016)**: قدموا أمثلة على فعاليات غير قابلة للتمويه على متعددات طيات رباعية قابلة للانكماش ## الخلاصة والنقاش ### الاستنتاجات الرئيسية 1. بناء فعاليات $\mathbb{Z}/p$ غير قابلة للتمويه على متعددات الطيات الرباعية ذات الحدود لجميع الأعداد الأولية $p \geq 5$ 2. إثبات أن الاستقرار المتجانس تافه لا يرضي مبدأ استقرار Wall 3. الاستقرار الحر يرضي مبدأ استقرار Wall، لكن عدد الاستقرارات يمكن أن يكون كبيرًا بشكل تعسفي ### القيود 1. **الحالات الاستثنائية**: حالة الاستثناء $(n,p) = (1,5)$ تتطلب معالجة خاصة 2. **التعقيد الحسابي**: حساب الحدود المتساوية يتضمن مجاميع نظرية أعداد معقدة 3. **شروط الحدود**: الطريقة تنطبق بشكل أساسي على أنواع محددة من حدود Seifert-الليفية ### الاتجاهات المستقبلية 1. **حالات الحدود العامة**: دراسة الفعاليات غير القابلة للتمويه على متعددات الطيات الرباعية ذات الحدود الأكثر عمومية 2. **الأعداد الأولية المنخفضة**: توسيع النتائج إلى حالات $p = 2, 3$ 3. **توسيع التطبيقات**: تطبيق التقنيات على مشاكل هندسية أخرى ## التقييم المتعمق ### المميزات 1. **العمق التقني**: دمج ماهر لنظرية Seiberg-Witten والنظرية K المتساوية وطوبولوجيا متعددات الطيات الرباعية 2. **الاكتمال**: توفير إطار عمل كامل من البناء النظري إلى الحسابات المحددة 3. **الابتكار**: أول دراسة منهجية لسلوك الاستقرار للفعاليات ذات الرتبة العالية 4. **الدقة الحسابية**: توفير صيغ عددية محددة وطرق حسابية ### أوجه القصور 1. **عتبة تقنية عالية**: يتطلب خلفية عميقة في الطوبولوجيا التفاضلية ونظرية المقياس 2. **الخصوصية**: النتائج محدودة بشكل أساسي بحدود Seifert-الليفية المحددة 3. **التعقيد الحسابي**: الحسابات الفعلية في التطبيقات معقدة جدًا ### التأثير 1. **المساهمة النظرية**: توفير أدوات جديدة لدراسة الفعاليات على متعددات الطيات الرباعية 2. **المنهجية**: تطبيق المتغيرات المتساوية $\kappa$ له آفاق واسعة 3. **حل المشاكل**: حل مشكلة مفتوحة مهمة في هذا المجال ### السيناريوهات المناسبة تنطبق هذه الطريقة بشكل خاص على: 1. دراسة الفعاليات على متعددات الطيات الرباعية ذات حدود Seifert-الليفية 2. تحليل مشاكل التمويه الطوبولوجي لمتعددات الطيات الرباعية 3. فهم ظواهر الاستقرار المتساوي ## المراجع تستشهد الورقة بـ 42 مرجعًا ذا صلة، تغطي أعمالاً مهمة في طوبولوجيا متعددات الطيات الرباعية، نظرية Seiberg-Witten، والفعاليات على مجالات متعددة، مما يوفر أساسًا نظريًا متينًا للبحث.