ஒரே ஒரு புள்ளியில் மட்டுமே உருண்டையாக இருக்கும் வழுவழுப்பான ஒரு பந்து

ஒரு பந்து எல்லாத் திசைகளிலும் ஒரே மாதிரி வளைகிறது. ரக்பி பந்தின் பக்கவாட்டுப் பகுதி அப்படியல்ல: அது தன் சுற்றளவைச் சுற்றிக் கூர்மையாகவும், நீளவாக்கில் மெதுவாக மட்டுமே வளைகிறது. ஒரு மேற்பரப்பின் ஒவ்வொரு புள்ளியிலும், வடிவியலாளர்கள் மிக வலுவான வளைவையும் மிகப் பலவீனமான வளைவையும் குறிக்கின்றனர்; அவற்றின் திசைகள் எப்போதும் ஒன்றுக்கொன்று செங்கோணத்தில் அமைகின்றன; இவையே இரண்டு முதன்மை வளைவுகள் (principal curvatures). அவை சமமாக இருக்கும் புள்ளி, அதாவது மேற்பரப்பு எல்லாத் திசைகளிலும் ஒரே மாதிரி வளையும் புள்ளி, அம்பிலிக் (umbilic) என்று அழைக்கப்படுகிறது. ஒரு முழுமையான பந்தில், ஒவ்வொரு புள்ளியும் ஓர் அம்பிலிக்.

ஓர் அம்பிலிக்கைச் சுற்றிய சுழற்சிகளை எண்ணுதல்

அம்பிலிக்குகளிலிருந்து விலகிய இடங்களில், மிக வலுவான, மிகப் பலவீனமான வளைவின் திசைகள் மேற்பரப்பின் குறுக்கே இரண்டு கோட்டுக் குடும்பங்களை வரைகின்றன; அவை எல்லா இடங்களிலும் செங்கோணத்தில் வெட்டிக்கொள்கின்றன. தனித்த ஓர் அம்பிலிக்கை ஒரு சிறிய சுற்றுவழியில் ஒருமுறை சுற்றி நடந்து, இந்தக் கோடுகளில் ஒன்றைப் பின்தொடருங்கள்: அது சுழல்கிறது. அது செய்யும் சுழற்சிகளின் எண்ணிக்கையே அந்த அம்பிலிக்கின் குறியெண் (index). ஒரு கோட்டுக்கு அம்புக்குறி இல்லாததால், அது அரைச் சுழற்சிக்குப் பிறகே தன்மீது மீண்டும் பொருந்திவிடலாம்; எனவே குறியெண் 3/2 போன்ற அரை-முழுஎண்ணாக இருக்கலாம்.

இரண்டு ஊகங்கள் (conjectures), ஆய்வுக்கட்டுரை அவற்றைக் கூறுவது போல:

• லோவ்னரின் ஊகம் (Loewner’s conjecture): தனித்த ஓர் அம்பிலிக்கின் குறியெண் அதிகபட்சம் 1.
• காரத்தியோடரியின் ஊகம் (Carathéodory’s conjecture): சாதாரண முப்பரிமாண வெளியில் உள்ள மூடிய, குவிவான, ஒழுங்கான மேற்பரப்புக்கு (முட்டையைப் போல, விளிம்பு எதுவுமின்றி எல்லா இடங்களிலும் வெளிநோக்கிப் புடைக்கும் வழுவழுப்பான மேற்பரப்பு) குறைந்தது இரண்டு அம்பிலிக்குகள் உண்டு.

இரண்டும் தொடர்புடையவை. அம்பிலிக்குகள் தனித்திருக்கும் மூடிய, குவிவான ஒரு மேற்பரப்பில், குறியெண்களின் கூட்டுத்தொகை எப்போதும் 2. எந்தக் குறியெண்ணும் 1-ஐ மீற முடியாதென்றால், குறைந்தது இரண்டு அம்பிலிக்குகள் தேவைப்படும்: லோவ்னரின் ஊகம் உண்மையானால் காரத்தியோடரியின் ஊகமும் உண்மையாகும். தனியொரு அம்பிலிக் முழு 2-ஐயும் தானே சுமக்க வேண்டியிருக்கும்; அது இரண்டு ஊகங்களையும் உடைக்கும்.

ஆகஸ்டில் அறிவிக்கப்பட்டு, சைன்களிலிருந்து மீண்டும் கட்டப்பட்டது

