1774 ورقة بحثية
تتقصى هذه الورقة سلوك عائق براور-مانين للحزم النورمية من النوع $(p, mp)p$، بينما تبين أن هذه الشروط مثالية بشكل عام من خلال بناء مثال مضاد حيث يستمر العائق عبر توسعة تربيعية.
تقدم هذه الورقة برهاناً توافقياً بحتاً، يعتمد على التطبيقات المتكررة لمتراجحة كوشي-شفارتز والتحدب المنفصل بدلاً من تحليل فوريه، من أجل متباينة طاقة جمعية معممة في الزمر الآبلية، مع توسيع النتيجة أيضاً لتشمل الإعدادات غير الآبلية ونظائر مجموع المجموعات.
تقدم هذه الورقة ثوابت همبرت (Humbert invariants) منقحة للأسطح الأبلية فائقة الخصوصية (superspecial abelian surfaces) لتطوير خوارزميات فعالة لتماثل الاستقطاب والتصنيف الهندسي، مع وضع حدود نظرية ورؤى تجريبية جديدة للتشفير القائم على التماثل (isogeny-based cryptography).
تُثبت هذه الورقة أن تكاملات الرسم البياني الكنسية الأولية تتطابق مع تكاملات محددة في حيز الموضع من التكميم التشوهي، مما يثبت أن هذه التكاملات تؤول إلى قيم زيتا متعددة أحادية القيمة، وأن كل قيمة من هذا النوع يمكن التعبير عنها كتركيبة خطية نسبية من فترات فاينمان.
تقدم هذه الورقة صياغة رسمية بلغة Lean 4، تم التحقق منها بالكامل عبر النواة (kernel)، تثبت أن أي تغطية منتهية للأعداد الصحيحة بمقاييس فردية متمايزة أكبر من 1 يجب أن يكون لها مضاعف مشترك أصغر يتجاوز 10,000، مما يؤسس لاستبعاد موثق آلياً لمسألة إيردوس-سيلريدج الخاصة بالتغطية الفردية دون الاعتماد على أدوات حل حسابية غير متحقق منها.
تُنشئ هذه الورقة حزمة "فيردير" ذاتية الثنائية (Verdier self-dual sheaf) منحرفة على فضاء "موديولاي" (moduli stack) لـ -bundles فوق منحنى "فارج-فونتين" (Fargues-Fontaine curve) باستخدام "أكوام إيغوسا" (Igusa stacks) ونظرية "فارج-شولز" (Fargues-Scholze) لاستعادة كوهومولوجيا التقاطع لمتنوعات "شيمورا" من نوع "PEL" ذات المدمج الأدنى، وبذلك تُثبت صيغة "مانتوفان" الضرب (Mantovan product formula)، ونتائج تلاشي التواء (torsion-vanishing results)، وعلاقات "آيخلر-شيمورا" (Eichler-Shimura relations).
تقدم هذه الورقة مفهوم الأعداد الأولية الحساسة للوحدة المترجمة بمقدار ، وتنشئ متتابعة حسابية تحتوي على متتاليات طويلة بشكل تعسفي من هذه الأعداد الأولية التي هي أيضاً أعداد "براير" (Brier numbers)، وتحدد أول عدد أولي معروف يحقق هذه الخاصية لجميع الأعداد الصحيحة غير السالبة .
تحل هذه الورقة مسألة إيردوش رقم 443 من خلال إثبات أن حجم التقاطع بين مجموعتي الحواصل و محصور في ومع ذلك يمكن أن يكون كبيراً بشكل تعسفي.
تثبت هذه الورقة أن كل تلوين منتهي للأعداد الصحيحة الموجبة يحتوي على أزواج فيثاغورسية أحادية اللون، وأن التقسيمات المعرفة بواسطة الدوال الضربية ذات المدى المنتهي تحتوي دائمًا على ثلاثيات فيثاغورسية، وذلك باستخدام مزيج من خصائص انتظام غاورز وتقديرات تركيز مبتكرة للدوال الضربية.
تتقصى هذه الورقة قيم -، و-، و- الموتيفية المتعددة المتفرعة وغير المتفرعة من خلال تطبيق نظرية الهبوط لتحديد معايير تفرعها، مما يؤكد جزئيًا حدسية كانيكو وتسومورا حول قيم المتعددة في ظل حدسية غروتينديك للقيم الدورية، وتعميم النتائج المتعلقة بقيم المتعددة غير المتفرعة.