Gerçek cebirsel geometri - Real algebraic geometry

İçinde matematik, gerçek cebirsel geometri alt dalı cebirsel geometri gerçek çalışmak cebirsel kümeler yani gerçek Numara çözümler cebirsel denklemler gerçek sayı katsayıları ile ve eşlemeler aralarında (özellikle gerçek polinom eşlemeleri ).

Semialgebraic geometri çalışması semialgebraic kümeler, yani cebirsel için gerçek sayı çözümleri eşitsizlikler gerçek sayı katsayıları ve aralarındaki eşlemeler. Semialgebraic kümeler arasındaki en doğal eşlemeler semialgebraic haritalamalar yani grafikleri yarı-matematiksel kümeler olan eşlemeler.

Terminoloji

Günümüzde "yarı-cebirsel geometri" ve "gerçek cebirsel geometri" kelimeleri eşanlamlı olarak kullanılmaktadır, çünkü gerçek cebirsel kümeler yarı-cebirsel kümeler kullanılmadan ciddi bir şekilde çalışılamaz. Örneğin, bir koordinat ekseni boyunca gerçek bir cebirsel kümenin izdüşümünün gerçek bir cebirsel küme olması gerekmez, ancak her zaman bir yarı-cebirsel kümedir: bu, Tarski-Seidenberg teoremi.[1][2] İlgili alanlar o-minimal teorisi ve gerçek analitik geometri.

Örnekler: Gerçek düzlem eğrileri gerçek cebirsel kümelerin örnekleridir ve çokyüzlü semialgebraic kümelerin örnekleridir. Gerçek cebirsel fonksiyonlar ve Nash fonksiyonları semialgebraic haritalama örnekleridir. Parçalı polinom eşlemeleri (bkz. Pierce-Birkhoff varsayımı ) aynı zamanda semialgebraic eşleşmelerdir.

Hesaplamalı gerçek cebirsel geometri gerçek cebirsel (ve yarı-cebirsel) geometrinin algoritmik yönleriyle ilgilenir. Ana algoritma silindirik cebirsel ayrıştırma. Semialgebraic kümeleri güzel parçalara ayırmak ve projeksiyonlarını hesaplamak için kullanılır.

Gerçek cebir cebirin gerçek cebirsel (ve yarı-cebirsel) geometri ile ilgili olan bölümüdür. Çoğunlukla çalışma ile ilgilenir sıralı alanlar ve sıralı yüzükler (özellikle gerçek kapalı alanlar ) ve çalışmalarına uygulamaları pozitif polinomlar ve polinomların karelerinin toplamı. (Görmek Hilbert'in 17. problemi ve Krivine's Positivestellensatz.) Gerçek cebir ile gerçek cebirsel geometri arasındaki ilişki, değişmeli cebir -e karmaşık cebirsel geometri. İlgili alanlar teorisidir an problemleri, dışbükey optimizasyon teorisi ikinci dereceden formlar, değerleme teorisi ve model teorisi.

