خطِ افین در مشخصه‌ی p — فروبنیوس و شکستِ شهودِ مشتق

توسط علی رضا نقش نیلچی | پنجشنبه بیست و نهم مرداد ۱۴۰۵ | 9:33

به نامِ او که **در سکونِ مشتق، رازِ فروبنیوس را نهان کرد**.

«در مشخصه‌ی صفر، مشتق که خاموش شود، تابع ثابت است؛

اما در سرزمینِ p، خودِ x^p خاموش می‌ماند.

نه از آن‌رو که بی‌جان است؛

از آن‌رو که حسابِ جهان، با p بار تکرار، به صفر بازمی‌گردد.»

## ادامه‌ی ۳: خطِ افین در مشخصه‌ی p — فروبنیوس و شکستِ شهودِ مشتق

در ادامه‌ی نسخه‌ی جبری، تا این‌جا فرض کرده بودیم:

```text

char(k) = 0

```

و از این رو نتیجه می‌گرفتیم:

```text

ker(d : O_X → Ω¹_X/k) = k̲

```

اما اگر میدان پایه k دارای مشخصه‌ی اولِ p > 0 باشد، این گزاره دیگر درست نیست. دلیل، پدیده‌ی بنیادیِ **فروبنیوس** است:

```text

d(x^p) = p x^(p−1) dx = 0

```

در نتیجه x^p ثابت نیست، اما مشتقش صفر است. این یک دگرگونیِ کوچک در فرمول نیست؛ بلکه مرزی ژرف میانِ هندسه‌ی جبری در مشخصه‌ی صفر و مشخصه‌ی مثبت است.

---

