2025-11-23T11:40:15.683494

Transverse slices, Ruas' conjecture, and Zariski's multiplicity conjecture for quasihomogeneous surfaces

da Silva, JÃºnior

In this work, we consider a finitely determined, quasihomogeneous, corank 1 map germ $f$ from $(\mathbb{C}^2,0)$ to $(\mathbb{C}^3,0)$. We introduce the concept of the $Î¼_{\mathbf{m},\mathbf{k}}$-minimal transverse slice of $f$}. Since such a slice is a plane curve, it admits a topological normal form, which we describe explicitly. Assuming the $Î¼_{\mathbf{m},\mathbf{k}}$-minimal transverse slice hypothesis, we provide a proof for the equivalence between topological triviality and Whitney equisingularity in Ruas' conjecture within this setting. We also provide a counterexample which shows that Whitney equingularity does not imply bi-Lipschitz equisingularity, given an answer to a question by Ruas. Moreover, we show that every topologically trivial $1$-parameter unfolding of $f=(f_1,f_2,f_3)$ (not necessarily with $Î¼_{\mathbf{m},\mathbf{k}}$-minimal transverse slice) is of non-negative degree; that is, any additional term $Î±$ in the deformation of $f_i$ has weighted degree not smaller than that of $f_i$. As a consequence, we provide a proof of Zariski's multiplicity conjecture for 1-parameter families of such germs.

academic

ট্রান্সভার্স স্লাইস, রুয়াস' অনুমান, এবং কোয়াসিহোমোজেনিয়াস সারফেসের জন্য জারিস্কির গুণিতক অনুমান

মৌলিক তথ্য

পেপার আইডি: 2509.01634
শিরোনাম: ট্রান্সভার্স স্লাইস, রুয়াস' অনুমান, এবং কোয়াসিহোমোজেনিয়াস সারফেসের জন্য জারিস্কির গুণিতক অনুমান
লেখক: সিলভা, ও. এন. এবং সিলভা জুনিয়র, এম. এম.
শ্রেণীবিভাগ: math.AG (বীজগণিতীয় জ্যামিতি), math.CV (জটিল বিশ্লেষণ)
প্রকাশনা সময়: ২০২৫ সালের ১৩ অক্টোবর (v2 সংস্করণ)
পেপার লিঙ্ক: https://arxiv.org/abs/2509.01634

সারসংক্ষেপ

এই পেপারটি সীমিত নির্ধারিত কোয়াসিহোমোজেনিয়াস কোরাঙ্ক ১ ম্যাপিং জার্ম $f: (\mathbb{C}^2,0) \to (\mathbb{C}^3,0)$ অধ্যয়ন করে। লেখকরা $f$ এর $\mu_{m,k}$ -ন্যূনতম ট্রান্সভার্স স্লাইসের ধারণা প্রবর্তন করেন, যেহেতু এই ধরনের স্লাইসগুলি সমতল বক্ররেখা, তারা টপোলজিক্যাল স্ট্যান্ডার্ড ফর্ম রাখে। $\mu_{m,k}$ -ন্যূনতম ট্রান্সভার্স স্লাইস অনুমানের অধীনে, লেখকরা রুয়াস অনুমানে টপোলজিক্যাল তুচ্ছতা এবং হুইটনি সমতুল্যতার মধ্যে সমতুল্যতা প্রমাণ করেন। একই সাথে, তারা প্রতিউদাহরণ প্রদান করেন যা প্রমাণ করে যে হুইটনি সমতুল্যতা দ্বি-লিপশিৎজ সমতুল্যতা নিহিত করে না। অধিকন্তু, তারা প্রমাণ করেন যে $f=(f_1,f_2,f_3)$ এর প্রতিটি টপোলজিক্যালি তুচ্ছ ১-প্যারামিটার বিস্তার অ-ঋণাত্মক ডিগ্রি রাখে, ফলস্বরূপ এই ধরনের জার্মের ১-প্যারামিটার পরিবারের জন্য জারিস্কির গুণিতক অনুমানের প্রমাণ প্রদান করেন।

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

মূল সমস্যা

এই পেপারটি যে মূল সমস্যাগুলি সমাধান করতে চায় তা হল বিশেষত্ব তত্ত্বে দুটি মৌলিক অনুমান:

