2025-11-10T02:58:59.381108

Non-smoothable $\mathbb{Z}/p$-actions on nuclei

Montague
In this article we construct examples of non-smoothable $\mathbb{Z}/p$-actions on indefinite spin 4-manifolds with boundary for all primes $p\geq 5$. For example, we show that for each prime $p\geq 5$ and each $n\geq 1$ there exists a locally linear $\mathbb{Z}/p$-action on the Gompf nucleus $N(2pn)$ which is not smoothable with respect to any smooth structure on $N(2pn)$. Furthermore we investigate the behavior of these actions under two different types of equivariant stabilizations with $S^{2}\times S^{2}$, namely \emph{free} and \emph{homologically trivial} stabilizations -- in particular we show that our non-smoothable $\mathbb{Z}/p$-action on $N(2pn)$ remains non-smoothable after $2n-2$ free stabilizations, and after arbitrarily many homologically trivial stabilizations. We also show that free stabilizations satisfy a Wall stabilization principle in the sense that any non-smoothable $\mathbb{Z}/p$-action becomes smoothable after some finite number free stabilizations (under certain assumptions), whereas our aforementioned result implies that homologically trivial stabilizations do not satisfy this property. The proofs of these results use equivariant $κ$-invariants defined by the author in \cite{Mon22}, calculations of equivariant $η$-invariants for the odd signature and Dirac operators on Seifert-fibered spaces, as well as an analysis of the geometric $S^{1}$-action on the Seiberg-Witten moduli spaces of Seifert-fibered spaces induced by rotation in the fibers, which may be of independent interest.
academic

गैर-सुचारु Z/p\mathbb{Z}/p-क्रियाएं नाभिक पर

मूल जानकारी

  • पेपर ID: 2401.00244
  • शीर्षक: गैर-सुचारु Z/p\mathbb{Z}/p-क्रियाएं नाभिक पर
  • लेखक: इमोजेन मॉन्टेग
  • वर्गीकरण: math.GT (ज्यामितीय सांस्थिति)
  • प्रकाशन समय: 23 दिसंबर 2023 को arXiv पर प्रस्तुत
  • पेपर लिंक: https://arxiv.org/abs/2401.00244

सारांश

यह पेपर सभी अभाज्य संख्याओं p≥5p\geq 5 के लिए, सीमा वाले अनिश्चित स्पिन 4-बहुविध पर गैर-सुचारु Z/p\mathbb{Z}/p-क्रियाओं के उदाहरण प्रस्तुत करता है। विशेष रूप से, प्रत्येक अभाज्य p≥5p\geq 5 और प्रत्येक n≥1n\geq 1 के लिए, Gompf नाभिक N(2pn)N(2pn) पर एक स्थानीय रैखिक Z/p\mathbb{Z}/p-क्रिया मौजूद है, जो N(2pn)N(2pn) की किसी भी सुचारु संरचना के अंतर्गत सुचारु नहीं की जा सकती। इसके अतिरिक्त, लेख इन क्रियाओं के दो विभिन्न प्रकार के समतुल्य स्थिरीकरण (मुक्त स्थिरीकरण और समजातीय तुच्छ स्थिरीकरण) के अंतर्गत व्यवहार का अध्ययन करता है, यह सिद्ध करते हुए कि मुक्त स्थिरीकरण Wall स्थिरीकरण सिद्धांत को संतुष्ट करता है, जबकि समजातीय तुच्छ स्थिरीकरण इस गुण को संतुष्ट नहीं करता है।

अनुसंधान पृष्ठभूमि और प्रेरणा

