1651 ورقة بحثية
تعمم هذه الورقة بناء جبرات "جويس" (Joyce vertex algebras) —التي استُخدمت في الأصل لصيغ عبور الجدران في الهندسة التعدادية الخطية— لتشمل الإعدادات غير الخطية، مما يوفر إطارًا لدراسة الثوابت مثل ثوابت DT4 وثوابت التعداد في نظرية K من خلال بنيات موديول جديدة.
تؤسس هذه الورقة إطار عمل لـ "الاستوائية" (tropicalization) يرفع العلاقة المعروفة بين فضاء الموديولي لأسطح ريمان وفضاءات الموديولي الاستوائية إلى تغطياتهما الخاصة، وتحديداً عبر تحديد فضاء "كولر-فوغت مان" الخارجي (Culler-Vogtmann Outer space) باعتباره الاستوائية لمتشعب معقد مستحدث يحدد بارامترات مقابض المعقدات المستقرة، مما يوحد مختلف الكائنات من النظرية الجماعية الهندسية وطوبولوجيا الأسطح لكل من الحالات المثقوبة وغير المثقوبة.
تثبت هذه الورقة نظرية صرامة تنص على أن أي سطح فائق دوري من فئة يدعم مقياس منارة اتجاهي يجب أن يكون مجموعة الصفر لطورية لمتعدد حدود "لي-يانغ" جوهري، مما يوفر توصيفاً هندسياً لهذه المقاييس من خلال منظور تصنيف شبه البلورات فورييه.
توسع هذه الورقة نظرية "التروبيكال" الطوري (phase tropicalization) من الإطار الأبلي (abelian) الكلاسيكي إلى المجموعات غير الأبلية، وتحديداً من خلال حسم حالة وتعميم نتائج المنحنيات عبر إدخال أدوات تقييمية تثبت نسخة تآلفية من مبرهنة كابرانوف وتكشف عن البنى الدالية والمتعددة الحدود لحلقات التقييم المتدرجة.
تُثبت هذه الورقة نظرية تضمين سوبوليف للفضاءات المعرفة بمقاييس الدفع الأمامي ذات الكثافات تحت التحليلية عالمياً، وتحديداً من خلال إثبات التضمين في فضاء الدوال لبتس الداخلية وتطبيق النتيجة على نظرية النواة.
تقدم هذه الورقة صياغة خالية من البديهيات في لغة Lean 4 لجوارات المنحنيات التوافقية لمتعددات فلوج الأفينية من النوع عبر ترميزها من خلال نظام كوكسيتر لمجموعة دييدرال اللانهائية، مما يوفر في النهاية إطاراً موثقاً وقابلاً للحوسبة بالكامل لهذه الجوارات.
تتقصى هذه الورقة البحثية تنوع الرنين للحزم المتجهة من الرتبة الثانية فوق منحنى إهليلجي عبر تحليل التراصف التسطيحي للرنين والمقاطع الخطية المقابلة لمتنوع غراسمان .
تثبت هذه الورقة البحثية حدسية الهجين المختلط للمخطط الأبلي الموحد — وهي نتيجة توحد عدة معضلات كبرى تشمل حدسيات أندريه-أورط، وأندريه-بينك-زانير، ومانين-مامفورد، ومورديل-لانغ — وذلك عبر توظيف نهج مبتكر يجمع بين التوزيع المتساوي والمنطق المحدود (o-minimality) بدلاً من استراتيجية بيلا-زانير التقليدية.
توسع هذه الورقة دراسة "المنحنيات الافتراضية المُنقّطة" من جنس الصفر إلى جنس عشوائي عبر تقديم أطر نظرية مجموعات وفئات جديدة لإرساء معايير تحدد متى تتوافق مقاطع المجموعات الأساسية الحسابية مع النقاط العقلانية.
تقترح هذه الورقة تحسينين لعملية إزالة المكمم القائمة على التفكيك الجبري الأسطواني (CAD) للصيغ ذات القيود المساواتية المتعددة: أحدهما يوفر تقسيمات مفصلة قائمة على المعلمات وتعبيرات صريحة للمجاهيل، والآخر يحسن الكفاءة الحسابية من خلال تحسين خطوة الإسقاط المساواتي الثانية.