{"title":"Central elements in the $$textrm{SL}_d$$ -skein algebra of a surface","authors":"Francis Bonahon, Vijay Higgins","doi":"10.1007/s00209-024-03559-9","DOIUrl":"https://doi.org/10.1007/s00209-024-03559-9","url":null,"abstract":"<p>The <span>(textrm{SL}_d)</span>-skein algebra <span>(mathcal {S}^q_{textrm{SL}_d}(S))</span> of a surface <i>S</i> is a certain deformation of the coordinate ring of the character variety consisting of flat <span>(textrm{SL}_d)</span>-local systems over the surface. As a quantum topological object, <span>(mathcal {S}^q_{textrm{SL}_d}(S))</span> is also closely related to the HOMFLYPT polynomial invariant of knots and links in <span>({mathbb {R}}^3)</span>. We exhibit a rich family of central elements in <span>(mathcal {S}^q_{textrm{SL}_d}(S))</span> that appear when the quantum parameter <i>q</i> is a root of unity. These central elements are obtained by threading along framed links certain polynomials arising in the elementary theory of symmetric functions, and related to taking powers in the Lie group <span>(textrm{SL}_d)</span>.</p>","PeriodicalId":18278,"journal":{"name":"Mathematische Zeitschrift","volume":"26 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141785146","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"The mod 2 cohomology rings of oriented Grassmannians via Koszul complexes","authors":"Ákos K. Matszangosz, Matthias Wendt","doi":"10.1007/s00209-024-03556-y","DOIUrl":"https://doi.org/10.1007/s00209-024-03556-y","url":null,"abstract":"<p>We study the structure of mod 2 cohomology rings of oriented Grassmannians <span>(widetilde{{text {Gr}}}_k(n))</span> of oriented <i>k</i>-planes in <span>({mathbb {R}}^n)</span>. Our main focus is on the structure of the cohomology ring <span>(textrm{H}^*(widetilde{{text {Gr}}}_k(n);{mathbb {F}}_2))</span> as a module over the characteristic subring <i>C</i>, which is the subring generated by the Stiefel–Whitney classes <span>(w_2,ldots ,w_k)</span>. We identify this module structure using Koszul complexes, which involves the syzygies between the relations defining <i>C</i>. We give an infinite family of such syzygies, which results in a new upper bound on the characteristic rank of <span>(widetilde{{text {Gr}}}_k(2^t))</span>, <span>(k<2^t)</span>, and formulate a conjecture on the exact value of the characteristic rank of <span>(widetilde{{text {Gr}}}_k(n))</span>. For the case <span>(k=3)</span>, we use the Koszul complex to compute a presentation of the cohomology ring <span>(H=textrm{H}^*(widetilde{{text {Gr}}}_3(n);{mathbb {F}}_2))</span> for <span>(2^{t-1}<nle 2^t-4)</span> for <span>(tge 4)</span>, complementing existing descriptions in the cases <span>(n=2^t-i)</span>, <span>(i=0,1,2,3)</span> for <span>(tge 3)</span>. More precisely, as a <i>C</i>-module, <i>H</i> splits as a direct sum of the characteristic subring <i>C</i> and the anomalous module <i>H</i>/<i>C</i>, and we compute a complete presentation of <i>H</i>/<i>C</i> as a <i>C</i>-module from the Koszul complex. We also discuss various issues that arise for the cases <span>(k>3)</span>, supported by computer calculation.</p>","PeriodicalId":18278,"journal":{"name":"Mathematische Zeitschrift","volume":"46 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141784981","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Comparing orthogonal calculus and calculus with Reality","authors":"Niall Taggart","doi":"10.1007/s00209-024-03545-1","DOIUrl":"https://doi.org/10.1007/s00209-024-03545-1","url":null,"abstract":"<p>We show that there exists a suitable <span>(C_2)</span>-fixed points functor from calculus with Reality to the orthogonal calculus of Weiss which recovers orthogonal calculus “up to a shift” in an analogous way with the recovery of real topological <i>K</i>-theory from Atiyah’s <i>K</i>-theory with Reality via appropriate <span>(C_2)</span>-fixed points.</p>","PeriodicalId":18278,"journal":{"name":"Mathematische Zeitschrift","volume":"37 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141741120","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Enumeration of non-nodal real plane rational curves","authors":"Eugenii Shustin","doi":"10.1007/s00209-024-03546-0","DOIUrl":"https://doi.org/10.1007/s00209-024-03546-0","url":null,"abstract":"<p>Welschinger invariants enumerate real nodal rational curves in the plane or in another real rational surface. We analyze the existence of similar enumerative invariants that count real rational plane curves having prescribed non-nodal singularities and passing through a generic conjugation-invariant configuration of appropriately many points in the plane. We show that an invariant like this is unique: it enumerates real rational three-cuspidal quartics that pass through generically chosen four pairs of complex conjugate points. As a consequence, we show that through any generic configuration of four pairs of complex conjugate points, one can always trace a pair of real rational three-cuspidal quartics.</p>","PeriodicalId":18278,"journal":{"name":"Mathematische Zeitschrift","volume":"84 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141741121","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Mutations of numerically exceptional collections on surfaces","authors":"Johannes Krah","doi":"10.1007/s00209-024-03550-4","DOIUrl":"https://doi.org/10.1007/s00209-024-03550-4","url":null,"abstract":"<p>A conjecture of Bondal–Polishchuk states that, in particular for the bounded derived category of coherent sheaves on a smooth projective variety, the action of the braid group on full exceptional collections is transitive up to shifts. We show that the braid group acts transitively on the set of maximal numerically exceptional collections on rational surfaces up to isometries of the Picard lattice and twists with line bundles. Considering the blow-up of the projective plane in up to 9 points in very general position, these results lift to the derived category. More precisely, we prove that, under these assumptions, a maximal numerically exceptional collection consisting of line bundles is a full exceptional collection and any two of them are related by a sequence of mutations and shifts. The former extends a result of Elagin–Lunts and the latter a result of Kuleshov–Orlov, both concerning del Pezzo surfaces. In contrast, we show in concomitant work (Krah in Invent Math 235(3):1009–1018, 2024) that the blow-up of the projective plane in 10 points in general position admits a non-full exceptional collection of maximal length consisting of line bundles.</p>","PeriodicalId":18278,"journal":{"name":"Mathematische Zeitschrift","volume":"22 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141720061","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Filomena Pacella, Giorgio Poggesi, Alberto Roncoroni
{"title":"Optimal quantitative stability for a Serrin-type problem in convex cones","authors":"Filomena Pacella, Giorgio Poggesi, Alberto Roncoroni","doi":"10.1007/s00209-024-03555-z","DOIUrl":"https://doi.org/10.1007/s00209-024-03555-z","url":null,"abstract":"<p>We consider a Serrin’s type problem in convex cones in the Euclidean space and motivated by recent rigidity results we study the quantitative stability issue for this problem. In particular, we prove both sharp Lipschitz estimates for an <span>(L^2)</span>-pseudodistance and estimates in terms of the Hausdorff distance.</p>","PeriodicalId":18278,"journal":{"name":"Mathematische Zeitschrift","volume":"11 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141720060","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Toric periods for a p-adic quaternion algebra","authors":"U. K. Anandavardhanan, Basudev Pattanayak","doi":"10.1007/s00209-024-03551-3","DOIUrl":"https://doi.org/10.1007/s00209-024-03551-3","url":null,"abstract":"<p>Let <i>G</i> be a compact group with two given subgroups <i>H</i> and <i>K</i>. Let <span>(pi )</span> be an irreducible representation of <i>G</i> such that its space of <i>H</i>-invariant vectors as well as the space of <i>K</i>-invariant vectors are both one dimensional. Let <span>(v_H)</span> (resp. <span>(v_K)</span>) denote an <i>H</i>-invariant (resp. <i>K</i>-invariant) vector of unit norm in a given <i>G</i>-invariant inner product <span>(langle ~,~ rangle _pi )</span> on <span>(pi )</span>. We are interested in calculating the correlation coefficient </p><span>$$begin{aligned} c(pi text {;},H,K) = |langle v_H,v_K rangle _pi |^2. end{aligned}$$</span><p>In this paper, we compute the correlation coefficient of an irreducible representation of the multiplicative group of the <i>p</i>-adic quaternion algebra with respect to any two tori. In particular, if <span>(pi )</span> is such an irreducible representation of odd minimal conductor with non-trivial invariant vectors for two tori <i>H</i> and <i>K</i>, then its root number <span>(varepsilon (pi ))</span> is <span>(pm 1)</span> and <span>(c(pi text {;}, H, K))</span> is non-vanishing precisely when <span>(varepsilon (pi ) = 1)</span>.</p>","PeriodicalId":18278,"journal":{"name":"Mathematische Zeitschrift","volume":"41 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-07-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141613804","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Exotic families of symplectic manifolds with Milnor fibers of ADE-type","authors":"Dongwook Choa, Dogancan Karabas, Sangjin Lee","doi":"10.1007/s00209-024-03542-4","DOIUrl":"https://doi.org/10.1007/s00209-024-03542-4","url":null,"abstract":"<p>In this paper, we give infinitely many diffeomorphic families of different Weinstein manifolds. The diffeomorphic families consist of well-known Weinstein manifolds which are the Milnor fibers of <i>ADE</i>-type, and Weinstein manifolds constructed by taking the end connected sums of Milnor fibers of <i>A</i>-type. In order to distinguish them as Weinstein manifolds, we study how to measure the number of connected components of wrapped Fukaya categories.</p>","PeriodicalId":18278,"journal":{"name":"Mathematische Zeitschrift","volume":"61 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-07-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141614821","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Topological Hecke eigenforms","authors":"L. Candelori, A. Salch","doi":"10.1007/s00209-024-03552-2","DOIUrl":"https://doi.org/10.1007/s00209-024-03552-2","url":null,"abstract":"<p>We study the eigenforms of the action of A. Baker’s Hecke operators on the holomorphic elliptic homology of various topological spaces. We prove a multiplicity one theorem (i.e., one-dimensionality of the space of these “topological Hecke eigenforms” for any given eigencharacter) for some classes of topological spaces, and we give examples of finite CW-complexes for which multiplicity one fails. We also develop some abstract “derived eigentheory” whose motivating examples arise from the failure of classical Hecke operators to commute with multiplication by various Eisenstein series, or non-cuspidal holomorphic modular forms in general. Part of this “derived eigentheory” is an identification of certain derived Hecke eigenforms as the obstructions to extending topological Hecke eigenforms from the top cell of a CW-complex to the rest of the CW-complex. Using these obstruction classes together with our multiplicity one theorem, we calculate the topological Hecke eigenforms explicitly, in terms of pairs of classical modular forms, on all 2-cell CW complexes obtained by coning off an element in <span>(pi _n(S^m))</span> which stably has Adams–Novikov filtration 1.</p>","PeriodicalId":18278,"journal":{"name":"Mathematische Zeitschrift","volume":"9 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-07-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141614822","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Parametrizations of subsets of the space of valuations","authors":"Josnei Novacoski, Caio Henrique Silva de Souza","doi":"10.1007/s00209-024-03554-0","DOIUrl":"https://doi.org/10.1007/s00209-024-03554-0","url":null,"abstract":"<p>In this paper we present different ways to parametrize subsets of the space of valuations on <i>K</i>[<i>x</i>] extending a given valuation on <i>K</i>. We discuss the methods using pseudo-Cauchy sequences and approximation types. The method presented here is slightly different than the ones in the literature and we believe that our approach is more accurate.</p>","PeriodicalId":18278,"journal":{"name":"Mathematische Zeitschrift","volume":"17 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141584909","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}