2025-11-24T11:07:17.706098

Quartic surface, its bitangents and rational points

Corvaja, Zucconi
Let X be a smooth quartic surface not containing lines, defined over a number field K. We prove that there are only finitely many bitangents to X which are defined over K. This result can be interpreted as saying that a certain surface, having vanishing irregularity, contains only finitely many rational points. In our proof, we use the geometry of lines of the quartic double solid associated to X. In a somewhat opposite direction, we show that on any quartic surface X over a number field K, the set of algebraic points in X(\overeline K) which are quadratic over a suitable finite extension K' of K is Zariski-dense.
academic

চতুর্ঘাত পৃষ্ঠ, এর দ্বিস্পর্শক এবং মূলদ বিন্দু

মৌলিক তথ্য

  • পত্রিকা ID: 2010.08623
  • শিরোনাম: চতুর্ঘাত পৃষ্ঠ, তাদের দ্বিস্পর্শক এবং মূলদ বিন্দু
  • লেখক: পিয়েত্রো কর্ভাজা, ফ্রান্সেস্কো জুকোনি (ইতালির উদিনে বিশ্ববিদ্যালয়)
  • শ্রেণীবিভাগ: math.NT (সংখ্যা তত্ত্ব)
  • প্রকাশনা সময়: ২০২৩, Épijournal de Géométrie Algébrique, খণ্ড ৭, নিবন্ধ নং ৩
  • পত্রিকা লিঙ্ক: https://arxiv.org/abs/2010.08623

সারসংক্ষেপ

ধরুন X একটি সংখ্যা ক্ষেত্র κ-এর উপর সংজ্ঞায়িত একটি সরল চতুর্ঘাত পৃষ্ঠ যা কোনো সরল রেখা ধারণ করে না। এই পত্রিকায় প্রমাণ করা হয়েছে যে X-এর κ-এ সংজ্ঞায়িত দ্বিস্পর্শক রেখা শুধুমাত্র সীমিত সংখ্যায় বিদ্যমান। এই ফলাফলটি এমন একটি পৃষ্ঠের সাথে সম্পর্কিত যার অনিয়মিততা শূন্য এবং যা সীমিত সংখ্যক মূলদ বিন্দু ধারণ করে। প্রমাণে, লেখকরা X-এর সাথে সম্পর্কিত চতুর্ঘাত দ্বিস্থিতিশীল রেখা জ্যামিতি ব্যবহার করেছেন। বিপরীত দিকে, লেখকরা প্রমাণ করেছেন যে সংখ্যা ক্ষেত্র κ-এর উপর যেকোনো চতুর্ঘাত পৃষ্ঠ X-এর জন্য, X(κ̄)-এ κ-এর কোনো সীমিত সম্প্রসারণ κ'-এর সাপেক্ষে দ্বিঘাত বীজগণিত বিন্দুর সমাহার Zariski-ঘন।

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

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

১. চতুর্ঘাত পৃষ্ঠের পাটিগণিত জ্যামিতি: সরল চতুর্ঘাত পৃষ্ঠ হল K3 পৃষ্ঠ, যা বীজগণিত জ্যামিতিতে গুরুত্বপূর্ণ স্থান রাখে। এর মূলদ বিন্দু বিতরণ বোঝা ডায়োফান্টাইন জ্যামিতির মূল সমস্যা।

२. দ্বিস্পর্শক রেখার জ্যামিতিক অর্থ: দ্বিস্পর্শক রেখা হল এমন একটি রেখা যা চতুর্ঘাত পৃষ্ঠের দুটি ভিন্ন বিন্দুতে স্পর্শ করে, এবং তারা একটি বীজগণিত পৃষ্ঠ S গঠন করে যার জ্যামিতিক বৈশিষ্ট্য মূল চতুর্ঘাত পৃষ্ঠের সাথে ঘনিষ্ঠভাবে সম্পর্কিত।

३. বম্বিয়েরি-ল্যাং অনুমান: এই অনুমান পূর্বাভাস দেয় যে সাধারণ প্রকার বীজগণিত বৈচিত্র্যের উপর মূলদ বিন্দু সীমিত। এই পত্রিকা নির্দিষ্ট ক্ষেত্রে এই অনুমানের জন্য প্রমাণ প্রদান করে।

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

