2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Определение структурного пучка
Сообщение10.10.2014, 19:07 
Помогите разобраться с определением. Чем больше пытаюсь понять, тем сильнее запутываюсь. :oops:
Обозначения следующие: $R$ - коммутативное кольцо с единицей, $X=\operatorname{Spec}R,$ $X_f$ - главное открытое множество (т.е. множество всех простых идеалов $R,$ не содержащих $f$), $R_f$ - локализация по элементу $f.$ Обозначим наш пучок $\mathcal{O}_X$ и его слой в точке $\mathfrak p$ через $R_{\mathfrak p}.$ Определение
Цитата:
Для всякого открытого множества $U\subset X$ положим $\mathcal{O}_X(U)$ равным множеству наборов $\{s_{\mathfrak p}\}\in\prod\limits_{\mathfrak p\in U}R_{\mathfrak p},$ обладающих тем свойством, что существуют покрытие $U$ главными открытыми множествами $X_{f_{\alpha}}$ и элементы $s_{\alpha}\in R_{f_{\alpha}},$ для которых $s_{\mathfrak p}$ совпадает с образом $s_{\alpha}$ в $R_{\mathfrak p},$ как только $\mathfrak p\in X_{f_{\alpha}}.$
Сначала я хотела бы понять: для каждого набора $\{s_{\mathfrak p}\}$ свое покрытие и элементы или они фиксированы?

 
 
 [ 1 сообщение ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group