Asosiy geodeziya - Prime geodesic

Yilda matematika, a asosiy geodeziya a giperbolik sirt a ibtidoiy yopiq geodeziya, ya'ni geodeziya, bu a yopiq egri bu uning tasvirini aniq bir marta aniqlaydi. Bunday geodeziya asosiy geodeziya deb nomlanadi, chunki boshqa narsalar qatori ular asimptotik taqsimot qonuni ga o'xshash asosiy sonlar teoremasi.

Texnik ma'lumot

Biz ba'zi ma'lumotlarni qisqacha taqdim etamiz giperbolik geometriya bu asosiy geodeziyani tushunishda foydali.

Giperbolik izometriyalar

Ni ko'rib chiqing Poincaré yarim samolyot modeli H 2 o'lchovli giperbolik geometriya. Berilgan Fuksiya guruhi, ya'ni a diskret kichik guruh Γ ning PSL (2, R), Γ harakat qiladi kuni H orqali chiziqli kasrli konvertatsiya. PSL ning har bir elementi (2, R) aslida an belgilaydi izometriya ning H, demak, Γ izometriyalar guruhidir H.

Keyinchalik transformatsiyaning 3 turi mavjud: giperbolik, elliptik va parabolik. (Loksodromik transformatsiyalar mavjud emas, chunki biz ishlaymiz haqiqiy raqamlar.) Γ ning element elementi, agar γ giperbolik bo'lsa, ikkita aniq sobit nuqtaga ega. Qarang Izometriyalarning tasnifi va Izometriyalarning sobit nuqtalari batafsil ma'lumot uchun.

Yopiq geodeziya

Endi qismli sirt M= Γ H. Quyidagi tavsif yuqori yarim tekislikka tegishli giperbolik tekislikning modeli. Bu giperbolik sirt, aslida a Riemann yuzasi. Har bir giperbolik element h $ a $ $ a $ ni belgilaydi yopiq geodeziya Γ ningH: birinchidan, ning belgilangan nuqtalarini birlashtirgan geodezik yarim aylanani ulab h, biz geodeziyani olamiz H ning o'qi deb ataladi hva bu geodezikani loyihalash orqali M, biz geodeziyani Γ ga olamizH.

Ushbu geodeziya yopilgan, chunki Γ loyihasi ta'sirida bir xil orbitada bo'lgan 2 nuqta, ta'rifi bo'yicha, kvotaning bir nuqtasiga.

Buni ko'rsatishi mumkin 1-1 yozishmalar closed da yopiq geodeziya orasidagiH va giperbolik konjugatsiya darslari Γ ichida. Keyinchalik asosiy geodeziya - bu o'zlarining rasmlarini aniq bir marta aniqlaydigan geodeziya - algebraik jihatdan ular ibtidoiy giperbolik konjugatsiya sinflariga, ya'ni konjugatatsiya sinflariga {γ} to'g'ri keladi, shuning uchun $ phi $ $ boshqa $ elementining noan'anaviy kuchi sifatida yozilmaydi.

Asosiy geodeziyaning qo'llanilishi

Asosiy geodezikaning ahamiyati ularning matematikaning boshqa sohalari, xususan aloqalari bilan bog'liq dinamik tizimlar, ergodik nazariya va sonlar nazariyasi, shu qatorda; shu bilan birga Riemann sirtlari o'zlari. Ushbu ilovalar ko'pincha bir nechta turli xil tadqiqot sohalarida bir-biriga to'g'ri keladi.

Dinamik tizimlar va ergodik nazariya

Dinamik tizimlarda yopiq geodeziya vakili davriy orbitalar ning geodezik oqim.

Sonlar nazariyasi

Raqamlar nazariyasida ruhga juda o'xshash turli xil "asosiy geodezik teoremalar" isbotlangan asosiy sonlar teoremasi. Aniqroq qilib, biz π (x) normasi (uzunlik bilan bog'liq funktsiya) dan kam yoki teng bo'lgan yopiq geodeziya sonini belgilang x; keyin π (x) ∼ x/ ln (x). Ushbu natija odatda hisobga olinadi Atle Selberg. 1970 yil doktorlik dissertatsiyasida. tezis, Grigoriy Margulis o'zgaruvchan manfiy egrilik sirtlari uchun o'xshash natijani isbotladi, 1980 yilda doktorlik dissertatsiyasida. tezis, Piter Sarnak ning analogini isbotladi Chebotarev zichligi teoremasi.

Raqamlar nazariyasida boshqa o'xshashliklar mavjud - xatolar tahminlari yaxshilanadi, xuddi shu tarzda asosiy sonlar teoremasining xato taxminlari yaxshilanadi. Shuningdek, a Selberg zeta funktsiyasi bu odatdagidek rasmiy ravishda o'xshashdir Riemann zeta funktsiyasi va uning ko'plab xususiyatlarini baham ko'radi.

Algebraik tarzda, asosiy geodeziya xuddi shu tarzda yuqori sirtlarga ko'tarilishi mumkin asosiy ideallar ichida butun sonlarning halqasi a raqam maydoni a ga bo'linishi (faktorlangan) bo'lishi mumkin Galois kengaytmasi. Qarang Muqova xaritasi va Galois kengaytmalarida asosiy ideallarning bo'linishi batafsil ma'lumot uchun.

Rimann sirt nazariyasi

Rimann sirtlarini o'rganish uchun yopiq geodeziya qo'llanilgan; haqiqatan ham biri Riemann ning asl ta'riflari tur yuzasi oddiy yopiq egri chiziqlar bo'yicha edi. O'rganishda geodeziya yopiq edi o'zgacha qiymatlar ning Laplasiya operatorlar, arifmetik Fuksiya guruhlari va Teichmuller bo'shliqlari.

Shuningdek qarang