স্বয়ংক্রিয় গোষ্ঠী ক্রম $21$ সহ নকল প্রজেক্টিভ প্লেনের সমীকরণ সম্পর্কে

মৌলিক তথ্য

• পেপার আইডি: 2109.02070
• শিরোনাম: স্বয়ংক্রিয় গোষ্ঠী ক্রম $21$ সহ নকল প্রজেক্টিভ প্লেনের সমীকরণ সম্পর্কে
• লেখক: লেভ বোরিসভ (রাটগার্স বিশ্ববিদ্যালয়)
• শ্রেণীবিভাগ: math.AG (বীজগণিত জ্যামিতি)
• প্রকাশিত জার্নাল: Épijournal de Géométrie Algébrique, ভলিউম 7 (2023), নিবন্ধ সংখ্যা 17
• পেপার লিঙ্ক: https://arxiv.org/abs/2109.02070

সারসংক্ষেপ

এই পেপারটি দ্বিগুণ এবং ত্রিগুণ ফাইবার সহ ডলগাচেভ উপবৃত্তাকার পৃষ্ঠগুলি অধ্যয়ন করে, 21টি স্বয়ংক্রিয়তা সহ নকল প্রজেক্টিভ প্লেনের দুটি নতুন জোড়ার স্পষ্ট সমীকরণ খুঁজে পায়, যা এই স্বয়ংক্রিয় গোষ্ঠী সহ নকল প্রজেক্টিভ প্লেনের স্পষ্ট সমীকরণ খোঁজার কাজ সম্পূর্ণ করে। এটি বিশেষভাবে জে. কিউম দ্বারা আবিষ্কৃত নকল প্রজেক্টিভ প্লেনকে অন্তর্ভুক্ত করে।

গবেষণা পটভূমি এবং প্রেরণা

সমস্যার পটভূমি

1. নকল প্রজেক্টিভ প্লেন তত্ত্বের উৎপত্তি: নকল প্রজেক্টিভ প্লেন তত্ত্ব ডি. মামফোর্ডের বিখ্যাত উদাহরণ থেকে শুরু হয়েছিল, যিনি একটি সাধারণ ধরনের পৃষ্ঠ তৈরি করেছিলেন যার হজ সংখ্যা সাধারণ প্রজেক্টিভ প্লেন $\mathbb{CP}^2$ এর সমান, কিন্তু নির্মাণ পদ্ধতি স্পষ্ট সমীকরণ প্রদান করেনি।
2. শ্রেণীবিভাগ ফলাফল: একাধিক পণ্ডিতের কাজের মাধ্যমে, ডি. কার্টরাইট এবং টি. স্টেগার সমস্ত নকল প্রজেক্টিভ প্লেনের শ্রেণীবিভাগ সম্পূর্ণ করেছেন, ঠিক 50 জোড়া সংযুক্ত এই ধরনের পৃষ্ঠ নির্ধারণ করেছেন, যা 28টি শ্রেণীতে বিভক্ত। এই পৃষ্ঠগুলি জটিল 2-মাত্রিক বল $B^2 = \{(z_1, z_2), |z_1|^2 + |z_2|^2 < 1\}$ কে নির্দিষ্ট বিচ্ছিন্ন পাটিগণিত উপগোষ্ঠীর মুক্ত ভাগফল হিসাবে শ্রেণীবদ্ধ করা হয়।
3. স্পষ্ট সমীকরণের চ্যালেঞ্জ: সম্পূর্ণ শ্রেণীবিভাগ সত্ত্বেও, এই শ্রেণীবিভাগ বহুপদী সমীকরণের দিকে পরিচালিত করে না, কারণ এই গোষ্ঠীগুলির স্পষ্ট স্বয়ংক্রিয় ফর্ম তৈরি করার কোনো পরিচিত পদ্ধতি নেই।

গবেষণার প্রেরণা

