|
בוודאי - כל מה שהם צריכים זה מחשב גדול...
צריך לזכור ש- E8 היא חבורת לי "ספורדית", כלומר, מיוחדת במינה. יש בסביבה עוד כמה כאלה, וגם משפחות אינסופיות, שאותן קל יותר להסביר ולפענח. ומשום שמדובר במשפחות אינסופיות, לא ניתן לסמוך על מחשבים שיעשו עבורנו את העבודה השחורה - זה אף פעם לא יספיק. במקרים כאלה מוכרחים למצוא דרכים מחוכמות לתאר באופן ממצה את ההתנהגות ה"אינסופית" של כל המשפחה. הבעיות האלה נפתרו כבר (לפחות עבור המשפחה An; נדמה לי שעבור כולן), והתאור שלהן חייב פיתוח של תאוריה מקיפה ומורכבת (אחד החוקרים הבולטים בנושא הוא פרופ' דוד קשדן, היום באוניברסיטה העברית).
היתרון הוא שכעת, כאשר מתקבלים הפרטים החישוביים של E8, אפשר לשבץ אותם בתאוריה הכוללת, ולראות שהם מתאימים לתחזיות (מה שהיה ידוע מראש, כמובן. זו מתמטיקה.)
|
|