🌿 هندسهٔ منیفلد و کلاف‌ها (دفتر دهم): آیینهٔ تعامد و دوگانگی گراسمانیان‌ها
بر اساس دست‌نوشته‌های ریاضی استاد دکتر علی‌اکبر عالم‌زاده: هم‌ریختی دیفرنسیل‌سنج، تجزیهٔ تانسوری کلاف تاتولوژیک و کلاف متمم متعامد در Rn
چو زیرفضا در حرمِ نور خفت،
متمم به آیینه‌اش گشت جفت.
یکی نغمه زد در کمندِ حضور،
دگر جلوه کرد از کران‌های دور.
دو گراسمانیان، یک حقیقت عیان،
تجلّیِ وحدت به هر دو جهان.
۱. اصل دوگانگی در گراسمانیان (Duality of Grassmannians)
در یادداشت‌های استاد، یکی از زیباترین جلوه‌های برقراری تقارن میان ابعاد، نگاشت کانونیک میان دو منیفلد گراسمانیان زیرفضاهای مکمل است. فرض کنید فضای اقلیدسی Rn مجهز به ضرب داخلی استاندارد ⟨· , ·⟩ باشد. گراسمانیان G(k, Rn)، منیفلدِ تمام زیرفضاهای برداریِ k-بعدی و G(n−k, Rn) منیفلد تمام زیرفضاهای (n−k)-بعدی است.
قضیهٔ بنیادین دست‌نوشته‌ها بیان می‌دارد:
Φ: G(k, Rn) ⟶ G(n−k, Rn)
S ⟼ S⊥
که در آن S⊥ متممِ متعامد (Orthogonal Complement) زیرفضای S است:
S⊥ = { v ∈ Rn | ∀ u ∈ S, ⟨u, v⟩ = 0 }
نگاشت Φ یک دیفئومورفیسم کانونیک و ایزومتریک میان این دو منیفلد هموار است.
۲. ساختار کلاف‌ها و تجزیهٔ جمع مستقیم متعامد
روی منیفلد M = G(k, Rn)، دو کلاف برداری کانونیک نشسته است:
- کلاف تاتولوژیک (γk): تارِ آن بر روی نقطهٔ S، خودِ زیرفضای S است (با بعد k).
- کلاف متمم متعامد (γ⊥): تارِ آن روی نقطهٔ S، زیرفضای S⊥ است (با بعد n − k).
حاصل جمع ویتنی (Whitney Sum) این دو کلاف، کلاف بدیهی کل فضا را بازتولید می‌کند:
γk ⊕ γ⊥ ≅ εn = G(k, Rn) × Rn
۳. بازتاب در ماتریس‌های تصویر: جابجایی P با (I − P)
اگر P = P(S) ماتریسِ تصویر متعامد روی زیرفضای S باشد، تصویر متعامد روی متممِ متعامدِ آن برابر است با:
PS⊥ = In − PS
با دیفرانسیل‌گیری از دو طرف این رابطه، یک هارمونی شگفت‌انگیز هویدا می‌شود:
d(PS⊥) = − d(PS)
این تقارن منفی بدین معناست که وقتی زیرفضا در جهتِ بردار مماسیِ X «می‌چرخد»، متمم آن با همان تندی اما با علامت معکوس در فضای فراگیر عکس‌العمل نشان می‌دهد. در نتیجه، تانسور انحنای کلاف متمم متعامد دقیقاً آیینه‌دارِ انحنای کلاف تاتولوژیک است:
Rγ⊥(X, Y) = − [ dP ∧ dP ]| S⊥(X, Y)
۴. فضای مماس گراسمانیان به مثابهٔ هم‌ریختی‌ها
یکی از درخشان‌ترین تعمیم‌های استاد عالم‌زاده، تبیین فضای مماس گراسمانیان بر حسب نگاشت‌های خطی میان تار و متمم آن است:
TS G(k, Rn) ≅ Hom(S, S⊥)
و چون بنا بر جبر خطی داریم Hom(S, S⊥) ≅ Hom(S⊥, S) (از طریق نگاشت الحاقی یا ترانهاده A ⟼ A*)، بُعد فضای مماس در هر دو گراسمانیان برابر با حاصل‌ضرب ابعاد زیرفضاهاست:
dim G(k, Rn) = dim G(n−k, Rn) = k(n − k)
سلوک هندسی در کلام استاد دکتر عالم‌زاده:
«هیچ زیرفضایی در خلاء تنها نیست؛ هر آنچه در قالب یک زیرفضای k-بعدی متجلی می‌شود، یک غیابِ متقارنِ (n−k)-بعدی در آغوشِ فضای کل از خود به جای می‌نهد. دیدنِ این خلأ و پر، همان دوگانگی کانونیک است. هندسهٔ گراسمانیان یعنی رقصِ همگامِ وجود و عدم در پیشگاهِ جبر.»
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.