В алгебраїчній геометрії дивізори є узагальненням підмноговидів деякого алгебричного многовиду корозмірності 1. Існують два різних таких узагальнення — дивізори Вейля і дивізори Картьє (названі на честь Андре Вейля і ), ці поняття еквівалентні в разі многовидів (або схем) без особливих точок.
Дивізори Вейля
Визначення
Дивізор Вейля на алгебричному многовиді (або, загальніше, на нетеровій схемі) — це скінченна лінійна комбінація , де — незвідні замкнуті підмножини , а — цілі коефіцієнти. Очевидно, що дивізори Вейля утворюють абелеву групу відносно додавання; цю групу позначають . Дивізор вигляду називають простим, а дивізор, для якого всі коефіцієнти невід'ємні — ефективним.
Група класів дивізорів
Припустимо, що схема є цілою, віддільною, і регулярною в корозмірності 1 (зокрема, ці властивості виконуються для гладких алгебричних многовидів). Регулярність у корозмірності 1 означає, що локальне кільце загальної точки будь-якої незвідної замкнутої підмножини корозмірності 1 регулярне (і нетерове, оскільки є локалізацією нетерового кільця), а отже, є кільцем дискретного нормування. Будь-яка раціональна функція на (елемент поля часток кільця регулярних функцій ) має деяку норму в цьому кільці. Якщо норма раціональної функції більша від нуля для деякої незвідної підмножини , то кажуть, що раціональна функція має нуль на , а якщо менша від нуля — має полюс. З нетеровості схеми виводиться, що норма раціональної функції не дорівнює нулю лише для скінченного числа незвідних підмножин, отже кожній раціональній функції зіставляється дивізор, який позначають . Дивізори, які можна так отримати, називають головними.
Оскільки , головні дивізори утворюють підгрупу у . Фактор-групу за підгрупою головних дивізорів називають групою класів дивізорів і позначають . Група класів дивізорів сама є цікавим інваріантом схеми (тривіальність групи класів афінної схеми є критерієм факторіальності кільця за умови, що нетерівське і цілозамкнуте), а також, у деяких випадках, дозволяє класифікувати всі одновимірні розшарування над даною схемою.
Дивізори Вейля і лінійні розшаровання
Нехай — лінійне розшарування над (цілою, нетерівською, регулярною в корозмірності 1) схемою ; йому відповідає пучок перетинів, локально ізоморфний кільцю регулярних функцій на . Використовуючи ці ізоморфізми, будь-якому раціональному перетину даного пучка (тобто перетину над деякою відкритою щільною підмножиною) можна зіставити дивізор його нулів і полюсів, що позначається . Два різних раціональних перетини відрізняються множенням на раціональну функцію, тому це зіставлення визначає коректно задане відображення з [en] в групу класів дивізорів: . Можна перевірити також, що це відображення є гомоморфізмом (тензорному добутку розшарувань відповідає сума дивізорів), в разі нормальності схеми воно ін'єктивне, а в разі локальної факторіальності схеми — сюр'єктивне. Зокрема, всі ці умови виконуються для гладких алгебричних многовидів, що дає класифікацію лінійних розшарувань над ними з точністю до ізоморфізму. Наприклад, усі одновимірні розшарування над афінною локально факторіальною схемою тривіальні, оскільки тривіальна її група класів дивізорів.
Дивізори Картьє
Для роботи з довільними схемами, що мають особливі точки, часто виявляється зручнішим інше узагальнення поняття підмноговиду корозмірності 1. Нехай — деяке покриття схеми афінними схемами, а — сімейство раціональних функцій на відповідних (в цьому випадку під раціональною функцією мають на увазі елемент повного кільця). Якщо ці функції узгоджені, в тому сенсі що і на відрізняються множенням на оборотну регулярну функцію, то дане сімейство задає дивізор Картьє.
Точніше, нехай — повне кільце часток кільця регулярних функцій (де — довільна афінна відкрита підмножина). Оскільки афінні підмножини утворюють базу топології , всі однозначно визначають передпучок на , відповідний йому пучок позначають . Дивізором Картьє називають глобальний перетин факторпучка , де — пучок оборотних регулярних функцій. Є точна послідовність , застосувавши до неї точний зліва функтор глобальних перетинів, отримаємо точну послідовність . Дивізори Картьє, що лежать в образі відображення з , називають головними.
Існує природний гомоморфізм з групи дивізорів Картьє (групова операція відповідає множенню функцій) в групу дивізорів Вейля; якщо — ціла відокремлена нетерова схема, всі локальні кільця якої факторіальні, це відображення є ізоморфізмом. У разі ж, коли умова локальної факторіальності не виконується, дивізори Картьє відповідають локально головним дивізорам Вейля (дивізорам, які в околі кожної точки задаються як нулі деякої раціональної функції). Приклад дивізора Вейля, що не є дивізором Картьє — пряма в квадратичному конусі , що проходить через його вершину.
Дивізору Картьє, як і дивізору Вейля, можна зіставити лінійне розшарування (або, еквівалентно, оборотний пучок). Відображення з факторгрупи дивізорів Картьє за підгрупою головних дивізорів у групу Пікара є ін'єктивним гомоморфізмом, а в разі проєктивних або цілих схем — сюр'єктивним.
Ефективні дивізори Картьє
Дивізор Картьє називають ефективним, якщо всі функції , що задають його, регулярні на відповідних множинах . У цьому випадку відповідний дивізору оборотний пучок є [en], тобто пучком функцій, які занулюються на деякій (замкнутій підсхемі). І навпаки, ця замкнута підсхема однозначно визначає ефективний дивізор, тому ефективні дивізори Картьє на можна визначити як замкнуті підсхеми , які локально можна задати як множину нулів однієї функції, що не є дільником нуля. На цілій відокремленій нетеровій схемі, локальні кільця якої факторіальні, ефективні дивізори Картьє відповідають точно ефективним дивізорам Вейля.
Примітки
- Хартсхорн, 1981, с. 174.
- Ravi Vakil, с. 388.
- Ravi Vakil, с. 389, 391.
- Хартсхорн, 1981, с. 185.
- Kleiman, 1979.
- Ravi Vakil, с. 236, 396.
- Хартсхорн, 1981, с. 191.
Література
Посилання
- [en]. MATH 216: Foundations of Algebraic Geometry (версия 11.06.2013). з джерела 5 жовтня 2013 — записки курсу алгебричної геометрії, прочитаного в Стенфордському університеті.
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
V algebrayichnij geometriyi divizori ye uzagalnennyam pidmnogovidiv deyakogo algebrichnogo mnogovidu korozmirnosti 1 Isnuyut dva riznih takih uzagalnennya divizori Vejlya i divizori Kartye nazvani na chest Andre Vejlya i ci ponyattya ekvivalentni v razi mnogovidiv abo shem bez osoblivih tochok Divizori VejlyaViznachennya Divizor Vejlya na algebrichnomu mnogovidi X displaystyle X abo zagalnishe na neterovij shemi ce skinchenna linijna kombinaciya i n i Z i displaystyle sum i n i Z i de Z i displaystyle Z i nezvidni zamknuti pidmnozhini X displaystyle X a n i displaystyle n i cili koeficiyenti Ochevidno sho divizori Vejlya utvoryuyut abelevu grupu vidnosno dodavannya cyu grupu poznachayut W e i l X displaystyle mathrm Weil X Divizor viglyadu Z displaystyle Z nazivayut prostim a divizor dlya yakogo vsi koeficiyenti n i displaystyle n i nevid yemni efektivnim Grupa klasiv divizoriv Pripustimo sho shema X displaystyle X ye ciloyu viddilnoyu i regulyarnoyu v korozmirnosti 1 zokrema ci vlastivosti vikonuyutsya dlya gladkih algebrichnih mnogovidiv Regulyarnist u korozmirnosti 1 oznachaye sho lokalne kilce zagalnoyi tochki bud yakoyi nezvidnoyi zamknutoyi pidmnozhini korozmirnosti 1 regulyarne i neterove oskilki ye lokalizaciyeyu neterovogo kilcya a otzhe ye kilcem diskretnogo normuvannya Bud yaka racionalna funkciya na X displaystyle X element polya chastok kilcya regulyarnih funkcij K X displaystyle K X maye deyaku normu v comu kilci Yaksho norma racionalnoyi funkciyi bilsha vid nulya dlya deyakoyi nezvidnoyi pidmnozhini Y displaystyle Y to kazhut sho racionalna funkciya maye nul na Y displaystyle Y a yaksho mensha vid nulya maye polyus Z neterovosti shemi vivoditsya sho norma racionalnoyi funkciyi ne dorivnyuye nulyu lishe dlya skinchennogo chisla nezvidnih pidmnozhin otzhe kozhnij racionalnij funkciyi zistavlyayetsya divizor yakij poznachayut f displaystyle f Divizori yaki mozhna tak otrimati nazivayut golovnimi Oskilki f g f g displaystyle fg f g golovni divizori utvoryuyut pidgrupu u W e i l X displaystyle mathrm Weil X Faktor grupu za pidgrupoyu golovnih divizoriv nazivayut grupoyu klasiv divizoriv i poznachayut C l X displaystyle mathrm Cl X Grupa klasiv divizoriv sama ye cikavim invariantom shemi trivialnist grupi klasiv afinnoyi shemi S p e c A displaystyle mathrm Spec A ye kriteriyem faktorialnosti kilcya A displaystyle A za umovi sho A displaystyle A neterivske i cilozamknute a takozh u deyakih vipadkah dozvolyaye klasifikuvati vsi odnovimirni rozsharuvannya nad danoyu shemoyu Divizori Vejlya i linijni rozsharovannya Nehaj L displaystyle mathcal L linijne rozsharuvannya nad ciloyu neterivskoyu regulyarnoyu v korozmirnosti 1 shemoyu X displaystyle X jomu vidpovidaye puchok peretiniv lokalno izomorfnij kilcyu regulyarnih funkcij na X displaystyle X Vikoristovuyuchi ci izomorfizmi bud yakomu racionalnomu peretinu s displaystyle s danogo puchka tobto peretinu nad deyakoyu vidkritoyu shilnoyu pidmnozhinoyu mozhna zistaviti divizor jogo nuliv i polyusiv sho poznachayetsya d i v s displaystyle mathrm div s Dva riznih racionalnih peretini vidriznyayutsya mnozhennyam na racionalnu funkciyu tomu ce zistavlennya viznachaye korektno zadane vidobrazhennya z en v grupu klasiv divizoriv d i v P i c X C l X displaystyle mathrm div mathrm Pic X to mathrm Cl X Mozhna pereviriti takozh sho ce vidobrazhennya ye gomomorfizmom tenzornomu dobutku rozsharuvan vidpovidaye suma divizoriv v razi normalnosti shemi vono in yektivne a v razi lokalnoyi faktorialnosti shemi syur yektivne Zokrema vsi ci umovi vikonuyutsya dlya gladkih algebrichnih mnogovidiv sho daye klasifikaciyu linijnih rozsharuvan nad nimi z tochnistyu do izomorfizmu Napriklad usi odnovimirni rozsharuvannya nad afinnoyu lokalno faktorialnoyu shemoyu trivialni oskilki trivialna yiyi grupa klasiv divizoriv Divizori KartyeDlya roboti z dovilnimi shemami sho mayut osoblivi tochki chasto viyavlyayetsya zruchnishim inshe uzagalnennya ponyattya pidmnogovidu korozmirnosti 1 Nehaj U i displaystyle U i deyake pokrittya shemi X displaystyle X afinnimi shemami a f i displaystyle f i simejstvo racionalnih funkcij na vidpovidnih U i displaystyle U i v comu vipadku pid racionalnoyu funkciyeyu mayut na uvazi element povnogo kilcya Yaksho ci funkciyi uzgodzheni v tomu sensi sho f i displaystyle f i i f j displaystyle f j na U i U j displaystyle U i cap U j vidriznyayutsya mnozhennyam na oborotnu regulyarnu funkciyu to dane simejstvo zadaye divizor Kartye Tochnishe nehaj K U displaystyle K U povne kilce chastok kilcya regulyarnih funkcij O X U displaystyle mathcal O X U de U displaystyle U dovilna afinna vidkrita pidmnozhina Oskilki afinni pidmnozhini utvoryuyut bazu topologiyi X displaystyle X vsi K U displaystyle K U odnoznachno viznachayut peredpuchok na X displaystyle X vidpovidnij jomu puchok poznachayut K X displaystyle mathcal K X Divizorom Kartye nazivayut globalnij peretin faktorpuchka K X O X displaystyle mathcal K X mathcal O X de O X displaystyle mathcal O X puchok oborotnih regulyarnih funkcij Ye tochna poslidovnist 0 O X K X K X O X 0 displaystyle 0 to mathcal O X to mathcal K X to mathcal K X mathcal O X to 0 zastosuvavshi do neyi tochnij zliva funktor globalnih peretiniv otrimayemo tochnu poslidovnist 0 G X O X G X K X G X K X O X H 1 X O X displaystyle 0 to Gamma X mathcal O X to Gamma X mathcal K X to Gamma X mathcal K X mathcal O X to H 1 X mathcal O X Divizori Kartye sho lezhat v obrazi vidobrazhennya z G X K X displaystyle Gamma X mathcal K X nazivayut golovnimi Isnuye prirodnij gomomorfizm z grupi divizoriv Kartye grupova operaciya vidpovidaye mnozhennyu funkcij v grupu divizoriv Vejlya yaksho X displaystyle X cila vidokremlena neterova shema vsi lokalni kilcya yakoyi faktorialni ce vidobrazhennya ye izomorfizmom U razi zh koli umova lokalnoyi faktorialnosti ne vikonuyetsya divizori Kartye vidpovidayut lokalno golovnim divizoram Vejlya divizoram yaki v okoli kozhnoyi tochki zadayutsya yak nuli deyakoyi racionalnoyi funkciyi Priklad divizora Vejlya sho ne ye divizorom Kartye pryama v kvadratichnomu konusi R x y z x 2 y 2 z 2 displaystyle mathbb R x y z x 2 y 2 z 2 sho prohodit cherez jogo vershinu Divizoru Kartye yak i divizoru Vejlya mozhna zistaviti linijne rozsharuvannya abo ekvivalentno oborotnij puchok Vidobrazhennya z faktorgrupi divizoriv Kartye za pidgrupoyu golovnih divizoriv u grupu Pikara ye in yektivnim gomomorfizmom a v razi proyektivnih abo cilih shem syur yektivnim Efektivni divizori Kartye Divizor Kartye nazivayut efektivnim yaksho vsi funkciyi f i displaystyle f i sho zadayut jogo regulyarni na vidpovidnih mnozhinah U i displaystyle U i U comu vipadku vidpovidnij divizoru oborotnij puchok ye en tobto puchkom funkcij yaki zanulyuyutsya na deyakij zamknutij pidshemi I navpaki cya zamknuta pidshema odnoznachno viznachaye efektivnij divizor tomu efektivni divizori Kartye na X displaystyle X mozhna viznachiti yak zamknuti pidshemi X displaystyle X yaki lokalno mozhna zadati yak mnozhinu nuliv odniyeyi funkciyi sho ne ye dilnikom nulya Na cilij vidokremlenij neterovij shemi lokalni kilcya yakoyi faktorialni efektivni divizori Kartye vidpovidayut tochno efektivnim divizoram Vejlya PrimitkiHartshorn 1981 s 174 Ravi Vakil s 388 Ravi Vakil s 389 391 Hartshorn 1981 s 185 Kleiman 1979 Ravi Vakil s 236 396 Hartshorn 1981 s 191 LiteraturaR Hartshorn Algebraicheskaya geometriya M Mir 1981 Kleiman Steven Misconceptions about KX L Enseignment Mathematique 1979 25 17 chervnya S 203 206 DOI 10 5169 seals 50379 Posilannya en MATH 216 Foundations of Algebraic Geometry versiya 11 06 2013 z dzherela 5 zhovtnya 2013 zapiski kursu algebrichnoyi geometriyi prochitanogo v Stenfordskomu universiteti