Бөлу схемасы - Divisorial scheme

Алгебралық геометрияда а бөлу сызбасы - бұл «мол отбасы «сызық шоғырларының айырмашылығы желінің байламы. Атап айтқанда, а квазиопроективті әртүрлілік - бұл дивизиялық схема, ал ұғым «квазиопроективті» қорыту болып табылады. Ол енгізілді (Борелли 1963 ж ) (әртүрлілік жағдайында), сондай-ақ (SAG 6, Exposé II, 2.2.) (Схема жағдайында). «Дивизиорлы» термин «бұл сорттардың топологиясын олардың оң бөлгіштері анықтайды» дегенді білдіреді.[1] Бөлу схемаларының класы едәуір үлкен: оған аффиндік схемалар, бөлінген тұрақты схемалар және дивизиорлық схеманың қосалқы схемалары кіреді (мысалы проективті сорттар ).

Анықтама

SGA 6-дағы анықтама, бұл Борелли анықтамасының неғұрлым жалпы нұсқасы. Квази-ықшам квази-бөлінген схема берілген X, төңкерілетін шоқтар тұқымдасы оған ан деп айтылады мол отбасы егер, әрқайсысы үшін және әрбір бүтін сан , ашық ішкі жиындар а негіз (Зариски) топологиясының X; басқаша айтқанда, бұл ашық жиынтықтар аффинаның ашық мұқабасы болып табылады X.[2] Содан кейін схема дивизиялық деп аталады, егер мұндай төңкерілетін шоқтардың саны жеткілікті болса.

Әдебиеттер тізімі

  1. ^ Борелли 1963 ж, Кіріспе
  2. ^ SGA 6, Анықтама 2.2.4.
  • Бертелот, Пьер; Александр Гротендик; Люк Иллуси, eds. (1971). Séminaire de Géométrie Algébrique du Bois Marie - 1966–67 - Тиори қиылыстары және Риман-Роч теориясы - (SGA 6) (Математикадағы дәрістер 225) (француз тілінде). Берлин; Нью Йорк: Шпрингер-Верлаг. xii + 700. дои:10.1007 / BFb0066283. ISBN  978-3-540-05647-8. МЫРЗА  0354655.
  • Борелли, Марио (1963). «Бөлімшелік сорттар». Тынық мұхит журналы. 13: 375–388. МЫРЗА  0153683.CS1 maint: ref = harv (сілтеме)