2025-11-11T03:18:46.031454

Comparison of motives with rational coefficients

Zhang

The theory of rational motives admits several models, including those of Morel, Beilinson, Ayoub, and Voevodsky. An open question has been the equivalence of Voevodsky's Nisnevich-based $\mathrm{DM}(S, \mathbb{Q})$ with the others, which was only known over excellent and geometrically unibranch base schemes. In this paper, we prove that modules over rational motivic Eilenberg Maclane spectrum $\mathbf{H}\mathbb{Q}$ is equivalent to Morel/Beilinson/Ayoub's rational motives over any Noetherian semi-normal base scheme $S$. Our main technical result is a stable motivic equivalence between the free $\mathbb{Q}$-linear spectrum $\mathbb{Q}[\mathbb{S}]$ and the motivic rational Eilenberg MacLane spectrum $\mathbf{H}\mathbb{Q}$. This equivalence is established by reducing the problem to an unstable comparison, where we apply our rational $\mathbb{A}^1$-Dold-Thom theorem, which depends on rational motivic Whitehead theorem that we develop. As a byproduct, we partially confirm that rational variant of Voevodsky's conjecture that the formation of $\mathbf{H}\mathbb{Q}$ is stable under base change between any Noetherian semi-normal schemes.

academic

মূলদ সহগ সহ প্রেরণার তুলনা

মৌলিক তথ্য

পত্রিকা ID: 2510.17194
শিরোনাম: মূলদ সহগ সহ প্রেরণার তুলনা
লেখক: বো ঝাং
শ্রেণীবিভাগ: math.AG (বীজগণিতীয় জ্যামিতি), math.AT (বীজগণিতীয় টপোলজি)
প্রকাশনা সময়: ২০২৫ সালের নভেম্বর ৫ তারিখ (arXiv সংস্করণ v5)
পত্রিকা লিঙ্ক: https://arxiv.org/abs/2510.17194

সারসংক্ষেপ

মূলদ প্রেরণা তত্ত্ব একাধিক মডেল স্বীকার করে, যার মধ্যে রয়েছে Morel, Beilinson, Ayoub এবং Voevodsky এর মডেল। একটি উন্মুক্ত সমস্যা হল Nisnevich টপোলজির উপর ভিত্তি করে Voevodsky প্রেরণা $\mathrm{DM}(S, \mathbb{Q})$ এর অন্যান্য মডেলের সাথে সমতুল্যতা, যা শুধুমাত্র চমৎকার এবং জ্যামিতিকভাবে একক-শাখাবিহীন ভিত্তি স্কিমে বৈধ।

এই পত্রিকায় প্রমাণ করা হয়েছে যে যেকোনো Noether অর্ধ-স্বাভাবিক ভিত্তি স্কিম $S$ এ, মূলদ প্রেরণা Eilenberg-MacLane বর্ণালী $\mathbf{H}\mathbb{Q}$ এর মডিউল বিভাগ Morel/Beilinson/Ayoub এর মূলদ প্রেরণার সমতুল্য।

প্রধান প্রযুক্তিগত ফলাফল হল মুক্ত $\mathbb{Q}$ -রৈখিক বর্ণালী $\mathbb{Q}[\mathbb{S}]$ এবং প্রেরণা মূলদ Eilenberg-MacLane বর্ণালী $\mathbf{H}\mathbb{Q}$ এর মধ্যে স্থিতিশীল প্রেরণা সমতুল্যতা। এই সমতুল্যতা সমস্যাটিকে অস্থিতিশীল তুলনায় হ্রাস করার মাধ্যমে প্রতিষ্ঠিত হয়, লেখক দ্বারা বিকশিত মূলদ $\mathbb{A}^1$ -Dold-Thom উপপাদ্য প্রয়োগ করে, যা মূলদ প্রেরণা Whitehead উপপাদ্যের উপর নির্ভর করে।

একটি পার্শ্ব পণ্য হিসাবে, Voevodsky অনুমানের মূলদ বিকৃতি আংশিকভাবে নিশ্চিত করা হয়েছে: $\mathbf{H}\mathbb{Q}$ এর নির্মাণ যেকোনো Noether অর্ধ-স্বাভাবিক স্কিম জুড়ে ভিত্তি পরিবর্তনের অধীনে স্থিতিশীল থাকে।

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

সমস্যার মূল

