Bölen (cebirsel geometri) - Divisor (algebraic geometry)

İçinde cebirsel geometri, bölenler bir genellemedir eş boyut -1 alt çeşitleri cebirsel çeşitler. İki farklı genelleme ortak kullanımdadır, Cartier bölenleri ve Weil bölenleri ( Pierre Cartier ve André Weil tarafından David Mumford ). Her ikisi de nihayetinde bölünebilirlik kavramından türetilmiştir. tamsayılar ve cebirsel sayı alanları.

Arka plan, eş-boyut-1 alt çeşitlerinin, yüksek eş-boyut alt çeşitlerinden çok daha iyi anlaşılmasıdır. Bu hem küresel hem de yerel yollarla olur. Küresel olarak, her boyut-1 alt çeşitliliği projektif uzay birinin kaybolmasıyla tanımlanır homojen polinom; aksine, bir eş boyutr alt çeşitliliğin yalnızca şu şekilde tanımlanmasına gerek yoktur: r denklemler ne zaman r 1'den büyüktür (Yani, yansıtmalı uzayın her alt çeşidi bir tam kavşak.) Yerel olarak, bir boyutun her bir alt-1 alt çeşidi pürüzsüz çeşitlilik her noktanın bir mahallesindeki bir denklemle tanımlanabilir. Yine, benzer ifade, daha yüksek eş boyutlu alt çeşitler için başarısız olur. Bu iyi özelliğin bir sonucu olarak, cebirsel geometrinin çoğu, eş boyutlu-1 alt çeşitlerini ve karşılık gelenleri analiz ederek rastgele bir çeşitliliği inceler. hat demetleri.

Tekil çeşitlerde, bu iyi özellik başarısız olabilir ve bu nedenle, eş boyutlu-1 alt çeşitlerini ve yerel olarak bir denklemle tanımlanabilen çeşitleri birbirinden ayırmak gerekir. İlki Weil bölenleri, ikincisi ise Cartier bölenleridir. Topolojik olarak, Weil bölenleri şu rolü oynar: homoloji Cartier bölenleri temsil ederken kohomoloji sınıflar. Pürüzsüz bir çeşitlilikte (veya daha genel olarak düzenli şema ), şuna benzer bir sonuç Poincaré ikiliği Weil ve Cartier bölenlerinin aynı olduğunu söylüyor.

"Bölen" adı, Dedekind ve Weber alaka düzeyini kim gösterdi Dedekind alanları çalışmak için cebirsel eğriler.^[1] Bir eğri üzerindeki bölenler grubu ( serbest değişmeli grup tüm bölenler tarafından oluşturulmuştur) grubu ile yakından ilgilidir kesirli idealler bir Dedekind alanı için.

Bir cebirsel döngü bir bölenin daha yüksek boyutta bir genellemesidir; Tanım gereği, Weil bölen bir eş boyut 1 döngüsüdür.

Riemann yüzeyinde bölenler

Bir Riemann yüzeyi 1 boyutlu karmaşık manifold ve böylece eş boyut-1 altmanifoldunun boyutu 0 olur. Bir üzerindeki bölenler grubu kompakt Riemann yüzeyi X noktalarında serbest değişmeli gruptur X.

Eşdeğer olarak, kompakt bir Riemann yüzeyinde bir bölen X sonlu doğrusal kombinasyon puan X ile tamsayı katsayılar. derece üzerinde bölen X katsayılarının toplamıdır.

Sıfır olmayanlar için meromorfik fonksiyon f açık Xkaybolma sırası tanımlanabilir f bir noktada p içinde X, ord_p(f). Tam sayıdır, negatif ise f sırık var p. Sıfır olmayan bir meromorfik fonksiyonun bölen f kompakt Riemann yüzeyinde X olarak tanımlanır

${ displaystyle (f): = toplamı _ {p içinde X} operatöradı {ord} _ {p} (f) p,}$

bu sonlu bir toplamdır. Formun bölenleri (f) ayrıca denir asıl bölenler. Dan beri (fg) = (f) + (g), ana bölenler kümesi, bölenler grubunun bir alt grubudur. Bir ana bölen ile farklılık gösteren iki bölen denir doğrusal eşdeğer.

Kompakt bir Riemann yüzeyinde, temel bölenin derecesi sıfırdır; yani, bir meromorfik fonksiyonun sıfır sayısı, çokluk ile sayılan kutupların sayısına eşittir. Sonuç olarak, derece, bölenlerin doğrusal eşdeğerlik sınıflarında iyi tanımlanmıştır.

Bölen verildiğinde D kompakt bir Riemann yüzeyinde Xkompleksi incelemek önemlidir vektör alanı meromorfik fonksiyonların X en fazla kutuplar tarafından verilen D, aranan H⁰(X, Ö(D)) ya da çizgi demetinin bölüm aralığı ilişkili D. Derecesi D bu vektör uzayının boyutu hakkında çok şey söylüyor. Örneğin, eğer D negatif dereceye sahiptir, bu durumda bu vektör uzayı sıfırdır (çünkü bir meromorfik fonksiyon kutuplardan daha fazla sıfıra sahip olamaz). Eğer D pozitif derecesi, ardından boyutu H⁰(X, Ö(mD)) doğrusal olarak büyür m için m Yeterince büyük. Riemann-Roch teoremi bu satırlar boyunca daha kesin bir ifadedir. Öte yandan, kesin boyutu H⁰(X, Ö(D)) bölenler için D düşük dereceli ince ve tamamen derecesine göre belirlenmez D. Kompakt bir Riemann yüzeyinin ayırt edici özellikleri bu boyutlarda yansıtılmaktadır.

