স্কিমের নির্মাণযোগ্য উইট তত্ত্ব

মৌলিক তথ্য

• পত্রের আইডি: 2307.01032
• শিরোনাম: Constructible Witt theory of schemes
• লেখক: Onkar Kamlakar Kale, Girja S Tripathi
• শ্রেণীবিভাগ: math.AG (বীজগণিতীয় জ্যামিতি), math.KT (K-তত্ত্ব এবং সমসঙ্গত বীজগণিত)
• প্রকাশনার সময়: ২০২৪ সালের ৩১ ডিসেম্বর (সর্বশেষ সংস্করণ v3)
• পত্রের লিঙ্ক: https://arxiv.org/abs/2307.01032

সারসংক্ষেপ

এই পত্রটি স্কিম $X$ এর উপর $\Lambda$-মডিউলের étale স্তরের নির্মাণযোগ্য উইট তত্ত্ব অধ্যয়ন করে, যেখানে সহগ বলয় $\Lambda$ এর বৈশিষ্ট্য ২ এর সমান নয় এবং স্কিম $X$ এর অবশিষ্ট বৈশিষ্ট্যের সাথে পরস্পর মৌলিক। নির্মাণটি Cisinski এবং Déglise এর étale motives এর ডেরাইভড ক্যাটাগরি ছয়-ফাংক্টর ফর্মালিজমের সাম্প্রতিক অগ্রগতির উপর ভিত্তি করে তৈরি, যা স্কিমের সমসঙ্গত অপরিবর্তনীয় হিসাবে নির্মাণযোগ্য উইট তত্ত্ব অধ্যয়নের জন্য পটভূমি প্রদান করে। মসৃণ জটিল বীজগণিতীয় বৈচিত্র্য এবং সীমিত সহগ বলয়ের ক্ষেত্রে, লেখকরা প্রমাণ করেছেন যে এই পত্রে অধ্যয়ন করা বীজগণিতীয় নির্মাণযোগ্য উইট তত্ত্ব টোপোলজিক্যাল নির্মাণযোগ্য উইট তত্ত্বের সাথে সমান হতে পারে।

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

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

1. উইট গ্রুপ তত্ত্বের সম্প্রসারণ: ক্লাসিক্যাল উইট গ্রুপ তত্ত্ব Ernst Witt দ্বারা ১৯৩৭ সালে প্রবর্তিত হয়েছিল, যা ক্ষেত্রের উপর দ্বিঘাত ফর্মের সমরূপতা শ্রেণী অধ্যয়ন করে। Balmer এই তত্ত্বটি দ্বৈত সহ ত্রিভুজাকার ক্যাটাগরিতে সম্প্রসারিত করেছেন।
2. টোপোলজিক্যাল নির্মাণযোগ্য উইট তত্ত্ব: Woolf এবং Schürmann টোপোলজিক্যাল স্থানের উপর স্তর মডিউলের উইট গ্রুপ একটি সাধারণীকৃত সমসঙ্গত তত্ত্ব হিসাবে বিকশিত করেছেন, যা টোপোলজিক্যাল স্থানের স্বাক্ষর-ধরনের অপরিবর্তনীয় প্রদান করে।
3. বীজগণিতীয় জ্যামিতিতে সংশ্লিষ্টতা: লেখকরা বীজগণিতীয় জ্যামিতিতে অনুরূপ তত্ত্ব প্রতিষ্ঠা করতে চান, বিশেষত L-শ্রেণীর অনুসন্ধান করেন যা (টোপোলজিক্যাল) নির্মাণযোগ্য উইট গ্রুপ থেকে সাধারণ যুক্তিসঙ্গত সমসঙ্গতিতে স্থিতিশীল সমসঙ্গত ক্রিয়াকলাপ হিসাবে।

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