முதல் எதிர் எடுத்துக்காட்டுகள் (counterexamples) இந்த ஆய்வுக்கட்டுரையிலிருந்து வரவில்லை. அதன் அறிமுகத்தின்படி, L. Alpöge, 19 ஆகஸ்ட் 2026 தேதியிட்ட X தளப் பதிவு ஒன்றில், வழுவழுப்பான மேற்பரப்புகளுக்கு இரண்டு ஊகங்களுக்குமான எதிர் எடுத்துக்காட்டுகளை, “AI-இன் உதவியுடன் உருவாக்கப்பட்டவை” என அறிவித்தார். Alpöge-இன் உள்ளூர் கட்டமைப்பு ஏற்கெனவே ஒவ்வொரு நேர் முழுஎண் k-க்கும் 1 + k/2 குறியெண்ணை எட்டுகிறது; மேலும், சரியாக ஒரே ஓர் அம்பிலிக் (குறியெண் 2) கொண்ட, மூடிய, கண்டிப்பாகக் குவிவான ஒரு மேற்பரப்பையும் Alpöge தெரிவிக்கிறார்.

Kumamoto பல்கலைக்கழகத்தைச் சேர்ந்த Naoya Ando-வும், Institute of Science Tokyo-வைச் சேர்ந்த Masaaki Umehara-வும், “Alpöge-இன் கட்டமைப்பின் ஒரு மாறுபாட்டின் வழியே ஓர் எளிய கட்டமைப்பை” வழங்க முனைந்தனர். Alpöge-இன் தொடக்கச் சார்பு, −1/4, 3/10, −1/32 ஆகிய குணகங்களுடன் மூன்று கொசைன்களை (cosines) இணைக்கிறது; அவை 10¹⁰, 100 போன்ற மாறிலிகளை உள்ளடக்கிய சார்புகளுக்குள் அமைந்துள்ளன. அவர்களின் “விதை” இதுதான்:

F(x, y) = a(x) − a(y) + sin x sin y, with 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 என்பது ஒற்றைக் கலப்பெண்ணாக எழுதப்பட்ட தளத்தின் ஒரு புள்ளி, k என்பது ஆசிரியர்கள் விருப்பப்படி தேர்ந்தெடுக்கக்கூடிய ஒரு நேர் முழுஎண். இந்தப் பிரதியீடு தளத்தின் தொலைதூரப் பகுதிகளை மையத்தை நோக்கி அனுப்புகிறது; எனவே சைன் வடிவம் அதைச் சுற்றி மேன்மேலும் நெருக்கமான வளையங்களாகக் குவிகிறது. அடுக்குக்குறிக் காரணி (exponential factor) எல்லாவற்றையும் நசுக்குகிறது: மையத்தில், சார்பும் அதன் எல்லா வகைக்கெழுக்களும் பூஜ்யம். கணிதவியலாளர்கள் அத்தகைய சார்பைத் தட்டையானது (flat) என்கின்றனர்.

அந்த மையத்தைச் சுற்றி, இந்த நிலப்பரப்பின் மிக வலுவான வளைவின் திசைகள் 1 + k/2 முறை சுழல்கின்றன: k = 1-க்கு 3/2, k = 2-க்கு 2, k = 3-க்கு 5/2, மேல் வரம்பு எதுவுமின்றி (தேற்றம் 1.3). Fujiyama-வுடன் சேர்ந்து, இதே இரண்டு ஆசிரியர்கள் முன்பு, அம்பிலிக்கில் C¹ மட்டுமே, அதாவது ஒருமுறை மட்டுமே வகையிடக்கூடிய, எடுத்துக்காட்டுகளைக் கொண்டு எவ்வளவு பெரிய குறியெண்களையும் எட்டியிருந்தனர்; இந்தப் புதியவை வழுவழுப்பானவை.

ஒரு நிலப்பரப்பை ஒரு மேற்பரப்பாக மாற்ற, ஆசிரியர்கள் ஒரு தாங்குச் சார்பைப் (support function) பயன்படுத்துகின்றனர்: ஒவ்வொரு திசைக்கும், ஒரு மையத்திலிருந்து அந்தப் பக்கத்தில் மேற்பரப்பைத் தொடும் தட்டையான தளத்துக்கு உள்ள தொலைவை அது தருகிறது — ஒரு கூழாங்கல்லின் மீது அழுத்தப்பட்ட அளவுகோலைப் போல. ஒரு மாறிலித் தாங்குச் சார்பு ஒரு கோளத்தை விவரிக்கிறது. அந்த மாறிலியுடன் நிலப்பரப்பின் ஒரு சிறிய மடங்கைச் சேர்த்தால், நிலப்பரப்பின் அம்பிலிக்குகளுடனும் குறியெண்களுடனும் பொருந்தும் அம்பிலிக்குகளும் குறியெண்களும் கொண்ட ஒரு மேற்பரப்பு கிடைக்கிறது. இது ஒரு மரபார்ந்த தொடர்பு; மூடிய மேற்பரப்புக்குத் தனக்குத் தேவையான பகுதியை மட்டுமே ஆய்வுக்கட்டுரை நிறுவுகிறது, மீதியை மேற்கோள் காட்டுகிறது. முடிவு: ஒவ்வொரு k-க்கும் 1 + k/2 குறியெண் கொண்ட அம்பிலிக்குகளைச் சுமக்கும் வழுவழுப்பான மேற்பரப்பின் சிறு துண்டுகள்; எனவே குறியெண்ணுக்கு உச்சவரம்பு இல்லை. லோரன்ட்ஸ்–மின்கோவ்ஸ்கி வெளியில் (Lorentz–Minkowski space) உள்ள ஒரு வகை மேற்பரப்புகளுக்கும் இதுவே பொருந்தும்; அங்கே, தொலைவுக்கான பித்தகோரஸின் சூத்திரத்தில், மூன்று ஆயத்தொலை வேறுபாடுகளில் ஒன்றின் வர்க்கம் கூட்டப்படுவதற்குப் பதிலாகக் கழிக்கப்படுகிறது.

