برای پیوستنِ دقیق به مسیرِ پیشین و ادامه‌دادن از همان گره‌ی آرتین–شرایر، نخست زمینه‌ی گفت‌وگوی قبلی را بررسی می‌کنم.
«راهِ اتاله، راهِ گریز از جهان نیست؛
جهان را چنان می‌گشاید که گره‌هایش دیده شوند.
آن‌جا که جوابِ معادله موضعی شد،
کوهومولوژی می‌پرسد:
پس چه چیز، مانعِ یافتنِ یک جوابِ واحد و جهانی بود؟»
## ادامه‌ی ۷: از معادله‌ی آرتین–شرایر تا `H¹` — تارسورها و مانعِ حلِ جهانی
در بخش پیشین دیدیم که معادله‌ی
```text
t^p − t = a
```
ممکن است بر خودِ فضای `X` جواب نداشته باشد، ولی پس از عبور به یک پوششِ اتاله جواب‌پذیر شود. اکنون یک گام بنیادین برمی‌داریم:
> اگر جواب‌ها محلی‌اند، چرا جهانی نیستند؟
> و تفاوتِ جواب‌های محلی بر نواحیِ مشترک چه داده‌ای تولید می‌کند؟
پاسخ، کلاسِ کوهمولوژی در
```text
H¹_et(X, F_p)
```
است. این گروه، به‌طور دقیق، پوشش‌های آرتین–شرایر و تارسورهای تحتِ گروهِ جمعیِ `F_p` را طبقه‌بندی می‌کند.
---
```html
«جواب‌ها در ناحیه‌ها پدید آمدند؛
اما در مرزهای مشترک، تفاوت‌شان سخن گفت.
آن تفاوت، اگر به صفر بازنگردد،
نامِ خویش را کوهمولوژی می‌نهد.»
از آرتین–شرایر تا H¹ét(X, Fp)
۱. یادآوری: دنباله‌ی آرتین–شرایر
بر یک اسکیم X در مشخصه‌ی p، در سایتِ étale دنباله‌ی کوتاهِ دقیقِ زیر را داریم:
0 → Fp → OX →F−1 OX → 0
که در آن:
(F − 1)(f) = fp − f
دقیق بودن در سمت راست می‌گوید هر تابعِ موضعی a، پس از رفتن به یک پوششِ étale،
به صورتِ bp − b در می‌آید. اما «موضعاً حل‌پذیر بودن» هنوز به معنای
«جهانیاً حل‌پذیر بودن» نیست.
۲. جواب‌های محلی و اختلافِ آنها
فرض کنیم پوششِ étale زیر را انتخاب کرده‌ایم:
{Ui → X}i∈I
و روی هر Ui جوابی محلی برای معادله یافته‌ایم:
bip − bi = a|Uᵢ
اکنون به اشتراکِ دو ناحیه برویم. روی
Uij = Ui ×X Uj
داریم:
(bi − bj)p − (bi − bj) = 0
پس اختلافِ دو جواب در هسته‌ی F − 1 قرار دارد؛ یعنی:
bi − bj = cij ∈ Fp
به زبانِ شهودی، جواب‌ها آزادانه از یک‌دیگر دور نمی‌شوند؛ اختلاف‌شان فقط یک
«انتقالِ ثابت» از میدانِ Fp است.
۳. شرطِ سه‌تایی: تولدِ یک کوسیکل
بر اشتراکِ سه‌تایی Uijk، اختلاف‌ها ناگزیر رابطه‌ی زیر را برآورده می‌کنند:
cij + cjk + cki = 0
زیرا:
(bi − bj) + (bj − bk) + (bk − bi) = 0
خانواده‌ی
cij
یک ۱-کوسیکل با ضرایب در شِفِ ثابتِ Fp می‌سازد.
کلاسِ هم‌ارزیِ آن در گروهِ زیر قرار می‌گیرد:
[cij] ∈ H¹ét(X, Fp)
این کلاس، همان یادگارِ شکستِ چسباندن است: جواب‌ها وجود دارند، اما شاید نتوانند
به یک جوابِ یگانه روی تمامِ X تبدیل شوند.
۴. چه زمانی جواب‌های محلی می‌چسبند؟
جواب‌های محلی bi هنگامی به یک تابعِ جهانی b روی X می‌چسبند که بتوان
با جابه‌جاییِ هر جواب به وسیله‌ی یک ثابتِ محلی
di ∈ Fp
اختلاف‌ها را حذف کرد:
cij = dj − di
در اصطلاحِ کوهمولوژیک، یعنی کوسیکل cij باید یک
کوباندری باشد. پس:
کلاسِ [cij] صفر است اگر و تنها اگر معادله‌ی
bp − b = a
یک جوابِ جهانی روی X داشته باشد.
پس H¹ét(X, Fp) صرفاً یک شیءِ صوری نیست؛
فضای سنجشِ مانع‌های چسباندنِ جواب‌های محلی است.
۵. تارسورِ آرتین–شرایر
برای یک تابعِ جهانی a ∈ Γ(X, OX)، فضای جواب‌های معادله را چنین می‌سازیم:
Y = SpecX(OX[T] / (Tp − T − a))
روی Y، عنصرِ جهانیِ T جوابِ معادله است:
Tp − T = a
هر عنصرِ λ از Fp تبدیلِ زیر را تعریف می‌کند:
T ↦ T + λ
این عمل، مجموعه‌ی جواب‌ها را جابه‌جا می‌کند. اگر یک جواب داشته باشیم، همه‌ی جواب‌ها
با افزودنِ عناصرِ Fp به دست می‌آیند. ازاین‌رو، Y یک
تارسور تحتِ Fp است.
تارسور را می‌توان «فضایی شبیه گروه، اما بی‌مبدأِ برگزیده» دانست. در گروه می‌توان پرسید
«صفر کجاست؟»؛ اما در تارسور تنها می‌دانیم که تفاوتِ دو نقطه، عنصری از گروه است.
فضای جواب‌های معادله‌ی آرتین–شرایر دقیقاً چنین وضعی دارد.
۶. طبقه‌بندیِ هندسی با H¹
اصلِ کلیِ نظریه‌ی تارسورها می‌گوید:
H¹ét(X, Fp) ≅ {Fp-torsors over X} / isomorphism
یعنی عناصرِ H¹ét(X, Fp)، تا هم‌ریختی، همان پوشش‌های étaleای را
طبقه‌بندی می‌کنند که گروهِ تقارن‌شان گروهِ جمعیِ Fp است.
در این تعبیر، کوهمولوژی نه یک دفترِ حسابِ انتزاعی، بلکه دستگاهی برای ثبتِ
«صورت‌های ممکنِ پوشش‌دار شدنِ فضا» است.
۷. حالتِ افین: محاسبه‌ای ملموس
اکنون بگذار:
X = Spec(A)
در حالتِ افین، کوهمولوژیِ بالاترِ شِفِ افزایشیِ OX در توپولوژیِ étale ناپدید می‌شود:
H¹ét(X, OX) = 0
بنابراین، دنباله‌ی بلندِ کوهمولوژیِ آرتین–شرایر قطعه‌ی مهمِ زیر را می‌دهد:
A →F−1 A → H¹ét(X, Fp) → 0
پس:
H¹ét(Spec(A), Fp) ≅ A / {bp − b : b ∈ A}
یعنی برای فضای افین، کلاس‌های پوششِ آرتین–شرایر را می‌توان با توابعِ a سنجید،
با این هم‌ارزی:
a ∼ a + bp − b
۸. مثال: خط افین و پوششِ غیر بدیهی
فرض کنیم k میدانی با مشخصه‌ی p باشد و:
X = Spec(k[x])
تابعِ a = x را در نظر بگیرید. پوششِ آرتین–شرایر متناظر چنین است:
Y = Spec(k[x,t] / (tp − t − x))
این پوشش بدیهی نمی‌شود؛ زیرا اگر چندجمله‌ایِ b(x) وجود داشت که:
b(x)p − b(x) = x
آنگاه اگر b ناثابت بود، درجه‌ی جمله‌ی b(x)p برابرِ
p·deg(b) می‌شد؛ درجه‌ای که دست‌کم p است و نمی‌تواند با درجه‌ی یکِ x سازگار باشد.
و اگر b ثابت بود، سمتِ چپ نیز ثابت می‌شد. پس چنین bای وجود ندارد.
بنابراین x یک کلاسِ ناصفر در گروهِ زیر می‌سازد:
H¹ét(A¹k, Fp)
این نکته درخشان است: خطِ افین از نظرِ زاریسکی بسیار ساده به نظر می‌رسد،
اما در هندسه‌ی étale
برای پیوستنِ دقیق به مسیرِ پیشین و ادامه‌دادن از همان گره‌ی آرتین–شرایر، نخست زمینه‌ی گفت‌وگوی قبلی را بررسی می‌کنم.
«راهِ étale، راهِ گریز از جهان نیست؛
جهان را چنان می‌گشاید که گره‌هایش دیده شوند.
آن‌جا که جوابِ معادله موضعی شد،
کوهومولوژی می‌پرسد:
پس چه چیز، مانعِ یافتنِ یک جوابِ واحد و جهانی بود؟»
## ادامه‌ی ۷: از معادله‌ی آرتین–شرایر تا `H¹` — تارسورها و مانعِ حلِ جهانی
در بخش پیشین دیدیم که معادله‌ی
```text
t^p − t = a
```
ممکن است بر خودِ فضای `X` جواب نداشته باشد، ولی پس از عبور به یک پوششِ étale جواب‌پذیر شود. اکنون یک گام بنیادین برمی‌داریم:
> اگر جواب‌ها محلی‌اند، چرا جهانی نیستند؟
> و تفاوتِ جواب‌های محلی بر نواحیِ مشترک چه داده‌ای تولید می‌کند؟
پاسخ، کلاسِ کوهمولوژی در
```text
H¹_et(X, F_p)
```
است. این گروه، به‌طور دقیق، پوشش‌های آرتین–شرایر و تارسورهای تحتِ گروهِ جمعیِ `F_p` را طبقه‌بندی می‌کند.
---
```html
«جواب‌ها در ناحیه‌ها پدید آمدند؛
اما در مرزهای مشترک، تفاوت‌شان سخن گفت.
آن تفاوت، اگر به صفر بازنگردد،
نامِ خویش را کوهمولوژی می‌نهد.»
از آرتین–شرایر تا H¹ét(X, Fp)
۱. یادآوری: دنباله‌ی آرتین–شرایر
بر یک اسکیم X در مشخصه‌ی p، در سایتِ étale دنباله‌ی کوتاهِ دقیقِ زیر را داریم:
0 → Fp → OX →F−1 OX → 0
که در آن:
(F − 1)(f) = fp − f
دقیق بودن در سمت راست می‌گوید هر تابعِ موضعی a، پس از رفتن به یک پوششِ étale،
به صورتِ bp − b در می‌آید. اما «موضعاً حل‌پذیر بودن» هنوز به معنای
«جهانیاً حل‌پذیر بودن» نیست.
۲. جواب‌های محلی و اختلافِ آنها
فرض کنیم پوششِ étale زیر را انتخاب کرده‌ایم:
{Ui → X}i∈I
و روی هر Ui جوابی محلی برای معادله یافته‌ایم:
bip − bi = a|Uᵢ
اکنون به اشتراکِ دو ناحیه برویم. روی
Uij = Ui ×X Uj
داریم:
(bi − bj)p − (bi − bj) = 0
پس اختلافِ دو جواب در هسته‌ی F − 1 قرار دارد؛ یعنی:
bi − bj = cij ∈ Fp
به زبانِ شهودی، جواب‌ها آزادانه از یک‌دیگر دور نمی‌شوند؛ اختلاف‌شان فقط یک
«انتقالِ ثابت» از میدانِ Fp است.
۳. شرطِ سه‌تایی: تولدِ یک کوسیکل
بر اشتراکِ سه‌تایی Uijk، اختلاف‌ها ناگزیر رابطه‌ی زیر را برآورده می‌کنند:
cij + cjk + cki = 0
زیرا:
(bi − bj) + (bj − bk) + (bk − bi) = 0
خانواده‌ی
cij
یک ۱-کوسیکل با ضرایب در شِفِ ثابتِ Fp می‌سازد.
کلاسِ هم‌ارزیِ آن در گروهِ زیر قرار می‌گیرد:
[cij] ∈ H¹ét(X, Fp)
این کلاس، همان یادگارِ شکستِ چسباندن است: جواب‌ها وجود دارند، اما شاید نتوانند
به یک جوابِ یگانه روی تمامِ X تبدیل شوند.
۴. چه زمانی جواب‌های محلی می‌چسبند؟
جواب‌های محلی bi هنگامی به یک تابعِ جهانی b روی X می‌چسبند که بتوان
با جابه‌جاییِ هر جواب به وسیله‌ی یک ثابتِ محلی
di ∈ Fp
اختلاف‌ها را حذف کرد:
cij = dj − di
در اصطلاحِ کوهمولوژیک، یعنی کوسیکل cij باید یک
کوباندری باشد. پس:
کلاسِ [cij] صفر است اگر و تنها اگر معادله‌ی
bp − b = a
یک جوابِ جهانی روی X داشته باشد.
پس H¹ét(X, Fp) صرفاً یک شیءِ صوری نیست؛
فضای سنجشِ مانع‌های چسباندنِ جواب‌های محلی است.
۵. تارسورِ آرتین–شرایر
برای یک تابعِ جهانی a ∈ Γ(X, OX)، فضای جواب‌های معادله را چنین می‌سازیم:
Y = SpecX(OX[T] / (Tp − T − a))
روی Y، عنصرِ جهانیِ T جوابِ معادله است:
Tp − T = a
هر عنصرِ λ از Fp تبدیلِ زیر را تعریف می‌کند:
T ↦ T + λ
این عمل، مجموعه‌ی جواب‌ها را جابه‌جا می‌کند. اگر یک جواب داشته باشیم، همه‌ی جواب‌ها
با افزودنِ عناصرِ Fp به دست می‌آیند. ازاین‌رو، Y یک
تارسور تحتِ Fp است.
تارسور را می‌توان «فضایی شبیه گروه، اما بی‌مبدأِ برگزیده» دانست. در گروه می‌توان پرسید
«صفر کجاست؟»؛ اما در تارسور تنها می‌دانیم که تفاوتِ دو نقطه، عنصری از گروه است.
فضای جواب‌های معادله‌ی آرتین–شرایر دقیقاً چنین وضعی دارد.
۶. طبقه‌بندیِ هندسی با H¹
اصلِ کلیِ نظریه‌ی تارسورها می‌گوید:
H¹ét(X, Fp) ≅ {Fp-torsors over X} / isomorphism
یعنی عناصرِ H¹ét(X, Fp)، تا هم‌ریختی، همان پوشش‌های étaleای را
طبقه‌بندی می‌کنند که گروهِ تقارن‌شان گروهِ جمعیِ Fp است.
در این تعبیر، کوهمولوژی نه یک دفترِ حسابِ انتزاعی، بلکه دستگاهی برای ثبتِ
«صورت‌های ممکنِ پوشش‌دار شدنِ فضا» است.
۷. حالتِ افین: محاسبه‌ای ملموس
اکنون بگذار:
X = Spec(A)
در حالتِ افین، کوهمولوژیِ بالاترِ شِفِ افزایشیِ OX در توپولوژیِ étale ناپدید می‌شود:
H¹ét(X, OX) = 0
بنابراین، دنباله‌ی بلندِ کوهمولوژیِ آرتین–شرایر قطعه‌ی مهمِ زیر را می‌دهد:
A →F−1 A → H¹ét(X, Fp) → 0
پس:
H¹ét(Spec(A), Fp) ≅ A / {bp − b : b ∈ A}
یعنی برای فضای افین، کلاس‌های پوششِ آرتین–شرایر را می‌توان با توابعِ a سنجید،
با این هم‌ارزی:
a ∼ a + bp − b
۸. مثال: خط افین و پوششِ غیر بدیهی
فرض کنیم k میدانی با مشخصه‌ی p باشد و:
X = Spec(k[x])
تابعِ a = x را در نظر بگیرید. پوششِ آرتین–شرایر متناظر چنین است:
Y = Spec(k[x,t] / (tp − t − x))
این پوشش بدیهی نمی‌شود؛ زیرا اگر چندجمله‌ایِ b(x) وجود داشت که:
b(x)p − b(x) = x
آنگاه اگر b ناثابت بود، درجه‌ی جمله‌ی b(x)p برابرِ
p·deg(b) می‌شد؛ درجه‌ای که دست‌کم p است و نمی‌تواند با درجه‌ی یکِ x سازگار باشد.
و اگر b ثابت بود، سمتِ چپ نیز ثابت می‌شد. پس چنین bای وجود ندارد.
بنابراین x یک کلاسِ ناصفر در گروهِ زیر می‌سازد:
H¹ét(A¹k, Fp)
این نکته درخشان است: خطِ افین از نظرِ زاریسکی بسیار ساده به نظر می‌رسد،
اما در هندسه‌ی اتاله پوشش‌های غیر بدیهیِ فراوان دارد.
۹. جمع‌بندیِ مفهومی
| مرحله | معنای هندسی |
| tp − t = a | جست‌وجوی یک ریشه یا جواب |
| حل پس از پوششِ étale | جواب موضعی، بدون تکینگی و شاخه‌زنی |
| bi − bj ∈ Fp | اندازه‌گیریِ اختلافِ جواب‌های محلی |
| [cij] ∈ H¹ét(X, Fp) | مانعِ چسبیدنِ جواب‌های محلی به جواب جهانی |
| Fp-torsor | خودِ فضای هندسیِ همه‌ی جواب‌ها |
«شِف، پاسخ را در هر موضع گرد آورد؛
کوهمولوژی، رازِ نپیوستنِ پاسخ‌ها را شمرد؛
و étale گفت: گاه حقیقت،
در پوششی بی‌رمق از تکینگی، آشکار می‌شود.»
```
### هسته‌ی نتیجه
```text
H¹_et(X, F_p)
```
فضای طبقه‌بندیِ پوشش‌های اتاله آرتین–شرایر، یا هم‌ارز آن، تارسورهای تحتِ `F_p` است.
و اگر `X = Spec(A)` افین باشد:
```text
H¹_et(Spec(A), F_p) ≅ A / (F − 1)A
```
که در آن:
```text
(F − 1)A = {b^p − b | b ∈ A}.
```
پس مسئله‌ی ظاهراً ساده‌ی حلِ `b^p − b = a`، در ژرفای خود به هندسه‌ی پوشش‌ها، گروه‌های بنیادیِ اتاله ، و کوهمولوژیِ شِفی راه می‌برد.
پوشش‌های غیر بدیهیِ فراوان دارد.
۹. جمع‌بندیِ مفهومی
| مرحله | معنای هندسی |
| tp − t = a | جست‌وجوی یک ریشه یا جواب |
| حل پس از پوششِ étale | جواب موضعی، بدون تکینگی و شاخه‌زنی |
| bi − bj ∈ Fp | اندازه‌گیریِ اختلافِ جواب‌های محلی |
| [cij] ∈ H¹ét(X, Fp) | مانعِ چسبیدنِ جواب‌های محلی به جواب جهانی |
| Fp-torsor | خودِ فضای هندسیِ همه‌ی جواب‌ها |
«شِف، پاسخ را در هر موضع گرد آورد؛
کوهمولوژی، رازِ نپیوستنِ پاسخ‌ها را شمرد؛
و اتاله گفت: گاه حقیقت،
در پوششی بی‌رمق از تکینگی، آشکار می‌شود.»
```
### هسته‌ی نتیجه
```text
H¹_et(X, F_p)
```
فضای طبقه‌بندیِ پوشش‌های étale آرتین–شرایر، یا هم‌ارز آن، تارسورهای تحتِ `F_p` است.
و اگر `X = Spec(A)` افین باشد:
```text
H¹_et(Spec(A), F_p) ≅ A / (F − 1)A
```
که در آن:
```text
(F − 1)A = {b^p − b | b ∈ A}.
```
پس مسئله‌ی ظاهراً ساده‌ی حلِ `b^p − b = a`، در ژرفای خود به هندسه‌ی پوشش‌ها، گروه‌های بنیادیِ étale، و کوهمولوژیِ شِفی راه می‌برد.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.