রুয়াস অনুমান (১৯৯৪): সীমিত নির্ধারিত ম্যাপিং জার্মের সমতুল্যতা ধারণাগুলির মধ্যে সমতুল্যতা সম্পর্ক সম্পর্কে
জারিস্কির গুণিতক অনুমান (১৯৭১): টপোলজিক্যালি তুচ্ছ পরিবারের সমগুণিতকতা সম্পর্কে

সমস্যার গুরুত্ব

এই সমস্যাগুলি বিশেষত্ব তত্ত্বে মৌলিক অবস্থান রাখে:

তাত্ত্বিক তাৎপর্য: বিভিন্ন সমতুল্যতা ধারণাগুলিকে সংযুক্ত করে (টপোলজিক্যাল তুচ্ছতা, হুইটনি সমতুল্যতা, দ্বি-লিপশিৎজ সমতুল্যতা)
জ্যামিতিক তাৎপর্য: ট্রান্সভার্স স্লাইস কৌশলের মাধ্যমে $\mathbb{C}^3$ এ সারফেসের সমতুল্যতা গবেষণা সরল করে
ঐতিহাসিক তাৎপর্য: জারিস্কির গুণিতক অনুমান ১৯৭১ সাল থেকে একটি খোলা সমস্যা

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

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

মূল অবদান

$\mu_{m,k}$ -ন্যূনতম সমতল বক্ররেখা ধারণা প্রবর্তন: ন্যূনতম মিলনর সংখ্যা সহ সমতল বক্ররেখার সম্পূর্ণ বৈশিষ্ট্যকরণ এবং স্পষ্ট মানক ফর্ম প্রদান করে
রুয়াস অনুমানের আংশিক সমাধান প্রমাণ: $\mu_{m,k}$ -ন্যূনতম ট্রান্সভার্স স্লাইস অনুমানের অধীনে, টপোলজিক্যাল তুচ্ছতা এবং হুইটনি সমতুল্যতার সমতুল্যতা প্রমাণ করে
নতুন প্রতিউদাহরণ প্রদান: অসীম সংখ্যক প্রতিউদাহরণ তৈরি করে যা প্রমাণ করে যে হুইটনি সমতুল্যতা দ্বি-লিপশিৎজ সমতুল্যতা নিহিত করে না
অ-ঋণাত্মক ডিগ্রি সমস্যা সমাধান: প্রমাণ করে যে কোয়াসিহোমোজেনিয়াস কোরাঙ্ক ১ ম্যাপিং জার্মের প্রতিটি টপোলজিক্যালি তুচ্ছ বিস্তার অ-ঋণাত্মক ডিগ্রি রাখে
জারিস্কির গুণিতক অনুমান প্রমাণ: কোয়াসিহোমোজেনিয়াস কোরাঙ্ক ১ ম্যাপিং জার্মের ১-প্যারামিটার পরিবারের জন্য সমগুণিতকতা প্রতিষ্ঠা করে

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

কাজের সংজ্ঞা

ম্যাপিং জার্ম $f: (\mathbb{C}^2,0) \to (\mathbb{C}^3,0)$ এর সমতুল্যতা সমস্যা অধ্যয়ন করুন, যেখানে:

ইনপুট: সীমিত নির্ধারিত কোয়াসিহোমোজেনিয়াস কোরাঙ্ক ১ ম্যাপিং জার্ম এবং এর ১-প্যারামিটার বিস্তার
আউটপুট: সমতুল্যতা ধারণাগুলির মধ্যে সম্পর্ক এবং সংশ্লিষ্ট জ্যামিতিক অপরিবর্তনীয়
সীমাবদ্ধতা: ম্যাপিং জার্ম অবশ্যই সীমিত নির্ধারিততা, কোয়াসিহোমোজেনিয়াসতা এবং কোরাঙ্ক ১ শর্ত পূরণ করতে হবে

মূল পদ্ধতি স্থাপত্য

১. $\mu_{m,k}$ -ন্যূনতম বক্ররেখা তত্ত্ব

