2025-11-14T10:55:11.262755

Calabi-Yau structure on the Chekanov-Eliashberg algebra of a Legendrian sphere

Legout
In this paper, we prove that the Chekanov-Eliashberg algebra of an horizontally displaceable n-dimensional Legendrian sphere in the contactisation of a Liouville manifold is a (n+1)-Calabi-Yau differential graded algebra. In particular it means that there is a quasi-isomorphism of DG-bimodules between the diagonal bimodule and the inverse dualizing bimodule associated to the Chekanov-Eliashberg algebra. On some cyclic version of these bimodules, which are chain complexes computing the Hochschild homology and cohomology of the Chekanov-Eliashberg algebra, we construct $A_\infty$ operations and show that the Calabi-Yau isomorphism extends to a family of maps satisfying the $A_\infty$-functor equations.
academic

লেজেন্ড্রিয়ান গোলকের চেকানভ-এলিয়াশবার্গ বীজগণিতে ক্যালাবি-ইয়াউ কাঠামো

মৌলিক তথ্য

  • পত্র আইডি: 2304.03014
  • শিরোনাম: লেজেন্ড্রিয়ান গোলকের চেকানভ-এলিয়াশবার্গ বীজগণিতে ক্যালাবি-ইয়াউ কাঠামো
  • লেখক: নোয়েমি লেগাউট
  • শ্রেণীবিভাগ: math.SG (সিমপ্লেক্টিক জ্যামিতি)
  • প্রকাশনার সময়: ২০২৩ সালের ৬ এপ্রিল (arXiv জমা দেওয়া)
  • পত্র লিঙ্ক: https://arxiv.org/abs/2304.03014

সারসংক্ষেপ

এই পত্রটি প্রমাণ করে যে লিউভিল বহুগুণের যোগাযোগ সংক্ষিপ্তকরণে অনুভূমিকভাবে স্থানান্তরযোগ্য n-মাত্রিক লেজেন্ড্রিয়ান গোলকের চেকানভ-এলিয়াশবার্গ বীজগণিত একটি (n+1)-ক্যালাবি-ইয়াউ অন্তরক শ্রেণীবদ্ধ বীজগণিত। বিশেষত, এটি নির্দেশ করে যে কর্ণীয় দ্বিমডিউল এবং চেকানভ-এলিয়াশবার্গ বীজগণিতের সাথে সম্পর্কিত বিপরীত দ্বৈত দ্বিমডিউলের মধ্যে DG-দ্বিমডিউলের একটি আধা-সমরূপতা বিদ্যমান। এই দ্বিমডিউলগুলির নির্দিষ্ট চক্রীয় সংস্করণগুলিতে, যা চেকানভ-এলিয়াশবার্গ বীজগণিতের হোচশিল্ড সমসংস্থা এবং সহসমসংস্থা গণনা করার জন্য শৃঙ্খল জটিল, আমরা AA_\infty ক্রিয়াকলাপ নির্মাণ করি এবং প্রমাণ করি যে ক্যালাবি-ইয়াউ সমরূপতা AA_\infty-ফাংটর সমীকরণ সন্তুষ্ট করে এমন ম্যাপিং পরিবারে বিস্তৃত।

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

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

১. চেকানভ-এলিয়াশবার্গ বীজগণিতের গুরুত্ব: চেকানভ-এলিয়াশবার্গ বীজগণিত (C-E বীজগণিত) লেজেন্ড্রিয়ান উপবহুগুণের একটি গুরুত্বপূর্ণ অপরিবর্তনীয়, রিব জ্যা দ্বারা উৎপন্ন অন্তরক শ্রেণীবদ্ধ বীজগণিত, যা যোগাযোগ টোপোলজিতে একটি মূল ভূমিকা পালন করে।

२. দ্বৈত কাঠামো: C-E বীজগণিতের রৈখিকীকৃত সংস্করণ নির্দিষ্ট দ্বৈততা সন্তুষ্ট করে বলে পরিচিত, এই ফলাফল প্রথমে সাবলফ দ্বারা লেজেন্ড্রিয়ান গিঁটের ক্ষেত্রে প্রমাণিত হয়েছিল এবং পরে এখেলম-এটনাইর-সাবলফ দ্বারা উচ্চ মাত্রায় সাধারণীকৃত হয়েছিল।

