ریاضیات

عنوان کلی: مبانی منیفلدهای هموار و نظریه رده‌ها: ساختار کلاف هم‌مماس و پادوردایی

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

۱. تعریف هندسی فضای هم‌مماس و کلاف هم‌مماس

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

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

۴. کاربردهای فیزیکی و هندسی در فضای فاز و مکانیک همیلتونی

مبانی مثال

در مباحث پیشین دیدیم که کلاف مماس یک تابع‌گر همورد (Covariant) بر رده منیفلدهای هموار می‌سازد. اکنون به ساختار دوگان آن، یعنی کلاف هم‌مماس (Cotangent Bundle) می‌پردازیم. این ساختار از دو جنبه بنیادین دارای اهمیت است:

- در هندسه دیفرانسیل، بستر تعریف فرم‌های دیفرانسیلی و ساختار سیمپلکتیک است؛

- در نظریه رده‌ها، نمونه‌ای کامل از یک تابع‌گر پادوردا (Contravariant Functor) به شمار می‌آید.

بررسی این مفهوم، زمینه را برای درک دقیق پیوند میان جبر دوگان، هندسه منیفلدهای هموار و زبان نظریه رده‌ها هموار می‌سازد.

صورت مثال

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

T*_pM = (T_pM)* = Hom_ℝ(T_pM, ℝ)

اجتماع مجزای این فضاهای برداری، کلاف هم‌مماس را پدید می‌آورد:

T*M = ∐_{p ∈ M} T*_pM

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

مقدمه

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

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

بدنه

۱. ساختار هندسی و اطلس کلاف هم‌مماس

اگر M یک منیفلد هموار n-بعدی با چارت موضعی:

(U, φ = (x¹, x², ..., xⁿ))

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

{ ∂ / ∂x¹, ∂ / ∂x², ..., ∂ / ∂xⁿ }

پایه دوگان متناظر در فضای هم‌مماس، شامل دیفرانسیل مختصات‌هاست:

{ dx¹, dx², ..., dxⁿ }

که در رابطه دوگانی صدق می‌کنند:

dxⁱ ( ∂ / ∂xʲ ) = δⁱ_ʲ

هر هم‌بردار ω در نقطه p را می‌توان به فرم زیر نوشت:

ω = p₁ dx¹ + p₂ dx² + ... + pₙ dxⁿ

بنابراین، نقاط کلاف هم‌مماس به‌صورت موضعی با زوج (x¹, ..., xⁿ, p₁, ..., pₙ) نمایش داده می‌شوند و T*M یک منیفلد هموار با بعد 2n است.

۲. نگاشت عقب‌کش و پادوردایی

فرض کنید f : M → N یک نگاشت هموار میان دو منیفلد باشد. دیفرانسیل نگاشت f در نقطه p به‌صورت زیر عمل می‌کند:

df_p : T_pM → T_{f(p)}N

دوگان این نگاشت خطی، نگاشت عقب‌کش (Pullback) نامیده می‌شود:

(df_p)* : T*_{f(p)}N → T*_pM

برای هر هم‌بردار α در نقطه f(p) و هر بردار مماس v در نقطه p، مقدار عقب‌کش برابر است با:

( (df_p)*(α) )(v) = α( df_p(v) )

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

۳. ویژگی‌های تابع‌گری

نگاشت عقب‌کش در دو اصل بنیادین تابع‌گر پادوردا صدق می‌کند:

الف) همانی: برای نگاشت همانی بر منیفلد M، عقب‌کش همان نگاشت همانی بر کلاف هم‌مماس است:

(d(id_M))* = id_{T*M}

ب) ترکیب معکوس: برای دو نگاشت متوالی f : M → N و g : N → P، داریم:

(d(g ∘ f))* = (df)* ∘ (dg)*

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

T* : Manᵒᵖ → Man

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

در نظریه رده‌ها حفظ دقت در دو اصطلاح اساسی ضرورت دارد:

- **زیررده کامل (Full Subcategory):** اگر C' زیررده‌ای از C باشد، C' را کامل می‌گویند هرگاه برای هر دو شیء A و B در C'، مجموعه ریخت‌های میان آن‌ها دقیقاً یکسان باشد:

Hom_{C'}(A, B) = Hom_C(A, B)

مانند رده گروه‌های آبلی Ab که یک زیررده کامل از رده تمام گروه‌ها Grp است.

- **تابع‌گر کامل (Full Functor):** تابع‌گر F میان دو رده را کامل می‌گویند هرگاه نگاشت القاشده بر ریخت‌ها پوشا باشد:

F_{A,B} : Hom_C(A, B) → Hom_D(F(A), F(B))

تابع‌گر کلاف هم‌مماس T* یک تابع‌گر وفادار (Faithful) است؛ چراکه برابری عقب‌کش‌ها ایجاب می‌کند خود نگاشت‌های اولیه برابر باشند. اما این تابع‌گر «کامل» نیست؛ زیرا نگاشت‌های هموار متعددی میان T*N و T*M وجود دارند که ساختار الیافی و دوگانی را حفظ نمی‌کنند و از عقب‌کش هیچ نگاشتی میان منیفلدها پدید نیامده‌اند.

۵. جایگاه فیزیکی و هندسی کلاف هم‌مماس

کلاف هم‌مماس همواره دارای یک ساختار کانونیک طبیعی است؛ فرم یک‌تایی لیوویل (Liouville 1-form) که به‌صورت موضعی چنین نوشته می‌شود:

θ = p₁ dx¹ + p₂ dx² + ... + pₙ dxⁿ

مشتق خارجی منفی این فرم، فرم سیمپلکتیک استاندارد را پدید می‌آورد:

ω = − dθ = dx¹ ∧ dp₁ + dx² ∧ dp₂ + ... + dxⁿ ∧ dpₙ

این فرم بسته و ناوابسته، T*M را به یک منیفلد سیمپلکتیک طبیعی بدل می‌سازد که پایه محاسبات در مکانیک همیلتونی و فیزیک کوانتومی است.

نتایج

۱. فضای هم‌مماس دوگان جبری فضای مماس است و کلاف هم‌مماس T*M منیفلدی هموار با بعد 2n می‌سازد.

۲. نگاشت دیفرانسیل هم‌بردارها را در جهت عکس منتقل می‌کند؛ ازاین‌رو T* یک تابع‌گر پادوردا است:

(d(g ∘ f))* = (df)* ∘ (dg)*

۳. باید میان زیررده کامل (برابری مجموعه ریخت‌ها در شمول) و تابع‌گر کامل (پوشا بودن نگاشت بر ریخت‌ها) تمایز گذاشت؛ تابع‌گر کلاف هم‌مماس وفادار است ولی کامل نیست.

۴. کلاف هم‌مماس برخلاف کلاف مماس، به‌طور ذاتی مجهز به فرم کانونیک و ساختار سیمپلکتیک است و هندسه فضای فاز فیزیک کلاسیک را تشکیل می‌دهد.

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

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