ఒకే ఒక బిందువు వద్ద మాత్రమే గుండ్రంగా ఉండే నునుపైన బంతి

బంతి ప్రతి దిశలోనూ ఒకే విధంగా వంగుతుంది. రగ్బీ బంతి పక్కభాగం అలా కాదు: అది తన చుట్టుకొలత వెంబడి తీవ్రంగా, పొడవు వెంబడి మెల్లగా మాత్రమే వంగుతుంది. ఉపరితలంపై ప్రతి బిందువు వద్ద, జ్యామితి శాస్త్రవేత్తలు అత్యధిక వంపును, అత్యల్ప వంపును గుర్తిస్తారు; వాటి దిశలు ఎప్పుడూ ఒకదానికొకటి లంబంగా ఉంటాయి. ఇవే రెండు ప్రధాన వక్రతలు (principal curvatures). అవి రెండూ సమానమయ్యే బిందువును, అంటే ఉపరితలం అన్ని దిశల్లోనూ ఒకే విధంగా వంగే బిందువును, అంబిలిక్ (umbilic) అంటారు. పరిపూర్ణమైన బంతిపై ప్రతి బిందువూ అంబిలిక్కే.

అంబిలిక్ చుట్టూ భ్రమణాలను లెక్కించడం

అంబిలిక్‌లకు దూరంగా, అత్యధిక, అత్యల్ప వంపు దిశలు ఉపరితలంపై రెండు రేఖా కుటుంబాలను గీస్తాయి; అవి ప్రతిచోటా లంబకోణాల్లో ఖండించుకుంటాయి. ఒక వివిక్త (isolated) అంబిలిక్ చుట్టూ ఒక చిన్న వలయం వెంబడి ఒక్కసారి నడుస్తూ, ఈ రేఖల్లో ఒకదాన్ని అనుసరించండి: అది తిరుగుతుంది. అది చేసే భ్రమణాల సంఖ్యే ఆ అంబిలిక్ సూచిక (index). రేఖకు బాణం ఉండదు కాబట్టి, అది అర్ధ భ్రమణం తర్వాతే తనపైకి తాను తిరిగి రాగలదు; కాబట్టి సూచిక 3/2 వంటి అర్ధ-పూర్ణసంఖ్య కూడా కావచ్చు.

పత్రం పేర్కొన్న విధంగా రెండు ఊహలు (conjectures):

• లోవ్‌నర్ ఊహ: వివిక్త అంబిలిక్ సూచిక గరిష్ఠంగా 1.
• కారథియోడొరీ ఊహ: సాధారణ త్రిమితీయ ప్రదేశంలో మూసివున్న కుంభాకార క్రమ ఉపరితలానికి (అంచులు లేని, గుడ్డులాగా ప్రతిచోటా బయటికి ఉబ్బిన నునుపైన ఉపరితలం) కనీసం రెండు అంబిలిక్‌లు ఉంటాయి.

ఈ రెండూ ఒకదానితో ఒకటి ముడిపడి ఉన్నాయి. అంబిలిక్‌లు వివిక్తంగా ఉండే మూసివున్న కుంభాకార ఉపరితలంపై, సూచికల మొత్తం ఎప్పుడూ 2. ఏదీ 1 ని మించలేకపోతే, కనీసం రెండు అంబిలిక్‌లు అవసరమవుతాయి: లోవ్‌నర్ ఊహ కారథియోడొరీ ఊహను సూచిస్తుంది. ఒంటరి అంబిలిక్ ఆ మొత్తం 2 ను తానొక్కటే మోయాల్సి వస్తుంది, అప్పుడు రెండు ఊహలూ భంగమవుతాయి.

ఆగస్టులో ప్రకటన, సైన్‌లతో పునర్నిర్మాణం

మొదటి ప్రత్యుదాహరణలు (counterexamples) ఈ పత్రం నుంచి రాలేదు. దాని ఉపోద్ఘాతం ప్రకారం, ఎల్. అల్‌పోగే నునుపైన ఉపరితలాలకు రెండు ఊహలకూ ప్రత్యుదాహరణలను, “AI సహాయంతో రూపొందించినవి”గా, 19 ఆగస్టు 2026 నాటి X పోస్ట్‌లో ప్రకటించారు. అల్‌పోగే స్థానిక నిర్మాణం ప్రతి ధన పూర్ణసంఖ్య k కీ 1 + k/2 సూచికను ఇప్పటికే చేరుతుంది; సూచిక 2 గల సరిగ్గా ఒకే ఒక అంబిలిక్ ఉన్న, మూసివున్న, ఖచ్చితంగా కుంభాకార ఉపరితలాన్ని కూడా అల్‌పోగే నివేదించారు.