३. ক্যালাবি-ইয়াউ কাঠামোর প্রত্যাশা: গানাত্রার ডক্টরাল থিসিসের কাজের উপর ভিত্তি করে, মোড়ানো ফুকায়া বিভাগ একটি অ-সংক্ষিপ্ত ক্যালাবি-ইয়াউ বিভাগ, এবং এই বিভাগটি লেজেন্ড্রিয়ান গোলক দ্বারা উৎপন্ন হয়, তাই C-E বীজগণিতও ক্যালাবি-ইয়াউ কাঠামো থাকা উচিত বলে প্রত্যাশিত।

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

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

মূল অবদান

१. প্রধান উপপাদ্য: অনুভূমিকভাবে স্থানান্তরযোগ্য লেজেন্ড্রিয়ান গোলকের C-E বীজগণিত একটি (n+1)-ক্যালাবি-ইয়াউ অন্তরক শ্রেণীবদ্ধ বীজগণিত (উপপাদ্য 1.1)।

२. রাবিনোভিটজ দ্বিমডিউল নির্মাণ: লেজেন্ড্রিয়ানের রাবিনোভিটজ DG-দ্বিমডিউল সংস্করণ প্রবর্তন করা, 2-কপি কৌশল ব্যবহার করে মূল দ্বিমডিউল ম্যাপিং নির্মাণ করা।

३. সীমিত র‍্যাঙ্ক অর্ধ-মুক্ত সমাধান: প্রমাণ করা যে কর্ণীয় দ্বিমডিউল A সীমিত র‍্যাঙ্ক অর্ধ-মুক্ত সমাধান স্বীকার করে, তাই A সমসংস্থানগতভাবে মসৃণ।

४. AA_\infty কাঠামো: চক্রীয় জটিলে AA_\infty ক্রিয়াকলাপ নির্মাণ করা এবং প্রমাণ করা যে ক্যালাবি-ইয়াউ সমরূপতা AA_\infty-ফাংটর সমীকরণ সন্তুষ্ট করে এমন ম্যাপিং পরিবারে বিস্তৃত।

५. হোচশিল্ড সমসংস্থা সমরূপতা: C-E বীজগণিতের হোচশিল্ড সমসংস্থা এবং সহসমসংস্থার মধ্যে সমরূপতা প্রতিষ্ঠা করা।

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

কাজের সংজ্ঞা

অনুভূমিকভাবে স্থানান্তরযোগ্য n-মাত্রিক লেজেন্ড্রিয়ান গোলক Λ ⊂ Y এর C-E বীজগণিত A যে ক্যালাবি-ইয়াউ শর্ত সন্তুষ্ট করে তা প্রমাণ করা: একটি আধা-সমরূপতা বিদ্যমান CY:AA![n1]\text{CY}: A \xrightarrow{\sim} A^![−n−1] যেমন CYCY![n1]\text{CY} \simeq \text{CY}^![−n−1], যেখানে A!=RHomAA(A,AA)A^! = \text{RHom}_{A-A}(A, A \otimes A) বিপরীত দ্বৈত দ্বিমডিউল।

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

१. 2-কপি নির্মাণ

  • লেজেন্ড্রিয়ান গোলক Λ এর জন্য 2-কপি Λ0Λ1Λ_0 \cup Λ_1 নির্মাণ করা, যেখানে Λ1Λ_1 হল Λ0=ΛΛ_0 = Λ এর ছোট ঋণাত্মক স্থানান্তর
  • ঋণাত্মক মোর্স ফাংশন f:ΛRf: Λ → \mathbb{R} ব্যবহার করে, দুটি মোর্স জ্যা উৎপন্ন করা: সর্বোচ্চ মানের সাথে সংশ্লিষ্ট x01x_{01} এবং সর্বনিম্ন মানের সাথে সংশ্লিষ্ট y01y_{01}

२. রাবিনোভিটজ DG-দ্বিমডিউল

