2025-11-20T23:55:15.319591

Abstract Regular Polytopes of Finite Irreducible Coxeter Groups

Chen, Rowley
Here, for $W$ the Coxeter group $\mathrm{D}_n$ where $n > 4$, it is proved that the maximal rank of an abstract regular polytope for $W$ is $n - 1$ if $n$ is even and $n$ if $n$ is odd. Further it is shown that $W$ has abstract regular polytopes of rank $r$ for all $r$ such that $3 \leq r \leq n - 1$, if $n$ is even, and $3 \leq r \leq n$, if $n$ is odd. The possible ranks of abstract regular polytopes for the exceptional finite irreducible Coxeter groups are also determined.
academic

সীমিত অপরিবর্তনীয় Coxeter গ্রুপের বিমূর্ত নিয়মিত পলিটোপ

মৌলিক তথ্য

  • পেপার আইডি: 2501.01288
  • শিরোনাম: Abstract Regular Polytopes of Finite Irreducible Coxeter Groups
  • লেখক: Malcolm Hoong Wai Chen, Peter Rowley
  • শ্রেণীবিভাগ: math.GR (গ্রুপ তত্ত্ব), math.CO (সমন্বয়বিদ্যা)
  • প্রকাশনার সময়: ২০২৫ সালের ১ জানুয়ারি
  • পেপার লিঙ্ক: https://arxiv.org/abs/2501.01288

সারসংক্ষেপ

এই পেপারটি সীমিত অপরিবর্তনীয় Coxeter গ্রুপের বিমূর্ত নিয়মিত পলিটোপ অধ্যয়ন করে। Coxeter গ্রুপ DnD_n (n>4n > 4) এর জন্য, প্রমাণ করা হয়েছে যে এর বিমূর্ত নিয়মিত পলিটোপের সর্বোচ্চ র‍্যাঙ্ক nn সমান হলে n−1n-1, এবং nn বিজোড় হলে nn। আরও প্রমাণ করা হয়েছে যে WW সমস্ত র‍্যাঙ্ক rr এর বিমূর্ত নিয়মিত পলিটোপ রাখে, যেখানে nn সমান হলে 3≤r≤n−13 \leq r \leq n-1, এবং nn বিজোড় হলে 3≤r≤n3 \leq r \leq n। একই সাথে ব্যতিক্রমী সীমিত অপরিবর্তনীয় Coxeter গ্রুপের বিমূর্ত নিয়মিত পলিটোপের সম্ভাব্য র‍্যাঙ্ক নির্ধারণ করা হয়েছে।

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

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

  1. Coxeter গ্রুপ এবং নিয়মিত পলিটোপের সংযোগ: সীমিত Coxeter গ্রুপ গণিত সাহিত্যে বিভিন্ন আকারে প্রদর্শিত হয়—অর্ধ-সরল লাই বীজগণিতের Weyl গ্রুপ হিসাবে, প্রতিফলন গ্রুপ হিসাবে এবং নিয়মিত পলিটোপের স্বয়ংক্রিয়তা গ্রুপ হিসাবে। এই পেপারটি শেষ দিকটিতে মনোনিবেশ করে।
  2. বিমূর্ত নিয়মিত পলিটোপ তত্ত্ব: McMullen এবং Schulte এর কাজ অনুযায়ী, বিমূর্ত নিয়মিত পলিটোপ অধ্যয়ন করা গ্রুপের C-স্ট্রিং (C-strings) অধ্যয়নের সমতুল্য।
  3. পরিচিত ফলাফলের সীমাবদ্ধতা:
    • AnA_n প্রকার এবং BnB_n প্রকার Coxeter গ্রুপের জন্য, তাদের সর্বোচ্চ র‍্যাঙ্ক পরিচিত
    • DnD_n প্রকার গ্রুপের জন্য (যার Dynkin গ্রাফ স্ট্রিং প্রকার নয়), সম্পর্কিত ফলাফল অনুপস্থিত
    • ব্যতিক্রমী Coxeter গ্রুপের ক্ষেত্রে পদ্ধতিগত গবেষণার প্রয়োজন

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