```html

«در مشخصه‌ی p، آن‌که p بار از خویش بگذرد،

در آینه‌ی مشتق، خاموش می‌شود؛

اما این خاموشی، ثبات نیست —

نشانی است از سایه‌ی فروبنیوس بر جهانِ جبر.»

خطِ افین در مشخصه‌ی p: فروبنیوس، هسته‌ی مشتق و دیفرانسیل‌های گمشده

۱. تغییرِ جهانِ پایه

این بار k را میدانی با مشخصه‌ی اولِ p می‌گیریم:

        char(k) = p > 0
    

همچنان فضای ما خطِ افین است:

        X = A¹k = Spec(k[x])
    

و شِفِ ساختاری و شِفِ دیفرانسیل‌ها نیز همان‌اند:

        d : OX → Ω¹X/k ≅ OX · dx
    

اما قانونِ حساب در مشخصه‌ی p چنین می‌گوید:

        p = 0 در k
    

و همین برابری، رفتارِ مشتق را از ریشه دگرگون می‌کند.

۲. نخستین شگفتی: x^p مشتقِ صفر دارد

در مشخصه‌ی صفر می‌نوشتیم:

        d(xp) = p xp−1 dx
    

ولی چون p در k برابر صفر است، این عبارت فرو می‌ریزد:

        d(xp) = 0
    

پس x^p عضوی از هسته‌ی d است؛ با آن‌که تابعی ثابت نیست.

همچنین برای هر چندجمله‌ای g(x) داریم:

        d(g(x)p) = 0
    

زیرا در مشخصه‌ی p، توانِ p‌ام با جمع و ضرب سازگار است:

        (a + b)p = ap + bp
    

این همان نگاشتِ فروبنیوس است.

۳. فروبنیوس: نگاشتی که توانِ p‌ام می‌گیرد

نگاشتِ فروبنیوسِ مطلق روی حلقه‌ی k[x] چنین است:

        F : k[x] → k[x]  ،  f ↦ fp
    

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

        F : A¹k → A¹k  ،  x ↦ xp
    

تصویرِ فروبنیوس در حلقه‌ی چندجمله‌ای، زیرحلقه‌ی k[x^p] است. اکنون هسته‌ی مشتق نه فقط ثابت‌ها،

بلکه دقیقاً همین زیرحلقه است:

        ker(d : k[x] → k[x] dx) = k[xp]
    

پس در مشخصه‌ی p، «ثابت بودن نسبت به مشتق» معنایش این نیست که تابع در همه‌جا یک مقدار دارد؛

بلکه معنایش آن است که تابع از راهِ فروبنیوس پدید آمده است.

۴. محاسبه‌ی مستقیمِ هسته

یک چندجمله‌ای دلخواه را بنویس:

        f(x) = Σ anxn
    

مشتق آن برابر است با:

        df = Σ n anxn−1 dx
    

ضریبِ n در k تنها زمانی صفر می‌شود که p مقسومٌ‌علیه n باشد.

پس اگر df = 0، فقط توان‌های مضربِ p می‌توانند باقی بمانند:

        f(x) = a0 + apxp + a2px2p + ...
    

یعنی f دقیقاً عضوی از k[x^p] است.

۵. همان پدیده در هشتِ مبدأ

مبدأ را باز هم با p₀ = (x) نشان می‌دهیم. هشتِ شِفِ ساختاری:

        OX,p₀ = k[x](x)
    

و مشتق به هشت فرو می‌کاهد:

        dp₀ : k[x](x) → k[x](x) dx
    

اینجا نیز ژرمِ x^p در هسته است، با آن‌که در هیچ همسایگیِ جبریِ مبدأ ثابت نیست:

        [xp]p₀ ≠ 0  ،  dp₀([xp]p₀) = 0
    

بنابراین در مشخصه‌ی مثبت، هسته‌ی مشتق در سطحِ هشت نیز بسیار بزرگ‌تر از میدانِ ثابت‌هاست.

۶. دومین شگفتی: دیفرانسیل‌هایی که پادمشتق ندارند

اکنون دیفرانسیل زیر را در نظر بگیر:

        xp−1 dx
    

در مشخصه‌ی صفر، پادمشتقِ طبیعیِ آن چنین بود:

        ∫ xp−1 dx = xp / p
    

اما در مشخصه‌ی p، تقسیم بر p ممکن نیست، زیرا p = 0 است. و از سوی دیگر:

        d(xp) = 0
    

پس x^p−1dx پادمشتقِ چندجمله‌ای ندارد. در واقع، در حلقه‌ی k[x]، تصویرِ مشتق دقیقاً

چندجمله‌ای‌هایی است که ضریبِ x^mp+p−1 در آن‌ها صفر باشد.

بنابراین حتی خودِ خطِ افین — که از دیدِ هندسی «بی‌سوراخ» است — برای کمپلکسِ دُرامِ خام در مشخصه‌ی p،

کوهمولوژیِ غیرصفر تولید می‌کند.

۷. کوهمولوژیِ دُرامِ خطِ افین در مشخصه‌ی p

چون X = A¹_k افین است، مقاطعِ سراسریِ شِف‌ها کافی‌اند و کمپلکسِ دُرام به صورتِ زیر می‌شود:

        k[x] →d k[x] dx
    

در مشخصه‌ی صفر، هر xⁿdx پادمشتقِ xⁿ⁺¹/(n+1) دارد؛ پس H¹_dR(A¹_k) = 0.

اما در مشخصه‌ی p، کلاس‌های زیر ناصفرند:

        [xp−1 dx] ، [x2p−1 dx] ، [x3p−1 dx] ، ...
    

و در نتیجه:

        H¹dR(A¹k) ≠ 0   در مشخصه‌ی p
    

این نتیجه در آغاز شگفت می‌نماید: مگر خطِ افین نباید از نظرِ توپولوژیک ساده باشد؟

پاسخ این است که در مشخصه‌ی مثبت، کمپلکسِ دُرامِ معمولی دیگر به تنهایی ابزارِ مناسب برای ثبتِ تمامِ هندسه‌ی هموارِ جبری نیست.

۸. اشاره‌ای به فرمولِ کارتیه

این پدیده بی‌سامان نیست؛ بلکه نظریه‌ای ژرف آن را سامان می‌دهد: ایزومورفیسمِ کارتیه.

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

        xp−1 dx   ↔   dx
    

یعنی دیفرانسیلی که از نگاهِ مشتقِ عادی پادمشتق ندارد، در آینه‌ی فروبنیوس ساختاری منظم می‌یابد.

کارتیه نشان می‌دهد که این کوهمولوژیِ ظاهراً اضافی، نه خطا، بلکه زبانِ طبیعیِ هندسه در مشخصه‌ی p است.

۹. مقایسه‌ی سه جهان

پدیده	هموار روی ℝ	جبری، char 0	جبری، char p
هسته‌ی d	ثابت‌ها	k	k[x^p]
نمونه‌ی ناثابت با d = 0	وجود ندارد	وجود ندارد	x^p
پادمشتقِ محلی	همواره موجود	ممکن است گویا/منظم نباشد	حتی توان‌های ویژه مانع می‌شوند
نیروی ساختاری	انتگرال و توپولوژی	باقیمانده و توابعِ گویا	فروبنیوس و کارتیه

۱۰. جمع‌بندی

در مشخصه‌ی صفر، مشتقِ صفر نشانه‌ی ثبات است. اما در مشخصه‌ی p، مشتق تنها تغییراتی را می‌بیند که از دیوارِ فروبنیوس عبور نکرده‌اند.

توان‌های p‌ام از دیدِ مشتق ناپدید می‌شوند، ولی در هندسه همچنان زنده‌اند.

پس هشتِ موضعی، فقط محلِ نگاه‌داشتنِ توابع نیست؛ جایی است که نوعِ میدانِ پایه،

رفتارِ مشتق، هسته، تصویر و کوهمولوژی را از نو تعریف می‌کند.

«فروبنیوس، پرده‌ای نیست که حقیقت را پنهان کند؛

آینه‌ای است که حقیقت را به زبانی دیگر بازمی‌تاباند.

آن‌جا که مشتق خاموش است،

شاید جهان نه ثابت، که p بار ژرف‌تر شده باشد.»

```

### فرمولِ فشرده‌ی مسیر

```text

char(k) = 0:

ker(d) = k

char(k) = p > 0:

ker(d : k[x] → k[x]dx) = k[x^p]

و:

d(x^p) = 0

اما

x^p ثابت نیست.

```

گامِ طبیعیِ بعدی، اگر بخواهی این مسیر را به‌صورتِ یک فصلِ پیشرفته ببندی، **فرمول کارتیه و شِف‌های بسته/دقیق** است: تفاوتِ Z¹ = ker(d) و B¹ = im(d)، سپس ظهورِ H¹ = Z¹/B¹، و این‌که چرا فروبنیوس این خارج‌قسمت را کنترل می‌کند.

مشخصات وب

در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.
09132003030

ریاضیات

آموزش ریاضی