Gerçek cebir ve gerçek cebirsel geometri zaman çizelgesi

  • 1826 Fourier algoritması doğrusal eşitsizlik sistemleri için.[3] Tarafından yeniden keşfedildi Lloyd Dines 1919'da.[4] ve Theodore Motzkin 1936'da[5]
  • 1835 Sturm teoremi gerçek kök sayımında[6]
  • 1856 Hermite'nin gerçek kök sayma teoremi.[7]
  • 1876 Harnack eğri teoremi.[8] (Bileşen sayısına ilişkin bu sınır daha sonra tüm Betti numaraları tüm gerçek cebirsel kümelerin[9][10][11] ve tüm semialgebraic kümeler.[12])
  • 1888 Hilbert'in üçlü kuartikler üzerine teoremi.[13]
  • 1900 Hilbert'in sorunları (özellikle de 16'sı ve 17'si sorun)
  • 1902 Farkas 'lemma[14] (Lineer pozitivstellensatz olarak yeniden formüle edilebilir.)
  • 1914 Annibale Comessatti her gerçek cebirsel yüzeyin çiftasyonlu olmadığını gösterdi [15]
  • 1916 Fejér'in negatif olmayan trigonometrik polinomlar hakkındaki varsayımı.[16] (Çözen Frigyes Riesz.[17])
  • 1927 Emil Artin çözümü Hilbert'in 17. problemi[18]
  • 1927 Krull-Baer Teoremi[19][20] (sipariş ve değerlemeler arasındaki bağlantı)
  • 1928 Pólya'nın bir simpleks üzerinde pozitif polinomlar üzerine teoremi[21]
  • 1929 B. L. van der Waerden gerçek cebirsel ve semialgebraic kümeler üçgenleştirilebilir,[22] ancak argümanı titiz hale getirmek için gerekli araçlar geliştirilmemiştir.
  • 1931 Alfred Tarski 's gerçek niceleyici eliminasyonu.[23] Geliştiren ve popülerleştiren Abraham Seidenberg 1954'te.[24] (Her ikisi de kullanır Sturm teoremi.)
  • 1936 Herbert Seifert her kapalı pürüzsüz altmanifoldun önemsiz normal demet ile, tekil olmayan bir gerçek cebirsel alt kümenin bir bileşenine izotoplanabilir tam bir kavşak olan[25] (bu teoremin sonucundan "bileşen" kelimesi kaldırılamaz[26]).
  • 1940 Marshall Stone Kısmen sıralı halkalar için temsil teoremi.[27] Tarafından geliştirildi Richard Kadison 1951'de[28] ve Donald Dubois 1967'de[29] (Kadison-Dubois temsil teoremi). 1993'te Mihai Putinar tarafından daha da iyileştirildi[30] ve Jacobi 2001'de[31] (Putinar-Jacobi temsil teoremi).
  • 1952 John Nash her kapalı düz manifoldun gerçek bir cebirsel kümenin tekil olmayan bir bileşenine farklı olduğunu kanıtladı.[32]
  • 1956 Pierce-Birkhoff varsayımı formüle edilmiştir.[33](≤ 2 boyutlarında çözüldü.[34])
  • 1964 Krivine's Nullstellensatz ve Positivestellensatz.[35] 1974'te Stengle tarafından yeniden keşfedildi ve popüler hale getirildi[36] (Krivine kullanır gerçek niceleyici eliminasyonu Stengle ise Lang'in homomorfizm teoremini kullanır.[37])
  • 1964 Lojasiewicz üçgenleştirilmiş yarı analitik kümeler[38]
  • 1964 Heisuke Hironaka tekillik teoreminin çözümünü kanıtladı[39]
  • 1964 Hassler Whitney her analitik çeşitliliğin, tatmin edici bir tabakalaşmaya izin verdiğini kanıtladı. Whitney koşulları.[40]
  • 1967 Theodore Motzkin bir pozitif polinom bulur polinomların karelerinin toplamı.[41]
  • 1973 Alberto Tognoli her kapalı düz manifoldun tekil olmayan gerçek cebirsel kümeye farklı olduğunu kanıtladı.[42]
  • 1975 George E. Collins keşfeder silindirik cebirsel ayrıştırma algoritması, Tarski'nin gerçek nicelik belirteci eliminasyonu ve bir bilgisayarda uygulanmasına izin verir.[43]
  • 1973 Jean-Louis Verdier her subanalitik kümenin (w) koşulu ile bir tabakalaşmaya izin verdiğini kanıtladı.[44]
  • 1979 Michel Coste ve Marie-Françoise Roy değişmeli bir halkanın gerçek spektrumunu keşfedin.[45]
  • 1980 Oleg Viro "yama ile çalışma" tekniğini tanıttı ve düşük dereceli gerçek cebirsel eğrileri sınıflandırmak için kullandı.[46] Daha sonra Ilya Itenberg ve Viro bunu, Ragsdale varsayımı,[47][48] ve Grigory Mikhalkin uyguladı tropikal geometri eğri sayımı için.[49]
  • 1980 Selman Akbulut ve Henry C. King, izole tekilliklerle gerçek cebirsel kümelerin topolojik karakterizasyonunu verdi ve topolojik olarak karakterize edilmiş tekil olmayan gerçek cebirsel kümeler (mutlaka kompakt değil)[50]
  • 1980 Akbulut ve King, her düğümün gerçek bir cebirsel kümenin izole tekillik ile bağlantısıdır. [51]
  • 1981 Akbulut ve King, her kompakt PL manifoldunun gerçek bir cebirsel kümeye PL homeomorfik olduğunu kanıtladı.[52][53][54]
  • 1983 Akbulut ve King "Topolojik Çözünürlük Kuleleri" ni gerçek cebirsel kümelerin topolojik modelleri olarak tanıttılar, bundan gerçek cebirsel kümelerin yeni topolojik değişmezlerini elde ettiler ve tüm 3 boyutlu cebirsel kümeleri topolojik olarak karakterize ettiler.[55] Bu değişmezler daha sonra Michel Coste ve Krzysztof Kurdyka tarafından genelleştirildi.[56] yanı sıra Clint McCrory ve Adam Parusiński.[57]
  • 1984 Ludwig Bröcker'in minimal nesil temel açık teoremi semialgebraic kümeler[58] (geliştirilmiş ve temel kapalıya genişletilmiştir semialgebraic kümeler Scheiderer tarafından.[59])
  • 1984 Benedetti ve Dedo, her kapalı düz manifoldun tamamen cebirsel tekil olmayan gerçek cebirsel kümeye farklı olmadığını kanıtladı (tamamen cebirsel, tüm Z / 2Z-homoloji döngülerinin gerçek cebirsel alt kümelerle temsil edildiği anlamına gelir).[60]
  • 1991 Akbulut ve King, her kapalı düz manifoldun tamamen cebirsel gerçek cebirsel kümeye homeomorfik olduğunu kanıtladı.[61]
  • 1991 Schmüdgen'in kompakt semialgebraic kümeler için çok boyutlu moment problemi çözümü ve ilgili katı pozitivstellensatz.[62] Wörmann tarafından bulunan cebirsel kanıt.[63] Reznick'in Artin teoreminin tek tip paydalı versiyonunu ima eder.[64]
  • 1992 Akbulut ve King, Nash-Tognoli teoreminin çevresel versiyonlarını kanıtladılar: Her kapalı düz altmanifold Rn gerçek bir cebirsel alt kümenin tekil olmayan noktalarına (bileşen) izotopiktir Rnve bu sonucu daldırılmış altmanifoldlara genişlettiler. Rn.[65][66]
  • 1992 Benedetti ve Marin, her kompakt kapalı düz 3-manifoldun M şuradan elde edilebilir düz merkezler boyunca bir dizi iniş ve çıkışlar ile ve M Muhtemelen tekil afin gerçek cebirsel rasyonel üç kat için homeomorfiktir[67]
  • 1997 Bierstone ve Milman, tekillik teoreminin kanonik bir çözümünü kanıtladı[68]
  • 1997 Mikhalkin, her kapalı düz n-manifoldun aşağıdakilerden elde edilebileceğini kanıtladı bir dizi topolojik patlama iniş ve çıkışları ile[69]
  • 1998 János Kollár her kapalı 3-manifoldun çiftasyonlu olan bir projektif gerçek 3-kat olmadığını gösterdi. RP3[70]
  • 2000 Scheiderer'in yerel-küresel ilkesi ve ilgili Schmüdgen'in pozitivstellensatz'ının ≤ 2 boyutlarında kesin olmayan uzantısı.[71][72][73]
  • 2000 János Kollár her kapalı düz 3-manifoldun, kompakt bir kompleks manifoldun gerçek parçası olduğunu kanıtladı. bir dizi gerçek patlama ve darbe ile.[74]
  • 2003 Welschinger, gerçek rasyonel eğrileri saymak için bir değişmezi tanıttı[75]
  • 2005 Akbulut ve King, her bir tekil olmayan gerçek cebirsel altkümenin RPn tekil olmayan karmaşık cebirsel alt kümesinin gerçek kısmına düzgün bir şekilde izotopiktir. CPn[76][77]

Referanslar

  • S. Akbulut ve H.C. King, Gerçek cebirsel kümelerin topolojisi, MSRI Pub, 25. Springer-Verlag, New York (1992) ISBN  0-387-97744-9
  • Bochnak, Jacek; Coste, Michel; Roy, Marie-Françoise. Gerçek Cebirsel Geometri. 1987 Fransız orijinalinden çevrilmiştir. Yazarlar tarafından revize edildi. Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Matematik ve İlgili Alanlardaki Sonuçlar (3)], 36. Springer-Verlag, Berlin, 1998. x + 430 s. ISBN  3-540-64663-9
  • Basu, Saugata; Pollack, Richard; Roy, Marie-Françoise Gerçek cebirsel geometride Algoritmalar. İkinci baskı. Matematikte Algoritmalar ve Hesaplama, 10. Springer-Verlag, Berlin, 2006. x + 662 s. ISBN  978-3-540-33098-1; 3-540-33098-4
  • Marshall, Murray Pozitif polinomlar ve karelerin toplamları. Mathematical Surveys and Monographs, 146. American Mathematical Society, Providence, RI, 2008. xii + 187 s. ISBN  978-0-8218-4402-1; 0-8218-4402-4