1. স্পষ্টকরণের প্রয়োজন: সম্প্রতি, লেখক একাধিক সহযোগিতামূলক প্রকল্পে অংশগ্রহণ করেছেন, যার লক্ষ্য নকল প্রজেক্টিভ প্লেন এবং সম্পর্কিত পৃষ্ঠগুলি সংজ্ঞায়িত করে এমন স্পষ্ট বহুপদী সমীকরণ আবিষ্কার করা।
2. স্বয়ংক্রিয় গোষ্ঠীর ভূমিকা: অ-তুচ্ছ স্বয়ংক্রিয়তা গোষ্ঠী সহ নকল প্রজেক্টিভ প্লেনগুলি অন্বেষণের জন্য একটি পথ প্রদান করে, কারণ প্রতিসাম্য গণনা সরল করতে পারে।
3. শ্রেণীবিভাগ সম্পূর্ণ করা: কার্টরাইট-স্টেগার শ্রেণীবিভাগ অনুযায়ী, নকল প্রজেক্টিভ প্লেনের স্বয়ংক্রিয় গোষ্ঠীর সর্বোচ্চ ক্রম হল 21, এই আকারের স্বয়ংক্রিয় গোষ্ঠী সহ তিন জোড়া সংযুক্ত নকল প্রজেক্টিভ প্লেন রয়েছে, এই পেপারটি অবশিষ্ট দুই জোড়ার স্পষ্ট সমীকরণ খুঁজে পাওয়ার লক্ষ্য রাখে।

মূল অবদান

1. দুটি নতুন নকল প্রজেক্টিভ প্লেন নির্মাণ: 21টি স্বয়ংক্রিয়তা সহ দুটি নকল প্রজেক্টিভ প্লেনের স্পষ্ট সমীকরণ খুঁজে পায়
2. 21-ক্রম স্বয়ংক্রিয় গোষ্ঠীর শ্রেণীবিভাগ সম্পূর্ণ করা: জে. কিউম দ্বারা আবিষ্কৃত নকল প্রজেক্টিভ প্লেন সহ, 21-ক্রম স্বয়ংক্রিয় গোষ্ঠী সহ সমস্ত নকল প্রজেক্টিভ প্লেনের স্পষ্ট নির্মাণ সম্পূর্ণ করে
3. নতুন নির্মাণ পদ্ধতি বিকাশ: ডলগাচেভ উপবৃত্তাকার পৃষ্ঠগুলি অধ্যয়ন করে একটি পদ্ধতিগত নির্মাণ কাঠামো প্রতিষ্ঠা করে
4. নির্দিষ্ট বহুপদী সমীকরণ প্রদান করা: $\mathbb{CP}^9$ এ 84টি ত্রিঘাত সমীকরণ দ্বারা সংজ্ঞায়িত নকল প্রজেক্টিভ প্লেনের স্পষ্ট প্রতিনিধিত্ব প্রদান করে

পদ্ধতির বিস্তারিত ব্যাখ্যা

কাজের সংজ্ঞা

21-ক্রম স্বয়ংক্রিয় গোষ্ঠী সহ নকল প্রজেক্টিভ প্লেনের স্পষ্ট বহুপদী সমীকরণ খোঁজা, বিশেষত:

• $(a = 7, p = 2, \{7\}, D_3^{27})$: কিউম নির্মাণের পৃষ্ঠ
• $(C_{20}, p = 2, \emptyset, D_3^{27})$: তৃতীয় পৃষ্ঠ

মূল নির্মাণ কাঠামো

1. জ্যামিতিক সেটআপ

21-ক্রম স্বয়ংক্রিয় গোষ্ঠীর সমস্ত তিনটি ক্ষেত্রে, $P^2_{fake}/C_7$ এর ভাগফলের ন্যূনতম বিশ্লেষণাত্মক $Y$ বিশেষ জ্যামিতিক কাঠামো রয়েছে:

• তিনটি বিলক্ষণ বিন্দু ধরনের $\frac{1}{3}(1,7)$, অবশিষ্ট $C_3$ দ্বারা কাজ করে স্থানান্তরিত
• ন্যূনতম বিশ্লেষণ তিনটি বিচ্ছিন্ন শৃঙ্খল রয়েছে: $S - B - C$, $S_1 - B_1 - C_1$, $S_2 - B_2 - C_2$
• $Y$ $\mathbb{CP}^1$ এ ফাইবার করে, দুটি বহুগুণ ফাইবার, তিনটি নোডাল ফাইবার এবং একটি $I_9$ ধরনের ফাইবার সহ

2. রিং কাঠামো বিশ্লেষণ

রিং $R = \bigoplus_{a,b \geq 0} H^0(Y, \mathcal{O}(aF + bS))$ বিবেচনা করুন, এর গ্রেডেড মাত্রা গণনা করুন: $\sum_{a,b \geq 0} \dim H^0(Y, \mathcal{O}(aF + bS)) s^b t^a = \frac{1+2st^4 +2st^5 + s^2t^9}{(1-t^2)(1-t^3)(1-s)(1-st^3)}$

