«مشتق، خاموشیِ توانِ pام را میشنود؛
آرتین–شرایر، تفاوتِ توانِ pام و خودِ چیزها را.
یکی از جهانِ دیفرانسیل میپرسد،
و دیگری از رازِ پوششها و ریشهها.»
## ادامهی ۶: دنبالهی آرتین–شرایر — شِفِ ثابتِ Fₚ و پوششهای étale
در بحثِ کارتیه دیدیم که در مشخصهی `p`:
```text
d(f^p) = 0
```
پس فروبنیوس، توابعِ `p`-اُم را از چشمِ مشتق پنهان میکند. اکنون نگاشتِ دیگری را بررسی میکنیم که نه با مشتق، بلکه با **اختلافِ فروبنیوسی** کار میکند:
```text
AS : f ↦ f^p − f
```
به این نگاشت، نگاشتِ **آرتین–شرایر** میگویند. هستهی آن دقیقاً شِفِ ثابتِ `F_p` است؛ یعنی همان میدانِ متناهیِ دارای `p` عضو.
نکتهی ظریف و مهم: این دنباله در **توپولوژیِ étale** دقیق است، نه عموماً در توپولوژیِ زاریسکی. زیرا حلِ معادلهی
```text
T^p − T = a
```
ممکن است روی خودِ بازِ زاریسکی ممکن نباشد، اما پس از رفتن به یک پوششِ étale ممکن میشود.
---
```html
«فروبنیوس گفت: p بار شدن، در مشتق ناپیداست؛
آرتین–شرایر گفت: آنگاه که از خویش کم شوی،
اگر هیچ نمانی، از میدانِ Fp آمدهای.»
دنبالهی آرتین–شرایر و شِفِ ثابتِ Fp
۱. نگاشتِ آرتین–شرایر
فرض کنیم X یک اسکیم بر میدان یا حلقهای با مشخصهی اولِ p باشد. روی شِفِ ساختاریِ X،
نگاشتِ زیر را تعریف میکنیم:
AS : OX → OX
AS(f) = fp − f
این نگاشت نسبت به جمع سازگار است، زیرا در مشخصهی p داریم:
(f + g)p = fp + gp
بنابراین:
AS(f + g) = AS(f) + AS(g)
اما AS عموماً همریختیِ حلقهها نیست؛ تنها مورفیسمی از شِفهای گروههای آبلی است.
به بیان دقیقتر، OX را اینجا از جهتِ ساختارِ جمعیاش در نظر میگیریم.
۲. هسته: چرا Fp پدیدار میشود؟
برای یافتنِ هسته، باید حل کنیم:
fp − f = 0
یعنی:
fp = f
در یک میدان، جوابهای این معادله دقیقاً عناصرِ میدانِ متناهیِ Fp هستند:
Fp = {0, 1, 2, ..., p − 1}
زیرا برای هر a در Fp:
ap = a
اگر X هموار و کاهشیافته باشد، این مشاهده به زبانِ شِفی چنین جمع میشود:
ker(AS) = Fp
در اینجا Fp به معنای شِفِ ثابت با مقدارِ Fp است؛
یعنی بر هر بازِ همبند، مقاطعِ آن همان عناصرِ Fp هستند.
۳. دنبالهی دقیقِ آرتین–شرایر
در سایتِ étale فضای X، دنبالهی زیر کوتاه و دقیق است:
0 → Fp → OX →F−1 OX → 0
پیکانِ میانی همان نگاشتِ آرتین–شرایر است:
F − 1 : f ↦ fp − f
معنای دقیق بودن در سمتِ راست آن است که هر تابعِ موضعی a، پس از گذار به یک پوششِ étale مناسب،
به شکلِ bp − b نوشته میشود.
۴. چرا پوششِ étale لازم است؟
برای حلِ معادلهی:
Tp − T = a
حلقهی جدید را میسازیم:
B = A[T] / (Tp − T − a)
اگر A حلقهی مقاطعِ یک بازِ افین باشد، در B یک جوابِ رسمی برای معادله پدید آمده است:
tp − t = a
چرا این توسعه étale است؟ مشتقِ چندجملهایِ تعریفکننده نسبت به T را حساب میکنیم:
d/dT (Tp − T − a) = −1
چون −1 وارونپذیر است، این معادله ریشهی چندگانه ندارد و مورفیسمِ حاصل étale است.
پس étale بودن در اینجا همان زبانِ هندسیِ «ریشه گرفتن، بیآنکه شاخه یا تکینگی پدید آید» است.
۵. یک مثال بر خطِ افین
بگذار:
X = Spec(k[x])
و تابعِ a = x را در نظر بگیر. در حلقهی k[x]، عموماً چندجملهایِ b(x)ای نداریم که:
b(x)p − b(x) = x
اما اگر پوششِ جدید را تعریف کنیم:
Y = Spec(k[x,t] / (tp − t − x))
آنگاه روی Y، عنصرِ t داریم که:
tp − t = x
بنابراین x در این پوشش به تصویرِ F − 1 تبدیل میشود. این دقیقاً همان معنای پوشایِ موضعی بودنِ
نگاشتِ آرتین–شرایر است.
۶. گروهِ تقارنیِ پوشش
در مثالِ بالا، اگر c عضوی از Fp باشد، آنگاه:
(t + c)p − (t + c) = tp − t
پس تبدیلهای زیر پاسخِ معادله را حفظ میکنند:
t ↦ t + c ، c ∈ Fp
در شرایطِ مناسب، این پوشش یک پوششِ گالوا با گروهِ جمعیِ Fp است:
Gal(Y/X) ≅ (Fp, +)
پس شِفِ ثابتِ Fp تنها یک شیءِ صامتِ جبری نیست؛
همان گروهی است که تفاوتِ دو جوابِ معادلهی آرتین–شرایر را اندازه میگیرد.
۷. پیوند با کارتیه: دو هسته، دو پرسش
نباید دنبالهی کارتیه و آرتین–شرایر را یکی گرفت. هر دو از فروبنیوس برمیخیزند،
اما دو پرسشِ متفاوت را پاسخ میدهند:
| ساختار | هسته | پرسش |
| d : O → Ω¹ | توابعِ دارای df = 0 | چه چیزی از دیدِ دیفرانسیل خاموش است؟ |
| F − 1 : O → O | Fp | چه چیزی زیرِ فروبنیوس با خویش برابر است؟ |
در درجهی صفرِ قضیهی کارتیه، هستهی مشتق پس از درنظرگرفتنِ فروبنیوسِ نسبی با
OX(p) پیوند مییابد. اما در دنبالهی آرتین–شرایر، هستهی F − 1
شِفِ ثابتِ Fp است. اولی از جنسِ دیفرانسیل و توابعِ p-اُم است؛ دومی از جنسِ تقارن و پوششهای étale.
۸. از دنبالهی کوتاه به کوهمولوژیِ étale
دنبالهی آرتین–شرایر پس از گرفتنِ کوهمولوژیِ étale، به دنبالهی بلندِ کوهمولوژی میانجامد:
... → Hiét(X, Fp) → Hiét(X, OX)
→F−1 Hiét(X, OX)
→ Hi+1ét(X, Fp) → ...
بدینسان، اطلاعاتِ پوششهای دوریِ مشخصهی p و تقارنهای آنها در کوهمولوژی با ضرایبِ Fp
ثبت میشود. اینجا شِف، از ابزارِ چسباندنِ توابع فراتر میرود:
زبانِ اندازهگیریِ پوششها، تقارنها و مانعهای حلِ جهانیِ معادلات میشود.
۹. جمعبندی
آرتین–شرایر به ما میآموزد که در مشخصهی p، گاه باید به جایِ پرسشِ
«آیا a پادمشتق دارد؟» بپرسیم:
آیا a = bp − b است؟
پاسخ ممکن است روی X منفی باشد، ولی بر یک پوششِ étale مثبت شود.
همین فاصلهی میانِ «حل روی خودِ فضا» و «حل پس از پوشش» سرآغازِ نگرشِ کوهمولوژیک است.
«جوابِ معادله گاه در خانه نیست؛
باید راهی به همسایگیِ étale گشود.
آنجا که ریشه پدیدار شد،
شِف گفت: حقیقت، محلی بود؛ اما راهش جهانی.»
```
### صورتِ فشرده
```text
در سایتِ étale و در مشخصهی p:
0 → F_p → O_X →^(F−1) O_X → 0
F − 1 : f ↦ f^p − f
```
و برای حلِ موضعیِ étale معادلهی:
```text
b^p − b = a
```
پوشش را میسازیم:
```text
Spec(A[T]/(T^p − T − a)) → Spec(A)
```
زیرا:
```text
d/dT(T^p − T − a) = −1
```
و `−1` وارونپذیر است؛ پس پوشش، étale است.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.