కుమమోటో విశ్వవిద్యాలయానికి చెందిన నవోయా ఆండో, ఇన్‌స్టిట్యూట్ ఆఫ్ సైన్స్ టోక్యోకు చెందిన మసాకి ఉమెహారా “అల్‌పోగే నిర్మాణపు ఒక రూపాంతరం ద్వారా మరింత సరళమైన నిర్మాణం” ఇవ్వడానికి పూనుకున్నారు. అల్‌పోగే ప్రారంభ ఫలనం −1/4, 3/10, −1/32 గుణకాలతో మూడు కొసైన్‌లను కలుపుతుంది; అవి 10¹⁰, 100 వంటి స్థిరాంకాలు ఉన్న ఫలనాల లోపల ఉంటాయి. వీరి “బీజం” (seed) ఇది:

F(x, y) = a(x) − a(y) + sin x sin y, ఇక్కడ a(t) = sin⁴t + 3 sin²t

రెండు చరరాశుల ఫలనాన్ని ఎత్తుపల్లాలున్న ఒక భూదృశ్యంగా ఊహించుకోండి. బీజానికి కావలసింది ఒక్క లక్షణమే: ఈ భూదృశ్యం ఎక్కడా అన్ని దిశల్లోనూ ఒకే విధంగా వంగకూడదు. సాంకేతిక పరిభాషలో, దాని ట్రేస్-రహిత హెస్సియన్ (trace-free Hessian) — “ప్రతి దిశలోనూ ఒకటే” అనే భాగాన్ని తీసివేసిన రెండో ఉత్పన్నాల పట్టిక — ఎక్కడా సున్నా కాదు. ఈ బీజానికి, ఈ తనిఖీకి మూడు పంక్తులు చాలు. ఆ లక్షణం ఒకే సంకీర్ణ సంఖ్యలో (complex number) ఇమిడి ఉంటుంది — అంటే “వాస్తవ”, “కల్పిత” భాగాలనే రెండు సాధారణ సంఖ్యల జంట, రెండూ సున్నా అయితేనే అది సున్నా: 12 − 16(sin⁴x + sin⁴y) + 2i cos x cos y. దాని కల్పిత భాగం ఏదో ఒక కొసైన్ సున్నా అయిన చోట మాత్రమే సున్నా అవుతుంది; అక్కడ ఒక సైన్ ±1 కి సమానం, కాబట్టి దాని వాస్తవ భాగం గరిష్ఠంగా −4. కాబట్టి అది ఎప్పుడూ సున్నా కాదు.

అభ్యర్థి ఫలనాల కోసం వెతకడంలో, పాఠ్యాన్ని సవరించడంలో సహాయపడేందుకు ChatGPT ని ఉపయోగించామని, ప్రతి వాదనను తామే స్వయంగా ధృవీకరించామని రచయితలు పేర్కొన్నారు.

అంతులేని నమూనాను ఒక బిందువులోకి మడవడం

బీజం సమతలమంతటా అనంతంగా పునరావృతమవుతుంది. రచయితలు దాన్నంతటినీ ఒక అతి చిన్న వృత్తంలోకి కుదిస్తారు: H_k(z) = exp(−|z|^(−k/4)) F(z^(−k/2)); ఇక్కడ z అనేది ఒకే సంకీర్ణ సంఖ్యగా (complex number) రాసిన సమతల బిందువు, k అనేది రచయితలు స్వేచ్ఛగా ఎంచుకోగల ఒక ధన పూర్ణాంకం. ఈ ప్రతిక్షేపణ సమతలపు సుదూర ప్రాంతాలను కేంద్రం వైపు పంపుతుంది, కాబట్టి సైన్ నమూనా దాని చుట్టూ మరింత మరింత బిగుతైన వలయాలుగా పేరుకుపోతుంది. ఘాతాంక కారకం అన్నింటినీ నలిపేస్తుంది: కేంద్రం వద్ద, ఫలనమూ దాని అన్ని ఉత్పన్నాలూ సున్నా. గణిత శాస్త్రవేత్తలు అలాంటి ఫలనాన్ని చదునైనది (flat) అంటారు.

ఆ కేంద్రం చుట్టూ, ఈ భూదృశ్యపు అత్యధిక వంపు దిశలు 1 + k/2 సార్లు తిరుగుతాయి: k = 1 కి 3/2, k = 2 కి 2, k = 3 కి 5/2, ఎగువ పరిమితి ఏదీ లేకుండా (సిద్ధాంతం 1.3). ఇదే ఇద్దరు రచయితలు ఫుజియామాతో కలిసి గతంలో ఏకపక్షంగా పెద్ద సూచికలను చేరారు, కానీ ఆ ఉదాహరణలు అంబిలిక్ వద్ద కేవలం C¹, అంటే ఒక్కసారి మాత్రమే అవకలనీయం (differentiable); ఈ కొత్తవి నునుపైనవి.

