«دو راه از فروبنیوس گذر میکند:
یکی از جمع، با نغمهی \(F-1\)؛
یکی از ضرب، با رازِ توان.
اما چون \(p\) به میان آید،
راهِ ریشه در پوششِ اتاله فروبسته میشود؛
نه آنکه ریشه مرده باشد،
بلکه در ژرفای نادیدنیِ طرح، پنهان میگردد.»
```html
۶. چه چیزی را میسنجند؟
دنبالهی آرتین–شرایر، با ضریبِ Fp:
معادلههای جمعیِ
Tp − T = a
را طبقهبندی میکند. این معادلهها، پوششهای دوریِ درجهی p میآفرینند؛
پوششهایی که گروهِ تقارنشان، گروهِ جمعیِ
Fp
است.
دنبالهی کومر، با ضریبِ μn:
معادلههای ضربیِ
Tn = a
را میسنجد. هنگامی که n در حلقهی ساختاریِ X وارونپذیر است،
این معادلهها پوششهای دوریِ درجهی n میسازند و
μn
گروهِ تقارنِ آنهاست.
آرتین–شرایر، «تفاضلِ فروبنیوسی» را میسنجد؛ کومر، «ریشهپذیریِ ضربی» را.
اولی از جمع برمیخیزد و دومی از ضرب؛ اما هر دو، صورتهایی از پرسشِ بنیادیِ
«آیا این داده، پس از یک پوشش، صاحبِ جواب میشود؟» هستند.
۷. یک تصحیحِ بنیادین: کومر در مشخصهی p
در اینجا باید میانِ طرحِ گروهیِ μp و
شِفِ اتالهی متناظر با آن فرق بگذاریم.
در مشخصهی p داریم:
Xp − 1 = (X − 1)p
پس μp به معنای طرحوارهای، فقط «یک نقطه» نیست:
یک ساختارِ نامختزل و ناپیدا دارد که در ضخامتِ بینهایتکوچکِ نقطهی ۱ نهفته است.
اما این ساختار از دیدِ سایتِ اتاله دیده نمیشود؛ زیرا پوششهای اتاله
نمیتوانند این ضخامتِ نامختزل را بگشایند.
بنابراین، اگر X در مشخصهی p باشد، نگاشتِ توانِ p:
Gm → Gm, u ↦ up
بر سایتِ اتاله، عموماً پوشا نیست. به زبانِ ساده، یک واحدِ محلی لزوماً پس از
گذر به یک پوششِ اتاله، ریشهی p-اُم پیدا نمیکند. علت آن است که افزودنِ چنین ریشهای
در مشخصهی p غالباً یک گسترشِ صرفاً جدانشدنی میسازد، نه یک گسترشِ اتاله.
پس دنبالهی زیر در سایتِ اتاله، وقتی p در X صفر است، دنبالهی کوتاهِ دقیق نیست:
0 → μp → Gm →p Gm → 0
رازِ μp از میان نرفته است؛ تنها از جهانِ اتاله بیرون رفته و در جهانِ
فلت پناه گرفته است. دنبالهی کومر برای
n = p
بر سایتِ فلت، یا دقیقتر «fppf»، دقیق میشود:
1 → μp → Gm →p Gm → 1
(on the fppf site)
اینجا مرزِ دو جهان آشکار میشود:
آرتین–شرایر ذاتاً اتاله است؛
اما کومرِ p-تایی ذاتاً فلت است.
۸. شرطِ درستِ دنبالهی کومرِ اتاله
اکنون فرض کنید n در همهی حلقههای موضعیِ X وارونپذیر باشد؛
برای نمونه، X روی میدانی با مشخصهی p ساخته شده باشد و:
gcd(n, p) = 1
در این حالت، نگاشتِ توانِ n بهطور موضعی در توپولوژیِ اتاله پوشاست و دنبالهی کومر
واقعاً کوتاه و دقیق است:
1 → μn → Gm →u↦un Gm → 1
(on the étale site)
علتِ اتالهبودن، در مشتقِ چندجملهای
Tn − a
نهفته است:
d(Tn − a)/dT = nTn−1
چون n وارونپذیر است و T در فضای ضربی وارونپذیر فرض میشود،
این مشتق وارونپذیر است. پس معادلهی
Tn = a
ریشههایی جدا از هم دارد و پوششِ حاصل بیانشعاب، یعنی اتاله، است.
۹. دنبالهی بلندِ کومر و ظهورِ پیکار
از دنبالهی کوتاهِ کومر، دنبالهی بلندِ کوهمولوژی به دست میآید. دو همانیِ بنیادی را به یاد آوریم:
H0et(X, Gm) = Γ(X, OX*)
H1et(X, Gm) = Pic(X)
اولی گروهِ واحدهای جهانیِ X است؛ دومی گروهِ پیکار، یعنی گروهِ کلاسهای
دستهخطها یا، در وضعیتهای مناسب، دیویزرها به پیمانهی همارزیِ خطی.
از این رو، بخشِ آغازینِ دنبالهی بلند چنین میشود:
Γ(X,OX*) →n Γ(X,OX*)
→ H1et(X,μn)
→ Pic(X) →n Pic(X)
و از دقیقبودن، دنبالهی کوتاهِ بسیار گویا حاصل میشود:
0 → Γ(X,OX*)/Γ(X,OX*)n
→ H1et(X,μn)
→ Pic(X)[n] → 0
در اینجا
Pic(X)[n]
بخشِ n-تاییِ گروهِ پیکار است:
Pic(X)[n] = { L ∈ Pic(X) | L⊗n ≅ OX }
پس
H1et(X,μn)
نه خودِ گروهِ براور، بلکه دو گونه داده را با هم نگاه میدارد:
واحدهای جهانی تا پیمانهی توانِ n، و دستهخطهای n-پیچشی.
۱۰. جایِ واقعیِ گروهِ براور
گروهِ براور در یک درجه بالاتر پدیدار میشود. از ادامهی دنبالهی بلندِ کومر میخوانیم:
Pic(X) →n Pic(X)
→ H2et(X,μn)
→ H2et(X,Gm)
→n H2et(X,Gm)
بهطور متعارف، بخشِ پیچشیِ مناسبِ
H2et(X,Gm)
را با گروهِ براور پیوند میدهند. در نتیجه، وقتی شرایطِ لازم برقرار باشد،
کوهمولوژیِ درجهی دوم با ضریبِ μn، به بخشِ n-تاییِ براور راه میبرد:
Pic(X)/nPic(X) → H2et(X,μn) → Br(X)[n] → 0
پس نسبتِ درست چنین است:
H1 با μn به واحدها و پیکار پیوند دارد؛
H2 با μn به براور نزدیک میشود.
۱۱. مقایسهی نهایی: آرتین–شرایر و کومر
| ویژگی | آرتین–شرایر | کومر |
| معادلهی بنیادین | Tp − T = a | Tn = a |
| ساختارِ گروهی | Fp، جمعی | μn، ضربی |
| نگاشتِ تعیینکننده | F − 1 | u ↦ un |
| قلمروِ طبیعی | مشخصهی p، سایتِ اتاله | اگر n وارونپذیر باشد: سایتِ اتاله؛ اگر p|n: سایتِ فلت |
| نوعِ پوشش | دوریِ p-تایی و اتاله | دوریِ n-تایی؛ در حالتِ اول نسبت به p، اتاله |
«آرتین–شرایر گفت: از خویش بکاه تا تقارن پدیدار شود.
کومر گفت: از خویش ریشه بگیر تا پوشش پدیدار شود.
و فضا در آینهی این دو صدا گفت:
جمع و ضرب، دو پرده از یک تجلیاند.»
```
### خلاصهی فشرده
```text
آرتین–شرایر:
1 → F_p → O_X →^(F−1) O_X → 1
```
در مشخصهی `p`، این دنباله بر سایتِ **اتاله** دقیق است و پوششهای جمعیِ `p`-تایی را میسنجد.
```text
کومر:
1 → μ_n → G_m →^(u↦u^n) G_m → 1
```
این دنباله بر سایتِ **اتاله** دقیق است، به شرط آنکه `n` وارونپذیر باشد؛ یعنی در مشخصهی `p`:
```text
gcd(n,p) = 1.
```
اما برای `n=p`، دنبالهی کومر را باید در سایتِ **فلت/fppf** دید، نه در سایتِ اتاله.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.