এই সমস্যার গুরুত্ব প্রতিফলিত হয়:

  1. তাত্ত্বিক সম্পূর্ণতা: Coxeter গ্রুপ শ্রেণীবিভাগে DnD_n প্রকারের ফাঁক পূরণ করা
  2. জ্যামিতিক অর্থ: বিমূর্ত নিয়মিত পলিটোপ ক্লাসিক্যাল নিয়মিত পলিটোপের সাধারণীকরণ
  3. গ্রুপ তত্ত্ব প্রয়োগ: গ্রুপের উৎপাদক সেট অধ্যয়নের জন্য নতুন দৃষ্টিভঙ্গি প্রদান করা

মূল অবদান

  1. DnD_n প্রকার Coxeter গ্রুপের সর্বোচ্চ C-স্ট্রিং র‍্যাঙ্ক নির্ধারণ:
    • nn সমান হলে: rmax⁡(Dn)=n−1r_{\max}(D_n) = n-1
    • nn বিজোড় হলে: rmax⁡(Dn)=nr_{\max}(D_n) = n
  2. মধ্যবর্তী র‍্যাঙ্কের অস্তিত্ব প্রমাণ: সমস্ত মধ্যবর্তী র‍্যাঙ্ক rr (3≤r≤rmax⁡3 \leq r \leq r_{\max}) এর C-স্ট্রিং নির্মাণ করা
  3. ব্যতিক্রমী Coxeter গ্রুপের শ্রেণীবিভাগ সম্পূর্ণ করা: H3,H4,F4,E6,E7,E8H_3, H_4, F_4, E_6, E_7, E_8 এর সর্বোচ্চ C-স্ট্রিং র‍্যাঙ্ক নির্ধারণ করা
  4. স্পষ্ট নির্মাণ প্রদান: নির্দিষ্ট C-স্ট্রিং নির্মাণ পদ্ধতি এবং Schläfli প্রকার প্রদান করা

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

কাজের সংজ্ঞা

সীমিত অপরিবর্তনীয় Coxeter গ্রুপ WW এর C-স্ট্রিং অধ্যয়ন করা, যা নিম্নলিখিত শর্ত পূরণকারী সংযোগ সেট S={s1,…,sr}S = \{s_1, \ldots, s_r\}:

  1. উৎপাদনশীলতা: SS গ্রুপ WW উৎপন্ন করে
  2. ছেদ সম্পত্তি: সমস্ত J,K⊆IJ,K \subseteq I এর জন্য, WJ∩WK=WJ∩KW_J \cap W_K = W_{J \cap K}
  3. স্ট্রিং সম্পত্তি: যখন ∣i−j∣≥2|i-j| \geq 2, sisj=sjsis_i s_j = s_j s_i

মূল প্রযুক্তিগত পদ্ধতি

1. এম্বেডিং কৌশল

লেমা 2.1 ব্যবহার করে DnD_n কে Sym(2n)\text{Sym}(2n) এ এম্বেড করা: β0=(1,n+1)(2,n+2),βi=(i,i+1)(n+i,n+i+1)\beta_0 = (1, n+1)(2, n+2), \quad \beta_i = (i, i+1)(n+i, n+i+1)

2. স্বাধীন সেট তত্ত্ব

Whiston উপপাদ্য প্রয়োগ করা: প্রতিসম গ্রুপ Sym(m)\text{Sym}(m) এর সর্বোচ্চ স্বাধীন সেটের আকার m−1m-1, উপরের সীমা প্রমাণের জন্য ব্যবহৃত।

3. গঠনমূলক পদ্ধতি

বিজোড় ক্ষেত্র (nn বিজোড়): উৎপাদক সংজ্ঞায়িত করা: t1=∏j=2n(j,n+j),ti=(i−1,i)(n+i−1,n+i) for 2≤i≤nt_1 = \prod_{j=2}^n (j, n+j), \quad t_i = (i-1, i)(n+i-1, n+i) \text{ for } 2 \leq i \leq n

