2025-11-22T19:55:16.329627

Solid realization of motives with modulus

Matsumoto
We construct a covariant realization functor, denoted \textsc{Solidm}, from the category of motives with modulus to the derived category of solid modules in the sense of Clausen--Scholze. For any smooth modulus pair (X, D), the dual of Solidm(X, D) recovers the Hodge realization of Kelly--Miyazaki for (X, D). Using Ren's pro-solid comparison theorem, we give an explicit description of Solidm(X, D) and compute Solidm of the cone of M(U, D restricted to U) $\to$ M(X, D), in the setting where X is a smooth proper variety over a field, D $\subset$ X is a simple normal crossings divisor, and U $\subset$ X is an open immersion. We identify the result via the formal completion of X along the complement X $\setminus$ U.
academic

মডুলাস সহ মোটিভের সলিড রিয়েলাইজেশন

মৌলিক তথ্য

  • পেপার আইডি: 2510.13596
  • শিরোনাম: Solid realization of motives with modulus
  • লেখক: কেইহো মাৎসুমোটো
  • শ্রেণীবিভাগ: math.AG (বীজগণিতীয় জ্যামিতি)
  • প্রকাশনার সময়: ২০২৫ সালের ১৫ অক্টোবর (arXiv প্রি-প্রিন্ট)
  • পেপার লিঙ্ক: https://arxiv.org/abs/2510.13596

সারসংক্ষেপ

এই পেপারটি মডুলাস সহ মোটিভ (motives with modulus) বিভাগ থেকে ক্লাউসেন-শোলজে অর্থে সলিড মডিউলের ডেরাইভড বিভাগে একটি কোভেরিয়েন্ট রিয়েলাইজেশন ফাংটর Solid_m(−) নির্মাণ করে। মসৃণ মডুলাস জোড়া (X,D) এর জন্য, Solid_m(X,D) এর ডুয়াল কেলি-মিয়াজাকির (X,D) এর হজ রিয়েলাইজেশন পুনরুদ্ধার করে। রেনের প্রো-সলিড তুলনা উপপাদ্য ব্যবহার করে, লেখক স্পষ্টভাবে Solid_m(X,D) বর্ণনা করেন এবং X যখন একটি ক্ষেত্রের উপর মসৃণ প্রকৃত বীজগণিতীয় বৈচিত্র্য, D⊂X সরল স্বাভাবিক ক্রস বিভাজক, এবং U⊂X খোলা নিমজ্জন হয় তখন Solid_m(Cone(M(U,D|U)→M(X,D))) গণনা করেন, পরিপূরক X\U এর সাথে X̂{X\U} এর আনুষ্ঠানিক সমাপ্তির মাধ্যমে ফলাফল চিহ্নিত করে।

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

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

মূল অবদান

  1. কোভেরিয়েন্ট রিয়েলাইজেশন ফাংটর নির্মাণ: মডুলাস সহ মোটিভ বিভাগ PNor(A) থেকে সলিড A■-মডিউলের ডেরাইভড বিভাগ D(A■) এ ফাংটর Solid(−)
  2. ফাংটরের মৌলিক বৈশিষ্ট্য প্রতিষ্ঠা: □-অপরিবর্তনীয়তা, মসৃণ বিস্ফোরণ অপরিবর্তনীয়তা, প্রতিসম একঘেয়েতা ইত্যাদি গুরুত্বপূর্ণ বৈশিষ্ট্য প্রমাণ করা
  3. সাধারণ ক্ষেত্রে সম্প্রসারণ: আরও সাধারণ ফাংটর Solid_m(−) নির্মাণ করা, যার ডুয়াল কেলি-মিয়াজাকির হজ কোহোমোলজি পুনরুদ্ধার করে
  4. স্পষ্ট বর্ণনা প্রদান: রেনের প্রো-সলিড তুলনা উপপাদ্য ব্যবহার করে, Solid_m(X,D) এর নির্দিষ্ট গণনা সূত্র প্রদান করা
  5. জ্যামিতিক প্রয়োগ: আনুষ্ঠানিক সমাপ্তির মাধ্যমে শঙ্কু বস্তু Solid_m(Cone(M(U,D|_U)→M(X,D))) এর জ্যামিতিক অর্থ চিহ্নিত করা

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

