«آنچه در هر همسایگی بهصورت ژرم پدیدار میشود،
در کلِ فضا بهصورت مقطع شناخته میگردد؛
و فضای اِتاله، آیینه ای است که این دو را یکجا مینمایاند.»
فضای اِتاله: صورتِ هندسیِ شِفها
در فصلهای پیشین، شِف را با زبانِ بازها شناختیم: پیششِفی که بر هر باز U مجموعهای از مقاطع مینشاند،
همراه با دو شرطِ «موضعیت» و «چسباندن». اینک پرسش بنیادین این است:
آیا میتوان همین ساختارِ جبری را به صورتی کاملاً هندسی دید؟
پاسخِ این فصل، مثبت است: از دلِ هر شِف، فضایی تازه میروید که نقاطش ژرمها هستند —
فضای دارای هشت یا فضای اِتاله (Espace étalé).
۱. از مقطع تا ژرم
هر مقطع s ∈ A(U) در هر نقطهی x ∈ U یک «ژرم» به جا میگذارد؛
یعنی هویتی که تنها به رفتارِ s در همسایگیهای دلخواهِ کوچکِ x وابسته است.
مجموعهی همهی این ژرمها در نقطهی x، هشتِ شِف در آن نقطه است:
Ax = حد مستقیمِ A(U) روی همسایگیهای x
ژرم، «حقیقتِ موضعیِ» مقطع است: دو مقطع که در همسایگیِ مشترکی برابر باشند،
در x ژرمِ یکسانی دارند — هر چند در نقاط دوردست جدا شوند.
۲. فضای دارای هشت و نگاشتِ ساختار
اکنون همهی هشتها را — بهصورتِ ناهمگسسته — کنار هم مینهیم:
A = ⋃x ∈ X Ax
هر ژرم به نقطهی زیرینِ خود تعلق دارد؛ پس نگاشتی طبیعی پدید میآید:
π : A → X ، π(ژرمِ متعلق به x) = x
و فیبرِ این نگاشت، دقیقاً همان هشت است:
π−1(x) = Ax
زوجِ (A, π) — که A فضایی توپولوژیک است و π نگاشتی موضعی — فضای دارای هشت نامیده میشود.
این همان تعریفی است که در نخستین صفحهی یادداشتها آمده بود:
فضایی که بر فرازِ هر نقطه، لایهای از اطلاعات (هشت) دارد و این لایهها در همسایگیها با هم پیوند میخورند.
۳. توپولوژیِ فضای هشتها
خودِ فضای A چه توپولوژیای دارد؟ پاسخِ یادداشتها، ساختنِ بازها از روی بازهای X است:
برای هر بازِ U ⊆ X و هر مقطعِ s ∈ A(U)، تصویرِ s(U) — یعنی مجموعهی ژرمهای [s]x برای x ∈ U —
یک بازِ پایه در A است. توپولوژیِ A، کوچکترین توپولوژیای است که این بازهای پایه را در بر دارد.
در این توپولوژی، π بر هر بازِ پایه، یک همریختیِ موضعی است:
π |s(U) : s(U) → U همریختی
در مقیاسِ کوچک، فضا یکی میشود؛ اما در مقیاسِ کل، بر فرازِ هر نقطه،
هشتی از ژرمهای همخانواده گرد میآید. این همان خاصیتِ اِتاله است.
۴. عملِ پیوسته بر فضای دارای هشت
بخش دومِ یادداشتها از ساختارِ ایستا به پویایی میرود: اگر گروهی G بر این فضا عمل کند،
نگاشتِ حاصلضرب چنین است:
G × A → A ، (g, a) ↦ g·a
شرطِ سازگاری با ساختار آن است که عمل، فیبرها را نگاه دارد:
π(g·a) = π(a)
در این صورت عمل به هر هشت فرو میکاهد و یک عملِ القایی بر Ax پدید میآورد؛
و اگر هشتها ساختارِ گروهی یا مدولی داشته باشند، هر g بهمثابه خودریختیِ آن ساختار عمل میکند.
این حلقهی پنهان، پلی است به نظریهی مدولهای هموردا و پوششهای شِفی.
۵. مقطع: راهِ پیوسته در فضای ژرمها
اکنون پیوندِ دو زبان آشکار میشود. هر مقطعِ شِف، s ∈ A(U)، نگاشتی از U به فضای هشتها میسازد:
s̃ : U → A ، s̃(x) = [s]x
و بهسادگی دیده میشود که این نگاشت، مقطعِ π است:
π ∘ s̃ = idU
برعکس، هر مقطعِ پیوستهی π روی U، یک مقطعِ شِف بر U به دست میدهد.
پس مقاطعِ شِف، چیزی نیستند جز مقاطعِ پیوستهی فضای اِتاله.
۶. مورفیسمها در زبانِ فضاهای دارای هشت
دو شِف چگونه با هم سخن میگویند؟ اگر A و B دو فضای دارای هشت بر فرازِ X باشند،
نگاشتِ پیوستهی φ : A → B که فیبرها را به فیبرها ببرد، «نگاشتِ بالای X» نامیده میشود:
πB ∘ φ = πA
چنین نگاشتی هر مقطعِ s را به مقطعِ φ ∘ s میبرد و با تحدیدها سازگار است؛
پس یک مورفیسمِ شِفها پدید میآورد. و چون فیبرها حفظ میشوند، در هر نقطه فرو میکاهد به:
φx : Ax → Bx
سخنِ سراسریِ مورفیسم، در هر نقطه به سخنی موضعی فرو میکاهد؛
و سازگاریِ این سخنهای موضعی، همان مورفیسمِ سراسری را بازمیسازد.
۷. دو ساختِ معکوس و همارزیِ دستهها
اکنون جمعبندیِ بنیادین: دو ساخت داریم که جهتشان برعکس است.
از شِف به فضای هشتهایش میرویم:
A ↦ A = ⋃x ∈ X Ax
و از فضای دارای هشت به شِفِ مقاطعِ پیوستهاش برمیگردیم:
(A, π) ↦ Γ(−, A) ، Γ(U, A) = { s : U → A | s پیوسته، π ∘ s = idU }
این دو ساخت، معکوس یکدیگرند و با مورفیسمها نیز سازگارند؛
بنابراین همارزیِ دستهها برقرار است:
Sh(X) ≃ Etale(X)
در سمت چپ، دستهی شِفها روی X است با زبانِ بازها و تحدیدها؛
در سمت راست، دستهی فضاهای اِتاله بر فرازِ X است با زبانِ ژرمها و مقاطعِ پیوسته.
هر گزارهای را میتوان در یکی از این دو جهان روایت کرد؛ هر جا یکی دشوار شد، دیگری چراغ میافروزد.
۸. تأملِ پایانی
شِف، حقیقت را در بازها توزیع میکند؛ شرطِ سازگاری، این پراکندگی را در همسایگیهای مشترک هماهنگ میسازد؛
و شرطِ چسباندن، آن را به مقاطعی سراسری جمع میزند.
فضای اِتاله، همین فرایند را به صورتی هندسی نشان میدهد:
هر ژرم، نقطهای است بر فرازِ نقطهای از زمین؛
π، جایگاهِ هر ژرم را مینمایاند؛
و هر مقطع، شاخهای پیوسته است که بر فرازِ بازها میخرامد.
اینجا، جبرِ مواضع و هندسهی کل، یک حقیقتاند.
«شِف، زبانِ مقاطع است؛ فضای اِتاله، صورتِ هندسیِ آن زبان؛
و ژرم، نقطهای که حقیقتِ محلی در آن به ظهور میرسد.
هر باز، دریچهای است به بخشی از حقیقت؛
و شِف، هنرِ آن است که این دریچهها را به یک افق بدل کند.»
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.