সমান ক্ষেত্র (nn সমান): বিভিন্ন র‍্যাঙ্কের C-স্ট্রিং আলাদাভাবে নির্মাণ করা:

  • র‍্যাঙ্ক 3: মৌলিক ক্ষেত্রের বিশেষ নির্মাণ
  • র‍্যাঙ্ক rr (4≤r≤n−14 \leq r \leq n-1): প্রতিসম গ্রুপের C-স্ট্রিং সম্প্রসারণের উপর ভিত্তি করে

4. যাচাইকরণ কৌশল

লেমা 2.6 এবং 2.7 ব্যবহার করে ছেদ সম্পত্তি যাচাই করা:

  • লেমা 2.6: সীমানা শর্ত পরীক্ষা করে C-গ্রুপ সম্পত্তি যাচাই করা
  • লেমা 2.7: আরও সাধারণ ক্ষেত্রে আবেগ দ্বারা যাচাই করা

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

  1. বিজোড়-সমান বিশ্লেষণ: DnD_n এর সর্বোচ্চ র‍্যাঙ্ক nn এর বিজোড়তার উপর নির্ভর করে এমন আবিষ্কার, যা একটি গুরুত্বপূর্ণ কাঠামোগত আবিষ্কার
  2. এম্বেডিং এবং প্রজেকশন সমন্বয়: Dn=S⋅ND_n = S \cdot N এর কাঠামো কৌশলগতভাবে ব্যবহার করা, যেখানে S≅Sym(n)S \cong \text{Sym}(n), NN হল চিহ্ন পরিবর্তন উপগ্রুপ
  3. র‍্যাঙ্ক হ্রাস উপপাদ্য প্রয়োগ: Brooksbank-Leemans উপপাদ্য ব্যবহার করে সর্বোচ্চ র‍্যাঙ্ক C-স্ট্রিং থেকে সমস্ত মধ্যবর্তী র‍্যাঙ্ক নির্মাণ করা

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

গণনামূলক যাচাইকরণ

ব্যতিক্রমী গ্রুপের ফলাফল যাচাই করতে Magma গণনামূলক বীজগণিত সিস্টেম ব্যবহার করা:

গ্রুপমোটর‍্যাঙ্ক 3র‍্যাঙ্ক 4র‍্যাঙ্ক 5র‍্যাঙ্ক 6র‍্যাঙ্ক 7র‍্যাঙ্ক ≥8
H3H_38(1)8(1)00000
H4H_459(6)45(2)14(4)0000
F4F_45(1)3(0)2(1)0000
E6E_6147(18)87(12)50(4)10(2)000
E7E_73662(10)1577(10)1525(0)465(0)95(0)00
E8E_811689(142)6746(117)3584(22)986(2)310(0)63(1)0

বিঃদ্রঃ: বন্ধনীতে স্ব-দ্বৈত পলিটোপের সংখ্যা।

যাচাইকরণ পদ্ধতি

  1. নির্মাণ যাচাইকরণ: নির্মিত C-স্ট্রিংয়ের সম্পত্তি স্পষ্ট গণনার মাধ্যমে যাচাই করা
  2. কম্পিউটার সহায়তা: ব্যতিক্রমী গ্রুপের সম্পূর্ণ গণনার জন্য Magma ব্যবহার করা
  3. তাত্ত্বিক প্রমাণ: গ্রুপ তত্ত্ব এবং সমন্বয় জ্যামিতি পদ্ধতি সমন্বয় করা

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

প্রধান উপপাদ্য

উপপাদ্য 1.1: ধরুন WW হল Coxeter গ্রুপ DnD_n, n≥5n \geq 5।

  • যদি nn সমান হয়, তাহলে rmax⁡(W)=n−1r_{\max}(W) = n-1
  • যদি nn বিজোড় হয়, তাহলে rmax⁡(W)=nr_{\max}(W) = n

