ریاضیات

ادامهٔ تحلیل: دوگانی تابع‌گرها، الحاق و ساختار توپولوژی زاریسکی

مقدمه

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

۱. الحاق تابع‌گر موضعی‌سازی و تابع‌گر فراموشکار

همان‌طور که دیدیم، هم‌ریختی شمول i از حلقهٔ R به حلقهٔ کسرها S⁻¹R وجود دارد. این نگاشت، یک تابع‌گر فراموشکار یا تحدید اسکالرها (Restriction of Scalars) پدید می‌آورد که آن را با Res نشان می‌دهیم:

Res : S⁻¹R-Mod → R-Mod

این تابع‌گر، هر S⁻¹R-مدول را تنها با فراموش کردن ضرب اسکالرهای کسری و بسنده کردن به ضرب عناصر R، به یک R-مدول تبدیل می‌کند.

رابطهٔ میان تابع‌گر موضعی‌سازی L (گسترش اسکالرها) و تابع‌گر تحدید Res، یک جفت الحاقی (Adjoint Pair) است. به این معنا که برای هر R-مدول M و هر S⁻¹R-مدول N، ایزومورفیسم طبیعی زیر بر روی مجموعه‌های ریختار برقرار است:

Hom_{S⁻¹R-Mod}(L(M), N) ≅ Hom_{R-Mod}(M, Res(N))

این تساوی طبیعی بیانگر آن است که تابع‌گر موضعی‌سازی L «الحاقی چپ» برای تابع‌گر تحدید Res است.

۲. تحلیل رده‌شناختی وفاداری و پر بودن در جفت الحاقی

بررسی ویژگی‌های این جفت الحاقی، تفکیک میان رفتار تابع‌گرها و زیررده‌ها را روشن‌تر می‌سازد:

یک. تابع‌گر تحدید Res:

تابع‌گر Res یک تابع‌گر کاملاً وفادار (Faithful) و کامل (Full) بر روی تصویر خود است؛ زیرا هر هم‌ریختی میان دو S⁻¹R-مدول اگر ساختار R-خطی را حفظ کند، به دلیل وارون‌پذیری عناصر S در هر دو طرف، خودبه‌خود ساختار کسرها را نیز حفظ می‌نماید. از این رو، تصویرِ Res دقیقاً همان زیرردهٔ کامل C از R-Mod است که پیش‌تر تعریف شد.

دو. تبدیل‌های طبیعی واحد و هم‌واحد (Unit and Counit):

تبدیل طبیعی هم‌واحد (Counit) الحاق به صورت زیر است:

ε_N : L(Res(N)) → N

ε_N(n ∕ s) = s⁻¹ ⋅ n

چون این نگاشت برای هر S⁻¹R-مدول N یک ایزومورفیسم طبیعی است، نتیجه می‌گیریم که تابع‌گر Res یک نگاشت هم‌ارز کامل بر روی تصویر خود ایجاد می‌کند.

۳. دوگانی رده‌ای: از حلقه‌ها به فضاهای زاریسکی

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

الف) ردهٔ حلقه‌های جابجایی با یک (CRing) با ریختارهای هم‌ریختی حلقه.

ب) ردهٔ فضاهای توپولوژیک (Top) با ریختارهای نگاشت‌های پیوسته.

عملِ گرفتن طیف اول (Prime Spectrum) یک حلقه، تابع‌گری پادورد (Contravariant Functor) به نام Spec تعریف می‌کند:

Spec : CRing → Top

برای هر حلقهٔ R، مجموعهٔ شیءها چنین است:

Spec(R) = { p ⊂ R : p ایده‌آل اول است }

و برای هر هم‌ریختی حلقه مانند φ از R به T، نگاشت پیوستهٔ زیر در توپولوژی زاریسکی حاصل می‌شود:

Spec(φ) : Spec(T) → Spec(R)

Spec(φ)(q) = φ⁻¹(q)

۴. رفتار موضعی‌سازی در فضا: زیرفضای باز توپولوژیک

اگر هم‌ریختی شمول موضعی‌سازی i از R به حلقهٔ کسرها S⁻¹R را به تابع‌گر Spec بدهیم، نگاشت زیر پدید می‌آید:

Spec(i) : Spec(S⁻¹R) → Spec(R)

این نگاشت در ردهٔ فضاهای توپولوژیک دارای ویژگی‌های برجسته‌ای است:

یک. نگاشت Spec(i) یک هومئومورفیسم بر روی تصویر خود است.

دو. تصویر این نگاشت دقیقاً برابر است با مجموعهٔ تمام ایده‌آل‌های اولی از R که با مجموعهٔ ضربی S هیچ اشتراکی ندارند:

Im(Spec(i)) = { p ∈ Spec(R) : p ∩ S = ∅ }

سه. در حالت خاصی که S حاصل توان‌های یک عضو f باشد (یعنی S = {1, f, f², ...})، تصویر این نگاشت همان مجموعهٔ باز پایه در توپولوژی زاریسکی به نام D(f) است:

D(f) = { p ∈ Spec(R) : f ∉ p }

بنابراین، موضعی‌سازی جبری در ردهٔ حلقه‌ها، هم‌ارز با گذر به «مجموعه‌های باز» در ردهٔ فضاهای توپولوژیک است.

۵. جمع‌بندی هندسی و رده‌ای

این پیوندها نشان می‌دهند که چگونه نظریهٔ رده‌ها هندسه و جبر را هم‌راستا می‌سازد:

نتیجه

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