«هر بسته، گشوده نیست؛
هر خاموش، به مبدأ نرسیده است.
میانِ سکوتِ d و صدایِ پادمشتق،
فاصله‌ای است که کارتیه به نورِ فروبنیوس می‌پیماید.»
## ادامه‌ی ۵: از خطِ افین به فضاهای هموار — شِف‌های `B¹` و `Z¹` و صورتِ دقیقِ کارتیه
در خط افینِ یک‌بعدی، چون `Ω² = 0` بود، هر ۱-فرم بسته می‌شد. اما این وضع در بُعدهای بالاتر پایان می‌گیرد. اکنون به فضای افینِ دوبعدی می‌رویم تا فرقِ ژرفِ دو واژه‌ی «بسته» و «دقیق» آشکار شود:
```text
X = A²_k = Spec(k[x,y])
char(k) = p > 0
```
---
```html
«بسته، آن است که راهِ گریز ندارد؛
دقیق، آن است که راهِ بازگشت به مبدأ یافته است.
و کوهمولوژی، نامِ فاصله‌ی میانِ نرسیدن و رسیدن است.»
شِف‌های فرم‌های بسته و دقیق در بُعدِ بالاتر
۱. کمپلکسِ دُرام بر صفحه‌ی افین
روی فضای افینِ دوبعدی، شِفِ توابعِ منظم و شِف‌های دیفرانسیل چنین‌اند:
OX = k[x,y]
Ω¹X/k = OX dx ⊕ OX dy
Ω²X/k = OX (dx ∧ dy)
پس کمپلکسِ دُرام دیگر تنها یک پیکان نیست:
0 → OX →d Ω¹X/k →d Ω²X/k → 0
برای تابع f داریم:
df = (∂f/∂x) dx + (∂f/∂y) dy
و برای یک ۱-فرم:
ω = a(x,y) dx + b(x,y) dy
مشتقِ بیرونی چنین محاسبه می‌شود:
dω = (∂b/∂x − ∂a/∂y) dx ∧ dy
۲. تعریفِ شِفیِ فرمِ دقیق و بسته
اکنون دو زیرشِف از Ω¹ پدید می‌آیند:
B¹X = im(d : OX → Ω¹X/k)
Z¹X = ker(d : Ω¹X/k → Ω²X/k)
B¹ شِفِ فرم‌های دقیق است: فرم‌هایی از جنسِ df.
Z¹ شِفِ فرم‌های بسته است: فرم‌هایی که dω = 0 دارند.
چون d∘d = 0، هر فرم دقیق بسته است. پس همواره:
B¹X ⊆ Z¹X
اما تساویِ این دو، پرسشی ظریف است؛ و در مشخصه‌ی p معمولاً شکسته می‌شود.
۳. یک فرم که حتی بسته هم نیست
فرمِ زیر را در نظر بگیر:
ω = x dy
در این‌جا a = 0 و b = x است. پس:
dω = dx ∧ dy ≠ 0
بنابراین ω نه دقیق است و نه بسته. این نخستین تفاوت با خطِ افین است:
در بُعدِ دو، بسته بودن دیگر خودکار نیست.
۴. فرمی بسته که در مشخصه‌ی p دقیق نیست
اکنون فرمِ مهمِ زیر را بگیر:
η = xp−1 dx
چون این فرم فقط مؤلفه‌ی dx دارد و ضریبش تنها به x وابسته است:
dη = 0
پس η عضوِ Z¹ است. ولی اگر η دقیق بود، تابعی چون f می‌بایست وجود می‌داشت که:
df = xp−1 dx
پادمشتقِ ظاهریِ آن xp/p است؛ اما p در میدانِ k صفر است و وارون ندارد.
افزون بر آن:
d(xp) = 0
بنابراین:
η ∈ Z¹X \ B¹X
این فرم یک کلاسِ ناصفر در شِفِ کوهمولوژیِ درجه‌ی یک می‌سازد.
۵. شِفِ کوهمولوژی، نه هنوز کوهمولوژیِ سراسری
باید میانِ دو مفهوم تمایز گذارد. نخست، شِفِ کوهمولوژیِ درجه‌ی یک:
ℋ¹(Ω•X/k) = Z¹X / B¹X
این شِف، در هر بازِ U، اختلافِ موضعیِ فرم‌های بسته و دقیق را می‌سنجد.
سپس کوهمولوژیِ دُرامِ سراسری، از کلِ کمپلکسِ شِفی به دست می‌آید:
HidR(X/k) = 𝔥i(X, Ω•X/k)
نماد 𝔥 به معنای ابرکوهمولوژی است. روی فضای افین، چون شِف‌های Ωi شبه‌منسجم‌اند
و کوهمولوژیِ بالاترشان محو می‌شود، می‌توان این ابرکوهمولوژی را با کوهمولوژیِ کمپلکسِ مقاطعِ سراسری محاسبه کرد.
۶. فروبنیوسِ مطلق و فروبنیوسِ نسبی
فروبنیوسِ مطلق، روی هر تابع چنین عمل می‌کند:
FX#(f) = fp
اگر k کامل باشد، برای مقایسه‌ی هندسیِ درست، معمولاً فروبنیوسِ نسبی را به کار می‌بریم:
FX/k : X → X(p)
فضای X(p) همان فضای پایه‌تغییر‌یافته به‌واسطه‌ی فروبنیوس است. در مختصات، می‌توان مختصاتِ آن را
x(p) و y(p) نامید؛ آنگاه:
FX/k#(x(p)) = xp
FX/k#(y(p)) = yp
۷. ایزومورفیسمِ کارتیه
اگر X بر k هموار باشد، قضیه‌ی کارتیه می‌گوید:
C−1 : ΩiX(p)/k ≅ ℋi(FX/k,* Ω•X/k)
در درجه‌ی صفر، این گزاره همان مشاهده‌ی پیشین ماست:
OX(p) ≅ ker(d : F*OX → F*Ω¹X/k)
یعنی «توابعی با مشتقِ صفر» دقیقاً از جهانِ فروبنیوس‌پیچیده می‌آیند؛ نه این‌که صرفاً ثابت باشند.
در درجه‌ی یک، نگاشتِ کارتیه در مختصات چنین خوانده می‌شود:
C−1(dx(p)) = [xp−1 dx]
C−1(dy(p)) = [yp−1 dy]
و برای ضریبِ تابعی، باید به یاد داشت که ضریب از راهِ فروبنیوس وارد می‌شود. مثلاً:
C−1((x(p))m dx(p)) = [xmp+p−1 dx]
پس کلاس‌های غیردقیق، نشانه‌های آشوب نیستند؛ آنها دیفرانسیل‌هایی‌اند که باید در آیینه‌ی فروبنیوس خوانده شوند.
۸. دنباله‌ی دقیقِ بنیادین
تعریفِ فرم‌های دقیق و بسته، دنباله‌ی کوتاهِ دقیق زیر را می‌دهد:
0 → B¹X → Z¹X → ℋ¹(Ω•X/k) → 0
و قضیه‌ی کارتیه، جمله‌ی آخر را از نو معنا می‌کند:
ℋ¹(FX/k,*Ω•X/k) ≅ Ω¹X(p)/k
این دنباله یک حقیقتِ روش‌شناختی را آشکار می‌کند:
شِف‌ها به ما اجازه می‌دهند فرقِ «داشتنِ پادمشتق در یک همسایگی» و «نداشتنِ آن» را
نه فقط برای یک تابع، بلکه در تمامِ ساختارِ موضعیِ فضا ثبت کنیم.
۹. جدولِ فشرده
| شیء | تعریف | تفسیر |
| B¹ | im(d : O → Ω¹) | فرم‌های دارای پتانسیلِ منظم |
| Z¹ | ker(d : Ω¹ → Ω²) | فرم‌های بدونِ چرخشِ بیرونی |
| ℋ¹ | Z¹/B¹ | فرم‌های بسته‌ای که محلی دقیق نیستند |
| C−1 | Ω¹X(p)/k → ℋ¹(F*Ω•) | خواندنِ کوهمولوژی به زبانِ فروبنیوس |
«در هندسه‌ی مشخصه‌ی p،
نرسیدن به پادمشتق، بن‌بست نیست؛
دری است که به جهانِ فروبنیوس گشوده می‌شود.»
```
### خلاصه‌ی ریاضی
```text
B¹_X = im(d : O_X → Ω¹_X/k)
Z¹_X = ker(d : Ω¹_X/k → Ω²_X/k)
ℋ¹(Ω•_X/k) = Z¹_X / B¹_X
```
و برای `X = A²_k` در مشخصه‌ی `p`:
```text
x^(p−1) dx ∈ Z¹_X
x^(p−1) dx ∉ B¹_X
```
اما کارتیه آن را از جنسِ دیفرانسیلِ ساده‌ی `dx^(p)` بر فضایِ فروبنیوس‌پیچیده می‌داند:
```text
C⁻¹(dx^(p)) = [x^(p−1) dx]
```
گامِ بعدیِ طبیعی، بررسیِ **بُعدِ صفرِ کارتیه، دنباله‌ی دقیقِ آرتین–شرایر، و نسبتِ آن با شِفِ ثابتِ Fₚ** است؛ جایی که `f ↦ f^p − f` به جای مشتق، زبانِ تازه‌ای برای سنجشِ داده‌های موضعی می‌سازد.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.