উপপাদ্য 1.2: DnD_n সমস্ত র‍্যাঙ্ক rr এর C-স্ট্রিং রাখে, যেখানে 3≤r≤rmax⁡(W)3 \leq r \leq r_{\max}(W)।

উপপাদ্য 1.3: ব্যতিক্রমী সীমিত অপরিবর্তনীয় Coxeter গ্রুপের সর্বোচ্চ র‍্যাঙ্ক:

  • I2(m),H3,H4,F4I_2(m), H_3, H_4, F_4: তাদের Coxeter র‍্যাঙ্কের সমান
  • E6,E7,E8E_6, E_7, E_8: যথাক্রমে 5, 6, 7

নির্দিষ্ট নির্মাণ ফলাফল

  1. DnD_n (nn বিজোড়):
    • সর্বোচ্চ র‍্যাঙ্ক C-স্ট্রিং: Schläfli প্রকার {4,3n−2}\{4, 3^{n-2}\}
    • সম্পূর্ণ র‍্যাঙ্ক বর্ণালী: 3≤r≤n3 \leq r \leq n
  2. DnD_n (nn সমান):
    • সর্বোচ্চ র‍্যাঙ্ক n−1n-1, র‍্যাঙ্ক nn এর কোন C-স্ট্রিং নেই
    • র‍্যাঙ্ক 3: Schläfli প্রকার {12,n−1}\{12, n-1\}
    • র‍্যাঙ্ক rr (4≤r≤n−14 \leq r \leq n-1): প্রকার {3r−4,6,n−r+3,4}\{3^{r-4}, 6, n-r+3, 4\}

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

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

  1. প্রাথমিক কাজ: Hartley এর পরীক্ষামূলক ফলাফল এবং Leemans-Vauthier এর ছোট গ্রুপ atlas
  2. তাত্ত্বিক অগ্রগতি: প্রতিসম গ্রুপের স্বাধীন সেটের জন্য Whiston এর শ্রেণীবিভাগ
  3. গণনামূলক পদ্ধতি: বিক্ষিপ্ত একক গ্রুপের C-স্ট্রিং গণনার জন্য দক্ষ অ্যালগরিদম

পরিচিত ফলাফল

  • প্রতিসম গ্রুপ: Sym(n)\text{Sym}(n) এর সর্বোচ্চ র‍্যাঙ্ক n−1n-1, সম্পূর্ণ র‍্যাঙ্ক বর্ণালী রাখে
  • বিকল্প গ্রুপ: Alt(n)\text{Alt}(n) (n≥12n \geq 12) এর সর্বোচ্চ র‍্যাঙ্ক ⌊(n−1)/2⌋\lfloor(n-1)/2\rfloor
  • অর্থোগোনাল এবং সিমপ্লেক্টিক গ্রুপ: নির্বিচারে বড় র‍্যাঙ্কের C-স্ট্রিং প্রতিনিধিত্ব রাখে

এই পেপারের অবদানের অনন্যতা

এই পেপারটি প্রথমবারের মতো DnD_n প্রকার Coxeter গ্রুপের C-স্ট্রিং শ্রেণীবিভাগ সমস্যা পদ্ধতিগতভাবে সমাধান করে, একটি গুরুত্বপূর্ণ তাত্ত্বিক ফাঁক পূরণ করে।

উপসংহার এবং আলোচনা

প্রধান উপসংহার

  1. সম্পূর্ণ শ্রেণীবিভাগ: সমস্ত সীমিত অপরিবর্তনীয় Coxeter গ্রুপের সর্বোচ্চ C-স্ট্রিং র‍্যাঙ্ক নির্ধারণ করা
  2. কাঠামোগত অন্তর্দৃষ্টি: DnD_n গ্রুপে বিজোড়তার গুরুত্বপূর্ণ ভূমিকা প্রকাশ করা
  3. নির্মাণ পদ্ধতি: পদ্ধতিগত C-স্ট্রিং নির্মাণ কৌশল প্রদান করা