భూదృశ్యాన్ని ఉపరితలంగా మార్చడానికి, రచయితలు ఒక ఆధార ఫలనాన్ని (support function) ఉపయోగిస్తారు: ప్రతి దిశకూ, ఆ వైపున ఉపరితలాన్ని తాకే చదునైన తలానికి ఒక కేంద్రం నుంచి ఉన్న దూరాన్ని అది ఇస్తుంది — గులకరాయికి ఆనించిన స్కేలులాగా. స్థిరమైన ఆధార ఫలనం గోళాన్ని సూచిస్తుంది. ఆ స్థిరాంకానికి భూదృశ్యపు చిన్న గుణిజాన్ని కలిపితే, భూదృశ్యపు అంబిలిక్‌లు, సూచికలతో సరిపోలే అంబిలిక్‌లు, సూచికలు గల ఉపరితలం వస్తుంది. ఇది ఒక సంప్రదాయ అనురూపత; మూసివున్న ఉపరితలానికి తనకు అవసరమైన భాగాన్ని మాత్రమే పత్రం నిరూపిస్తుంది, మిగతాదానికి మూలాలను ఉదహరిస్తుంది. ఫలితం: ప్రతి k కీ 1 + k/2 సూచిక గల అంబిలిక్‌లను మోసే నునుపైన ఉపరితలపు చిన్న ముక్కలు, కాబట్టి సూచికకు పైకప్పు లేదు. లోరెంట్జ్–మింకోవ్‌స్కీ ప్రదేశంలోని ఒక తరగతి ఉపరితలాలకు కూడా ఇదే వర్తిస్తుంది; అక్కడ దూరానికి సంబంధించిన పైథాగరస్ సూత్రంలో, మూడు నిరూపక భేదాల్లో ఒకదాని వర్గాన్ని కలపడానికి బదులు తీసివేస్తారు.

ఏకైక అంబిలిక్ ఉత్తర ధ్రువం వద్ద

మూసివున్న ఉపరితలం కోసం, బీజపు అంతులేని సమతలాన్ని ఒక గోళం చుట్టూ చుడతారు — వెనక్కి నడిపిన పటప్రక్షేపం (map projection) లాగా: అది ఉత్తర ధ్రువం తప్ప ప్రతి బిందువునూ కప్పుతుంది, అక్కడ దాని సుదూర ప్రాంతాలన్నీ కలుస్తాయి. బీజాన్ని మరో విధంగా క్షీణింపజేస్తారు — ఆ సమతల కేంద్రం నుంచి దూరపు ఏ ఘాతం కంటే వేగంగా అది మసకబారేలా — ఆపై దాని చిన్న గుణిజం ε ను ఆ గోళపు ఆధార ఫలనానికి కలుపుతారు. ε తగినంత చిన్నదైతే, ఫలితం మూసివున్న, దాదాపు గుండ్రటి, ఖచ్చితంగా కుంభాకార (strictly convex) ఉపరితలం: అది ప్రతిచోటా బయటికి ఉబ్బి ఉంటుంది. ఒక్కటి తప్ప ప్రతి బిందువు వద్దా, బీజపు లక్షణం అంబిలిక్‌ను నిరోధిస్తుంది. మినహాయింపు ఉత్తర ధ్రువం, N = (0, 0, 1): అక్కడ ఆధార ఫలనం ప్రతి ఉత్పన్నంలోనూ గోళపు ఆధార ఫలనంతో సరిపోలుతుంది, కాబట్టి N ఒక అంబిలిక్, అదే ఏకైకది (సిద్ధాంతం 2.2). సూచికల మొత్తం 2 కావాలి కాబట్టి, దాని సూచిక 2. ఒక్కటే అంబిలిక్: కారథియోడొరీ ఊహ విఫలమవుతుంది. సూచిక 2, అంటే 1 కంటే ఎక్కువ: లోవ్‌నర్ ఊహ కూడా విఫలమవుతుంది.

నునుపైనది, కానీ విశ్లేషణాత్మకం కాదు

పత్రంలోని ప్రతి ఉపరితలమూ అనంతంగా అవకలనీయం, అంటే “నునుపైనది” (smooth). సాధారణ ప్రదేశంలోని తమ ఉపరితలాలు వాస్తవ విశ్లేషణాత్మకం (real analytic) కావని రచయితలు స్పష్టం చేశారు; అది మరింత కఠినమైన రకపు నునుపుదనం, దానిలో ప్రతి బిందువు సమీపంలో ఆకారం ఘాతాల అనంత మొత్తంతో కచ్చితంగా ఇవ్వబడుతుంది. విశ్లేషణాత్మక ఉపరితలాలకు ఒకే ఒక అంబిలిక్ ఉండగలదా అనే దాని గురించి పత్రం ఏమీ చెప్పదు. సూచిక-2 అంబిలిక్‌కు, కారథియోడొరీ ఊహకు ప్రత్యుదాహరణకు సంబంధించి తాను స్వయంపూర్ణమని (self-contained) అది పేర్కొంటుంది. అందులో ఉపరితలపు చిత్రం ఏదీ లేదు: దానికి ఆకారమిచ్చే δ, ε అనే రెండు స్థిరాంకాలు “తగినంత చిన్నవి”గా ఉండాలని మాత్రమే కోరుతుంది, ఏ విలువనూ ఇవ్వదు.