রাবিনোভিটজ দ্বিমডিউল RFCAA(Λ0,Λ1)\text{RFC}_{A-A}(Λ_0, Λ_1) সংজ্ঞায়িত করা: RFCAA(Λ0,Λ1)=C+(Λ0,Λ1)C(Λ0,Λ1)\text{RFC}_{A-A}(Λ_0, Λ_1) = C_+(Λ_0, Λ_1) \oplus C_-(Λ_0, Λ_1) যেখানে অন্তরক নিম্ন ত্রিভুজ ম্যাট্রিক্স দ্বারা দেওয়া হয়: m1=(Δ1++0b1+b1)m_1 = \begin{pmatrix} Δ_1^{++} & 0 \\ b_1^{-+} & b_1^{--} \end{pmatrix}

३. মূল দ্বিমডিউল নির্মাণ

  • C~+(Λ0,Λ1)=C+(Λ0,Λ1)[1]x01AA[1]\widetilde{C}_+(Λ_0, Λ_1) = C_+(Λ_0, Λ_1)[1] \oplus \langle x_{01} \rangle_{A-A}[1]
  • C~(Λ0,Λ1)=CAAl(Λ0,Λ1)y01AA\widetilde{C}_-(Λ_0, Λ_1) = C^l_{A-A}(Λ_0, Λ_1) \oplus \langle y_{01} \rangle_{A-A}

४. ক্যালাবি-ইয়াউ ম্যাপিং

মূল ম্যাপিং CY:C~+(Λ0,Λ1)C~(Λ0,Λ1)\text{CY}: \widetilde{C}_+(Λ_0, Λ_1) → \widetilde{C}_-(Λ_0, Λ_1) সংজ্ঞায়িত করা: CY(γ10)=β01Rl(Λ0,Λ1){y01}δ0,δ1#MΛ010(β01;δ0,γ10,δ1)δ1β01δ0\text{CY}(γ_{10}) = \sum_{β_{01} \in R^l(Λ_0,Λ_1) \cup \{y_{01}\}} \sum_{δ_0,δ_1} \#M^0_{Λ_{01}}(β_{01}; δ_0, γ_{10}, δ_1) \cdot δ_1 β_{01} δ_0

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

१. সীমিত-মাত্রিক পদ্ধতি: গানাত্রার অসীম-মাত্রিক পদ্ধতির বিপরীতে, এই পত্রটি সীমিত-মাত্রিক ছদ্ম-হলোমরফিক ডিস্ক গণনা ব্যবহার করে, যা আরও ভাল গণনাযোগ্যতা রয়েছে।

२. 2-কপি কৌশল: মোর্স ফাংশন দ্বারা নির্মিত 2-কপি চতুরভাবে অসীম-মাত্রিক মডিউল স্থান সরাসরি পরিচালনা করার অসুবিধা এড়ায়।

३. শঙ্কু জটিল বর্ণনা: রাবিনোভিটজ জটিলকে দুটি দ্বিমডিউল ম্যাপিংয়ের শঙ্কু হিসাবে প্রতিনিধিত্ব করা, বিশ্লেষণ সরল করা।

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

তাত্ত্বিক যাচাইকরণ

এই পত্রটি বিশুদ্ধ গণিত তাত্ত্বিক কাজ, প্রধানত নিম্নলিখিত উপায়ে ফলাফল যাচাই করা হয়:

१. আধা-সমরূপতা যাচাইকরণ: সম্পর্কিত জটিলের অ্যাসাইক্লিসিটি প্রমাণ করে আধা-সমরূপতা প্রতিষ্ঠা করা २. মাত্রা সূত্র: কনলি-জেহন্ডার সূচক ব্যবহার করে মডিউল স্থান মাত্রা গণনা করা ३. ট্রান্সভার্সালিটি: নিয়মিত প্রায় জটিল কাঠামো ব্যবহার করে ট্রান্সভার্সালিটি নিশ্চিত করা

নির্দিষ্ট উদাহরণ

পত্রের ৮ম বিভাগ মান TB = -1 অজানা গিঁটের ক্ষেত্রে বিস্তারিত গণনা করে, তত্ত্বের সঠিকতা যাচাই করে।

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

