Skema

Skema adalah generalisasi varietas yang luas oleh Grothendieck, dibangun dengan merekatkan spektrum dari gelanggang komutatif arbitrer, yang memungkinkan geometri aljabar bekerja di atas gelanggang apa pun dan melacak informasi infinitesimal dan aritmetika.

Definition

Skema adalah ruang bergelanggang lokal yang secara lokal isomorfik terhadap spektrum gelanggang komutatif (skema afin), di mana titik-titik adalah ideal prima dan berkas struktur mencatat gelanggang fungsi pada setiap himpunan terbuka.

Scope

Topik ini mengkonstruksi spektrum gelanggang komutatif sebagai ruang bergelanggang lokal, mendefinisikan skema afin dan skema umum dengan merekatkan, dan mengembangkan morfisme skema serta sudut pandang relatif. Ini membahas sifat-sifat utama — skema tereduksi, integral, terpisah, proper, dan mulus — produk serat dan perubahan basis, serta perspektif fungsional-titik. Peran nilpoten dalam menangkap struktur tak tereduksi dan penggunaan skema di atas bilangan bulat untuk geometri aritmetika ditekankan.

Core questions

• Bagaimana spektrum prima dari suatu gelanggang mengubah aljabar komutatif arbitrer menjadi geometri?
• Apa yang dapat diungkapkan oleh elemen nilpoten dan titik generik pada skema yang tidak dapat diungkapkan oleh varietas?
• Bagaimana skema relatif dan perubahan basis mendukung teori yang seragam di atas basis apa pun?
• Bagaimana sudut pandang fungsional-titik mengkarakterisasi skema berdasarkan peta-peta ke dalamnya?

Key concepts

• Spektrum gelanggang dan topologi Zariski pada prima
• Berkas struktur dan ruang bergelanggang lokal
• Skema afin dan perekatan ke skema umum
• Morfisme, produk serat, dan perubahan basis
• Fungsional titik dan struktur tak tereduksi (nilpoten)

Clinical relevance

Teori skema adalah bahasa fundamental geometri aljabar modern dan geometri aritmetika; teori ini memungkinkan bukti kohomologis dari konjektur Weil dan hasil modularitas di balik Teorema Terakhir Fermat, serta membingkai masalah moduli dan teori deformasi.

History

Berdasarkan geometri aljabar berbasis berkas Serre, Grothendieck memperkenalkan skema dalam Éléments de géométrie algébrique (1960-an), menggeneralisasi varietas ke spektrum gelanggang arbitrer dan membangun kembali seluruh bidang pada fondasi kohomologis dan kategoris.

Key figures

• Alexander Grothendieck
• Jean-Pierre Serre
• David Mumford

Seminal works

• hartshorne1977
• eisenbud1995

Frequently asked questions

Bagaimana skema berbeda dari varietas?

Varietas pada dasarnya adalah skema integral, tereduksi, berjenis hingga di atas medan; skema umum mungkin memiliki fungsi nilpoten, titik tak hingga atau generik, dan dapat didefinisikan di atas gelanggang komutatif apa pun, termasuk bilangan bulat.

Mengapa titik-titik skema mencakup ideal prima, bukan hanya yang maksimal?

Ideal prima yang tidak maksimal memberikan titik generik yang terletak dalam penutupan subvarietas, menangkap struktur inklusi subskema tak tereduksi dan membuat geometri menjadi fungsional di bawah peta gelanggang.