A group has normal rank (or weight) greater than one if no single element normally generates the group. The Wiegold problem from 1976 asks about the existence of a finitely generated perfect group of normal rank greater than one. We show that any free product of nontrivial left-orderable groups has normal rank greater than one. This solves the Wiegold problem by taking free products of finitely generated perfect left-orderable groups, a plethora of which are known to exist. We obtain our estimate of normal rank by a topological argument, proving a type of spectral gap property for an unsigned version of stable commutator length. A key ingredient in the proof is an intricate new construction of a family of left-orders on free products of two left-orderable groups.
- معرّف الورقة: 2510.26073
- العنوان: مشكلة Wiegold والحاصل الحر للمجموعات القابلة للترتيب من اليسار
- المؤلفون: Lvzhou Chen (جامعة بوردو) و Yash Lodha (جامعة بوردو)
- التصنيف: math.GR (نظرية المجموعات)، math.GT (الطوبولوجيا الهندسية)
- تاريخ النشر: 30 أكتوبر 2025 (نسخة arXiv المسبقة)
- رابط الورقة: https://arxiv.org/abs/2510.26073
الرتبة الطبيعية (normal rank) أو الوزن (weight) للمجموعة الأكبر من 1 يعني أنه لا يوجد عنصر واحد يمكنه توليد المجموعة بشكل طبيعي. تسأل المشكلة التي طرحها Wiegold عام 1976 عما إذا كانت هناك مجموعات كاملة (perfect groups) منتهية التوليد برتبة طبيعية أكبر من 1. تثبت هذه الورقة أن أي حاصل حر غير تافه للمجموعات القابلة للترتيب من اليسار له رتبة طبيعية أكبر من 1، وبالتالي تحل مشكلة Wiegold بأخذ الحاصل الحر لمجموعات كاملة قابلة للترتيب من اليسار منتهية التوليد. يحصل المؤلفون على تقديرات الرتبة الطبيعية من خلال حجج طوبولوجية، مما يثبت نسخة غير موقعة من خاصية الفجوة الطيفية لطول المبدل المستقر. العنصر الرئيسي في الإثبات هو بناء جديد ماهر لعائلات الترتيب الأيسر على الحاصل الحر لمجموعتين قابلتين للترتيب من اليسار.
المفهوم الأساسي في نظرية المجموعات هو الرتبة الطبيعية (normal rank) للمجموعة، المعرّفة بأنها العدد الأساسي للمجموعة الأصغر من العناصر المطلوبة لتوليد المجموعة بشكل طبيعي. بالنسبة للحاصل الحر G=A⋆B، تكون المشكلة طويلة الأمد: في أي الشروط تكون الرتبة الطبيعية أكبر من 1؟
- الأهمية النظرية: تسأل مشكلة Wiegold المطروحة عام 1976 (المشكلة FP14 في BMS02، المشكلة 5.52 في KM23) عما إذا كانت هناك مجموعات كاملة منتهية التوليد برتبة طبيعية أكبر من 1. أحرزت هذه المشكلة تقدماً ضئيلاً منذ طرحها.
- التطبيقات الطوبولوجية: الرتبة الطبيعية ترتبط ارتباطاً وثيقاً بطوبولوجيا 3-متعددات الطيات. الرتبة الطبيعية لـ π1(M) هي حد أدنى لـ عدد جراحة Dehn (Dehn surgery number) لـ 3-متعددة الطيات M. تنص نظرية Lickorish-Wallace على أن أي 3-متعددة طيات مغلقة موجهة متصلة يمكن الحصول عليها من خلال جراحة Dehn على بعض الروابط متعددة الفروع، والقيمة الدنيا لـ n هي عدد جراحة Dehn.
- التخمينات ذات الصلة:
- تخمين Gordon: بالنسبة للحاصل الحر G=⋆i∈IAi حيث ∣I∣≥3، الرتبة الطبيعية دائماً أكبر من 1
- تخمين Scott-Wiegold: الحالة الخاصة عندما تكون العوامل مجموعات دورية محدودة (أثبتها Howie)
- تخمين المجموع الثلاثي: عدد جراحة Dehn للمجموع المتصل لثلاث 3-متعددات طيات ليست S3 أكبر من 1
- بالنسبة للحاصل الحر G=A⋆B، العناصر الملتوية (torsion) قد تؤدي إلى رتبة طبيعية تساوي 1. على سبيل المثال، في G=Z/2⋆Z/3، العنصر w=ab يولد المجموعة بشكل طبيعي.
- منذ الثمانينيات، النتائج المعروفة تتطلب شروطاً أقوى: كل عامل حر يجب أن يكون قابلاً للإشارة محلياً (locally indicable)، لكن هذه المجموعات لا يمكن أن تكون كاملة.
- يُعتقد أن النتيجة تصح تحت الشرط الخالي من الالتواء (torsion-free)، لكن تفتقر تقنيات الإثبات.
تحل هذه الورقة المشكلة تحت شرط القابلية للترتيب من اليسار (left-orderable). المجموعة G قابلة للترتيب من اليسار إذا كان هناك ترتيب كامل < بحيث f<g يستلزم hf<hg. هذا الشرط:
- أقوى من شرط الخلو من الالتواء
- أضعف من شرط القابلية للإشارة محلياً
- يشمل فئات غنية من المجموعات: المجموعات الحرة، مجموعات السطح، مجموعات الضفائر، المجموعات الأساسية لـ 3-متعددات الطيات الزائدية، وغيرها
- توجد أمثلة وفيرة من المجموعات الكاملة القابلة للترتيب من اليسار منتهية التوليد
- حل مشكلة Wiegold: إثبات وجود مجموعات كاملة منتهية التوليد (حتى منتهية التقديم) برتبة طبيعية أكبر من 1 (النظرية A).
- تقديرات الرتبة الطبيعية للحاصل الحر: إثبات أن أي حاصل حر غير تافه G=A⋆B لمجموعات قابلة للترتيب من اليسار له رتبة طبيعية أكبر من 1 (النظرية B). بشكل أدق، بالنسبة لأي w∈G غير مترافق إلى عنصر في A، الخريطة الطبيعية A↪A⋆B تستحث حقناً A↪(A⋆B)/⟨⟨w⟩⟩.
- خاصية الفجوة الطيفية: إنشاء خاصية الفجوة الطيفية للنسخة غير الموقعة من طول المبدل المستقر (النظرية C). بالنسبة لسطح w-مقبول بحدود غير قابلة للضغط S (بدون مكونات كرة 2 أو قرص)، لدينا −χ(S)≥deg(S).
- بناء الكومات النسبية: تطوير مفهوم الكومات النسبية (relative stacking) ونظرية الوجود (النظرية E)، وهي طريقة ماهرة لبناء ترتيبات خاصة على الحاصل الحر.
- طريقة الترتيبات الديناميكية: إدخال تقنية الترتيبات الديناميكية (dynamical arrangements)، التي تبني بشكل منهجي تأثيرات المجموعات التي تحقق معادلات وعدم معادلات محددة.
الهدف: إثبات أنه بالنسبة للحاصل الحر G=A⋆B لمجموعات قابلة للترتيب من اليسار، إذا كان w∈G غير مترافق إلى عنصر في A، فإن صورة A في المجموعة الحاصلة (A⋆B)/⟨⟨w⟩⟩ غير تافهة.
الاستراتيجية: افترض وجود a∈A∖{id} بحيث a∈⟨⟨w⟩⟩، أي يوجد معادلة:
a=(g1wn1g1−1)(g2wn2g2−1)⋯(gkwnkgk−1)
حيث k∈Z+، gi∈G، ni=0. استخدم حجج طوبولوجية وديناميكية لاستخلاص تناقض.
ينقسم الإثبات إلى جزأين رئيسيين:
تعريف السطح المقبول: بالنسبة لـ w∈G، الخريطة f:S→X (حيث X هي فضاء K(G,1)) تسمى سطح w-مقبول إذا:
- كل مكون حدود إما يمثل فئة مترافقة من wn (n=0) أو فئة مترافقة من Ai
- يوجد على الأقل مكون حدود واحد من نوع w
الدرجة: مكون حدود w يمثل wn له درجة ∣n∣، ودرجة السطح S هي deg(S) وهي مجموع درجات جميع مكونات حدود w.
عدم قابلية الضغط على الحدود: السطح (f,S) قابل لضغط الحدود إذا كان هناك سطح فرعي مدمج P⊂S متماثل مع كرة ثلاث ثقوب (pair of pants)، حيث يمثل حدان من حدوده على حدود w العنصرين wn و w−m على التوالي، والحد الثالث يمثل wm−n داخل S.
الشكل الطبيعي المبسط: أي سطح w-مقبول يمكن تبسيطه إلى شكل طبيعي بسيط، أي تحليل إلى اتحاد قطع أقراص (disk-pieces) وقطع حلقات (annulus-pieces). لكل قطعة P:
- التكافؤ (valence) d(P): عدد أجزاء حدود المضلع
- عدد تغييرات الإشارة sc(P): عدد الأجزاء المتسقة (consistent segments)
صيغة الخاصية الأويلرية: بالنسبة لسطح S بشكل طبيعي بسيط:
−χ(S)=∑P[2d(P)−χ(P)]
تعريف الكومات النسبية: بالنسبة لكلمة مختزلة دورياً w=a1b1⋯anbn، التأثير σ:G→Homeo+(R) والنقطة x∈R تشكل كومات نسبية إذا كانت مدار x تحت wΩ(w,x)={x⋅σ(a1b1⋯aibi)∣1≤i≤n}∪{x⋅σ(a1b1⋯ai)∣1≤i≤n}مستقرة، أي:
- كل عنصر في Ω(w,x) يظهر مرة واحدة بالضبط
- x⋅σ(w)=x
الوجود: بالنسبة لـ w التي ليست قوة حقيقية (not a proper power)، الكومات النسبية موجودة.
من الكومات النسبية نحصل على تقييم λ:Jw→R (حيث Jw هي مجموعة نقاط الالتحام على Sw1)، والسحب العكسي إلى حدود السطح يعطي λ^:JS→R. هذا يعرّف التوجيه λ^ لكل قوس γ∈F.
اللمة الرئيسية 4.5: العدد الكلي للأجزاء غير المتسقة (inconsistent segments) على الأقل 2deg(S)، وبالتالي العدد الكلي للأجزاء المتسقة على الأكثر (∣w∣−2)deg(S).
اللمة الرئيسية 4.6: بالنسبة لكل قطعة P، عدد تغييرات الإشارة sc(P) زوجي، و sc(P)>0 للقطع الدائرية.
النتيجة 4.7: sc(P)≥2χ(P).
بدمج اللمات أعلاه:
−χ(S)=∑P[2d(P)−χ(P)]≥21∑P[d(P)−sc(P)]≥21[∣w∣deg(S)−(∣w∣−2)deg(S)]=deg(S)
الفترات المتسلسلة (catenation): مجموعة مرتبة (I1,J1,…,In,Jn)، حيث لكل فترة طول 2، والنقاط الطرفية على Z، تحقق شروط التسلسل المحددة.
اللمات 5.9 و 5.10: بالنسبة لكلمة مختزلة w=a1b1⋯akbk والفترات المتسلسلة، يمكن بناء تأثير بحيث صورة نقطة محددة تحت w تقع في نطاقات محددة.
الحل المنهجي: من خلال بناء الانفجار (blow-up)، يتم اختزال حل أنظمة المعادلات وعدم المعادلات إلى بناء تأثيرات تحقق شروط احتواء وعدم تقاطع محددة.
اللمة 5.3: إذا كانت الأنظمة المحدودة Λ1,…,Λm كل منها قابلة للحل، فإن النظام المركب Ξ(Λ1,…,Λm) قابل للحل.
القضية 5.5: بالنسبة لـ w غير حقيقية القوة وأي بادئة حقيقية w1، يوجد تأثير τ ونقطة x بحيث x⋅τ(w)=x لكن x⋅τ(w1)=x.
ينقسم الإثبات إلى حالتين:
- الحالة 1: w1=a1b1⋯ak
- الحالة 2: w1=a1b1⋯akbk (يتطلب bk=bn، باستخدام شرط عدم كون القوة حقيقية)
من خلال بناء ترتيبات ديناميكية مصممة بعناية، يتم بناء فترة مغلقة I بحيث I⋅σ(w)⊆I لكن (I⋅σ(w1))∩I=∅، وبنظرية القيمة الوسيطة نحصل على نقطة عدم حركة مطلوبة.
هذه ورقة رياضيات نظرية بحتة، لا تتضمن إعدادات تجريبية أو مجموعات بيانات أو تجارب عددية. جميع النتائج تم الحصول عليها من خلال إثبات رياضي صارم.
لا تحتوي الورقة على نتائج تجريبية، جميع الاستنتاجات هي نظريات نظرية.
- Brodskĭı (1984)، Howie (1981)، Short (1983): أثبتوا بشكل مستقل أن النظرية B تصح عندما يكون كل عامل حر قابلاً للإشارة محلياً. لكن المجموعات القابلة للإشارة محلياً لا يمكن أن تكون كاملة.
- تخمين Howie (Kervaire-Laudenbach): بالنسبة لـ G=A⋆Z، إذا كان p(w)=0 (حيث p:G→Z هي الإسقاط)، فإن w لا يولد G بشكل طبيعي.
- Gerstenhaber-Rothaus (1962): الإثبات عندما تكون A متبقية محدودة
- Klyachko (1993): الإثبات عندما تكون A خالية من الالتواء
- Chen (2025): طريقة إثبات جديدة
- Duncan-Howie (1991): مشكلة الجنس للمنتجات أحادية العلاقة
- Chen (2018)، Chen-Heuer (2019)، Heuer (2019): فجوات طيفية scl في الحواصل الحرة وأشكال المجموعات
- تدرس هذه الورقة نسخة الدرجة غير الموقعة، التي تتطلب شرط ترتيب أيسر أقوى
- Gordon (1983): تخمينات حول عدد جراحة Dehn
- Auckly (1997)، Hom-Karakurt-Lidman (2016)، Liu-Piccirillo (2024): تقديرات حدود عدد جراحة Dehn
- تخمين L-space: العلاقة بين القابلية للترتيب من اليسار والمجموعات الأساسية لـ 3-متعددات الطيات
- Osin-Thom (2013): تخمين يربط الرتبة الطبيعية برقم Betti الأول l2
- Monod-Ozawa-Thom (2012): نسخة من مشكلة Wiegold في irng
- النظرية A: توجد مجموعات كاملة منتهية التوليد (حتى منتهية التقديم) برتبة طبيعية أكبر من 1. هذا يحل بالكامل المشكلة التي طرحها Wiegold عام 1976.
- النظرية B: أي حاصل حر غير تافه G=A⋆B لمجموعات قابلة للترتيب من اليسار له رتبة طبيعية أكبر من 1.
- النظرية C: إنشاء خاصية الفجوة الطيفية: بالنسبة لسطح w-مقبول بحدود غير قابلة للضغط S (بدون مكونات كرة أو قرص)، −χ(S)≥deg(S).
- النتيجة 6.1: إذا كان u∈G=A⋆B غير مترافق إلى عنصر في A أو B وليس قوة حقيقية، فإن صورة u في G/⟨⟨uk⟩⟩ لها رتبة k لأي k≥2.
- تقييد الشروط: النتائج تتطلب أن تكون العوامل الحرة قابلة للترتيب من اليسار. بينما يشمل هذا فئات واسعة من المجموعات، إلا أنه لا يغطي جميع المجموعات الخالية من الالتواء.
- عدد الحواصل الحرة: النظرية B تتعامل فقط مع حالة عاملين. بالنسبة لثلاثة أو أكثر من العوامل، تخمين Gordon لا يزال مفتوحاً.
- مشكلة القابلية للترتيب من اليمين: السؤال 6.2 يسأل عما إذا كانت المجموعة الحاصلة G/⟨⟨w⟩⟩ خالية من الالتواء أو قابلة للترتيب من اليمين (عندما تكون w ليست قوة حقيقية). تم حل هذا في حالة المجموعات القابلة للإشارة محلياً بواسطة Howie (1982)، لكنه لا يزال غير معروف في حالة المجموعات القابلة للترتيب من اليسار.
- البناء: إثبات وجود الكومات النسبية بناء، لكن عملية البناء معقدة وليست سهلة التطبيق الصريح.
- السؤال 1.1: هل الرتبة الطبيعية للحاصل الحر لـ n مجموعة قابلة للترتيب من اليسار غير تافهة على الأقل n؟ الإجابة الإيجابية ستستلزم أن عدد جراحة Dehn للمجموع المتصل لـ n من 3-متعددات الطيات على الأقل n.
- السؤال 6.2: دراسة خلو المجموعة الحاصلة G/⟨⟨w⟩⟩ من الالتواء والقابلية للترتيب من اليمين تحت افتراض الترتيب الأيسر.
- التعميم على أشكال المجموعات: تعميم طرق الكومات النسبية والترتيبات الديناميكية على إعدادات أشكال مجموعات أكثر عمومية.
- الارتباط برقم Betti الأول l2: استكشاف إمكانية تخمين Osin-Thom في حالة المجموعات القابلة للترتيب من اليسار.
- الجوانب الحسابية: تطوير خوارزميات للحكم على ما إذا كان عنصر معين في حاصل حر لمجموعات قابلة للترتيب من اليسار يولد بشكل طبيعي.
- اختراق كبير: حل مشكلة مفتوحة لمدة 50 سنة تقريباً (مشكلة Wiegold)، وهو تقدم مهم في نظرية المجموعات.
- ابتكار الطريقة:
- مفهوم الكومات النسبية يحول بماهرة المشكلة الجبرية إلى مشكلة ديناميكية
- تقنية الترتيبات الديناميكية توفر أداة جديدة منهجية لبناء تأثيرات المجموعات
- الدمج المثالي بين الحجج الطوبولوجية (تقديرات الخاصية الأويلرية) والحجج الديناميكية (بناء تأثيرات المجموعات)
- عمق تقني:
- إدخال التوجيه λ^ وتحليل عدد تغييرات الإشارة يظهر رؤى هندسية عميقة
- طريقة الانفجار والحل المنهجي (اللمة 5.3) لها عمومية
- التحليل الدقيق لحالتي نهاية البادئة (في A أو B) يظهر دقة
- التأثير الواسع:
- توفير أمثلة جديدة وفيرة لمجموعات كاملة برتبة طبيعية أكبر من 1
- تطبيق مباشر على طوبولوجيا 3-متعددات الطيات (عدد جراحة Dehn)
- قد تنطبق طريقة الكومات النسبية على مشاكل نظرية مجموعات أخرى
- جودة الكتابة: الورقة منظمة بوضوح، تنتقل تدريجياً من أمثلة بسيطة (مثال 5.8) إلى الحالة العامة، مما يسهل الفهم.
- التعقيد التقني:
- إثبات وجود الكومات النسبية (القسم 5) يحتوي على تفاصيل تقنية كثيرة، خاصة معالجة الحالة 2
- بناء الترتيبات الديناميكية يتطلب تصميماً دقيقاً للفترات المتسلسلة، يفتقر إلى الحدس
- بعض اللمات (مثل اللمة 4.3) إثباتاتها صحيحة لكن تقنية جداً
- تقييد الشروط:
- القابلية للترتيب من اليسار هي شرط وسيط بين الخلو من الالتواء والقابلية للإشارة محلياً، والحالة المثالية تتطلب فقط الخلو من الالتواء
- التعامل فقط مع حاصل حر عاملين، الحالة متعددة العوامل لا تزال مفتوحة
- القابلية للحساب:
- بينما البناء نظري، لا توجد مناقشة لكيفية حساب أو التحقق من ما إذا كانت مجموعة معينة تحقق الشروط
- بناء الكومات النسبية الصريح قد يكون معقداً جداً في أمثلة محددة
- قابلية التعميم:
- ما إذا كانت الطريقة قابلة للتعميم على توسيعات HNN وأشكال مجموعات أكثر عمومية غير واضح
- يمكن استكشاف العلاقة مع النسخة الموقعة من طول المبدل المستقر بشكل أعمق
- الأهمية النظرية:
- حل مشكلة طويلة الأمد، سيتم الاستشهاد به في كتب نظرية المجموعات
- طرق الكومات النسبية والترتيبات الديناميكية قد تصبح أدوات قياسية لدراسة تأثيرات المجموعات
- توفير منظور جديد لدراسة الرتبة الطبيعية
- القيمة التطبيقية:
- مساهمة مباشرة في دراسة عدد جراحة Dehn لطوبولوجيا 3-متعددات الطيات
- قد تلهم أبحاثاً حول تخمينات ذات صلة مثل تخمين L-space
- أمثلة المجموعات الكاملة القابلة للترتيب من اليسار المبنية يمكن استخدامها في أبحاث أخرى
- قابلية التكرار:
- الإثبات نظري بحت، يمكن التحقق منه خطوة بخطوة
- صيغة النظريات الرئيسية واضحة، سهلة الاستشهاد
- التفاصيل التقنية كاملة وإن كانت معقدة
- أبحاث نظرية المجموعات:
- دراسة الرتبة الطبيعية للحواصل الحرة وتوسيعات HNN وأشكال المجموعات
- بناء مجموعات كاملة بخصائص محددة
- دراسة نظرية البنية للمجموعات القابلة للترتيب من اليسار
- الطوبولوجيا الهندسية:
- تقدير عدد جراحة Dehn لـ 3-متعددات الطيات
- دراسة المجموعات الأساسية للفضاءات ذات الخصائص الطوبولوجية المحددة
- تحليل المجموعات الفرعية للسطح والمجموعات أحادية العلاقة
- الأنظمة الديناميكية:
- بناء تأثيرات المجموعات بخصائص ديناميكية محددة
- دراسة مجموعات التماثل على الخط الحقيقي
- تحليل العلاقة بين البنية الترتيبية وتأثيرات المجموعات
- نظرية المجموعات التوافقية:
- دراسة المعادلات وعدم المعادلات في المجموعات
- تحليل مشاكل الكلمات والترافق والمتغيرات
- بناء أمثلة مضادة وحالات مرضية
الملخص: هذه ورقة عالية الجودة تحل مشكلة مفتوحة مهمة، وتدخل تقنيات مبتكرة مثل الكومات النسبية والترتيبات الديناميكية، وتدمج بماهرة الطوبولوجيا والأنظمة الديناميكية ونظرية المجموعات. بينما التفاصيل التقنية معقدة، الطرق لها عمومية وعمق، وللورقة تأثير مهم على نظرية المجموعات والطوبولوجيا الهندسية. المساهمة الرئيسية للورقة ليست فقط حل مشكلة Wiegold، بل تطوير أدوات جديدة قد تنطبق على مشاكل أوسع.