2025-11-16T20:46:12.362257

Schur multiplier and Schur covers of relative Rota-Baxter groups

Belwal, Rathee, Singh
Relative Rota-Baxter groups are generalizations of Rota-Baxter groups and share a close connection with skew left braces. These structures are well-known for offering bijective non-degenerate set-theoretical solutions to the Yang-Baxter equation. This paper builds upon the recently introduced extension theory and low-dimensional cohomology of relative Rota-Baxter groups. We prove an analogue of the Hochschild-Serre exact sequence for central extensions of relative Rota-Baxter groups. We introduce the Schur multiplier $M_{RRB}(\mathcal{A})$ of a relative Rota-Baxter group $\mathcal{A} =(A,B,β,T)$, and prove that the exponent of $M_{RRB}(\mathcal{A})$ divides $|A||B|$ when $\mathcal{A}$ is finite. We define weak isoclinism of relative Rota-Baxter groups, introduce their Schur covers, and prove that any two Schur covers of a finite bijective relative Rota-Baxter group are weakly isoclinic. The results align with recent results of Letourmy and Vendramin for skew left braces.
academic

আপেক্ষিক রোটা-বাক্সটার গ্রুপের শুর গুণক এবং শুর কভার

মৌলিক তথ্য

  • পেপার আইডি: 2311.12384
  • শিরোনাম: আপেক্ষিক রোটা-বাক্সটার গ্রুপের শুর গুণক এবং শুর কভার
  • লেখক: প্রাগ্য বেলওয়াল, নিশান্ত রাঠী, মহেন্দর সিং
  • শ্রেণীবিভাগ: math.QA (কোয়ান্টাম বীজগণিত), math.GR (গ্রুপ তত্ত্ব)
  • প্রকাশনার সময়: ২০২৩ সালের ২১ নভেম্বর (arXiv প্রাক-প্রিন্ট)
  • পেপার লিংক: https://arxiv.org/abs/2311.12384

সারসংক্ষেপ

এই পেপারটি আপেক্ষিক রোটা-বাক্সটার গ্রুপের শুর গুণক এবং শুর কভার অধ্যয়ন করে। আপেক্ষিক রোটা-বাক্সটার গ্রুপ হল রোটা-বাক্সটার গ্রুপের একটি সাধারণীকরণ, যা তির্যক বাম বন্ধনী (skew left braces) এর সাথে ঘনিষ্ঠভাবে সম্পর্কিত, এই কাঠামোগুলি ইয়াং-বাক্সটার সমীকরণের দ্বিমুখী অ-অবক্ষয়ী সেট-তাত্ত্বিক সমাধানে গুরুত্বপূর্ণ ভূমিকা পালন করে। পেপারটি সম্প্রতি প্রবর্তিত আপেক্ষিক রোটা-বাক্সটার গ্রুপের সম্প্রসারণ তত্ত্ব এবং নিম্ন-মাত্রিক সহসমবিজ্ঞানের উপর ভিত্তি করে, আপেক্ষিক রোটা-বাক্সটার গ্রুপের কেন্দ্রীয় সম্প্রসারণের হোচশিল্ড-সেরে সঠিক ক্রম সম্পর্কিত ফলাফল প্রমাণ করে, আপেক্ষিক রোটা-বাক্সটার গ্রুপ A=(A,B,β,T)\mathcal{A} = (A,B,β,T) এর শুর গুণক MRRB(A)M_{RRB}(\mathcal{A}) প্রবর্তন করে, এবং প্রমাণ করে যে যখন A\mathcal{A} সীমিত হয়, তখন MRRB(A)M_{RRB}(\mathcal{A}) এর সূচক ∣A∣∣B∣|A||B| কে বিভক্ত করে।

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

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

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

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

  1. তত্ত্বগত সম্পূর্ণতা: আপেক্ষিক রোটা-বাক্সটার গ্রুপের শুর তত্ত্ব প্রতিষ্ঠা করা, এর বীজগণিত কাঠামো তত্ত্ব সম্পূর্ণ করা
  2. একীভূত কাঠামো: গ্রুপ তত্ত্ব, তির্যক বাম বন্ধনী তত্ত্ব আপেক্ষিক রোটা-বাক্সটার গ্রুপের কাঠামোতে একীভূত করা
  3. প্রয়োগ সম্প্রসারণ: ইয়াং-বাক্সটার সমীকরণ সমাধানের গবেষণার জন্য নতুন বীজগণিত সরঞ্জাম প্রদান করা

