ریاضیات

«فضای پایه، زمین است؛ بازها، پنجره ها؛

ژرمها، نگاهِ هر پنجره به یک نقطه؛

و فضای اِتاله، کاخی که همه ی این نگاهها را یکجا نگاه میدارد.»

مثالِ ترکیبی: شِفِ توابعِ پیوسته بر ℝ

یک مثال، اما نه مثالی گسسته؛ گردشی است یکپارچه در تمامِ ایستگاههای این فصل:

پیششِف ← شِف ← ژرم ← هشت (حد مستقیم) ← فضای اِتاله ← مقطع ← مورفیسم.

قهرمانِ این گردش، شِفِ توابعِ پیوستهی حقیقیمقدار بر خطِ اعداد است؛

ساده برای شهود، و در عین حال آنقدر غنی که هر مفهومِ این فصل را با دست نشان دهد.

۱. ایستگاهِ نخست: پیششِفِ توابعِ پیوسته

فضای پایه X = ℝ است. برای هر بازِ U ⊆ ℝ تعریف میکنیم:

نگاشتِ تحدید، همان تحدیدِ معمولِ توابع است: برای V ⊆ U داریم:

شرطِ همانی (f|_U = f) و شرطِ تراگذری (تحدیدِ دوباره = تحدیدِ یکجا) بدیهی برقرارند؛

و چون جمع و ضربِ نقطهایِ توابعِ پیوسته، پیوسته است، C یک پیششِف از حلقهها است.

۲. ایستگاهِ دوم: آزمونِ شِف بودن

شرطِ موضعیت: اگر {U_i} پوششی از U باشد و f|_Ui = 0 برای هر i، آنگاه f = 0؛ زیرا هر نقطه در یکی از U_iهاست و مقدارِ f در آنجا صفر است.

شرطِ چسباندن: اگر f_i ∈ C(U_i) و روی هر اشتراک داشته باشیم:

آنگاه یک f ∈ C(U) یکتا هست با f|_Ui = f_i:

مقدار را بهصورت f(x) = f_i(x) تعریف میکنیم — سازگاری، خوشتعریفی را میدهد و پیوستگی، موضعی است.

مثالِ موفقِ چسباندن: U₁ = (−∞, 1)، U₂ = (0, ∞) و f₁ = f₂ = x. روی (0, 1) هر دو x هستند؛ پس میچسبند به f(x) = x روی تمام ℝ.

مثالِ نافرجام: f₁ = 0 روی (−∞, 1) و f₂ = 1 روی (0, ∞). روی اشتراکِ (0, 1) داریم 0 ≠ 1؛ ناسازگاری، چسباندن را ناممکن میکند — سازگاری، خودبهخود نمیآید؛ شرط است.

۳. ایستگاهِ سوم: ژرمها و محاسبهی هشت

دو مقطع s ∈ C(U) و t ∈ C(V) را در نقطهی x همارز میخوانیم اگر بازِ W با x ∈ W ⊆ U ∩ V وجود داشته باشد که:

کلاسِ همارزی، ژرمِ s در x است، و مجموعهی همهی ژرمها در x، هشتِ شِف:

سه محاسبهی روشنگر:

• دو ژرمِ متفاوت، دو مربعِ یکسان: [x]₀ ≠ [|x|]₀ — چون در هر همسایگیِ ۰، روی نیمهی منفی جدا میشوند؛ اما [x²]₀ = [|x|²]₀. ژرم، ریزتر از هر «مقدار نقطهای» است.
• هشت، حوزهی صحیح نیست: a(x) = x⁺ و b(x) = x⁻ را بگیر. هر دو ژرمِ ناصفر در ۰ دارند (هر کدام روی یک سمتِ کامل ناصفرند)، اما a·b ≡ 0، پس [a]₀ · [b]₀ = [0]₀ = 0. یعنی C₀ مقسومعلیههای صفر دارد — برخلافِ شهودِ جبریِ سادهانگارانه.
• ژرم از دادهی تیلور غنیتر است: h(x) = e^−1/x² (با h(0) = 0) ژرمِ ناصفر در ۰ دارد، حالآنکه همهی مشتقهایش در ۰ صفرند. ژرم، «همهی» رفتارِ محلی را به یاد دارد، نه فقط مشتقها را.

و نیز: تابعِ 1/x هیچ ژرمی در ۰ ندارد — نه در هیچ همسایگیِ ۰ تعریف شده است. ژرم، نیازمندِ همسایگی است، نه فقط نقطه.

۴. ایستگاهِ چهارم: هشت بهمثابهی حد مستقیم

مجموعهی شاخص: I = {همسایگیهای بازِ x} با ترتیبِ معکوسِ شمول:

این مجموعه جهتدار است، زیرا اشتراکِ دو همسایگی، خود همسایگی است.

خانوادهی (C(U), r_U,V) یک سیستمِ استقرایی میسازد و حدِ مستقیم آن L = lim→ C(U) با نگاشتهای

i_U : C(U) → L و ویژگیِ جهانیِ همیشگی همراه است:

هر خانوادهی سازگارِ φ_U : C(U) → R به یک Φ : L → R یکتا میرسد.

اکنون ادعا: این حدِ مستقیم، دقیقاً همان هشت است:

هر ژرم، نمایندهای دارد (پوشایی) و دو نمایندهی همژرم، در یک همسایگی برابرند (یکتایی).

ویژگیِ جهانی نیز معنایی زنده مییابد: هر شناختِ سازگار از مقاطعِ روی همسایگیها،