কাজের সংজ্ঞা

বিচ্ছিন্ন নোথেরিয়ান কমিউটেটিভ রিং A এর জন্য, ফাংটর নির্মাণ করা:

Solid : PNor(A) → D(A■)

যেখানে PNor(A) হল মোট স্থান সাধারণ মডুলাস জোড়া বিভাগ, A■ := (A,A)■ হল A এর সাথে সম্পর্কিত প্রি-অ্যানালিটিক রিং।

মূল নির্মাণ

মডুলাস জোড়া (X,D) ∈ PNor(A) এর জন্য, সংজ্ঞায়িত করা:

Solid(X,D) := f!(f!A ⊗^L_{O_{X,■}} O_X(-D + |D|))

যেখানে f: X → Spec A হল গঠন মর্ফিজম।

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

  1. ছয় ফাংটর ফর্মালিজমের প্রয়োগ: ক্লাউসেন-শোলজে দ্বারা প্রতিষ্ঠিত সলিড মডিউলের ছয় ফাংটর ফর্মালিজম f!, f! ব্যবহার করা
  2. মডুলাস জোড়া পরিচালনা: চতুরতার সাথে মডুলাস জোড়া (X,D) কে লাইন বান্ডেল O_X(-D + |D|) এ রূপান্তরিত করা, যেখানে |D| D এর সমর্থন প্রতিনিধিত্ব করে
  3. প্রো-সলিড তুলনা: রেনের উপপাদ্য ব্যবহার করে ডেলিগনের প্রো-কোহেরেন্ট শীফ নির্মাণকে ক্লাউসেন-শোলজের নির্মাণের সাথে সংযুক্ত করা

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

উপপাদ্য 1.1 এর মূল বিষয়বস্তু

বিচ্ছিন্ন নোথেরিয়ান কমিউটেটিভ রিং A এবং অ্যানালিটিক রিং A■ এর জন্য, ফাংটর Solid(−) সন্তুষ্ট করে:

  1. ফাংটরিয়ালিটি: পরিবেশ মর্ফিজম h: (Y,C) → (X,D) এর জন্য একটি মর্ফিজম h_+: Solid(Y,C) → Solid(X,D) বিদ্যমান
  2. □-অপরিবর্তনীয়তা: প্রাকৃতিক মর্ফিজম Solid((X,D)⊗□) → Solid(X,D) একটি সমরূপতা
  3. বিস্ফোরণ অপরিবর্তনীয়তা: উপযুক্ত শর্তে, Solid(Bl_Z X, p*D) → Solid(X,D) একটি সমরূপতা
  4. কোহোমোলজি গণনা: যখন X A এর উপর সত্যিকারের মসৃণ হয়,
    H^{i+dim X}(X, Ω^{dim X}_{X/A}(-D + |D|)) ≃ H^{-i}(X, O(D - |D|))^∨
  5. দ্বৈততা: যখন X সম্পূর্ণ ছেদ হয়,
    RHom_{A■}(Solid(X,D), A) ≃ RΓ_{Zar}(X, O_X(D - |D|))

Solid_m ফাংটরে সম্প্রসারণ

সাধারণ মডুলাস জোড়া (X,D) এবং m ≥ 0 এর জন্য, সংজ্ঞায়িত করা:

Solid_m(X,D) := f! Hom_{O_{X,■}}(Ω^m_{X/A}(log |D|), f!A ⊗ O_{X,■} O_X(-D + |D|))

যখন X মসৃণ হয়, এটি সরলীকৃত হয়:

Solid_m(X,D) = f! Ω^{dim X - m}_{X/A}(log |D|)(-D)[dim X]