মূল অবদান

  1. হোচশিল্ড-সেরে সঠিক ক্রম প্রতিষ্ঠা: আপেক্ষিক রোটা-বাক্সটার গ্রুপের কেন্দ্রীয় সম্প্রসারণের হোচশিল্ড-সেরে সঠিক ক্রম প্রমাণ করা (উপপাদ্য 4.2)
  2. শুর গুণক ধারণা প্রবর্তন: আপেক্ষিক রোটা-বাক্সটার গ্রুপের শুর গুণক MRRB(A)M_{RRB}(\mathcal{A}) সংজ্ঞায়িত করা, এবং এর সূচক বৈশিষ্ট্য প্রমাণ করা (উপপাদ্য 5.2)
  3. দুর্বল সমক্লিনিক ধারণা প্রতিষ্ঠা: আপেক্ষিক রোটা-বাক্সটার গ্রুপের দুর্বল সমক্লিনিক (weak isoclinism) ধারণা প্রবর্তন করা, ধ্রুপদী সমক্লিনিক তত্ত্ব সাধারণীকরণ করা
  4. শুর কভার নির্মাণ: আপেক্ষিক রোটা-বাক্সটার গ্রুপের শুর কভার সংজ্ঞায়িত এবং নির্মাণ করা, অস্তিত্ব এবং অনন্যতা ফলাফল প্রমাণ করা
  5. তত্ত্ব একীকরণ: ফলাফলকে লেটুর্মি এবং ভেন্ড্রামিনের তির্যক বাম বন্ধনী সম্পর্কিত সর্বশেষ ফলাফলের সাথে একীভূত করা

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

মৌলিক ধারণা এবং সংজ্ঞা

আপেক্ষিক রোটা-বাক্সটার গ্রুপ

আপেক্ষিক রোটা-বাক্সটার গ্রুপ হল চতুর্ভুজ (H,G,φ,R)(H,G,φ,R), যেখানে:

  • HH, GG গ্রুপ
  • φ:G→Aut(H)φ: G → \text{Aut}(H) গ্রুপ সমরূপতা
  • R:H→GR: H → G আপেক্ষিক রোটা-বাক্সটার শর্ত সন্তুষ্ট করে এমন ম্যাপিং: R(h1)R(h2)=R(h1φR(h1)(h2))R(h_1)R(h_2) = R(h_1φ_{R(h_1)}(h_2))

সহসমবিজ্ঞান তত্ত্ব

পেপারটি লেখকদের পূর্ববর্তী কাজ 3 এর ভিত্তিতে নির্মিত, দ্বিতীয় সহসমবিজ্ঞান গ্রুপ HRRB2(A,K)H^2_{RRB}(\mathcal{A},\mathcal{K}) ব্যবহার করে কেন্দ্রীয় সম্প্রসারণ শ্রেণীবিভাগ করে, যেখানে 2-সহচক্র চতুর্ভুজ (τ1,τ2,ρ,χ)(τ_1, τ_2, ρ, χ) দ্বারা গঠিত, সামঞ্জস্যপূর্ণ শর্ত সন্তুষ্ট করে।

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

1. হোচশিল্ড-সেরে সঠিক ক্রম

কেন্দ্রীয় সম্প্রসারণের জন্য: 1→(K,L,α,S)→(H,G,φ,R)→(A,B,β,T)→11 → (K,L,α,S) → (H,G,φ,R) → (A,B,β,T) → 1

সঠিক ক্রম নির্মাণ: 1→HomRRB(A,M)→HomRRB(H,M)→HomRRB(K,M)→HRRB2(A,M)→HRRB2(H,M)1 → \text{Hom}_{RRB}(A,M) → \text{Hom}_{RRB}(H,M) → \text{Hom}_{RRB}(K,M) → H^2_{RRB}(A,M) → H^2_{RRB}(H,M)

2. শুর গুণকের নির্মাণ

শুর গুণক সংজ্ঞায়িত করা হয় যেমন: MRRB(A)=HRRB2(A,C)M_{RRB}(\mathcal{A}) = H^2_{RRB}(\mathcal{A}, \mathcal{C}) যেখানে C=(C×,C×,α0,S0)\mathcal{C} = (C^×, C^×, α^0, S^0) তুচ্ছ আপেক্ষিক রোটা-বাক্সটার গ্রুপ।

3. সূচক সীমার প্রমাণ