1. তাত্ত্বিক সম্পূর্ণতা: বীজগণিতীয় জ্যামিতিতে নির্মাণযোগ্য উইট তত্ত্বের একটি সিস্টেমেটিক কাঠামো প্রতিষ্ঠা করা
2. সমতুল্য তত্ত্বের সংযোগ: বিশেষত বাস্তব সংখ্যা ক্ষেত্রের ক্ষেত্রে $\mathbb{Z}/2\mathbb{Z}$-সমতুল্য উইট তত্ত্বের সাথে সংযোগ
3. টোপোলজিক্যাল-বীজগণিতীয় সংশ্লিষ্টতা: বীজগণিতীয়ভাবে সংজ্ঞায়িত নির্মাণযোগ্য উইট তত্ত্ব এবং টোপোলজিক্যালভাবে সংজ্ঞায়িত তত্ত্বের মধ্যে সেতু তৈরি করা

মূল অবদান

1. স্কিমের নির্মাণযোগ্য উইট তত্ত্ব প্রতিষ্ঠা: Cisinski-Déglise এর ছয়-ফাংক্টর ফর্মালিজমের উপর ভিত্তি করে, স্কিম $X$ এর উপর নির্মাণযোগ্য উইট গ্রুপ $W^i_c(X_{\text{ét}}, \Lambda)$ সংজ্ঞায়িত করা
2. বাস্তব সংখ্যা ক্ষেত্রের সমতুল্য বৈশিষ্ট্যকরণ প্রমাণ: বাস্তব সংখ্যা ক্ষেত্র $\mathbb{R}$ এর জন্য, সমরূপতা প্রতিষ্ঠা করা $W^i_c((\text{Spec } \mathbb{R})_{\text{ét}}, \Lambda) \cong W^i_{\text{lf}}(\Lambda[\mathbb{Z}/2\mathbb{Z}])$
3. বীজগণিতীয়-টোপোলজিক্যাল সংশ্লিষ্টতা প্রতিষ্ঠা: মসৃণ জটিল বীজগণিতীয় বৈচিত্র্য $X$ এবং সীমিত সহগ বলয় $\Lambda$ এর জন্য, প্রমাণ করা $W^i_c(X_{\text{ét}}, \Lambda) \cong W^i_c(X^{\text{an}}, \Lambda)$
4. বীজগণিতীয় স্বাক্ষর নির্মাণ: প্রজেক্টিভ বাস্তব বীজগণিতীয় বৈচিত্র্য এবং জটিল বীজগণিতীয় বৈচিত্র্যের জন্য সংশ্লিষ্ট উইট গ্রুপে মূল্য সহ স্বাক্ষর সংজ্ঞায়িত করা

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

তাত্ত্বিক কাঠামো

সংজ্ঞা 4.1 (নির্মাণযোগ্য উইট গ্রুপ): $X$ একটি স্কিম, $\Lambda$ শর্ত সন্তুষ্ট করে এমন একটি সহগ বলয়, এবং $T \in D^b_{\text{ctf}}(S_{\text{ét}}, \Lambda)$ একটি $\otimes$-বিপরীত বস্তু। নির্মাণযোগ্য উইট গ্রুপ দ্বৈত সহ ত্রিভুজাকার ক্যাটাগরি $(D^b_{\text{ctf}}(X_{\text{ét}}, \Lambda), D_X(T))$ এর উইট গ্রুপ হিসাবে সংজ্ঞায়িত: $W^n_c(X_{\text{ét}}, \Lambda, T) := W^n(D^b_{\text{ctf}}(X_{\text{ét}}, \Lambda), D_X(T))$

যেখানে দ্বৈত ফাংক্টর: $D_X(T) = R\text{Hom}(-, f^!(T)) : D^b_{\text{ctf}}(X_{\text{ét}}, \Lambda)^{\text{op}} \to D^b_{\text{ctf}}(X_{\text{ét}}, \Lambda)$

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