ஒரே அம்பிலிக் வட துருவத்தில் அமர்ந்திருக்கிறது

மூடிய மேற்பரப்புக்காக, விதையின் முடிவற்ற தளம் ஒரு கோளத்தைச் சுற்றிப் போர்த்தப்படுகிறது — பின்னோக்கி இயக்கப்படும் ஒரு வரைபட வீழ்ப்பைப் (map projection) போல: அது வட துருவத்தைத் தவிர ஒவ்வொரு புள்ளியையும் மூடுகிறது; வட துருவத்தில் அதன் தொலைதூரப் பகுதிகள் எல்லாம் ஒன்றுகூடுகின்றன. விதை வேறொரு வழியில் தணிக்கப்படுகிறது; அதனால் அது அந்தத் தளத்தின் மையத்திலிருந்து உள்ள தொலைவின் எந்த அடுக்கையும் விட வேகமாக மங்குகிறது; அதன் ஒரு சிறிய மடங்கு ε கோளத்தின் தாங்குச் சார்புடன் சேர்க்கப்படுகிறது. ε போதுமான அளவு சிறியதாக இருந்தால், விளைவு மூடிய, ஏறக்குறைய உருண்டையான, கண்டிப்பாகக் குவிவான ஒரு மேற்பரப்பு: அது எல்லா இடங்களிலும் வெளிநோக்கிப் புடைக்கிறது. ஒன்றைத் தவிர ஒவ்வொரு புள்ளியிலும், விதையின் பண்பு அம்பிலிக் இருப்பதைத் தடுக்கிறது. விதிவிலக்கு வட துருவம், N = (0, 0, 1): அங்கே, தாங்குச் சார்பு ஒவ்வொரு வகைக்கெழுவிலும் கோளத்தின் தாங்குச் சார்புடன் பொருந்துகிறது; எனவே N ஓர் அம்பிலிக், அதுவே ஒரே அம்பிலிக் (தேற்றம் 2.2). குறியெண்களின் கூட்டுத்தொகை 2 ஆக இருக்க வேண்டும் என்பதால், அதன் குறியெண் 2. ஒரே ஓர் அம்பிலிக்: காரத்தியோடரியின் ஊகம் தோற்கிறது. குறியெண் 2, அதாவது 1-ஐ விட அதிகம்: லோவ்னரின் ஊகமும் தோற்கிறது.

வழுவழுப்பானது, ஆனால் பகுமுறை அல்ல

ஆய்வுக்கட்டுரையில் உள்ள ஒவ்வொரு மேற்பரப்பும் முடிவிலி முறை வகையிடக்கூடியது, அதாவது “வழுவழுப்பானது”. சாதாரண வெளியில் உள்ள தங்கள் மேற்பரப்புகள் மெய்ப் பகுமுறை (real analytic) அல்ல என்று ஆசிரியர்கள் குறிப்பிடுகின்றனர்; இது மேலும் கண்டிப்பான ஒரு வகை வழுவழுப்பு: ஒவ்வொரு புள்ளிக்கு அருகிலும், வடிவம் அடுக்குகளின் ஒரு முடிவற்ற கூட்டுத்தொகையால் துல்லியமாகத் தரப்படுகிறது. பகுமுறை மேற்பரப்புகளுக்கு ஒரே ஓர் அம்பிலிக் இருக்க முடியுமா என்பது பற்றி ஆய்வுக்கட்டுரை எதுவும் கூறவில்லை. குறியெண்-2 அம்பிலிக்கையும் காரத்தியோடரியின் ஊகத்துக்கான எதிர் எடுத்துக்காட்டையும் பொறுத்தவரை, தான் தன்னிறைவானது என்று அது தன்னை விவரிக்கிறது. மேலும் அதில் மேற்பரப்பின் படம் எதுவும் இல்லை: அதை வடிவமைக்கும் δ, ε ஆகிய இரண்டு மாறிலிகளும் “போதுமான அளவு சிறியவை” ஆக இருக்க வேண்டும் என்று மட்டுமே கோரப்படுகிறது; எந்த மதிப்பும் தரப்படவில்லை.