We show that if $f\colon X \to T$ is a surjective morphism between smooth projective varieties over an algebraically closed field $k$ of characteristic $p>0$ with geometrically integral and non-uniruled generic fiber, then $K_{X/T}$ is pseudo-effective.
The proof is based on covering $X$ with rational curves, which gives a contradiction as soon as both the base and the generic fiber are not uniruled. However, we assume only that the generic fiber is not uniruled. Hence, the hardest part of the proof is to show that there is a finite smooth non-uniruled cover of the base for which we show the following: If $T$ is a smooth projective variety over $k$ and $\mathcal{A}$ is an ample enough line bundle, then a cyclic cover of degree $p \nmid d$ given by a general element of $\left|\mathcal{A}^d\right|$ is not uniruled. For this we show the following cohomological uniruledness condition, which might be of independent interest: A smooth projective variety $T$ of dimenion $n$ is not uniruled whenever the dimension of the semi-stable part of $H^n(T, \mathcal{O}_T)$ is greater than that of $H^{n-1}(T, \mathcal{O}_T)$.
Additionally, we also show singular versions of all the above statements.
- পত্রিকা ID: 2009.07158
- শিরোনাম: আপেক্ষিক প্রামাণিক বিভাজকের সুদৃঢ়-কার্যকারিতা এবং ধনাত্মক বৈশিষ্ট্যে একরৈখিকতা
- লেখক: Zsolt Patakfalvi (École Polytechnique Fédérale de Lausanne)
- শ্রেণীবিভাগ: math.AG (বীজগণিতীয় জ্যামিতি)
- প্রকাশিত সাময়িকী: Épijournal de Géométrie Algébrique, খণ্ড 9 (2025), নিবন্ধ সংখ্যা 7
- পত্রিকা লিঙ্ক: https://arxiv.org/abs/2009.07158
এই পত্রিকায় প্রমাণ করা হয়েছে যে বৈশিষ্ট্য p>0 সহ বীজগণিতীয়ভাবে বন্ধ ক্ষেত্র k এর উপর, যদি f:X→T মসৃণ প্রজেক্টিভ বৈচিত্র্যের মধ্যে একটি অনুমানমূলক মরফিজম হয় এবং জ্যামিতিক সাধারণ ফাইবার জ্যামিতিকভাবে অবিচ্ছেদ্য এবং একরৈখিক নয়, তাহলে KX/T সুদৃঢ়-কার্যকর। প্রমাণটি যুক্তিসঙ্গত বক্ররেখা দ্বারা X কভার করার উপর ভিত্তি করে, যখন ভিত্তি এবং সাধারণ ফাইবার উভয়ই একরৈখিক নয় তখন একটি বিরোধিতা উৎপন্ন হয়। তবে, এই পত্রিকায় শুধুমাত্র সাধারণ ফাইবার একরৈখিক নয় এই অনুমান করা হয়, তাই প্রমাণের সবচেয়ে কঠিন অংশ হল ভিত্তির একটি সীমিত মসৃণ একরৈখিক-নয় কভারেজ নির্মাণ করা। লেখক একটি সহ-সমজাতীয় একরৈখিকতা নির্ধারণ শর্তও প্রতিষ্ঠা করেছেন: মাত্রা n এর একটি মসৃণ প্রজেক্টিভ বৈচিত্র্য T যখন Hn(T,OT) এর অর্ধ-স্থিতিশীল অংশের মাত্রা Hn−1(T,OT) এর চেয়ে বড় হয় তখন একরৈখিক নয়।
বৈশিষ্ট্য শূন্য ক্ষেত্রে, আপেক্ষিক প্রামাণিক বান্ডেলের অর্ধ-ইতিবাচকতা তত্ত্ব ইতিমধ্যে বেশ পরিপক্ক। ফাইবারেশন f:X→T এর জন্য, যখন জ্যামিতিক সাধারণ ফাইবার Xη নিম্নলিখিত সমতুল্য শর্তগুলির মধ্যে একটি সন্তুষ্ট করে, তখন KX/T সুদৃঢ়-কার্যকর:
- (Psef) KXη সুদৃঢ়-কার্যকর
- (N-ur) Xη একরৈখিক নয়
ধনাত্মক বৈশিষ্ট্যের ক্ষেত্রে, এই তত্ত্বটি উল্লেখযোগ্য অসুবিধার সম্মুখীন হয়:
- শর্তের অসমতুল্যতা: ধনাত্মক বৈশিষ্ট্যে, শর্ত (Psef) এবং (N-ur) আর সমতুল্য নয়
- প্রতিউদাহরণের অস্তিত্ব: শর্ত (Psef) সহ বিবৃতি (1.1) ধনাত্মক বৈশিষ্ট্যে ব্যর্থ হয় এটি পরিচিত
- বন্য আচরণ: ধনাত্মক বৈশিষ্ট্যে বিশেষ "বন্য" আচরণ বিদ্যমান, যা অতিরিক্ত শর্ত দ্বারা বাদ দিতে হবে
শর্ত (N-ur) সাধারণ বন্য আচরণ বিবেচনা করতে পারে এই কারণে, লেখক যাচাই করতে চান যে শর্ত (N-ur) সহ বিবৃতি ধনাত্মক বৈশিষ্ট্যে এখনও সত্য কিনা। এটি শুধুমাত্র তাত্ত্বিকভাবে গুরুত্বপূর্ণ নয়, নিম্নলিখিত প্রয়োগে এটি মূল গুরুত্বপূর্ণ:
- কোডাইরা মাত্রার উপ-সংযোজনশীলতা
- K-স্থিতিশীল/KSBA-স্থিতিশীল বৈচিত্র্যের মডিউলি স্থান নির্মাণ
- হাইপারবোলিসিটি সমস্যা
- অ-অন্তর্ধান অনুমান
- বৈচিত্র্যের ভূগোল
- প্রধান উপপাদ্য: প্রমাণ করেছে যে ধনাত্মক বৈশিষ্ট্যে, যদি জ্যামিতিক সাধারণ ফাইবার অবিচ্ছেদ্য এবং একরৈখিক নয়, তাহলে KX/T সুদৃঢ়-কার্যকর
- সহ-সমজাতীয় নির্ধারণ শর্ত: Frobenius অর্ধ-স্থিতিশীল অংশের উপর ভিত্তি করে একরৈখিকতা-নয় নির্ধারণ শর্ত প্রতিষ্ঠা করেছে
- চক্রীয় কভারেজ নির্মাণ: প্রমাণ করেছে যে উপযুক্ত শর্তে, সাধারণ চক্রীয় কভারেজ একরৈখিক নয়
- বৈশিষ্ট্য সংস্করণ: সমস্ত প্রধান ফলাফলের বৈশিষ্ট্য সংস্করণ প্রদান করেছে
- মিশ্র বৈশিষ্ট্য প্রয়োগ: দুর্বল ক্রমানুবর্তিতা অনুমানের অধীনে মিশ্র বৈশিষ্ট্য পরিবারের প্রয়োগ প্রদান করেছে
প্রমাণ করতে হবে: ধরুন f:X→T হল বৈশিষ্ট্য p>0 সহ বীজগণিতীয়ভাবে বন্ধ ক্ষেত্র k এর উপর মসৃণ প্রজেক্টিভ বৈচিত্র্যের মধ্যে একটি অনুমানমূলক মরফিজম, যদি জ্যামিতিক সাধারণ ফাইবার জ্যামিতিকভাবে অবিচ্ছেদ্য এবং একরৈখিক নয়, তাহলে KX/T সুদৃঢ়-কার্যকর।
প্রধান প্রমাণ চিন্তাভাবনা তুলনামূলকভাবে সরাসরি, কিন্তু প্রযুক্তিগত বাস্তবায়ন অত্যন্ত জটিল:
- প্রমাণ দ্বারা বিরোধিতা সেটআপ: অনুমান করুন যে KX/T সুদৃঢ়-কার্যকর নয়
- বাঁক-ভাঙা যুক্তি: ভিত্তির একরৈখিকতা-নয় কভারেজ এবং একাধিক Frobenius ভিত্তি পরিবর্তন একত্রিত করুন
- সুদৃঢ়-কার্যকর শঙ্কু দ্বৈততা: সুদৃঢ়-কার্যকর শঙ্কু হল চলনশীল বক্ররেখা শঙ্কুর দ্বৈত এই তথ্য ব্যবহার করুন
সবচেয়ে বড় প্রযুক্তিগত বাধা হল ভিত্তি T এর একটি মসৃণ একরৈখিকতা-নয় সীমিত কভারেজ নির্মাণ করা। এটি ধনাত্মক বৈশিষ্ট্যে বিশেষভাবে কঠিন, কারণ:
- বৈচিত্র্য একরৈখিক নয় তা প্রমাণ করা কঠিন
- মসৃণতা সরাসরি দিতে হবে, কারণ বৈশিষ্ট্য সমাধান উপলব্ধ নয়
উপপাদ্য 3.16: ধরুন X হল মাত্রা n>0 এর একটি মসৃণ প্রজেক্টিভ বৈচিত্র্য, যদি
dimkHn−1(X,OX)ss<dimkHn(X,OX)ss
তাহলে Hn(X,WOX,Q)=0, এবং এর ফলে X একরৈখিক নয়।
এখানে Hi(X,OX)ss Frobenius ক্রিয়ার অধীনে অর্ধ-স্থিতিশীল অংশ নির্দেশ করে।
Hi(X,WjOX) এর মতো সহ-সমজাতীয় গোষ্ঠী পরিচালনা করার জন্য, লেখক সীমিত W(k) দৈর্ঘ্যের W(k)σ-মডিউল তত্ত্ব বিকশিত করেছেন:
সংজ্ঞা 3.1: একটি W(k)σ-মডিউল হল একটি জোড় (M,F), যেখানে M হল একটি W(k)-মডিউল, F:M→M হল একটি সংযোজন সমরূপতা, যা সন্তুষ্ট করে
F(rm)=σ(r)F(m),∀m∈M,r∈W(k)
উপপাদ্য 3.21: ধরুন X হল মাত্রা n এর একটি প্রজেক্টিভ S3 বৈচিত্র্য, H হল একটি প্রচুর লাইন বান্ডেল। তাহলে একটি পূর্ণসংখ্যা s>0 বিদ্যমান যেমন: প্রতিটি p∤d>0 এবং একটি সাধারণ D∈∣Hsd∣ এর জন্য, সংশ্লিষ্ট d তম চক্রীয় কভারেজ
Y:=SpecX(⨁i=0d−1H−si)
সন্তুষ্ট করে Hn(Y,WOY,Q)=0, এবং এর ফলে একরৈখিক নয়।
যেহেতু এটি বিশুদ্ধ তাত্ত্বিক গণিত পত্রিকা, এটি সংখ্যাগত পরীক্ষা জড়িত নয়, বরং কঠোর গাণিতিক প্রমাণের মাধ্যমে তাত্ত্বিক ফলাফল যাচাই করে।
- গঠনমূলক প্রমাণ: শর্ত সন্তুষ্ট করে এমন বস্তু স্পষ্টভাবে নির্মাণের মাধ্যমে
- প্রমাণ দ্বারা বিরোধিতা: সিদ্ধান্ত সত্য নয় অনুমান করে বিরোধিতা উৎপন্ন করা
- গাণিতিক আবেগ: কিছু প্রযুক্তিগত লেম্মায় গাণিতিক আবেগ ব্যবহার করা
- বিভাগ তত্ত্ব পদ্ধতি: W(k)σ-মডিউল বিভাগের বৈশিষ্ট্য ব্যবহার করা
- লেম্মা 4.1: ফাইবারেশনে একরৈখিকতার প্রচার বৈশিষ্ট্য প্রমাণ করা
- লেম্মা 4.2: ফাইবার পণ্যের অবিচ্ছেদ্যতা যাচাই করা
- প্রস্তাব 3.18: অর্ধ-স্থিতিশীল উপ-স্থানের বিকৃতি তত্ত্ব
- প্রস্তাব 3.20: নির্দিষ্ট Frobenius ক্রিয়ার অ-অন্তর্ধান
উপপাদ্য 1.1: ধরুন f:X→T হল বৈশিষ্ট্য p>0 সহ বীজগণিতীয়ভাবে বন্ধ ক্ষেত্র k এর উপর মসৃণ প্রজেক্টিভ বৈচিত্র্যের মধ্যে একটি অনুমানমূলক মরফিজম, যদি জ্যামিতিক সাধারণ ফাইবার অবিচ্ছেদ্য এবং একরৈখিক নয়, তাহলে KX/T সুদৃঢ়-কার্যকর।
ফলাফল 1.2 (কোডাইরা মাত্রা উপ-সংযোজনশীলতা): যদি f:X→T হল মসৃণ প্রজেক্টিভ বৈচিত্র্যের মধ্যে একটি অনুমানমূলক মরফিজম, T সাধারণ ধরনের, জ্যামিতিক সাধারণ ফাইবার Xη অবিচ্ছেদ্য, একরৈখিক নয় এবং KXη বড়, তাহলে
κ(X)≥κ(KXη)+κ(T)
ফলাফল 1.5: দুর্বল ক্রমানুবর্তিতা অনুমানের অধীনে, যদি বৈশিষ্ট্য শূন্য বৈচিত্র্য X সন্তুষ্ট করে dimHdimX(X,OX)>dimHdimX−1(X,OX), তাহলে এর মিশ্র বৈশিষ্ট্য মডেলে, একরৈখিক-নয় ফাইবার একটি ঘন সেট গঠন করে।
- প্রজেক্টিভ বৈচিত্র্যের সহ-সমজাতীয়তার জন্য প্রযোজ্য W(k)σ-মডিউল তত্ত্ব বিকশিত করেছে
- অর্ধ-স্থিতিশীল অংশের মাত্রা তুলনার উপর ভিত্তি করে একরৈখিকতা-নয় নির্ধারণ শর্ত প্রতিষ্ঠা করেছে
- Witt সহ-সমজাতীয়তা অ-অন্তর্ধান এবং একরৈখিকতা-নয়তার সংযোগ প্রমাণ করেছে
- পরিবারে Frobenius অর্ধ-স্থিতিশীল উপ-স্থানের বিকৃতি বৈশিষ্ট্য প্রমাণ করেছে
- সাধারণ বিভাজক দ্বারা প্রেরিত Frobenius ক্রিয়ার অ-অবক্ষয়তা প্রতিষ্ঠা করেছে
- একরৈখিক-নয় চক্রীয় কভারেজ নির্মাণের একটি সাধারণ পদ্ধতি প্রদান করেছে
- কভারেজের মসৃণতা এবং একরৈখিকতা-নয়তা একসাথে নিশ্চিত করা যায় তা প্রমাণ করেছে
- Viehweg, Nakamura এবং অন্যদের দ্বারা প্রতিষ্ঠিত ক্লাসিক্যাল আপেক্ষিক প্রামাণিক বান্ডেল অর্ধ-ইতিবাচকতা তত্ত্ব
- Kollár এর একরৈখিক বৈচিত্র্য এবং যুক্তিসঙ্গত বক্ররেখা সম্পর্কে ভিত্তি তত্ত্ব
- Patakfalvi এর ধনাত্মক বৈশিষ্ট্য অর্ধ-ইতিবাচকতা সম্পর্কে পূর্ববর্তী কাজ
- Chen-Zhang, Ejiri-Zhang এবং অন্যদের সম্পর্কিত ফলাফল
- CEKZ দ্বারা প্রদত্ত প্রতিউদাহরণ, যা নির্দেশ করে যে কিছু বৈশিষ্ট্য শূন্য ফলাফল ধনাত্মক বৈশিষ্ট্যে ব্যর্থ হয়
- Esnault, Patakfalvi-Zdanowicz এর Witt সহ-সমজাতীয়তা এবং একরৈখিকতা-নয়তার সম্পর্ক সম্পর্কে কাজ
- Serre এর Witt ভেক্টর সম্পর্কে ক্লাসিক্যাল তত্ত্ব
- ধনাত্মক বৈশিষ্ট্যে, আপেক্ষিক প্রামাণিক বান্ডেলের সুদৃঢ়-কার্যকারিতা একরৈখিকতা-নয় অনুমানের অধীনে এখনও সত্য
- অর্ধ-স্থিতিশীল অংশের উপর ভিত্তি করে সহ-সমজাতীয় একরৈখিকতা-নয় নির্ধারণ শর্ত কার্যকর
- চক্রীয় কভারেজ একরৈখিক-নয় বৈচিত্র্য নির্মাণের একটি সুশৃঙ্খল পদ্ধতি প্রদান করে
- জ্যামিতিক অবিচ্ছেদ্যতা অনুমান: বর্তমানে এখনও জ্যামিতিক সাধারণ ফাইবার অবিচ্ছেদ্য এই অনুমান প্রয়োজন
- সুদৃঢ়-কার্যকারিতা বনাম প্রাচুর্য: শুধুমাত্র দুর্বলতম অর্ধ-ইতিবাচকতা (সুদৃঢ়-কার্যকারিতা) পাওয়া যায়
- বৈশিষ্ট্য সীমাবদ্ধতা: বৈশিষ্ট্য সংস্করণ সম্পূর্ণ ছেদ, WO-যুক্তিসঙ্গত ইত্যাদি বিশেষ বৈশিষ্ট্যে সীমাবদ্ধ প্রয়োজন
- অবিচ্ছেদ্যতা অনুমান অপসারণ: এটি একমাত্র সম্ভাব্য আরও সাধারণীকরণ দিক
- শক্তিশালী অর্ধ-ইতিবাচকতা: গবেষণা করুন যে nef বা প্রাচুর্য পাওয়া যায় কিনা
- প্রশ্ন 3.22: WO-যুক্তিসঙ্গতা অতিপ্লেন ছেদ এবং চক্রীয় কভারেজের অধীনে সংরক্ষণ
- তাত্ত্বিক অগ্রগতি: ধনাত্মক বৈশিষ্ট্য বীজগণিতীয় জ্যামিতিতে একটি গুরুত্বপূর্ণ সমস্যা সমাধান করেছে, বৈশিষ্ট্য শূন্য এবং ধনাত্মক বৈশিষ্ট্য তত্ত্যের মধ্যে ফাঁক পূরণ করেছে
- প্রযুক্তিগত উদ্ভাবন: বিকশিত Witt সহ-সমজাতীয় প্রযুক্তি এবং W(k)σ-মডিউল তত্ত্ব স্বাধীন মূল্য রাখে
- পদ্ধতি সুশৃঙ্খলতা: একরৈখিক-নয় কভারেজ নির্মাণের একটি সাধারণ কাঠামো প্রদান করেছে
- বিস্তৃত প্রয়োগ: ফলাফল মডিউলি স্থান তত্ত্ব, হাইপারবোলিক জ্যামিতি ইত্যাদি একাধিক ক্ষেত্রে প্রয়োগ রয়েছে
- প্রযুক্তিগত জটিলতা: প্রমাণ অত্যন্ত প্রযুক্তিগত, বোঝার প্রবেশদ্বার বেশ উচ্চ
- অনুমান সীমাবদ্ধতা: এখনও জ্যামিতিক অবিচ্ছেদ্যতা অনুমান প্রয়োজন, বৈশিষ্ট্য শূন্য ফলাফল সম্পূর্ণভাবে সাধারণীকরণ করতে পারেনি
- ফলাফল দুর্বলতা: শুধুমাত্র সুদৃঢ়-কার্যকারিতা পাওয়া যায়, বৈশিষ্ট্য শূন্যের nef বৈশিষ্ট্যের চেয়ে দুর্বল
- তাত্ত্বিক অবদান: ধনাত্মক বৈশিষ্ট্য দ্বিবিভাজন জ্যামিতির জন্য গুরুত্বপূর্ণ সরঞ্জাম প্রদান করেছে
- পদ্ধতি মূল্য: Witt সহ-সমজাতীয় প্রযুক্তি অন্যান্য সমস্যায় প্রয়োগ হতে পারে
- পরবর্তী গবেষণা: ধনাত্মক বৈশিষ্ট্য জ্যামিতি আরও গবেষণার জন্য নতুন প্রযুক্তিগত পথ প্রদান করেছে
- ধনাত্মক বৈশিষ্ট্য দ্বিবিভাজন জ্যামিতি: ধনাত্মক বৈশিষ্ট্যে বৈচিত্র্যের দ্বিবিভাজন বৈশিষ্ট্য গবেষণা
- মডিউলি স্থান তত্ত্ব: স্থিতিশীল বৈচিত্র্যের মডিউলি স্থান নির্মাণ
- পাটিগণিত জ্যামিতি: মিশ্র বৈশিষ্ট্য পরিবারের গবেষণা
- সীমিত ক্ষেত্রে জ্যামিতি: সীমিত ক্ষেত্রে বৈচিত্র্যের বৈশিষ্ট্য গবেষণা
পত্রিকা নিম্নলিখিত মূল তথ্যসূত্র উদ্ধৃত করেছে:
- Nak04 Nakamura: Zariski-decomposition and abundance
- Kol96 Kollár: Rational curves on algebraic varieties
- PZ21 Patakfalvi-Zdanowicz: Ordinary varieties with trivial canonical bundle are not uniruled
- CEKZ21 Cascini-Ejiri-Kollár-Zhang: Subadditivity of Kodaira dimension does not hold in positive characteristic
এই পত্রিকা ধনাত্মক বৈশিষ্ট্য বীজগণিতীয় জ্যামিতিতে একটি মূল সমস্যা সমাধান করেছে, যদিও প্রযুক্তিগতভাবে অত্যন্ত শক্তিশালী, তবুও এর তাত্ত্বিক মূল্য এবং পদ্ধতি অবদান উভয়ই উল্লেখযোগ্য, এই ক্ষেত্রের আরও উন্নয়নের জন্য একটি গুরুত্বপূর্ণ ভিত্তি স্থাপন করেছে।