In this paper, we study certain moduli spaces of vector bundles on the blowup of the projective plane in at least 10 very general points. Moduli spaces of sheaves on general type surfaces may be nonreduced, reducible and even disconnected. In contrast, moduli spaces of sheaves on minimal rational surfaces and certain del Pezzo surfaces are irreducible and smooth along the locus of stable bundles. We find examples of moduli spaces of vector bundles on more general blowups of the projective plane that are disconnected and have components of different dimensions. In fact, assuming the SHGH Conjecture, we can find moduli spaces with arbitrarily many components of arbitrarily large dimension.
পেপার আইডি : 2306.06175শিরোনাম : প্রজেক্টিভ প্লেনের অত্যন্ত সাধারণ ব্লোআপের উপর ভেক্টর বান্ডেলের ইন্টারপোলেশন এবং মডিউলাই স্পেসলেখক : ইজ্জেত কোসকুন (ইলিনয় বিশ্ববিদ্যালয়, শিকাগো), জ্যাক হুইজেঙ্গা (পেনসিলভেনিয়া স্টেট বিশ্ববিদ্যালয়)শ্রেণীবিভাগ : math.AG (বীজগণিতীয় জ্যামিতি)প্রকাশনার সময় : ২০২৪, Épijournal de Géométrie Algébrique, খণ্ড ৮, নিবন্ধ সংখ্যা ৭পেপার লিঙ্ক : https://arxiv.org/abs/2306.06175 এই পেপারটি প্রজেক্টিভ প্লেন P² এর কমপক্ষে ১০টি অত্যন্ত সাধারণ বিন্দুতে ব্লোআপের উপর নির্দিষ্ট ভেক্টর বান্ডেল মডিউলাই স্পেসের অধ্যয়ন করে। সাধারণ ধরনের পৃষ্ঠের উপর শেফ মডিউলাই স্পেস অ-সংকুচিত, বিযোজনীয় এবং এমনকি সংযুক্ত নয় হতে পারে। এর বিপরীতে, ন্যূনতম মূলদ পৃষ্ঠ এবং কিছু ডেল পেজো পৃষ্ঠের উপর শেফ মডিউলাই স্পেস স্থিতিশীল বান্ডেল লোকাসে অ-বিযোজনীয় এবং মসৃণ। লেখকরা P² এর আরও সাধারণ ব্লোআপের উপর ভেক্টর বান্ডেল মডিউলাই স্পেসের উদাহরণ আবিষ্কার করেছেন, যা সংযুক্ত নয় এবং বিভিন্ন মাত্রার শাখা রয়েছে। প্রকৃতপক্ষে, SHGH অনুমান ধরে নিলে, যেকোনো সংখ্যক যেকোনো বড় মাত্রার শাখা সহ মডিউলাই স্পেস খুঁজে পাওয়া যায়।
সমাধানের মূল সমস্যা :প্রজেক্টিভ প্লেন P² এর একাধিক সাধারণ বিন্দুতে ব্লোআপ দ্বারা প্রাপ্ত পৃষ্ঠ X এর উপর ভেক্টর বান্ডেল মডিউলাই স্পেসের জ্যামিতিক কাঠামো অধ্যয়ন বিশেষত যখন ব্লোআপ বিন্দুর সংখ্যা n≥10, মডিউলাই স্পেস MX,At(2,K,χ) এর সংযোগযোগ্যতা এবং শাখা কাঠামোতে মনোযোগ দেওয়া সমস্যার গুরুত্ব :মডিউলাই স্পেসের টপোলজিক্যাল বৈশিষ্ট্য বীজগণিতীয় জ্যামিতিতে মডিউলি তত্ত্ব বোঝার জন্য গুরুত্বপূর্ণ মূলদ পৃষ্ঠের উপর শেফ মডিউলাই স্পেসের আচরণ বিভিন্ন শর্তে উল্লেখযোগ্য পার্থক্য প্রদর্শন করে এই গবেষণা আরও সাধারণ পৃষ্ঠের উপর মডিউলাই স্পেস বোঝার জন্য নির্দেশনা প্রদান করে বিদ্যমান গবেষণার সীমাবদ্ধতা :ন্যূনতম মূলদ পৃষ্ঠ এবং কিছু ডেল পেজো পৃষ্ঠের জন্য, মডিউলাই স্পেস স্থিতিশীল বান্ডেল লোকাসে অ-বিযোজনীয় এবং মসৃণ বলে পরিচিত ওয়াল্টার নির্দিষ্ট শর্তে (KY + F)·A < 0 এর অধীনে মডিউলাই স্পেস অ-বিযোজনীয় প্রমাণ করেছেন কিন্তু আরও সাধারণ মূলদ পৃষ্ঠের জন্য, বিশেষত যখন ওয়াল্টার শর্ত লঙ্ঘিত হয়, মডিউলাই স্পেসের আচরণ এখনও অস্পষ্ট গবেষণা প্রেরণা :মূলদ পৃষ্ঠের উপর মডিউলাই স্পেসে সম্ভাব্য প্যাথোলজিক্যাল আচরণ অন্বেষণ কোন শর্তে বিযোজনীয়, সংযুক্ত নয় এমন মডিউলাই স্পেস দেখা যায় তা যাচাই করা মডিউলাই স্পেস টপোলজিক্যাল বৈশিষ্ট্যের সাধারণ তত্ত্বের জন্য নতুন উদাহরণ এবং প্রতিউদাহরণ প্রদান করা মূলদ পৃষ্ঠে প্রথমবার পর্যবেক্ষণ করা প্যাথোলজিক্যাল ঘটনা আবিষ্কার :সংযুক্ত নয় এবং বিভিন্ন মাত্রার শাখা সহ ভেক্টর বান্ডেল মডিউলাই স্পেস নির্মাণ SHGH অনুমান ধরে নিয়ে, যেকোনো সংখ্যক যেকোনো বড় মাত্রার শাখা সহ মডিউলাই স্পেস নির্মাণ করা যায় প্রমাণ করা বান্ডেলের শ্রেণীবিভাগ তত্ত্ব প্রতিষ্ঠা :প্রমাণ করা যে প্রতিটি ধনাত্মক অয়লার বৈশিষ্ট্য সহ ভেক্টর বান্ডেল V এর একটি অনন্য "টাইপ D" রয়েছে টাইপ D এর সম্পূর্ণ শ্রেণীবিভাগ প্রদান করা, বিশেষত 10≤n≤17 এর ক্ষেত্রে নির্দিষ্ট মডিউলাই স্পেস বর্ণনা প্রদান :n=16 এর জন্য: MX,At(2,K,2) ≅ P⁵ (যখন 14/3 < t < 16/3); P⁵ এর 16 বিন্দুতে ব্লোআপ (যখন 4 < t < 14/3) n=25 এর জন্য: MX,At(2,K,4) ≅ 25টি P⁸ এর বিচ্ছিন্ন সংমিশ্রণ (যখন 5 < t ≤ 27/5) অবিরত ভগ্নাংশ সম্প্রসারণের সাথে সংযোগ প্রতিষ্ঠা :যখন n সম্পূর্ণ বর্গ নয়, কার্যকর ভাজক D এর শ্রেণীবিভাগ পেল সমীকরণ সমাধানের মাধ্যমে সম্পাদিত হয় জ্যামিতিক সমস্যাকে সংখ্যা তত্ত্বের সমস্যায় রূপান্তরিত করা, গণনার সরঞ্জাম প্রদান করা পৃষ্ঠ X = Bl_{p₁,...,pₙ}P² এর উপর ভেক্টর বান্ডেল মডিউলাই স্পেস MX,At(r,c₁,χ) অধ্যয়ন, যেখানে:
X হল P² এর n টি অত্যন্ত সাধারণ বিন্দুতে ব্লোআপ At = tH - E হল পোলারাইজেশন ভাজক (t > √n) (r,c₁,χ) = (2,K,χ) এর ক্ষেত্রে ফোকাস, যেখানে K হল ক্যানোনিক্যাল ভাজক সংজ্ঞা 3.1 : v = (2,K,χ) এবং χ≥1 ধরুন, D হল কার্যকর ভাজক শ্রেণী যা χ(D)≥1 সন্তুষ্ট করে। ভেক্টর বান্ডেল V টাইপ D রয়েছে, যদি এটি সঠিক ক্রম মেনে চলে:
0 → O(D) → V → K(-D)⊗I_Z → 0
যেখানে Z হল দৈর্ঘ্য 2χ(O(D))-χ এর শূন্য-মাত্রিক স্কিম।
উপপাদ্য 3.2 : v = (2,K,χ) (χ≥1) বৈশিষ্ট্য সহ প্রতিটি ভেক্টর বান্ডেল V এর ঠিক একটি টাইপ D রয়েছে।
প্রস্তাব 3.9 : যদি V টাইপ D এর বান্ডেল হয় এবং একটি পোলারাইজেশন At₀ বিদ্যমান থাকে যেমন V হল μ-At₀ আধা-স্থিতিশীল, তাহলে অবশ্যই:
2B·D < B·K একটি অনন্য পোলারাইজেশন AtD বিদ্যমান যেমন 2AtD·D = AtD·K 2B·D < B·K এবং χ(D)≥1 সন্তুষ্ট করে এমন কার্যকর ভাজকের জন্য:
যখন 10≤n≤12 (উপপাদ্য 4.8) :
ভাজক D √n এর অবিরত ভগ্নাংশ সম্প্রসারণের বিজোড় অভিসারী সাথে সম্পর্কিত:
ধনাত্মক বিজোড় k এর জন্য, dk = ½(pk-3), mk = ½(qk-1) সংজ্ঞায়িত করুন Dk = dkH - mkE হল শর্ত সন্তুষ্ট করা ভাজক যখন n=16 (উপপাদ্য 4.13) :
শর্ত সন্তুষ্ট করা একমাত্র ভাজক হল O এবং ব্যতিক্রমী ভাজক Ei।
টাইপ তত্ত্বের প্রতিষ্ঠা :সঠিক ক্রমের বিশ্লেষণের মাধ্যমে, বান্ডেলের অনন্য বিয়োজন প্রতিষ্ঠা করা জ্যামিতিক সমস্যাকে সহ-সমতাত্ত্বিক গণনা সমস্যায় রূপান্তরিত করা সংখ্যা তত্ত্ব পদ্ধতির প্রয়োগ :সাধারণীকৃত পেল সমীকরণ সমাধান ব্যবহার করে ভাজক শ্রেণীবিভাগ সমস্যা সমাধান করা জ্যামিতিক বস্তু এবং অবিরত ভগ্নাংশের মধ্যে গভীর সংযোগ প্রতিষ্ঠা করা মডিউলাই স্পেসের নির্ভুল বর্ণনা :সম্প্রসারণ শ্রেণীর বিশ্লেষণের মাধ্যমে প্রতিটি শাখার নির্ভুল মাত্রা প্রদান করা বিভিন্ন টাইপের সাথে সংশ্লিষ্ট শাখা বিচ্ছিন্ন প্রমাণ করা SHGH অনুমানের প্রয়োগ : Segre-Harbourne-Gimigliano-Hirschowitz অনুমান সত্য ধরে নেওয়াNagata অনুমান : যখন n≥10 এবং t>√n, At প্রচুরসহ-সমতাত্ত্বিক গণনা : Riemann-Roch উপপাদ্য এবং শেফ সঠিক ক্রম ব্যবহার করাকার্যকর ভাজক D অসীম ক্রম গঠন করে:
O, 57H-18E, 2220H-702E, 84357H-26676E, ...
এই ভাজকগুলি √10 এর অবিরত ভগ্নাংশ সম্প্রসারণ থেকে পড়া যায়।
ভাজক ছয়টি অসীম পরিবারে বিভক্ত, প্রতিটি পরিবার বিভিন্ন ভারসাম্য শর্তের সাথে সংশ্লিষ্ট:
পরিবার (I): O, 2142H-594E, ... পরিবার (II): 195H-54E, 255057H-70740E, ... ইত্যাদি n=16 :যখন 14/3 < t < 16/3: MX,At(2,K,2) ≅ P⁵ যখন 4 < t < 14/3: MX,At(2,K,2) ≅ P⁵ এর 16 বিন্দুতে ব্লোআপ n=25 :যখন 5 < t ≤ 27/5: MX,At(2,K,4) ≅ 25টি P⁸ এর বিচ্ছিন্ন সংমিশ্রণ 10≤n≤15 এর জন্য:
যখন t > n/3, MX,At(2,K,2) খালি যখন t n/3 এর নিচে নেমে আসে, P^(n-11) এর সমরূপ শাখা প্রাপ্ত হয় প্রতিটি অ-তুচ্ছ ভাজক D এর জন্য, যখন t tD এর নিচে নেমে আসে, মাত্রা -χ(2D-K)-1 এর নতুন শাখা প্রাপ্ত হয় সমস্ত শাখা পরস্পর বিচ্ছিন্ন অনুসিদ্ধান্ত 1.4 : SHGH অনুমান ধরে নিয়ে, 10≤n≤12 এর জন্য, ধনাত্মক পূর্ণসংখ্যা k এবং r দেওয়া হলে, ε>0 বিদ্যমান যেমন যখন √n < t < √n+ε, মডিউলাই স্পেস MX,At(2,K,χ) কমপক্ষে k টি মাত্রা r এর অ-বিযোজনীয় শাখা রয়েছে।
n=12 এর ক্ষেত্রে, প্রাচীর অতিক্রম ক্রম:
D tD নতুন শাখা
O 4 P¹
21H-6E 52/15 P¹⁰
312H-90E 724/209 P¹⁴⁵
...
ওয়াল্টার উপপাদ্য : যখন (KY + F)·A < 0, দ্বিমুখী রুলড পৃষ্ঠের উপর মডিউলাই স্পেস অ-বিযোজনীয়O'Grady উপপাদ্য : যখন χ ঋণাত্মক অসীমের দিকে যায়, মডিউলাই স্পেস অ-বিযোজনীয়, সংকুচিত এবং স্বাভাবিক হয়ে ওঠেGöttsche ফলাফল : হিলবার্ট স্কিমের বেটি সংখ্যা n বৃদ্ধির সাথে একঘেয়েভাবে বৃদ্ধি পায়মূলদ পৃষ্ঠে প্রথমবার সংযুক্ত নয় এমন মডিউলাই স্পেস আবিষ্কার বেটি সংখ্যার একঘেয়েতার সাধারণ প্রত্যাশা লঙ্ঘন করা ওয়াল্টার শর্ত ব্যর্থ হওয়ার সময় নির্দিষ্ট উদাহরণ প্রদান করা মূলদ পৃষ্ঠের উপর মডিউলাই স্পেস জটিল টপোলজিক্যাল আচরণ প্রদর্শন করতে পারে যখন ওয়াল্টার শর্ত লঙ্ঘিত হয়, অ-বিযোজনীয়তা ব্যর্থ হতে পারে SHGH অনুমানের সত্যতা এই ঘটনা বোঝার জন্য গুরুত্বপূর্ণ প্রধান ফলাফল SHGH অনুমানের উপর নির্ভর করে (সম্পূর্ণ বর্গ ক্ষেত্র ছাড়া) বিশ্লেষণ প্রধানত নির্দিষ্ট চার্ন বৈশিষ্ট্যে সীমাবদ্ধ গণনার জটিলতা n বৃদ্ধির সাথে দ্রুত বৃদ্ধি পায় উচ্চতর র্যাঙ্কের ভেক্টর বান্ডেলে সম্প্রসারণ অন্যান্য ধরনের পৃষ্ঠে অনুরূপ ঘটনা অধ্যয়ন SHGH অনুমানের উপর নির্ভর না করে পদ্ধতি উন্নয়ন তাত্ত্বিক উদ্ভাবনী : মূলদ পৃষ্ঠে প্রথমবার প্যাথোলজিক্যাল মডিউলাই স্পেস আবিষ্কার, বিদ্যমান জ্ঞান চ্যালেঞ্জ করাপদ্ধতি সম্পূর্ণতা : বীজগণিতীয় জ্যামিতি, সংখ্যা তত্ত্ব এবং সহ-সমতাত্ত্বিক তত্ত্বের বিভিন্ন সরঞ্জাম সমন্বয়গণনা নির্ভুলতা : নির্দিষ্ট মাত্রা এবং নির্ভুল মডিউলাই স্পেস বর্ণনা প্রদানউদাহরণ সমৃদ্ধি : একাধিক নির্দিষ্ট সংখ্যাগত উদাহরণ এবং শ্রেণীবিভাগ প্রদানঅনুমান নির্ভরতা : মূল ফলাফল SHGH অনুমানের উপর নির্ভর করে, ফলাফলের নিরঙ্কুশতা সীমিত করেপরিসীমা সীমাবদ্ধতা : প্রধানত নির্দিষ্ট চার্ন বৈশিষ্ট্যে ফোকাস, সাধারণীকরণের মাত্রা সীমিতগণনা জটিলতা : বড় n মানের জন্য, শ্রেণীবিভাগ অত্যন্ত জটিল হয়ে ওঠেতাত্ত্বিক অবদান : মডিউলাই স্পেস তত্ত্বের জন্য গুরুত্বপূর্ণ প্রতিউদাহরণ এবং নতুন ঘটনা প্রদানপদ্ধতি মূল্য : প্রতিষ্ঠিত প্রযুক্তিগত কাঠামো অন্যান্য জ্যামিতিক সমস্যায় প্রয়োগ করা যায়ব্যবহারিক তাৎপর্য : আরও সাধারণ পৃষ্ঠের উপর মডিউলাই স্পেস বোঝার জন্য নির্দেশনা প্রদানএই পদ্ধতি নিম্নলিখিত ক্ষেত্রে প্রয়োগের জন্য উপযুক্ত:
মূলদ পৃষ্ঠের উপর মডিউলাই স্পেসের গবেষণা মডিউলাই স্পেস শাখার নির্ভুল গণনার প্রয়োজনীয় সমস্যা বীজগণিতীয় জ্যামিতিতে অবিরত ভগ্নাংশ পদ্ধতির প্রয়োগ পেপারটি ২৯টি গুরুত্বপূর্ণ সাহিত্য উদ্ধৃত করে, প্রধানত অন্তর্ভুক্ত:
প্রাচুর্যতা সম্পর্কে Nagata এর ক্লাসিক্যাল কাজ SHGH অনুমান সম্পর্কিত সাহিত্য মডিউলাই স্পেস তত্ত্বের ভিত্তি সাহিত্য (Gieseker, Maruyama ইত্যাদি) টপোলজিক্যাল বৈশিষ্ট্য গবেষণা সম্পর্কিত কাজ (O'Grady, Göttsche ইত্যাদি)