Kompakt bir Riemann yüzeyindeki anahtar bölenlerden biri, kanonik bölen. Bunu tanımlamak için, önce sıfır olmayan bir meromorfik bölen tanımlanır. 1-form yukarıdaki çizgiler boyunca. Meromorfik 1-formların uzayı, üzerinde 1 boyutlu bir vektör uzayı olduğundan alan meromorfik fonksiyonlarda, sıfır olmayan herhangi iki meromorfik 1-form doğrusal olarak eşdeğer bölenler verir. Bu doğrusal eşdeğerlik sınıfındaki herhangi bir bölen kanonik bölen nın-nin X, K_X. cins g nın-nin X kanonik bölenden okunabilir: yani, K_X 2. dereceye sahipg - 2. Kompakt Riemann yüzeyleri arasında anahtar trichotomi X kanonik bölenin negatif derecesi olup olmadığıdır (yani X cinsi sıfır), sıfır derecesi (cins bir) veya pozitif derece (cins en az 2). Örneğin, bu, X var Kähler metriği pozitif ile eğrilik, sıfır eğrilik veya negatif eğrilik. Kanonik bölen, ancak ve ancak X izomorfiktir Riemann küresi CP¹.

Weil bölenler

İzin Vermek X fasulye integral yerel olarak Noetherian düzeni. Bir asal bölen veya indirgenemez bölen açık X bir integral kapalı alt şema Z nın-nin eş boyut 1 inç X. Bir Weil bölen açık X bir resmi toplam baş bölenler üzerinde Z nın-nin X,

${ displaystyle toplamı _ {Z} n_ {Z} Z,}$

koleksiyon nerede ${ displaystyle {Z: n_ {Z} neq 0 }}$ yerel olarak sonludur. Eğer X yarı-kompakttır, yerel sonluluk eşdeğerdir ${ displaystyle {Z: n_ {Z} neq 0 }}$ sonlu olmak. Tüm Weil bölenlerinin grubu gösterilir Div (X). Weil bölen D dır-dir etkili tüm katsayılar negatif değilse. Biri yazar D ≥ D ′ fark olursa D − D ′ etkilidir.

Örneğin, bir alan üzerinde cebirsel bir eğri üzerindeki bir bölen, sonlu çok sayıda kapalı noktanın biçimsel toplamıdır. Bir bölen Teknik Özellikler Z tamsayı katsayılı asal sayıların resmi bir toplamıdır ve bu nedenle sıfır olmayan kesirli bir ideale karşılık gelir Q. Benzer bir karakterizasyon, bölenler için de geçerlidir. ${ displaystyle operatorname {Spec} { mathcal {O}} _ {K},}$ nerede K bir sayı alanıdır.

