ریاضیات

معماری تیردان‌ها و جبر مسیر: تجسد گراف در پیکرهٔ جبر

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

1. 
   ۱. موضوع (پیکان‌ها و بنیاد جبر مسیر):
   
   بررسی نمایشِ تیردان‌ها و نحوهٔ ساخت «جبر مسیر»؛ ساختاری که در آن هر نقطه نماد یک فضای برداری موضعی، و هر تیر، نشانهٔ یک تبدیل خطی میان فضاهاست.
   
2. 
   ۲. فرضیات و مفاهیم بنیادین (تیردان و پیوستگی حرکت):
   
   تیردان شبکه‌ای متناهی از رأس‌ها و پیکان‌های جهت‌دار میان آن‌هاست. جبرِ برآمده از این تیردان، فضایی است که پایه‌های آن را تمام مسیرهای ممکن (شامل مسیرهای با طول صفر در هر رأس تا مسیرهای زنجیره‌ای پیوسته) می‌سازند، و ضربِ دو مسیر تنها زمانی حاصل می‌دهد که انتهای مسیر نخست با ابتدای مسیر دوم منطبق باشد.
   
3. 
   ۳. احکام و افق قضیه گابریل (تناهی وابسته به تقارن دینکین):
   
   نمایش یک تیردان، نشاندنِ فضاهای برداری در رأس‌ها و ماتریس‌های تبدیل روی یال‌هاست. قضیهٔ شاهکارِ گابریل نشان می‌دهد که: جبرِ یک تیردان تنها و تنها زمانی دارای نوع نمایش متناهی است که گرافِ زمینه‌ای آن (بدون در نظر گرفتن جهت تیرها)، دقیقاً یکی از نمودارهای ریشه‌ایِ معروف به دینکین (شامل نمودارهای نوع A، نوع D و شاخه‌های نوع E) باشد.
   
   برهان شهودی: هرگاه در ساختار تیردان دورهای جهت‌دار، حلقه‌های خودبه‌خود یا شاخه‌بندی‌های بیش از اندازه پدید آید، امکان برقراری روابط نامحدود فراهم می‌شود و نمایش‌های تجزیه‌ناپذیر مهارناپذیر می‌گردند؛ اما تقارن‌های دینکین، کانال‌های پیوند را در حصاری متناهی نگاه می‌دارند.
   
4. 
   ۴. پیوند (مسیرهای وجود و پرهیز از تفرقه):
   
   تیردان تجلی این حقیقت است که حرکت و نسبت میان مراتب، هندسهٔ حاکم بر آنها را تعیین می‌کند؛ اگر مجاری اتصال میان کثرات بر تقارنی موزون و راست‌استوار استوار نباشد، کثرت به پریشانی می‌انجامد.