2025-11-30T20:55:19.605676

The automorphism groups of a maximal function field with the second largest genus and its algebraic geometry codes

Hu, Ma
In this manuscript, we investigate the automorphism group of a maximal function field with the second largest possible genus over finite field of even characteristic, which is called the Abdón--Torres function field. As an application, we determine the automorphism groups of one-point algebraic geometry codes from such a maximal function field. It turns out that the automorphism groups of one-point algebraic geometry codes agree with that of the Abdón--Torres function field except for the trivial cases. Moreover, we provide a family of maximal function fields with explicit defining equations via considering fixed subfields with respect to some subgroups of automorphism group of the Abdón--Torres function field.
academic

একটি সর্বোচ্চ ফাংশন ফিল্ডের অটোমরফিজম গ্রুপ যার দ্বিতীয় বৃহত্তম জীনাস এবং এর বীজগণিত জ্যামিতি কোড

মৌলিক তথ্য

  • পেপার আইডি: 2511.21292
  • শিরোনাম: একটি সর্বোচ্চ ফাংশন ফিল্ডের অটোমরফিজম গ্রুপ যার দ্বিতীয় বৃহত্তম জীনাস এবং এর বীজগণিত জ্যামিতি কোড
  • লেখক: জুক্সবিন হু, লিমিং মা
  • প্রতিষ্ঠান: চীন বিজ্ঞান ও প্রযুক্তি বিশ্ববিদ্যালয় (গণিত বিজ্ঞান একাডেমি)
  • শ্রেণীবিভাগ: math.NT (সংখ্যা তত্ত্ব)
  • জমা দেওয়ার সময়: ২০২৫ সালের নভেম্বর ২৬
  • পেপার লিঙ্ক: https://arxiv.org/abs/2511.21292v1

সারসংক্ষেপ

এই পেপারটি সমান বৈশিষ্ট্যের সীমিত ক্ষেত্রে দ্বিতীয় বৃহত্তম জীনাস সহ সর্বোচ্চ ফাংশন ফিল্ডের (অ্যাবডন-টরেস ফাংশন ফিল্ড নামে পরিচিত) অটোমরফিজম গ্রুপ অধ্যয়ন করে। একটি প্রয়োগ হিসাবে, লেখকরা এই সর্বোচ্চ ফাংশন ফিল্ড থেকে নির্মিত একক-বিন্দু বীজগণিত জ্যামিতি কোডের অটোমরফিজম গ্রুপ নির্ধারণ করেছেন। গবেষণা দেখায় যে, তুচ্ছ ক্ষেত্র ছাড়া, একক-বিন্দু বীজগণিত জ্যামিতি কোডের অটোমরফিজম গ্রুপ অ্যাবডন-টরেস ফাংশন ফিল্ডের অটোমরফিজম গ্রুপের সাথে সামঞ্জস্যপূর্ণ। অধিকন্তু, অ্যাবডন-টরেস ফাংশন ফিল্ডের অটোমরফিজম গ্রুপের নির্দিষ্ট উপগ্রুপের অপরিবর্তনীয় ক্ষেত্র বিবেচনা করে, লেখকরা স্পষ্ট সংজ্ঞায়িত সমীকরণ সহ সর্বোচ্চ ফাংশন ফিল্ডের একটি পরিবার প্রদান করেছেন।

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

১. গবেষণা সমস্যা

এই পেপারটি যে মূল সমস্যাগুলি সমাধান করতে চায় তা হল:

  • অ্যাবডন-টরেস ফাংশন ফিল্ড Y₂ এর সম্পূর্ণ অটোমরফিজম গ্রুপ Aut(Y₂/F_{q²}) নির্ধারণ করা
  • এই ফাংশন ফিল্ড থেকে নির্মিত একক-বিন্দু বীজগণিত জ্যামিতি কোডের অটোমরফিজম গ্রুপ গণনা করা
  • অটোমরফিজম গ্রুপের অপরিবর্তনীয় ক্ষেত্রের মাধ্যমে নতুন সর্বোচ্চ ফাংশন ফিল্ড পরিবার তৈরি করা

২. সমস্যার গুরুত্ব

  • তাত্ত্বিক তাৎপর্য: সর্বোচ্চ ফাংশন ফিল্ড বীজগণিত জ্যামিতি এবং সংখ্যা তত্ত্বে গুরুত্বপূর্ণ গবেষণা বস্তু, এবং এর অটোমরফিজম গ্রুপের কাঠামো ফাংশন ফিল্ডের জ্যামিতিক বৈশিষ্ট্যের সাথে সরাসরি সম্পর্কিত
  • কোডিং তত্ত্ব প্রয়োগ: বীজগণিত জ্যামিতি কোডের অটোমরফিজম গ্রুপ কোডের কাঠামো বোঝা এবং ডিকোডিং অ্যালগরিদম ডিজাইনের জন্য গুরুত্বপূর্ণ
  • নির্মাণ তাৎপর্য: গ্যালোয়া উপক্ষেত্রের মাধ্যমে নতুন সর্বোচ্চ ফাংশন ফিল্ড পদ্ধতিগতভাবে তৈরি করা যায়

৩. বিদ্যমান কাজের সীমাবদ্ধতা

সাহিত্য পর্যালোচনা অনুযায়ী:

  • হার্মিটিয়ান ফাংশন ফিল্ড (সর্বোচ্চ জীনাস g₁ = (q-1)q/2) এর অটোমরফিজম গ্রুপ সম্পূর্ণভাবে নির্ধারিত হয়েছে, যা প্রজেক্টিভ ইউনিটারি গ্রুপ PGU₃(F_{q²}) এর সাথে সমরূপ
  • তৃতীয় বৃহত্তম জীনাস এর সর্বোচ্চ ফাংশন ফিল্ড X₃, Y₃, Z₃ এর অটোমরফিজম গ্রুপ সম্প্রতি গবেষণায় নির্ধারিত হয়েছে
  • দ্বিতীয় বৃহত্তম জীনাস এর ক্ষেত্রে:
    • বিজোড় বৈশিষ্ট্য ক্ষেত্রে (X₂) অটোমরফিজম গ্রুপ পরিচিত
    • সমান বৈশিষ্ট্য ক্ষেত্রে (Y₂, অর্থাৎ অ্যাবডন-টরেস ফাংশন ফিল্ড) অটোমরফিজম গ্রুপ বিদ্যমান সাহিত্যে স্পষ্টভাবে নির্ধারিত হয়নি

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

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

