ریاضیات

«جبر، نقشِ وحدت است؛ هندسه، آینه‌ی کثرت؛

چون جبر بر هندسه نشیند، هر نقطه، نوری است از حقیقت.»

مدول‌های دسته‌ای: وقتی جبر بر پیکره‌ی هندسه می‌نشیند

تمهید: تا کنون دانستیم که یک دسته (F)، مجموعه‌ای از «مقطع‌ها» روی یک فضا است. اما در دنیایِ واقعی، این مقطع‌ها «اعداد» یا «توابعِ ساده» نیستند؛ آن‌ها اشیایی‌اند که زیرِ عملیاتِ ضرب و جمع رفتارِ ویژه دارند. برای این کار به یک «مبنا» نیاز داریم: یک دسته از حلقه‌ها به نام O_X — همان ساختاری که به هر نقطه، «هویتِ جبری» می‌بخشد.

۱. دسته از حلقه‌ها (O_X): روحِ هندسیِ فضا

در هندسه‌ی جبری، روی فضایِ توپولوژیک X یک دسته از حلقه‌ها به نام O_X (دسته‌ی ساختاری) می‌سازیم که به هر بازِ U، حلقه‌ی O_X(U) را نسبت می‌دهد. اگر X = Spec(A) باشد، O_X در هر باز، توابعِ «منظم» را به ما می‌دهد. این O_X، قانونِ حاکم بر فضا است — روحِ هندسی که بر هر نقطه، ارزشِ جبری می‌نهد.

۲. تعریف: دسته‌ی مدول

حال که حلقه‌ی ساختاری O_X را داریم، یک دسته‌ی مدول (یا O_X-مدول) بر X، دسته‌ای است چون F با این خواص:

• به هر بازِ U، یک O_X(U)-مدول به نام F(U) نسبت داده می‌شود.
• ساختارِ مدولیِ F(U) با نگاشت‌هایِ قید سازگار است.
• عملیاتِ ضربِ حلقه‌ای با عملیاتِ مدولی هم‌گام است: اگر f ∈ O_X(U) و s ∈ F(U)، آن‌گاه f·s ∈ F(U).

به زبانِ ساده: F یک «فضایِ برداری» (به‌تر: یک مدول) است که «ضریب‌هایِ» آن، همان توابعِ حلقه‌ایِ O_X هستند — سوار شدنِ جبر بر هندسه.

۳. مثالِ محوری: ∼M — مدولِ مرتبط با حلقه

مهم‌ترین مثال، ساختِ یک O_X-مدول از یک A-مدولِ سراسری است. اگر M یک A-مدول باشد، یک O_X-مدول به نام ∼M می‌سازیم که در هر باز، با «موضعی‌سازیِ» M سروکار دارد:

این ∼M، در هر بازِ اصلیِ D(f)، مدولِ موضعی‌سازی‌شده‌ی M_f را می‌دهد. بدین‌سان یک A-مدولِ سراسری، به ساختاری موضعی بر روی فضای Spec(A) بدل می‌شود — پخشِ کل در اجزاء؛ وحدتی که در کثرت، خود را می‌گستراند.

۴. قله‌ی سیر: هم‌ارزیِ جبر و هندسه

اینک به زیباترین قضیه‌ی این مسیر می‌رسیم. فانکتورِ «مدولِ مرتبط» (M ↦ ∼M) و فانکتورِ «مقطعِ سراسری» (F ↦ Γ(X, F)) یک هم‌ارزیِ دوطرفه ایجاد می‌کنند:

به زبانِ ساده: هر مدولِ سراسریِ M را می‌توان به ساختاری هندسیِ موضعیِ ∼M تبدیل کرد و از آن باز به M برگشت. این، دقیقاً همان «وحدتِ جبر و هندسه» است — جایی که حلقه‌ی سراسری و فضا، یک ذاتِ واحدند که از دو زاویه دیده می‌شوند.

۵. تأمل: کل در جزء، و جزء در کل

این هم‌ارزی، زیباترین تجلیِ «کل در جزء» در ریاضیات است. یک مدولِ سراسریِ M، مانندِ «روحِ کل» است که در تمامِ نقاطِ فضا جاری است. هر نقطه، جلوه‌ای از آن کل است؛ و با نگریستن به تمامِ جلوه‌ها می‌توان به کلِ آن پی برد. وحدتِ جبر و هندسه، همچون وحدتِ «نام» و «معنون» است: حلقه، «ذات» است؛ فضای Spec، «تجلی». و این دو، دو رویِ یک سکه‌اند — دو نگاهِ متفاوت به یک حقیقتِ واحد.

«هر مدول، روحی است که در همه‌جا حاضر است؛

هر نقطه، جلوه‌ای است از کل؛

و این است هم‌ارزیِ جبر و هندسه:

کل در جزء، و جزء در کل — همان رازِ وحدت در کثرت.»