সংজ্ঞা: $\Lambda_{m,k}$ কে সমস্ত সমতল বক্ররেখার সেট হতে দিন যার $r$ টি শাখা রয়েছে, যেখানে $i$ -তম শাখার গুণিতক $m_i$ এবং $k_i$ টি বৈশিষ্ট্য সূচক রয়েছে। বক্ররেখা $(X,0) \in \Lambda_{m,k}$ হল $\mu_{m,k}$ -ন্যূনতম যখন এবং শুধুমাত্র যখন: $\mu(X,0) = \min_{(Y,0) \in \Lambda_{m,k}} \mu(Y,0)$

মানক ফর্ম: অপ্রাসঙ্গিক $\mu_{m,k}$ -ন্যূনতম বক্ররেখার জন্য, যখন $m \geq 4$ যৌগিক সংখ্যা হয়, মানক ফর্ম হল: $\phi(u) = (u^m, u^{m+d_1} + u^{m+d_1+d_2} + \cdots + u^{m+d_1+\cdots+d_{k-2}} + u^{m+d_1+\cdots+d_{k-2}+1})$

যেখানে $d_0 = m > d_1 > \cdots > d_{k-2} > d_{k-1} = 1$ হল $m$ এর নেস্টেড বিভাজক ক্রম।

২. ট্রান্সভার্স স্লাইস কৌশল

ট্রান্সভার্স স্লাইস সংজ্ঞা: ম্যাপিং জার্ম $f: (\mathbb{C}^2,0) \to (\mathbb{C}^3,0)$ এর জন্য, ট্রান্সভার্স স্লাইস $\gamma$ সংজ্ঞায়িত করা হয় $f$ এর ইমেজ এবং মূলবিন্দুর মধ্য দিয়ে একটি সাধারণ সমতল $H \subset \mathbb{C}^3$ এর ছেদ হিসাবে।

সাধারণতা শর্ত: সমতল $H$ অবশ্যই সন্তুষ্ট করতে হবে:

$H \cap df_0(\mathbb{C}^2) = \{(0,0,0)\}$
$H \cap f(D(f)) = \{(0,0,0)\}$
$H \cap C_0(f(D(f))) = \{(0,0,0)\}$

३. হুইটনি সমতুল্যতা বৈশিষ্ট্যকরণ

নতুন অপরিবর্তনীয় $W(f) := D(f) \cup f^{-1}(\gamma)$ প্রবর্তন করুন, প্রমাণ করা হয়েছে যে:

উপপাদ্য: $F = (f_t, t)$ যদি $f$ এর বিস্তার হয়, তাহলে $F\text{ হুইটনি সমতুল্য} \Leftrightarrow \mu(W(f_t), 0)\text{ ধ্রুবক}$

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

জ্যামিতিক অপ্টিমাইজেশন দৃষ্টিভঙ্গি: মিলনর সংখ্যা ন্যূনতমকরণের মাধ্যমে $\mu_{m,k}$ -ন্যূনতমতা ধারণা প্রবর্তন করে, বক্ররেখা টপোলজির সূক্ষ্ম শ্রেণীবিভাগ প্রদান করে
গঠনমূলক পদ্ধতি: শুধুমাত্র অস্তিত্ব ফলাফল নয়, স্পষ্ট প্যারামিটারকরণ এবং বিকৃতি নির্মাণ প্রদান করে
একীভূত কাঠামো: রুয়াস অনুমান এবং জারিস্কির গুণিতক অনুমানকে একীভূত তাত্ত্বিক কাঠামোতে অন্তর্ভুক্ত করে

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

তাত্ত্বিক যাচাইকরণ

বিশুদ্ধ গণিত পেপার হিসাবে, এই পেপারটি সংখ্যাগত পরীক্ষার পরিবর্তে কঠোর গাণিতিক প্রমাণের মাধ্যমে ফলাফল যাচাই করে:

১. প্রতিউদাহরণ নির্মাণ

নতুন প্রতিউদাহরণ পরিবার: $f_t(x,y) = (x+ty^{14}, y^{16}+xy^{15}, y^{18}+xy^{17}+x^{17}y)$ ফর্মের অসীম পরিবার প্রতিউদাহরণ তৈরি করেছে
গণনা যাচাইকরণ: সিঙ্গুলার সফটওয়্যার ব্যবহার করে নির্দিষ্ট উদাহরণের মিলনর সংখ্যা এবং গুণিতক গণনা যাচাই করেছে