१. পাটিগণিত এবং জ্যামিতির সমন্বয়: দ্বিস্পর্শক রেখা পৃষ্ঠের জ্যামিতিক বৈশিষ্ট্য অধ্যয়ন করে এর পাটিগণিত বৈশিষ্ট্য বোঝা २. K3 পৃষ্ঠের মূলদ বিন্দু: যদিও K3 পৃষ্ঠ "বিশেষ বৈচিত্র্য" হিসাবে বিবেচিত হয় এবং এর মূলদ বিন্দু সম্ভাব্যভাবে ঘন হওয়া উচিত, সাধারণ ক্ষেত্রে এটি এখনও প্রমাণিত হয়নি। ३. চতুর্ঘাত দ্বিস্থিতিশীলের প্রয়োগ: মূল সমস্যা অধ্যয়নের জন্য চতুর্ঘাত দ্বিস্থিতিশীল Q→P³-এর রেখা জ্যামিতি ব্যবহার করা

মূল অবদান

१. প্রধান উপপাদ্য A: প্রমাণ করা হয়েছে যে সংখ্যা ক্ষেত্র κ-এর উপর যেকোনো সরল চতুর্ঘাত পৃষ্ঠ X-এর জন্য, একটি সীমিত সম্প্রসারণ κ'/κ বিদ্যমান যাতে X(κ̄)-এ κ'-এর সাপেক্ষে দ্বিঘাত বীজগণিত বিন্দুর সমাহার Zariski-ঘন।

२. প্রধান উপপাদ্য B: প্রমাণ করা হয়েছে যে কোনো সরল রেখা ধারণ না করা সরল চতুর্ঘাত পৃষ্ঠ X-এর জন্য, κ-এ সংজ্ঞায়িত দ্বিস্পর্শক রেখা শুধুমাত্র সীমিত সংখ্যায় বিদ্যমান।

३. প্রধান উপপাদ্য C: প্রমাণ করা হয়েছে যে দ্বিস্পর্শক রেখা প্যারামিটার পৃষ্ঠ S জ্যামিতিক গণ ≤1 সহ কোনো বক্ররেখা ধারণ করে না, যা বোগোমোলভ অনুমানের শক্তিশালী রূপের জন্য প্রমাণ প্রদান করে।

४. প্রতিউদাহরণ নির্মাণ: শুর চতুর্ঘাত পৃষ্ঠের উদাহরণ প্রদান করা হয়েছে, যা দেখায় যে যখন চতুর্ঘাত পৃষ্ঠ সরল রেখা ধারণ করে, তখন অসীম সংখ্যক মূলদ দ্বিস্পর্শক রেখা থাকতে পারে।

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

কাজের সংজ্ঞা

সংখ্যা ক্ষেত্রের উপর সংজ্ঞায়িত সরল চতুর্ঘাত পৃষ্ঠ X⊂P³-এর দ্বিস্পর্শক রেখার পাটিগণিত বৈশিষ্ট্য অধ্যয়ন করা, বিশেষত:

  • ইনপুট: সংখ্যা ক্ষেত্র κ-এর উপর সরল চতুর্ঘাত পৃষ্ঠ X
  • আউটপুট: দ্বিস্পর্শক রেখার মূলদতা সম্পর্কে সীমিততা/অসীমতা ফলাফল
  • সীমাবদ্ধতা: X সরল এবং (উপপাদ্য B-এর জন্য) কোনো সরল রেখা ধারণ করে না

মূল জ্যামিতিক নির্মাণ

१. দ্বিস্পর্শক রেখা প্যারামিটার পৃষ্ঠ

দ্বিস্পর্শক রেখা পৃষ্ঠ সংজ্ঞায়িত করুন: S:={[l]∈G(2,4)∣X∣l=V(fl) যেখানে fl দ্বিদ্বিঘাত}S := \{[l] \in G(2,4) | X|_l = V(f_l) \text{ যেখানে } f_l \text{ দ্বিদ্বিঘাত}\}

যেখানে G(2,4) হল P³-এ সরল রেখা প্যারামিটারকারী গ্রাসম্যান বৈচিত্র্য।

२. চতুর্ঘাত দ্বিস্থিতিশীল

