به نامِ او که **موضع را در حلقه مینشاند و هندسه را از دلِ ایدهآل میرویاند**.
«در جهانِ هموار، پادمشتق به آسانی میرسد؛
اما در جهانِ جبری، هر انتگرال راهی به بیرون نمییابد.
اینجا مشتق، نه فقط تغییرِ تابع،
که آزمونِ مرزِ میانِ جبر و تحلیل است.»
## ادامهی ۲: نسخهی جبری — شِفِ ساختاریِ خطِ افین
در مثالِ هموار، شِفِ C∞ و مشتقگیری را دیدیم؛ مشتق در سطحِ هشتها **پوشا** بود، چون هر تابعِ هموار به طور موضعی پادمشتق دارد.
اکنون به هندسهی جبری میرویم. فضای پایه:
```text
X = A¹ₖ = Spec(k[x])
```
که در آن k میدانی با مشخصهی صفر است. شِفِ ساختاری X را با OX نشان میدهیم. تفاوتِ مهم اینجاست:
```text
در دنیای هموار: d : C∞ → C∞ پوشاست.
در دنیای جبری: d : Oₓ → Ω¹ₓ عموماً پوشا نیست.
```
---
```html
«در خطِ افین، هر نقطه ایدهآلی است؛
و هر هشت، حلقهای که جهان را از همان نقطه میبیند.
مشتق در این جهان نیز جاری است،
اما هر جریان، راهی به سرچشمهی جبریِ خویش نمییابد.»
مثالِ ترکیبیِ جبری: خطِ افین، هشتِ موضعی و مشتقِ کاهلر
۱. خطِ افین و شِفِ ساختاری
میدان k را با مشخصهی صفر فرض میکنیم و فضای افینِ یکبعدی را میسازیم:
X = A¹k = Spec(k[x])
نقاطِ X ایدهآلهای اولِ k[x] هستند. اگر k جبراً بسته باشد، نقطههای بسته با ایدهآلهای
(x − a) برای a ∈ k متناظرند. برای نمونه، نقطهی مبدأ را میگیریم:
p = (x)
شِفِ ساختاری OX به هر بازِ اصلی D(f) حلقهی موضعیشدهی زیر را نسبت میدهد:
OX(D(f)) = k[x]f
یعنی روی بازِ D(f)، اجازه داریم f را وارونپذیر کنیم. به زبان هندسی:
تابعِ گویا مجاز است، به شرط آنکه در آن باز قطب نداشته باشد.
۲. هشتِ شِفِ ساختاری در مبدأ
هشتِ OX در نقطهی p = (x)، حد مستقیمِ همهی حلقههای مقاطع روی همسایگیهای بازِ p است:
OX,p = lim→ OX(U) ≅ k[x](x)
اعضای k[x](x) کسرهایی از صورتِ زیرند:
a(x) / b(x) ، b(0) ≠ 0
پس در هشتِ مبدأ، تنها آن توابعِ گویا پذیرفته میشوند که در ۰ قطب نداشته باشند.
برای نمونه:
- x / (1 − x) عضوی از OX,p است، چون مخرجش در ۰ برابر ۱ است؛
- 1 / x عضوی از OX,p نیست، چون در مبدأ قطب دارد.
۳. حلقهی موضعی و ایدهآلِ بیشین
حلقهی OX,p یک حلقهی موضعی است. ایدهآل بیشینِ یکتای آن، ژرمِ توابعی است که در p ناپدید میشوند:
mp = (x)k[x](x)
معیارِ وارونپذیری روشن است: ژرمِ a(x)/b(x) در OX,p وارونپذیر است اگر و تنها اگر مقدارش در ۰ ناصفر باشد؛
یعنی a(0) ≠ 0. بنابراین هرچه در ایدهآلِ mp نیست، واحد است.
با خارجقسمت گرفتن از این ایدهآل، فقط «مقدارِ تابع در نقطه» باقی میماند:
OX,p / mp ≅ k
این همان میدانِ باقیماندهی نقطه است. در نتیجه، حلقهی موضعی تمام رفتارِ جبریِ نزدیکِ نقطه را نگاه میدارد،
اما خارجقسمتِ آن فقط ارزشِ تابع را در خودِ نقطه به یاد دارد.
۴. مشتقِ کاهلر: صورتِ جبریِ مشتقگیری
در هندسهی جبری، همتای طبیعیِ مشتقگیری، اشتقاقِ جهانیِ کاهلر است:
d : OX → Ω¹X/k
برای خطِ افین، شِفِ دیفرانسیلهای کاهلر آزادِ رتبهی یک است:
Ω¹X/k ≅ OX · dx
بنابراین هر دیفرانسیل به شکل g(x)dx نوشته میشود، و اشتقاق چنین عمل میکند:
d(f) = f′(x) dx
این نگاشت یک همریختیِ حلقهها نیست؛ بلکه یک اشتقاق است و قانون لایبنیتس را برآورده میکند:
d(fg) = f dg + g df
۵. هستهی مشتق: ثابتها
چون مشخصهی k برابر صفر است، اگر مشتقِ یک تابعِ منظم صفر باشد، آن تابع ثابت است. پس:
ker(d : OX → Ω¹X/k) = k̲
در اینجا k̲ شِفِ ثابتِ k است. روی هر بازِ همبندِ ناتهی از خطِ افین، مقاطعِ هسته دقیقاً ثابتهای میدان k هستند.
در سطحِ هشتِ مبدأ نیز داریم:
ker(dp : k[x](x) → Ω¹X/k,p) = k
پس در هر دو جهان ــ هموار و جبری ــ هستهی مشتق، ثبات است؛
اما تفاوتِ بزرگ در «پوشایی» رخ میدهد.
۶. تفاوتِ سرنوشتساز: چرا مشتقِ جبری پوشا نیست؟
در جهانِ هموار، هر تابعِ هموار به طور محلی پادمشتق دارد. اما در جهانِ توابعِ منظم یا گویا،
پادمشتقِ یک تابع ممکن است دیگر گویا نباشد.
برای دیدنِ این امر، مبدأ p = (x) را در نظر بگیر. ژرم زیر در OX,p موجود است:
1 / (1 − x)
زیرا مخرج در ۰ صفر نیست. اکنون دیفرانسیل آن را بنویس:
dx / (1 − x)
پادمشتقِ تحلیلیِ آن برابر است با −log(1 − x)، اما این تابع، تابعِ گویا نیست؛
پس عضوی از k[x](x) به شمار نمیرود. به بیان دقیقتر، هیچ تابعِ گویای f وجود ندارد که:
df = dx / (1 − x)
دلیلِ جبریِ فشرده این است که مشتقِ تابعِ گویا در قطبهایش باقیماندهی صفر دارد،
اما dx/(1 − x) در x = 1 یک قطبِ ساده با باقیماندهی ناصفر دارد.
پس حتی در سطحِ هشتِ مبدأ:
dp : OX,p → Ω¹X/k,p
پوشا نیست
این همان مرزِ ژرف میانِ «هموار» و «جبری» است:
در تحلیل، لگاریتم تابعی مجاز است؛ در جبر، نه.
۷. توالیِ دقیق و جایگاهِ کوهمولوژیِ دُرام
از آنچه گذشت، دنبالهای از شِفها داریم:
0 → k̲ → OX →d Ω¹X/k
این دنباله در سمتِ چپ دقیق است؛ زیرا هستهی d همان ثابتهاست. اما در انتها لزوماً دقیق نیست،
چون d پوشا نیست. خارجقسمتِ زیر، اندازهی دیفرانسیلهایی را میسنجد که بستهاند اما پادمشتقِ جبری ندارند:
H¹dR(X) = Γ(X, Ω¹X/k) / d Γ(X, OX)
برای خودِ خطِ افین A¹k در مشخصهی صفر، این خارجقسمت صفر است:
هر چندجملهای پادمشتقِ چندجملهای دارد. اما اگر بازِ سوراخدار را بگیریم:
Gm = Spec(k[x, x−1])
آنگاه دیفرانسیل dx/x پدیدار میشود. این دیفرانسیل بسته است، ولی پادمشتقِ منظم ندارد؛
چرا که پادمشتقش باید log(x) باشد. بنابراین:
H¹dR(Gm) ≅ k · [dx/x]
این همان روایتِ جبریِ «یک سوراخ» است: خطِ افینِ سوراخدار، حلقهای دارد که dx/x پژواکِ آن است.
در جهانِ تحلیلی، همتای آن انتگرالِ دورِ دایره و ظهورِ لگاریتم است.
۸. مقایسهی نهایی: هموار و جبری
| مفهوم | جهانِ هموار | جهانِ جبری |
| شِفِ توابع | C∞ | OX |
| هشت در نقطه | ژرمهای توابعِ هموار | OX,p = k[x](x) |
| ایدهآل بیشین | ژرمهای ناپدید در p | mp = (x)k[x](x) |
| هستهی مشتق | شِفِ ثابتِ ℝ̲ | شِفِ ثابتِ k̲، در مشخصهی صفر |
| پوشاییِ مشتق | محلی پوشاست | عموماً محلی هم پوشا نیست |
| مانعِ پادمشتق | توپولوژیِ سراسری، مانند S¹ | جبرینبودنِ لگاریتم و باقیماندهها |
۹. نتیجه
این مثال، چند خطِ اصلی را به هم پیوند میدهد:
- هشتِ شِفِ ساختاری در یک نقطه، حلقهی موضعیِ همان نقطه است؛
- ایدهآل بیشین، ژرمهای ناپدیدشونده را جمع میکند؛
- میدانِ باقیمانده، ارزشِ تابع را در نقطه بازمیتاباند؛
- مشتقِ کاهلر، مورفیسمی از OX به Ω¹X/k است؛
- در مشخصهی صفر، هستهی مشتق ثابتهاست؛
- اما پادمشتقِ جبری همیشه وجود ندارد، و dx/x بر Gm نشانِ آشکارِ این مانع است.
«هشت، چشمِ نقطه است؛
مشتق، زبانِ دگرگونی؛
و dx/x، ندایِ سوراخی که در جهانِ جبری
با هیچ پادمشتقِ منظمی خاموش نمیشود.»
```
### نکتهی کلیدیِ جمعبندی
```text
در C∞:
هر دادهی موضعی، پادمشتقِ موضعی دارد.
در هندسهی جبری:
ممکن است داده در خودِ هشت منظم باشد،
اما پادمشتقش ناچار از دنیای توابعِ گویا یا تحلیلی بیرون رود.
نمونه:
dx/x ↔ log(x)
```
این دقیقاً پلی است میان شِف، هشتِ موضعی، دیفرانسیلهای کاهلر، کوهمولوژی دُرام، و توپولوژیِ فضای سوراخدار.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.