1. ছয়-ফাংক্টর ফর্মালিজম: Cisinski-Déglise এর কাজ ব্যবহার করে, আরও সাধারণ সেটিংয়ে ছয়-ফাংক্টর ফর্মালিজম প্রতিষ্ঠা করা
2. স্থানীয় নির্মাণযোগ্য h-motives: সমতুল্যতা $D^b_{\text{ctf}}(X_{\text{ét}}, \Lambda) \simeq DM_{h,lc}(X, \Lambda)$ এর মাধ্যমে বৃহত্তর সাধারণতা অর্জন করা
3. গ্যালোয়া তত্ত্ব: ক্ষেত্রের ক্ষেত্রে, পরম গ্যালোয়া গ্রুপের ক্রিয়া ব্যবহার করে সমতুল্য বর্ণনা প্রতিষ্ঠা করা

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

1. সম্প্রসারিত ছয়-ফাংক্টর ফর্মালিজম: ক্লাসিক্যাল AGV71, DGIV77 এর তুলনায়, étale motives এর মাধ্যমে আরও সাধারণ ফলাফল অর্জন করা
2. দ্বৈত সামঞ্জস্য: pullback এবং pushforward এর দ্বৈত কাঠামোর সাথে সামঞ্জস্য প্রমাণ করা
3. সমতুল্য ক্যাটাগরির দ্বৈত সংরক্ষণ: বিভিন্ন ক্যাটাগরির মধ্যে সমতুল্যতা দ্বৈত কাঠামো সংরক্ষণ করে এমন কাঠামো প্রতিষ্ঠা করা

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

উপপাদ্য 1.1 (ছয়-ফাংক্টর ফর্মালিজম)

$B$ একটি মাত্রা $\leq 2$ এর উৎকৃষ্ট noether স্কিম, $\Lambda$ একটি ধনাত্মক বৈশিষ্ট্য noether বলয় এবং $B$ এর অবশিষ্ট বৈশিষ্ট্যের সাথে পরস্পর মৌলিক। $\phi: S \to B$ একটি নিয়মিত বিচ্ছিন্ন সীমিত প্রকার $B$-স্কিম, $f: X \to S$ একটি বিচ্ছিন্ন সীমিত প্রকার মানচিত্র। তখন:

1. ক্যাটাগরি $D^b_{\text{ctf}}(X_{\text{ét}}, \Lambda) \subset D^b(X_{\text{ét}}, \Lambda)$ ছয়-ফাংক্টরের অধীনে বন্ধ
2. $\otimes$-বিপরীত বস্তু $T \in D^b_{\text{ctf}}(S_{\text{ét}}, \Lambda)$ এর জন্য, ফাংক্টর $D_X(T) = R\text{Hom}(-, f^!(T))$ একটি দ্বৈত ফাংক্টর

উপপাদ্য 1.2 (ফাংক্টরিয়ালিটি)

একই অনুমানের অধীনে, étale মানচিত্র নির্মাণযোগ্য উইট গ্রুপের pullback প্রেরণ করে, proper মানচিত্র pushforward প্রেরণ করে।

উপপাদ্য 1.3 (বাস্তব সংখ্যা ক্ষেত্রের সমতুল্য বৈশিষ্ট্যকরণ)

বৈশিষ্ট্য ২ এর সমান নয় এমন সীমিত বলয় $\Lambda$ এর জন্য: $D^b_{\text{ctf}}((\text{Spec } \mathbb{R})_{\text{ét}}, \Lambda) \simeq D^b(\text{Proj}(\Lambda[\mathbb{Z}/2\mathbb{Z}]))$

এটি নির্মাণযোগ্য উইট গ্রুপের সমতুল্যতা প্রেরণ করে: $W^i_c((\text{Spec } \mathbb{R})_{\text{ét}}, \Lambda) \cong W^i_{\text{lf}}(\Lambda[\mathbb{Z}/2\mathbb{Z}])$

উপপাদ্য 1.4 (বীজগণিতীয়-টোপোলজিক্যাল সংশ্লিষ্টতা)

