المسار المشروط إلى S(U(3) × U(2))

01مستويان في البرنامج العياري

تفصل مسودة البنية العيارية عمداً بين الرياضيات الدقيقة لهاملتوني معطى يربط بالحالة المفردة، وبين إعادة بناء مشروطة في نموذج الجوهر الفرد ونظرية ازدواجية الزمن للحوامل وقواعد المقارنة والموترات المحفوظة. وتستخدم مبرهنات الحلقة الساكنة فضاءات حوامل مركّبة اعتيادية وعقوبات موجبة وقواعد قفز ومصفوفات وصلات بوصفها مُدخلات. ويسأل التفسير الزمني هل يستطيع مصدر توليدي واحد وسجلات اكتماله اختيار تلك المُدخلات. والمراحل الداخلية الست المتداخلة أدوار توليدية، وليست ستة محاور ساعات منفصلة أو متعددية عيارية موجودة مسبقاً. وقابلية الحل الدقيقة في المستوى الأول ذات قيمة، لكنها لا تحسم تلقائياً مسألة الاختيار في المستوى الثاني.

02التصريح ببيانات الحوامل المحفوظة

نفترض أن الاكتمال يحفظ حاملين مركّبين هرميتيين مستقلين E₃ وE₂ برتبتي ثلاثة واثنين. ونفترض أيضاً أن أي موتر محفوظ إضافي لا يميز قواعد داخل الكتلتين، وأن موتر وحدة τ في det E₃⊗det E₂ محفوظ عالمياً. ودون الشرط الأخير تكون زمرة الأطر الوحدوية الطبيعية U(3)×U(2). ومعه يجب أن تحفظ الأطر المسموحة جداء محدديها. وهذه افتراضات جوهرية عن السجلات، وليست نتائج لكتابة تسلسل هرمي من سبع مراحل.

03حساب المثبِّت

تضرب الوحدوية الكتلية (u₃,u₂) الموتر τ في det u₃ det u₂. ولذلك يكون مثبِّته S(U(3)×U(2)). ويحقق جبر لي tr X₃+tr X₂=0، ويتفكك إلى su(3) وsu(2) وعامل نسبي واحد u(1)، بأبعاد ثمانية وثلاثة وواحد. والوزنان المركزيان الصحيحان الأوليان هما −2 و+3، لأن مجموع ثلاث نسخ من الأول ونسختين من الثاني يساوي صفراً.

04أهمية الزمرة القسميّة العالمية

للخريطة (g₃,g₂,z)↦(z⁻²g₃,z³g₂) من SU(3)×SU(2)×U(1) نواة من ستة عناصر، فتنتج الزمرة القسميّة بالنسبة إلى ℤ₆. ويحدد هذا الزمرة العالمية، لا جبر لي وحده. أما شرط الانحناء المحلي tr F₃+tr F₂=0 فأضعف من وجود موتر محدد موازٍ عالمياً: فقد يظل لخط محدد مسطح هولونومي غير تافه. لذلك يجب أن تبرر إعادة البناء من المصدر الحفظ والترقيع العالميين، بدلاً من استنتاجهما من إلغاء الأثر محلياً.

05ما الذي لا يزال مطلوباً لفيزياء النموذج المعياري؟

لا تنتج الزمرة المألوفة بمفردها محتوى المادة الكيرالية المرصود، أو إحصاء اللف المغزلي، أو آلية إلغاء الشذوذ، أو الكتل، أو الاقترانات المقاسة. وقد يفرض الوصل المتماسك الثابت قطاع غاوس متعادلاً تحت قاعدة تركيب إضافية؛ أما أخذ المتوسط على الأطر فلا يفعل ذلك عموماً. ويجب أن يدعم الحامل الذي يختاره المصدر نقلاً فيزيائياً غير تافه وفعلاً مضبوطاً أيضاً. وقيمة هذا البناء لنموذج الجوهر الفرد ونظرية ازدواجية الزمن هي مسار مشروط صريح من الموترات المحفوظة إلى زمرة، مع قائمة من المطابقات الفيزيائية الإضافية التي يمكن بحثها بصورة مستقلة.

06يجب تحضير مرجع المحدد المحفوظ فعلياً

يمكن لسجل الطور المساعد في المسودة أن يحفظ تماسك حجم الجداء، مع محو وسوم الحجم المنفصلة. لكن الحفظ ليس إنشاءً: يجب أن يوجد المرجع غير الصفري المعني في التحضير. وبالمثل، لا تترقع الأطوار المحلية المثبتة بعلامات تلقائياً إلى موتر محدد عالمي على كل متشعب سجلات. وهذه موارد فعلية وشروط اتساق لاختزال الزمرة المقترح. ويولد قانون أقوى لنموذج الجوهر الفرد ونظرية ازدواجية الزمن المرجع، ويحافظ عليه خلال الاكتمال، ويبرهن نقله العالمي. وإلى أن يتحقق ذلك، تحدد مبرهنة المثبِّت بدقة الزمرة الناتجة عن الموتر المحفوظ، مع إبقاء اختياره الفيزيائي صريحاً.

07ما الذي يتطلبه التحديد الفيزيائي؟

زمرة الأطر، والموتر الثابت، واستجابة الحلقة بُنى رياضية. أما تحديدها بشحنات الجسيمات المرصودة وشدات التفاعلات والقوى الزمكانية فيحتاج، بالإضافة إلى ذلك، إحصاء المادة والكيرالية والديناميكا والتطبيع ومطابقة مضبوطة للمقاييس. وقد يكون الاتصال مسطحاً حتى عندما تكون زمرة بنيته المسموحة كبيرة. وقد تكون فجوة مساعدة منتهية موجبة دون إثبات فجوة كتلة يانغ–ميلز في حد الاستمرار. ويصبح برنامج نموذج الجوهر الفرد ونظرية ازدواجية الزمن أدق عند حفظ هذه التمييزات: إذ يمكن عندئذ مطالبة قانون مصدر زمني مقترح بإنتاج حوامل ومعاملات محددة، بدلاً من نسب فيزياء تجريبية إليه لمجرد ظهور أسماء زمر مألوفة.

مصفوفات الكثافة الثابتة عيارياً والسعات المتعادلة مفهومان مختلفان. فقد يترك أخذ متوسط مصفوفة كثافة على الأطر حالة ممزوجة أعظمياً في تمثيل مشحون غير تافه. أما أخذ متوسط السعات على نحو متماسك فيسقط على المتجهات الثابتة، وقد يختار بدلاً من ذلك قطاع الحالة المفردة. ويجب أن تحدد آلية الاكتمال أي العمليتين تنفذ، وأين يوجد حاملها المرجعي. ويهم هذا التمييز عند تفسير حساب ساكن لحالة مفردة على أنه قطاع متعادل مولّد فيزيائياً: فتناظر الهاملتوني يحفظ قطاعاً مختاراً، لكنه لا يحضّره تلقائياً.