এটি নির্দেশ করে যে $R$ রিং $\mathbb{C}[u_0, u_1, v_1, v_2]$ এর উপর 6-ক্রম গ্রেডেড মুক্ত মডিউল কাঠামো রয়েছে।

নির্মাণ পদক্ষেপ

ধাপ 1: নয়-প্যারামিটার পরিবার নির্মাণ

যুক্তিসঙ্গত 6-বিভাগ $S$ সহ $(2,3)$-ডলগাচেভ পৃষ্ঠের নয়-প্যারামিটার পরিবার নির্মাণ করুন। সাধারণ সদস্য দ্বিগুণ এবং ত্রিগুণ ফাইবার ছাড়াও 12টি ভিন্ন বিলক্ষণ নোডাল ফাইবার রয়েছে। সমীকরণটি ওজন $3 \times (2,8)$, $3 \times (2,9)$ এবং $3 \times (2,10)$ এর নয়টি দ্বিঘাত দ্বারা সংজ্ঞায়িত।

ধাপ 2: প্যারামিটার হ্রাস

অতিরিক্ত শর্ত সহ সাত-প্যারামিটার, পাঁচ-প্যারামিটার এবং দুই-প্যারামিটার উপপরিবার নির্মাণ করুন:

• সাত-প্যারামিটার: বিশেষ ফাইবার একটি লাইন ধারণ করে
• পাঁচ-প্যারামিটার: বিশেষ ফাইবার দুটি বিচ্ছিন্ন লাইন ধারণ করে
• দুই-প্যারামিটার: দুটি বিচ্ছিন্ন লাইনে নির্দিষ্ট নোড রয়েছে

ধাপ 3: সীমিত ক্ষেত্র হ্রাস

সীমিত ক্ষেত্রে প্যারামিটার পছন্দ খোঁজার মাধ্যমে, পৃষ্ঠ $Y_0$ এর সীমিত ক্ষেত্র হ্রাস অনুসন্ধান করুন, ফলাফল পৃষ্ঠ দুটি বিশেষ বিন্দুতে নোডের চেয়ে আরও গুরুতর বিলক্ষণতা রয়েছে কিনা তা পরীক্ষা করুন। সবচেয়ে ছোট সফল প্রাইম হল 79।

ধাপ 4: বীজগণিত সংখ্যায় উত্তোলন

মড 79 এর শক্তিতে শর্তগুলি ক্রমান্বয়ে সমাধান করে প্যারামিটারগুলি $p$-adic সংখ্যায় উত্তোলন করুন, তারপর বীজগণিত সংখ্যা হিসাবে চিহ্নিত করুন, 12-ডিগ্রি সংখ্যা ক্ষেত্রে $Y_0$ নির্মাণ করুন, অবশেষে $\mathbb{Q}(\sqrt{-7})$ এ বাস্তবায়ন করুন।

ধাপ 5: জ্যামিতিক বিশ্লেষণ এবং সাত-গুণ কভার

$Y_0$ এর জ্যামিতিক বৈশিষ্ট্য অধ্যয়ন করুন, বক্ররেখা $S_1$ এবং $S_2$ এবং $C_3$ এর দ্বিপরিমাণিক ক্রিয়া খুঁজে পান। যুক্তিসঙ্গত ফাংশনের সাত-গুণ মূল যোগ করে $P^2_{fake}$ নির্মাণ করুন, এর দ্বিপরিমাণিক ক্যানোনিক্যাল রৈখিক সিস্টেম গণনা করুন।

ধাপ 6: সনাক্তকরণ এবং যাচাইকরণ

মোড় লাইন বান্ডেল খোঁজার মাধ্যমে নির্দিষ্ট নকল প্রজেক্টিভ প্লেনগুলি সনাক্ত করুন, যাচাই করুন যে এটি সত্যিই $(C_{20}, p = 2, \emptyset, D_3^{27})$।

পরীক্ষামূলক সেটআপ

গণনা সরঞ্জাম

• প্রধান সফটওয়্যার: ম্যাথেমেটিকা (বেশিরভাগ গণনা)
• সহায়ক সফটওয়্যার: ম্যাগমা, ম্যাকলে2, পারি/জিপি, সি ভাষা
• গণনা সম্পদ: রাটগার্স বিশ্ববিদ্যালয়ের অ্যামারেল ক্লাস্টার

মূল গণনা চ্যালেঞ্জ

