ข้อความคาดการณ์ของปวงกาเร

ในคณิตศาสตร์โดยเฉพาะอย่างยิ่งสาขา ข้อความคาดการณ์ของปวงกาเร (อังกฤษ: Poincaré conjecture) เป็นทฤษฎีบทจัดจำแนกสำหรับ ซึ่งเป็นล้อมรอบบอลหนึ่งหน่วยในปริภูมิ 4 มิติ

พื้นผิวสองมิติจะกับทรงกลมหากทุกลูปบนพื้นผิวสามารถหดเข้าหากันอย่างต่อเนื่องจนกลายเป็นจุดได้ ข้อความคาดการณ์ของปวงกาเรเสนอว่าข้อความข้างต้นเป็นจริงสำหรับพื้นผิวสามมิติ

อองรี ปวงกาเรตั้งข้อความคาดการณ์ของเขาเป็นครั้งแรกในปี 1904 ปวงกาเรสนใจปริภูมิที่เหมือนเมื่อดูใกล้ ๆ และตัวปริภูมิมีขนาดจำกัด ปวงกาเรคาดการณ์ว่าถ้าปริภูมิเช่นนั้นมีสมบัติเพิ่มเติมไปอีกว่าทุกในปริภูมิดังกล่าวสามารถรัดเข้าหากันอย่างต่อเนื่องจนกระทั่งกลายเป็นจุดได้ แล้วรูปทรงนั้นจะต้องเหมือนกับ ความพยายามพิสูจน์ข้อความคาดการณ์ดังกล่าวนำไปสู่ความก้าวหน้าในคณิตศาสตร์สาขาทอพอโลยีเชิงเรขาคณิตตลอดช่วงศตวรรษที่ 20

กริกอรี เพเรลมาน พิสูจน์ข้อความคาดการณ์นี้ได้สำเร็จในช่วงปี 2002 ถึง 2003 โดยเขาเสนอบทพิสูจน์ในบทความบนเว็บไซต์ บทพิสูจน์ข้อความคาดการณ์นี้อาศัยงานของ เป็นพื้น ซึ่งแฮมิลตันเป็นผู้ริเริ่มการใช้ ในการแก้ปัญหาข้อความคาดการณ์ของปวงกาเร เพเรลมานพัฒนาเทคนิกใหม่ ๆ สำหรับ Ricci flow จนสำหรับดัดแปลงงานของแฮมิลตันเพื่อพิสูจน์ข้อความคาดการณ์ของปวงกาเรได้ในที่สุด นอกจากนี้เขายังพิสูจน์ ของที่ซับซ้อนมากกว่าข้อความคาดการณ์ของปวงกาเร

บทพิสูจน์ข้อความคาดการณ์ของปวงกาเรถือว่าเป็นหมุดหมายที่สำคัญในวิชาทอพอโลยี แฮมิลตันได้รับจากผลงานของเขา ข้อความคาดการณ์นี้ยังเป็นหนึ่งในปัญหารางวัลมิลเลนเนียม ซึ่งสถาบันคณิตศาสตร์เคลย์ยื่นข้อเสนอ 1 ล้านดอลล่าร์สหรัฐให้แก่ผู้ที่สามารถแก้ปัญหาเหล่านี้ได้ ข้อพิสูจน์ของเพเรลมานได้รับการตรวจสอบและยืนยันในปี ค.ศ. 2006 สถาบันคณิตศาสตร์เคลย์เสนอรางวัลมิลเลนเนียมให้แก่เพเรลมานเมื่อ 18 มีนาคม ค.ศ. 2010 และเขายังได้รับการเสนอเหรียญรางวัลฟีลด์ส แต่เขาปฏิเสธรางวัลทั้งคู่ โดยให้เหตุผลว่าผลงานของแฮมิลตันมีส่วนสำคัญพอ ๆ กับผลงานของเขาเอง ปัจจุบันข้อความคาดการณ์ของปวงกาเรเป็นปัญหารางวัลมิลเลนเนียมข้อแรกและข้อเดียวที่ได้รับการไขข้อพิสูจน์ได้

ประวัติ

ลูปที่มีสีทั้งสองบนทอรัสไม่สามารถหดลงให้เป็นจุดได้ ฉะนั้นทอรัสจึงไม่สมานสัณฐานกับทรงกลม

คำถามดั้งเดิมของปวงการ