প্রধান ফলাফল

উপপাদ্য 6.1 (প্রধান উপপাদ্য)

অনুভূমিকভাবে স্থানান্তরযোগ্য লেজেন্ড্রিয়ান গোলক Λ ⊂ Y এর C-E বীজগণিত A(Λ) একটি (n+1)-ক্যালাবি-ইয়াউ অন্তরক শ্রেণীবদ্ধ বীজগণিত।

মূল মধ্যবর্তী ফলাফল

१. প্রস্তাব 6.4: ম্যাপিং F:C~+(Λ0,Λ1)[n1]AF: \widetilde{C}_+(Λ_0,Λ_1)[−n−1] → A একটি আধা-সমরূপতা २. প্রস্তাব 6.5: ম্যাপিং G:C~(Λ0,Λ1)HomAA(C~+(Λ0,Λ1)[n1],AA)G: \widetilde{C}_-(Λ_0,Λ_1) → \text{Hom}_{A-A}(\widetilde{C}_+(Λ_0,Λ_1)[−n−1], A \otimes A) একটি আধা-সমরূপতা ३. উপপাদ্য 7.1: ক্যালাবি-ইয়াউ ম্যাপিং গুণ কাঠামো সংরক্ষণ করে ४. উপপাদ্য 7.2: AA_\infty কাঠামোর অস্তিত্ব

নির্দিষ্ট গণনা উদাহরণ

অজানা গিঁটের ক্ষেত্রে:

  • C~+cyc(Λ0,Λ1)=a10,x01AAcyc\widetilde{C}^{\text{cyc}}_+(Λ_0,Λ_1) = \langle a_{10}, x_{01} \rangle^{\text{cyc}}_{A-A}
  • C~cyc(Λ0,Λ1)=a01,y01AAcyc\widetilde{C}^{\text{cyc}}_-(Λ_0,Λ_1) = \langle a_{01}, y_{01} \rangle^{\text{cyc}}_{A-A}
  • ক্যালাবি-ইয়াউ ম্যাপিং: CY1(a10aj)=y01aj\text{CY}_1(a_{10}a^j) = y_{01}a^j, CY1(x01aj)=a01aj\text{CY}_1(x_{01}a^j) = a_{01}a^j

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

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

१. C-E বীজগণিত তত্ত্ব: চেকানভ (2002) এবং এলিয়াশবার্গ (1998) এর যুগান্তকারী কাজ २. দ্বৈত তত্ত্ব: সাবলফ (2006) এর লেজেন্ড্রিয়ান গিঁট দ্বৈততা, এখেলম-এটনাইর-সাবলফ (2009) এর উচ্চ-মাত্রিক সাধারণীকরণ ३. ক্যালাবি-ইয়াউ কাঠামো: গিনজবার্গের সাধারণ তত্ত্ব, গানাত্রা (2012) এর মোড়ানো ফুকায়া বিভাগে প্রয়োগ

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

এই পত্রটি প্রথমবারের মতো C-E বীজগণিত স্তরে সম্পূর্ণ ক্যালাবি-ইয়াউ কাঠামো প্রতিষ্ঠা করে, তাত্ত্বিক শূন্যতা পূরণ করে এবং একটি গণনাযোগ্য পদ্ধতি প্রদান করে।

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

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

१. অনুভূমিকভাবে স্থানান্তরযোগ্য লেজেন্ড্রিয়ান গোলকের C-E বীজগণিত (n+1)-ক্যালাবি-ইয়াউ কাঠামো রয়েছে २. A এর সীমিত র‍্যাঙ্ক অর্ধ-মুক্ত সমাধান বিদ্যমান, সমসংস্থানগত মসৃণতা প্রমাণ করে ३. হোচশিল্ড সমসংস্থা এবং সহসমসংস্থা সমরূপ ४. AA_\infty কাঠামোর সম্পূর্ণ বর্ণনা

সীমাবদ্ধতা

