ریاضیات

«هر فضا، پر از بازهایِ خرد و کلان است؛

اما پیش‌دسته، نخی است که این دانه‌های تسبیح را به هم می‌دوزد،

تا هماهنگیِ مقاطع، آینه‌ی یک حقیقت شود.»

معماریِ پیش‌دسته‌ها و دسته‌های مدول روی فضا

۱. تعریفِ دقیقِ پیش‌دسته (Presheaf) از گروه‌های آبلی

فرض کنید X یک فضایِ توپولوژیک باشد. یک پیش‌دسته از گروه‌های آبلی روی X، ساختاری است که:

• به هر زیرمجموعه‌ی بازِ U ⊆ X، یک گروهِ آبلیِ A(U) نسبت می‌دهد (مجموعه‌ی مقاطع روی U).
• به ازای هر زوج از مجموعه‌های بازِ درون‌هم مانند U ⊆ V، یک هم‌ریختیِ تحدید وجود دارد:

  r_U,V : A(V) → A(U)

این نگاشت‌های تحدید باید دو شرطِ بنیادین را برآورده کنند:

1. شرطِ همانی: تحدیدِ هر باز روی خودش، نگاشتِ همانی است: r_U,U = id.
2. شرطِ تراگذری: اگر سه‌تاییِ بازِ U ⊆ V ⊆ W را داشته باشیم، تحدیدِ متوالی برابر با تحدیدِ مستقیم است: r_U,W = r_U,V ∘ r_V,W.

۲. پیش‌دسته از حلقه‌ها و مدول‌ها

اگر به جای گروه‌های آبلی، به هر باز یک حلقه نسبت دهیم، و نگاشت‌های تحدید، هم‌ریختیِ حلقه‌ها باشند، با یک پیش‌دسته از حلقه‌ها روبه‌روییم. از این مهم‌تر، اگر فضایِ ما مجهز به یک حلقه‌ی ساختاری باشد (یک پیش‌دسته از حلقه‌ها چون A)، آن‌گاه یک پیش‌دسته از مدول‌ها (یا A-مدول‌ها) به دست می‌آید:

به هر بازِ U، یک A(U)-مدول چون B(U) نسبت داده می‌شود؛ به‌گونه‌ای که نگاشت‌های تحدید با ساختارِ مدولی کاملاً سازگارند. یعنی ضربِ یک تابعِ حلقه‌ای در مقطعِ مدولی، زیرِ نگاشتِ تحدید حفظ می‌شود:

که در آن α ∈ A(V) و s ∈ B(V) هستند.

۳. تأمل: نظمِ جاری در کثرتِ بازها

پیش‌دسته، تمثیلی از «مراتبِ فهم» است. وقتی از یک بازِ بزرگ‌تر (V) به بازِ کوچک‌ترِ درونِ آن (U) پا می‌گذاریم، حقیقت فشرده‌تر و جزئی‌تر می‌شود. نگاشتِ تحدید (r_U,V) گواهی می‌دهد که نگاهِ محلی، فرعِ بر نگاهِ سراسری است؛ با این حال، تمامیتِ کل در کثرتِ این محدوده‌ها حفظ می‌شود — همچون شعاع‌های خورشید که در هر پنجره‌ای به اندازه‌ی همان قاب می‌تابند، اما از یک خورشید سرچشمه می‌گیرند.

«بازها متکثرند، اما تحدید، پلِ پیوند است؛

و پیش‌دسته، نخستین گام در راهِ وحدتِ بخشیدن به این پراکندگی‌هاست.»