ในปี 1900 ปวงกาเรอ้างว่า ซึ่งเขาเป็นผู้เสนอขึ้นมาเองโดยอาศัยงานของ นั้นเพียงพอที่จะใช้ตรวจสอบว่า แมนิโฟลด์สามมิติที่กำหนดเป็นทรงกลม 3 มิติหรือไม่ แต่ในปี 1904 ปวงกาเรค้นพบตัวอย่างค้านกับข้ออ้างของเขา โดยปัจจุบันรู้จักปริภูมิที่เป็นตัวอย่างค้านนี้ในชื่อ (Poincaré homology sphere) ทรงกลมปวงกาเรเป็นตัวอย่างแรกของซึ่งเป็นแมนิโฟลด์ที่มีฮอมอโลยีเท่ากับทรงกลม เพื่อพิสูจน์ว่าทรงกลมปวงกาเรต่างจากทรงกลมสามมิติ ปวงกาเรได้เสนอการอันใหม่นั่นคือ (fundamental group) และพิสูจน์ว่าทรงกลมปวงกาเรมีกรุปพื้นฐานอันดับ 120 ในขณะที่ทรงกลมสามมิติมีกรุปพื้นฐานชัดแจ้ง ปัจจุบันนักคณิตศาสตร์ค้นพบทรงกลมฮอมอโลยีอยู่จำนวนมาก

ในบทความเดียวกัน ปวงกาเรสนใจว่าแมนิโฟลด์สามมิติที่มีทั้งฮอมอโลยีและกรุปพื้นฐานเหมือนกับทรงกลมสามมิติ จำเป็นต้องเป็นทรงกลมสามมิติหรือไม่ กรุปพื้นฐานของทรงกลมสามมิติชัดแจ้งและเงื่อนไขนี้สมมูลกับข้อความที่ว่า "ทุกลูปสามารถหดให้เป็นจุดได้" ปวงกาเรไม่ได้เขียนไว้ว่าเขาเชื่อในข้อความคาดการณ์หรือไม่

รูปแบบมาตรฐานของข้อความคาดการณ์ของปวงกาเรมีดังนี้

ทุกแมนิโฟลด์ 3 มิติซึ่งเป็นและเป็นจะสมานสัณฐานกับทรงกลม 3 มิติ

แมนิโฟลด์ปิดคือแมนิโฟลด์ที่กระชับและไม่มี เงื่อนไขนี้จำเป็น เช่นปริภูมิยูคลิเดียนสามมิติเป็นปริภูมิเชื่อมโยงเชิงเดียว แต่ไม่กระชับ ฉะนั้นจึงไม่สมานสัณฐานกับทรงกลม

ความพยายามแก้ปัญหา

ในช่วงปี 1930 เสนอว่าเขามีบทพิสูจน์ แต่ได้ถอนออกไปในภายหลัง แต่ในความพยายามพิสูจน์ทฤษฎีบทนี้ ไวท์เฮดค้นพบตัวอย่างของแมนิโฟลด์เชื่อมโยงเชิงเดียว (ยิ่งไปกว่านั้นเป็นปริภูมิที่ contractible หรือก็คือสมมูลทางฮอมอโทปีกับจุด) แต่เป็นแมนิโฟลด์ไม่กะชับ และไม่สมานสัณฐานกับ ${\displaystyle \mathbb {R} ^{3}}$ ซึ่งในปัจจุบันเราเรียกว่า (Whitehead manifold)

ในช่วงปี 1950 และ 1960 นักคณิตศาสตร์คนอื่นก็ได้พยายามพิสูจน์ข้อความคาดการณ์นี้เช่นกัน แต่พบว่ามีจุดผิดพลาดเสมอ ตัวอย่างนักคณิตศาสตร์ที่มีชื่อเสียงเช่น , , , และ ต่างพยายามพิสูจน์ข้อความคาดการณ์นี้ attempted to prove the conjecture. ในปี 1958 อาร์.เอช. บิง พิสูจน์รูปแบบที่อ่อนกว่าของข้อความคาดการณ์ของปวงกาเรที่ว่า ถ้าทุกเส้นโค้งปิดเชิงเดี่ยวของแมนิโฟลด์สามมิติกระชับถูกบบรรจุในบอลสามมิติ แล้วแมนิโฟลด์นั้นจะสมานสัณฐานกับทรงกลมสามมิติ บิงได้อธิบายจุดผิดพลาดบางจุดขณะพยายามพิสูจน์ข้อความคาดการณ์ของปวงกาเร

วลอดิเมียซ ยาคอปช์ (Włodzimierz Jakobsche) พิสูจน์ในปี 1978 ว่าหากเป็นจริงในมิติ 3 แล้วข้อความคาดการณ์ของปวงกาเรจะเป็นจริงด้วย

