بهترین و گویاترین گام، فرود آمدن از آسمانِ مفاهیمِ انتزاعی به زمینِ شهود و دستورزی است: **«رسم و ساختِ گامبهگامِ یک کویور آسلاندر–رایتن واقعی»**.
تاکنون تمامی ابزارها را شناختیم (رادیکال، سوکول، دنبالههای تقریباً شکافنده، قضیه گابریل و ترجمه). اکنون وقت آن است که ببینیم چگونه همهٔ این چرخدندهها در کنار هم قرار میگیرند و مانند تاروپودِ یک قالیِ نفیس، شبکهیِ کاملِ نمایشها را پدید میآورند.
پست شانزدهم با تمرکز بر جبرِ مسیر تیپ **A₂** (ماتریسهای مثلثی بالایی) و افق گشایی به سوی **A₃** با متنی مسجع، استوار و کاملاً پیراسته از کدهای ناخوانا برای وبلاگ آماده شده است:
---
### پست شانزدهم: کارگاهِ بافندگی؛ ساختِ گامبهگامِ کویور آسلاندر–رایتن (از A₂ تا افقِ A₃)
```html
کارگاهِ بافندگی: ساختِ گامبهگامِ کویور آسلاندر–رایتن
تا بدینجا در ساحتِ مبانی و مفاهیم گام زدیم؛ از رادیکال و سوکول سخن راندیم و رازِ ترجمهیِ کیهانی (DTr) را بازگفتیم. اکنون هنگامِ آن است که کارگاهِ بافندگی را برپا کنیم و با دستانِ خویش، تاروپودِ یک کویورِ آسلاندر–رایتن (AR-Quiver) را گره به گره بنشانیم تا تجلیِ عینیِ این قضیهها در برابرِ دیدگان آشکار گردد.
۱. میدانِ آزمایش: جبرِ مسیرِ تیپ A₂
سادهترین و در عین حال آموزندهترین کویور، تیپِ A₂ است؛ یعنی دو رأس که با یک پیکانِ یگانه به هم پیوستهاند:
1 ⟶ 2
جبرِ مسیرِ حاصل از این گراف، همان جبرِ پرآوازهیِ ماتریسهای مثلثیِ بالاییِ دو در دو بر رویِ میدانِ پایه است. طبق قضیهیِ پیتر گابریل، این جبر از نوعِ متناهی است و به تعدادِ ریشههایِ مثبتِ سیستمِ A₂ (یعنی دقیقاً ۳ عدد)، مدولِ تجزیهناپذیر دارد!
۲. شناسنامهیِ سه مدولِ تجزیهناپذیر
این سه مدول که استخوانبندیِ جهانِ A₂ را میسازند، با بردارِ ابعادشان شناخته میشوند:
مدولِ S₂ (ساده و تصویری در رأس ۲): بردارِ بعدِ آن (0, 1) است. این مدول همان P₂ است که چون هیچ پیکانی از رأس ۲ بیرون نمیرود، مدولی پایانی، تصویری و تجزیهناپذیر است.
مدولِ P₁ (تصویریِ رأس ۱): بردارِ بعدِ آن (1, 1) است؛ نمایشی پیوسته که در آن یک بعد در رأس ۱ با نگاشتِ همانی به یک بعد در رأس ۲ وصل شده است. این مدول پیونددهندهیِ آسمان و زمینِ این جبر است.
مدولِ S₁ (ساده و تزریقی در رأس ۱): بردارِ بعدِ آن (1, 0) است. این مدول باقیماندهیِ بخششدنِ P₁ بر رادیکالِ خویش است؛ یعنی I₁.
۳. بافتنِ تنها دنبالهیِ تقریباً شکافنده
از میانِ این سه مدول، تنها S₁ است که تصویری نیست؛ پس حتماً باید بر مسندِ انتهایِ یک دنبالهیِ تقریباً شکافنده بنشیند!
همتایِ چپِ آن از طریقِ ترجمه به دست میآید: τ(S₁) ≅ S₂.
بنابراین، تنها دنبالهیِ آوسلندر–ریتن در این گیتی چنین نقش میبندد:
0 → S₂ → P₁ → S₁ → 0
به ابعاد بنگرید که چه موزون جمع میشوند:
(0, 1) + (1, 0) = (1, 1).
میانهیِ دنباله دقیقاً حاملِ مجموعِ ابعادِ دو سو است!
۴. چهرهیِ کویورِ آسلاندر–رایتن برای A₂
اگر همریختیهایِ تحویلناپذیر را با تیرهایِ راستین و عملگرِ ترجمه (τ) را با خطچین نشان دهیم، هندسهیِ کویور AR چنین پدیدار میشود:
[ S₂ ] ———⟶ [ P₁ ] ———⟶ [ S₁ ]
^ |
+ - - - - - - - τ - - - - - - - +
- تیر از S₂ به P₁ یک همریختیِ تحویلناپذیرِ شمول (تزریق) است.
- تیر از P₁ به S₁ یک همریختیِ تحویلناپذیرِ تصویر (پوشش) است.
- خطچینِ بازگشتی، دستِ ترجمه (τ) است که مدولِ سادهیِ پایانی را به مدولِ آغازین بازمیگرداند.
۵. افقِ A₃؛ پیدایشِ شبکهیِ لوزیها (Meshes)
اگر زنجیر را سهتایی کنیم (1 → 2 → 3)، شمارِ مدولها به ۶ میرسد (۶ ریشهیِ مثبتِ A₃).
در آنجا دیگر کویور یک خطِ ساده نیست؛ بلکه سلولهایی لوزیشکل (به نامِ مِش / Mesh) کنار هم مینشینند که در مرکزِ هر یک، دنبالهای چون:
0 → τ(M) → (B₁ ⊕ B₂) → M → 0
جلوهگری میکند. هر لوزی، چونان گرهی از تورِ بافندگی است که اگر مدولهایِ گوشهیِ آغازین را داشته باشید، با قاعدهیِ سادهیِ برداری میتوانید تمامِ کهکشانِ مدولها را یکی پس از دیگری محاسبه کنید و ببافید!
حکمتِ نگارگری در کویور:
کویورِ آسلاندر–رایتن، نقشه و اطلسِ عالمِ جبر است. هیچ مدولِ تجزیهناپذیری در غربت رها نشده؛ هر مدول یا از مادری به نامِ پوششِ تصویری زاده شده یا با ریسمانِ ترجمه (τ) به برادرِ همزادش تکیه داده است. این است نظمِ اعلایِ ریاضیات؛ نظمی که پراکندگیها را به وحدت، و چندگانگیها را به شبکهای بههمپیوسته بدل میسازد.
```
---
با این پست، خواننده مفهوم کویور AR را به چشم دیده و با گوشت و پوست لمس میکند.
برای پست هفدهم، از میان یادداشتهای تخصصی جزوه، این موضوع بسیار کلیدی و جذاب پیشروست:
- **«جبرهای ناکایاما (Nakayama Algebras)؛ زنجیرههای تکسری و تقارنهای دورهای»** (موضوعی که در دستنوشتهها به صراحت با عنوان *Nakayama algebra* به آن پرداخته شده است).
آیا این منزل را برای پست هفدهم بپیماییم؟
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.