ریاضیات

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

عنوان‌های جزئی

۱. تخصیص حلقه توابع هموار به عنوان یک تابع‌گر پادوردا

۲. عقب‌کش توابع و طبیعی بودن آن نسبت به نگاشت‌های هموار

۳. دوگانگی موضعی و قضیه بازسازی منیفلد از روی حلقه توابع

۴. بررسی تحلیلی تفاوت زیررده کامل و تابع‌گر کامل در تابع‌گر C^∞

مبانی مثال

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

هر منیفلد هموار M، حلقه جابه‌جایی و یکدار توابع حقیقی‌مقدار هموار را حمل می‌کند که آن را با C^∞(M) نشان می‌دهیم. این حلقه تنها یک مجموعه از توابع نیست، بلکه تمام اطلاعات هندسی محلی منیفلد را در خود نهفته دارد.

نکته محوری آن است که این تخصیص، نگاشت‌های هموار را به هم‌ریختی حلقوی در جهت عکس تبدیل می‌کند:

- نگاشت هموار f : M → N یک هم‌ریختی حلقه f* : C^∞(N) → C^∞(M) القا می‌کند؛

- ترکیب نگاشت‌ها در رده هندسی، به ترکیب عکس در رده جبری بدل می‌شود؛

- بنابراین با یک تابع‌گر پادوردا مواجهیم که فضای هندسی را در قالب جبر بازتاب می‌دهد.

صورت مثال

برای هر منیفلد هموار M، مجموعه توابع هموار حقیقی‌مقدار را در نظر بگیرید:

C^∞(M) = { g : M → ℝ : g هموار }

جمع نقطه‌به‌نقطه و ضرب نقطه‌به‌نقطه توابع، این مجموعه را به یک حلقه جابه‌جایی یکدار تبدیل می‌کند. برای هر نگاشت هموار f : M → N، نگ مجموعه را به یک حلقه جابه‌جایی یکدار تبدیل می‌کند. برای هر نگاشت هموار f : M → N، نگاشت عقب‌کش توابع چنین تعریف می‌شود:

f* : C^∞(N) → C^∞(M) ‌ریختی حلقه است و هندسه نگاشت f را به جبر، در جهت عکس منتقل می‌کند.

مقدمه

ایده بازسازی فضا از روی توابعِ روی آن، ریشه‌ای عمیق در هندسه جبری و آنالیز حقیقی دارد. در نظریه رده‌ها، تابع‌گر C^∞ نمونه‌ای از به‌کارگیری اصل دوگانگی است: به‌جای مطالعه مستقیم اشیاء و ریخت‌های فضایی، مربعات جبری متناظر را مطالعه می‌کنیم. پرسش بنیادین آن است که این بازتاب، چه مقدار از اطلاعات منیفلد اصلی را حفظ می‌کند و قالب رده‌ای این تناظر چیست.

بدنه

۱. اثبات ساختار تابع‌گر پادوردا

رده منیفلدهای هموار را با Man و رده حلقه‌های جابه‌جایی یکدار را با CRing نشان می‌دهیم. تخصیص زیر را در نظر می‌گیریم:

C^∞ : Man → CRing , M ↦ C^∞(M) , f ↦ f*

اثبات اصول تابع‌گری:

۱. شرط همانی: برای نگاشت همانی id_M : M → M داریم:

(id_M)*(g) = g ∘ id_M = g = id_{C^∞(M)}(g)

بنابراین (id_M)* = id_{C^∞(M)}.

۲. شرط ترکیب پادوردا: برای نگاشت‌های h : M → N و g : N → P داریم:

(g ∘ h)*(f) = f ∘ (g ∘ h) = (f ∘ g) ∘ h = h* ∘ g*(f)

۲. طبیعی بودن و سازگاری با ساختارهای دیگر

