ریاضیات

عنوان کلی: کلاف‌های برداری و تابع‌گر کلاف‌بندی: هندسه فضاها و مقاطع موضعی

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

۱. تعریف کلاف‌های برداری هموار به عنوان اشیاء یک رده

۲. نگاشت‌های کلافی و ساختار تابع‌گر مقاطع هموار

۳. کلاف‌های فرعی، زیررده‌ها و مفهوم تحدید

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

مبانی مثال

پس از بررسی ساختار کلاف‌های مماس و هم‌مماس و همچنین کوهمولوژی درام، اکنون می‌توانیم این مفاهیم را در قالب یک چارچوب کلی‌تر صورت‌بندی کنیم: کلاف‌های برداری هموار (Smooth Vector Bundles).

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

- هر نقطه از منیفلد پایه‌ای چون M دارای یک فضای برداری (تار یا Fiber) است؛

- موضعاً فضا شبیه به حاصل‌ضرب دکارتی منیفلد و فضای برداری اقلیدسی به نظر می‌رسد؛

- مقاطع هموار این کلاف‌ها (مانند میدان‌های برداری یا فرم‌های دیفرانسیلی)، فضاهای برداری از توابع برداری پدید می‌آورند.

صورت مثال

فرض کنید M یک منیفلد هموار باشد. یک کلاف برداری هموار با رتبه k روی M سه‌تایی (E, π, M) است که در آن:

- E منیفلد کل (Total Space) است؛

- M منیفلد پایه (Base Space) است؛

- π : E → M نگاشتی هموار و پوشاست؛

- برای هر نقطه p ∈ M، تار E_p = π⁻¹(p) یک فضای برداری k-بعدی حقیقی است؛

- شرط یکنواختی موضعی (Local Triviality) برقرار است: هر نقطه همسایگی باز U دارد به طوری که π⁻¹(U) با U × ℝᵏ دیفئومورف است و ساختار خطی تارها را حفظ می‌کند.

فضای مقاطع هموار این کلاف با Γ(E) یا Γ(M, E) نشان داده می‌شود:

Γ(E) = { s : M → E : π ∘ s = id_M }

هدف ما، بررسی رده کلاف‌های برداری روی یک منیفلد ثابت و تحلیل تابع‌گر مقاطع هموار است.

مقدمه

کلاف‌های مماس TM و کلاف‌های فرم‌های دیفرانسیلی ⋀ᵖ(T*M) نمونه‌های شاخصی از کلاف‌های برداری‌اند. بررسی رفتار این کلاف‌ها از دیدگاه نظریه رده‌ها، فهم عمیقی از پیوند میان هندسه دیفرانسیل موضعی و جبر مجرد مدول‌ها به دست می‌دهد؛ به‌ویژه آنکه طبق قضیه سر-سوان (Serre-Swan)، مقاطع کلاف‌های برداری روی منیفلدهای فشرده دقیقاً متناظر با مدول‌های تصویری متناهی‌تولید روی جبر توابع هموار هستند.

بدنه

۱. رده کلاف‌های برداری روی یک منیفلد ثابت

فرض کنید منیفلد هموار M ثابت باشد. رده VectBun(M) را به صورت زیر تعریف می‌کنیم:

- **اشیاء:** تمام کلاف‌های برداری هموار (E, π, M) روی پایه M؛

- **ریخت‌ها:** نگاشت‌های کلافی هموار Φ : E₁ → E₂ به طوری که دیاگرام زیر جابه‌جا شود (یعنی تارها را به تارها ببرد) و روی هر تار E_{1, p} یک نگاشت خطی به تار E_{2, p} باشد:

π₂ ∘ Φ = π₁

ترکیب دو ریخت کلافی و نگاشت همانی کلافی، بدیهتاً شرایط یک رده را ارضا می‌کنند.

۲. تابع‌گر مقاطع هموار

فضای توابع هموار روی M را با C^∞(M) نشان می‌دهیم که یک حلقه جابه‌جایی است. فضای مقاطع هموار Γ(E) نه تنها یک فضای برداری روی ℝ است، بلکه یک C^∞(M)-مدول نیز تشکیل می‌دهد:

(f · s)(p) = f(p) · s(p) , f ∈ C^∞(M) , s ∈ Γ(E)

هر ریخت کلافی Φ : E₁ → E₂ یک نگاشت هم‌ریختی مدولی القا می‌کند:

Γ(Φ) : Γ(E₁) → Γ(E₂)

(Γ(Φ)(s))(p) = Φ(s(p))

بنابراین، تخصیص E ↦ Γ(E) یک تابع‌گر همورد از رده کلاف‌های برداری به رده C^∞(M)-مدول‌هاست:

Γ : VectBun(M) → Mod_{C^∞(M)}

۳. عقب‌کش کلاف‌ها میان منیفلدهای متغیر

اگر منیفلد پایه متغیر باشد و f : N → M نگاشتی هموار میان دو منیفلد باشد، برای هر کلاف برداری E روی M، کلاف عقب‌کش f*(E) روی N به صورت حاصل‌ضرب فیبری تعریف می‌شود:

f*(E) = { (q, e) ∈ N × E : f(q) = π(e) }

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

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

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

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

رده کلاف‌های برداری بدیهی TrivialVectBun(M) (کلاف‌هایی به شکل M × ℝᵏ) یک زیررده کامل از VectBun(M) است؛ زیرا هر ریخت کلافی میان دو کلاف بدیهی، دقیقاً همان ریخت در رده بزرگتر کلاف‌های برداری است:

Hom_{TrivialVectBun}(M × ℝᵏ, M × ℝᵐ) = Hom_{VectBun}(M × ℝᵏ, M × ℝᵐ)

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

تابع‌گر مقاطع Γ را کامل می‌گویند اگر نگاشت زیر بر مجموعه ریخت‌ها پوشا باشد:

Γ : Hom_{VectBun}(E₁, E₂) → Hom_{Mod}(Γ(E₁), Γ(E₂))

**تحلیل وضعیت تابع‌گر مقاطع:**

طبق قضیه سر-سوان و ساختارهای هندسی، تابع‌گر Γ یک تابع‌گر **کامل و وفادار** (Fully Faithful) است:

۱. **وفادار بودن:** اگر دو ریخت کلافی Φ و Ψ مقاطع را به یک صورت نگاشت دهند، به دلیل وجود مقاطع موضعی کافی (از طریق توابع هموار برآمدگی یا Bump functions)، باید Φ = Ψ باشد.

۲. **کامل بودن:** هر هم‌ریختی C^∞(M)-خطی میان مدول مقاطع، دقیقاً از یک ریخت کلافی هموار هندسی ناشی می‌شود.

این انطباق کامل، پل اصلی تبدیل هندسه دیفرانسیل کلاف‌ها به جبر جابه‌جایی مدول‌ها به شمار می‌رود.

نتایج

۱. کلاف‌های برداری هموار روی یک منیفلد، رده‌ای غنی می‌سازند که ریخت‌های آن نگاشت‌های حافظ فیبر و خطی روی تارها هستند.

۲. تخصیص مقاطع هموار E ↦ Γ(E) یک تابع‌گر همورد از رده کلاف‌های برداری به رده مدول‌ها روی حلقه توابع هموار C^∞(M) است:

Γ : VectBun(M) → Mod_{C^∞(M)}

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

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

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

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