1. বৃহৎ-স্কেল সমীকরণ সিস্টেম সমাধান: 1600 এর বেশি সমীকরণ, 92টি অজানা সংমিশ্রণ সম্পর্ক সমাধান
2. সীমিত ক্ষেত্র অনুসন্ধান: $\mathbb{F}_p^5$ এ বর্বর অনুসন্ধান, সমান্তরাল গণনা প্রয়োজন
3. প্রতীকী গণনা যাচাইকরণ: 84টি ত্রিঘাত বহুপদের মসৃণতা পরীক্ষা

পরীক্ষামূলক ফলাফল

প্রধান অর্জন

1. প্রথম নকল প্রজেক্টিভ প্লেন: $(C_{20}, p = 2, \emptyset, D_3^{27})$

• সংজ্ঞায়িত ডোমেইন: $\mathbb{Q}(\sqrt{-7})$
• এম্বেডিং: $\mathbb{CP}^9$ এ 84টি ত্রিঘাত সমীকরণ দ্বারা সংজ্ঞায়িত
• যাচাইকরণ: অ-হ্রাসকৃত $C_3$-অপরিবর্তনীয় উপাদান খোঁজার মাধ্যমে কমপক্ষে 21টি অ-তুচ্ছ 2-মোড় উপাদান নিশ্চিত করা

2. দ্বিতীয় নকল প্রজেক্টিভ প্লেন: কিউমের নির্মাণ

• সনাক্তকরণ: বর্জন পদ্ধতির মাধ্যমে $(a = 7, p = 2, \{7\}, D_3^{27})$ হিসাবে নিশ্চিত করা
• নির্মাণ: দ্বিতীয় পাঁচ-প্যারামিটার পরিবার ব্যবহার করে, বর্বর অনুসন্ধান পদ্ধতির মাধ্যমে
• যাচাইকরণ: একই যাচাইকরণ প্রক্রিয়া এটি নকল প্রজেক্টিভ প্লেন নিশ্চিত করে

প্রযুক্তিগত অর্জন

1. গণনা জটিলতা: অত্যন্ত জটিল প্রতীকী গণনা সফলভাবে পরিচালনা করা, কিছু মধ্যবর্তী সূত্র শত শত মেগাবাইট দীর্ঘ
2. সংখ্যাগত নির্ভুলতা: $p$-adic উত্তোলন এবং জালি হ্রাস অ্যালগরিদমের মাধ্যমে উচ্চ নির্ভুলতা বীজগণিত সংখ্যা সনাক্তকরণ অর্জন করা
3. যাচাইকরণ সম্পূর্ণতা: একাধিক স্বাধীন পদ্ধতির মাধ্যমে নির্মাণের সঠিকতা যাচাই করা

সম্পর্কিত কাজ

ঐতিহাসিক উন্নয়ন

1. মামফোর্ড (1979): প্রথম নকল প্রজেক্টিভ প্লেন উদাহরণ
2. কার্টরাইট-স্টেগার (2011): সম্পূর্ণ শ্রেণীবিভাগ তত্ত্ব
3. বোরিসভ এবং অন্যান্যদের সিরিজ কাজ: স্পষ্ট সমীকরণের পদ্ধতিগত গবেষণা

এই পেপারের অবস্থান

• 21-ক্রম স্বয়ংক্রিয় গোষ্ঠীর ক্ষেত্রে স্পষ্ট নির্মাণ সম্পূর্ণ করে
• মামফোর্ড নকল প্রজেক্টিভ প্লেনের সমীকরণ খোঁজার ভিত্তি স্থাপন করে
• ডলগাচেভ পৃষ্ঠের মাধ্যমে নির্মাণের একটি সাধারণ পদ্ধতি বিকাশ করে

সিদ্ধান্ত এবং আলোচনা

প্রধান সিদ্ধান্ত

1. 21-ক্রম স্বয়ংক্রিয় গোষ্ঠী সহ সমস্ত তিন জোড়া নকল প্রজেক্টিভ প্লেনের স্পষ্ট সমীকরণ সফলভাবে খুঁজে পায়
2. ডলগাচেভ উপবৃত্তাকার পৃষ্ঠের উপর ভিত্তি করে একটি পদ্ধতিগত নির্মাণ পদ্ধতি বিকাশ করে
3. বীজগণিত জ্যামিতিতে স্পষ্ট নির্মাণে সীমিত ক্ষেত্র পদ্ধতির কার্যকারিতা প্রমাণ করে

সীমাবদ্ধতা

