Geometri birasional

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) X ke variasi lain Y, ditulis sebagai panah putus-putus X --\to Y, didefinisikan sebagai morfisme dari subset terbuka tidak kosong U \subset X to Y. Menurut definisi topologi Zariski yang digunakan dalam geometri aljabar, subset terbuka tidak kosong  U  selalu padat dalam  X , 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*: *X* ⇢ *Y* 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*: *X* → *Y*, 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 varietas|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 X dengan persamaan x^2 + y^2 - 1 = 0 di bidang affine adalah kurva rasional, karena ada peta rasional *f*: \mathbb{A}^1 ⇢ *X* diberikan oleh
:f(t) = \left( \frac{2t}{1+t^2}, \frac{1 - t^2}{1 + t^2}\right),
yang memiliki rasional invers *g*: *X* ⇢ \mathbb{A}^1 maka oleh karena itu
:g(x,y) = \frac{1-y}{x}.
Menerapkan peta * f * dengan * t * a bilangan rasional memberikan konstruksi sistematis Triple Pythagoras.

Peta rasional  f  tidak ditentukan pada lokus di mana 1 + t^2 = 0. Jadi, pada garis affine yang kompleks \mathbb{A}^1_{\Complex}, f adalah morfisme pada subset terbuka U = \mathbb{A}^1_{\Complex}-\{i, -i\}, f: U \to X. Begitu pula dengan peta rasional *g*: *X* ⇢ \mathbb{A}^1 tidak didefinisikan pada saat itu (0,-1) in X.

### Kesetaraan birasional dari kuadrat halus dan P<sup>n</sup>
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 \mathbb{P}^n 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 \mathbb{P}^1\times\mathbb{P}^1 \to \mathbb{P}^3 diberikan oleh
:([x,y],[z,w]) \mapsto [xz,xw,yz,yw].
Gambar tersebut adalah permukaan kuadris x_0x_3=x_1x_2 pada \mathbb{P}^3. Itu memberikan bukti lain bahwa permukaan kuadrat ini rasional \mathbb{P}^1\times\mathbb{P}^1 jelas rasional, memiliki subset terbuka isomorfik \mathbb{A}^2

## Jumlah ⊗<sup>k</sup>Ω<sup>1</sup> dan beberapa bilangan Hodge
Secara lebih umum, untuk setiap rendaman alami

:E(\Omega^1) = \bigotimes^k \Omega^1

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

:h^{p,0} = H^0(X,\Omega^p)

adalah invarian birasional dari * X *. (Kebanyakan nomor Hodge lainnya *h**p, q* bukanlah invarian birasional.)

## Lihat pula
*Konjektur kelimpahan
*Lubang Klein
*Perendaman (matematika)

## Catatan

## Referensi
*
*
*
*
*
*
*
*
*