বিশেষ 2-সহচক্র নির্মাণ এবং সীমিত গ্রুপের বৈশিষ্ট্য ব্যবহার করে, প্রমাণ করা হয়: exp⁡(MRRB(A))∣∣A∣∣B∣\exp(M_{RRB}(\mathcal{A})) \mid |A||B|

মূল কৌশল হল ম্যাপিং A(x)=∏a∈Aτ1(x,a)A(x) = \prod_{a∈A} τ_1(x,a) এবং B(y)=∏b∈Bτ2(y,b)B(y) = \prod_{b∈B} τ_2(y,b) নির্মাণ করা, তারপর প্রমাণ করা যে θ1:A→C×θ_1: A → C^× এবং θ2:B→C×θ_2: B → C^× বিদ্যমান যেমন সংশ্লিষ্ট সীমানা সম্পর্ক সন্তুষ্ট হয়।

প্রধান ফলাফল

উপপাদ্য 5.2 (শুর গুণকের সূচক সীমা)

যদি A=(A,B,β,T)\mathcal{A} = (A,B,β,T) সীমিত আপেক্ষিক রোটা-বাক্সটার গ্রুপ হয়, তাহলে MRRB(A)M_{RRB}(\mathcal{A}) এর সূচক ∣A∣∣B∣|A||B| কে বিভক্ত করে।

উপপাদ্য 5.7 (শুর কভারের অস্তিত্ব)

প্রতিটি সীমিত আপেক্ষিক রোটা-বাক্সটার গ্রুপের কমপক্ষে একটি কেন্দ্রীয় সম্প্রসারণ রয়েছে, যেমন এর সংশ্লিষ্ট ট্রান্সগ্রেশন ম্যাপিং সমরূপতা।

উপপাদ্য 6.7 (দুর্বল সমক্লিনিকতা)

ধরুন A\mathcal{A} সীমিত আপেক্ষিক রোটা-বাক্সটার গ্রুপ। যদি দুটি কেন্দ্রীয় সম্প্রসারণের ট্রান্সগ্রেশন ম্যাপিং উভয়ই সমরূপতা হয়, তাহলে সংশ্লিষ্ট সম্প্রসারণ গ্রুপ দুর্বল সমক্লিনিক।

অনুসিদ্ধান্ত 6.11 এবং 6.12 (শুর কভারের বৈশিষ্ট্য)

  • প্রতিটি সীমিত দ্বিমুখী আপেক্ষিক রোটা-বাক্সটার গ্রুপের কমপক্ষে একটি শুর কভার রয়েছে
  • যেকোনো দুটি শুর কভার দুর্বল সমক্লিনিক

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

1. বহু-স্তরীয় সহসমবিজ্ঞান তত্ত্ব

পেপারটি তিনটি স্তরের সহসমবিজ্ঞান তত্ত্বের মধ্যে সংযোগ প্রতিষ্ঠা করে:

  • গ্রুপের সহসমবিজ্ঞান HGp2(A,K)H^2_{Gp}(A,K)
  • তির্যক বাম বন্ধনীর সহসমবিজ্ঞান HSLB2(M,I)H^2_{SLB}(M,I)
  • আপেক্ষিক রোটা-বাক্সটার গ্রুপের সহসমবিজ্ঞান HRRB2(A,K)H^2_{RRB}(\mathcal{A},\mathcal{K})

2. দুর্বল সমক্লিনিক ধারণার প্রবর্তন

ধ্রুপদী সমক্লিনিক ধারণার বিপরীতে, দুর্বল সমক্লিনিক আরও নমনীয় সমরূপতা শর্ত অনুমতি দেয়, বিশেষত আপেক্ষিক রোটা-বাক্সটার গ্রুপের কাঠামো বৈশিষ্ট্যের জন্য উপযুক্ত।

3. একীভূত তাত্ত্বিক কাঠামো

ফাংটর A↦AT\mathcal{A} ↦ \mathcal{A}_T (প্রবর্তিত তির্যক বাম বন্ধনী) এর মাধ্যমে, আপেক্ষিক রোটা-বাক্সটার গ্রুপ তত্ত্ব এবং তির্যক বাম বন্ধনী তত্ত্ব একীভূত করা।

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

ধ্রুপদী গ্রুপ তত্ত্ব ভিত্তি

  • শুর এর ধ্রুপদী কাজ 16,17 গ্রুপের শুর গুণক তত্ত্ব প্রতিষ্ঠা করে
  • ব্রাউন 4 এবং পাসি এবং অন্যদের 13 গ্রুপ সহসমবিজ্ঞান তত্ত্ব

