It is shown that there exists a compact planar set K such that the uniform algebra R(K) is nontrivial and strongly regular. This settles an issue raised by Donald Wilken 55 years ago. It is shown that the set K can be chosen such that, in addition, R(K) is not weakly amenable. It is also shown that there exists a uniform algebra that has bounded relative units but is not weakly amenable. These results answer questions raised by Joel Feinstein and Matthew Heath 17 years ago. A key ingredient in our proofs is a bound we establish on the functions introduced by Thomas Koerner to simplify Robert McKissick's construction of a nontrivial normal uniform algebra.
- পেপার আইডি: 2211.14684
- শিরোনাম: একটি তীক্ষ্ণতর সুইস পনির
- লেখক: Alexander J. Izzo
- শ্রেণীবিভাগ: math.CV (জটিল বিশ্লেষণ), math.FA (ফাংশনাল বিশ্লেষণ)
- প্রকাশনার সময়: ২০২৫ সালের ১ জানুয়ারি (arXiv v3 সংস্করণ)
- পেপার লিঙ্ক: https://arxiv.org/abs/2211.14684
এই পেপারটি প্রমাণ করে যে একটি সংক্ষিপ্ত সমতল সেট K বিদ্যমান যেখানে সামঞ্জস্যপূর্ণ বীজগণিত R(K) অ-তুচ্ছ এবং দৃঢ়ভাবে নিয়মিত। এটি ৫৫ বছর আগে ডোনাল্ড উইলকেন দ্বারা উত্থাপিত সমস্যার সমাধান করে। নিবন্ধটি আরও প্রমাণ করে যে সেট K এমনভাবে নির্বাচন করা যায় যাতে R(K) দুর্বলভাবে হ্রাসযোগ্য না হয়। উপরন্তু, এটি প্রমাণ করে যে একটি সীমাবদ্ধ আপেক্ষিক একক সহ কিন্তু দুর্বলভাবে হ্রাসযোগ্য নয় এমন একটি সামঞ্জস্যপূর্ণ বীজগণিত বিদ্যমান। এই ফলাফলগুলি ১৭ বছর আগে জোয়েল ফেইনস্টাইন এবং ম্যাথিউ হিথ দ্বারা উত্থাপিত প্রশ্নের উত্তর দেয়। প্রমাণের মূল উপাদান হল থমাস কর্নার দ্বারা প্রবর্তিত ফাংশনের সীমানা স্থাপন করা, যা রবার্ট ম্যাকিসিক দ্বারা অ-তুচ্ছ নিয়মিত সামঞ্জস্যপূর্ণ বীজগণিত নির্মাণের পদ্ধতিকে সরল করে।
এই পেপারটি প্রধানত সামঞ্জস্যপূর্ণ বীজগণিত তত্ত্বে বেশ কয়েকটি দীর্ঘমেয়াদী অমীমাংসিত সমস্যার সমাধান করে:
- দৃঢ় নিয়মিততা সমস্যা: ডোনাল্ড উইলকেন ১৯৬৯ সালে জিজ্ঞাসা করেছিলেন যে অ-তুচ্ছ এবং দৃঢ়ভাবে নিয়মিত R(K) প্রকারের সামঞ্জস্যপূর্ণ বীজগণিত বিদ্যমান কিনা
- দুর্বল হ্রাসযোগ্যতা সমস্যা: ফেইনস্টাইন এবং হিথ ২০০৭ সালে জিজ্ঞাসা করেছিলেন যে দৃঢ়ভাবে নিয়মিত কিন্তু দুর্বলভাবে হ্রাসযোগ্য নয় এমন সামঞ্জস্যপূর্ণ বীজগণিত বিদ্যমান কিনা
- সীমাবদ্ধ আপেক্ষিক একক সমস্যা: সীমাবদ্ধ আপেক্ষিক একক সহ কিন্তু দুর্বলভাবে হ্রাসযোগ্য নয় এমন সামঞ্জস্যপূর্ণ বীজগণিত বিদ্যমান কিনা
- তাত্ত্বিক তাৎপর্য: এই সমস্যাগুলি সামঞ্জস্যপূর্ণ বীজগণিতের মৌলিক বৈশিষ্ট্যগুলির সাথে সম্পর্কিত, যেমন দৃঢ় নিয়মিততা, দুর্বল হ্রাসযোগ্যতা ইত্যাদি মূল ধারণা
- ঐতিহাসিক মূল্য: ক্ষেত্রে ৫৫ বছর এবং ১৭ বছরের অমীমাংসিত সমস্যার সমাধান
- পদ্ধতিগত উদ্ভাবন: ক্লাসিক সুইস পনির নির্মাণ পদ্ধতি উন্নত করে, সম্পর্কিত গবেষণার জন্য নতুন সরঞ্জাম প্রদান করে
- ম্যাকিসিকের ক্লাসিক নির্মাণ শুধুমাত্র নিয়মিত কিন্তু দৃঢ়ভাবে নিয়মিত নয় এমন সামঞ্জস্যপূর্ণ বীজগণিত পেতে পারে
- পূর্ববর্তী দৃঢ়ভাবে নিয়মিত সামঞ্জস্যপূর্ণ বীজগণিতের উদাহরণগুলি মেট্রিকযোগ্য স্থানে সর্বাধিক সীমিত সংখ্যক অ-শিখর বিন্দু রয়েছে
- একাধিক বৈশিষ্ট্য একযোগে সন্তুষ্ট করার নির্মাণ পদ্ধতির অভাব (যেমন দৃঢ়ভাবে নিয়মিত কিন্তু দুর্বলভাবে হ্রাসযোগ্য নয়)
- প্রথম অ-তুচ্ছ দৃঢ়ভাবে নিয়মিত R(K) প্রকারের সামঞ্জস্যপূর্ণ বীজগণিত নির্মাণ করেছে, যা উইলকেনের ৫৫ বছর আগের সমস্যার সমাধান করে
- প্রমাণ করেছে যে দৃঢ়ভাবে নিয়মিত কিন্তু দুর্বলভাবে হ্রাসযোগ্য নয় এমন সামঞ্জস্যপূর্ণ বীজগণিত বিদ্যমান, যা ফেইনস্টাইন-হিথ প্রশ্নের উত্তর দেয়
- সীমাবদ্ধ আপেক্ষিক একক সহ কিন্তু দুর্বলভাবে হ্রাসযোগ্য নয় এমন সামঞ্জস্যপূর্ণ বীজগণিত নির্মাণ করেছে
- কর্নার ফাংশনের সামঞ্জস্যপূর্ণ সীমানা স্থাপন করেছে, যা প্রযুক্তিগতভাবে মূল উদ্ভাবন
- মেট্রিকযোগ্য স্থানে অগণনীয় অ-শিখর বিন্দু সহ প্রথম দৃঢ়ভাবে নিয়মিত সামঞ্জস্যপূর্ণ বীজগণিত প্রদান করেছে
সংক্ষিপ্ত সমতল সেট K = D \ ⋃∞_ D_k (সুইস পনির) নির্মাণ করা, যাতে সামঞ্জস্যপূর্ণ বীজগণিত R(K) নির্দিষ্ট বৈশিষ্ট্য সন্তুষ্ট করে:
- ইনপুট: খোলা বৃত্তাকার ডিস্ক অনুক্রম {D_k}, যা ∑r(D_k) < ∞ সন্তুষ্ট করে
- আউটপুট: সংক্ষিপ্ত সেট K, যাতে R(K) প্রয়োজনীয় বৈশিষ্ট্য রয়েছে
- সীমাবদ্ধতা: R(K) অ-তুচ্ছ এবং দৃঢ় নিয়মিততা ইত্যাদি শর্ত সন্তুষ্ট করা নিশ্চিত করা
মূল লেম্মা ৩.১: যুক্তিসঙ্গত ফাংশন অনুক্রম {f_n} এবং ধ্রুবক C_1 বিদ্যমান, প্রতিটি 0 < ε < 1 এর জন্য, খোলা বৃত্তাকার ডিস্ক অনুক্রম {Δ_k} বিদ্যমান যেমন:
- ∑r(Δ_k) ≤ ε
- f_n এর মেরুগুলি ⋃Δ_k এর মধ্যে অবস্থিত
- {f_n} C \ ⋃Δ_k এ সামঞ্জস্যপূর্ণভাবে ফাংশন f_ε এ সংগ্রহ করে
- মূল সীমানা: ||f_ε||_∞ ≤ C_1ε^{-1}
সংক্ষিপ্ত সেট K ⊂ C এবং s ∈ Z^+ এর জন্য, যদি প্রতিটি σ > 0 এবং η > 0 এর জন্য, x ধারণ করে এবং ব্যাসার্ধ ≤σ সহ খোলা বৃত্তাকার ডিস্ক Δ বিদ্যমান থাকে, যেমন ফাংশন g ∈ R(K) বিদ্যমান যা সন্তুষ্ট করে:
- g Δ ∩ K এ সর্বদা শূন্য
- ||(z-a)^s - g||_K < η
তাহলে R(K) তে J_x ⊃ M^s_x।
প্রতিটি r > 0 এর জন্য, খোলা বৃত্তাকার ডিস্ক অনুক্রম {D_k} বিদ্যমান যেমন ∑r(D_k) < r এবং K = D \ ⋃D_k সন্তুষ্ট করে:
R(K) তে, প্রতিটি x ∈ K এর জন্য J_x ⊃ M^2_x
- ফাংশন সীমানার নির্ভুল নিয়ন্ত্রণ: কর্নার ফাংশনের সামঞ্জস্যপূর্ণ সীমানা স্থাপনের মাধ্যমে, অনুমান নির্ভুলতার নির্ভুল নিয়ন্ত্রণ অর্জন করা
- স্তরযুক্ত নির্মাণ কৌশল:
- প্রথমে J_x ⊃ M^2_x সন্তুষ্ট করে এমন সুইস পনির নির্মাণ করা
- তারপর ওয়ার্মারের ফলাফল সংযুক্ত করা (M^2_x = M_x)
- অবশেষে দৃঢ় নিয়মিততা অর্জন করা (J_x = M_x)
- জ্যামিতিক আবরণ প্রযুক্তি: পর্যবেক্ষণ ৪.৪ এর আবরণ ফলাফল ব্যবহার করে, নির্মাণ প্রক্রিয়ার নিয়ন্ত্রণযোগ্যতা নিশ্চিত করা
বিশুদ্ধ গণিত পেপার হিসাবে, এই নিবন্ধটি সংখ্যাগত পরীক্ষার পরিবর্তে কঠোর গাণিতিক প্রমাণের মাধ্যমে ফলাফল যাচাই করে:
- নির্মাণ যাচাইকরণ: নির্দিষ্ট সুইস পনির নির্মাণের মাধ্যমে অস্তিত্ব প্রমাণ করা
- বৈশিষ্ট্য যাচাইকরণ: বীজগণিত তত্ত্বের মাধ্যমে নির্মিত বস্তুগুলি প্রয়োজনীয় বৈশিষ্ট্য সন্তুষ্ট করে তা প্রমাণ করা
- প্রতিউদাহরণ নির্মাণ: নির্দিষ্ট উদাহরণের মাধ্যমে নির্দিষ্ট বৈশিষ্ট্যের স্বাধীনতা প্রমাণ করা
- উপপাদ্য ১.२: দৃঢ় নিয়মিততা সহ সুইস পনির নির্মাণ
- উপপাদ্য १.८: দৃঢ়ভাবে নিয়মিত কিন্তু দুর্বলভাবে হ্রাসযোগ্য নয় এমন উদাহরণ নির্মাণ
- উপপাদ্য १.९: সীমাবদ্ধ আপেক্ষিক একক কিন্তু দুর্বলভাবে হ্রাসযোগ্য নয় এমন উদাহরণ নির্মাণ
- সফলভাবে নির্মাণ করেছে অ-তুচ্ছ দৃঢ়ভাবে নিয়মিত R(K)
- যেকোনো r > 0 এর জন্য, ∑r(D_k) < r সন্তুষ্ট করে এমন সুইস পনির নির্মাণ করতে পারে
- ৫৫ বছরের অমীমাংসিত সমস্যার সমাধান করেছে
প্রমাণ করেছে যে সংক্ষিপ্ত সমতল সেট K বিদ্যমান যেমন:
- R(K) দৃঢ়ভাবে নিয়মিত
- R(K) দুর্বলভাবে হ্রাসযোগ্য নয়
- সমন্বয় শর্ত ||∫_{∂I^2} f'(z)g(z)dz|| ≤ C||f||_K||g||_K এর মাধ্যমে অ-দুর্বল হ্রাসযোগ্যতা প্রতিষ্ঠা করা
অপরিহার্য সামঞ্জস্যপূর্ণ বীজগণিত A নির্মাণ করেছে যা সন্তুষ্ট করে:
- A সীমাবদ্ধ আপেক্ষিক একক রয়েছে
- A দুর্বলভাবে হ্রাসযোগ্য নয়
- A সংক্ষিপ্ত মেট্রিকযোগ্য স্থানে সংজ্ঞায়িত
- প্রথমবারের মতো অর্জিত বৈশিষ্ট্যের সমন্বয়:
- দৃঢ়ভাবে নিয়মিত + অগণনীয় অ-শিখর বিন্দু
- দৃঢ়ভাবে নিয়মিত + সীমাহীন বিন্দু ডেরিভেটিভ
- দৃঢ়ভাবে নিয়মিত + অসীম গ্লিসন অংশ
- প্রযুক্তিগত অগ্রগতি:
- কর্নার ফাংশনের নির্ভুল সীমানা অনুমান
- বহু-স্তরীয় সুইস পনির নির্মাণ প্রযুক্তি
- কোল রুট সম্প্রসারণ পদ্ধতির উদ্ভাবনী প্রয়োগ
- ক্লাসিক ভিত্তি (১৯৬০ এর দশক):
- ম্যাকিসিক (১৯৬३): প্রথম অ-তুচ্ছ নিয়মিত সামঞ্জস্যপূর্ণ বীজগণিত
- উইলকেন (१९६९): দৃঢ় নিয়মিততা সমস্যা উত্থাপন
- আধুনিক উন্নয়ন (१९९०-२००० এর দশক):
- ফেইনস্টাইন (१९९२): প্রথম অ-তুচ্ছ দৃঢ়ভাবে নিয়মিত সামঞ্জস্যপূর্ণ বীজগণিত
- হিথ (२००५): নিয়মিত কিন্তু দুর্বলভাবে হ্রাসযোগ্য নয় এমন উদাহরণ
- ফেইনস্টাইন-হিথ (२००७): সিস্টেমেটিক সমস্যা উত্থাপন
- এই পেপারের অবদান: সমস্ত পূর্ববর্তী ফলাফল একীভূত এবং অতিক্রম করেছে
- ম্যাকিসিক লেম্মা: এই পেপারের প্রস্থান বিন্দু
- কর্নার সরলীকরণ: এই পেপারের উন্নত ভিত্তি
- ওয়ার্মার উপপাদ্য: সীমাবদ্ধ বিন্দু ডেরিভেটিভ সম্পর্কিত ফলাফল
- কোল সম্প্রসারণ: জটিল উদাহরণ নির্মাণের সরঞ্জাম
- সম্পূর্ণভাবে উইলকেন সমস্যার সমাধান করেছে: অ-তুচ্ছ দৃঢ়ভাবে নিয়মিত R(K) বিদ্যমান
- ফেইনস্টাইন-হিথ সমস্যার আংশিক উত্তর দিয়েছে: সমস্যা ५.४ এবং ५.५ সমাধান করেছে, সমস্যা ५.१ এখনও খোলা
- নতুন নির্মাণ পদ্ধতি প্রতিষ্ঠা করেছে: পরবর্তী গবেষণার জন্য শক্তিশালী সরঞ্জাম প্রদান করেছে
- সমস্যা ५.१ অমীমাংসিত: অ-তুচ্ছ দুর্বলভাবে হ্রাসযোগ্য সামঞ্জস্যপূর্ণ বীজগণিত বিদ্যমান কিনা তা এখনও খোলা প্রশ্ন
- নির্মাণ জটিলতা: নির্ভুল প্রযুক্তিগত নিয়ন্ত্রণের প্রয়োজন, সহজে সাধারণীকরণযোগ্য নয়
- গণনামূলক জটিলতা: বাস্তব নির্মাণে পরামিতি নির্বাচনের জন্য জটিল অনুমান প্রয়োজন
- অনুমান १.१४: বিভিন্ন শক্তির আদর্শ সম্পর্কের স্তরযুক্ত কাঠামো সম্পর্কে
- দুর্বল হ্রাসযোগ্যতা সমস্যা: অ-তুচ্ছ দুর্বলভাবে হ্রাসযোগ্য সামঞ্জস্যপূর্ণ বীজগণিত খোঁজা
- নির্মাণ পদ্ধতি সাধারণীকরণ: প্রযুক্তি আরও বিস্তৃত ফাংশন বীজগণিত শ্রেণীতে প্রয়োগ করা
- তাত্ত্বিক যুগান্তকারী: একাধিক দীর্ঘমেয়াদী অমীমাংসিত গুরুত্বপূর্ণ সমস্যার সমাধান করেছে
- প্রযুক্তিগত উদ্ভাবনী: কর্নার ফাংশন সীমানা অনুমান ইত্যাদি প্রযুক্তিগত উদ্ভাবন স্বাধীন মূল্য রয়েছে
- পদ্ধতি সিস্টেমেটিক: সম্পূর্ণ নির্মাণ কাঠামো এবং বিচার মানদণ্ড প্রদান করেছে
- লেখার কঠোরতা: প্রমাণ বিস্তারিত, যুক্তি স্পষ্ট, প্রযুক্তিগত বিবরণ সম্পূর্ণ
- নির্মাণ বিমূর্ততা: অস্তিত্ব প্রমাণ করেছে যদিও, নির্দিষ্ট উদাহরণ স্পষ্টভাবে দেওয়া কঠিন
- প্রযুক্তিগত প্রবেশদ্বার উচ্চ: সম্পূর্ণভাবে বুঝতে গভীর সামঞ্জস্যপূর্ণ বীজগণিত তত্ত্ব পটভূমি প্রয়োজন
- প্রয়োগ সীমিত: প্রধানত তাত্ত্বিক অবদান, সরাসরি প্রয়োগ মূল্য সীমিত
- একাডেমিক মূল্য: ক্লাসিক সমস্যা সমাধান করেছে, সামঞ্জস্যপূর্ণ বীজগণিত তত্ত্ব উন্নয়ন চালিত করেছে
- পদ্ধতি মূল্য: নতুন নির্মাণ প্রযুক্তি সম্পর্কিত গবেষণা অনুপ্রাণিত করতে পারে
- শিক্ষা মূল্য: ক্ষেত্রের জন্য গুরুত্বপূর্ণ রেফারেন্স প্রদান করেছে
- সামঞ্জস্যপূর্ণ বীজগণিত তত্ত্ব গবেষণা
- জটিল বিশ্লেষণে অনুমান তত্ত্ব
- ফাংশনাল বিশ্লেষণে বানাখ বীজগণিত তত্ত্ব
- সম্পর্কিত গণিত শাখার আন্তঃ গবেষণা
পেপারটি ২८টি গুরুত্বপূর্ণ রেফারেন্স উদ্ধৃত করেছে, প্রধানত অন্তর্ভুক্ত:
- ক্লাসিক সাহিত্য: ম্যাকিসিক (१९६३), উইলকেন (१९६९), ওয়ার্মার (१९६७)
- আধুনিক উন্নয়ন: ফেইনস্টাইন সিরিজ কাজ, হিথ (२००५)
- প্রযুক্তিগত ভিত্তি: কর্নার (१९८६), স্টাউট (१९७१)
- সম্পর্কিত তত্ত্ব: কোল (१९६८), হলস্ট্রম (१९६९)
সারসংক্ষেপ: এই পেপারটি সামঞ্জস্যপূর্ণ বীজগণিত তত্ত্বের একটি গুরুত্বপূর্ণ অবদান, যা পরিশীলিত নির্মাণ প্রযুক্তির মাধ্যমে একাধিক দীর্ঘমেয়াদী অমীমাংসিত সমস্যার সমাধান করেছে। যদিও অত্যন্ত তাত্ত্বিক, তবে এটি ক্ষেত্রের আরও উন্নয়নের জন্য গুরুত্বপূর্ণ ভিত্তি স্থাপন করেছে। পেপারের প্রযুক্তিগত উদ্ভাবন এবং তাত্ত্বিক গভীরতা এটিকে ক্ষেত্রের একটি মাইলফলক কাজ করে তোলে।