समस्या की पृष्ठभूमि

  1. शास्त्रीय परिणामों का विस्तार: Edmonds ने सिद्ध किया कि प्रत्येक बंद एकल-संयुक्त सांस्थितिक 4-बहुविध स्थानीय रैखिक Zp\mathbb{Z}_p-क्रियाओं को स्वीकार करता है, लेकिन ये क्रियाएं सभी सुचारु नहीं हैं। Kiyono ने Furuta की 10/8 असमानता का उपयोग करके यह सिद्ध किया कि कुछ क्रियाएं सुचारु नहीं की जा सकतीं।
  2. सीमा स्थिति की चुनौती: सीमा वाले 4-बहुविध के लिए, Edmonds परिणाम का समान संस्करण अज्ञात है, जो सीमा स्थिति के अध्ययन को अधिक कठिन बनाता है।
  3. Seifert-रेशेदार समष्टि का महत्व: Seifert-रेशेदार समष्टि महत्वपूर्ण Zp\mathbb{Z}_p-क्रियाओं के उदाहरण प्रदान करती हैं, जिनकी मानक क्रिया रेशों में घूर्णन द्वारा दी जाती है।

अनुसंधान प्रेरणा

  1. सैद्धांतिक अंतराल को भरना: b2(X)>0b_2(X) > 0 वाली सीमा वाली 4-बहुविध स्थिति में, ज्ञात परिणाम बहुत कम हैं, विशेष रूप से उच्च-क्रम क्रियाओं (p≥5p \geq 5) के लिए।
  2. स्थिरीकरण घटना का अध्ययन: गैर-सुचारु क्रियाओं के समतुल्य स्थिरीकरण के अंतर्गत व्यवहार को समझना, जो 4-बहुविध के सांस्थितिक गुणों को समझने के लिए महत्वपूर्ण है।
  3. Wall स्थिरीकरण सिद्धांत: विभिन्न प्रकार के स्थिरीकरण का अध्ययन करना कि क्या वे गैर-सुचारु क्रियाओं को सुचारु बना सकते हैं।

मुख्य योगदान

  1. गैर-सुचारु क्रियाओं का निर्माण: सभी अभाज्य संख्याओं p≥5p \geq 5 के लिए, गैर-रिक्त सीमा और b2(X)>0b_2(X) > 0 वाली 4-बहुविध पर गैर-सुचारु Z/p\mathbb{Z}/p-क्रियाओं का निर्माण।
  2. स्थिरीकरण व्यवहार विश्लेषण: यह सिद्ध करना कि मुक्त स्थिरीकरण Wall स्थिरीकरण सिद्धांत को संतुष्ट करता है, जबकि समजातीय तुच्छ स्थिरीकरण इसे संतुष्ट नहीं करता है।
  3. समतुल्य κ\kappa-अपरिवर्तनीय का अनुप्रयोग: लेखक द्वारा Mon22 में परिभाषित समतुल्य κ\kappa-अपरिवर्तनीय का उपयोग करके सुचारु विस्तार के अस्तित्व को बाधित करना।
  4. Seiberg-Witten मॉड्यूली समष्टि की ज्यामितीय क्रिया: Seifert-रेशेदार समष्टि पर रेशा घूर्णन द्वारा प्रेरित S1S^1-क्रिया की Seiberg-Witten मॉड्यूली समष्टि पर ज्यामितीय क्रिया का विश्लेषण।

विधि विवरण

मुख्य तकनीकी ढांचा

1. समतुल्य κ\kappa-अपरिवर्तनीय

लेखक Mon22 में परिभाषित समतुल्य κ\kappa-अपरिवर्तनीय K(Y,s,σ)⊂QpK(Y,s,\sigma) \subset \mathbb{Q}_p का उपयोग करता है, ये अपरिवर्तनीय Zp\mathbb{Z}_p-समतुल्य स्पिन परिमेय समजातीय गोले (Y,s,σ)(Y,s,\sigma) से संबंधित हैं।

2. Seiberg-Witten सिद्धांत

लेख Seifert-रेशेदार समष्टि पर Seiberg-Witten मॉड्यूली समष्टि का गहन विश्लेषण करता है, विशेष रूप से मानक S1S^1-क्रिया मॉड्यूली समष्टि के आधार पर अपरिवर्तनीय समाधानों तक कैसे उठती है।