२:१ আবরণ π_Q: Q → P³ নির্মাণ করুন, X-এ শাখাবদ্ধ, যেখানে:

  • Q হল চতুর্ঘাত দ্বিস্থিতিশীল, ফানো বৈশিষ্ট্য সহ
  • Q-এর সরল রেখা হিলবার্ট স্কিম S_X গঠন করে
  • २:१ étale আবরণ f: S_X → S বিদ্যমান

३. যোগাযোগ বিন্দু পৃষ্ঠ

যোগাযোগ বিন্দু বৈচিত্র্য সংজ্ঞায়িত করুন: Y:={([l],p)∈S×X∣p∈X∣l}Y := \{([l],p) \in S \times X | p \in X|_l\}

এটি २:१ আবরণ π: Y → S প্রদান করে, অতিমুড়ানো বক্ররেখায় শাখাবদ্ধ।

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

१. অ্যালবানিজ ম্যাপিং-এর প্রয়োগ

  • ওয়েল্টারসের ফলাফল ব্যবহার করুন: S_X-এর অনিয়মিততা q(S_X) = 10 > dim(S_X) = 2
  • ফাল্টিংস উপপাদ্যের মাধ্যমে মূলদ বিন্দুর অবক্ষয় পান
  • অ্যালবানিজ ম্যাপিং α: S_X → Alb(S_X)-এর ইনজেক্টিভিটি বৈশিষ্ট্য ব্যবহার করুন

२. মধ্যবর্তী জ্যাকোবিয়ানের সমরূপতা

মূল ফলাফল: অ্যাবেল-জ্যাকোবি ম্যাপিং Alb(S_X) → J(Q) হল অ্যাবেলিয়ান বৈচিত্র্যের সমরূপতা, যেখানে J(Q) হল চতুর্ঘাত দ্বিস্থিতিশীলের মধ্যবর্তী জ্যাকোবিয়ান।

३. বিশেষ বিভাজকের জ্যামিতি

l ∈ S_X-এর জন্য, সংজ্ঞায়িত করুন: Dl:={[m]∈SX∣m∩l≠∅,m≠l}D_l := \{[m] \in S_X | m \cap l \neq \emptyset, m \neq l\}

এই বিভাজকগুলির জ্যামিতিক বৈশিষ্ট্য (গণ 70, ডিগ্রি 20) প্রমাণে মূল ভূমিকা পালন করে।

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

নির্দিষ্ট উদাহরণ বিশ্লেষণ

শুর চতুর্ঘাত পৃষ্ঠ: সমীকরণ: x⁴ - xy³ = z⁴ - zw³

প্রতিটি বিন্দু (s₀ : s₁) ∈ P¹-এর জন্য, সরল রেখা:

