Rasmiy ravishda tekis xarita - Formally smooth map

Yilda algebraik geometriya va komutativ algebra, a halqa gomomorfizmi ${ displaystyle f: A to B}$ deyiladi rasmiy ravishda silliq (dan.) Frantsuzcha: Formellement lisse) agar u quyidagi cheksiz minimalni qondirsa ko'tarish mulk:

Aytaylik B ning tuzilishi berilgan A-algebra xarita orqali f. Berilgan kommutativ A-algebra, Cva a nilpotent ideal ${ displaystyle N subseteq C}$, har qanday A-algebra homomorfizmi ${ displaystyle B dan C / N} gacha$ ga ko'tarilishi mumkin A-algebra xaritasi ${ displaystyle B dan C ga}$. Agar bundan tashqari, bunday ko'tarish noyob bo'lsa, unda f deb aytilgan rasmiy ravishda etal.^[1][2]

Rasmiy ravishda tekis xaritalar tomonidan belgilandi Aleksandr Grothendieck yilda Éléments de géométrie algébrique IV.

Cheklangan taqdim etilgan morfizmlar uchun rasmiy silliqlik teng keladi odatiy silliqlik tushunchasi.

Misollar

Tekis morfizmlar

Barcha silliq morfizmlar ${ displaystyle f: X to S}$ rasmiy ravishda silliq bo'lgan cheklangan taqdimotning mahalliy morfizmlariga tengdir. Demak, rasmiy ravonlik - bu silliq morfizmlarning ozgina umumlashtirilishi.^[3]

Misol emas

Sxema bo'yicha rasmiy silliqlikni aniqlash usullaridan biri bu cheksiz ko'tarish mezonidan foydalanishdir. Masalan, qisqartirish morfizmidan foydalanish ${ displaystyle k [t] / (t ^ {3}) to k [t] / (t ^ {2})}$ cheksiz kichik ko'tarish mezonini komutativ kvadrat yordamida tasvirlash mumkin

${ displaystyle { begin {matrix} X & leftarrow & { text {Spec}} left ({ frac {k [x]} {(x ^ {2})}} right) downarrow && downarrow S & leftarrow & { text {Spec}} left ({ frac {k [x]} {(x ^ {3})}} right) end {matrix}}}$

qayerda ${ displaystyle X, S in Sch / S}$. Masalan, agar

${ displaystyle X = { text {Spec}} chap ({ frac {k [x, y]} {(xy)}} right)}$ va ${ displaystyle Y = { text {Spec}} (k)}$

keyin kelib chiqishi teginish vektorini ko'rib chiqing ${ displaystyle (0,0) X (k)} da$ halqa morfizmi bilan berilgan

${ displaystyle { frac {k [x, y]} {(xy)}} to { frac {k [t]} {(t ^ {2})}}}$

yuborish

${ displaystyle { begin {aligned} x & mapsto varepsilon y & mapsto varepsilon end {aligned}}}$

Eslatma, chunki ${ displaystyle xy mapsto varepsilon ^ {2} = 0}$, bu komutativ halqalarning amaldagi morfizmi. Keyinchalik, ushbu morfizm ko'tarilganidan beri

${ displaystyle { text {Spec}} left ({ frac {k [t]} {(t ^ {3})}} right) to X}$

shakldadir

${ displaystyle { begin {aligned} x & mapsto varepsilon + a varepsilon ^ {2} y & mapsto varepsilon + b varepsilon ^ {2} end {aligned}}}$

va ${ displaystyle xy mapsto varepsilon ^ {2} + (a + b) varepsilon ^ {3} = varepsilon ^ {2}}$, cheksiz ko'tarilish bo'lishi mumkin emas, chunki bu nolga teng emas, shuning uchun ${ displaystyle X in Sch / k}$ rasmiy ravishda silliq emas. Bu shuningdek ushbu morfizmning cheklangan ko'rinishda rasmiy ravishda silliq morfizmlar va silliq morfizmlar o'rtasidagi ekvivalentlikdan silliq emasligini isbotlaydi.

Shuningdek qarang

• Ikkala raqam
• Yumshoq morfizm
• Deformatsiya nazariyasi

Adabiyotlar

Tashqi havolalar

• Rasmiy ravishda silliq tolalar bilan silliq, ammo silliq emas https://mathoverflow.net/q/333596
• Rasmiy ravishda silliq, ammo silliq emas https://mathoverflow.net/q/195

Bu mavhum algebra bilan bog'liq maqola a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish.