2025-11-12T14:43:09.836823

Quantisation of derived Poisson structures

Pridham
We prove that every $0$-shifted Poisson structure on a derived Artin $n$-stack admits a curved $A_{\infty}$ deformation quantisation whenever the stack has perfect cotangent complex; in particular, this applies to LCI schemes, where it gives a DQ algebroid quantisation. Whereas the Kontsevich--Tamarkin approach to quantisation for smooth varieties hinges on invariance of the Hochschild complex under affine transformations, we instead exploit the observation that the Hochschild complex carries an anti-involution, and that such anti-involutive deformations of the complex of polyvectors are essentially unique. We also establish analogous statements for deformation quantisations in $\mathcal{C}^{\infty}$ and analytic settings.
academic

উদ্ভূত পয়সঁ কাঠামোর পরিমাণীকরণ

মৌলিক তথ্য

  • পেপার আইডি: 1708.00496
  • শিরোনাম: Quantisation of derived Poisson structures
  • লেখক: J.P. Pridham
  • শ্রেণীবিভাগ: math.AG (বীজগণিত জ্যামিতি), math.QA (কোয়ান্টাম বীজগণিত)
  • প্রকাশনা সময়: ২০১৭ সালের আগস্টে প্রথম জমা দেওয়া, ২০২৫ সালের ১ জানুয়ারি সর্বশেষ সংস্করণ
  • পেপার লিঙ্ক: https://arxiv.org/abs/1708.00496

সারসংক্ষেপ

এই পেপারটি প্রমাণ করে যে নিখুঁত কোট্যাঞ্জেন্ট কমপ্লেক্স সহ উদ্ভূত আর্টিন n-স্ট্যাকগুলিতে, প্রতিটি 0-শিফট পয়সঁ কাঠামো বক্ররেখা AA_{\infty} বিকৃতি পরিমাণীকরণ স্বীকার করে; বিশেষত, এটি স্থানীয় সম্পূর্ণ ছেদ (LCI) স্কিমগুলিতে প্রযোজ্য, যেখানে DQ বীজগণিত জার্ম পরিমাণীকরণ দেওয়া হয়। কনৎসেভিচ-তামার্কিন মসৃণ বৈচিত্র্য পরিমাণীকরণ পদ্ধতি হোচশিল্ড কমপ্লেক্সের অ্যাফাইন রূপান্তরের অধীনে অপরিবর্তনীয়তার উপর নির্ভর করে, আমরা হোচশিল্ড কমপ্লেক্স প্রতিবিম্ব বহন করে এই পর্যবেক্ষণ ব্যবহার করি, এবং বহুভেক্টর কমপ্লেক্সের এই প্রতিবিম্ব বিকৃতি সারমর্মে অনন্য। আমরা C\mathcal{C}^{\infty} এবং বিশ্লেষণাত্মক সেটিংয়েও বিকৃতি পরিমাণীকরণের অনুরূপ বিবৃতি প্রতিষ্ঠা করি।

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

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

বিকৃতি পরিমাণীকরণ গাণিতিক পদার্থবিজ্ঞানের একটি মূল ধারণা, যা ক্লাসিক্যাল পয়সঁ জ্যামিতি কাঠামোকে অ-বিনিময়যোগ্য বীজগণিত কাঠামোতে পরিমাণীকরণ করার লক্ষ্য রাখে। ক্লাসিক্যালভাবে, এর অর্থ হল ফাংশন বীজগণিত OYO_Y এর সহযোগী বিকৃতি \star_\hbar খোঁজা, যাতে ক্লাসিক্যাল সীমা 0\hbar \to 0 পয়সঁ কাঠামো পুনরুদ্ধার করে।

বিদ্যমান পদ্ধতির সীমাবদ্ধতা

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

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

  1. টোয়েন দ্বারা Toë2, Conjecture 5.3 এ উত্থাপিত দীর্ঘস্থায়ী অমীমাংসিত সমস্যা সমাধান করা
  2. পরিমাণীকরণ তত্ত্বকে একবচন স্কিম এবং উদ্ভূত স্ট্যাকের আরও সাধারণ সেটিংয়ে প্রসারিত করা
  3. অ্যাফাইন রূপান্তর অপরিবর্তনীয়তার অভাব পরিচালনা করার জন্য নতুন প্রযুক্তিগত পদ্ধতি বিকাশ করা

মূল অবদান

  1. প্রধান উপপাদ্য: নিখুঁত কোট্যাঞ্জেন্ট কমপ্লেক্স সহ উদ্ভূত আর্টিন n-স্ট্যাকগুলিতে প্রতিটি 0-শিফট পয়সঁ কাঠামো স্ব-দ্বৈত পরিমাণীকরণ স্বীকার করে তা প্রমাণ করা
  2. প্রযুক্তিগত উদ্ভাবন: ঐতিহ্যবাহী অ্যাফাইন রূপান্তর অপরিবর্তনীয়তার পরিবর্তে হোচশিল্ড কমপ্লেক্সের প্রতিবিম্ব সম্পত্তি ব্যবহার করা
  3. অনন্যতা ফলাফল: প্রতিবিম্ব বিকৃতির সারমর্ম অনন্যতা প্রতিষ্ঠা করা (Corollary 1.19)
  4. বিস্তৃত প্রযোজ্যতা: তত্ত্ব বীজগণিত, C\mathcal{C}^{\infty} এবং বিশ্লেষণাত্মক সেটিংয়ে প্রযোজ্য
  5. 1-শিফট কো-সিম্পলেক্টিক কাঠামো: ফলাফল হিসাবে 1-শিফট কো-সিম্পলেক্টিক কাঠামোর পরিমাণীকরণ প্রাপ্ত করা

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

কাজের সংজ্ঞা

নিখুঁত কোট্যাঞ্জেন্ট কমপ্লেক্স সহ উদ্ভূত আর্টিন n-স্ট্যাক XX এবং এর উপর 0-শিফট পয়সঁ কাঠামো π\pi দেওয়া, সংশ্লিষ্ট বিকৃতি পরিমাণীকরণ তৈরি করা, অর্থাৎ অ-বিনিময়যোগ্য বীজগণিত বিকৃতি AA_\hbar যাতে:

  • AA_\hbar 0\hbar \to 0OXO_X পুনরুদ্ধার করে
  • পয়সঁ ব্র্যাকেট {a,b}=lim0abba\{a,b\} = \lim_{\hbar \to 0} \frac{a \star_\hbar b - b \star_\hbar a}{\hbar} দ্বারা দেওয়া হয়

মূল প্রযুক্তিগত কাঠামো

1. প্রতিবিম্ব ফিল্টার বিকৃতি তত্ত্ব

সংজ্ঞা 1.1-1.2: আধা-প্রতিবিম্ব ফিল্টার কমপ্লেক্সের ধারণা প্রবর্তন করা, যেখানে ফিল্টার WW এবং প্রতিবিম্ব ee সন্তুষ্ট করে ee griWV\text{gr}^W_i V(1)i(-1)^i গুণ হিসাবে কাজ করে।

মূল লেম্মা 1.6: প্রতিবিম্ব রিজ ফাংটর প্রতিবিম্ব ফিল্টার ভেক্টর স্থান এবং সমতল GmG_m-সমতুল্য Q[2]\mathbb{Q}[\hbar^2]-মডিউলের মধ্যে সমতুল্যতা দেয়।

2. প্রায় বিনিময়যোগ্য পয়সঁ বীজগণিত

সংজ্ঞা 1.15: GmG_m-সমতুল্য dg অপারেড Pkac=Coms1k1LieP^{ac}_k = \text{Com} \circ s^{1-k}\hbar^{-1}\text{Lie} সংজ্ঞায়িত করা, যেখানে \hbar ডিগ্রি 0 এবং ওজন 1 রয়েছে।

প্রস্তাব 1.18: নির্দিষ্ট কোট্যাঞ্জেন্ট শর্ত সন্তুষ্ট করে এমন PkacP^{ac}_k-বীজগণিত BB এর জন্য, RDerPkacR,Gm(B,M)0\text{RDer}_{P^{ac}_k \otimes R, G_m}(B,M) \simeq 0 সমস্ত ওজন 2\geq 2 এর বেক BB-মডিউল MM এর জন্য।

3. গ্রোথেন্ডিয়েক-টেইচমুলার গ্রুপের প্রতিবিম্ব

সংজ্ঞা 2.14-2.16: গ্রোথেন্ডিয়েক-টেইচমুলার গ্রুপ GT(Q)GT(\mathbb{Q}) এ বিশেষ উপাদান PP ব্যবহার করা (প্রতিটি জেনারেটরকে এর বিপরীতে ম্যাপ করে), সমান 1-সহযোগী স্থান LeviGTP\text{Levi}^P_{GT} সংজ্ঞায়িত করা।

প্রস্তাব 2.18: প্রতিটি সমান 1-সহযোগী wLeviGTPw \in \text{Levi}^P_{GT} (Br,τ)(Br, \tau) এবং (P2,τ)(P_2, \tau) এর মধ্যে C2C_2-সমতুল্য ফিল্টার প্রস্তাবিত সমরূপতা প্রবর্তন করে।

প্রধান উপপাদ্যের প্রমাণ কৌশল

উপপাদ্য 2.21 এর প্রমাণ কৌশল:

  1. HKR সমরূপতা প্রতিষ্ঠা করা: grτHHDpoly(A)HKRPol(A/R,0)\text{gr}^{\tau^{HH}} D^{\text{poly}}_{\oplus}(A) \xrightarrow{\text{HKR}} \text{Pol}(A/R, 0) প্রমাণ করা
  2. প্রতিবিম্ব তত্ত্ব প্রয়োগ করা: Corollary 1.19 এর অনন্যতা ব্যবহার করা, নিখুঁত কোট্যাঞ্জেন্ট শর্ত সন্তুষ্ট করে এমন AA এর জন্য
  3. ফাংটরিয়ালিটি: প্রস্তাবিত সমরূপ a.c. brace বীজগণিত মর্ফিজমের সাপেক্ষে প্রাকৃতিকতা প্রতিষ্ঠা করা

স্ট্যাক ক্ষেত্রে পরিচালনা (তৃতীয় বিভাগ):

উদ্ভূত আর্টিন স্ট্যাকগুলির জন্য, অতিরিক্ত প্রযুক্তিগত অসুবিধা পরিচালনা করতে হবে:

  • stacky CDGA এবং দ্বি-কমপ্লেক্স ব্যবহার করা
  • অসীম সরাসরি যোগফল পরিচালনা করার জন্য Tate বিভাগ TR,dg+T^+_{R,\text{dg}} প্রবর্তন করা
  • ফাংটরিয়ালিটি এবং বিকৃতি প্রয়োজনের ভারসাম্য রাখার জন্য মধ্যবর্তী বিভাগ UPkac[2]UP^{ac}_k[\hbar^2] প্রতিষ্ঠা করা

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

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

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

প্রয়োগের উদাহরণ

  1. LCI স্কিম: স্থানীয় সম্পূর্ণ ছেদ স্কিম নিখুঁত কোট্যাঞ্জেন্ট কমপ্লেক্স শর্ত সন্তুষ্ট করে
  2. মসৃণ বৈচিত্র্য: পরিচিত কনৎসেভিচ পরিমাণীকরণ ফলাফল পুনরুদ্ধার করা
  3. ভাগফল স্ট্যাক: [Y/G][Y/G] ফর্মের স্ট্যাক, যখন YY হ্যামিলটোনিয়ান বা প্রস্তাবিত হ্যামিলটোনিয়ান কাঠামো রয়েছে

প্রধান ফলাফল

মূল উপপাদ্য

উপপাদ্য 2.21: AA নিখুঁত কোট্যাঞ্জেন্ট কমপ্লেক্স সহ cofibrant R-CDGA (বা C\mathcal{C}^{\infty}-DGA বা EFC-DGA) হোক, তাহলে প্রাকৃতিক প্রস্তাবিত সমরূপতা বিদ্যমান Dpoly(A)[1]p0RHomA(LΩAp,A)[p1]D^{\text{poly}}_{\oplus}(A)[−1] \simeq \bigoplus_{p≥0} \text{RHom}_A(L\Omega^p_A, A)[p−1] ডিফারেনশিয়াল গ্রেডেড লাই বীজগণিত হিসাবে, মান ফিল্টার এবং প্রতিবিম্বের সাথে সামঞ্জস্যপূর্ণ।

বৈশ্বিক ফলাফল

ফলাফল 2.31: নিখুঁত কোট্যাঞ্জেন্ট কমপ্লেক্স সহ উদ্ভূত DM n-স্ট্যাক XX দেওয়া, প্রতিটি পয়সঁ কাঠামো স্ব-দ্বৈত DQ বীজগণিত জার্ম বিকৃতি AA_\hbar স্বীকার করে, সন্তুষ্ট করে AAoppA_{-\hbar} \simeq A^{\text{opp}}_\hbar

আর্টিন স্ট্যাকের পরিমাণীকরণ

ফলাফল 3.38: নিখুঁত কোট্যাঞ্জেন্ট কমপ্লেক্স সহ উদ্ভূত আর্টিন n-স্ট্যাক XX দেওয়া, যেকোনো সমান সহযোগী 0-শিফট পয়সঁ কাঠামো স্থান থেকে স্ব-দ্বৈত E1E_1 পরিমাণীকরণ স্থানে ম্যাপিং দেয়।

1-শিফট কো-সিম্পলেক্টিক কাঠামো

ফলাফল 3.41: যখন উৎস নিখুঁত কোট্যাঞ্জেন্ট কমপ্লেক্স রয়েছে, মর্ফিজমে 1-শিফট কো-সিম্পলেক্টিক কাঠামো বিকৃতি পরিমাণীকরণ স্বীকার করে, লক্ষ্যের E2E_2 পরিমাণীকরণ উৎসের E1E_1 পরিমাণীকরণে কাজ করার ফর্ম।

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

ক্লাসিক্যাল পরিমাণীকরণ তত্ত্ব

  • কনৎসেভিচ Kon4: পয়সঁ ম্যানিফোল্ডের বিকৃতি পরিমাণীকরণ অস্তিত্ব
  • কনৎসেভিচ-ইয়েকুতিয়েলি Kon3, Yek1: মসৃণ বীজগণিত বৈচিত্র্যের DQ বীজগণিত জার্ম পরিমাণীকরণ
  • তামার্কিন Tam: অপারেড প্রমাণ এবং C\mathcal{C}^{\infty} সেটিং

উদ্ভূত জ্যামিতিতে পয়সঁ কাঠামো

  • CPT+: শিফট পয়সঁ কাঠামোর পদ্ধতিগত তত্ত্ব
  • MS2: উদ্ভূত কো-সিম্পলেক্টিক কাঠামো তত্ত্ব
  • Pri3, Pri4: লেখকের উদ্ভূত স্ট্যাকে পয়সঁ কাঠামো সম্পর্কে পূর্ববর্তী কাজ

প্রযুক্তিগত সরঞ্জাম

  • গ্রোথেন্ডিয়েক-টেইচমুলার তত্ত্ব: Dri, BN এ সহযোগী তত্ত্ব
  • অপারেডের আনুষ্ঠানিকতা: MS1 brace অপারেড সম্পর্কে ফলাফল
  • হোচশিল্ড সহ-সমতা: প্রতিবিম্ব কাঠামোর পদ্ধতিগত গবেষণা

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

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

  1. বিকৃতি পরিমাণীকরণ তত্ত্বকে একবচন সহ উদ্ভূত জ্যামিতি বস্তুতে সফলভাবে প্রসারিত করা
  2. প্রতিবিম্ব পদ্ধতি ঐতিহ্যবাহী অ্যাফাইন অপরিবর্তনীয়তা পদ্ধতির চেয়ে আরও সাধারণ এবং শক্তিশালী
  3. তত্ত্ব বীজগণিত, C\mathcal{C}^{\infty} এবং বিশ্লেষণাত্মক সেটিংয়ে পরিমাণীকরণকে একীভূত করে

সীমাবদ্ধতা

  1. নিখুঁত কোট্যাঞ্জেন্ট কমপ্লেক্স অনুমান: এটি একটি শক্তিশালী প্রযুক্তিগত শর্ত, নির্দিষ্ট একবচন ক্ষেত্র বাদ দেয়
  2. গঠনমূলক: যদিও অস্তিত্ব প্রমাণ করা হয়েছে, পরিমাণীকরণ তৈরির জন্য কোনো স্পষ্ট অ্যালগরিদম দেওয়া হয় না
  3. গণনামূলক জটিলতা: নির্দিষ্ট উদাহরণের জন্য, প্রকৃত পরিমাণীকরণ গণনা অত্যন্ত কঠিন হতে পারে

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

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

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

সুবিধা

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

অপূর্ণতা

  1. পাঠযোগ্যতা: অত্যন্ত প্রযুক্তিগত, বীজগণিত জ্যামিতি এবং হোমোটপি তত্ত্বে গভীর পটভূমি প্রয়োজন
  2. ব্যবহারিকতা: তাত্ত্বিক ফলাফল গভীর হলেও, নির্দিষ্ট গণনা থেকে এখনও দূরত্ব রয়েছে
  3. উদাহরণের অভাব: তত্ত্বের প্রয়োগ চিত্রিত করার জন্য যথেষ্ট নির্দিষ্ট উদাহরণের অভাব

প্রভাব

  1. একাডেমিক প্রভাব: উদ্ভূত বীজগণিত জ্যামিতি এবং বিকৃতি পরিমাণীকরণ তত্ত্বে গুরুত্বপূর্ণ অবদান
  2. পরবর্তী গবেষণা: সম্পর্কিত ক্ষেত্রে আরও গবেষণার ভিত্তি স্থাপন করে
  3. আন্তঃশৃঙ্খলা মূল্য: বীজগণিত জ্যামিতি, গাণিতিক পদার্থবিজ্ঞান এবং হোমোটপি তত্ত্ব সংযুক্ত করে

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

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

তথ্যসূত্র

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