$X$ হল $\mathbb{C}$ এর উপর একটি মসৃণ বীজগণিতীয় বৈচিত্র্য, $\Lambda$ বৈশিষ্ট্য ২ এর সমান নয় এমন একটি সীমিত বলয়। তখন দ্বৈত সহ ত্রিভুজাকার ক্যাটাগরির একটি সমতুল্যতা রয়েছে: $(D^b_{\text{ctf}}(X_{\text{ét}}, \Lambda), R\text{Hom}(-, \Lambda)) \simeq (D^b_c(X^{\text{an}}, \Lambda), R\text{Hom}(-, \Lambda))$

যা সমরূপতা প্রেরণ করে: $W^i_c(X_{\text{ét}}, \Lambda) \cong W^i_c(X^{\text{an}}, \Lambda)$

প্রয়োগ এবং ফলাফল

স্বাক্ষরের নির্মাণ

উপপাদ্য 7.1: প্রজেক্টিভ বীজগণিতীয় বৈচিত্র্যের জন্য, স্বাক্ষর মানচিত্র নির্মাণ করা:

1. বাস্তব প্রজেক্টিভ বৈচিত্র্য: প্রজেক্টিভ বাস্তব বীজগণিতীয় বৈচিত্র্য $X$ এবং কাঠামো মানচিত্র $f: X \to \text{Spec } \mathbb{R}$ এর জন্য: $W^i(f_*): W^i_c(X_{\text{ét}}, \Lambda) \to W^i_{\text{lf}}(\Lambda[\mathbb{Z}/2\mathbb{Z}])$
2. জটিল প্রজেক্টিভ বৈচিত্র্য: প্রজেক্টিভ জটিল বীজগণিতীয় বৈচিত্র্য $X$ এবং কাঠামো মানচিত্র $f: X \to \text{Spec } \mathbb{C}$ এর জন্য: $W^i(f_*): W^i_c(X_{\text{ét}}, \Lambda) \to W^i_{\text{lf}}(\Lambda)$

স্থানীয়করণ ক্রম

বন্ধ নিমজ্জন $i: Z \hookrightarrow X$ এবং পরিপূরক খোলা নিমজ্জন $j: U = X - Z \hookrightarrow X$ এর জন্য, ১২-পদ নিখুঁত ক্রম পাওয়া যায়: $\cdots \to W^{n-1}_c(U_{\text{ét}}, \Lambda) \xrightarrow{\partial^{n-1}} W^n_c(Z_{\text{ét}}, \Lambda) \xrightarrow{W^n(i_*)} W^n_c(X_{\text{ét}}, \Lambda) \xrightarrow{W^n(j^*)} W^n_c(U_{\text{ét}}, \Lambda) \to \cdots$

প্রযুক্তিগত বিবরণ

নির্মাণযোগ্য স্তরের বৈশিষ্ট্যকরণ

noether স্কিম $X$ এবং noether বলয় $\Lambda$ এর জন্য, $\Lambda$-মডিউল স্তর $\mathcal{F}$ নির্মাণযোগ্য যখন এবং শুধুমাত্র যখন $X$ এর একটি সীমিত স্থানীয় বন্ধ উপসেট বিয়োজন $\bigcup^n_{i=1} X_i$ বিদ্যমান থাকে যাতে প্রতিটি $\mathcal{F}|_{X_i}$ স্থানীয়ভাবে ধ্রুবক এবং $\mathcal{F}$ এর কাণ্ড সীমিত উৎপাদিত $\Lambda$-মডিউল।

সীমিত Tor-মাত্রা

সীমিত জটিল $\mathcal{F}^\bullet$ সীমিত Tor-মাত্রা রাখে যদি একটি পূর্ণসংখ্যা $n$ বিদ্যমান থাকে যাতে সকল $i > n$ এবং যেকোনো ধ্রুবক $\Lambda$-মডিউল স্তর $\mathcal{M}$ এর জন্য, $\text{Tor}_i(\mathcal{F}^\bullet, \mathcal{M}) = 0$ হয়।

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

ঐতিহাসিক বিকাশ

