Geometri birasional

Lingkaran secara birasional setara dengan garis. Satu peta birasional di antara mereka adalah proyeksi stereografik, digambarkan di sini.

Dalam matematika, geometri birasional adalah bidang geometri aljabar yang tujuannya adalah untuk menentukan ketika dua varietas aljabar isomorfik di luar himpunan bagian berdimensi lebih rendah. Ini berarti mempelajari pemetaan yang diberikan oleh fungsi rasional daripada polinomial; peta mungkin gagal untuk didefinisikan di mana fungsi rasional memiliki kutub.

Peta birasional

Peta rasional

Peta rasional dari satu varietas (dipahami sebagai tak tersederhanakan) ke variasi lain , ditulis sebagai panah putus-putus , didefinisikan sebagai morfisme dari subset terbuka tidak kosong to . Menurut definisi topologi Zariski yang digunakan dalam geometri aljabar, subset terbuka tidak kosong selalu padat dalam , sebenarnya merupakan pelengkap dari subset berdimensi lebih rendah. Secara konkrit, peta rasional dapat dituliskan dalam koordinat menggunakan fungsi rasional.

Peta birasional

Peta birasional dari X ke Y adalah peta rasional f: XY sedemikian rupa sehingga ada peta rasional Y X terbalik dengan f . Peta birasional menginduksi isomorfisme dari subset terbuka tidak kosong dari X ke subset terbuka tidak kosong dari Y.

Kasus khusus adalah morfisme birasional f: XY, berarti morfisme yang birasional. Artinya, f didefinisikan di mana-mana, tetapi kebalikannya mungkin tidak. Biasanya, ini terjadi karena morfisme birasional mengontrak beberapa subvarietas X untuk ditunjukkan Y.

Kesetaraan dan rasionalitas birasional

Variasi X dikatakan rasional jika birasional untuk menyatakan ruang (atau ekuivalen, ke ruang proyektif) dari beberapa dimensi. Rasionalitas adalah sifat yang sangat alami: itu berarti bahwa X dikurangi beberapa subset dimensi lebih rendah dapat diidentifikasi dengan ruang affine dikurangi beberapa subset dimensi lebih rendah.

Kesetaraan birasional dari kerucut bidang

Misalnya lingkaran dengan persamaan di bidang affine adalah kurva rasional, karena ada peta rasional f: X diberikan oleh

yang memiliki rasional invers g: X maka oleh karena itu

Menerapkan peta f dengan t a bilangan rasional memberikan konstruksi sistematis Triple Pythagoras.

Peta rasional tidak ditentukan pada lokus di mana . Jadi, pada garis affine yang kompleks , adalah morfisme pada subset terbuka , . Begitu pula dengan peta rasional g: X tidak didefinisikan pada saat itu in .

Kesetaraan birasional dari kuadrat halus dan Pn

Secara umum, kuadris (derajat 2) permukaan hiper yang halus X dari setiap dimensi n adalah rasional, dengan proyeksi stereografik. (Untuk X sebuah kuadrik di atas bidang k , X harus diasumsikan memiliki k-titik rasional; ini otomatis jika k ditutup secara aljabar.) Untuk menentukan proyeksi stereografik, misalkan p menjadi titik di X. Kemudian peta birasional dari X ke ruang proyektif garis melalui p diberikan dengan mengirimkan titik q dalam X ke garis melalui p dan q . Ini adalah kesetaraan birasional tetapi bukan isomorfisme varietas, karena gagal didefinisikan di mana q = p (dan peta terbalik gagal didefinisikan pada garis-garis itu melalui p yang merupakan X).

Kesetaraan birasional permukaan kuadrat

Segre embedding memberikan embedding diberikan oleh

Gambar tersebut adalah permukaan kuadris pada . Itu memberikan bukti lain bahwa permukaan kuadrat ini rasional jelas rasional, memiliki subset terbuka isomorfik

Jumlah ⊗kΩ1 dan beberapa bilangan Hodge

Secara lebih umum, untuk setiap rendaman alami

daya tensor r - bundel kotangen Ω1 dengan r ≥ 0, ruang vektor bagian global H0(X, E1)) adalah invarian birasional untuk varietas proyektif halus. Secara khusus, bilangan Hodge

adalah invarian birasional dari X . (Kebanyakan nomor Hodge lainnya hp, q bukanlah invarian birasional.)

Lihat pula

Catatan

Referensi

Kembali kehalaman sebelumnya