มิติต่าง ๆ

ทฤษฎีบทในสองมิติระบุว่าข้อความคาดการณ์ของปวงกาเรเป็นจริงในสองมิติ และในมิติที่สูงกว่า 3 เราอาจถามคำถามเดียวกันนั้นได้ว่าเป็นข้อความคาดการณ์ของปวงกาเรวางนัยทั่วไป ซึ่งถามว่า ทรงกลมฮอมอโทปีมิติ ${\textstyle n}$ จะสมานสัณฐานกับทรงกลมมิติ ${\textstyle n}$ หรือไม่ เงื่อนไขนี้แรงกว่าเงื่อนไขในสามมิติ ทั้งนี้เพราะมีการค้นพบว่าในมิติ 4 ขึ้นไปจะมีแมนิโฟลด์ปิดและเป็นปริภูมิเชื่อมโยงเชิงเดี่ยวที่ไม่สมมูลเชิงฮอมอโทปีกับ ทรงกลมมิติ ${\textstyle n}$

ก่อนหน้านี้เชื่อกันโดยทั่วไปว่าข้อความคาดการณ์ของปวงกาเรวางนัยทั่วไปเป็นเท็จสำหรับมิติตั้งแต่สี่เป็นต้นไป ในปี 1961 สร้างความตื่นตะลึงให้กับวงการคณิตศาสตร์โดยพิสูจน์ข้อความคาดการณ์ของปวงกาเรวางนัยทั่วไปสำหรับมิติที่สูงกว่าสี่ทั้งหมด และใช้วิธีการเดียวกันพิสูจน์ ในปี 1982 พิสูจน์ข้อความคาดการณ์ของปวงกาเรวางนัยทั่วไปสำหรับสี่มิติ งานของฟรีดแมนยังเหลือความเป็นไปได้ที่จะมีแมนิโฟลด์เรียบในสี่มิติที่สมานสัณฐานกับทรงกลมสี่มิติ แต่ไม่กับทรงกลมสี่มิติ คำถามนี้เรียกว่า (smooth Poincaré conjecture) ในมิติที่สี่ยังเป็นปัญหาเปิด และเชื่อกันว่าเป็นปัญหาที่ยาก ข้อความคาดการณ์ปวงกาเรเรียบในเจ็ดมิตินั้นเป็นเท็จโดยมีตัวอย่างค้านคือ (exotic sphere) ของ

ข้อความคาดการณ์ของปวงกาเรเป็นจริงในมิติสี่ และมิติที่สูงกว่าด้วยเหตุผลที่ต่างกันอย่างยิ่ง และในสามมิติข้อความคาดการณ์นี้ต้องรอจน (geometrization conjecture) วางกรอบให้กับแมนิโฟลด์สามมิติทั้งหมด เขียนไว้ว่า:

ในมุมมองของข้าพเจ้า ก่อนงานของเกี่ยวกับและ... ข้อความคาดการณ์จีโอเมไทรเซชันจะปรากฎ ไม่มีมติเอกฉันท์ในหมู่ผู้เชี่ยวชาญว่าข้อความของปวงกาเรเป็นจริงหรือไม่ หลังงานของเธอร์สตันก็มีความคิดเอกฉันท์ขึ้นมาว่าข้อความของปวงกาเร (และข้อความคาดการณ์จีโอเมไทรเซชัน)เป็นจริง ถึงแม้ว่าทั้งสองไม่มีผลโดยตรงระหว่างกัน

โปรแกรมของแฮมิลตันและบทพิูสจน์

ขั้นตอนต่าง ๆ ของ บนแมนิโฟลด์สองมิติ

โปรแกรมของแฮมิลตันเริ่มในบทความปี 1982 ของ โดยแฮมิลตันเสนอแนวคิดเรื่อง (Ricci flow) บนแมนิโฟลด์ และแสดงการใช้มันพิสูจน์กรณีพิเศษของข้อความคาดการณ์ของปวงกาเร หลายปีต่อมา แฮมิลตันพัฒนางานของเขาแต่ยังไม่สามารถพิสูจน์ข้อความคาดการณ์ได้ จนกระทั่งกริกอรี เพเรลมานตีพิมพ์บทความของเขา

ในช่วงปลายปี 2002 และ 2003 เพเรลมานเผยแพร่บทความสามบทความบน ในสามบทความนี้ เพเรลมานร่างบทพิสูจน์ข้อความคาดการณ์ของปวงกาเร และข้อความคาดการณ์ที่ทั่วไปกว่าคือ เป็นการเพิ่มเติมโปรแกรมของแฮมิลตัน