সাম্প্রতিক উন্নয়ন

  • লেটুর্মি এবং ভেন্ড্রামিন 11,12 তির্যক বাম বন্ধনীর সমক্লিনিক তত্ত্ব এবং শুর কভার সম্পর্কে
  • বার্ডাকভ এবং গুবারেভ 1,2 রোটা-বাক্সটার গ্রুপ সম্পর্কে কাজ
  • লেখকদের পূর্ববর্তী কাজ 3 আপেক্ষিক রোটা-বাক্সটার গ্রুপের সম্প্রসারণ তত্ত্ব প্রতিষ্ঠা করে

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

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

  1. আপেক্ষিক রোটা-বাক্সটার গ্রুপের শুর তত্ত্ব সফলভাবে প্রতিষ্ঠা করা হয়েছে, শুর গুণক এবং শুর কভার সহ
  2. সীমিত ক্ষেত্রে মৌলিক বৈশিষ্ট্য প্রমাণ করা হয়েছে, যেমন সূচক সীমা এবং অস্তিত্ব উপপাদ্য
  3. তির্যক বাম বন্ধনী তত্ত্বের সাথে গভীর সংযোগ প্রতিষ্ঠা করা হয়েছে, তত্ত্যের সামঞ্জস্য যাচাই করা হয়েছে

সীমাবদ্ধতা

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

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

  1. অসীম আপেক্ষিক রোটা-বাক্সটার গ্রুপের শুর তত্ত্ব অধ্যয়ন করা
  2. আরও সূক্ষ্ম শ্রেণীবিভাগ তত্ত্ব উন্নয়ন করা
  3. ইয়াং-বাক্সটার সমীকরণ সমাধানের সাথে নির্দিষ্ট সংযোগ অন্বেষণ করা
  4. উচ্চ-মাত্রিক সহসমবিজ্ঞানের বৈশিষ্ট্য অধ্যয়ন করা

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

সুবিধা

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

অপূর্ণতা

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

প্রভাব

  1. তাত্ত্বিক অবদান: আপেক্ষিক রোটা-বাক্সটার গ্রুপ তত্ত্যের জন্য গুরুত্বপূর্ণ ভিত্তি স্থাপন করা
  2. পদ্ধতিগত: নতুন বীজগণিত কাঠামো গবেষণার জন্য প্যারাডাইম প্রদান করা
  3. সংযোগ: বিভিন্ন গণিত শাখার মধ্যে সংযোগ শক্তিশালী করা

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

  1. কোয়ান্টাম গ্রুপ এবং ইয়াং-বাক্সটার সমীকরণ গবেষণা
  2. বীজগণিত কাঠামোর শ্রেণীবিভাগ সমস্যা
  3. সহসমবিজ্ঞান তত্ত্যের প্রয়োগ গবেষণা

তথ্যসূত্র

পেপারটি ২৯টি গুরুত্বপূর্ণ তথ্যসূত্র উদ্ধৃত করে, যা গ্রুপ তত্ত্ব, সহসমবিজ্ঞান তত্ত্ব, রোটা-বাক্সটার অপারেটর এবং তির্যক বাম বন্ধনী সহ একাধিক ক্ষেত্রের ধ্রুপদী এবং সর্বশেষ ফলাফল অন্তর্ভুক্ত করে, গবেষণার বিস্তৃত ভিত্তি এবং অগ্রগামী প্রকৃতি প্রতিফলিত করে।

সামগ্রিক মূল্যায়ন: এটি একটি উচ্চ-মানের তাত্ত্বিক গণিত পেপার, যা আপেক্ষিক রোটা-বাক্সটার গ্রুপের এই উদীয়মান ক্ষেত্রে গুরুত্বপূর্ণ তাত্ত্বিক ভিত্তি প্রতিষ্ঠা করে। পেপারটি প্রযুক্তিগত পরিচালনা সূক্ষ্ম, ফলাফল গভীর, এবং এই ক্ষেত্রের আরও উন্নয়নের জন্য দৃঢ় ভিত্তি স্থাপন করে। যদিও নির্দিষ্ট প্রয়োগ এবং গণনা দিক উন্নয়নের জায়গা রয়েছে, তবে এর তাত্ত্বিক অবদান উল্লেখযোগ্য।