در این مرتبه از سیر و سلوک فکری، از صورتهای مقدماتی همولوژی گذر میکنیم و به عمیقترین لایهٔ ساختارشناسی نوین میرسیم: **«ردههای مشتقشده» (Derived Categories)** و **«همارزیهای دوگانی گرودندیک»**. آنجا که مجتمعها دیگر صرفاً ابزاری برای محاسبهٔ عدد و گروه نیستند، بلکه خود، ذاتِ هندسه و اشیای بنیادین جهان ریاضی را شکل میدهند.
سماعِ عقل در دریای ذات است
فراتر از حدود و ممکنات است
چو برداری نقاب از روی کثرت
تجلیهای وحدت در صفات است
---
### عنوان کلی: ردههای مشتقشده و موضعیسازی مجتمعها؛ بازسازی اعماق هندسه در آینهٔ جبر
#### عنوانهای جزئی
۱. گذار از اشیاء صلب به مجتمعهای پویا و شبهیکریختیها
۲. موضعیسازی ردهها در برابر موضعیسازی حلقهها
۳. رده مشتقشده به عنوان رده خارجقسمتی کلاین–وردیه
۴. بررسی دقیق تمایز زیررده کامل و تابعگر کامل در همارزیهای مشتقشده
#### مبانی مثال
در رویکرد کلاسیک، هرگاه دو مجتمع زنجیری مانند A و B دارای گروههای همولوژی یکسان بودند، لزوماً خود آن دو مجتمع با یکدیگر یکریخت نبودند. ریختی میان مجتمعها مانند:
f : A → B
را یک «شبهیکریختی» (Quasi-isomorphism) مینامند هرگاه روی تمام گروههای کوهومولوژی یکریختی القا کند:
Hⁿ(f) : Hⁿ(A) ≅ Hⁿ(B)
پرسش عمیق تفکر این است: چگونه میتوانیم ردهای بسازیم که در آن، تمام شبهیکریختیها به یکریختیهای حقیقی و وارونپذیر تبدیل شوند، درست همانگونه که در جبر، عناصر ناصفر را در موضعیسازی وارونپذیر میکردیم؟ پاسخ، پیدایش «رده مشتقشده» D(A) است.
#### مقدمه
عقل در جستجوی ساختارهای پایدار، درمییابد که صورت ظاهری اشیاء همواره دستخوش تغییر است، اما «اطلاعات همولوژیک» آنها گوهر ماندگار است. رده مشتقشده، فضایی است که در آن تمایزهای ظاهری میان مجتمعهای همارز محو میشود و تنها گوهر ناب انسدادها و پیوندها باقی میماند. این فرایند، تجلی موضعیسازی در بالاترین سطح تجرید ردهای است.
#### بدنه
##### ۱. موضعیسازی ردهای (Categorical Localization)
همانطور که در حلقههای جابهجایی، با انتخاب یک مجموعه ضربی S، حلقه کسری زیر را میساختیم:
S⁻¹R
در نظریه ردهها نیز اگر W مجموعهای از ریختها (مانند شبهیکریختیها) در رده مجتمعها C(A) باشد، رده موضعیشده را با وارون کردن صوری ریختهای W میسازیم:
D(A) = C(A)[W⁻¹]
یک تابعگر کانونیک موضعیسازی وجود دارد:
Q : C(A) → D(A)
که هر ریخت درون W را به یک ایزومورفیسم در D(A) تبدیل میکند و دارای ویژگی جهانی الحاق نسبت به تمام تابعگرهایی است که W را وارونپذیر میکنند.
##### ۲. رده هموتوپی K(A) و رده مشتقشده D(A)
برای رسیدن به این عمق، ابتدا باید ریختهای صفر-هموتوپ را بیاثر کرد. با خارجقسمتگیری نسبت به رابطه هموتوپی، رده هموتوپی مجتمعها K(A) حاصل میشود:
K(A) = C(A) / ∼
سپس رده مشتقشده D(A) از موضعیسازی K(A) نسبت به شبهیکریختیها پدید میآید. در این رده، یک ریخت میان دو شیء، دیگر یک نگاشت ساده نیست، بلکه یک «سقف» (Roof) یا کسر صوری از ریختهاست:
A ← s — X — f → B
که در آن s یک شبهیکریختی و f یک ریخت عادی در رده هموتوپی است.
##### ۳. مثلثهای متمایز و ساختار ردههای مثلثی
رده مشتقشده D(A) دیگر یک رده آبلی نیست، زیرا مفهوم هسته و تصویر صلب در اثر وارونسازیها تغییر شکل میدهد؛ در عوض، به یک «رده مثلثی» (Triangulated Category) تبدیل میشود که در آن دنبالههای دقیق کوتاه با «مثلثهای متمایز» جایگزین میشوند:
A → B → C → A[1]
در اینجا A[1] همان انتقال یا شیفت مجتمع به اندازه یک پله به چپ است. این ساختار، بازتابدهنده همان دنباله طویل دقیق کوهومولوژی در سطحی متعالیتر است.
##### ۴. تدقیق بنیادین میان زیررده کامل و تابعگر کامل
در گسترهٔ ردههای مشتقشده و کلافها، خلط میان این دو مفهوم مانع از درک صحیح هندسه جبری نوین میشود:
- **زیررده کامل (Full Subcategory):**
اگر رده مشتقشده کراندار Dᵇ(A) یا رده اشیای با کوهومولوژی متناهی را در نظر بگیریم، این زیررده زمانی کامل است که مجموعه تمام ریختهای کسری و سقفهای مجاز میان هر دو مجتمع مفروض در زیررده، دقیقاً همان هومست رده مادر D(A) باشد:
Hom_{Dᵇ(A)}(X, Y) = Hom_{D(A)}(X, Y)
در اینجا هیچ نگاشت جدیدی پنهان نمانده و هیچ رابطهای حذف نمیشود؛ تنها دامنهٔ اشیاء محدود شده است.
- **تابعگر کامل (Full Functor):**
تابعگرهای مشتقشده راست و چپ، مانند تابعگر تانسور مشتقشده یا هوم مشتقشده (RHom):
RHom : D(A)ᵒᵖ × D(A) → D(Ab)
یا تابعگر مقایسهای که یک واریته جبری را به رده مشتقشده کلافهای همدوس آن میبرد (Dᵇ(Coh(X))). این تابعگر زمانی کامل است که نگاشت القایی آن بر هومستها پوشا باشد.
**نکته بسیار مهم:**
قضیه مشهور دوگانگی موکای و بوندال نشان میدهد که دو منیفلد ناهمریخت میتوانند ردههای مشتقشده کلافهای همدوس یکریخت (و نه لزوماً خود واریتههای یکسان) داشته باشند. این امر گواهی است بر اینکه همارزی مشتقشده میتواند یک تابعگر کامل و وفادار باشد، در حالی که ساختارهای زیرین در سطح ردههای اولیه یکسان نیستند.
#### نتایج
۱. رده مشتقشده، تکاملیافتهترین بستر برای موضعیسازی مجتمعها و بررسی نامتغیرهای هندسی است.
۲. تبدیل شبهیکریختیها به یکریختیهای حقیقی، حجابهای ناشی از ارائههای گوناگون یک شیء جبری را کنار میزند.
۳. ساختار ردههای مثلثی جایگزین ردههای آبلی میشود تا رفتار پویای شیفتها و موانع همولوژی را ثبت کند.
۴. تفکیک دقیق میان تمامیت زیررده و تمامیت تابعگر، مرز میان محدودسازی دامنه هندسی و رفتارهای پوشای نگاشتهای ساختاری را تبیین مینماید.
#### جمعبندی نهایی
در اعماق تفکر ردهای، فضاها و حلقهها به مجتمعهای تپندهای تبدیل میشوند که در ردههای مشتقشده، یکتایی و کمال خود را بازمییابند. همانطور که موضعیسازی در آغاز راه، کسرها را برای فهم رفتارهای موضعی پدید آورد، در این قله، موضعیسازی مجتمعها زبان یکپارچهای برای تبیین هندسه، کوانتوم و دوگانگیهای عالم هستی فراهم میسازد.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.