صامويل جيمس باترسون: مقياس أُطلق عليه اسمان

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

من بلفاست إلى كامبريدج

وُلِد باترسون في 7 سبتمبر 1948 في بلفاست، بأيرلندا الشمالية، والتحق بمدرسة غروسvenor الثانوية في شرق المدينة قبل الانتقال إلى كلية كلير، كامبريدج، حيث حصل على درجة البكالوريوس في الرياضيات في عام 1970. وبقي في كامبريدج لإنجاز عمل الدكتوراه تحت إشراف ألان بيردون (Alan Beardon)، المتخصص في التحليل المركب والهندسة الزائدية، وأكمل أطروحة بعنوان "مجموعة الحد لمجموعة فوكسي" — وهي البذرة المباشرة لعمله اللاحق الأكثر شهرة — والتي انتهى منها في 1974 ومُنحت رسمياً في 1975. وأصبح شقيقه، ديفيد جوزف باترسون (David Joseph Patterson)، عالم تصنيف بارزاً، وهو دليل على الميل العائلي نحو العلوم التصنيفية الدقيقة التي تجلت في مجالين مختلفين تماماً.

من مجموعات فوكسي إلى نوع جديد من المقاييس

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

دحض حدسية لكومر

جاء الإنجاز الرئيسي الآخر لباترسون من ركن مختلف تماماً من نظرية الأعداد. في عام 1978، وبالعمل مع عالم نظرية الأعداد البريطاني روجر هيث-براون (Roger Heath-Brown)، دحض حدسية كومر حول مجاميع غوص التكعيبية — وهي تنبؤ يعود للقرن التاسع عشر، يرجع تاريخه إلى إرنست كومر (Ernst Kummer)، حول التوزيع الإحصائي لحجج بعض مجاميع الأسس التكعيبية التي تنشأ في دراسة التبادلية التكعيبية. إن قلب حدسية تعود لقنٍ كامل لعالم رياضيات بحجم كومر يعد في حد ذاته نتيجة مهمة، لكن باترسون وهيث-براون ذهبا إلى أبعد من ذلك، مقترحين حدسية معدلة خاصة بهما لتحل محلها — وهي تنبؤ ظل مطروحاً لأكثر من أربعة عقود حتى تم إثباته أخيراً في عام 2021 بواسطة ألكسندر دون (Alexander Dunn) ومكسيم رادزيفيل (Maksym Radziwiłł)، وهو مثال صارخ لحدسية تنجو من صاحبها لعقود قبل أن يتم التحقق من صحتها.

مسيرة مهنية في غوتنغن

بعد حصوله على الدكتوراه، انتقل باترسون عبر سلسلة من المناصب المرموقة ولكن المؤقتة — غوتنغن (1974-1975)، والعودة إلى كامبريدج (1975-1979)، ثم هارفارد، حيث شغل زصابة التدريس لبنجامين بيرس (1979-1981) — قبل أن يستقر في عام 1981 في أستاذية الرياضيات في جامعة غوتنغن، الجامعة الألمانية التي تمتلك واحدة من أعرق تواريخ الرياضيات، الممتدة من غاوس وريمان مروراً بهيلبرت وإيمي نويتر. وبقى باترسون في غوتنغن لمدة ثلاثين عاماً، حتى تقاعده في عام 2011، عاملاً عبر المجموعات غير المتصلة، ومجموعات فوكسي وكلاين، ودوال زيتا لرويل وسيلبيرج، والمجموعات شبه المنعكسة، ودوال ثيتا، ومجاميع الأسس — محفظة بحثية تمتد عبر الهندسة الزائدية ونظرية الأعداد التحليلية والتي تعكس نطاقاً تقنياً واسعاً بشكل غير معتاد لمسيرة مهنية واحدة. وقد حرر مجلة كريدل (Crelle's Journal)، وهي إحدى أقدم وأعرق المجلات البحثية في الرياضيات، من عام 1982 إلى 1994، وانتُخب عضواً في أكاديمية غوتنغن للعلوم والعلوم الإنسانية في عام 1998، حيث خدم منذ ذلك الحين في اللجنة التنفيذية لأرشيف ليبنتز في هانوفر. ومنحته الجمعية الرياضية لفرع لندن جائزة وايتهيد في عام 1984، والتي تُمنح لعلماء الرياضيات في المراحل المبكرة من مسيرتهم المهنية تقديراً لمساهماتهم المتميزة، واحتفل الزملاء بعيد ميلاده الستين بمؤتمر في يوليو 2009، تلاه مجلد تذكاري من المقالات تكريماً له في عام 2012.

لماذا يُدعى صامويل عبقرياً

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

الإرث

مقياس باترسون-سوليفان هو الآن أداة قياسية تُدرس في دورات الدراسات العليا حول الهندسة الزائدية ونظرية الأرجوديك في جميع أنحاء العالم، ويتم الاستشهاد به في أعمال تتجاوز بكثير مجموعات فوكسي التي درسه باترسون فيها في الأصل، وقد أكد إثبات دون-رادزيفيل لحدسية باترسون-هيث-براون في عام 2021، بعدเกือบ نصف قرن تقريباً، أن غريزة باترسون حول المكان الذي تكمن فيه حقيقة مشكلة كومر بالفعل كانت صحيحة طوال الوقت.