স্পষ্ট বর্ণনা এবং প্রয়োগ

উপপাদ্য 4.3 এর স্পষ্ট সূত্র

A একটি ক্ষেত্র হোক, X হল A এর উপর মসৃণ বীজগণিতীয় বৈচিত্র্য, j: X ↪ Y সহ মসৃণ কমপ্যাক্টিফিকেশন। তখন:

Solid_m(X,D) ≃ holim_n Rg_*(I^n ⊗ Ω^{d-m}_{Y/A}(log |D̃|)(-D̃))[d]

যেখানে I হল পরিপূরক এর আদর্শ শীফ, d = dim X।

উপপাদ্য 4.4 এর জ্যামিতিক প্রয়োগ

মসৃণ প্রকৃত বীজগণিতীয় বৈচিত্র্য X এবং খোলা নিমজ্জন j: U ↪ X এর জন্য, আছে:

Solid_m(Cone(M(U,D|_U) → M(X,D))) ≃ Rg_*(Ω^{d-m}_{X/A}(log |D|)(-D))^∧_Z[d]

যেখানে ডান দিক বন্ধ পরিপূরক Z = X\U এর সাথে আনুষ্ঠানিক সমাপ্তি।

প্রযুক্তিগত পদ্ধতি

ছয় ফাংটর ফর্মালিজম

পেপারটি ক্লাউসেন-শোলজে দ্বারা প্রতিষ্ঠিত সলিড মডিউল ছয় ফাংটর ফর্মালিজম ব্যাপকভাবে ব্যবহার করে:

  • f_, f^: সরাসরি চিত্র এবং বিপরীত চিত্র ফাংটর
  • f_!, f^!: ব্যতিক্রমী সরাসরি চিত্র এবং ব্যতিক্রমী বিপরীত চিত্র ফাংটর
  • ⊗, RHom: টেনসর গুণফল এবং অভ্যন্তরীণ হোম ফাংটর

মূল লেম্মা

লেম্মা 3.2: সীমাবদ্ধ নিখুঁত বিচ্ছিন্ন কমপ্লেক্স P এবং Q ∈ D(O_{X,■}) এর জন্য, একটি সমরূপতা আছে:

h! Hom_{O_{X,■}}(P,Q) ≃ Hom_{O_{Y,■}}(h*P, h!Q)

এই লেম্মা ফাংটর মর্ফিজম নির্মাণের মূল হাতিয়ার।

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

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

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

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

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

সীমাবদ্ধতা

  1. নির্দিষ্ট ফলাফলের জন্য বৈশিষ্ট্য 0 এর অনুমান প্রয়োজন
  2. সাধারণ মডুলাস জোড়ার জন্য, সাধারণতা বা মসৃণতার অনুমান প্রয়োজন
  3. স্পষ্ট গণনা নির্দিষ্ট জ্যামিতিক সেটিংয়ের উপর নির্ভর করে

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

  1. আরও সাধারণ বেস রিং এবং জ্যামিতিক বস্তুতে সম্প্রসারণ করা
  2. অন্যান্য রিয়েলাইজেশন ফাংটরের সাথে সম্পর্ক গবেষণা করা
  3. পাটিগণিত জ্যামিতিতে প্রয়োগ অন্বেষণ করা

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

সুবিধা

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

অপূর্ণতা

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

প্রভাব

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

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

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

সংদর্ভ

পেপারটি নিম্নলিখিত মূল সাহিত্য উদ্ধৃত করে:

  1. Shane Kelly and Hiroyasu Miyazaki. Hodge cohomology with a ramification filtration
  2. Clausen and Scholze. Lectures on condensed mathematics
  3. Fei Ren. Coherent six-functor formalisms: Pro vs solid
  4. Hiroyasu Miyazaki. Nisnevich topology with modulus

এই সাহিত্যগুলি এই পেপারের তাত্ত্বিক ভিত্তির মূল সমর্থন গঠন করে।