تابع‌گر حلقه توابع با تابع‌گر مقاطع در پیوند ذاتی است. برای هر کلاف برداری E روی M، مدول مقاطع Γ(E) یک مدول روی حلقه C^∞(M) است. این یعنی تابع‌گر مقاطع، در واقع روی رده کلاف‌های برداری به رده مدول‌های خانواده C^∞ عمل می‌کند и ساختار حلقوی را به‌طور طبیعی (به معنای Natural transformation) حفظ می‌نماید.

برای هر نگاشت هموار f : N → M و هر کلاف E روی M، تناظر طبیعیِ عقب‌کش مقاطع برقرار است:

Γ(f*(E)) ≅ C^∞(N) ⊗_{C^∞(M)} Γ(E)

۳. دو(f*(E)) ≅ C^∞(N) ⊗_{C^∞(M)} Γ(E)

۳. دوگانگی موضعی و بازسازی منیفلد

پرسش مرکزی آن است که آیا منیفلد M راطه نکات زیر:

الف) هر نقطه p ∈ M با ایده‌آل ماکسیمال m_p هم‌سنجیده می‌شود که مجموعه توابع محوشونده در p است:

m_p = { g ∈ C^∞(M) : g(p) = 0 }

ب) تار مماس T_p(M) دقیقاً با دوگان‌کردن این ایده‌آل به دست می‌آید:

T_p(M) ≅ ( m_p / m_p² )*

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

۴. تمایز بنیادین: زیررده کامل و تابع‌گر کامل

یک‌بار دیگر تفکیک این دو مفهوم را به‌صورت صریح بازمی‌نامیم:

- **زیررده کامل (Full Subcategory):**

زیررده منیفلدهای فشرده و همبند در میان همه منیفلدهای هموار، زیررده‌ای کامل است؛ چرا که مجموعه نگاشت‌های هموار میان دو منیفلد فشرده، دقیقاً همان مجموعه نگاشت‌های میان همان دو شیء در رده همه منیفلدهاست. این یک حکم درباره برابری مجموعه ریخت‌هاست، نه درباره پوشایی یک تابع‌گر.

- **تابع‌گر کامل (Full Functor):**

تابع‌گر حلقه توابع C^∞ را کامل می‌گویند اگر نگاشت‌های القاشده بر مجموعه ریخت‌ها پوشا باشند:

C^∞ : Hom_{Man}(M, N) → Hom_{CRing}(C^∞(N), C^∞(M))

**وضعیت تابع‌گر C^∞:** برای منیفلدهای هموار، این نگاشت به ازای هر هم‌ریختی حلقه که سازگار با مشتق‌گیری است، پوشاست و تابع‌گر در درجه مناسب «کامل» رفتار می‌کند. اما اگر رده را به توپولوژی‌های عمومی‌تر گسترش دهیم، هم‌ریختی‌های حلقه‌ای پدید می‌آیند که از هیچ نگاشت پیوسته هندسی ناشی نمی‌شوند؛ بنابراین کامل بودن به معنای مطلق، منوط به انتخاب رده مبدأ است و از این‌رو به دقت باید میان زیررده کامل و تابع‌گر کامل تمایز گذاشت.

نتایج

۱. تخصیص حلقه توابع هموار C^∞ یک تابع‌گر پادوردا از رده منیفلدها به رده حلقه‌های جابه‌جایی یکدار است:

C^∞ : Man → CRing , (g ∘ h)* = h* ∘ g*

۲. ایده‌آل‌های ماکسیمال حلقه توابع، دقیقاً نقاط منیفلد را بازسازی می‌کنند و ساختار مماسی از روی همان حلقه قابل بازیابی است؛ این همان دوگانگی موضعی است.

۳. تابع‌گر مقاطع Γ روی کلاف‌ها، به‌طور طبیعی روی خانواده حلقه‌های C^∞ عمل می‌کند و هندسه کلافی را به جبر مدولی بدل می‌سازد.

۴. بازشناسی صریح میان «زیررده کامل» (برابری مجموعه ریخت‌ها در دو رده) و «تابع‌گر کامل» (پوشایی نگاشت بر ریخت‌ها) برای تفسیر درست دوگانگی ضروری است.

**جمع‌بندی نهایی:**

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