ในช่วงเดือนพฤษภาคมถึงกรกฎาคมปี 2006 มีกลุ่มวิจัยจำนวนมากเสนอบทความที่เติมรายละเอียดในบทพิสูจน์ของเพเรลมาน อันได้แก่

• และ เสนอบทความ arXiv ในเดือนพฤษภาคมปี 2006 โดยเติมรายละเอียดในบทพิสูจน์ข้อความคาดการณ์จีโอเมไทรเซชันของเพเรลมาน ต้นฉบับนี้ถูกเผยแพร่ในวารสาร "Geometry and Topology" ในปี 2008 มีการแก้ไขข้อผิดพลาดบางส่วนในปี 2011 และ 2013
• และ ตีพิมพ์บทความในวารสาร ฉบับประจำเดือนมิถุนายน 2006 โดยเขียนระบุบทพิสูจน์ที่สมบูรณ์ของข้อความคาดการณ์ของปวงกาเรและข้อความคาดการณ์จีโอเมไทรเซชัน ในฉบับแรก ๆ ของบทความพวกเขาถูกวิจารณ์ว่าถือเอาผลงานของเพเรลมาน จนได้แก้ไขข้อความใหม่ในภายหลัง นอกจากนี้ หน้าหนึ่งในบทความนั้นเหมือนกันกับหน้าหนึ่งของบทความฉบับร่างของ Kleiner และ Lott ที่ได้เผยแพร่สาธารณะไปก่อนหน้านี้

• และ อัปโหลดบทความบน arXiv ในเดือนกรกฎาคมปี 2006 โดยให้บทพิสูจน์ละเอียดของข้อความคาดการณ์ของปวงกาเร (ซึ่งง่ายกว่าข้อความคาดการณ์จีโอเมไทรเซชัน) และในภายหลังเขียนออกเป็นหนังสือ

ทั้งสามกลุ่มวิจัยพบช่องว่างในงานของเพเรลมานนั้นเล็กน้อย และอาจแก้ได้โดยวิธีการของเขาเอง

ในวันที่ 22 สิงหาคม ปี 2006 (ICM) ให้รางวัลเหรียญฟีลดส์แก่เพเรลมาน แต่เขาปฏิเสธ จอห์น มอร์แกนกล่าวในงาน ICM ในวันที่ 24 สิงหาคม 2006 และประกาศว่า "ในปี 2003 เพเรลมานได้แก้ข้อความคาดการณ์ของปวงกาเรเป็นผลสำเร็จ"

ในเดือนธันวาคมปี 2006 วารสาร Science ยกย่องบทพิสูจน์ของข้อความคาดการณ์ปวงกาเรว่าเป็นการค้นพบที่ยิ่งใหญ่แห่งปี () และนำขึ้นปกวารสาร

อ้างอิง

