ریاضیات

عنوان کلی: مبانی هندسه دیفرانسیل و نظریه رده‌ها: کوهمولوژی درام و ویژگی‌های تابع‌گری آن

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

۱. تعریف مجتمع زنجیری فرم‌ها و گروه‌های کوهمولوژی درام

۲. نگاشت القاشده در کوهمولوژی و اثبات تابع‌گری پادوردا

۳. ناوردایی هوموتوپی و لم پوانکاره از دیدگاه رده‌ها

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

مبانی مثال

در گام پیشین دیدیم که فرم‌های دیفرانسیلی به همراه عملگر مشتق خارجی یک مجتمع دیفرانسیلی مدرج پدید می‌آورند. اکنون به مطالعه توپولوژی جبری ناشی از این ساختار، یعنی کوهمولوژی درام (de Rham Cohomology) می‌پردازیم.

این ساختار پیوندی عمیق میان تحلیل ریاضی روی منیفلدها و توپولوژی جبری برقرار می‌کند:

- به هر منیفلد هموار، دنباله‌ای از فضاهای برداری حقیقی نسبت داده می‌شود که سوراخ‌ها و ویژگی‌های سراسری فضا را اندازه می‌گیرند؛

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

- این تبدیل، اطلاعات هندسی موضعی را به ناورداهای سراسری و توپولوژیک بدل می‌سازد.

صورت مثال

فرض کنید M یک منیفلد هموار n-بعدی باشد. مجتمع درام به‌صورت دنباله زیر از فضاها و عملگرهای مشتق خارجی تعریف می‌شود:

0 → Ω⁰(M) → Ω¹(M) → Ω²(M) → ... → Ωⁿ(M) → 0

که در آن برای هر k داریم:

d_{k} : Ωᵏ(M) → Ω^{k+1}(M) , d_{k+1} ∘ d_k = 0

فضای k-فرم‌های بسته (هسته‌ها) و فضای k-فرم‌های دقیق (تصویرها) را به‌ترتیب با Zᵏ(M) و Bᵏ(M) نشان می‌دهیم:

Zᵏ(M) = Ker(d_k) = { ω ∈ Ωᵏ(M) : dω = 0 }

Bᵏ(M) = Im(d_{k−1}) = { dη : η ∈ Ω^{k−1}(M) }

چون d² = 0 است، همواره Bᵏ(M) زیرفضای خطی Zᵏ(M) است. فضای خارج‌قسمتی زیر را k-امین گروه کوهمولوژی درام منیفلد M می‌نامیم:

Hᵏ_dR(M) = Zᵏ(M) / Bᵏ(M)

هدف ما تحلیل رفتار رده‌ای این ساختار و بررسی ویژگی‌های نگاشتی آن به رده فضاهای برداری است.

مقدمه

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

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

بدنه

۱. نگاشت القاشده در کوهمولوژی

فرض کنید f : M → N نگاشتی هموار میان دو منیفلد باشد. پیش‌تر نشان دادیم که نگاشت عقب‌کش f* با عملگر مشتق خارجی جابه‌جا می‌شود:

d ∘ f* = f* ∘ d

این رابطه دو نتیجه مستقیم دارد:

الف) اگر ω بسته‌ باشد (dω = 0)، آنگاه f*(ω) نیز بسته است:

d(f*(ω)) = f*(dω) = f*(0) = 0

ب) اگر ω دقیق باشد (ω = dη)، آنگاه f*(ω) نیز دقیق است:

f*(ω) = f*(dη) = d(f*(η))

بنابراین، نگاشت f* یک نگاشت خطی روی فضاهای خارج‌قسمتی القا می‌کند که آن را با f* نشان می‌دهیم:

f* : Hᵏ_dR(N) → Hᵏ_dR(M)

f*([ω]) = [f*(ω)]

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

رده‌های زیر را در نظر می‌گیریم:

- **Man:** رده منیفلدهای هموار و نگاشت‌های هموار؛

- **Vect_ℝ:** رده فضاهای برداری روی اعداد حقیقی و نگاشت‌های خطی.

تخصیص Hᵏ_dR برای هر k نامنفی یک تابع‌گر پادوردا از رده Man به رده Vect_ℝ است:

Hᵏ_dR : Manᵒᵖ → Vect_ℝ

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

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

(id_M)*([ω]) = [(id_M)*(ω)] = [ω] = id_{Hᵏ(M)}([ω])

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

