ریاضیات

قضیهٔ گابریل: معماری کوییورها و بازتاب نمودارهای دینکین

یکی از شکوهمندترین پیوندهای هندسه و جبر در قرن بیستم، کشف پی‌یر گابریل در باب «جبرهای مسیر» بود؛ پاسخی قطعی به این پرسش که کدامین گراف‌ها می‌توانند فضایی از نمایش‌های تجزیه‌ناپذیر متناهی خلق کنند.

1. ۱. کوییور و جبر مسیر:
   

   کوییور در اصل گرافی جهت‌دار با مجموعه‌ای از رأس‌ها و پیکان‌هاست. جبر مسیرِ حاصل از آن، جبری است که پایه‌های خطی‌اش تمامی مسیرهای پیموده‌شده در این گراف هستند و ضرب، چیزی جز پیوند زدنِ متوالی این مسیرها نیست.

2. ۲. صورت قضیهٔ بنیادین گابریل:
   

   یک جبر مسیر (بدون رابطهٔ دوری) دارای «تیپ نمایش متناهی» است اگر و تنها اگر گرافِ زیربناییِ آن، یکی از نمودارهای نام‌آشنای دینکین از تیپ‌های متقارن (A، D یا E) باشد؛ همان نمودارهایی که بر ساختار جبرهای لی نیمه‌ساده و سامانه‌های ریشه حکومت می‌کنند.

3. ۳. نگاشت یک‌به‌یک با ریشه‌های مثبت:
   

   قضیهٔ گابریل فراتر از یک رده‌بندی صرف است؛ او ثابت کرد که میان رده‌های مدول‌های تجزیه‌ناپذیر روی این کوییورها و «بردارهای ریشهٔ مثبت» در سامانهٔ ریشه‌های متناظر، یک تناظر دوسویه و کانونیک برقرار است؛ به‌گونه‌ای که بعد هر بخش از مدول دقیقاً همان مؤلفهٔ بردار ریشه است.

4. ۴. شهود حاکم (پژواک تقارن پیوسته در گراف گسسته):
   

   همان هندسه‌ای که چرخش‌ها و تقارن‌های پیوستهٔ فیزیک ذرات را مقید می‌سازد، در این‌جا جریان فلش‌ها میان فضاهای برداری گسسته را مهار می‌کند. گراف دینکین مانع از طغیان ابعاد و نامتناهی‌شدن مدول‌ها می‌شود.