Tinch turlicha - Secant variety

Algebraik geometriyada sekant xilma ${displaystyle operator nomi {Sect} (V)}$yoki akkordlarning xilma-xilligi, a proektiv xilma ${displaystyle Vsubset mathbb {P} ^ {r}}$ bo'ladi Zariski yopilishi hamma ittifoqi sekant chiziqlar (akkordlar) ga V yilda ${displaystyle mathbb {P} ^ {r}}$:^[1]

${displaystyle operatorname {Sect} (V) = igcup _ {x, yin V} {overline {xy}}}$

(uchun ${displaystyle x = y}$, chiziq ${displaystyle {overline {xy}}}$ bo'ladi teginish chizig'i.) Shuningdek, bu proektsiya ostidagi rasm ${displaystyle p_ {3} :( mathbb {P} ^ {r}) ^ {3} o mathbb {P} ^ {r}}$ yopilish Z ning kasallikning xilma-xilligi

${displaystyle {(x, y, r) | xwedge ywedge r = 0}}$.

Yozib oling Z o'lchovga ega ${displaystyle 2dim V + 1}$ va hokazo ${displaystyle operator nomi {Sect} (V)}$ eng katta o'lchamga ega ${displaystyle 2dim V + 1}$.

Umuman olganda, ${displaystyle k ^ {th}}$ sekant xilma k + 1 punktlari yig'indisidan iborat chiziqli bo'shliqlar birlashmasining Zariski bilan yopilishi ${displaystyle V}$. Bu bilan belgilanishi mumkin ${displaystyle Sigma _ {k}}$. Yuqoridagi sekant nav birinchi sekant navdir. Agar bo'lmasa ${displaystyle Sigma _ {k} = mathbb {P} ^ {r}}$, u doimo birga keladi ${displaystyle Sigma _ {k-1}}$, lekin boshqa singular fikrlarga ega bo'lishi mumkin.

Agar ${displaystyle V}$ o'lchovga ega d, ning o'lchamlari ${displaystyle Sigma _ {k}}$ ko'pi bilan ${displaystyle kd + d + k}$.Sekant xilma-xillikni hisoblash uchun foydali vosita Terracini lemmasi.

Misollar

A sekant xilma-xillik yordamida haqiqatni ko'rsatish mumkin silliq proektsion egri chiziq proektsion 3-maydonga joylashtirilishi mumkin ${displaystyle mathbb {P} ^ {3}}$ quyidagicha.^[2] Ruxsat bering ${displaystyle Csubset mathbb {P} ^ {r}}$ silliq egri chiziq. Sekant xilma-xilligi o'lchovidan beri S ga C ko'pi bilan 3 o'lchovga ega, agar ${displaystyle r> 3}$, keyin bir nuqta bor p kuni ${displaystyle mathbb {P} ^ {r}}$ bu yoqilmagan S va shuning uchun bizda proektsiya ${displaystyle pi _ {p}}$ dan p giperplanaga H, bu esa ko'mishni beradi ${displaystyle pi _ {p}: Chookrightarrow Hsimeq mathbb {P} ^ {r-1}}$. Endi takrorlang.

Agar ${displaystyle Ssubset mathbb {P} ^ {5}}$ bu giperplanada yotmaydigan sirt va agar bo'lsa ${displaystyle operatorname {Sect} (S) eq mathbb {P} ^ {5}}$, keyin S a Veron yuzasi.^[3]

Adabiyotlar

• Eyzenbud, Devid; Djo, Xarris (2016), 3264 va bularning barchasi: algebraik geometriyaning ikkinchi kursi, C. UP, ISBN  978-1107602724
• P. Griffits; J. Xarris (1994). Algebraik geometriya asoslari. Wiley Classics kutubxonasi. Wiley Interscience. p. 617. ISBN  0-471-05059-8.
• Djo Xarris, Algebraik geometriya, birinchi kurs, (1992) Springer-Verlag, Nyu-York. ISBN  0-387-97716-3

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