Monomial Bounds and Redundancy in Equivariant Schubert Calculus on Lagrangian Grassmannians

الملخص:

حدود أحادية وتكرار في حساب شوبرت التكافئي على غراسمانيان لاغرانج

نبرهن حداً أعلى غير شرطي لعدد الحدود الأحادية في أي معامل شوبرت تكافئي على

حيث يعرف:

هذا الحد صارم (sharp) وينتج مباشرة من الطبيعة كثيرة الحدود (polynomial nature) للمعاملات دون افتراضات إضافية.

نقدّم نموذجًا تخمينيًا يعتمد على الجداول ذات الحواف الموسومة (edge-labeled tableaux) كما في التخمين 3.1 ضمن سياق غراسمانيان لاغرانجيان. وفق هذا النموذج نحصل على حد تكميلي:

وبالتالي نحصل على التقدير المُحسَّن:

نُعرّف مؤشر التكرار (redundancy index) كما يلي:

وباستخدام مبدأ (pigeonhole principle) نثبت أن:

وعندما يتحقق الشرط:

فإن ذلك يفرض مباشرة أن:

كما نُميز حالة إقحام/حقن تطبيق الوزن (weight map injectivity) ونبيّن أن النموذج التخميني يعيد استرجاع قاعدة تامفاكيس الكلاسيكية. ويُقدَّم مثال تفصيلي للحالة لتوضيح البنية النظرية وسلوك الحدود.

الكلمات المفتاحية: حساب شوبرت التكافئي، غراسمانيان لاغرانجيان، جداول ذات حواف موسومة، حدود المونومات، التقسيمات الصارمة، مؤشر التكرار.