সীমাবদ্ধতা

  1. গণনামূলক জটিলতা: ব্যতিক্রমী গ্রুপের ফলাফল কম্পিউটার যাচাইকরণের উপর নির্ভরশীল
  2. সাধারণীকরণ সমস্যা: পদ্ধতি অসীম Coxeter গ্রুপের জন্য প্রযোজ্য কিনা তা অস্পষ্ট
  3. অপ্টিমাইজেশন স্থান: কিছু নির্মাণ সর্বোত্তম নাও হতে পারে

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

  1. অসীম গ্রুপ সাধারণীকরণ: affine এবং হাইপারবোলিক Coxeter গ্রুপ অধ্যয়ন করা
  2. অ্যালগরিদম অপ্টিমাইজেশন: আরও দক্ষ C-স্ট্রিং গণনা অ্যালগরিদম উন্নয়ন করা
  3. জ্যামিতিক প্রয়োগ: নির্দিষ্ট জ্যামিতিক সমস্যায় প্রয়োগ অন্বেষণ করা

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

সুবিধা

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

অপূর্ণতা

  1. প্রমাণ জটিলতা: কিছু প্রমাণ অত্যন্ত প্রযুক্তিগত, পাঠযোগ্যতা উন্নতির অবকাশ রয়েছে
  2. গণনামূলক নির্ভরতা: ব্যতিক্রমী গ্রুপের ফলাফল প্রধানত কম্পিউটারের উপর নির্ভরশীল
  3. প্রয়োগ সীমাবদ্ধতা: বাস্তব প্রয়োগের দৃশ্যকল্প আরও অন্বেষণের প্রয়োজন

প্রভাব

  1. তাত্ত্বিক অবদান: Coxeter গ্রুপ তত্ত্বে গুরুত্বপূর্ণ পরিপূরক প্রদান করা
  2. পদ্ধতি মূল্য: নির্মাণ কৌশল অন্যান্য গ্রুপ পরিবারের জন্য প্রযোজ্য হতে পারে
  3. গণনামূলক তাৎপর্য: সম্পর্কিত গণনামূলক সমস্যার জন্য তাত্ত্বিক ভিত্তি প্রদান করা

প্রযোজ্য দৃশ্যকল্প

  1. বিশুদ্ধ গণিত গবেষণা: গ্রুপ তত্ত্ব, সমন্বয় জ্যামিতি, পলিটোপ তত্ত্ব
  2. গণনামূলক গণিত: প্রতিসাম্য বিশ্লেষণ, গ্রাফ তত্ত্ব প্রয়োগ
  3. তাত্ত্বিক পদার্থবিজ্ঞান: ক্রিস্টালোগ্রাফি, প্রতিসাম্য ভাঙন সমস্যা

তথ্যসূত্র

পেপারটি 30টি সম্পর্কিত তথ্যসূত্র উদ্ধৃত করে, যা Coxeter গ্রুপ তত্ত্ব, বিমূর্ত নিয়মিত পলিটোপ, গ্রুপের উৎপাদক সেট ইত্যাদি মূল ক্ষেত্রের গুরুত্বপূর্ণ কাজ অন্তর্ভুক্ত করে, গবেষণার জন্য একটি দৃঢ় তাত্ত্বিক ভিত্তি প্রদান করে।

সামগ্রিক মূল্যায়ন: এটি একটি উচ্চমানের গ্রুপ তত্ত্ব গবেষণা পেপার, যা সীমিত অপরিবর্তনীয় Coxeter গ্রুপের বিমূর্ত নিয়মিত পলিটোপের শ্রেণীবিভাগ সমস্যা পদ্ধতিগতভাবে সমাধান করে, গুরুত্বপূর্ণ তাত্ত্বিক মূল্য এবং পদ্ধতিগত উদ্ভাবন তাৎপর্য রাখে।