{"title":"Rings of differentiable semialgebraic functions","authors":"E. Baro, José F. Fernando, J. M. Gamboa","doi":"10.1007/s00029-024-00965-z","DOIUrl":"https://doi.org/10.1007/s00029-024-00965-z","url":null,"abstract":"<p>In this work we analyze the main properties of the Zariski and maximal spectra of the ring <span>({{mathcal {S}}}^r(M))</span> of differentiable semialgebraic functions of class <span>({{mathcal {C}}}^r)</span> on a semialgebraic set <span>(Msubset {{mathbb {R}}}^m)</span>. Denote <span>({{mathcal {S}}}^0(M))</span> the ring of semialgebraic functions on <i>M</i> that admit a continuous extension to an open semialgebraic neighborhood of <i>M</i> in <span>({text {Cl}}(M))</span>. This ring is the real closure of <span>({{mathcal {S}}}^r(M))</span>. If <i>M</i> is locally compact, the ring <span>({{mathcal {S}}}^r(M))</span> enjoys a Łojasiewicz’s Nullstellensatz, which becomes a crucial tool. Despite <span>({{mathcal {S}}}^r(M))</span> is not real closed for <span>(rge 1)</span>, the Zariski and maximal spectra of this ring are homeomorphic to the corresponding ones of the real closed ring <span>({{mathcal {S}}}^0(M))</span>. In addition, the quotients of <span>({{mathcal {S}}}^r(M))</span> by its prime ideals have real closed fields of fractions, so the ring <span>({{mathcal {S}}}^r(M))</span> is close to be real closed. The missing property is that the sum of two radical ideals needs not to be a radical ideal. The homeomorphism between the spectra of <span>({{mathcal {S}}}^r(M))</span> and <span>({{mathcal {S}}}^0(M))</span> guarantee that all the properties of these rings that arise from spectra are the same for both rings. For instance, the ring <span>({{mathcal {S}}}^r(M))</span> is a Gelfand ring and its Krull dimension is equal to <span>(dim (M))</span>. We also show similar properties for the ring <span>({{mathcal {S}}}^{r*}(M))</span> of differentiable bounded semialgebraic functions. In addition, we confront the ring <span>({mathcal S}^{infty }(M))</span> of differentiable semialgebraic functions of class <span>({{mathcal {C}}}^{infty })</span> with the ring <span>({{mathcal {N}}}(M))</span> of Nash functions on <i>M</i>.\u0000</p>","PeriodicalId":501600,"journal":{"name":"Selecta Mathematica","volume":"64 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141744435","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Mutations of noncommutative crepant resolutions in geometric invariant theory","authors":"Wahei Hara, Yuki Hirano","doi":"10.1007/s00029-024-00957-z","DOIUrl":"https://doi.org/10.1007/s00029-024-00957-z","url":null,"abstract":"<p>Let <i>X</i> be a generic quasi-symmetric representation of a connected reductive group <i>G</i>. The GIT quotient stack <span>(mathfrak {X}=[X^text {ss}(ell )/G])</span> with respect to a generic <span>(ell )</span> is a (stacky) crepant resolution of the affine quotient <i>X</i>/<i>G</i>, and it is derived equivalent to a noncommutative crepant resolution (=NCCR) of <i>X</i>/<i>G</i>. Halpern-Leistner and Sam showed that the derived category <span>({{textrm{D}}^{textrm{b}}}({text {coh}}mathfrak {X}))</span> is equivalent to certain subcategories of <span>({{textrm{D}}^{textrm{b}}}({text {coh}}[X/G]))</span>, which are called magic windows. This paper studies equivalences between magic windows that correspond to wall-crossings in a hyperplane arrangement in terms of NCCRs. We show that those equivalences coincide with derived equivalences between NCCRs induced by tilting modules, and that those tilting modules are obtained by certain operations of modules, which is called exchanges of modules. When <i>G</i> is a torus, it turns out that the exchanges are nothing but iterated Iyama–Wemyss mutations. Although we mainly discuss resolutions of affine varieties, our theorems also yield a result for projective Calabi-Yau varieties. Using techniques from the theory of noncommutative matrix factorizations, we show that Iyama–Wemyss mutations induce a group action of the fundamental group <span>(pi _1(mathbb {P}^1,backslash {0,1,infty }))</span> on the derived category of a Calabi-Yau complete intersection in a weighted projective space.</p>","PeriodicalId":501600,"journal":{"name":"Selecta Mathematica","volume":"7 Suppl 8 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141718513","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"The Manin–Peyre conjecture for smooth spherical Fano threefolds","authors":"Valentin Blomer, Jörg Brüdern, Ulrich Derenthal, Giuliano Gagliardi","doi":"10.1007/s00029-024-00952-4","DOIUrl":"https://doi.org/10.1007/s00029-024-00952-4","url":null,"abstract":"<p>The Manin–Peyre conjecture is established for smooth spherical Fano threefolds of semisimple rank one and type <i>N</i>. Together with the previously solved case <i>T</i> and the toric cases, this covers all types of smooth spherical Fano threefolds. The case <i>N</i> features a number of structural novelties; most notably, one may lose regularity of the ambient toric variety, the height conditions may contain fractional exponents, and it may be necessary to exclude a thin subset with exceptionally many rational points from the count, as otherwise Manin’s conjecture in its original form would turn out to be incorrect.</p>","PeriodicalId":501600,"journal":{"name":"Selecta Mathematica","volume":"334 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-07-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141614569","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Zero-cycles in families of rationally connected varieties","authors":"Morten Lüders","doi":"10.1007/s00029-024-00963-1","DOIUrl":"https://doi.org/10.1007/s00029-024-00963-1","url":null,"abstract":"<p>We study zero-cycles in families of rationally connected varieties. We show that for a smooth projective scheme over a henselian discrete valuation ring the restriction of relative zero cycles to the special fiber induces an isomorphism on Chow groups if the special fiber is separably rationally connected. We further extend this result to certain higher Chow groups and develop conjectures in the non-smooth case. Our main results generalise a result of Kollár (Publ. Res. Inst. Math. Sci. 40(3):689–708, 2004).</p>","PeriodicalId":501600,"journal":{"name":"Selecta Mathematica","volume":"367 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141572400","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Coxeter quiver representations in fusion categories and Gabriel’s theorem","authors":"Edmund Heng","doi":"10.1007/s00029-024-00947-1","DOIUrl":"https://doi.org/10.1007/s00029-024-00947-1","url":null,"abstract":"<p>We introduce a notion of representation for a class of generalised quivers known as <i>Coxeter quivers</i>. These representations are built using fusion categories associated to <span>(U_q(mathfrak {s}mathfrak {l}_2))</span> at roots of unity and we show that many of the classical results on representations of quivers can be generalised to this setting. Namely, we prove a generalised Gabriel’s theorem for Coxeter quivers that encompasses all <i>Coxeter–Dynkin diagrams</i>—including the non-crystallographic types <i>H</i> and <i>I</i>. Moreover, a similar relation between reflection functors and Coxeter theory is used to show that the indecomposable representations correspond bijectively to the (extended) positive roots of Coxeter root systems over fusion rings.</p>","PeriodicalId":501600,"journal":{"name":"Selecta Mathematica","volume":"27 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-07-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141577689","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Castelnuovo–Mumford regularity of matrix Schubert varieties","authors":"Oliver Pechenik, David E Speyer, Anna Weigandt","doi":"10.1007/s00029-024-00959-x","DOIUrl":"https://doi.org/10.1007/s00029-024-00959-x","url":null,"abstract":"<p>Matrix Schubert varieties are affine varieties arising in the Schubert calculus of the complete flag variety. We give a formula for the Castelnuovo–Mumford regularity of matrix Schubert varieties, answering a question of Jenna Rajchgot. We follow her proposed strategy of studying the highest-degree homogeneous parts of Grothendieck polynomials, which we call Castelnuovo–Mumford polynomials. In addition to the regularity formula, we obtain formulas for the degrees of all Castelnuovo–Mumford polynomials and for their leading terms, as well as a complete description of when two Castelnuovo–Mumford polynomials agree up to scalar multiple. The degree of the Grothendieck polynomial is a new permutation statistic which we call the Rajchgot index; we develop the properties of Rajchgot index and relate it to major index and to weak order.</p>","PeriodicalId":501600,"journal":{"name":"Selecta Mathematica","volume":"25 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141548759","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On the existence of symplectic barriers","authors":"Pazit Haim-Kislev, Richard Hind, Yaron Ostrover","doi":"10.1007/s00029-024-00958-y","DOIUrl":"https://doi.org/10.1007/s00029-024-00958-y","url":null,"abstract":"<p>In this note we establish the existence of a new type of rigidity of symplectic embeddings coming from obligatory intersections with symplectic planes. In particular, we prove that if a Euclidean ball is symplectically embedded in the Euclidean unit ball, then it must intersect a sufficiently fine grid of two-codimensional pairwise disjoint symplectic planes. Inspired by analogous terminology for Lagrangian submanifolds, we refer to these obstructions as symplectic barriers.</p>","PeriodicalId":501600,"journal":{"name":"Selecta Mathematica","volume":"85 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141517346","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Special representatives of complexified Kähler classes","authors":"Carlo Scarpa, Jacopo Stoppa","doi":"10.1007/s00029-024-00955-1","DOIUrl":"https://doi.org/10.1007/s00029-024-00955-1","url":null,"abstract":"<p>Motivated by constructions appearing in mirror symmetry, we study special representatives of complexified Kähler classes, which extend the notions of constant scalar curvature and extremal representatives for usual Kähler classes. In particular, we provide a moment map interpretation, discuss a possible correspondence with compactified Landau–Ginzburg models, and prove existence results for such special complexified Kähler forms and their large volume limits in certain toric cases.\u0000</p>","PeriodicalId":501600,"journal":{"name":"Selecta Mathematica","volume":"169 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141505959","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"$$textbf{GL}$$ -algebras in positive characteristic I: the exterior algebra","authors":"Karthik Ganapathy","doi":"10.1007/s00029-024-00960-4","DOIUrl":"https://doi.org/10.1007/s00029-024-00960-4","url":null,"abstract":"<p>We study the category of <span>(textbf{GL})</span>-equivariant modules over the infinite exterior algebra in positive characteristic. Our main structural result is a shift theorem à la Nagpal. Using this, we obtain a Church–Ellenberg type bound for the Castelnuovo–Mumford regularity. We also prove finiteness results for local cohomology.</p>","PeriodicalId":501600,"journal":{"name":"Selecta Mathematica","volume":"28 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141505960","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"CNED sets: countably negligible for extremal distances","authors":"Dimitrios Ntalampekos","doi":"10.1007/s00029-024-00951-5","DOIUrl":"https://doi.org/10.1007/s00029-024-00951-5","url":null,"abstract":"<p>The author has recently introduced the class of <span>( CNED )</span> sets in Euclidean space, generalizing the classical notion of <span>( NED )</span> sets, and shown that they are quasiconformally removable. A set <i>E</i> is <span>( CNED )</span> if the conformal modulus of a curve family is not affected when one restricts to the subfamily intersecting <i>E</i> at countably many points. We prove that several classes of sets that were known to be removable are also <span>( CNED )</span>, including sets of <span>(sigma )</span>-finite Hausdorff <span>((n-1))</span>-measure and boundaries of domains with <i>n</i>-integrable quasihyperbolic distance. Thus, this work puts in common framework many known results on the problem of quasiconformal removability and suggests that the <span>( CNED )</span> condition should also be necessary for removability. We give a new necessary and sufficient criterion for closed sets to be (<i>C</i>)<i>NED</i>. Applying this criterion, we show that countable unions of closed (<i>C</i>)<i>NED</i> sets are (<i>C</i>)<i>NED</i>. Therefore we enlarge significantly the known classes of quasiconformally removable sets.</p>","PeriodicalId":501600,"journal":{"name":"Selecta Mathematica","volume":"155 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141505962","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}