मुख्य प्रमेय 2.1: Seifert-रेशेदार समष्टि YY पर रेखा बंडल E=(e;ϵ1,…,ϵn)E = (e; \epsilon_1, \ldots, \epsilon_n) के लिए, घूर्णन संख्या निम्नलिखित सूत्र द्वारा दी जाती है: rot(E)=1ℓ(g−e+n−22−∑i=1n2ϵi+12αi)\text{rot}(E) = \frac{1}{\ell}\left(g - e + \frac{n-2}{2} - \sum_{i=1}^n \frac{2\epsilon_i + 1}{2\alpha_i}\right)

3. समतुल्य सापेक्ष 10/8 असमानता

प्रस्ताव 3.5: यदि Manolescu की सापेक्ष 10/8 असमानता (Y,s,X,t)(Y,s,X,t) के लिए तीव्र है, और कम से कम दो विभिन्न तत्व κ,κ′∈Kπ(Y,s,σ)\kappa, \kappa' \in K_\pi(Y,s,\sigma) मौजूद हैं जो ∣κ∣=∣κ′∣=κ(Y,s)|\kappa| = |\kappa'| = \kappa(Y,s) को संतुष्ट करते हैं, तो σ\sigma को XX पर सुचारु समजातीय तुच्छ tt-संरक्षण Zp\mathbb{Z}_p-क्रिया में विस्तारित नहीं किया जा सकता।

निर्माण विधि

1. स्थानीय रैखिक क्रियाओं का निर्माण

Edmonds और Kwasik-Lawson की विधि का उपयोग करके, निम्नलिखित चरणों के माध्यम से:

  • बंद एकल-संयुक्त सांस्थितिक 4-बहुविध पर मानक स्थानीय रैखिक क्रिया से शुरुआत करना
  • (Y,ρp)(Y,\rho_p) से सामान्यीकृत लेंस समष्टि क्रिया से सुसज्जित S3S^3 तक समतुल्य समजातीय सीमांत का निर्माण

2. Z[Zp]\mathbb{Z}[\mathbb{Z}_p] h-सीमांत

प्रस्ताव 4.10: p≥5p \geq 5 और सभी n≥1n \geq 1 के लिए, Q(p;2,3,12pn−1)Q(p; 2,3,12pn-1) से L(p;−2,3)L(p;-2,3) तक सांस्थितिक Z[Zp]\mathbb{Z}[\mathbb{Z}_p] h-सीमांत मौजूद है।

मुख्य परिणाम

प्रमेय 1.2 (सुचारु विस्तार को बाधित करना)

निम्नलिखित स्थितियों के लिए, प्रभावी सुचारु Zp\mathbb{Z}_p-क्रिया को समजातीय तुच्छ सुचारु Zp\mathbb{Z}_p-क्रिया में विस्तारित नहीं किया जा सकता:

  1. p≥3p \geq 3, XX Gompf नाभिक N(2n)N(2n) या इसके स्थिरीकरण के समरूप है
  2. p≥3p \geq 3, XX P(2n)P(2n) या इसके स्थिरीकरण के समरूप है
  3. p≥3,p≠5p \geq 3, p \neq 5, XX Milnor रेशा M(2,3,11)M(2,3,11) के समरूप है
  4. p≥3p \geq 3, XX Milnor रेशा M(2,3,7)M(2,3,7) के समरूप है

प्रमेय 1.6 (स्थिरीकरण व्यवहार)

प्रत्येक अभाज्य p≥5p \geq 5 और n≥1n \geq 1 के लिए, गैर-सुचारु Zp\mathbb{Z}_p-क्रियाएं τp,n\tau_{p,n} और τp,n′\tau'_{p,n} MM बार समजातीय तुच्छ स्थिरीकरण और NN बार मुक्त स्थिरीकरण के बाद, जब M≥0M \geq 0 और 0≤N≤2n−20 \leq N \leq 2n-2 हो, तब भी गैर-सुचारु रहती हैं।