१. অনুভূমিক স্থানান্তরযোগ্যতা অনুমান: ফলাফল অনুভূমিক স্থানান্তরযোগ্যতা অনুমানের উপর নির্ভর করে, প্রযোজ্য পরিসীমা সীমিত করে २. গোলক সীমাবদ্ধতা: বর্তমানে শুধুমাত্র লেজেন্ড্রিয়ান গোলকে প্রযোজ্য ३. সহগ বলয়: Z2\mathbb{Z}_2 সহগে কাজ করে, সম্ভবত আরও সাধারণ ক্ষেত্রে সাধারণীকৃত হতে পারে

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

१. আরও সাধারণ লেজেন্ড্রিয়ান উপবহুগুণে সাধারণীকরণ २. গানাত্রা নির্মাণের সাথে সম্পর্ক ३. গণনা কৌশলের আরও উন্নয়ন ४. আয়না সমরূপতায় প্রয়োগ

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

সুবিধা

१. তাত্ত্বিক সম্পূর্ণতা: C-E বীজগণিত ক্যালাবি-ইয়াউ কাঠামোর সম্পূর্ণ প্রমাণ প্রদান করে २. পদ্ধতি উদ্ভাবন: 2-কপি কৌশল এবং সীমিত-মাত্রিক পদ্ধতি মূল ३. গণনাযোগ্যতা: অসীম-মাত্রিক পদ্ধতির তুলনায়, আরও ব্যবহারিক গণনা কাঠামো প্রদান করে ४. প্রযুক্তিগত কঠোরতা: বিস্তারিত মডিউল স্থান বিশ্লেষণ এবং ট্রান্সভার্সালিটি যুক্তি

অপূর্ণতা

१. অনুমান সীমাবদ্ধতা: অনুভূমিক স্থানান্তরযোগ্যতা এবং গোলক অনুমান অপেক্ষাকৃত শক্তিশালী २. সহগ সীমাবদ্ধতা: শুধুমাত্র Z2\mathbb{Z}_2 এ কাজ করে ३. সীমিত প্রয়োগ: নির্দিষ্ট প্রয়োগ আরও উন্নয়ন প্রয়োজন

প্রভাব

१. তাত্ত্বিক অবদান: যোগাযোগ টোপোলজি এবং সিমপ্লেক্টিক জ্যামিতির জন্য নতুন তাত্ত্বিক সরঞ্জাম প্রদান করে २. পদ্ধতিগত মূল্য: 2-কপি কৌশল অন্যান্য সমস্যায় প্রয়োগ হতে পারে ३. সংযোগ ভূমিকা: বিভিন্ন গণিত শাখার মধ্যে সংযোগ প্রতিষ্ঠা করে

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

१. লেজেন্ড্রিয়ান গিঁট তত্ত্ব গবেষণা २. যোগাযোগ টোপোলজিতে দ্বৈত সমস্যা ३. আয়না সমরূপতার গবেষণা ४. ফুকায়া বিভাগ তত্ত্ব

রেফারেন্স

পত্রটি এই ক্ষেত্রের মূল সাহিত্য উদ্ধৃত করে, যার মধ্যে রয়েছে:

  • চেকানভ (2002), এলিয়াশবার্গ (1998): C-E বীজগণিতের ভিত্তিস্থাপনকারী কাজ
  • এখেলম-এটনাইর-সাবলফ সিরিজ কাজ: লেজেন্ড্রিয়ান যোগাযোগ সমসংস্থা তত্ত্ব
  • গানাত্রা (2012): মোড়ানো ফুকায়া বিভাগের ক্যালাবি-ইয়াউ কাঠামো
  • বুর্জিওস-চ্যান্ট্রেইন (2014): দ্বিরৈখিকীকরণ তত্ত্ব

এটি যোগাযোগ টোপোলজি এবং সিমপ্লেক্টিক জ্যামিতি ক্ষেত্রে উল্লেখযোগ্য তাত্ত্বিক মূল্যের একটি পত্র, লেজেন্ড্রিয়ান উপবহুগুণের বীজগণিত অপরিবর্তনীয়গুলির জন্য নতুন জ্যামিতিক কাঠামো বোঝার প্রদান করে।