প্রেরণা তত্ত্ব Grothendieck দ্বারা মূলত কল্পিত এবং একাধিক গণিতবিদ দ্বারা বাস্তবায়িত একটি কাঠামো হিসাবে, বীজগণিতীয় বৈচিত্র্য অধ্যয়নের জন্য একটি শক্তিশালী এবং একীভূত সরঞ্জাম প্রদান করে। মূলদ সহগের অধীনে (অর্থাৎ সূচক বৈশিষ্ট্য বিপরীত করা), তত্ত্ব উল্লেখযোগ্যভাবে সরলীকৃত হয়, তবুও একাধিক আপাতদৃষ্টিতে ভিন্ন মডেল বিদ্যমান:

Morel প্রেরণা: মূলদ স্থিতিশীল প্রেরণা হোমোটপি বিভাগ $\mathrm{SH}(S)_\mathbb{Q}$ এর ইতিবাচক অংশ হিসাবে সংজ্ঞায়িত
Beilinson প্রেরণা: Beilinson প্রেরণা পরিবেশ বর্ণালী $H_B$ এর মডিউল বিভাগ হিসাবে সংজ্ঞায়িত, $H_B$ হল $\mathrm{KGL}_\mathbb{Q}$ এর সরাসরি যোগফল
Ayoub প্রেরণা: $\mathbb{P}^1$ -স্থিতিশীলকরণ $\mathbb{A}^1$ -স্থানীয় étale $\infty$ -শীফের মাধ্যমে নির্মিত
Voevodsky প্রেরণা: Nisnevich শীফ এবং স্থানান্তর ব্যবহার করে নির্মিত $\mathrm{DM}(S,\mathbb{Q})$

গবেষণার তাৎপর্য

প্রথম তিনটি মডেল সমতুল্য হিসাবে পরিচিত, কিন্তু Voevodsky এর মূল নির্মাণের সাথে সমতুল্যতা শুধুমাত্র চমৎকার এবং জ্যামিতিকভাবে একক-শাখাবিহীন ভিত্তি স্কিমে বৈধ। এটি তত্ত্বের প্রয়োগযোগ্য পরিসীমা সীমাবদ্ধ করে, বিশেষত কিছু গুরুত্বপূর্ণ জ্যামিতিক বস্তু যেমন Dedekind পূর্ণসংখ্যা বলয় বা নোডাল বক্ররেখার জন্য।

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

বিদ্যমান তুলনা ফলাফল ভিত্তি স্কিমের শক্তিশালী সীমাবদ্ধতার উপর নির্ভর করে (চমৎকার এবং জ্যামিতিকভাবে একক-শাখাবিহীন), যা ব্যবহারিক প্রয়োগে অত্যধিক কঠোর। আরও সাধারণ জ্যামিতিক পরিস্থিতি পরিচালনা করার জন্য নতুন প্রযুক্তিগত মাধ্যম প্রয়োজন।

মূল অবদান

প্রধান উপপাদ্য: যেকোনো Noether অর্ধ-স্বাভাবিক ভিত্তি স্কিম $S$ এ, $H\mathbb{Q}$ -মডিউল বিভাগ Morel/Beilinson/Ayoub এর মূলদ প্রেরণার সমতুল্য প্রমাণ করা হয়েছে
প্রযুক্তিগত অগ্রগতি: মুক্ত $\mathbb{Q}$ -রৈখিক বর্ণালী $\mathbb{Q}[\mathbb{S}]$ এবং প্রেরণা মূলদ Eilenberg-MacLane বর্ণালী $\mathbf{H}\mathbb{Q}$ এর মধ্যে স্থিতিশীল প্রেরণা সমতুল্যতা প্রতিষ্ঠা করা হয়েছে
তাত্ত্বিক সরঞ্জাম: মূলদ প্রেরণা Whitehead উপপাদ্য এবং মূলদ $\mathbb{A}^1$ -Dold-Thom উপপাদ্য বিকশিত করা হয়েছে
অনুমান যাচাইকরণ: Voevodsky এর $\mathbf{H}\mathbb{Q}$ ভিত্তি পরিবর্তন স্থিতিশীলতা সম্পর্কে অনুমান আংশিকভাবে নিশ্চিত করা হয়েছে

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

কাজের সংজ্ঞা

বিভিন্ন মূলদ প্রেরণা তত্ত্ব মডেলের মধ্যে সমতুল্যতা প্রতিষ্ঠা করা, বিশেষত Noether অর্ধ-স্বাভাবিক ভিত্তি স্কিমে $H\mathbb{Q}$ -মডিউল এবং অন্যান্য মূলদ প্রেরণা বিভাগের সমতুল্যতা প্রমাণ করা।

মূল কৌশল

পত্রিকা "স্থিতিশীল থেকে অস্থিতিশীল হ্রাস" কৌশল ব্যবহার করে:

মূল সমরূপতা নির্মাণ: নিয়মিত পরিবেশ বর্ণালী সমরূপতা $\Phi_S : \mathbb{Q}[\mathbb{S}] \to H\mathbb{Q}$ সংজ্ঞায়িত করা
অস্থিতিশীল সমস্যায় হ্রাস: স্থিতিশীল সমতুল্যতা অস্থিতিশীল মূলদ প্রেরণা সমতুল্যতায় হ্রাস করা
নতুন সরঞ্জাম প্রয়োগ: অস্থিতিশীল তুলনা পরিচালনা করতে মূলদ $\mathbb{A}^1$ -Dold-Thom উপপাদ্য ব্যবহার করা

প্রযুক্তিগত স্থাপত্য

মুক্ত $\mathbb{Q}$ -রৈখিক বর্ণালী নির্মাণ

প্রেরণা বর্ণালী $E$ এর জন্য, মুক্ত $\mathbb{Q}$ -রৈখিক প্রেরণা বর্ণালী $\mathbb{Q}[E]$ সংজ্ঞায়িত করা: $\mathbb{Q}[E]^n = \tilde{\mathbb{Q}}[E^n]$ যেখানে $\tilde{\mathbb{Q}}[(X,x_0)] = \text{coker}(\mathbb{Q}[x_0] \to \mathbb{Q}[X])$

মূলদ প্রেরণা Whitehead উপপাদ্য

উপপাদ্য 3.5: ধরুন $f: M \to N$ অসীম পরিবেশ স্থানের সমরূপতা। যদি $f$ মূলদ প্রেরণা সমতুল্য হয়, তাহলে $f \otimes^{\mathbb{A}^1} \mathbb{Q} : M \otimes^{\mathbb{A}^1} \mathbb{Q} \to N \otimes^{\mathbb{A}^1} \mathbb{Q}$ প্রেরণা সমতুল্য।

মূলদ $\mathbb{A}^1$ -Dold-Thom উপপাদ্য

উপপাদ্য 3.13: Noether স্কিম $S$ এর উপর মসৃণ আধা-প্রজেক্টিভ স্কিম $X$ এর জন্য, নিয়মিত মানচিত্র $\left(\coprod_n [X^n/S_n]\right)_+ \otimes \mathbb{Q} \to \left(\coprod_n S^nX\right)_+ \otimes \mathbb{Q}$ প্রেরণা সমতুল্য।

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

নতুন হ্রাস কৌশল: স্থিতিশীল সমস্যা অস্থিতিশীল মূলদ তুলনায় হ্রাস করা
জ্যামিতি-বীজগণিত সংযোগ: হোমোটপি ভাগফল $X^n//S_n$ এবং মোটা মডিউলি স্থান $S^nX$ এর মূলদ সমতুল্যতা প্রতিষ্ঠা করা
ভিত্তি পরিবর্তন স্থিতিশীলতা: অর্ধ-স্বাভাবিক স্কিম জুড়ে $H\mathbb{Q}$ নির্মাণের ভিত্তি পরিবর্তন স্থিতিশীলতা প্রমাণ করা

প্রধান উপপাদ্য প্রমাণের চিন্তাধারা

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

প্রধান উপপাদ্য নিম্নলিখিত পদক্ষেপের মাধ্যমে প্রমাণ করা হয়:

প্রস্তাব 3.8: $\Phi_S$ এর স্থিতিশীল সমতুল্যতা নির্দিষ্ট অস্থিতিশীল সমতুল্যতায় হ্রাস করা
উপপাদ্য 3.13: মূলদ $\mathbb{A}^1$ -Dold-Thom উপপাদ্য প্রমাণ করা
উপপাদ্য 3.12: ভাগফল স্ট্যাক এবং মোটা মডিউলি স্থানের মূলদ প্রেরণা সমতুল্যতা প্রতিষ্ঠা করা
লেম্মা 3.11: Voevodsky মূলদ প্রেরণার বৈশিষ্ট্য ব্যবহার করা

মূল লেম্মা 3.11

Noether স্কিম $S$ এর উপর মসৃণ আধা-প্রজেক্টিভ স্কিম $X$ এবং সীমিত গ্রুপ $G$ ক্রিয়ার জন্য, কার্যকর প্রেরণা সন্তুষ্ট করে: $M([X/G]) \simeq M(X/G)$

এটি মূলদ সহগের অধীনে $G$ -অপরিবর্তনীয় অংশের গণনা এবং সীমিত মানচিত্রের বৈশিষ্ট্য ব্যবহার করে।

