مبحث کوئیورها ــ محور سوم: قضایای بنیادین و دسته‌بندی نمایش‌ها
«معجزهٔ کوئیور در آن است که جبر خطی چند فضای برداری مرتبط، ناگهان هندسهٔ ریشه‌ها و نمودارهای دینکین را آشکار می‌سازد.»
۱. قضیهٔ هم‌ارزی رسته‌ای (Equivalence of Categories)
رستهٔ تمام نمایش‌های متناهی‌بُعد یک کوئیور $Q$ روی میدان $k$، با رستهٔ مدول‌های متناهی‌تولیدشده روی جبر مسیر $kQ$ هم‌ارز است:
rep(Q) ≃ mod(kQ)
این هم‌ارزی نشان می‌دهد که ساختار درونی مدول‌ها و تجزیه‌ناپذیری آنها را می‌توان تماماً با ابزارهای جبری–ترکیبیاتیِ نمایش‌های کوئیور بررسی نمود.
۲. قضیهٔ کرول–اشمیت در نمایش‌های کوئیور
هر نمایش متناهی‌بُعد $V$ از یک کوئیور به صورتی یکتا (تا حد یکریختی و جابه‌جایی جملات) به جمع مستقیم نمایش‌های تجزیه‌ناپذیر (indecomposable) تجزیه می‌شود. از این رو، مسئلهٔ شناخت همهٔ نمایش‌ها منحصراً به شناسایی نمایش‌های تجزیه‌ناپذیر فرومی‌کاهد.
۳. شاهکار گابریل (Gabriel's Theorem)
کوئیور همبند و بدون جهت دور $Q$ دارای نوع نمایش متناهی (تعداد متناهی ردهٔ یکریختی از تجزیه‌ناپذیرها) است اگر و تنها اگر گراف زیرین آن، یکی از نمودارهای دینکین از نوع‌های زیر باشد:
A_n , D_n , E_6 , E_7 , E_8
علاوه بر این، بردار ابعاد (dimension vector) نمایش‌های تجزیه‌ناپذیر، دقیقاً با ریشه‌های مثبتِ دستگاه ریشه‌ای متناظر انطباق یک‌به‌یک دارد؛ نتیجه‌ای شگرف که پیوند عمیق جبر لی، هندسه و نمایش جبرها را رقم می‌زند.
۴. فرم درجه‌دوم تیتس و مشخصهٔ اویلر
برای هر کوئیور، یک فرم درجه‌دوم موسوم به فرم تیتس (Tits form) تعریف می‌شود که رفتار هندسی و تناهی بُعدها را پیش‌بینی می‌کند:
اگر فرم تیتس مثبت معین باشد، جبر متناهی‌گونه است؛ اگر نیمه‌معین باشد، از نوع رام (Tame) و نمودارهای دینکین تعمیم‌یافته (افین) ظاهر می‌شوند؛ و در غیر این صورت، جبر وارد قلمرو وحشی (Wild) می‌گردد.
یادداشت استناد:
شواهد برگهٔ 17904034974347722987167562239613.jpg نشان‌دهندهٔ کار بر روی هندسهٔ کوئیورها و فضاهای برداری است. قضایای فوق (به‌ویژه قضیهٔ گابریل) بستر عمومی استانداردی هستند که این یادداشت‌ها بر پایهٔ آنها معنا می‌یابند.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.