1. . www.claymath.org. คลังข้อมูลเก่าเก็บจากแหล่งเดิมเมื่อ 2015-11-17. สืบค้นเมื่อ 2022-01-16.
2. Hamilton, Richard S. (1982-01-01). "Three-manifolds with positive Ricci curvature". Journal of Differential Geometry. 17 (2). doi:10.4310/jdg/1214436922. ISSN 0022-040X.
3. (PDF) (Press release). . March 18, 2010. คลังข้อมูลเก่าเก็บจากแหล่งเดิม (PDF)เมื่อ 2010-03-31. สืบค้นเมื่อ March 18, 2010. The Clay Mathematics Institute (CMI) announces today that Dr. Grigoriy Perelman of St. Petersburg, Russia, is the recipient of the Millennium Prize for resolution of the Poincaré conjecture.
4. ; David Gruber (August 28, 2006). . . pp. 44–57. On-line version at the New Yorker website.
5. Chang, Kenneth (August 22, 2006). "Highest Honor in Mathematics Is Refused". The New York Times.
6. "Последнее "нет" доктора Перельмана" [The last "no" Dr. Perelman]. (ภาษารัสเซีย). July 1, 2010. สืบค้นเมื่อ 5 April 2016. Google Translated archived link at [1] (archived 2014-04-20)
7. Ritter, Malcolm (1 July 2010). "Russian mathematician rejects million prize". The Boston Globe.
8. (1958). "Necessary and sufficient conditions that a 3-manifold be S³". . Second Series. 68 (1): 17–37. doi:10.2307/1970041. JSTOR 1970041.
9. Bing, R. H. (1964). "Some aspects of the topology of 3-manifolds related to the Poincaré conjecture". Lectures on Modern Mathematics. Vol. II. New York: Wiley. pp. 93–128.
10. M., Halverson, Denise; Dušan, Repovš (23 December 2008). "The Bing–Borsuk and the Busemann conjectures". Mathematical Communications (ภาษาอังกฤษ). 13 (2). :0811.0886.
11. Morgan, John W., Recent progress on the Poincaré conjecture and the classification of 3-manifolds. Bull. Amer. Math. Soc. (N.S.) 42 (2005), no. 1, 57–78
12. (1982). "Three-manifolds with positive Ricci curvature". Journal of Differential Geometry. 17 (2): 255–306. doi:10.4310/jdg/1214436922.  0664497.  0504.53034. Reprinted in: ; Chow, B.; Chu, S. C.; , บ.ก. (2003). Collected Papers on Ricci Flow. Series in Geometry and Topology. Vol. 37. Somerville, MA: International Press. pp. 119–162. ISBN .
13. Perelman, Grigori (2002). "The entropy formula for the Ricci flow and its geometric applications". :math.DG/0211159.
14. Perelman, Grigori (2003). "Ricci flow with surgery on three-manifolds". :math.DG/0303109.
15. Perelman, Grigori (2003). "Finite extinction time for the solutions to the Ricci flow on certain three-manifolds". :math.DG/0307245.
16. ; John W. Lott (2008). "Notes on Perelman's Papers". Geometry and Topology. 12 (5): 2587–2855. :math.DG/0605667. doi:10.2140/gt.2008.12.2587. S2CID 119133773.
17. ; (June 2006). (PDF). Asian Journal of Mathematics. 10 (2). คลังข้อมูลเก่าเก็บจากแหล่งเดิม (PDF)เมื่อ 2012-05-14.
18. Cao, Huai-Dong & Zhu, Xi-Ping (December 3, 2006). "Hamilton–Perelman's Proof of the Poincaré Conjecture and the Geometrization Conjecture". :math.DG/0612069.
19. ; (2006). "Ricci Flow and the Poincaré Conjecture". :math.DG/0607607.
20. ; (2007). Ricci Flow and the Poincaré Conjecture. Clay Mathematics Institute. ISBN .
21. Morgan, John; Tian, Gang (2015). "Correction to Section 19.2 of Ricci Flow and the Poincare Conjecture". :1512.00699 [math.DG].
22. ; David Gruber (August 28, 2006). . . pp. 44–57. On-line version at the New Yorker website.
23. Chang, Kenneth (August 22, 2006). "Highest Honor in Mathematics Is Refused". The New York Times.
24. A Report on the Poincaré Conjecture. Special lecture by John Morgan.
25. อ้างอิงผิดพลาด: ป้ายระบุ <ref> ไม่ถูกต้อง ไม่มีการกำหนดข้อความสำหรับอ้างอิงชื่อ science

แหล่งข้อมูลอื่น

• The Poincaré conjecture described 2003-06-05 ที่ เวย์แบ็กแมชชีน by the Clay Mathematics Institute.
• The Poincaré Conjecture (video) Brief visual overview of the Poincaré Conjecture, background and solution.
• The Geometry of 3-Manifolds (video) 2010-01-27 ที่ เวย์แบ็กแมชชีน A public lecture on the Poincaré and geometrization conjectures, given by C. McMullen at Harvard in 2006.
• Bruce Kleiner (Yale) and John W. Lott (University of Michigan) : "Notes & commentary on Perelman's Ricci flow papers".
• Stephen Ornes, What is The Poincaré Conjecture? 2008-12-04 ที่ เวย์แบ็กแมชชีน, Seed Magazine, 25 August 2006.
• The slides 2008-10-30 ที่ เวย์แบ็กแมชชีน used by Yau in a popular talk on the Poincaré conjecture.
• "The Poincaré Conjecture" - programme , 2 November 2006. Contributors June Barrow-Green, Lecturer in the History of Mathematics at the , , Professor of Mathematics at the , , Professor of Mathematics at the University of Oxford, and presenter .
• "Solving an Old Math Problem Nets Award, Trouble" - NPR segment, December 26, 2006.
• Nasar, Sylvia (21 August 2006). "Manifold Destiny: A legendary problem and the battle over who solved it". . สืบค้นเมื่อ 2006-08-24. {{}}: ไม่รู้จักพารามิเตอร์ |coauthors= ถูกละเว้น แนะนำ (|author=) ((help))