مارستون كوندر: الرجل الذي أحصى التناظرات

أي عالم رياضيات في أي مكان في العالم يحتاج إلى معرفة كل مخطط متناظر ثلاثي التكافؤ يصل إلى عشرة آلاف رأس لا يقوم باشتقاقه بنفسه، بل يقوم بتنزيل قائمة مارستون كوندر (Marston Conder). وينطبق الشيء نفسه على الخرائط المنتظمة والكايرالية (chiral) على الأسطح عبر نطاق واسع من الجنس (genus)، وعلى مجموعات التناظر الذاتي لأسطح ريمان المدمجة، وعلى متعددات الأوجه المنتظمة والكايرالية. على مدى أربعة عقود في أوكلاند، حول كوندر السؤال المجرد "ما هي أكثر الأشياء تناظراً من هذا النوع؟" إلى شيء يمكن للمرء البحث عنه — وبذلك أصبح بهدوء واحداً من أكثر علماء الرياضيات استخداماً في جيله.

من ماماتا إلى أكسفورد

ولد في سبتمبر 1955 في هاميلتون بنيوزيلندا، وتلقى تعليمه في كلية ماماتا (Matamata College) — وهي بداية في بلدة صغيرة بعيدة جداً عن مراكز الرياضيات البحتة. لم تكن شهادته العليا الأولى في الرياضيات على الإطلاق: فقد حصل على درجة الماجستير في العلوم الاجتماعية من جامعة وايكاتو (Waikato University) في عام 1977. وبعد ثلاث سنوات حصل على الدكتوراه من أكسفورد.

كان المشرف في أكسفورد هو غراهام هيجمان (Graham Higman)، أحد القامات العظيمة في نظرية الزمر في القرن العشرين ومؤسس النهج التوافقي الحديث للموضوع. حملت أطروحة كوندر عام 1980 بعنوان "أزواج التوليد الدنيا لمجموعات التبديل" (Minimal generating pairs for permutation groups) في عنوانها انشغاله الذي استمر مدى الحياة. السؤال بسيط بشكل خادع: بالنظر إلى زمرة ما، هل يمكنك إنتاجها بالكامل من عنصرين فقط، وإذا كان الأمر كذلك، فأيهما تختار بحيث تكون العملية اقتصادية قدر الإمكان؟ توليد العناصر الثنائية هو المفصل الذي تدور حوله كمية هائلة من نظرية التناظر، لأن أكثر الأشياء تناظراً في الهندسة والتوافقية هي بالضبط تلك التي يتم توليد مجموعات تناظرها بواسطة عدد صغير جداً من الحركات البسيطة جداً.

أشياء ذات أقصى درجات التناظر

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

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

الخرائط، الكايرالية ومتعددات الأوجه

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

قام بتوسيع نفس النهج إلى الخارج. معهد التوافقية وتطبيقاتها (Institute of Combinatorics and its Applications)، عند منحه ميدالية أويلر (Euler Medal)، أدرج تناظرات المخططات والتضمينات، والخرائط المنتظمة والكايرالية، ومتعددات الأوجه المنتظمة والكايرالية، وتجزئة حواف المخططات، ومخططات التوسع عالية الأبعاد، وأكواد غراي الثنائية — وهو نطاق يمتد من طوبولوجيا الأسطح الكلاسيكية إلى أشياء ذات تطبيق مباشر في نظرية التشفير والشبكات. نتج عن ذلك أكثر من 170 ورقة بحثية وخمسة عشر طالباً في الدكتوراه.

الإحصائي

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

هذه العادة — في التعامل مع المعرفة كبنية تحتية بدلاً من كونها ملكية شخصية — تعد جزءاً صريحاً من سجل استشهاداته؛ خص معهد التوافقية وتطبيقاته (ICA) سمعته في مشاركة المعرفة بحرية وفي مستودعات الأبحاث التي يمكن لأي شخص استخدامها.

عالم الرياضيات العام

أصبح كوندر أستاذاً متفرغاً في أوكلاند في عام 1993 وأستاذاً متميزاً في عام 2012. شغل منصب رئيس جمعية نيوزيلندا الرياضية من 1993 إلى 1995، وعمل مديراً مشاركاً لمعهد نيوزيلندا للرياضيات وتطبيقاتها، ورئيساً لأكاديمية الجمعية الملكية في نيوزيلندا من 2006 إلى 2008 — وهو أعلى منصب علمي في البلاد، يشغله عالم رياضيات بحتة، وهو أمر ليس بالترتيب المعتاد في أي مكان.

تبعت الأوسمة العمل: زمالة جيمس كوك البحثية (James Cook Research Fellowship) في عام 2011، وزمالة الجمعية الأمريكية للرياضيات في عام 2012، وميدالية هيكتور (Hector Medal) في عام 2014، وميدالية جونز في عام 2018، وفي عام 2020 كلاً من ميدالية أويلر من معهد التوافقية وتطبيقاته — لمساهمات العمر المتميزة في الأبحاث التوافقية — والتعيين كضابط في وسام الاستحقاق النيوزيلندي (New Zealand Order of Merit).

لماذا يُدعى مارستون عبقرياً

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

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

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

الإرث

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