Teta karakteristiği - Theta characteristic

İçinde matematik, bir teta karakteristiği bir tekil olmayan cebirsel eğri C bir bölen sınıfı Θ öyle ki 2Θ, kanonik sınıf, Açısından holomorfik çizgi demetleri L bağlı kompakt Riemann yüzeyi bu nedenle L öyle ki L² ... kanonik paket burada da eşdeğer olarak holomorfik kotanjant demeti. Açısından cebirsel geometri, eşdeğer tanım bir ters çevrilebilir demet demetine kareler birinci türden farklılıklar. Theta özellikleri Rosenhain  (1851 )

Tarih ve cins 1

Bu kavramın önemi ilk olarak analitik teoride anlaşılmıştır. teta fonksiyonları ve geometrik olarak teorisinde bitanjantlar. Analitik teoride, teoride dört temel teta fonksiyonu vardır. Jacobian eliptik fonksiyonlar. Etiketleri aslında bir eliptik eğri. Bu durumda, kanonik sınıf önemsizdir (sıfır bölen sınıf grubu ) ve böylece bir eliptik eğrinin teta karakteristikleri E karmaşık sayılar üzerinde dört nokta ile 1-1 uyumlu olduğu görülmektedir. P açık E 2 ileP = 0; bu çözümlerin sayılması grup yapısından anlaşılır, iki çevre grupları, ne zaman E bir karmaşık simit.

Daha yüksek cins

İçin C 0 cinsinin böyle bir bölen sınıfı vardır, yani -P, nerede P eğri üzerindeki herhangi bir noktadır. Daha yüksek cins olması durumunda g, hangi alanın üzerinde olduğunu varsayarsak C tanımlandı, sahip değil karakteristik 2 teta özellikleri şu şekilde sayılabilir:

2^2g

temel alan cebirsel olarak kapalıysa sayı olarak.

Bu, bölen sınıf düzeyindeki denklemin çözümlerinin tek bir coset çözümlerinin

2D = 0.

Başka bir deyişle K kanonik sınıf ve Θ verilen herhangi bir çözüm

2Θ = K,

başka herhangi bir çözüm formda olacak

Θ + D.

Bu, teta özelliklerinin sayılmasını, Jacobian çeşidi J(C) nın-nin C. Karmaşık durumda yine, sonuç şu tarihten sonra gelir: J(C), boyut 2'nin karmaşık bir simididirg. Genel bir alan üzerinde, şu sayfada açıklanan teoriye bakın Hasse-Witt matrisi saymak için değişmeli bir çeşidin p-rankı. Alanın karakteristiğinin 2 olmaması koşuluyla cevap aynıdır.

Bir teta karakteristiği Θ olarak adlandırılacaktır hatta veya garip küresel bölümler alanının boyutuna bağlı olarak ${ displaystyle H ^ {0} (C, Theta)}$. Görünüşe göre C var ${ displaystyle 2 ^ {g-1} (2 ^ {g} +1)}$ hatta ve ${ displaystyle 2 ^ {g-1} (2 ^ {g} -1)}$ garip teta özellikleri.

Klasik teori

Klasik olarak teta özellikleri, değerine göre tek ve çift olmak üzere bu iki türe ayrılırdı. Arf değişmez belli ikinci dereceden form Q mod 2 değerleri ile. Bu durumda g = 3 ve bir uçak kuartik eğri 28 tanesi bir tür, geri kalan 36 tanesi diğer tür; bitangentleri sayma konusunda bu temeldir, çünkü 28 bir dördün bitanjantları. Geometrik yapısı Q olarak kavşak formu modern araçlarla cebirsel olarak mümkündür. Aslında Weil eşleştirme kendi içinde geçerlidir değişmeli çeşitlilik form.Triples (θ₁, θ₂, θ₃) teta özelliklerine denir sinirli ve asyzygetic Arf (θ₁) + Arf (θ₂) + Arf (θ₃) + Arf (θ₁+ θ₂+ θ₃) 0 veya 1'dir.

Spin yapıları

Atiyah (1971) kompakt bir karmaşık manifold için, teta özelliklerinin seçimlerinin iki taraflı olarak spin yapıları.

Referanslar

• Atiyah, Michael Francis (1971), "Riemann yüzeyleri ve spin yapıları", Annales Scientifiques de l'École Normale Supérieure, Série 4, 4: 47–62, ISSN  0012-9593, BAY  0286136
• Dolgaçev, Klasik Konular Üzerine Dersler, Böl. 5 (PDF)
• Farkas, Gavril (2012), Teta özellikleri ve modülleri, arXiv:1201.2557, Bibcode:2012arXiv1201.2557F
• Mumford, David (1971), "Bir cebirsel eğrinin teta özellikleri", Annales Scientifiques de l'École Normale Supérieure, Série 4, 4 (2): 181–192, BAY  0292836
• Rosenhain, Johann Georg (1851), Değişkenler için değişkenler, en son sınıflar arası ultra-eliptikler de la premiere classe, Paris