در حقیقت شناختی است از ژرمها — حدِ مستقیم، زبانِ «نگاهِ مشترکِ همسایگیها» است.

۵. ایستگاهِ پنجم: برافراشتنِ فضای اِتاله

همهی هشتها را — ناهمگسسته — کنار هم مینهیم و نگاشتِ ساختار را تعریف میکنیم:

پس فیبرِ هر نقطه، همان هشت است:

توپولوژیِ E را بازهای پایه میسازند: برای هر بازِ U و هر f ∈ C(U):

دو ژرم در همسایگیِ یکدیگرند اگر از یک مقطعِ مشترک برآمده باشند.

بر هر بازِ پایه، π یک همریختی است (وارونش x ↦ [f]_x است)؛

پس π یک همریختیِ موضعی است و (E, π) یک فضای اِتاله است.

مقاطع: هر f ∈ C(U) مقطعی پیوسته میدهد:

و برعکس، هر مقطعِ پیوستهی σ : U → E به یک تابعِ پیوسته برمیگردد:

در هر x₀، ژرم σ(x₀) نمایندهای f دارد و پیوستگیِ σ نشان میدهد که در یک همسایگی، σ = σ_f است؛

این fهای محلی سازگارند و میچسبند. پس:

مقاطعِ شِف = مقاطعِ پیوستهی فضای اِتاله. و این، همان همارزیِ Sh(ℝ) ≃ Etale(ℝ) است که اینجا با دست لمس میشود.

مثالِ نافرجام برای «مقطع»: در هر نقطه، ژرمِ تابعِ ثابتِ صفر را برای x گویا و ژرمِ تابعِ ثابتِ یک را برای x گنگ برگزین.

این «گزینشِ ژرم» یک مقطعِ ناپیوسته است: هیچ تابعِ پیوستهای نیست که روی مجموعهی چگالِ گویاها صفر و روی گنگها یک باشد.

هر گزینشی مقطع نیست؛ تنها آنکه از دامنِ یک تابعِ پیوسته برآید، مقطع است.

۶. ایستگاهِ ششم: مورفیسمِ ارزیابی و هشتِ هسته

شِفِ «آسمانخراش» را در نقطهی ۰ تعریف میکنیم:

و مورفیسمِ «ارزیابی در ۰»:

این خانواده با تحدیدها سازگار است؛ پس یک مورفیسمِ شِفهاست. اثرش بر هشتها:

• در x = 0: هشتِ S₀ خودِ ℝ است (هر همسایگیِ ۰، ۰ را دارد) و نگاشتِ القاشده: ev₀ : C₀ → ℝ با [f]₀ ↦ f(0) — پوشا، با هسته:

• در x ≠ 0: هشتِ S₀ صفر است (چون ℝ\{0} همسایگیِ x است و S₀ آنجا صفر است)؛ پس نگاشتِ القاشده، نگاشتِ صفر است: C_x → 0.

قضیهی ترکیبی که اینجا عیان میشود — هشتِ هسته = هستهی هشت:

شِفِ هستهی ker(ev) در هر U شامل توابعی است که (اگر ۰ ∈ U) در ۰ ناپدید میشوند.

هشتِ این شِف در ۰، دقیقاً m₀ است و در x ≠ 0، دقیقاً C_x —

یعنی همان هستهی نگاشتهای القاشده بر هشتها. این یک قضیهی کلی است؛ این مثال، صورتِ برهنهی آن است.

پاداشِ جبری — هشت، حلقهی موضعی است:

هر ژرمِ ناپدیدنشده در ۰ وارونپذیر است: اگر f(0) ≠ 0، آنگاه f در همسایگیای از ۰ ناصفر است و 1/f ژرمی در C₀ است.

پس m₀ تنها ایدهآلِ بیشینِ C₀ است و:

این دقیقاً همان الگوی هندسهی جبری است: در آنجا برای شِفِ ساختاری O_X، هشتِ O_X,p حلقهی موضعی است،

m_p ایدهآلِ بیشینِ یکتاست و O_X,p/m_p ≅ k میدانِ باقیمانده.

اینجا «میدانِ باقیمانده»ی هشت، خودِ ℝ است — توابعِ پیوسته، در مقیاسِ ژرم، «ارزشِ حقیقیِ» نقطه را به یاد دارند.

۷. ایستگاهِ پایانی: دو زبان، یک حقیقت

آنچه از این گردش آموختیم:

• پیششِف با دو شرطِ موضعیت و چسباندن، شِف میشود؛ سازگاری بر اشتراکها، شرطِ ورود است.
• ژرم، حقیقتِ موضعیِ مقطع است و هشت، خانهی ژرمها؛ هشتها میتوانند مقسومعلیه صفر داشته باشند و از دادهی تیلور غنیترند.
• هشت = حد مستقیمِ مقاطعِ روی همسایگیها؛ ویژگیِ جهانی، زبانِ دقیقِ همین برابری است.
• فضای اِتاله، صورتِ هندسیِ شِف است: فیبرها هشتها هستند و مقاطعِ پیوستهاش، دقیقاً مقاطعِ شِف.
• هشتِ شِفِ توابع، حلقهی موضعی است با میدانِ باقیماندهی ℝ — و این، پلِ همین مثالِ ساده به قلبِ هندسهی جبری است.

«از پیششِف تا اِتاله، یک نفس بیش نبود:

حقیقت، موضعی آغازید و سراسری به انجام رسید؛

و هر نقطه، در فیبرِ خود، تمامِ آن نفس را نگاه داشت.»