รำลึกถึง Ferdinand Georg Frobenius ผู้วางรากฐานทฤษฎีการแทนค่าของกรุ๊ปจำกัด

Ferdinand Georg Frobenius คือนักคณิตศาสตร์เยอรมันคนสำคัญผู้มีบทบาทหลักในการพัฒนาทฤษฎีกรุ๊ป (group theory) โดยเฉพาะแนวคิดเรื่องกรุ๊ปนามธรรม (abstract groups) และทฤษฎีการแทนค่าเชิงเส้นของกรุ๊ปจำกัด (representation theory of finite groups) ซึ่งกลายเป็นรากฐานสำคัญที่นำไปประยุกต์ใช้ในฟิสิกส์ควอนตัมและผลึกศาสตร์ในเวลาต่อมา ในโอกาสนี้เราขอย้อนรำลึกถึงชีวิตของนักคณิตศาสตร์ผู้เชี่ยวชาญรอบด้าน ตั้งแต่ฟังก์ชันวงรีไปจนถึงพีชคณิตนามธรรม

วาระสุดท้ายที่กรุงเบอร์ลิน 3 สิงหาคม ค.ศ. 1917

Ferdinand Georg Frobenius เสียชีวิตเมื่อวันที่ 3 สิงหาคม ค.ศ. 1917 ที่เมือง Charlottenburg ชานกรุงเบอร์ลิน ขณะมีอายุ 67 ปี เขาจากไปในช่วงกลางสงครามโลกครั้งที่หนึ่ง ซึ่งเป็นช่วงเวลาที่ยากลำบากสำหรับวงการวิชาการเยอรมันโดยรวม ที่น่าสนใจคือผลงานสำคัญด้านทฤษฎีตัวแสดง (character theory) ของเขายังคงได้รับความสนใจอย่างต่อเนื่องแม้หลังจากที่เขาจากไปแล้ว โดยมีการแปลผลงานหลักของเขาเป็นภาษารัสเซียพร้อมคำอธิบายจาก Anton K. Sushkewich ซึ่งเคยเข้าฟังการบรรยายของ Frobenius ระหว่างปี ค.ศ. 1907-1911 และตีพิมพ์ที่เมือง Kharkov ในปี ค.ศ. 1937 ซึ่งเป็นเวลาถึง 20 ปีหลังจากที่เขาเสียชีวิตไปแล้ว

บุตรนักบวชผู้เก่งกาจแห่งเมือง Charlottenburg

Ferdinand Georg Frobenius เกิดเมื่อวันที่ 26 ตุลาคม ค.ศ. 1849 ที่เมือง Charlottenburg ชานกรุงเบอร์ลิน เป็นบุตรของ Christian Ferdinand Frobenius นักบวชนิกายโปรเตสแตนต์ และ Christine Elizabeth Friedrich เขาเข้าเรียนที่ Joachimsthal Gymnasium ตั้งแต่อายุเกือบ 11 ปี และเริ่มศึกษาที่มหาวิทยาลัย Göttingen เป็นเวลาหนึ่งปีในปี ค.ศ. 1867 ก่อนจะกลับมาศึกษาต่อที่มหาวิทยาลัย Berlin และได้รับปริญญาเอกในปี ค.ศ. 1870 จากวิทยานิพนธ์เรื่องการแก้สมการเชิงอนุพันธ์ ภายใต้การดูแลของ Karl Weierstrass และ Ernst Kummer นักคณิตศาสตร์ผู้มีชื่อเสียงทั้งคู่

หลังสำเร็จการศึกษา เขาสอนหนังสือที่ระดับมัธยมศึกษาหลายแห่ง ทั้งที่ Joachimsthal Gymnasium และ Sophienrealschule ก่อนจะได้รับแต่งตั้งเป็นผู้ช่วยศาสตราจารย์ที่มหาวิทยาลัย Berlin ในปี ค.ศ. 1874 จากผลงานตีพิมพ์ที่โดดเด่นของเขา

จากซูริกสู่การสืบทอดตำแหน่งจาก Kronecker

ในปี ค.ศ. 1875 Frobenius ได้รับแต่งตั้งเป็นศาสตราจารย์เต็มตัวที่ Federal Polytechnic ในเมือง Zürich (ปัจจุบันคือ ETH Zurich) ซึ่งเป็นตำแหน่งที่เขาดำรงอยู่นานถึง 17 ปี ระหว่างปี ค.ศ. 1875-1892 ช่วงเวลานี้เองที่เขาแต่งงาน สร้างครอบครัว และผลิตผลงานสำคัญในหลากหลายสาขาของคณิตศาสตร์

จุดเปลี่ยนสำคัญเกิดขึ้นในปลายเดือนธันวาคม ค.ศ. 1891 เมื่อ Leopold Kronecker นักคณิตศาสตร์ผู้ยิ่งใหญ่แห่งมหาวิทยาลัย Berlin เสียชีวิตลง ทำให้ตำแหน่งศาสตราจารย์ของเขาว่างลง Weierstrass ซึ่งเชื่อมั่นอย่างแรงกล้าว่า Frobenius คือบุคคลที่เหมาะสมที่สุดในการรักษาความเป็นผู้นำของกรุงเบอร์ลินในวงการคณิตศาสตร์โลก ได้ใช้อิทธิพลของตนเองผลักดันให้ Frobenius ได้รับตำแหน่งนี้ในปี ค.ศ. 1893 และในปีเดียวกันเขาก็ได้รับเลือกเข้าเป็นสมาชิกของ Prussian Academy of Sciences