মূল অবদান

এই পেপারের প্রধান অবদানগুলি অন্তর্ভুক্ত করে:

  1. অ্যাবডন-টরেস ফাংশন ফিল্ড Y₂ এর অটোমরফিজম গ্রুপ কাঠামো সম্পূর্ণভাবে নির্ধারণ করা (প্রমেয় 3.7, প্রস্তাব 3.8):
    • প্রমাণ করা হয়েছে যে Aut(Y₂/F_{q²}) = G(P∞) (অসীম বিন্দুর স্থিতিশীল উপসেট)
    • অটোমরফিজম গ্রুপের স্পষ্ট বর্ণনা প্রদান করা হয়েছে: আধা-সরাসরি পণ্য কাঠামো C ⋉ N, যেখানে |Aut(Y₂/F_{q²})| = (q+1)q³/2
    • অটোমরফিজম দ্বারা প্যারামিটারাইজ করা হয় {σ(x) = ax+b, σ(y) = y+(abᵍ)²x²+abᵍx+c}, যেখানে aᵍ⁺¹=1, bᵍ⁺¹=h(c)
  2. সমস্ত যুক্তিসঙ্গত বিন্দুর ওয়েয়ারস্ট্রাস অর্ধ-গ্রুপ গণনা করা (প্রস্তাব 3.5):
    • H(P∞) = ⟨q/2, q+1⟩
    • H(P_{a,b}) = ⟨q-1, q, q+1⟩ (অন্যান্য যুক্তিসঙ্গত বিন্দু)
  3. একক-বিন্দু বীজগণিত জ্যামিতি কোড C_m = C(D, mP∞) এর অটোমরফিজম গ্রুপ সম্পূর্ণভাবে নির্ধারণ করা (প্রমেয় 5.2, 5.8):
    • q+1 ≤ m ≤ (q³+q²-4q-2)/2 এর জন্য: Aut(C_m) ≅ Aut(Y₂/F_{q²})
    • অন্যান্য m মানের জন্য: সম্পূর্ণ শ্রেণীবিভাগ প্রদান করা হয়েছে (প্রতিসম গ্রুপ এবং অ্যাফাইন গ্রুপ ক্ষেত্র সহ)
  4. স্পষ্ট সংজ্ঞায়িত সমীকরণ সহ সর্বোচ্চ ফাংশন ফিল্ডের একটি পরিবার তৈরি করা (প্রমেয় 4.6, অনুসিদ্ধান্ত 4.7-4.8):
    • অটোমরফিজম গ্রুপ উপসেটের অপরিবর্তনীয় ক্ষেত্রের মাধ্যমে পদ্ধতিগতভাবে নির্মাণ করা
    • জীনাসের স্পষ্ট সূত্র প্রদান করা হয়েছে
  5. শাখাবিন্যাস আচরণ এবং পরিবাহক গণনা করা (প্রস্তাব 4.1-4.2):
    • Y₂/Y₂^A সম্প্রসারণে সম্পূর্ণ শাখাবিন্যাস কাঠামো নির্ধারণ করা
    • পরিবাহক Cond(Y₂/F_{q²}(x)) = (q+2)·∞ গণনা করা

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

কাজের সংজ্ঞা

প্রধান কাজ: সমান বৈশিষ্ট্য সীমিত ক্ষেত্র F_{q²} (q=2ⁿ≥4) এ অ্যাবডন-টরেস ফাংশন ফিল্ডের অটোমরফিজম গ্রুপ নির্ধারণ করা, যেখানে ফাংশন ফিল্ড সংজ্ঞায়িত করা হয়: Y2=Fq2(x,y),h(y)=xq+1Y_2 = \mathbb{F}_{q^2}(x,y), \quad h(y) = x^{q+1} যেখানে h(y)=yq/2+yq/4+⋯+y2+yh(y) = y^{q/2} + y^{q/4} + \cdots + y^2 + y

মূল বৈশিষ্ট্য:

  • জীনাস: g(Y₂) = q(q-2)/4 (দ্বিতীয় বৃহত্তম সম্ভাব্য জীনাস)
  • যুক্তিসঙ্গত বিন্দু সংখ্যা: N(Y₂) = 1 + q³/2
  • Y₂ হার্মিটিয়ান ফাংশন ফিল্ডের গ্যালোয়া উপক্ষেত্র

মূল পদ্ধতি স্থাপত্য

১. ওয়েয়ারস্ট্রাস অর্ধ-গ্রুপ বিশ্লেষণ (অংশ 3.1-3.2)

কৌশল: প্রধান বিভাজক গণনার মাধ্যমে অতি-বিন্দু সংখ্যা নির্ধারণ করা

মূল গণনা:

  • P∞ এর জন্য:
    • (x) = -q/2·P∞ + Σ_{b∈Ω} P_{0,b}
    • (y) = (q+1)(P_{0,0} - P∞)
    • অতএব H(P∞) = ⟨q/2, q+1⟩
  • অন্যান্য যুক্তিসঙ্গত বিন্দু P_{a,b} এর জন্য (লেম্মা 3.3-3.4):
    • স্পর্শ রেখা ফাংশন তৈরি করা t_{a,b} = (y-b) - aᵍ(x-a)
    • প্রমাণ করা ν_{P_{a,b}}(t_{a,b}) = 2
    • অ্যাবেলিয়ান বৈচিত্র্য তত্ত্ব ব্যবহার করে f_{a,b} ফাংশন বিদ্যমান প্রমাণ করা যা (f_{a,b}) = (q+1)(P_{a,b} - P∞) সন্তুষ্ট করে
    • H(P_{a,b}) = ⟨q-1, q, q+1⟩ উদ্ভব করা