পরীক্ষামূলক ফলাফল এবং প্রয়োগ

প্রধান ফলাফল

অনুসিদ্ধান্ত 1.3: যেকোনো Noether অর্ধ-স্বাভাবিক স্কিম $S$ এর জন্য, $H\mathbb{Q}$ -মডিউল বিভাগ নিম্নলিখিতের সমতুল্য:

Beilinson প্রেরণা
Ayoub প্রেরণা
Morel প্রেরণা

ভিত্তি পরিবর্তন স্থিতিশীলতা

প্রস্তাব 1.4: $H\mathbb{Q}$ এর নির্মাণ Noether অর্ধ-স্বাভাবিক স্কিম জুড়ে ভিত্তি পরিবর্তনের অধীনে স্থিতিশীল।

প্রযোজ্য পরিসীমা সম্প্রসারণ

ফলাফল প্রযোজ্য:

যেকোনো Dedekind পূর্ণসংখ্যা বলয়
নোডাল বক্ররেখা
সাধারণ Noether স্বাভাবিক স্কিম (চমৎকারতা শর্ত ছাড়াই)

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

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

Noether অর্ধ-স্বাভাবিক ভিত্তি স্কিমে মূলদ প্রেরণা তত্ত্বের বিভিন্ন মডেল একীভূত করা হয়েছে, পূর্বে প্রয়োজনীয় চমৎকারতা শর্ত অপসারণ করা হয়েছে।

সীমাবদ্ধতা

অর্ধ-স্বাভাবিকতা শর্ত এখনও প্রয়োজন
শুধুমাত্র মূলদ সহগ পরিস্থিতি পরিচালনা করা হয়েছে
সাধারণ স্কিমে সম্প্রসারণ আরও কাজ প্রয়োজন

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

আরও সাধারণ স্কিম শ্রেণীতে সম্প্রসারণ
সম্পূর্ণ সহগ পরিস্থিতি গবেষণা
অন্যান্য সমজাতীয় তত্ত্বের সাথে সংযোগ অন্বেষণ

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

সুবিধা

প্রযুক্তিগত উদ্ভাবন: নতুন মূলদ প্রেরণা Whitehead উপপাদ্য এবং $\mathbb{A}^1$ -Dold-Thom উপপাদ্য বিকশিত করা হয়েছে
জ্যামিতিক তাৎপর্য: প্রেরণা সমতুল্যতা গুরুত্বপূর্ণ জ্যামিতিক বস্তু শ্রেণীতে সম্প্রসারিত করা হয়েছে
তাত্ত্বিক সম্পূর্ণতা: প্রেরণা তত্ত্বে মৌলিক উন্মুক্ত সমস্যা আংশিকভাবে সমাধান করা হয়েছে
পদ্ধতি নতুনত্ব: স্থিতিশীল থেকে অস্থিতিশীল হ্রাস কৌশল সাধারণ প্রকৃতির

অপূর্ণতা

শর্ত সীমাবদ্ধতা: অর্ধ-স্বাভাবিকতা শর্ত এখনও বিদ্যমান
প্রযুক্তিগত জটিলতা: প্রমাণ একাধিক গভীর প্রযুক্তিগত সরঞ্জাম জড়িত
প্রযোজ্য পরিসীমা: শুধুমাত্র মূলদ সহগ পরিস্থিতিতে সীমাবদ্ধ

প্রভাব

এই কাজ প্রেরণা তত্ত্বের একীকরণ উল্লেখযোগ্যভাবে এগিয়ে নিয়ে যায়, আরও বিস্তৃত জ্যামিতিক পটভূমিতে প্রেরণা পদ্ধতি প্রয়োগের ভিত্তি স্থাপন করে, বিশেষত পাটিগণিত জ্যামিতি এবং বীজগণিতীয় জ্যামিতির সংযোগস্থলে।

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

পাটিগণিত জ্যামিতিতে প্রেরণা গবেষণা
বীজগণিতীয় $K$ -তত্ত্ব প্রয়োগ
বীজগণিতীয় চক্র তত্ত্ব
হোমোটপি বীজগণিত জ্যামিতি

সংদর্ভ

1 Anderson, O. E. Chow schemes in mixed characteristic. 2019. 2 Choudhury, U. Motives of deligne-mumford stacks. 2012. 3 Cisinski, D.-C. and Déglise, F. Triangulated categories of mixed motives. 2019. 6 Suslin, A. and Voevodsky, V. Relative cycles and chow sheaves. 2000. 7 Voevodsky, V. Open problems in the motivic stable homotopy theory. 2002.