«هر واریته، بدنی است با هزاران عضو، و میدانِ توابعش جانِ واحدِ آن بدن است:
حاضر در همه‌جا، بی‌آنکه به صورتی مقید باشد —
نهفته در باطن، کامل‌تر از هر جلوه.»
توابعِ گویا و میدانِ کسرها: روحِ سراسریِ واریته
۱. از توابعِ منظم تا توابعِ گویا
توابعِ منظمِ سراسری، سخت‌گیر و محدودند: بر واریته‌ی افینِ X = Spec(A)، همان حلقه‌ی A را می‌دهند؛ اما بر واریته‌ی تصویری، تنها توابعِ ثابت می‌مانند — گویی روحِ واریته در هیچ صورتِ سراسری نمی‌گنجد. پس ناگزیریم توابعی را بپذیریم که بر یک بازِ چگال تعریف شده‌اند، نه بر همه‌ی فضا: اینان توابعِ گویااند. همچون معنایی که در هیچ جا به تمامی ظهور نمی‌کند، اما در هر همسایگی حاضر است.
۲. تعریف: کلاس‌هایِ هم‌ارزی
فرض کنید X واریته‌ای تحویل‌ناپذیر (Irreducible) باشد. در این صورت هر بازِ ناتهی، چگال است. یک تابعِ گویا بر X، کلاسِ هم‌ارزیِ زوج‌هایِ (U , f) است، که U بازِ ناتهی و f ∈ OX(U):
(U , f) ~ (V , g) ⇔ f = g بر روی U ∩ V
یعنی دو بیان، اگر بر سرزمینِ مشترکِ خود هم‌آوا باشند، یک حقیقت‌اند. مجموعه‌ی این کلاس‌ها را با K(X) نشان می‌دهیم:
K(X) = { (U , f) : U ⊆ X باز، f ∈ OX(U) } / ~
۳. میدانِ توابع (Function Field)
جمع و ضربِ دو تابعِ گویا را با بازگشت به بازِ مشترکِ هر دو تعریف می‌کنیم؛ و چون X تحویل‌ناپذیر است، این باز نیز ناتهی و چگال است. بدین‌سان K(X) یک میدان است — نه merely حلقه. این میدان، «جانِ» واریته است: همه‌ی توابعِ منظمِ موضعی، در دلِ آن جای دارند و هر تابعِ گویا، نسبتی است از دو تابعِ منظم (کسرِ دو «صورت»).
۴. نقطه‌ی عمومی: باطنِ واریته
چون X تحویل‌ناپذیر است، یک نقطه‌ی عمومی (Generic Point) دارد: نقطه‌ای چون ξ که بستارِ آن، تمامِ X است — نقطه‌ای که در هیچ بازِ ناتهی‌ای غایب نیست. و رازِ بزرگ این است که میدانِ توابع، همان هشتِ ساختار در این نقطه است:
K(X) = OX, ξ
نقطه‌ی عمومی، نقطه‌ای «پنهان» است که همه‌ی نقاط از اوست؛ و هشتِ او، تمامِ حقیقتِ واریته را در خود دارد. هرچه نقطه فشرده‌تر و «آشکارتر» باشد (نقطه‌ی بسته)، دیدِ او محدودتر است؛ و هرچه به باطن نزدیک‌تر شویم، حقیقت کامل‌تر. جلوه، فشرده‌سازیِ حقیقت است؛ باطن، گشادگیِ آن.
۵. حالتِ افین: میدانِ کسرهای حلقه
اگر X = Spec(A) و A یک حوزه‌ی صحیح باشد، میدانِ توابع همان میدانِ کسرهای A است:
K(X) = Frac(A) = Quot(A)
و حلقه‌ی موضعیِ هر نقطه‌ی p، زیرحلقه‌ای از این میدان است — توابعِ گویایی که در p «منظم‌اند»:
OX, p = Ap = { a/s : s ∉ p } ⊆ K(X)
پس زنجیره‌ای داریم که از کل به جزء می‌رسد:
A ⊆ Ap ⊆ K(X)
و چون A یک حوزه است، بازگشت نیز ممکن است: حلقه، «اشتراکِ» همه‌ی نگاه‌هایِ موضعیِ خویش است — A = ∩ Ap (درونِ K(X)). کل، چیزی نیست جز هم‌آواییِ همه‌ی موضع‌ها.
۶. نگاشت‌هایِ غالب و الحاقِ میدان‌ها
اگر f : X → Y یک نگاشتِ غالب (Dominant) باشد — یعنی نگاره‌اش چگال باشد — آن‌گاه بازکشش، میدانِ توابعِ Y را در میدانِ توابعِ X می‌نشاند:
f# : K(Y) ↪ K(X)
پس هر نگاشتِ غالب، یک گسترشِ میدانی می‌آفریند؛ و دو واریته «دومتخلخل‌هم‌ارز» (Birational)اند اگر و تنها اگر میدان‌هایِ توابع‌شان یکریخت باشند. حتی بُعدِ واریته نیز از همین میدان خوانده می‌شود:
dim X = trdegk K(X)
یعنی «بلندیِ» واریته، همان «آزادیِ» میدانِ جانِ آن است — هرچه روح فراخ‌تر، جهان بلندتر.
۷. تأمل: باطن، جلوه، حجاب
- نقطه‌ی عمومی، باطنِ واحدِ واریته است: نقطه‌ای که دیده نمی‌شود، اما هیچ جا غایب نیست. همه‌ی نقاطِ بسته، جلوه‌هایی‌اند که از او منقبض شده‌اند.
- توابعِ گویا، معانیِ مطلقی‌اند که در هیچ صورتِ واحدی نمی‌گنجند؛ قطب‌هایشان (Poles) همان حجاب‌هایی‌اند که در موضعی، جلوه را می‌پوشانند — تابع در همه‌جا هست، اما در آن نقطه «پوشیده» است.
- میدانِ توابع، وحدتِ باطنیِ کثرتِ صور است: همه‌ی حلقه‌هایِ موضعی، زیرحلقه‌هایِ یک میدان‌اند؛ همه‌ی نگاه‌ها، نگاه‌هایِ یک حقیقت. کثرتِ نقاط، پراکندگیِ اوهام است؛ وحدتِ میدان، حقیقتِ جان.
و این، همان قانونِ عارفان است: هرچه ظهور فشرده‌تر، معرفت محدودتر؛ هرچه باطن نهفته‌تر، حقیقت کامل‌تر. نقطه‌ی بسته، «نامِ» محدودِ حقیقت است؛ نقطه‌ی عمومی، «ذاتِ» گشاده‌ی آن — و میدانِ توابع، آینه‌ای است که تمامِ واریته را در یک نگاه بازمی‌نماید: کل در باطن، و باطن در کل.
«در هر نقطه، جلوه‌ای است؛ در نقطه‌ی عمومی، همه‌ی جلوه‌ها —
و میدانِ توابع، جانِ آن واریته است:
روحی که در کثرتِ صور، وحدتِ خود را پنهان کرده،
تا اهلِ معرفت، از کثرت به وحدت بازگردند.»
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.