২. স্থিতিশীল উপসেট নির্ধারণ (অংশ 3.1, প্রস্তাব 3.1)

পদ্ধতি: রিম্যান-রোচ স্থানের ক্রিয়া বিশ্লেষণের মাধ্যমে

σ ∈ G(P∞) এর জন্য, σ(L(nP∞)) = L(nP∞) আছে, বিশেষত:

  • L(q/2·P∞) = F_{q²} ⊕ F_{q²}x
  • L((q+1)P∞) = F_{q²} ⊕ F_{q²}x ⊕ F_{q²}x² ⊕ F_{q²}y

σ(x) = ax+b, σ(y) = Ey+Ax²+Bx+c সেট করুন

মূল উদ্ভব (কঠোর ত্রিভুজ অসমতা ব্যবহার করে): (σ(x))^{q+1} = h(σ(y)) প্রসারিত করা এবং বিচ্ছিন্ন মূল্যায়ন তুলনা করা থেকে, আমরা পাই:

  • aᵍ⁺¹ = Eᵍ/² = 1, অতএব E = 1
  • A = (abᵍ)²
  • B = abᵍ
  • bᵍ⁺¹ = h(c)

৩. কক্ষপথ বিশ্লেষণ (অংশ 3.3, প্রস্তাব 3.6)

মূল লেম্মা: O(P∞) = {P∞} প্রমাণ করা

প্রমাণ চিন্তাধারা:

  • ধরুন σ বিদ্যমান যেমন σ(P∞) = P_{a,b}
  • (x-a) এর প্রধান বিভাজক থেকে জানা যায় q/2 ∈ H(P_{a,b})
  • কিন্তু এটি প্রস্তাব 3.5 এর সাথে বিরোধী (H(P_{a,b}) = ⟨q-1, q, q+1⟩ q/2 অন্তর্ভুক্ত করে না)

সিদ্ধান্ত (প্রমেয় 3.7): কক্ষপথ-স্থিতিশীল উপসেট প্রমেয় দ্বারা, ∣Aut(Y2/Fq2)∣=∣G(P∞)∣⋅∣O(P∞)∣=∣G(P∞)∣|Aut(Y_2/\mathbb{F}_{q^2})| = |G(P_\infty)| \cdot |O(P_\infty)| = |G(P_\infty)|

৪. বীজগণিত জ্যামিতি কোড অটোমরফিজম গ্রুপ (অংশ 5)

কৌশল সমন্বয়:

  1. ছোট m মানের জন্য: সরাসরি উৎপাদক ম্যাট্রিক্স বিশ্লেষণ
  2. মধ্যম m মানের জন্য: ওয়েসেমায়ার লেম্মা প্রয়োগ (লেম্মা 5.1)
  3. বড় m মানের জন্য: নির্মাণমূলক প্রমাণ অটোমরফিজম উন্নয়ন

মূল প্রযুক্তি (প্রমেয় 5.8 এর প্রমাণ):