1. Witt (১৯৩৭): ক্ষেত্রের উপর দ্বিঘাত ফর্মের উইট গ্রুপ প্রবর্তন করা
2. Balmer (১৯৯৯-২০০১): দ্বৈত সহ ত্রিভুজাকার ক্যাটাগরির উইট তত্ত্ব বিকাশ করা
3. Woolf (২০০৮), Schürmann-Woolf (২০২০): টোপোলজিক্যাল স্থানের উপর নির্মাণযোগ্য উইট তত্ত্ব

প্রযুক্তিগত ভিত্তি

1. Cisinski-Déglise (২০১৬): étale motives এর ছয়-ফাংক্টর ফর্মালিজম
2. Beilinson-Bernstein-Deligne (১৯৮২): বীজগণিতীয় এবং টোপোলজিক্যাল নির্মাণযোগ্য স্তরের তুলনা
3. Grothendieck ইত্যাদি (SGA 4, 4½): étale সমসঙ্গতির ক্লাসিক্যাল তত্ত্ব

সিদ্ধান্ত এবং আলোচনা

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

1. সফলভাবে স্কিমের নির্মাণযোগ্য উইট তত্ত্ব সমসঙ্গত অপরিবর্তনীয় হিসাবে প্রতিষ্ঠা করা
2. বাস্তব সংখ্যা ক্ষেত্রের ক্ষেত্রে $\mathbb{Z}/2\mathbb{Z}$-সমতুল্য উইট তত্ত্বের সাথে সমতুল্যতা প্রমাণ করা
3. বীজগণিতীয় এবং টোপোলজিক্যাল নির্মাণযোগ্য উইট তত্ত্বের মধ্যে সেতু প্রতিষ্ঠা করা
4. প্রজেক্টিভ বৈচিত্র্যের জন্য উইট-মূল্যবান স্বাক্ষর নির্মাণ করা

সীমাবদ্ধতা

1. হোমোটপি অপরিবর্তনীয়তা: দ্বৈত এবং ছয়-ফাংক্টর ফর্মালিজমের সামঞ্জস্যের সীমাবদ্ধতার কারণে, হোমোটপি অপরিবর্তনীয়তা প্রমাণ করা যায়নি
2. সহগ বলয়ের সীমাবদ্ধতা: সহগ বলয়ের বৈশিষ্ট্য স্কিমের অবশিষ্ট বৈশিষ্ট্যের সাথে পরস্পর মৌলিক হতে হবে
3. মাত্রার সীমাবদ্ধতা: ভিত্তি স্কিমের মাত্রা $\leq 2$ এ সীমাবদ্ধ

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

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

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

সুবিধা

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

অপূর্ণতা

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

প্রভাব

1. তাত্ত্বিক অবদান: বীজগণিতীয় জ্যামিতির জন্য নতুন সমসঙ্গত অপরিবর্তনীয় তত্ত্ব প্রদান করা
2. আন্তঃক্ষেত্রীয় সংযোগ: বীজগণিতীয় জ্যামিতি, টোপোলজি এবং K-তত্ত্বকে সংযুক্ত করা
3. পরবর্তী গবেষণা: উইট স্থানের বীজগণিতীয় তত্ত্বের ভিত্তি স্থাপন করা

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

1. বীজগণিতীয় বৈচিত্র্যের শ্রেণীবিভাগ এবং অপরিবর্তনীয় গবেষণা
2. বাস্তব বীজগণিতীয় জ্যামিতিতে স্বাক্ষর তত্ত্ব
3. সমতুল্য বীজগণিতীয় জ্যামিতির গবেষণা
4. প্রেরণা সমসঙ্গত তত্ত্বের প্রয়োগ

সংদর্ভ

Bal99-01 P. Balmer. Derived Witt groups and triangular Witt groups series CD16 D.-C. Cisinski, F. Déglise. Étale motives Woo08 J. Woolf. Witt groups of sheaves on topological spaces SW20 J. Schürmann, J. Woolf. Witt groups of abelian categories and perverse sheaves

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