ผลงานที่หลากหลายก่อนหันสู่ทฤษฎีกรุ๊ป

ก่อนที่จะทุ่มเทให้กับทฤษฎีกรุ๊ปอย่างจริงจังในช่วงครึ่งหลังของอาชีพการงาน Frobenius มีผลงานสำคัญในหลากหลายสาขา ทั้งทฤษฎีฟังก์ชันวงรี (elliptic functions) ผ่าน Frobenius–Stickelberger formulae ที่พัฒนาร่วมกับ Ludwig Stickelberger อันเป็นเอกลักษณ์ทางดีเทอร์มิแนนต์ที่สำคัญในสาขานี้ นอกจากนี้เขายังเป็นผู้ให้การพิสูจน์ที่สมบูรณ์ครั้งแรกของ ทฤษฎีบท Cayley-Hamilton ซึ่งเป็นทฤษฎีบทพื้นฐานสำคัญในพีชคณิตเชิงเส้น และเป็นผู้แรกที่นำเสนอแนวคิดเรื่องการประมาณค่าฟังก์ชันแบบตรรกยะ ซึ่งปัจจุบันรู้จักกันในชื่อ Padé approximants เขายังมีผลงานด้านสมการเชิงอนุพันธ์ผ่านสิ่งที่เรียกว่า Frobenius method และทฤษฎีจำนวนอีกด้วย

รากฐานสำคัญของทฤษฎีการแทนค่ากรุ๊ปจำกัด

ผลงานที่ทำให้ชื่อของ Frobenius เป็นที่จดจำมากที่สุดในประวัติศาสตร์คณิตศาสตร์คือการวางรากฐานสำคัญของทฤษฎีกรุ๊ป โดยเฉพาะแนวคิดเรื่อง กรุ๊ปนามธรรม (abstract groups) ซึ่งเขาพัฒนาขึ้นจากการผสมผสานผลลัพธ์จากทฤษฎีสมการพีชคณิต เรขาคณิต และทฤษฎีจำนวนเข้าด้วยกัน จนนำไปสู่การศึกษากรุ๊ปในรูปแบบนามธรรมที่ไม่ผูกติดกับบริบทใดบริบทหนึ่งโดยเฉพาะ

ผลงานที่สำคัญที่สุดของเขาในสาขานี้คือการวางรากฐาน ทฤษฎีการแทนค่าเชิงเส้นของกรุ๊ปจำกัด (representation theory of finite groups) และทฤษฎีตัวแสดง (character theory) ซึ่งเขาพัฒนาร่วมกับ Issai Schur ลูกศิษย์ของเขาเอง ในบทความแรกเกี่ยวกับตัวแสดงในปี ค.ศ. 1896 Frobenius สร้างตารางตัวแสดง (character table) ของกรุ๊ป PSL(2,p) สำหรับจำนวนเฉพาะคี่ทุกตัว ซึ่งเป็นผลงานบุกเบิกที่สำคัญยิ่ง นอกจากนี้เขายังมีผลงานพื้นฐานสำคัญด้านทฤษฎีการแทนค่าของกรุ๊ปสมมาตร (symmetric groups) และกรุ๊ปสลับ (alternating groups) รวมถึงการนำเสนอวิธีการเปลี่ยนจำนวนเฉพาะให้เป็นคลาสสมภาค (conjugacy classes) ในกรุ๊ป Galois เหนือจำนวนตรรกยะ ซึ่งเป็นแนวคิดที่ล้ำหน้ามาก

ทฤษฎีการแทนค่าของกรุ๊ปจำกัดนี้ในเวลาต่อมากลายเป็นเครื่องมือพื้นฐานที่ขาดไม่ได้ในฟิสิกส์ควอนตัม โดยเฉพาะในการวิเคราะห์สมมาตรของระบบทางกลศาสตร์ควอนตัม และในผลึกศาสตร์ ที่ใช้ทฤษฎีกรุ๊ปในการจัดจำแนกโครงสร้างสมมาตรของผลึกต่างๆ

มรดกที่เชื่อมโยงคณิตศาสตร์บริสุทธิ์กับวิทยาศาสตร์สมัยใหม่

Frobenius ยังเป็นที่ปรึกษาวิทยานิพนธ์ให้กับนักคณิตศาสตร์ที่มีชื่อเสียงหลายคน ทั้ง Richard Fuchs, Edmund Landau, Issai Schur, Konrad Knopp และ Walter Schnee ซึ่งล้วนสืบทอดและต่อยอดมรดกทางความคิดของเขาต่อไป ในวันครบรอบการจากไปของเขาทุกปี ชื่อของ Ferdinand Georg Frobenius จึงยังคงเป็นเครื่องเตือนใจถึงพลังของคณิตศาสตร์บริสุทธิ์ที่ดูเหมือนจะเป็นนามธรรมอย่างยิ่งในยุคที่ถือกำเนิดขึ้น แต่กลับกลายเป็นเครื่องมือพื้นฐานสำคัญที่วิทยาศาสตร์สมัยใหม่ทั้งฟิสิกส์ควอนตัมและผลึกศาสตร์ต้องพึ่งพาในเวลาต่อมา