प्रमेय 1.5 (Wall स्थिरीकरण सिद्धांत)

उपयुक्त शर्तों के अंतर्गत, N≥0N \geq 0 मौजूद है जैसे कि NN-गुना मुक्त स्थिरीकरण τN\tau_N स्थिरीकृत बहुविध पर किसी सुचारु संरचना के सापेक्ष सुचारु है।

तकनीकी नवाचार

1. घूर्णन संख्या की गणना

लेख Seifert-रेशेदार समष्टि पर Seiberg-Witten समाधानों की घूर्णन संख्या के लिए स्पष्ट सूत्र प्रदान करता है, जो ज्यामितीय S1S^1-क्रियाओं को समझने के लिए महत्वपूर्ण है।

2. समतुल्य सुधार पद की गणना

प्रस्ताव 5.3: समतुल्य सुधार पद nL(Y,ρ^r,g,∇∞)n_L(Y,\hat{\rho}_r,g,\nabla_\infty) के लिए स्पष्ट सूत्र प्रदान करता है, जिसमें Dedekind योग और Dedekind-Rademacher योग शामिल हैं।

3. स्थिरीकरण अपरिवर्तनीयता

लेम्मा 5.1: S⃗(X,τ)\vec{S}(X,\tau) की समजातीय तुच्छ स्थिरीकरण और मुक्त स्थिरीकरण के अंतर्गत अपरिवर्तनीयता को सिद्ध करता है।

प्रायोगिक सत्यापन

ठोस गणना उदाहरण

लेख Brieskorn गोले परिवार Σ(2,3,6n±1)\Sigma(2,3,6n \pm 1) पर समतुल्य κ\kappa-अपरिवर्तनीय की गणना के ठोस उदाहरण प्रदान करता है:

प्रस्ताव 3.2: Σ(2,3,12n−5)\Sigma(2,3,12n-5) और Σ(2,3,12n−1)\Sigma(2,3,12n-1) के लिए, समतुल्य κ\kappa-अपरिवर्तनीय समुच्चय का पूर्ण विवरण प्रदान करता है, जिसमें शामिल हैं:

  • जब (Y,ρp)(Y,\rho_p) Floer KGp∗K\mathcal{G}_p^*-विभाजन है तो एकल-बिंदु समुच्चय स्थिति
  • गैर-विभाजन स्थिति में बहु-तत्व समुच्चय

संख्यात्मक परिणाम

प्रस्ताव 5.5: सभी अभाज्य संख्याओं p≥5p \geq 5 और n≥1n \geq 1 के लिए:

\frac{p^2 \mp 14p + 13}{144p} & \text{यदि } p \equiv \pm 1 \pmod{12} \\ \frac{p^2 \pm 50p + 13}{144p} & \text{यदि } p \equiv \pm 5 \pmod{12} \end{cases}$$ ## संबंधित कार्य ### ऐतिहासिक विकास 1. **Edmonds (1987)**: बंद एकल-संयुक्त सांस्थितिक 4-बहुविध पर स्थानीय रैखिक $\mathbb{Z}_p$-क्रियाओं के अस्तित्व को सिद्ध किया 2. **Kiyono (2011)**: Furuta असमानता का उपयोग करके कुछ क्रियाओं की गैर-सुचारुता को सिद्ध किया 3. **Konno-Miyazawa-Taniguchi (2021)**: $p=2$ स्थिति में गैर-सुचारु आक्रमणों का अध्ययन किया ### संबंधित तकनीकें 1. **Baraglia-Hekmati (2022)**: Seifert-रेशेदार समजातीय गोलों पर मानक $\mathbb{Z}_p$-क्रिया को कुछ 4-बहुविध पर विस्तारित नहीं किया जा सकता, यह सिद्ध किया 2. **Anvari-Hambleton (2016)**: संकुचनशील 4-बहुविध पर गैर-सुचारु क्रियाओं के उदाहरण प्रदान किए ## निष्कर्ष और चर्चा ### मुख्य निष्कर्ष 1. सभी अभाज्य संख्याओं $p \geq 5$ के लिए, सीमा वाली 4-बहुविध पर गैर-सुचारु $\mathbb{Z}/p$-क्रियाओं का निर्माण 2. यह सिद्ध करना कि समजातीय तुच्छ स्थिरीकरण Wall स्थिरीकरण सिद्धांत को संतुष्ट नहीं करता है 3. मुक्त स्थिरीकरण Wall स्थिरीकरण सिद्धांत को संतुष्ट करता है, लेकिन स्थिरीकरण संख्या मनमाने ढंग से बड़ी हो सकती है ### सीमाएं 1. **अपवाद स्थितियां**: $(n,p) = (1,5)$ की अपवाद स्थिति को विशेष रूप से संभाला जाना आवश्यक है 2. **गणना जटिलता**: समतुल्य सुधार पद की गणना जटिल संख्या-सैद्धांतिक योग में शामिल है 3. **सीमा शर्तें**: विधि मुख्य रूप से Seifert-रेशेदार सीमा के विशिष्ट प्रकारों पर लागू होती है ### भविष्य की दिशाएं 1. **सामान्य सीमा स्थिति**: अधिक सामान्य सीमा वाली 4-बहुविध पर गैर-सुचारु क्रियाओं का अध्ययन 2. **निम्न-क्रम अभाज्य**: $p = 2, 3$ की स्थितियों तक विस्तार 3. **अनुप्रयोग विस्तार**: अन्य ज्यामितीय समस्याओं पर तकनीकों का अनुप्रयोग ## गहन मूल्यांकन ### लाभ 1. **तकनीकी गहराई**: Seiberg-Witten सिद्धांत, समतुल्य K-सिद्धांत और 4-बहुविध सांस्थिति का कुशल संयोजन 2. **पूर्णता**: सैद्धांतिक निर्माण से ठोस गणना तक पूर्ण ढांचा प्रदान करता है 3. **नवाचार**: उच्च-क्रम समूह क्रियाओं के स्थिरीकरण व्यवहार का पहली बार व्यवस्थित अध्ययन 4. **गणना सटीकता**: ठोस संख्यात्मक सूत्र और गणना विधियां प्रदान करता है ### कमियां 1. **तकनीकी बाधा**: गहन अवकल सांस्थिति और गेज सिद्धांत पृष्ठभूमि की आवश्यकता है 2. **विशेषता**: परिणाम मुख्य रूप से विशिष्ट Seifert-रेशेदार सीमा स्थितियों तक सीमित हैं 3. **गणना जटिलता**: व्यावहारिक अनुप्रयोग में गणना अत्यंत जटिल है ### प्रभाव 1. **सैद्धांतिक योगदान**: 4-बहुविध पर समूह क्रियाओं के अनुसंधान के लिए नए उपकरण प्रदान करता है 2. **पद्धति**: समतुल्य $\kappa$-अपरिवर्तनीय के अनुप्रयोग की व्यापक संभावनाएं हैं 3. **समस्या समाधान**: इस क्षेत्र की एक महत्वपूर्ण खुली समस्या को हल करता है ### प्रयोज्य परिदृश्य यह विधि विशेष रूप से उपयोगी है: 1. Seifert-रेशेदार सीमा वाली 4-बहुविध पर समूह क्रियाओं के अनुसंधान में 2. सांस्थितिक 4-बहुविध की सुचारुता समस्याओं के विश्लेषण में 3. समतुल्य स्थिरीकरण घटनाओं को समझने में ## संदर्भ लेख 42 संबंधित संदर्भों का हवाला देता है, जो 4-बहुविध सांस्थिति, Seiberg-Witten सिद्धांत, समूह क्रियाओं और अन्य कई क्षेत्रों के महत्वपूर्ण कार्यों को शामिल करते हैं, जो अनुसंधान के लिए एक दृढ़ सैद्धांतिक आधार प्रदान करते हैं।