२. মানক ফর্ম যাচাইকরণ

নির্দিষ্ট গণনার মাধ্যমে $\mu_{36,k}$ -ন্যূনতম বক্ররেখার মানক ফর্ম এবং মিলনর সংখ্যা যাচাই করা হয়েছে:

বক্ররেখা ধরন	মানক ফর্ম	মিলনর সংখ্যা
$\mu_{36,2}$ -ন্যূনতম	$\phi(u) = (u^{36}, u^{37})$	1260
$\mu_{36,3}$ -ন্যূনতম	$\phi(u) = (u^{36}, u^{38} + u^{39})$	1296
$\mu_{36,4}$ -ন্যূনতম	$\phi(u) = (u^{36}, u^{40} + u^{42} + u^{43})$	1372

পরীক্ষামূলক ফলাফল

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

উপপাদ্য ১.१ (রুয়াস অনুমানের আংশিক সমাধান)

$f: (\mathbb{C}^2,0) \to (\mathbb{C}^3,0)$ যদি সীমিত নির্ধারিত কোয়াসিহোমোজেনিয়াস কোরাঙ্ক ১ ম্যাপিং জার্ম হয়। যদি $F = (f_t,t)$ টপোলজিক্যালি তুচ্ছ ১-প্যারামিটার বিস্তার হয় এবং $f$ এর ট্রান্সভার্স স্লাইস $\gamma$ হল $\mu_{m,k}$ -ন্যূনতম, তাহলে $F$ হুইটনি সমতুল্য।

উপপাদ্য १.२ (হুইটনি সমতুল্যতা বৈশিষ্ট্যকরণ)

$F = (f_t,t)$ যদি $f$ এর বিস্তার হয়, $W(f_t) := D(f_t) \cup f_t^{-1}(\gamma_t)$ সংজ্ঞায়িত করুন, তাহলে: $F\text{ হুইটনি সমতুল্য} \Leftrightarrow \mu(W(f_t),0)\text{ ধ্রুবক}$

উপপাদ্য ५.२ (জারিস্কির গুণিতক অনুমান)

প্রতিউদাহরণ ফলাফল

প্রস্তাব ४.१८ (হুইটনি দ্বি-লিপশিৎজ নিহিত করে না)

সমজাত ম্যাপিং $f(x,y) = (x^{14}, y^8, (x-y)(x-2y)(x-3y))$ এর জন্য, এর ১-প্যারামিটার বিস্তার $f_t(x,y) = f(x,y) + (0,0,ty^{12})$ হুইটনি সমতুল্য কিন্তু দ্বি-লিপশিৎজ তুচ্ছ নয়।

নতুন প্রতিউদাহরণ পরিবার

টপোলজিক্যাল তুচ্ছতা হুইটনি সমতুল্যতা নিহিত করে না তা প্রমাণ করতে অসীম সংখ্যক প্রতিউদাহরণ তৈরি করেছে:

ম্যাপিং জার্ম পরিবার	$\mu(\gamma,0)$	$\mu(\gamma_t,0)$
$f_t(x,y) = (x+ty^{14}, y^{16}+xy^{15}, y^{18}+xy^{17}+x^{17}y)$	270	268
$f_t(x,y) = (x+ty^{14}, y^{16}+xy^{13}, y^{22}+xy^{19}+x^7y)$	328	326

$\mu_{m,k}$ -ন্যূনতম ট্রান্সভার্স স্লাইস শর্তের অধীনে, রুয়াস অনুমানে টপোলজিক্যাল তুচ্ছতা এবং হুইটনি সমতুল্যতা সমতুল্য
হুইটনি সমতুল্যতা এবং দ্বি-লিপশিৎজ সমতুল্যতা সাধারণ ক্ষেত্রে সমতুল্য নয়
কোয়াসিহোমোজেনিয়াস কোরাঙ্ক ১ ম্যাপিং জার্ম জারিস্কির গুণিতক অনুমান সন্তুষ্ট করে

সীমাবদ্ধতা