1. গণনা জটিলতা: পদ্ধতি বৃহৎ পরিমাণে প্রতীকী গণনা এবং সংখ্যাগত অনুসন্ধানের উপর নির্ভর করে
2. সাধারণীকরণ কঠিনতা: অন্যান্য স্বয়ংক্রিয় গোষ্ঠীর ক্ষেত্রে, পদ্ধতির সরাসরি সাধারণীকরণ স্পষ্ট নয়
3. তাত্ত্বিক বোঝাপড়া: এই নির্দিষ্ট নির্মাণ কেন কার্যকর তার গভীর তাত্ত্বিক ব্যাখ্যার অভাব

ভবিষ্যত দিকনির্দেশনা

1. মামফোর্ড প্লেন: কিউম প্লেনের জ্ঞান ব্যবহার করে মামফোর্ড নকল প্রজেক্টিভ প্লেনের স্পষ্ট সমীকরণ খোঁজা
2. পদ্ধতি অপ্টিমাইজেশন: আরও সহজ ভেরিয়েবল খোঁজা যাতে ডলগাচেভ পৃষ্ঠের সমীকরণ সরল হয়
3. সাধারণ তত্ত্ব: আরও সাধারণ স্পষ্ট নির্মাণ তাত্ত্বিক কাঠামো বিকাশ করা

গভীর মূল্যায়ন

শক্তি

1. প্রযুক্তিগত উদ্ভাবন: বীজগণিত জ্যামিতি তত্ত্ব, গণনা বীজগণিত এবং সংখ্যাগত পদ্ধতি চতুরভাবে একত্রিত করা
2. সম্পূর্ণতা: একটি গুরুত্বপূর্ণ শ্রেণীবিভাগ সমস্যার স্পষ্ট নির্মাণ সম্পূর্ণ করা
3. পদ্ধতিগত অবদান: অনুরূপ সমস্যা পরিচালনার জন্য একটি পদ্ধতিগত পদ্ধতি প্রদান করা
4. গণনা কৌশল: আধুনিক গণনা সরঞ্জামের বিশুদ্ধ গণিত গবেষণায় শক্তিশালী প্রয়োগ প্রদর্শন করা

অপূর্ণতা

1. তাত্ত্বিক গভীরতা: আরও বেশি গণনা কৌশলের প্রদর্শন, গভীর তাত্ত্বিক অন্তর্দৃষ্টির অভাব
2. পাঠযোগ্যতা: প্রচুর প্রযুক্তিগত বিবরণ পেপারটিকে বোঝা কঠিন করে তোলে
3. সাধারণীকরণযোগ্যতা: পদ্ধতির সাধারণীকরণের ডিগ্রি সীমিত

প্রভাব

1. একাডেমিক মূল্য: নকল প্রজেক্টিভ প্লেন তত্ত্বের জন্য গুরুত্বপূর্ণ স্পষ্ট উদাহরণ প্রদান করা
2. গণনা জ্যামিতি: গণনা বীজগণিত জ্যামিতির উন্নয়ন অগ্রসর করা
3. পদ্ধতিবিদ্যা: অনুরূপ স্পষ্ট নির্মাণ সমস্যার জন্য একটি মডেল প্রদান করা

প্রযোজ্য পরিস্থিতি

এই পদ্ধতি বিশেষভাবে উপযুক্ত:

1. সমৃদ্ধ প্রতিসাম্য সহ বীজগণিত বৈচিত্র্যের স্পষ্ট নির্মাণ
2. তাত্ত্বিক বিশ্লেষণ এবং বৃহৎ-স্কেল গণনা একত্রিত করার প্রয়োজনীয় জ্যামিতিক সমস্যা
3. নকল প্রজেক্টিভ প্লেন এবং সম্পর্কিত পৃষ্ঠের গবেষণা

উপসংহার

এই পেপারটি সূক্ষ্ম তাত্ত্বিক বিশ্লেষণ এবং বৃহৎ-স্কেল গণনার মাধ্যমে, 21-ক্রম স্বয়ংক্রিয় গোষ্ঠী সহ নকল প্রজেক্টিভ প্লেনের স্পষ্ট সমীকরণের নির্মাণ সফলভাবে সম্পূর্ণ করে, এই গুরুত্বপূর্ণ বীজগণিত জ্যামিতি সমস্যার সম্পূর্ণ সমাধান প্রদান করে। যদিও পদ্ধতি জটিল, তবে এর প্রযুক্তিগত উদ্ভাবন এবং সম্পূর্ণতা এটিকে এই ক্ষেত্রের একটি গুরুত্বপূর্ণ অবদান করে তোলে।