فضای حلقه‌ای

در ریاضیات، یک فضای حلقه‌ای خانواده ای از حلقه‌های (جابجایی) است که توسط زیر مجموعه‌های باز یک فضای توپولوژی به همراه همومورفیسم‌های حلقه‌ای که نقش تحدیدها را دارند پارامتر بندی شده‌اند. به‌طور دقیق تر، یک فضای توپولوژیست که مجهز به بافه (شیف) حلقه‌ها شده که به آن بافه (شیف) ساختاری گویند. این تجریدی از مفهوم حلقه توابع (با مقادیر اسکالر) پیوسته روی مجموعه‌های باز است.

در میان فضاهای حلقه ای، فضاهای موضعاً حلقه‌ای اهمیت خاص و برجسته ای دارند: یک فضای حلقه‌ای که در آن مقایسه جرم یک تابع معتبر است.

توجه کنید: در تعریف یک فضای حلقه‌ای، بسیاری از نوشته‌ها تمایل به محدود سازی حلقه‌ها به حلقه‌های جابجایی دارند، مثل کتاب هارتشورن و ویکی‌پدیای انگلیسی. از سوی دیگر کتاب "Éléments de géométrie algébrique" گروتندیک (که اصل آن به فرانسویست) فرض جابجایی بودن حلقه‌ها را تحمیل نمی‌کند، گرچه که این کتاب اکثراً حالت جابجایی را در نظر می‌گیرد.

تعاریف

یک فضای حلقه‌ای $(X,O_{X})$

یک فضای توپولوژی به همراه بافه (شیف) حلقه‌های

O_{X}

روی

X

است. بافه (شیف)

O_{X}

را بافه (شیف) ساختاری

X

گویند.

یک فضای حلقه‌ای موضعی فضای حلقه ای $(X,O_{X})$

است که تمام ساقه‌ها (استالک)های

O_{X}

آن حلقه‌های موضعی (یعنی آن‌ها ایده‌آل‌های ماکسیمال منحصر به فردی دارند) هستند. توجه کنید که نیاز نیست که

O_{X}(U)

برای تمام مجموعه‌های باز

U

یک حلقه موضعی باشد؛ در حقیقت، تقریباً هیچ‌گاه این اتفاق نمی‌افتد.

پانویس

↑ EGA, Ch 0, 4.1.1.

منابع

Section 0.4 of Grothendieck, Alexandre; Dieudonné, Jean (1960). "Éléments de géométrie algébrique: I. Le langage des schémas". Publications Mathématiques de l'IHÉS. 4. doi:10.1007/bf02684778. MR 0217083.
Hartshorne, Robin (1977). Algebraic Geometry. Springer-Verlag. ISBN 978-0-387-90244-9. Zbl 0367.14001.

[1] EGA, Ch 0, 4.1.1.