কোরাঙ্ক সীমাবদ্ধতা: ফলাফল প্রধানত কোরাঙ্ক ১ ক্ষেত্রে প্রযোজ্য
কোয়াসিহোমোজেনিয়াস অনুমান: ম্যাপিং জার্মকে বিশেষ সমজাত কাঠামো রাখতে হবে
$\mu_{m,k}$ -ন্যূনতম শর্ত: এটি একটি তুলনামূলকভাবে শক্তিশালী জ্যামিতিক শর্ত

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

উচ্চ কোরাঙ্কে সম্প্রসারণ: কোরাঙ্ক ≥ २ ক্ষেত্রে সম্প্রসারণ করুন
সাধারণ ম্যাপিং জার্ম: কোয়াসিহোমোজেনিয়াস অনুমান অপসারণ করুন
উচ্চ মাত্রা ক্ষেত্র: $(\mathbb{C}^n,0) \to (\mathbb{C}^{n+1},0)$ এ সম্প্রসারণ করুন

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

সুবিধা

তাত্ত্বিক উদ্ভাবন: $\mu_{m,k}$ -ন্যূনতমতা ধারণা নতুন জ্যামিতিক দৃষ্টিভঙ্গি প্রদান করে
গঠনমূলক ফলাফল: স্পষ্ট মানক ফর্ম এবং প্যারামিটারকরণ প্রদান করে
একীভূত কাঠামো: একাধিক গুরুত্বপূর্ণ অনুমানকে একীভূত তত্ত্বে অন্তর্ভুক্ত করে
প্রযুক্তিগত গভীরতা: বীজগণিতীয় জ্যামিতি, বিশেষত্ব তত্ত্ব এবং জটিল বিশ্লেষণের গভীর ফলাফল সংমিশ্রণ করে

অপূর্ণতা

প্রযোজ্যতার পরিধি: ফলাফল নির্দিষ্ট জ্যামিতিক ক্ষেত্রে সীমাবদ্ধ
গণনা জটিলতা: $\mu_{m,k}$ -ন্যূনতমতার নির্ধারণ গণনা জটিল হতে পারে
সাধারণতা: প্রধান ফলাফল পেতে একাধিক প্রযুক্তিগত অনুমানের প্রয়োজন

প্রভাব

তাত্ত্বিক অবদান: শাস্ত্রীয় অনুমানের জন্য নতুন সমাধান পথ প্রদান করে
পদ্ধতিগত মূল্য: ট্রান্সভার্স স্লাইস কৌশলের নতুন প্রয়োগ
অনুপ্রেরণামূলক: সম্পর্কিত সমস্যা গবেষণার জন্য নতুন চিন্তাভাবনা প্রদান করে

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

কোয়াসিহোমোজেনিয়াস ম্যাপিং জার্মের শ্রেণীবিভাগ এবং বিকৃতি তত্ত্ব
বিশেষ জ্যামিতিক শর্তের অধীনে সমতুল্যতা সমস্যা
বিশেষত্ব তত্ত্বে গণনা এবং প্রয়োগ সমস্যা

খোলা সমস্যা

পেপারটি তিনটি গুরুত্বপূর্ণ খোলা সমস্যা প্রস্তাব করে:

সমস্যা १: সীমিত নির্ধারিত কোয়াসিহোমোজেনিয়াস ম্যাপিং জার্ম $f: (\mathbb{C}^n,0) \to (\mathbb{C}^{n+1},0)$ এর জন্য, টপোলজিক্যালি তুচ্ছ ১-প্যারামিটার বিকৃতি কি সবসময় অ-ঋণাত্মক ডিগ্রি রাখে?

সমস্যা २: কোয়াসিহোমোজেনিয়াস অনুমান অপসারণ করে, $\mu_{m,k}$ -ন্যূনতম ট্রান্সভার্স স্লাইস শর্ত কি এখনও হুইটনি সমতুল্যতা নিশ্চিত করে?

সমস্যা ३: কি সমতল বক্ররেখা পরিবার $L_t$ বিদ্যমান যাতে দ্বি-লিপশিৎজ সমতুল্যতা $\mu(L_t,0)$ এর ধ্রুবকতার সমতুল্য হয়?

এই সমস্যাগুলি বিশেষত্ব তত্ত্বে গভীর কাঠামোগত সমস্যার দিকে নির্দেশ করে, ভবিষ্যত গবেষণার জন্য স্পষ্ট দিকনির্দেশনা প্রদান করে।