Notlar

  1. ^ van den Dries, L. (1998). Topoloji ve o-minimal yapıları evcilleştirin. London Mathematical Society Lecture Note Series. 248. Cambridge University Press. s. 31. Zbl  0953.03045.
  2. ^ Khovanskii, A. G. (1991). Birkaç terim. Mathematical Monographsin çevirisi. 88. Smilka Zdravkovska tarafından Rusça'dan çevrilmiştir. Providence, UR: Amerikan Matematik Derneği. ISBN  0-8218-4547-0. Zbl  0728.12002.
  3. ^ Joseph B. J. Fourier, Solution d'une questionuliére du calcul des inégalités. Boğa. sci. Soc. Philomn. Paris 99–100. OEuvres 2, 315–319.
  4. ^ Yemek, Lloyd L. (1919). "Doğrusal eşitsizlik sistemleri". Matematik Yıllıkları. (2). 20 (3): 191–199.
  5. ^ Theodore Motzkin, Beiträge zur Theorie der linearen Ungleichungen. IV + 76 S. Diss., Basel (1936).
  6. ^ Jacques Charles François Sturm, Mémoires divers présentés par des savants étrangers 6, s. 273–318 (1835).
  7. ^ Charles Hermite, Sur le Nombre des Racines d'une Équation Algébrique Comprise Entre des Limites Données, Journal für die reine und angewandte Mathematik, cilt. 52, s. 39–51 (1856).
  8. ^ C. G. A. Harnack Über Vieltheiligkeit der ebenen cebebraischen Curven, Mathematische Annalen 10 (1876), 189–199
  9. ^ I. G. Petrovski˘ı ve O. A. Ole˘ınik, Gerçek cebirsel yüzeylerin topolojisi üzerine, İzvestiya Akad. Nauk SSSR. Ser.Mat. 13, (1949). 389–402
  10. ^ John Milnor Gerçek çeşitlerin Betti sayılarında, American Mathematical Society'nin Bildirileri 15 (1964), 275–280.
  11. ^ René Thom, Sur l'homologie des vari´et´es algebriques r´eelles, in: S. S. Cairns (ed.), Diferansiyel ve Kombinatoryal Topoloji, s. 255–265, Princeton University Press, Princeton, NJ, 1965.
  12. ^ Basu Saugata (1999). "Betti sayılarının sınırlanması ve yarı cebirsel kümelerin Euler karakteristiğinin hesaplanması üzerine". Ayrık ve Hesaplamalı Geometri. 22 (1): 1–18.
  13. ^ Hilbert, David (1888). "Uber die Darstellung tanımlayıcı Formen als Summe von Formenquadraten". Mathematische Annalen. 32: 342–350.
  14. ^ Farkas, Julius. "Über die Theorie der Einfachen Ungleichungen". Journal für die Reine und Angewandte Mathematik. 124: 1–27.
  15. ^ Comessatti, Annibale (1914). "Sulla connessione delle superfizie razionali reali". Annali di Math. 23 (3): 215–283.
  16. ^ Lipót Fejér, ¨Uber trigonometrische Polynome, J. Reine Angew. Matematik. 146 (1916), 53–82.
  17. ^ Frigyes Riesz ve Béla Szőkefalvi-Nagy, Fonksiyonel Analiz, Frederick Ungar Publ. Co., New York, 1955.
  18. ^ Artin, Emil (1927). "Quadrate'de Uber die Zerlegung tanımlayıcı Funktionen". Abh. Matematik. Sem. Üniv. Hamburg. 5: 85–99.
  19. ^ Krull, Wolfgang (1932). "Allgemeine Bewertungstheorie". Journal für die reine und angewandte Mathematik. 167: 160–196.
  20. ^ Baer, ​​Reinhold (1927), "Über nicht-archimedisch geordnete Körper", Sitzungsberichte der Heidelberger Akademie der Wissenschaften. Mathematisch-Naturwissenschaftliche Klasse, 8: 3–13
  21. ^ George Pólya, Über pozitif Darstellung von Polynomen Vierteljschr, Naturforsch. Ges. Zürich 73 (1928) 141–145, içinde: R.P. Boas (Ed.), Collected Papers Vol. 2, MIT Press, Cambridge, MA, 1974, s. 309–313
  22. ^ B. L. van der Waerden, Topologische Begründung des Kalküls der abzählenden Geometrie. Matematik. Ann. 102, 337–362 (1929).
  23. ^ Alfred Tarski, Temel cebir ve geometri için bir karar yöntemi, Rand. Corp .. 1948; UC Press, Berkeley, 1951, Açıklandı: Ann. Soc. Pol. Matematik. 9 (1930, 1931'de yayınlandı) 206–7; ve Fon'da. Matematik. 17 (1931) 210–239.
  24. ^ Abraham Seidenberg, Temel cebir için yeni bir karar yöntemi, Matematik Yıllıkları 60 (1954), 365–374.
  25. ^ Herbert Seifert, Cebirsel yaklaşım von Mannigfaltigkeiten, Mathematische Zeitschrift 41 (1936), 1–17
  26. ^ Selman Akbulut ve Henry C. King, Tekil olmayan gerçek cebirsel çeşitlerin altmanifoldları ve homolojisi, Amerikan Matematik Dergisi, cilt. 107, hayır. 1 (Şubat 1985) s. 72
  27. ^ Taş, Marshall (1940). "Genel bir spektrum teorisi. I.". Amerika Birleşik Devletleri Ulusal Bilimler Akademisi Bildirileri. 26: 280–283.
  28. ^ Kadison, Richard V. (1951), "Değişmeli topolojik cebir için bir temsil teorisi", Amerikan Matematik Derneği'nin Anıları, 7: 39 s., BAY  0044040
  29. ^ Dubois Donald W. (1967). "David Harrison'ın ön hazırlık teorisi üzerine bir not". Pacific Journal of Mathematics. 21: 15–19. BAY  0209200.
  30. ^ Mihai Putinar, Kompakt yarı cebirsel kümeler üzerinde pozitif polinomlar. Indiana Üniversitesi Matematik Dergisi 42 (1993), hayır. 3, 969–984.
  31. ^ T. Jacobi, Bazı kısmen sıralı değişmeli halkalar için bir temsil teoremi. Mathematische Zeitschrift 237 (2001), no. 2, 259–273.
  32. ^ Nash, John (1952). "Gerçek cebirsel katmanlar". Matematik Yıllıkları. 56: 405–421.
  33. ^ Birkhoff, Garrett; Pierce, Richard Scott (1956). "Kafes sıralı halkalar". Anais da Academia Brasileira de Ciências. 28: 41–69.
  34. ^ Mahé, Louis (1984). "Pierce-Birkhoff varsayımı üzerine". Rocky Mountain Matematik Dergisi. 14 (4): 983–985. doi:10.1216 / RMJ-1984-14-4-983. BAY  0773148.
  35. ^ J.-L. Krivine, Anneaux préordonnés, J. Analyze Math. 12 (1964), 307–326.
  36. ^ G. Stengle, A nullstellensatz ve a positivstellensatz in semialgebraic geometride. Matematik. Ann. 207 (1974), 87–97.
  37. ^ S. Lang, Cebir. Addison – Wesley Publishing Co., Inc., Reading, Kitle 1965 xvii + 508 s.
  38. ^ S. Lojasiewicz, Yarı analitik kümelerin üçgenlenmesi, Ann. Scu. Norm. di Pisa, 18 (1964), 449–474.
  39. ^ Heisuke Hironaka, Karakteristik sıfır alan üzerinde bir cebirsel çeşitliliğin tekilliklerinin çözünürlüğü. BEN, Matematik Yıllıkları (2) 79 (1): (1964) 109–203 ve bölüm II, s. 205–326.
  40. ^ Hassler Whitney, Analitik çeşitlerin yerel özellikleri, Diferansiyel ve kombinatoryal topoloji (ed. S. Cairns), Princeton Univ. Basın, Princeton N.J. (1965), 205–244.
  41. ^ Theodore S. Motzkin, Aritmetik-geometrik eşitsizlik. 1967 Eşitsizlikler (Proc. Sympos. Wright – Patterson Hava Kuvvetleri Üssü, Ohio, 1965) s. 205–224 BAY0223521.
  42. ^ Alberto Tognoli, Su una congettura di Nash, Annali della Scuola Normale Superiore di Pisa 27, 167–185 (1973).
  43. ^ George E. Collins, "Silindirik cebirsel ayrıştırma ile gerçek kapalı alanlar için niceleyici eliminasyonu", Öğr. Notlar Comput. Sci. 33, 134–183, 1975 BAY0403962.
  44. ^ Jean-Louis Verdier, Whitney ve Théorème de Bertini-Sard tabakaları, Buluşlar Mathematicae 36, 295–312 (1976).
  45. ^ Marie-Françoise Coste-Roy, Michel Coste, Gerçek cebirsel geometri için topolojiler. Geometride Topos teorik yöntemleri, s. 37–100, Various Publ. Ser., 30, Aarhus Üniv., Aarhus, 1979.
  46. ^ Oleg Ya. Viro, Düzlem gerçek cebirsel eğrilerin yapıştırılması ve 6. ve 7. derece eğrilerin yapılarının yapıştırılması Topolojide (Leningrad, 1982), cilt 1060 Matematik Ders Notları, sayfalar 187–200. Springer, Berlin, 1984
  47. ^ Viro, Oleg Ya. (1980). "Кривые степени 7, кривые степени 8 ve гипотеза Рэгсдейл" [derece 7 eğrileri, derece 8 eğrileri ve Ragsdale hipotezi]. Doklady Akademii Nauk SSSR. 254 (6): 1306–1309. Çeviri Sovyet Matematiği - Doklady. 22: 566–570. 1980. Zbl  0422.14032. Eksik veya boş | title = (Yardım)
  48. ^ Itenberg, Ilia; Mikhalkin, Grigory; Shustin, Eugenii (2007). Tropikal cebirsel geometri. Oberwolfach Seminerleri. 35. Basel: Birkhäuser. sayfa 34–35. ISBN  978-3-7643-8309-1. Zbl  1162.14300.
  49. ^ Mikhalkin, Grigory (2005). "Sayısal tropikal cebirsel geometri ". Amerikan Matematik Derneği Dergisi. 18: 313–377.
  50. ^ Selman Akbulut ve Henry C. King, İzole tekilliklerle gerçek cebirsel kümelerin topolojisi, Matematik Yıllıkları 113 (1981), 425–446.
  51. ^ Selman Akbulut ve Henry C. King, Tüm düğümler cebirseldir, Commentarii Mathematici Helvetici 56, Fasc. 3 (1981), 339–351.
  52. ^ S. Akbulut ve H.C. King, Topolojik uzaylarda gerçek cebirsel yapılar,Mathématiques de l'IHÉS Yayınları 53 (1981), 79–162.
  53. ^ S. Akbulut ve L. Taylor, Bir topolojik çözünürlük teoremi, Mathématiques de l'IHÉS Yayınları 53 (1981), 163–196.
  54. ^ S. Akbulut ve H.C. King, Gerçek cebirsel kümelerin topolojisi, L'Enseignement Mathématique 29 (1983), 221–261.
  55. ^ Selman Akbulut ve Henry C. King, Gerçek cebirsel kümelerin topolojisi, MSRI Pub, 25. Springer-Verlag, New York (1992) ISBN  0-387-97744-9
  56. ^ Coste, Michel; Kurdyka, Krzysztof (1992). "Gerçek bir cebirsel kümedeki bir tabakanın bağlantısında". Topoloji. 31 (2): 323–336. doi:10.1016 / 0040-9383 (92) 90025-d. BAY  1167174.
  57. ^ McCrory, Clint; Parusiński, Adam (2007), "Cebirsel olarak yapılandırılabilir fonksiyonlar: gerçek cebir ve topoloji", Gerçek cebirsel ve analitik geometride yay uzayları ve toplamsal değişmezlerPanoramas ve Synthèses, 24, Paris: Société mathématique de France, s. 69–85, arXiv:matematik / 0202086, BAY  2409689
  58. ^ Bröcker, Ludwig (1984). "Minimale erzeugung von Positivbereichen". Geometriae Dedicata (Almanca'da). 16 (3): 335–350. doi:10.1007 / bf00147875. BAY  0765338.
  59. ^ C. Scheiderer, Gerçek çeşitlerin kararlılık indeksi. Buluşlar Mathematicae 97 (1989), hayır. 3, 467–483.
  60. ^ R. Benedetti ve M. Dedo, homoloji sınıflarını homeomorfizme kadar gerçek cebirsel alt çeşitlerle temsil etmeye karşı örnekler, Compositio Mathematica, 53, (1984), 143–151.
  61. ^ S. Akbulut ve H.C. King, Tüm kompakt manifoldlar, tamamen cebirsel gerçek cebirsel kümelere homeomorfiktir, Yorum. Matematik. Helvetici 66 (1991) 139–149.
  62. ^ K. Schmüdgen, KKompakt yarı cebirsel kümeler için -moment problemi. Matematik. Ann. 289 (1991), no. 2, 203–206.
  63. ^ T. Wörmann Strikt Pozitif Polinom in der Semialgebraischen Geometrie, Univ. Dortmund 1998.
  64. ^ B. Reznick, Hilbert'in on yedinci probleminde tek tip paydalar. Matematik. Z. 220 (1995), no. 1, 75–97.
  65. ^ S. Akbulut ve H.C. King Altmanifoldlara cebirsel kümelerle yaklaşma ve Nash varsayımına bir çözüm hakkında, Buluşlar Mathematicae 107 (1992), 87–98
  66. ^ S. Akbulut ve H.C. King, Immersions Cebirselliği, Topoloji, cilt. 31, hayır. 4, (1992), 701–712.
  67. ^ R. Benedetti ve A. Marin, Déchirures de variétés de size trois ...., Comm. Matematik. Helv. 67 (1992), 514–545.
  68. ^ E. Bierstone ve P.D. Milman, yerel bir değişmezin maksimum katmanlarını havaya uçurarak karakteristik sıfırda kanonik desingularization, Buluşlar Mathematicae 128 (2) (1997) 207–302.
  69. ^ G. Mikhalkin, Düzgün kapalı manifoldların şişirme eşdeğeri, Topoloji, 36 (1997) 287–299
  70. ^ János Kollár, Cebirsel üç katlar için Nash varsayımı, AMS 4 ERA (1998) 63-73
  71. ^ C. Scheiderer, Gerçek cebirsel çeşitler üzerinde düzenli fonksiyonların karelerinin toplamları. Amerikan Matematik Derneği İşlemleri 352 (2000), hayır. 3, 1039–1069.
  72. ^ C. Scheiderer, Gerçek cebirsel eğrilerdeki karelerin toplamları, Mathematische Zeitschrift 245 (2003), no. 4, 725–760.
  73. ^ C. Scheiderer, Gerçek cebirsel yüzeylerdeki karelerin toplamları. Manuscripta Mathematica 119 (2006), no. 4, 395–410.
  74. ^ János Kollár, İzinsiz üç kat için Nash varsayımı, arXiv: math / 0009108v1
  75. ^ J.-Y. Welschinger, Gerçek rasyonel semplektik 4-manifoldların değişkenleri ve gerçek sayımsal geometride alt sınırlar, Buluşlar Mathematicae 162 (2005), hayır. 1, 195–234. Zbl  1082.14052
  76. ^ S. Akbulut ve H.C. Kral, Transandantal altmanifoldları RPn Comm. Matematik. Helv., 80, (2005), 427–432
  77. ^ S. Akbulut, Gerçek cebirsel yapılar, GGT Bildirileri, (2005) 49–58, arXiv: math / 0601105v3.

Dış bağlantılar