(ক) x স্থানাঙ্কের অটোমরফিজমে উন্নয়ন:

  • যুক্তিসঙ্গত AG কোড তৈরি করা: C(R, ⌊2m/q⌋(x)∞^{F_{q²}(x)}) = C(R', ⌊2m/q⌋(x)∞^{F_{q²}(x)})
  • লেম্মা 5.6 প্রয়োগ করে অ্যাফাইন রূপান্তর σ(x) = ax+b পাওয়া

(খ) y স্থানাঙ্কে উন্নয়ন:

  • ফাংশন z = y·∏_{i∈I}(x-x_i) ∈ L(mP∞) বিবেচনা করা
  • w = Σ_^{q/2-1} w_k(x)y^k হিসাবে লেখা
  • শূন্য বিন্দু বিশ্লেষণের মাধ্যমে w_k(x) এর ফর্ম নির্ধারণ করা
  • লেম্মা 5.7 ব্যবহার করে সহগ সম্পর্ক নির্ধারণ করা

(গ) ফাংশন ফিল্ড সমীকরণ যাচাই:

  • h(y'_{j,ℓ}) = (x'_j)^{q+1} থেকে পরামিতি সম্পর্ক উদ্ভব করা
  • লেম্মা 5.7(2) প্রয়োগ করে চূড়ান্ত ফর্ম নির্ধারণ করা

প্রযুক্তিগত উদ্ভাবন বিন্দু

  1. ওয়েয়ারস্ট্রাস অর্ধ-গ্রুপের নির্ভুল গণনা:
    • P_{a,b} (a≠0) ক্ষেত্রে, স্পর্শ রেখা ফাংশন এবং অ্যাবেলিয়ান বৈচিত্র্য তত্ত্ব সৃজনশীলভাবে ব্যবহার করা
    • সমস্ত অতি-বিন্দু সংখ্যা সরাসরি নির্মাণের জটিল গণনা এড়ানো
  2. কক্ষপথ অনন্যতার সরল প্রমাণ:
    • ওয়েয়ারস্ট্রাস অর্ধ-গ্রুপের পার্থক্যের মাধ্যমে অন্যান্য সম্ভাবনা সরাসরি বাদ দেওয়া
    • ঐতিহ্যবাহী শাখাবিন্যাস বিশ্লেষণের চেয়ে আরও সরাসরি
  3. বীজগণিত জ্যামিতি কোড অটোমরফিজমের নির্মাণমূলক উন্নয়ন:
    • ধাপে ধাপে উন্নয়ন কৌশল (প্রথমে x তারপর y)
    • সূচক সেটের অন্তর্ভুক্তি-বর্জন নীতি ব্যবহার করে পরামিতি সামঞ্জস্য নিশ্চিত করা
  4. অপরিবর্তনীয় ক্ষেত্রের পদ্ধতিগত নির্মাণ:
    • F₂T মডিউল কাঠামো ব্যবহার করে আর্টিন-শ্রেয়ার সম্প্রসারণ একীভূত করা
    • কেবল অস্তিত্ব ফলাফলের পরিবর্তে স্পষ্ট সংজ্ঞায়িত সমীকরণ প্রদান করা

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

নোট: এই পেপারটি বিশুদ্ধ গণিত তাত্ত্বিক গবেষণা, সংখ্যাগত পরীক্ষা জড়িত নয়। সমস্ত ফলাফল কঠোর গণিত প্রমাণ।

তাত্ত্বিক যাচাইকরণ কাঠামো

  1. পরামিতি পরিসীমা: q = 2ⁿ ≥ 4 (সমান বৈশিষ্ট্য সীমিত ক্ষেত্র)
  2. যাচাইকরণ বস্তু:
    • ফাংশন ফিল্ড Y₂ এবং এর যুক্তিসঙ্গত বিন্দু (1+q³/2 টি)
    • বীজগণিত জ্যামিতি কোড C_m সমস্ত m ∈ ℕ এর জন্য
    • অপরিবর্তনীয় ক্ষেত্র পরিবার
  3. যাচাইকরণ পদ্ধতি:
    • প্রধান বিভাজক গণনা
    • রিম্যান-রোচ প্রমেয় প্রয়োগ
    • হুরউইটজ জীনাস সূত্র যাচাইকরণ
    • কক্ষপথ-স্থিতিশীল উপসেট প্রমেয়

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

প্রধান প্রমেয় ফলাফল

প্রমেয় 3.7 (অটোমরফিজম গ্রুপ কাঠামো)

ফলাফল: Aut(Y₂/F_{q²}) = G(P∞), নিম্নলিখিত অটোমরফিজম দ্বারা প্যারামিটারাইজ করা:

\sigma(x) = ax + b \\ \sigma(y) = y + (ab^q)^2x^2 + ab^qx + c \end{cases}$$ যেখানে a,b,c ∈ F_{q²}, aᵍ⁺¹=1, bᵍ⁺¹=h(c) **গ্রুপ কাঠামো** (প্রস্তাব 3.8): Aut(Y₂/F_{q²}) = C ⋉ N - C: চক্রীয় গ্রুপ, ক্রম q+1 - N: প্রাথমিক 2-গ্রুপ, ক্রম q³/2 - মোট ক্রম: |Aut(Y₂/F_{q²})| = (q+1)q³/2 **গুরুত্ব**: এই গ্রুপ জীনাস g(Y₂)=q(q-2)/4 এর সাপেক্ষে অত্যন্ত বড়: $$|Aut(Y_2/\mathbb{F}_{q^2})| = \frac{q^3(q+1)}{2} > 8g(Y_2)^2$$ #### প্রমেয় 5.2 এবং 5.8 (বীজগণিত জ্যামিতি কোড অটোমরফিজম গ্রুপ) **সম্পূর্ণ শ্রেণীবিভাগ**: | m এর পরিসীমা | Aut(C_m) | |---------|----------| | 0 ≤ m ≤ q/2-1 | S_{q³/2} (প্রতিসম গ্রুপ) | | q/2 ≤ m ≤ q | Aff₁(F_{q²}) ⋊ (S_{q/2})^{q²} | | **q+1 ≤ m ≤ q³/4-1** | **Aut(Y₂/F_{q²})** | | ... | (মধ্যম পরিসীমা বাদ দেওয়া) | | (q³+q²-4q-4)/2 ≤ m ≤ (q³+q²-3q-4)/2 | Aff₁(F_{q²}) ⋊ (S_{q/2})^{q²} | | m ≥ (q³+q²-3q-2)/2 | S_{q³/2} | **মূল আবিষ্কার**: - "বেশিরভাগ" m মানের জন্য (q+1 থেকে (q³+q²-4q-2)/2), কোডের অটোমরফিজম গ্রুপ ঠিক ফাংশন ফিল্ডের অটোমরফিজম গ্রুপ - এই পরিসীমা প্রায় q³/4 টি ক্রমাগত পূর্ণসংখ্যা কভার করে, জীনাসের চেয়ে অনেক বড় #### প্রমেয় 4.6 (অপরিবর্তনীয় ক্ষেত্র পরিবার) **নির্মাণ**: m|(q+1) এবং p(T)|H(T) এর জন্য, অপরিবর্তনীয় ক্ষেত্র $$Y_2^G = \mathbb{F}_{q^2}(w,z), \quad w^{(q+1)/m} = z^{H(T)/p(T)}$$ সর্বোচ্চ ফাংশন ফিল্ড, জীনাস সহ: $$g(Y_2^G) = \frac{q+1-m}{2m}(2^{n-1-d}-1)$$ যেখানে d = deg(p(T)) **বিশেষ ক্ষেত্র** (অনুসিদ্ধান্ত 4.7): m=q+1 সময় অন্য অ্যাবডন-টরেস টাইপ ফাংশন ফিল্ড পাওয়া যায়: $$z^{q/2} + z^{q/4} + \cdots + z = w$$ ### মূল প্রযুক্তিগত ফলাফল #### প্রস্তাব 3.5 (ওয়েয়ারস্ট্রাস অর্ধ-গ্রুপ) | যুক্তিসঙ্গত বিন্দু | ওয়েয়ারস্ট্রাস অর্ধ-গ্রুপ | জীনাস | |--------|----------------|------| | P∞ | ⟨q/2, q+1⟩ | q(q-2)/4 | | P_{a,b} (অন্যান্য) | ⟨q-1, q, q+1⟩ | q(q-2)/4 | **তাৎপর্য**: বিভিন্ন যুক্তিসঙ্গত বিন্দুর ওয়েয়ারস্ট্রাস অর্ধ-গ্রুপ ভিন্ন, এটি কক্ষপথ অনন্যতা প্রমাণের মূল চাবিকাঠি #### প্রস্তাব 4.1 (শাখাবিন্যাস কাঠামো) **ফলাফল**: সম্প্রসারণ Y₂/Y₂^A তে: - R∞ সম্পূর্ণ শাখাবিন্যাস: e(P∞|R∞) = q³(q+1)/2, d(P∞|R∞) = (q⁴+2q³+q²-2q-4)/2 - অনন্য অন্য শাখাবিন্যাস বিন্দু R: পরিচালিত শাখাবিন্যাস, e(P|R) = q+1, d(P|R) = q - অন্যান্য সমস্ত সীমিত যুক্তিসঙ্গত বিন্দু R এর উপরে বিন্দুর সাথে সংযুক্ত ### কেস বিশ্লেষণ **উদাহরণ 1** (q=4 ক্ষেত্রে): - ফাংশন ফিল্ড: y² + y = x⁵, F₁₆ এ সংজ্ঞায়িত - জীনাস: g = 4×2/4 = 2 - যুক্তিসঙ্গত বিন্দু সংখ্যা: 1 + 4³/2 = 1 + 32 = 33 - অটোমরফিজম গ্রুপ ক্রম: |Aut| = 5×32 = 160 - ওয়েয়ারস্ট্রাস অর্ধ-গ্রুপ: - H(P∞) = ⟨2, 5⟩ = {0, 2, 4, 5, 6, 7, 8, ...} (2 টি ফাঁক) - H(P_{a,b}) = ⟨3, 4, 5⟩ (2 টি ফাঁক) **উদাহরণ 2** (কোড পরামিতি): q=8 এর জন্য (F₆₄ এ): - কোড দৈর্ঘ্য: n = q³/2 = 256 - m=20 এর জন্য ([q+1, q³/4-1]=[9, 127] পরিসীমায়): - মাত্রা: k = dim L(20P∞) = 20+1-g = 21-32 = সামঞ্জস্য প্রয়োজন (প্রকৃত রিম্যান-রোচ ব্যবহার) - **অটোমরফিজম গ্রুপ**: Aut(C₂₀) ≅ Aut(Y₂/F₆₄), ক্রম 9×256=2304 ## সম্পর্কিত কাজ ### সর্বোচ্চ ফাংশন ফিল্ড গবেষণার বিবর্তন 1. **ভিত্তি তত্ত্ব** (1980s-1990s): - **ইহারা (1981)**: জীনাস উপরের সীমা g₁ = (q-1)q/2 প্রমাণ করা - **রুক-স্টিচটেনোথ (1994)**: হার্মিটিয়ান ফাংশন ফিল্ডের অনন্যতা - **ফুহরম্যান-টরেস (1996), ফুহরম্যান-গার্সিয়া-টরেস (1997)**: দ্বিতীয় বৃহত্তম জীনাসের অস্তিত্ব 2. **দ্বিতীয় বৃহত্তম জীনাসের নির্ধারণ**: - **জিং-স্টিচটেনোথ (1995)**: অনুমান এবং আংশিক প্রমাণ - **ফুহরম্যান-টরেস (1996)**: সম্পূর্ণ প্রমাণ g₂ = ⌊(q-1)²/4⌋ - **ফুহরম্যান-গার্সিয়া-টরেস (1997)**: বিজোড় বৈশিষ্ট্য ক্ষেত্রে X₂ নির্মাণ - **অ্যাবডন-টরেস (1999)**: সমান বৈশিষ্ট্য ক্ষেত্রে Y₂ নির্মাণ (এই পেপারের গবেষণা বিষয়) 3. **তৃতীয় বৃহত্তম জীনাস**: - **কর্চমারোস-টরেস (2002)**: g₃ = ⌊(q²-q+4)/6⌋ নির্ধারণ এবং তিনটি ফাংশন ফিল্ড - **বিলেন-মন্টানুচি-ভিসিনো (2023-2025)**: X₃, Y₃, Z₃ এর অটোমরফিজম গ্রুপ 4. **হার্মিটিয়ান ফাংশন ফিল্ডের উপক্ষেত্র**: - **গার্সিয়া-স্টিচটেনোথ-জিং (2000)**: উপক্ষেত্র কাঠামো পদ্ধতিগত অধ্যয়ন - **কসিডেন্টে-কর্চমারোস-টরেস (1999, 2000)**: কভারিং তত্ত্ব - **মা-জিং (2019), মন্টানুচি-জিনি (2020)**: জড়িত অটোমরফিজম সম্পর্কিত উপক্ষেত্র ### অটোমরফিজম গ্রুপের গবেষণা 1. **হার্মিটিয়ান কোড**: - **জিং (1995)**: একক-বিন্দু হার্মিটিয়ান কোডের অটোমরফিজম গ্রুপ নির্ধারণ - **কর্চমারোস-স্পেজিয়ালি (2017)**: বিশেষ PGL₂(F_q) ক্ষেত্র 2. **সাধারণ কাঠামো**: - **স্টিচটেনোথ (1990)**: যুক্তিসঙ্গত AG কোডের অটোমরফিজম গ্রুপ - **ওয়েসেমায়ার (1998)**: সমতল বক্ররেখার পদ্ধতিগত পদ্ধতি (লেম্মা 5.1) - **জয়নার-কসির (2006)**: খুব পর্যাপ্ত বিভাজকের উন্নয়ন তত্ত্ব 3. **নির্দিষ্ট বক্ররেখা**: - **কন্ডো-কাতাগিরি-ওগিহারা (2001)**: y^q+y=x^{qr+1} টাইপ বক্ররেখা - **গিউলিয়েটি-কর্চমারোস (2008)**: ডেলিগনে-লুসজটিগ কোড ### এই পেপারের অবস্থান **বিদ্যমান কাজের সাথে সম্পর্ক**: - Y₂ অটোমরফিজম গ্রুপ গবেষণায় ফাঁক পূরণ করা (X₂ ইতিমধ্যে হিরশফেল্ড-কর্চমারোস-টরেস 2008 বইতে পরিচালিত) - জিং (1995) এর হার্মিটিয়ান কোড সম্পর্কিত ফলাফল দ্বিতীয় বৃহত্তম জীনাস ক্ষেত্রে সম্প্রসারণ করা - গার্সিয়া-স্টিচটেনোথ-জিং (2000) এর অপরিবর্তনীয় ক্ষেত্র পদ্ধতি প্রয়োগ করা **সম্পর্কিত কাজের তুলনায় সুবিধা**: 1. **সম্পূর্ণতা**: সম্পূর্ণভাবে অটোমরফিজম গ্রুপ নির্ধারণ, আংশিক ফলাফল নয় 2. **স্পষ্টতা**: অপরিবর্তনীয় ক্ষেত্রের স্পষ্ট সমীকরণ প্রদান (প্রমেয় 4.6), কেবল অস্তিত্ব নয় 3. **প্রয়োগ গভীরতা**: সমস্ত m মানের কোড অটোমরফিজম গ্রুপের সম্পূর্ণ শ্রেণীবিভাগ (প্রমেয় 5.2, 5.8) 4. **প্রযুক্তিগত উদ্ভাবন**: ওয়েয়ারস্ট্রাস অর্ধ-গ্রুপ গণনা এবং কোড অটোমরফিজম উন্নয়নের নতুন পদ্ধতি ## সিদ্ধান্ত এবং আলোচনা ### প্রধান সিদ্ধান্ত 1. **অটোমরফিজম গ্রুপের সম্পূর্ণ চিত্র**: - Aut(Y₂/F_{q²}) আধা-সরাসরি পণ্য C ⋉ N, ক্রম (q+1)q³/2 - জীনাসের সাপেক্ষে অত্যন্ত বড় (>8g²), Y₂ এর সমৃদ্ধ প্রতিসাম্য নির্দেশ করে 2. **বীজগণিত জ্যামিতি কোডের অটোমরফিজম**: - "বেশিরভাগ" পরামিতি m এর জন্য, কোডের অটোমরফিজম গ্রুপ ঠিক ফাংশন ফিল্ডের অটোমরফিজম গ্রুপ - কেবল চরম ক্ষেত্রে (m খুব ছোট বা বড়) বৃহত্তর প্রতিসাম্য দেখা যায় 3. **সর্বোচ্চ ফাংশন ফিল্ডের নির্মাণ**: - অপরিবর্তনীয় ক্ষেত্রের মাধ্যমে সর্বোচ্চ ফাংশন ফিল্ডের একটি পরিবার পদ্ধতিগতভাবে নির্মাণ করা - জীনাসের স্পষ্ট সূত্র প্রদান করা ### সীমাবদ্ধতা 1. **বৈশিষ্ট্য সীমাবদ্ধতা**: - পদ্ধতি কেবল সমান বৈশিষ্ট্যে প্রযোজ্য (q=2ⁿ) - বিজোড় বৈশিষ্ট্যের X₂ ক্ষেত্র অন্য সাহিত্যে পরিচালিত, কিন্তু প্রযুক্তি সম্পূর্ণ ভিন্ন 2. **কোড পরামিতির ফাঁক**: - প্রমেয় 5.8 q+1 ≤ m ≤ (q³-3q-2)/2 প্রয়োজন - (q³-3q-2)/2 < m < (q³+2q²-4q-4)/4 মধ্যম পরিসীমার জন্য অতিরিক্ত প্রযুক্তি প্রয়োজন - যদিও প্রমেয় 5.2 সমস্ত m কভার করে, কিছু পরিসীমার প্রমাণ অত্যন্ত প্রযুক্তিগত 3. **অপরিবর্তনীয় ক্ষেত্রের সম্পূর্ণতা**: - প্রমেয় 4.6 কেবল নির্দিষ্ট ফর্মের উপসেট কভার করে (C_m × N_p) - অন্যান্য উপসেটের অপরিবর্তনীয় ক্ষেত্র ভিন্ন প্রযুক্তি প্রয়োজন হতে পারে 4. **গণনামূলক জটিলতা**: - ওয়েয়ারস্ট্রাস অর্ধ-গ্রুপ গণনা জটিল বিভাজক তত্ত্ব জড়িত - সাধারণ যুক্তিসঙ্গত বিন্দু P_{a,b} এর জন্য, অ্যাবেলিয়ান বৈচিত্র্য তত্ত্ব প্রয়োজন (প্রস্তাব 5.4) ### ভবিষ্যত দিকনির্দেশনা 1. **অন্যান্য সর্বোচ্চ ফাংশন ফিল্ডে সম্প্রসারণ**: - তৃতীয় বৃহত্তম জীনাস ফাংশন ফিল্ডের AG কোড অটোমরফিজম গ্রুপ - গিউলিয়েটি-কর্চমারোস ফাংশন ফিল্ড (অ-হার্মিটিয়ান উপক্ষেত্র) ক্ষেত্র 2. **ডিকোডিং অ্যালগরিদম**: - বড় অটোমরফিজম গ্রুপ ব্যবহার করে permutation ডিকোডিং অ্যালগরিদম ডিজাইন করা - automorphism-invariant উপকোডের গবেষণা 3. **অপরিবর্তনীয় ক্ষেত্রের সম্পূর্ণ শ্রেণীবিভাগ**: - সমস্ত গ্যালোয়া উপক্ষেত্রের জীনাস বর্ণালী নির্ধারণ করা - গার্সিয়া-স্টিচটেনোথ-জিং (2000) এর হার্মিটিয়ান ফাংশন ফিল্ডের কাজের মতো 4. **কোয়ান্টাম কোড প্রয়োগ**: - Y₂ থেকে CSS নির্মাণ ব্যবহার করে কোয়ান্টাম ত্রুটি সংশোধন কোড তৈরি করা - অটোমরফিজম গ্রুপ সম্ভবত ত্রুটিসহিষ্ণু কোয়ান্টাম গেট প্রদান করতে পারে 5. **গণনামূলক দিক**: - ওয়েয়ারস্ট্রাস অর্ধ-গ্রুপ গণনার অ্যালগরিদম বিকাশ করা - অপরিবর্তনীয় ক্ষেত্রের প্রতীকী গণনা বাস্তবায়ন করা ## গভীর মূল্যায়ন ### সুবিধা 1. **তাত্ত্বিক সম্পূর্ণতা**: - একটি গুরুত্বপূর্ণ ফাংশন ফিল্ডের অটোমরফিজম গ্রুপ সম্পূর্ণভাবে নির্ধারণ করা, সাহিত্যের ফাঁক পূরণ করা - প্রমাণ কঠোর, যুক্তি স্পষ্ট, ওয়েয়ারস্ট্রাস অর্ধ-গ্রুপ থেকে স্থিতিশীল উপসেট থেকে কক্ষপথ থেকে সম্পূর্ণ গ্রুপ, স্তরে স্তরে অগ্রসর 2. **প্রযুক্তিগত উদ্ভাবন**: - **স্পর্শ রেখা পদ্ধতি** (লেম্মা 3.3): ν_{P_{a,b}}(t_{a,b})=2 এর প্রমাণ অত্যন্ত চতুর - **অন্তর্ভুক্তি-বর্জন যুক্তি** (প্রমেয় 5.8 প্রমাণ): পরামিতি সামঞ্জস্য নিশ্চিত করার প্রযুক্তি অত্যন্ত মার্জিত - **মডিউল কাঠামো প্রয়োগ** (4.2 অংশ): F₂[T] মডিউলের দৃষ্টিভঙ্গি আর্টিন-শ্রেয়ার সম্প্রসারণ একীভূত করে 3. **ফলাফলের স্পষ্টতা**: - কেবল অস্তিত্ব নয়, সমস্ত পরামিতির স্পষ্ট সূত্র প্রদান করা - প্রমেয় 4.6 এর অপরিবর্তনীয় ক্ষেত্র স্পষ্ট সংজ্ঞায়িত সমীকরণ আছে, পরবর্তী গবেষণা এবং প্রয়োগের জন্য সুবিধাজনক 4. **প্রয়োগ মূল্য**: - বীজগণিত জ্যামিতি কোডের অটোমরফিজম গ্রুপ ফলাফল (প্রমেয় 5.2, 5.8) কোডিং তত্ত্বের জন্য ব্যবহারিক অর্থ আছে - নির্দিষ্ট প্রতিসাম্য সহ কোড ডিজাইনের জন্য ব্যবহার করা যায় 5. **লেখার গুণমান**: - কাঠামো স্পষ্ট: প্রাথমিক জ্ঞান → অটোমরফিজম গ্রুপ → অপরিবর্তনীয় ক্ষেত্র → প্রয়োগ - নোটেশন সামঞ্জস্যপূর্ণ, প্রমাণ বিস্তারিত - সম্পর্কিত কাজ পর্যালোচনা ব্যাপক ### অপূর্ণতা 1. **প্রযুক্তিগত প্রবেশদ্বার উচ্চতা**: - গভীর বীজগণিত জ্যামিতি এবং সংখ্যা তত্ত্ব পটভূমি প্রয়োজন - কিছু প্রমাণ (যেমন প্রমেয় 5.8) অত্যন্ত প্রযুক্তিগত, বিস্তারিত অনেক 2. **সাধারণতা সীমিত**: - কেবল সমান বৈশিষ্ট্য ক্ষেত্র পরিচালনা করা - অপরিবর্তনীয় ক্ষেত্র নির্মাণ নির্দিষ্ট উপসেট ধরনে সীমিত 3. **সংখ্যাগত উদাহরণের অভাব**: - সাধারণ তত্ত্ব প্রদান করা হলেও, নির্দিষ্ট ছোট পরামিতি (যেমন q=4, 8) এর সম্পূর্ণ গণনা উদাহরণ অনুপস্থিত - এটি পাঠকদের বিমূর্ত ফলাফল আরও ভালভাবে বুঝতে সাহায্য করবে 4. **পরিচিত ফলাফলের সাথে তুলনার অভাব**: - Y₂ এবং X₂ (বিজোড় বৈশিষ্ট্য ক্ষেত্র) এর অটোমরফিজম গ্রুপ কাঠামো পার্থক্য স্পষ্টভাবে তুলনা করা হয়নি - হার্মিটিয়ান ফাংশন ফিল্ড অটোমরফিজম গ্রুপের সাথে বিস্তারিত তুলনা অনুপস্থিত 5. **প্রয়োগ আলোচনা অপর্যাপ্ত গভীরতা**: - বীজগণিত জ্যামিতি কোডের প্রকৃত ডিকোডিং অ্যালগরিদম জড়িত নয় - অপরিবর্তনীয় ক্ষেত্রের নির্দিষ্ট প্রয়োগ দৃশ্য আরও বিস্তারিত হতে পারে ### প্রভাব মূল্যায়ন 1. **ক্ষেত্রে অবদান**: - **তাত্ত্বিক অবদান**: সর্বোচ্চ ফাংশন ফিল্ড অটোমরফিজম গ্রুপ গবেষণার একটি গুরুত্বপূর্ণ পর্যায় সম্পূর্ণ করা - **পদ্ধতি অবদান**: ওয়েয়ারস্ট্রাস অর্ধ-গ্রুপ গণনা এবং কোড অটোমরফিজম উন্নয়নের প্রযুক্তি অন্যান্য বক্ররেখায় ব্যবহার করা যায় - **প্রত্যাশিত উদ্ধৃতি**: Y₂ সম্পর্কিত গবেষণার মান সংদর্ভ হিসাবে 2. **ব্যবহারিক মূল্য**: - **কোডিং তত্ত্ব**: দীর্ঘ কোড দৈর্ঘ্য এবং ভাল পরামিতি সহ কোড তৈরির তাত্ত্বিক ভিত্তি প্রদান করা - **ক্রিপ্টোগ্রাফি**: সর্বোচ্চ ফাংশন ফিল্ড পেয়ারিং-ভিত্তিক ক্রিপ্টোগ্রাফিতে প্রয়োগ আছে - **গণনামূলক বীজগণিত জ্যামিতি**: অপরিবর্তনীয় ক্ষেত্রের স্পষ্ট সমীকরণ কম্পিউটার বাস্তবায়নের জন্য সুবিধাজনক 3. **পুনরুৎপাদনযোগ্যতা**: - **তাত্ত্বিক ফলাফল**: সমস্ত প্রমাণ বিস্তারিত, যাচাইযোগ্য - **গণনামূলক দিক**: যদিও সংখ্যাগত পরীক্ষা নেই, তত্ত্ব যথেষ্ট স্পষ্ট, ছোট পরামিতি ক্ষেত্রে কম্পিউটার বীজগণিত সিস্টেম (যেমন Magma, SageMath) দ্বারা যাচাই করা যায় 4. **পরবর্তী গবেষণা দিকনির্দেশনা**: - অন্যান্য সর্বোচ্চ ফাংশন ফিল্ডের অনুরূপ গবেষণা অনুপ্রাণিত করা - AG কোডের অটোমরফিজম গ্রুপ গবেষণার জন্য নতুন প্রযুক্তি প্রদান করা - অপরিবর্তনীয় ক্ষেত্র নির্মাণ অন্যান্য ফাংশন ফিল্ডে সম্প্রসারণ করা যায় ### প্রযোজ্য দৃশ্য 1. **তাত্ত্বিক গবেষণা**: - বীজগণিত জ্যামিতি কোড তত্ত্ব - সীমিত ক্ষেত্রে পাটিগণিত জ্যামিতি - গ্যালোয়া কভারিং তত্ত্ব 2. **কোডিং তত্ত্ব প্রয়োগ**: - দীর্ঘ কোড দৈর্ঘ্য এবং ভাল পরামিতি সহ যোগাযোগ ব্যবস্থা প্রয়োজন - প্রতিসাম্য ব্যবহার করে ডিকোডিং অ্যালগরিদম ডিজাইন করা - কোয়ান্টাম ত্রুটি সংশোধন কোড নির্মাণ 3. **ক্রিপ্টোগ্রাফি**: - পেয়ারিং-ভিত্তিক ক্রিপ্টোগ্রাফি প্রোটোকল - কোড-ভিত্তিক ক্রিপ্টোগ্রাফি - পোস্ট-কোয়ান্টাম ক্রিপ্টোগ্রাফি প্রার্থী 4. **শিক্ষা**: - বীজগণিত জ্যামিতি কোড কোর্সের উন্নত কেস - অটোমরফিজম গ্রুপ তত্ত্বের প্রয়োগ উদাহরণ ## প্রধান সংদর্ভ (মূল সংদর্ভ) এই পেপারটি 44 টি সংদর্ভ উদ্ধৃত করে, নিম্নলিখিত সবচেয়ে গুরুত্বপূর্ণ: 1. **[1] অ্যাবডন-টরেস (1999)**: এই পেপারের গবেষণা বিষয় Y₂ এর মূল নির্মাণ 2. **[38] স্টিচটেনোথ (2009)**: বীজগণিত ফাংশন ফিল্ড এবং কোডের মান পাঠ্যপুস্তক 3. **[35] রুক-স্টিচটেনোথ (1994)**: হার্মিটিয়ান ফাংশন ফিল্ডের অনন্যতা চিত্র 4. **[16] গার্সিয়া-স্টিচটেনোথ-জিং (2000)**: হার্মিটিয়ান ফাংশন ফিল্ড উপক্ষেত্রের পদ্ধতিগত অধ্যয়ন, এই পেপারের পদ্ধতির গুরুত্বপূর্ণ সংদর্ভ 5. **[41] ওয়েসেমায়ার (1998)**: AG কোড অটোমরফিজম গ্রুপের সাধারণ কাঠামো (লেম্মা 5.1) 6. **[43] জিং (1995)**: হার্মিটিয়ান কোড অটোমরফিজম গ্রুপ, এই পেপারের সম্প্রসারণের বিষয় --- **সামগ্রিক মূল্যায়ন**: এটি একটি উচ্চ মানের সংখ্যা তত্ত্ব/বীজগণিত জ্যামিতি পেপার, যা অ্যাবডন-টরেস ফাংশন ফিল্ড অটোমরফিজম গ্রুপ এই খোলা সমস্যা সম্পূর্ণভাবে সমাধান করে, সাহিত্যের ফাঁক পূরণ করে, প্রযুক্তি দৃঢ়, ফলাফল স্পষ্ট, কোডিং তত্ত্বের জন্য ব্যবহারিক প্রয়োগ মূল্য আছে। যদিও প্রযুক্তিগত প্রবেশদ্বার উচ্চতা এবং সমান বৈশিষ্ট্য ক্ষেত্রে সীমিত, তবে এর গবেষণা পরিসরে অত্যন্ত পুঙ্খানুপুঙ্খভাবে সম্পন্ন। বীজগণিত জ্যামিতি কোড, সর্বোচ্চ ফাংশন ফিল্ড বা অটোমরফিজম গ্রুপ গবেষণায় নিয়োজিত পণ্ডিতদের জন্য সুপারিশ করা হয়।