(g ∘ f)*([ω]) = [(g ∘ f)*(ω)] = [(f* ∘ g*)(ω)] = f*(g*([ω])) = (f* ∘ g*)([ω])

بنابراین:

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

۳. ناوردایی هوموتوپی و تقلیل به جبر

یکی از برجسته‌ترین ویژگی‌های تابع‌گر کوهمولوژی، ناوردایی آن نسبت به هم‌ارزی هوموتوپی است. اگر دو نگاشت هموار f, g : M → N هوموتوپ هموار باشند (f ≃ g)، آنگاه نگاشت‌های القاشده جبری آن‌ها دقیقاً یکسان خواهند بود:

f* = g* : Hᵏ_dR(N) → Hᵏ_dR(M)

به عنوان مثال، برای فضای اقلیدسی ℝⁿ که انقباض‌پذیر به یک نقطه است، طبق لم پوانکاره داریم:

H⁰_dR(ℝⁿ) ≅ ℝ

Hᵏ_dR(ℝⁿ) = 0 (برای هر k ≥ 1)

این ویژگی نشان می‌دهد که تابع‌گر کوهمولوژی در واقع از رده هوموتوپی منیفلدها عبور می‌کند.

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

در این مبحث نیز تفکیک دو مفهوم رده‌ای برای درک رفتار ساختار الزامی است:

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

رده فضاهای برداری با بعد متناهی FinVect_ℝ یک زیررده کامل از رده تمام فضاهای برداری Vect_ℝ است؛ زیرا برای هر دو فضای برداری با بعد متناهی V و W، مجموعه تمام نگاشت‌های خطی در هر دو رده کاملاً برابر است:

Hom_{FinVect}(V, W) = Hom_{Vect}(V, W)

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

تابع‌گر Hᵏ_dR را کامل می‌گویند اگر نگاشت زیر بر مجموعه‌های ریخت پوشا باشد:

Hᵏ_dR : Hom_{Man}(M, N) → Hom_{Vect}(Hᵏ_dR(N), Hᵏ_dR(M))

**بررسی وضعیت تابع‌گر کوهمولوژی:**

تابع‌گر Hᵏ_dR یک تابع‌گر «کامل» نیست و علاوه بر آن «وفادار» (Faithful) نیز نمی‌باشد:

۱. **کامل نبودن:** برای منیفلدهای مختلف، ممکن است نگاشت‌های خطی اختیاری میان گروه‌های کوهمولوژی وجود داشته باشد که هیچ نگاشت هموار هندسی نتواند آن‌ها را القا کند.

۲. **وفادار نبودن:** اگر دو نگاشت متمایز f و g میان دو منیفلد هوموتوپ باشند ولی با یکدیگر برابر نباشند (مانند نگاشت‌های ناهمانند بر دایره که درجه یکسان دارند)، نگاشت‌های القاشده آن‌ها در کوهمولوژی برابرند (f* = g*) در حالی که f ≠ g است؛ بنابراین نگاشت ریخت‌ها یک‌به‌یک نیست.

نتایج

۱. کوهمولوژی درام Hᵏ_dR(M) با خارج‌قسمت‌گیری فرم‌های بسته بر فرم‌های دقیق ساخته می‌شود و ناوردایی سراسری و توپولوژیک منیفلد را ثبت می‌کند.

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

Hᵏ_dR : Manᵒᵖ → Vect_ℝ

۳. تابع‌گر کوهمولوژی نه کامل است و نه وفادار؛ این ویژگی طبیعی تابع‌گرهای توپولوژی جبری است که جزئیات هندسی موضعی را حذف کرده و فقط اطلاعات اساسی همبندی و حفره‌های فضا را بازتاب می‌دهند.

۴. تمایز میان زیررده کامل (نظیر فضاهای برداری بعد متناهی در رده کل فضاهای برداری) و تابع‌گر کامل، مانع از اشتباه در تحلیل هم‌ریختی‌های القاشده جبری می‌گردد.

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

کوهمولوژی درام نمونه‌ای استوار از قدرت روش‌های رده‌ای در یکپارچه‌سازی آنالیز روی منیفلدها و توپولوژی جبری است. این تابع‌گر پادوردا نشان می‌دهد چگونه می‌توان با گذر از جبر موضعی فرم‌ها به ساختارهای خارج‌قسمتی، به ناورداهای سراسری و بنیادین فضاها دست یافت.