Stability of gravitational instantons with a bounded Killing vector field

في الزوايا الهادئة للفيزياء النظرية، حيث يُعامل نسيج الزمكان ككائن هندسي مرن، يدرس العلماء أشكالاً توجد في أربعة أبعاد. هذه ليست الأبعاد الثلاثة المألوفة للطول والعرض والارتفاع التي نتنقل فيها كل يوم، بل هي امتداد رياضي حيث يُطوى الزمن في الهندسة نفسها، مما يخلق مشهداً ساكناً رباعي الأبعاد. يطلق الفيزيائيون على هذه الأشكال اسم "الإنستانتونات الجاذبية" (gravitational instantons). وهي حلول للمعادلات التي تصف الجاذبية في كون خالٍ من المادة، وتمثل الأشكال الأكثر نقاءً للمساحة الفارغة. وكما أن ورقة مسطحة وناعمة لا تحتوي على نتوءات أو انحناءات، فإن هذه الإنستانتونات هي "خالية من ريتشي" (Ricci-flat)، مما يعني أنها تمتلك نوعاً معيناً من النعومة حيث لا تجذب الجاذبية أو تدفع في أي اتجاه. ومع ذلك، تماماً كما قد تعود ورقة مجعدة إلى شكلها الأصلي أو تتمزق، يمكن لهذه الأكوان الرياضية أن تكون مستقرة أو غير مستقرة. فإذا كانت غير مستقرة، فإن مجرد دفعة صغيرة قد تؤدي إلى انهيار الهيكل بأكما له أو تغيره بشكل جذري. إن فهم الأشكال التي تحافظ على شكلها وتلك التي لا تفعل ذلك أمر بالغ الأهمية للفيزيائيين الذين يحاولون فهم القواعد الأساسية للكون، من أصغر المقاييس الكمومية إلى أكبر الهياكل الكونية.

لعقود من الزمن، قام علماء الرياضيات بفهرسة هذه الأشكال رباعية الأبعاد، بحثاً عن أنماط تميز المستقرة منها عن غير المستقرة. وقد كان وجود "حقل متجه كيلينغ" (Killing vector field) دليلاً رئيسياً لفترة طويلة، وهو طريقة رياضية لوصف اتجاه يبدو فيه الشكل متطابقاً تماماً مهما تحركت على طوله. فكر في الأسطوانة: إذا انزلقت على طولها، سيبدو السطح متطابقاً عند كل خطوة. هذا اتجاه الانزلاق هو حقل متجه كيلينغ. وفي الحالة المحددة لهذه الإنستانتونات الجاذبية، اهتم الباحثون بشكل خاص بالأشكال التي يكون فيها هذا الاتجاه "محدوداً"، مما يعني أن حجم الشكل لا ينمو بشكل لانهائي أثناء التحرك في ذلك الاتجاه. والسؤال الذي ظل عالقاً هو ما إذا كان استقرار هذه الأشكال مرتبطاً بتناظر أعمق وخفي. تمتلك بعض الأشكال نوعاً خاصاً من النظام الداخلي يسمى "هايبر كاهلر" (hyperkähler)، وهو بنية صارمة وأنيقة للغاية. أما غيرها فهي أكثر فوضوية. وكان السؤال الكبير هو: هل يحتاج الشكل إلى هذا النظام الخاص "الهايبر كاهلر" ليكون مستقراً، أم يمكن لشكل فوضوي أيضاً أن يحافظ على ثباته؟

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

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

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

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

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

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

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