s₀³x = s₁³z \\ s₀w = s₁z \end{cases}$$ X-এর চতুর্গুণ স্পর্শক, বিশেষত দ্বিস্পর্শক। এটি দেখায় যে যখন চতুর্ঘাত পৃষ্ঠ সরল রেখা ধারণ করে (এই উদাহরণ 64টি সরল রেখা ধারণ করে, পিকার্ড সংখ্যা 20), তখন অসীম সংখ্যক মূলদ দ্বিস্পর্শক রেখা থাকতে পারে। ## প্রধান ফলাফল ### উপপাদ্য A-এর প্রমাণ কৌশল १. উপপাদ্য २.१ ব্যবহার করুন: যেকোনো সরল চতুর্ঘাত পৃষ্ঠ १-মাত্রিক গণ १ বক্ররেখা পরিবার ধারণ করে २. এমন একটি বক্ররেখা C নির্বাচন করুন, যা উপযুক্ত সংখ্যা ক্ষেত্র সম্প্রসারণে অসীম সংখ্যক মূলদ বিন্দু রাখে ३. প্রতিটি মূলদ বিন্দু p ∈ C-এর জন্য, স্পর্শ সমতল ছেদ X_p বিবেচনা করুন ४. X_p হল নোড সহ চতুর্ঘাত বক্ররেখা, অতিবেলিপ্টিক ম্যাপিং X_p → P¹ বিদ্যমান ५. P¹-এর মূলদ বিন্দু X_p-এ দ্বিঘাত বিন্দু প্রদান করে ### উপপাদ্য B-এর প্রমাণ কৌশল १. **অবক্ষয়**: চেভালি-ওয়েইল উপপাদ্যের মাধ্যমে, S_X-এ মূলদ বিন্দুর সীমিততা প্রমাণে রূপান্তরিত করুন २. **ফাল্টিংস উপপাদ্যের প্রয়োগ**: যেহেতু q(S_X) = 10 > dim(S_X) = 2, অ্যালবানিজ ম্যাপিং বন্ধ নিমজ্জন, মূলদ বিন্দুর অবক্ষয় পান ३. **নিম্ন গণ বক্ররেখা বর্জন**: উপপাদ্য C ব্যবহার করে গণ ≤1 বক্ররেখায় অসীম মূলদ বিন্দু পরিবার বর্জন করুন ### উপপাদ্য C-এর প্রমাণ মূল বিন্দু १. ধরুন গণ १ বক্ররেখা E ⊂ S বিদ্যমান २. S_X-এ উন্নীত করুন, অ্যালবানিজ ম্যাপিং মাধ্যমে १०-মাত্রিক অ্যাবেলিয়ান বৈচিত্র্যে নিমজ্জিত করুন ३. ম্যাপিং h: S_X → Pic⁰(E) নির্মাণ করুন, আবর্তনের সমতুল্যতা ব্যবহার করুন ४. বিরোধ পান: q(S) = 0 কিন্তু উপবৃত্তাকার বক্ররেখা জ্যাকোবিয়ানে সার্জেক্টিভ ম্যাপিং বিদ্যমান ## সম্পর্কিত কাজ ### ঐতিহাসিক পটভূমি १. **ওয়েল্টারস (१९८१)**: দ্বিস্পর্শক রেখা পৃষ্ঠ এবং চতুর্ঘাত দ্বিস্থিতিশীল জ্যামিতির ভিত্তি তত্ত্ব প্রতিষ্ঠা করেছেন २. **টিখোমিরভ (१९८१)**: চতুর্ঘাত দ্বিস্থিতিশীলের সরল রেখা হিলবার্ট স্কিম অধ্যয়ন করেছেন ३. **ভ্যান লুইজক (२००७)**: প্রমাণ করেছেন যে পিকার্ড সংখ্যা १ সহ K3 পৃষ্ঠ অসীম সংখ্যক মূলদ বিন্দু রাখে ### বর্তমান কাজের সাথে সম্পর্ক १. **K3 পৃষ্ঠের পাটিগণিত**: এই পত্রিকা K3 পৃষ্ঠ মূলদ বিন্দু ঘনত্বের দুর্বল রূপ ফলাফল প্রদান করে २. **বম্বিয়েরি-ল্যাং অনুমান**: সাধারণ প্রকার বৈচিত্র্যের মূলদ বিন্দু সীমিততার নতুন প্রমাণ প্রদান করে ३. **বোগোমোলভ অনুমান**: নিম্ন গণ বক্ররেখা সীমিততার শক্তিশালী রূপ প্রমাণ করে ## উপসংহার এবং আলোচনা ### প্রধান উপসংহার १. সরল রেখা ধারণ না করা চতুর্ঘাত পৃষ্ঠ শুধুমাত্র সীমিত সংখ্যক মূলদ দ্বিস্পর্শক রেখা রাখে २. যেকোনো চতুর্ঘাত পৃষ্ঠ Zariski-ঘন দ্বিঘাত মূলদ বিন্দু রাখে ३. দ্বিস্পর্শক রেখা প্যারামিটার পৃষ্ঠ শক্তিশালী রূপ জ্যামিতিক অনুমান সন্তুষ্ট করে ### সীমাবদ্ধতা १. **রৈখিক শর্ত**: উপপাদ্য B-এর জন্য চতুর্ঘাত পৃষ্ঠ সরল রেখা ধারণ না করার শর্ত প্রয়োজন, এই শর্ত সম্পূর্ণভাবে অপসারণ করা যায় না २. **সংখ্যা ক্ষেত্র সম্প্রসারণ**: উপপাদ্য A-এর জন্য উপযুক্ত সীমিত সম্প্রসারণের প্রয়োজন ३. **গঠনমূলকতা**: প্রমাণ অস্তিত্বমূলক, নির্দিষ্ট কার্যকর সীমা প্রদান করে না ### ভবিষ্যত দিকনির্দেশনা १. সরল রেখা ধারণকারী চতুর্ঘাত পৃষ্ঠের দ্বিস্পর্শক রেখা বিতরণ অধ্যয়ন করা २. দ্বিঘাত বিন্দু ঘনত্ব ফলাফল উন্নত করা, আরও সরাসরি নির্মাণ খোঁজা ३. পদ্ধতি অন্যান্য ধরনের পৃষ্ঠে সম্প্রসারিত করা ## গভীর মূল্যায়ন ### সুবিধা १. **পদ্ধতি উদ্ভাবন**: দ্বিস্পর্শক রেখা সমস্যা চতুর্ঘাত দ্বিস্থিতিশীলের সরল রেখা জ্যামিতিতে চতুরভাবে রূপান্তরিত করা २. **তত্ত্বগত গভীরতা**: বীজগণিত জ্যামিতি, পাটিগণিত জ্যামিতি এবং হজ তত্ত্ব সমন্বিত প্রয়োগ ३. **ফলাফল সম্পূর্ণতা**: সীমিততা এবং ঘনত্ব ফলাফল উভয়ই, সম্পূর্ণ চিত্র গঠন করে ४. **প্রযুক্তি দক্ষতা**: অ্যালবানিজ ম্যাপিং এবং মধ্যবর্তী জ্যাকোবিয়ানের গভীর প্রয়োগ ### অপূর্ণতা १. **শর্ত সীমাবদ্ধতা**: প্রধান ফলাফল শক্তিশালী জ্যামিতিক শর্ত প্রয়োজন (সরল রেখা ধারণ না করা) २. **কার্যকারিতা**: মূলদ দ্বিস্পর্শক রেখা সংখ্যার কার্যকর উপরি সীমা প্রদান করে না ३. **অ্যালগরিদম জটিলতা**: প্রদত্ত চতুর্ঘাত পৃষ্ঠের দ্বিস্পর্শক রেখা মূলদতা বাস্তবে নির্ধারণ করা অত্যন্ত কঠিন ### প্রভাব १. **তত্ত্বগত অবদান**: একাধিক গুরুত্বপূর্ণ অনুমানের জন্য নতুন প্রমাণ এবং পদ্ধতি প্রদান করে २. **পদ্ধতি মূল্য**: চতুর্ঘাত দ্বিস্থিতিশীল প্রযুক্তি অন্যান্য সমস্যায় প্রযোজ্য হতে পারে ३. **আন্তঃবিষয়ক**: বীজগণিত জ্যামিতি এবং সংখ্যা তত্ত্বের গভীর কাঠামো সংযুক্ত করে ### প্রযোজ্য পরিস্থিতি १. K3 পৃষ্ঠ এবং অন্যান্য বিশেষ পৃষ্ঠের পাটিগণিত বৈশিষ্ট্য অধ্যয়ন করা २. সাধারণ প্রকার পৃষ্ঠে মূলদ বিন্দু বিতরণ সমস্যা ३. দ্বিবিভাজক জ্যামিতিতে মূলদতা সমস্যা ## সংদর্ভ १. Welters, G.E.: Abel-Jacobi isogenies for certain types of Fano threefolds (१९८१) २. Tikhomirov, A.S.: The geometry of the Fano surface of double covers (१९८१) ३. Faltings, G.: Diophantine Approximation on Abelian Varieties (१९९१) ४. van Luijk, R.: K3 surfaces with Picard number one and infinitely many rational points (२००७) --- এই পত্রিকা গভীর জ্যামিতিক বিশ্লেষণ এবং সূক্ষ্ম প্রযুক্তিগত প্রক্রিয়াকরণের মাধ্যমে, চতুর্ঘাত পৃষ্ঠের পাটিগণিত জ্যামিতি গবেষণায় গুরুত্বপূর্ণ অগ্রগতি অর্জন করেছে, K3 পৃষ্ঠের মূলদ বিন্দু বিতরণ বোঝার জন্য নতুন দৃষ্টিভঙ্গি এবং পদ্ধতি প্রদান করেছে।