Eğer Z ⊂ X bir asal bölen, sonra yerel halka ${ displaystyle { mathcal {O}} _ {X, Z}}$ vardır Krull boyutu bir. Eğer ${ mathcal {O}} _ {X, Z}} içinde { displaystyle f$ sıfır olmayan, sonra kaybolma sırası nın-nin f boyunca Z, yazılı ord_Z(f), uzunluk nın-nin ${ displaystyle { mathcal {O}} _ {X, Z} / (f).}$ Bu uzunluk sonludur,^[2] ve çarpmaya göre toplamadır, yani, ord_Z(fg) = ord_Z(f) + ord_Z(g).^[3] Eğer k(X) rasyonel işlevler alanı açık X, sonra sıfır olmayan f ∈ k(X) bölüm olarak yazılabilir g / h, nerede g ve h içeride ${ displaystyle { mathcal {O}} _ {X, Z},}$ ve yok olma sırası f olarak tanımlandı ord_Z(g) - ord_Z(h).^[4] Bu tanımla, kaybolma sırası bir fonksiyondur ord_Z : k(X)^× → Z. Eğer X dır-dir normal, sonra yerel halka ${ displaystyle { mathcal {O}} _ {X, Z}}$ bir ayrık değerleme halkası ve işlev ord_Z karşılık gelen değerlemedir. Sıfır olmayan bir rasyonel işlev için f açık X, asıl Weil bölen ilişkili f Weil bölen olarak tanımlanır

${ displaystyle operatorname {div} f = sum _ {Z} operatöradı {ord} _ {Z} (f) Z.}$

Bu toplamın yerel olarak sonlu olduğu ve dolayısıyla gerçekten bir Weil bölenini tanımladığı gösterilebilir. İlişkili asıl Weil bölen f ayrıca not edildi (f). Eğer f düzenli bir fonksiyondur, bu durumda temel Weil bölen etkindir, ancak genel olarak bu doğru değildir. Kaybolma işlevinin sırasının toplamsallığı şu anlama gelir:

${ displaystyle operatorname {div} fg = operatorname {div} f + operatorname {div} g.}$

Dolayısıyla div bir homomorfizmdir ve özellikle görüntüsü, tüm Weil bölenleri grubunun bir alt grubudur.

İzin Vermek X normal bir integral Noetherian şeması olabilir. Her Weil bölen D belirler tutarlı demet ${ displaystyle { mathcal {O}} _ {X} (D)}$ açık X. Somut olarak, rasyonel işlevler demetinin alt tabakası olarak tanımlanabilir^[5]

${ displaystyle Gamma (U, { mathcal {O}} _ {X} (D)) = {f in k (X): f = 0 { text {veya}} operatorname {div} ( f) + D geq 0 { text {on}} U }.}$

Yani sıfır olmayan bir rasyonel fonksiyon f bir bölümü ${ displaystyle { mathcal {O}} _ {X} (D)}$ bitmiş U ancak ve ancak herhangi bir asal bölen için Z kesişen U,

${ displaystyle operatöradı {ord} _ {Z} (f) geq -n_ {Z}}$

nerede n_Z katsayısı Z içinde D. Eğer D müdür, yani D rasyonel bir fonksiyonun bölenidir gsonra bir izomorfizm var

${ displaystyle { begin {case} { mathcal {O}} (D) to { mathcal {O}} _ {X} f mapsto fg end {case}}}$

dan beri ${ displaystyle operatöradı {div} (fg)}$ etkili bir bölen ve bu nedenle ${ displaystyle fg}$ normalliği sayesinde düzenli X. Tersine, eğer ${ displaystyle { mathcal {O}} (D)}$ izomorfiktir ${ displaystyle { mathcal {O}} _ {X}}$ olarak ${ displaystyle { mathcal {O}} _ {X}}$-modül, sonra D müdür. Bunu takip eder D yerel olarak temeldir ancak ve ancak ${ displaystyle { mathcal {O}} (D)}$ ters çevrilebilir; yani, bir çizgi demeti.

Eğer D bir alt şemaya karşılık gelen etkili bir bölen X (Örneğin D indirgenmiş bölen veya birincil bölen olabilir), o zaman alt şemanın ideal demeti D eşittir ${ displaystyle { mathcal {O}} (- D).}$Bu, sıklıkla kullanılan kısa bir kesin diziye yol açar,

${ displaystyle 0 - { mathcal {O}} _ {X} (- D) - { mathcal {O}} _ {X} - { mathcal {O}} _ {D} - 0 .}$

demet kohomolojisi bu dizinin gösterdiği ${ displaystyle H ^ {1} (X, { mathcal {O}} _ {X} (- D))}$ düzenli işlevlerin olup olmadığı hakkında bilgi içerir. D normal işlevlerin kısıtlamaları X.

Ayrıca bir kasnak dahil

${ displaystyle 0 - { mathcal {O}} _ {X} - { mathcal {O}} _ {X} (D).}$

Bu kanonik bir unsur sağlar ${ displaystyle Gama (X, { mathcal {O}} _ {X} (D)),}$ yani, global bölümün görüntüsü 1. Buna kanonik bölüm ve gösterilebilir s_D. Kanonik bölüm, hiçbir yerde kaybolmayan bir rasyonel işlevin görüntüsü iken, ${ displaystyle { mathcal {O}} (D)}$ birlikte kaybolur D çünkü geçiş işlevleri ortadan kaybolur D. Ne zaman D düzgün bir Cartier bölen ise, yukarıdaki dahil etmenin kokerneli tanımlanabilir; görmek #Cartier bölenler altında.

Varsayalım ki X bir alan üzerinde sonlu tipte normal integral ayrılmış bir şemadır. İzin Vermek D Weil bölen olun. Sonra ${ displaystyle { mathcal {O}} (D)}$ rütbe bir dönüşlü demet, dan beri ${ displaystyle { mathcal {O}} (D)}$ alt yapısı olarak tanımlanır ${ displaystyle { mathcal {M}} _ {X},}$ kesirli bir ideal demettir (aşağıya bakınız). Tersine, her kademedeki bir refleks demeti, bir Weil bölenine karşılık gelir: Demet, serbest hale geldiği ve böylece bir Cartier bölenine karşılık geldiği normal mahal ile sınırlandırılabilir (tekrar, aşağıya bakınız) ve tekil lokusun en azından ortak boyuta sahip olması nedeniyle iki, Cartier böleninin kapanması bir Weil bölenidir.

Bölen sınıf grubu

Weil bölen sınıf grubu Cl (X) Div'in bölümüdür (X) tüm temel Weil bölenlerinin alt grubuna göre. İki bölenin olduğu söyleniyor doğrusal eşdeğer farkları asıl ise bölen sınıf grubu, modulo doğrusal eşdeğerlik bölenler grubudur. Çeşitli için X boyut n alan üzerinde bölen sınıf grubu bir Chow grubu; yani, Cl (X) Chow CH grubudur_n−1(X) nın-nin (n−1) boyutlu çevrimler.

İzin Vermek Z kapalı bir alt kümesi olmak X. Eğer Z indirgenemez bir ortak boyut, sonra Cl (X − Z) Cl bölüm grubuna izomorfiktir (X) sınıfına göre Z. Eğer Z en az 2 boyuta sahiptir X, ardından Cl kısıtlaması (X) → Cl (X − Z) bir izomorfizmdir.^[6] (Bu gerçekler, yerelleştirme dizisi Chow grupları için.)

Normal bir integral Noetherian şemasında X, iki Weil bölen D, E doğrusal olarak eşdeğerdir ancak ve ancak ${ displaystyle { mathcal {O}} (D)}$ ve ${ displaystyle { mathcal {O}} (E)}$ izomorfik ${ displaystyle { mathcal {O}} _ {X}}$-modüller. Yansımalı kasnakların izomorfizm sınıfları X bir tensör ürününün dönüşlü gövdesi olarak verilen ürünle bir monoid oluşturur. Sonra ${ displaystyle D mapsto { mathcal {O}} _ {X} (D)}$ Weil bölen sınıf grubundan bir monoid izomorfizmi tanımlar X sıra bir dönüşlü kasnakların izomorfizm sınıflarının monoidine X.

Örnekler

• İzin Vermek k alan ol ve izin ver n pozitif bir tam sayı olabilir. Polinom halkasından beri k[x₁, ..., x_n] benzersiz bir çarpanlara ayırma alanı, afin uzayın bölen sınıf grubu Birⁿ bitmiş k sıfıra eşittir.^[7] Dan beri projektif uzay Pⁿ bitmiş k eksi bir hiper düzlem H izomorfiktir Birⁿ, bölen sınıf grubunun Pⁿ sınıfı tarafından üretilir H. Oradan, Cl (Pⁿ) aslında tamsayılara izomorfiktir Z, tarafından oluşturuldu H. Somut olarak, bu, her bir eş boyut-1 alt çeşitliliğinin Pⁿ tek bir homojen polinomun yok olmasıyla tanımlanır.

• İzin Vermek X bir alan üzerinde cebirsel bir eğri olmak k. Her kapalı nokta p içinde X Spec formuna sahiptir E bazı sonlu uzatma alanları için E nın-nin k, ve derece nın-nin p olarak tanımlanır derece nın-nin E bitmiş k. Bunu doğrusallıkla genişletmek, derece bir bölen için X. Eğer X bir projektif eğri bitti k, sonra sıfırdan farklı bir rasyonel fonksiyonun bölen f açık X sıfır derecesine sahiptir.^[8] Sonuç olarak, projektif bir eğri için X, derece bir homomorfizm derece verir: Cl (X) → Z.

• Projektif çizgi için P¹ bir tarla üzerinde k, derece bir izomorfizm Cl (P¹) ≅ Z. Herhangi bir düzgün projektif eğri için X Birlikte k-akılcı nokta, homomorfizmin derecesi örtüktür ve çekirdek, grup için izomorfiktir. küzerindeki noktalar Jacobian çeşidi nın-nin X, hangisi bir değişmeli çeşitlilik cinsine eşit boyut X. Örneğin, bir kompleksin bölen sınıf grubunun eliptik eğri bir sayılamaz değişmeli grup.

• Önceki örneği genellemek: herhangi bir pürüzsüz yansıtmalı çeşitlilik için X bir tarla üzerinde k öyle ki X var krasyonel nokta, bölen sınıf grubu Cl (X) bir uzantısıdır sonlu oluşturulmuş değişmeli grup, Néron – Severi grubu grubu tarafından k-bağlantılı noktalar grup şeması ${ displaystyle operatorname {Pic} _ {X / k} ^ {0}.}$^[9] İçin k karakteristik sıfır, ${ displaystyle operatorname {Pic} _ {X / k} ^ {0}}$ değişmeli bir çeşittir, Picard çeşidi nın-nin X.

• İçin R tamsayılar halkası bir sayı alanı bölen sınıf grubu Cl (R): = Cl (Özel R) aynı zamanda ideal sınıf grubu nın-nin R. Sonlu değişmeli bir gruptur. İdeal sınıf gruplarını anlamak, ana hedeftir. cebirsel sayı teorisi.

• 

  Afin kuadrik koni xy = z².
  İzin Vermek X ol dörtlü Denklemle tanımlanan boyut 2 konisi xy = z² bir alan üzerinde afin 3-uzayda. Sonra çizgi D içinde X tarafından tanımlandı x = z = 0 ana değer değil X kökene yakın. Bunu not et D Yapabilmek bir denklem ile bir dizi olarak tanımlanabilir X, yani x = 0; ama işlev x açık X birlikte 2 sırayla kaybolur Dve bu nedenle yalnızca 2'yi buluyoruzD Cartier (aşağıda tanımlandığı gibi) X. Aslında bölen sınıf grubu Cl (X) siklik gruba izomorfiktir Z/ 2, sınıfı tarafından oluşturulmuştur D.^[10]

• İzin Vermek X Denklemle tanımlanan, boyut 3'ün dörtlü konisi olabilir xy = zw bir alan üzerinde afin 4-uzayda. Sonra uçak D içinde X tarafından tanımlandı x = z = 0 içinde tanımlanamaz X küme olarak bile, orijine yakın bir denklem ile. Bunu takip eder D değil Q-Cartier açık X; yani pozitif katı yok D Cartier olduğunu. Aslında bölen sınıf grubu Cl (X) tamsayılara izomorfiktir Z, sınıfı tarafından oluşturulan D.^[11]

Kanonik bölen

İzin Vermek X normal bir çeşitlilik olmak mükemmel alan. pürüzsüz mahal U nın-nin X tamamlayıcısı en az 2 boyuta sahip olan açık bir alt kümedir. Let j: U → X dahil etme haritası, ardından kısıtlama homomorfizmi olabilir:

${ displaystyle j ^ {*}: operatorname {Cl} (X) to operatorname {Cl} (U) = operatorname {Pic} (U)}$

bir izomorfizmdir, çünkü X − U en az 2 boyuta sahiptir X. Örneğin, bu izomorfizmi tanımlamak için kullanılabilir. kanonik bölen K_X nın-nin X: bu, üst derecedeki diferansiyel formların çizgi demetine karşılık gelen Weil bölenidir (doğrusal denkliğe kadar) U. Aynı şekilde demet ${ displaystyle { mathcal {O}} (K_ {X})}$ açık X ... doğrudan görüntü demeti ${ displaystyle j _ {*} Omega _ {U} ^ {n},}$ nerede n boyutu X.

Misal: İzin Vermek X = Pⁿ yansıtıcı ol nhomojen koordinatlarla boşluk x₀, ..., x_n. İzin Vermek U = {x₀ ≠ 0}. Sonra U afine izomorfiktir nkoordinatlarla boşluk y_ben = x_ben/x₀. İzin Vermek

${ displaystyle omega = {dy_ {1} over y_ {1}} wedge dots wedge {dy_ {n} over y_ {n}}.}$

O zaman ω rasyonel bir diferansiyel formdur U; bu nedenle, rasyonel bir bölümüdür ${ displaystyle Omega _ { mathbf {P} ^ {n}} ^ {n}}$ basit kutupları olan Z_ben = {x_ben = 0}, ben = 1, ..., n. Farklı bir afin grafiğe geçmek yalnızca ω işaretini değiştirir ve bu nedenle ω'nin basit bir kutbu olduğunu görürüz Z₀ yanı sıra. Böylece, ω'nin bölen

${ displaystyle operatorname {div} ( omega) = - Z_ {0} - noktalar -Z_ {n}}$

ve bölen sınıfı

${ displaystyle K _ { mathbf {P} ^ {n}} = [ operatöradı {div} ( omega)] = - (n + 1) [H]}$

nerede [H] = [Z_ben], ben = 0, ..., n. (Ayrıca bkz. Euler dizisi.)

Cartier bölenler

İzin Vermek X ayrılmaz bir Noetherian şeması olabilir. Sonra X bir demet rasyonel işlevlere sahiptir ${ displaystyle { mathcal {M}} _ {X}.}$ Tüm normal işlevler, kısa ve kesin bir diziye yol açan rasyonel işlevlerdir.

${ displaystyle 0 - { mathcal {O}} _ {X} ^ { times} - { mathcal {M}} _ {X} ^ { times} - { mathcal {M}} _ {X} ^ { times} / { mathcal {O}} _ {X} ^ { times} - 0.}$

Bir Cartier bölen açık X küresel bir bölümüdür ${ displaystyle { mathcal {M}} _ {X} ^ { times} / { mathcal {O}} _ {X} ^ { times}.}$ Eşdeğer bir açıklama, bir Cartier böleninin bir koleksiyon olmasıdır. ${ displaystyle {(U_ {i}, f_ {i}) },}$ nerede ${ displaystyle {U_ {i} }}$ açık bir kapak ${ displaystyle X, f_ {i}}$ bir bölümü ${ displaystyle { mathcal {M}} _ {X} ^ { times}}$ açık ${ displaystyle U_ {i},}$ ve ${ displaystyle f_ {i} = f_ {j}}$ açık ${ displaystyle U_ {i} cap U_ {j}}$ bölümüyle çarpmaya kadar ${ displaystyle { mathcal {O}} _ {X} ^ { times}.}$

Cartier bölenlerinin ayrıca demet teorik bir tanımı vardır. Bir kesirli ideal demet bir alt${ displaystyle { mathcal {O}} _ {X}}$-modülü ${ displaystyle { mathcal {M}} _ {X}.}$ Kesirli ideal demet J dır-dir ters çevrilebilir her biri için x içinde Xaçık bir mahalle var U nın-nin x üzerinde kısıtlama J -e U eşittir ${ displaystyle { mathcal {O}} _ {U} cdot f,}$ nerede ${ mathcal {M}} _ {X} ^ { kere} (U)} içinde { displaystyle f$ ve ürün alınır ${ displaystyle { mathcal {M}} _ {X}.}$ Her bir Cartier bölen, bir koleksiyon olarak Cartier bölücünün açıklamasını kullanarak ters çevrilebilir bir kesirli ideal demeti tanımlar ${ displaystyle {(U_ {i}, f_ {i}) },}$ ve tersine, tersine çevrilebilir fraksiyonel ideal kasnaklar, Cartier bölenlerini tanımlar. Cartier bölen not edilmişse D, daha sonra ilgili kesirli ideal demet not edilir Ö(D) veya L(D).

Yukarıdaki tam sıraya göre, tam bir dizi var demet kohomolojisi gruplar:

${ displaystyle H ^ {0} (X, { mathcal {M}} _ {X} ^ { times}) ila H ^ {0} (X, { mathcal {M}} _ {X} ^ { times} / { mathcal {O}} _ {X} ^ { times}) to H ^ {1} (X, { mathcal {O}} _ {X} ^ { times}) = operatöradı {Resim} (X).}$

Bir Cartier böleninin müdür eğer homomorfizm görüntüsündeyse ${ displaystyle H ^ {0} (X, { mathcal {M}} _ {X} ^ { times}) ila H ^ {0} (X, { mathcal {M}} _ {X} ^ { times} / { mathcal {O}} _ {X} ^ { times}),}$ yani, rasyonel bir fonksiyonun bölen X. İki Cartier bölen doğrusal eşdeğer farkları asıl ise. Her hat paketi L açık X integral bir Noetherian şemasında, bazı Cartier bölenlerinin sınıfıdır. Sonuç olarak, yukarıdaki tam sıra, Picard grubu integral Noetherian şemasındaki çizgi demetlerinin sayısı X Cartier bölenler grubu ile modulo doğrusal eşdeğerlik. Bu daha genel olarak indirgenmiş Noetherian şemalar için veya bir Noetherian yüzüğü üzerindeki yarı yansıtmalı planlar için geçerlidir.^[12] ancak genel olarak başarısız olabilir (uygun planlar için bile C), Cartier bölenlerinin ilgisini tam genel olarak azaltıyor.^[13]

Varsaymak D etkili bir Cartier bölenidir. Sonra kısa bir kesin sekans var

${ displaystyle 0 - { mathcal {O}} _ {X} - { mathcal {O}} _ {X} (D) - { mathcal {O}} _ {D} (D) 0.}$

Bu sıra, yapı kasnakları ile ilgili kısa kesin diziden türetilmiştir. X ve D ve ideal demet D. Çünkü D bir Cartier bölen, Ö(D) yerel olarak ücretsizdir ve bu nedenle bu diziyi Ö(D) başka bir kısa kesin dizi verir, yukarıdaki olan. Ne zaman D pürüzsüz Ö_D(D) normal demetidir D içinde X.

Weil bölenlerinin ve Cartier bölenlerinin karşılaştırması

Weil bölen D olduğu söyleniyor Cartier ancak ve ancak demet Ö(D) ters çevrilebilir. Bu olduğunda, Ö(D) (gömülü M_X), bir Cartier bölen ile ilişkili satır demetidir. Daha doğrusu, eğer Ö(D) ters çevrilebilir, ardından açık bir kapak var {U_ben} öyle ki Ö(D) her açık sette önemsiz bir paketle sınırlıdır. Her biri için U_ben, bir izomorfizm seçin ${ displaystyle { mathcal {O}} _ {U_ {i}} - { mathcal {O}} (D) | _ {U_ {i}}.}$ Resmi ${ displaystyle 1 in Gamma (U_ {i}, { mathcal {O}} _ {U_ {i}}) = Gama (U_ {i}, { mathcal {O}} _ {X}) }$ bu haritanın bir bölümü Ö(D) üzerinde U_ben. Çünkü Ö(D) rasyonel işlevler demetinin bir alt tabakası olarak tanımlanır, 1'in görüntüsü bazı rasyonel işlevlerle tanımlanabilir f_ben. Koleksiyon ${ displaystyle {(U_ {i}, f_ {i}) }}$ bu durumda bir Cartier bölenidir. Bu iyi tanımlanmıştır, çünkü dahil olan tek seçenek kaplama ve izomorfizmdi, ikisi de Cartier bölenini değiştirmiyor. Bu Cartier bölen, bir demet oluşturmak için kullanılabilir, bunu ayrım için not ederiz. L(D). Bir izomorfizm var Ö(D) ile L(D) açık kapak üzerinde çalışarak tanımlandı {U_ben}. Burada kontrol edilmesi gereken en önemli gerçek şudur: Ö(D) ve L(D) uyumludur ve bu, bu işlevlerin hepsinin forma sahip olduğu anlamına gelir. ${ displaystyle f_ {i} / f_ {j}.}$

Ters yönde, bir Cartier bölen ${ displaystyle {(U_ {i}, f_ {i}) }}$ entegre bir Noetherian şemasına göre X bir Weil bölen belirler X doğal bir şekilde uygulayarak ${ displaystyle operatorname {div}}$ fonksiyonlara f_ben açık setlerde U_ben.

Eğer X normaldir, bir Cartier bölen, ilişkili Weil bölen tarafından belirlenir ve bir Weil bölen, ancak ve ancak yerel olarak ana ise Cartier'dir.

Noetherian planı X denir faktöryel eğer tüm yerel halkalar X vardır benzersiz çarpanlara ayırma alanları.^[5] (Bazı yazarlar "yerel olarak faktöryel" derler.) Özellikle, her normal şema faktöryeldir.^[14] Faktoriyel bir şemada X, her Weil bölen D yerel olarak temeldir ve bu nedenle Ö(D) her zaman bir satır demetidir.^[7] Bununla birlikte, genel olarak, normal bir şemadaki bir Weil böleninin yerel olarak temel olması gerekmez; yukarıdaki dörtlü koni örneklerine bakın.

Etkili Cartier bölenleri

Etkili Cartier bölenleri, ideal kasnaklara karşılık gelen bölenlerdir. Aslında, etkili Cartier bölenleri teorisi, rasyonel fonksiyonların kasnaklarına veya kesirli ideal kasnaklara herhangi bir referans olmaksızın geliştirilebilir.

İzin Vermek X bir plan olun. Bir etkili Cartier bölen açık X ideal bir demet ben tersine çevrilebilir ve öyle ki her nokta için x içinde X, sap ben_x müdür. Her birinin etrafında xaçık afin bir alt küme var U = Teknik Özellikler Bir öyle ki U ∩ D = Teknik Özellikler Bir / (f), nerede f sıfır olmayan bölen Bir. İki etkili Cartier böleninin toplamı, ideal kasnakların çarpımına karşılık gelir.

Etkili Cartier bölenlerinin aileleri hakkında iyi bir teori var. İzin Vermek φ: X → S bir morfizm ol. Bir göreceli etkili Cartier bölen için X bitmiş S etkili bir Cartier bölenidir D açık X hangisi düz S. Düzlük varsayımı nedeniyle, her biri için ${ displaystyle S ' - S,}$ geri çekilme var D -e ${ displaystyle X times _ {S} S ',}$ ve bu geri çekilme, etkili bir Cartier bölenidir. Bu özellikle φ lifleri için geçerlidir.

İşlevsellik

İzin Vermek φ: X → Y yerel olarak Noetherian şemalarının integral bir morfizmi olabilir. Bir böleni aktarmak için use kullanmak genellikle - ancak her zaman değil - mümkündür D bir şemadan diğerine. Bunun mümkün olup olmadığı, bölenin Weil veya Cartier bölen olup olmamasına, bölenin buradan taşınıp taşınmayacağına bağlıdır. X -e Y veya tam tersi ve hangi ek özelliklere sahip olabileceği.

Eğer Z Weil'in en önemli bölenidir X, sonra ${ displaystyle { overline { phi (Z)}}}$ kapalı bir indirgenemez alt şemasıdır Y. Φ değerine bağlı olarak, Weil bölen asal olabilir veya olmayabilir. Örneğin, φ uçaktaki bir noktanın patlamasıysa ve Z istisnai bölen ise, görüntüsü bir Weil bölen değildir. Bu nedenle φ_*Z olarak tanımlandı ${ displaystyle { overline { phi (Z)}}}$ eğer bu alt şema bir asal bölen ise ve aksi takdirde sıfır bölen olarak tanımlanmışsa. Bunu doğrusallıkla genişletmek, varsayarsak X yarı kompakttır, bir homomorfizmi tanımlar Div (X) → Div (Y) aradı ilerletmek. (Eğer X yarı-kompakt değildir, bu durumda ileri itme yerel olarak sonlu bir toplam olmayabilir.) Bu Chow gruplarında ileri itmenin özel bir durumudur.

Eğer Z bir Cartier bölen ise, φ üzerindeki hafif hipotezler altında, bir geri çekmek φ^*Z. Sheaf-teorik olarak, bir geri çekilme haritası olduğunda φ⁻¹M_Y → M_X, daha sonra bu geri çekme Cartier bölenlerinin geri çekilmesini tanımlamak için kullanılabilir. Yerel bölümler açısından, ${ displaystyle {(U_ {i}, f_ {i}) }}$ olarak tanımlandı ${ displaystyle {( phi ^ {- 1} (U_ {i}), f_ {i} circ phi) }}$. Geri çekme her zaman φ baskın ise tanımlanır, ancak genel olarak tanımlanamaz. Örneğin, eğer X = Z ve φ aşağıdakilerin dahilidir Z içine Y, sonra φ^*Z tanımsızdır çünkü karşılık gelen yerel bölümler her yerde sıfır olacaktır. (Bununla birlikte, ilgili satır demetinin geri çekilmesi tanımlanmıştır.)

Φ düz ise, Weil bölenlerinin geri çekilmesi tanımlanır. Bu durumda, geri çekilme Z dır-dir φ^*Z = φ⁻¹(Z). Φ 'nin düzlüğü, Z birinci boyuta sahip olmaya devam ediyor. Bu, örneğin düz olmayan morfizmler için başarısız olabilir. küçük kasılma.

İlk Chern sınıfı

Entegre bir Noetherian şeması için X, Cartier bölenleri grubundan Weil bölenleri arasındaki doğal homomorfizm, bir homomorfizm verir

${ displaystyle c_ {1}: operatorname {Pic} (X) to operatorname {Cl} (X),}$

ilk olarak bilinir Chern sınıfı.^[15] İlk Chern sınıfı, eğer X normaldir ve bir izomorfizmdir X faktöryeldir (yukarıda tanımlandığı gibi). Özellikle, Cartier bölenleri, herhangi bir düzenli düzende Weil bölenleri ile tanımlanabilir ve bu nedenle ilk Chern sınıfı, için bir izomorfizmdir. X düzenli.

Açıkça, birinci Chern sınıfı aşağıdaki gibi tanımlanabilir. Hat demeti için L entegre bir Noetherian şemasına göre X, İzin Vermek s sıfırdan farklı bir rasyonel bölümü olmak L (diğer bir deyişle, boş olmayan açık bir alt kümesiyle ilgili bir bölüm L), yerel önemsizliği tarafından var olan L. Weil bölenini tanımlayın (s) üzerinde X rasyonel bir fonksiyonun bölenine benzetilerek. Sonra ilk Chern sınıfı L bölen olarak tanımlanabilir (s). Rasyonel bölümü değiştirme s bu bölen, doğrusal eşdeğerlikle değiştirilir, çünkü (fs) = (f) + (s) sıfırdan farklı bir rasyonel işlev için f ve sıfırdan farklı bir rasyonel bölüm s nın-nin L. Öyleyse öğe c₁(L) Cl (X) iyi tanımlanmıştır.

Karmaşık bir çeşitlilik için X boyut n, mutlaka düzgün veya düzgün değil Cdoğal bir homomorfizm var, döngü haritası, bölen sınıf grubundan Borel-Moore homolojisi:

${ displaystyle operatorname {Cl} (X) to H_ {2n-2} ^ { operatorname {BM}} (X, mathbf {Z}).}$

İkinci grup, boşluk kullanılarak tanımlanır X(C) karmaşık noktaları X, klasik (Öklid) topolojisiyle. Aynı şekilde Picard grubu, integral kohomoloji, topolojik anlamda birinci Chern sınıfına göre:

${ displaystyle operatorname {Pic} (X) - H ^ {2} (X, mathbf {Z}).}$

İki homomorfizm, bir değişmeli diyagram, doğru dikey haritanın temel sınıfına sahip başlık ürünü olduğu X Borel-Moore homolojisinde:

${ displaystyle { begin {array} {ccc} operatorname {Pic} (X) & longrightarrow & H ^ {2} (X, mathbf {Z}) downarrow && downarrow operatorname {Cl } (X) & longrightarrow & H_ {2n-2} ^ { operatöradı {BM}} (X, mathbf {Z}) end {dizi}}}$

İçin X pürüzsüz Cher iki dikey harita da izomorfizmdir.

Çizgi demetlerinin ve doğrusal sistemlerin global bölümleri

Cartier bölen etkili yerel tanımlayıcı işlevleri ise f_ben düzenlidir (sadece rasyonel işlevler değil). Bu durumda, Cartier bölen, 1'deki 1 numaralı eş boyutun kapalı bir alt şemasıyla tanımlanabilir. Xtarafından yerel olarak tanımlanan alt şema f_ben = 0. Bir Cartier bölen D etkili bir bölenle doğrusal olarak eşdeğerdir ancak ve ancak bununla ilişkili satır demeti Ö(D) sıfır olmayan bir genel bölüme sahiptir s; sonra D sıfır konumuna doğrusal olarak eşdeğerdir s.

İzin Vermek X olmak projektif çeşitlilik bir tarla üzerinde k. Sonra küresel bir bölümü çarparak Ö(D) sıfır olmayan bir skalere göre k sıfır lokusunu değiştirmez. Sonuç olarak, çizgilerin yansıtmalı uzayı k-global bölümlerin vektör alanı H⁰(X, Ö(D)) doğrusal olarak eşdeğer etkili bölenler kümesi ile tanımlanabilir D, aradı tam doğrusal sistem nın-nin D. Bu yansıtmalı uzayın yansıtmalı doğrusal bir alt uzayına bir doğrusal bölenler sistemi.

Bir çizgi demetinin küresel bölümlerinin uzayını incelemenin bir nedeni, belirli bir çeşitlilikten yansıtmalı uzaya olası haritaları anlamaktır. Bu, cebirsel çeşitlerin sınıflandırılması için gereklidir. Açıkça, bir çeşitlilikten bir morfizm X yansıtmalı alana Pⁿ bir tarla üzerinde k bir çizgi demeti belirler L açık X, geri çekmek standart hat demetinin Ö(1) açık Pⁿ. Dahası, L ile birlikte geliyor n+1 bölümleri temel yer (sıfır kümelerinin kesişimi) boştur. Tersine, herhangi bir satır paketi L ile nOrtak temel lokusu boş olan +1 global bölümler bir morfizmi belirler X → Pⁿ.^[16] Bu gözlemler, çeşitli kavramlara yol açar. pozitiflik Cartier bölenleri (veya satır paketleri) için, örneğin geniş bölenler ve nef bölenleri.^[17]

Bir bölen için D yansıtmalı bir çeşitlilikte X bir tarla üzerinde k, k-vektör alanı H⁰(X, Ö(D)) sonlu bir boyuta sahiptir. Riemann-Roch teoremi bu vektör uzayının boyutunu hesaplamak için temel bir araçtır. X yansıtmalı bir eğridir. Ardışık genellemeler, Hirzebruch – Riemann – Roch teoremi ve Grothendieck-Riemann-Roch teoremi, boyutu hakkında biraz bilgi verin H⁰(X, Ö(D)) projektif bir çeşitlilik için X bir alan üzerinde herhangi bir boyutun.

Kanonik bölen, özünde bir çeşitle ilişkili olduğundan, haritalar tarafından verilen projektif alana göre çeşitlerin sınıflandırılmasında kilit bir rol oynanır. K_X ve pozitif katları. Kodaira boyutu nın-nin X bir anahtar çift ​​uluslu değişmez, vektör uzaylarının büyümesini ölçmek H⁰(X, mK_X) (anlamı H⁰(X, Ö(mK_X))) gibi m artışlar. Kodaira boyutu hepsini böler nboyutlu çeşitler n(Kabaca) pozitif eğrilikten negatif eğriliğe giden +2 sınıflar.

"Q" bölücüler

İzin Vermek X normal bir çeşittir. A (Weil) Q-bölücü, indirgenemez eş boyut-1 alt çeşitlerinin sonlu bir biçimsel doğrusal kombinasyonudur. X rasyonel katsayılarla. (Bir R-bölen benzer şekilde tanımlanır.) A Qbölen etkili katsayılar negatif değilse. Bir Q-bölen D dır-dir Q-Cartier Eğer mD bazı pozitif tamsayılar için bir Cartier bölenidir m. Eğer X pürüzsüz, sonra her Qbölen Q-Cartier.

Eğer

${ displaystyle D = toplam _ {j} a_ {j} Z_ {j}}$

bir Q-bölge, sonra aşağı yuvarlama bölen

${ displaystyle lfloor D rfloor = sum lfloor a_ {j} rfloor Z_ {j},}$

nerede ${ displaystyle lfloor a rfloor}$ küçük veya eşit olan en büyük tam sayıdır a. Demet ${ displaystyle { mathcal {O}} (D)}$ daha sonra olarak tanımlanır ${ displaystyle { mathcal {O}} ( lfloor D rfloor).}$

Grothendieck-Lefschetz hiper düzlem teoremi

Lefschetz hiper düzlem teoremi pürüzsüz, karmaşık bir yansıtmalı çeşitlilik için X en az 4 boyutlu ve pürüzsüz geniş bölen Y içinde X, kısıtlama Pic (X) → Resim (Y) bir izomorfizmdir. Örneğin, eğer Y pürüzsüz tam kavşak karmaşık projektif uzayda en az 3 boyut çeşitliliği, ardından Picard grubu Y izomorfiktir Z, satır paketinin kısıtlamasıyla oluşturulmuştur Ö(1) yansıtmalı uzay üzerine.

Grothendieck Lefschetz teoremini, keyfi temel alanlar, tekil çeşitler ve yansıtmalı çeşitler yerine yerel halkalar üzerindeki sonuçları içeren çeşitli yönlerde genelleştirdi. Özellikle, eğer R bir tam kavşak En fazla 3 boyutta faktöryel olan yerel halka (örneğin, eğer R en az 4 ortak boyuta sahiptir), sonra R benzersiz bir çarpanlara ayırma alanıdır (ve dolayısıyla Spec'teki her Weil bölen (R) Cartier'dir).^[18] Buradaki boyut, yukarıdaki 3 boyutlu dörtgen koni örneğinde gösterildiği gibi optimaldir.

Notlar

Referanslar

• Dieudonné, Jean (1985), Cebirsel Geometri Tarihi, Wadsworth Matematik Serisi, çeviren Judith D. Sally, Belmont, CA: Wadsworth International Group, ISBN  0-534-03723-2, BAY  0780183
• Grothendieck, Alexandre; Dieudonné, Jean (1967). "Éléments de géométrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, Quatrième partie". Mathématiques de l'IHÉS Yayınları. 32: 5–361. doi:10.1007 / bf02732123. BAY  0238860.
• Grothendieck, İskender; Raynaud, Michèle (2005) [1968], Laszlo, Yves (ed.), Cohomologie locale des faisceaux cohérents et théorèmes de Lefschetz locaux et globaux (SGA 2), Belgeler Mathématiques, 4, Paris: Société Mathématique de France, arXiv:math / 0511279, Bibcode:2005math ..... 11279G, ISBN  978-2-85629-169-6, BAY  2171939
• Bölüm II.6 Hartshorne, Robin (1977), Cebirsel Geometri, Matematik Yüksek Lisans Metinleri, 52, New York, Heidelberg: Springer-Verlag, ISBN  0-387-90244-9, BAY  0463157
• Kleiman, Steven (2005), "Picard şeması", Temel Cebirsel Geometri, Math. Anketler Monogr., 123Providence, R.I .: Amerikan Matematik Derneği, s. 235–321, arXiv:matematik / 0504020, Bibcode:2005math ...... 4020K, BAY  2223410
• Kollár, János (2013), Minimal Model Programının Tekillikleri, Cambridge University Press, ISBN  978-1-107-03534-8, BAY  3057950
• Lazarsfeld, Robert (2004), Cebirsel Geometride Pozitiflik, 1, Berlin: Springer-Verlag, ISBN  3-540-22533-1, BAY  2095471

Dış bağlantılar

• The Stacks Proje Yazarları, The Stacks Projesi