Mathematische Annalen最新文献

{"title":"Abelian varieties of prescribed order over finite fields.","authors":"Raymond van Bommel, Edgar Costa, Wanlin Li, Bjorn Poonen, Alexander Smith","doi":"10.1007/s00208-024-03084-4","DOIUrl":"https://doi.org/10.1007/s00208-024-03084-4","url":null,"abstract":"<p><p>Given a prime power <i>q</i> and <math><mrow><mi>n</mi> <mo>≫</mo> <mn>1</mn></mrow> </math> , we prove that every integer in a large subinterval of the Hasse-Weil interval <math><mrow><mo>[</mo> <msup><mrow><mo>(</mo> <msqrt><mi>q</mi></msqrt> <mo>-</mo> <mn>1</mn> <mo>)</mo></mrow> <mrow><mn>2</mn> <mi>n</mi></mrow> </msup> <mo>,</mo> <msup><mrow><mo>(</mo> <msqrt><mi>q</mi></msqrt> <mo>+</mo> <mn>1</mn> <mo>)</mo></mrow> <mrow><mn>2</mn> <mi>n</mi></mrow> </msup> <mo>]</mo></mrow> </math> is <math><mrow><mo>#</mo> <mi>A</mi> <mo>(</mo> <msub><mi>F</mi> <mi>q</mi></msub> <mo>)</mo></mrow> </math> for some ordinary geometrically simple principally polarized abelian variety <i>A</i> of dimension <i>n</i> over <math><msub><mi>F</mi> <mi>q</mi></msub> </math> . As a consequence, we generalize a result of Howe and Kedlaya for <math><msub><mi>F</mi> <mn>2</mn></msub> </math> to show that for each prime power <i>q</i>, every sufficiently large positive integer is realizable, i.e., <math><mrow><mo>#</mo> <mi>A</mi> <mo>(</mo> <msub><mi>F</mi> <mi>q</mi></msub> <mo>)</mo></mrow> </math> for some abelian variety <i>A</i> over <math><msub><mi>F</mi> <mi>q</mi></msub> </math> . Our result also improves upon the best known constructions of sequences of simple abelian varieties with point counts towards the extremes of the Hasse-Weil interval. A separate argument determines, for fixed <i>n</i>, the largest subinterval of the Hasse-Weil interval consisting of realizable integers, asymptotically as <math><mrow><mi>q</mi> <mo>→</mo> <mi>∞</mi></mrow> </math> ; this gives an asymptotically optimal improvement of a 1998 theorem of DiPippo and Howe. Our methods are effective: We prove that if <math><mrow><mi>q</mi> <mo>≤</mo> <mn>5</mn></mrow> </math> , then every positive integer is realizable, and for arbitrary <i>q</i>, every positive integer <math><mrow><mo>≥</mo> <msup><mi>q</mi> <mrow><mn>3</mn> <msqrt><mi>q</mi></msqrt> <mo>log</mo> <mi>q</mi></mrow> </msup> </mrow> </math> is realizable.</p>","PeriodicalId":18304,"journal":{"name":"Mathematische Annalen","volume":"392 1","pages":"1167-1202"},"PeriodicalIF":1.3,"publicationDate":"2025-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC11971235/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143795736","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Regular logarithmic connections.","authors":"Piotr Achinger","doi":"10.1007/s00208-024-03047-9","DOIUrl":"https://doi.org/10.1007/s00208-024-03047-9","url":null,"abstract":"<p><p>We introduce the notion of a regular integrable connection on a smooth log scheme over <math><mi>C</mi></math> and construct an equivalence between the category of such connections and the category of integrable connections on its analytification, compatible with de Rham cohomology. This extends the work of Deligne (when the log structure is trivial), and combined with the work of Ogus yields a topological description of the category of regular connections in terms of certain constructible sheaves on the Kato-Nakayama space. The key ingredients are the notion of a canonical extension in this context and the existence of good compactifications of log schemes obtained recently by Włodarczyk.</p>","PeriodicalId":18304,"journal":{"name":"Mathematische Annalen","volume":"391 4","pages":"5293-5339"},"PeriodicalIF":1.3,"publicationDate":"2025-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC11954731/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143753555","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Generic solutions of equations involving the modular <i>j</i> function.","authors":"Sebastian Eterović","doi":"10.1007/s00208-024-03082-6","DOIUrl":"https://doi.org/10.1007/s00208-024-03082-6","url":null,"abstract":"<p><p>Assuming a modular version of Schanuel's conjecture and the modular Zilber-Pink conjecture, we show that the existence of generic solutions of certain families of equations involving the modular <i>j</i> function can be reduced to the problem of finding a Zariski dense set of solutions. By imposing some conditions on the field of definition of the variety, we are also able to obtain versions of this result without relying on these conjectures, and even a result including the derivatives of <i>j</i>.</p>","PeriodicalId":18304,"journal":{"name":"Mathematische Annalen","volume":"391 4","pages":"6401-6449"},"PeriodicalIF":1.3,"publicationDate":"2025-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC11954734/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143753525","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Foliation adjunction.","authors":"Paolo Cascini, Calum Spicer","doi":"10.1007/s00208-024-03067-5","DOIUrl":"https://doi.org/10.1007/s00208-024-03067-5","url":null,"abstract":"<p><p>We present an adjunction formula for foliations on varieties and we consider applications of the adjunction formula to the cone theorem for rank one foliations and the study of foliation singularities.</p>","PeriodicalId":18304,"journal":{"name":"Mathematische Annalen","volume":"391 4","pages":"5695-5727"},"PeriodicalIF":1.3,"publicationDate":"2025-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC11954749/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143753515","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Hyperfiniteness and Borel asymptotic dimension of boundary actions of hyperbolic groups.","authors":"Petr Naryshkin, Andrea Vaccaro","doi":"10.1007/s00208-024-03075-5","DOIUrl":"https://doi.org/10.1007/s00208-024-03075-5","url":null,"abstract":"<p><p>We give a new short proof of the theorem due to Marquis and Sabok, which states that the orbit equivalence relation induced by the action of a finitely generated hyperbolic group on its Gromov boundary is hyperfinite. Our methods permit moreover to show that every such action has finite Borel asymptotic dimension.</p>","PeriodicalId":18304,"journal":{"name":"Mathematische Annalen","volume":"392 1","pages":"197-208"},"PeriodicalIF":1.3,"publicationDate":"2025-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC11971200/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143795739","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Sampling in quasi shift-invariant spaces and Gabor frames generated by ratios of exponential polynomials.","authors":"Alexander Ulanovskii, Ilya Zlotnikov","doi":"10.1007/s00208-024-03011-7","DOIUrl":"https://doi.org/10.1007/s00208-024-03011-7","url":null,"abstract":"<p><p>We introduce two families of generators (functions) <math><mi>G</mi></math> that consist of entire and meromorphic functions enjoying a certain periodicity property and contain the classical Gaussian and hyperbolic secant generators. Sharp results are proved on the density of separated sets that provide non-uniform sampling for the shift-invariant and quasi shift-invariant spaces generated by elements of these families. As an application, new sharp results are obtained on the density of semi-regular lattices for the Gabor frames generated by elements from these families.</p>","PeriodicalId":18304,"journal":{"name":"Mathematische Annalen","volume":"391 3","pages":"3429-3456"},"PeriodicalIF":1.3,"publicationDate":"2025-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC11829847/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143441152","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Sequential topological complexity of aspherical spaces and sectional categories of subgroup inclusions.","authors":"Arturo Espinosa Baro, Michael Farber, Stephan Mescher, John Oprea","doi":"10.1007/s00208-024-03033-1","DOIUrl":"https://doi.org/10.1007/s00208-024-03033-1","url":null,"abstract":"<p><p>We generalize results from topological robotics on the topological complexity (TC) of aspherical spaces to sectional categories of fibrations inducing subgroup inclusions on the level of fundamental groups. In doing so, we establish new lower bounds on sequential TCs of aspherical spaces as well as the parametrized TC of epimorphisms. Moreover, we generalize the Costa-Farber canonical class for TC to classes for sequential TCs and explore their properties. We combine them with the results on sequential TCs of aspherical spaces to obtain results on spaces that are not necessarily aspherical.</p>","PeriodicalId":18304,"journal":{"name":"Mathematische Annalen","volume":"391 3","pages":"4555-4605"},"PeriodicalIF":1.3,"publicationDate":"2025-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC11829864/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143441159","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"On the best constants of Schur multipliers of second order divided difference functions.","authors":"Martijn Caspers, Jesse Reimann","doi":"10.1007/s00208-025-03111-y","DOIUrl":"https://doi.org/10.1007/s00208-025-03111-y","url":null,"abstract":"&lt;p&gt;&lt;p&gt;We give a new proof of the boundedness of bilinear Schur multipliers of second order divided difference functions, as obtained earlier by Potapov, Skripka and Sukochev in their proof of Koplienko's conjecture on the existence of higher order spectral shift functions. Our proof is based on recent methods involving bilinear transference and the Hörmander-Mikhlin-Schur multiplier theorem. Our approach provides a significant sharpening of the known asymptotic bounds of bilinear Schur multipliers of second order divided difference functions. Furthermore, we give a new lower bound of these bilinear Schur multipliers, giving again a fundamental improvement on the best known bounds obtained by Coine, Le Merdy, Potapov, Sukochev and Tomskova. More precisely, we prove that for &lt;math&gt;&lt;mrow&gt;&lt;mi&gt;f&lt;/mi&gt; &lt;mo&gt;∈&lt;/mo&gt; &lt;msup&gt;&lt;mi&gt;C&lt;/mi&gt; &lt;mn&gt;2&lt;/mn&gt;&lt;/msup&gt; &lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt; &lt;mi&gt;R&lt;/mi&gt; &lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt; &lt;/mrow&gt; &lt;/math&gt; and &lt;math&gt;&lt;mrow&gt;&lt;mn&gt;1&lt;/mn&gt; &lt;mo&gt;&lt;&lt;/mo&gt; &lt;mi&gt;p&lt;/mi&gt; &lt;mo&gt;,&lt;/mo&gt; &lt;msub&gt;&lt;mi&gt;p&lt;/mi&gt; &lt;mn&gt;1&lt;/mn&gt;&lt;/msub&gt; &lt;mo&gt;,&lt;/mo&gt; &lt;msub&gt;&lt;mi&gt;p&lt;/mi&gt; &lt;mn&gt;2&lt;/mn&gt;&lt;/msub&gt; &lt;mo&gt;&lt;&lt;/mo&gt; &lt;mi&gt;∞&lt;/mi&gt;&lt;/mrow&gt; &lt;/math&gt; with &lt;math&gt; &lt;mrow&gt;&lt;mfrac&gt;&lt;mn&gt;1&lt;/mn&gt; &lt;mi&gt;p&lt;/mi&gt;&lt;/mfrac&gt; &lt;mo&gt;=&lt;/mo&gt; &lt;mfrac&gt;&lt;mn&gt;1&lt;/mn&gt; &lt;msub&gt;&lt;mi&gt;p&lt;/mi&gt; &lt;mn&gt;1&lt;/mn&gt;&lt;/msub&gt; &lt;/mfrac&gt; &lt;mo&gt;+&lt;/mo&gt; &lt;mfrac&gt;&lt;mn&gt;1&lt;/mn&gt; &lt;msub&gt;&lt;mi&gt;p&lt;/mi&gt; &lt;mn&gt;2&lt;/mn&gt;&lt;/msub&gt; &lt;/mfrac&gt; &lt;/mrow&gt; &lt;/math&gt; we have &lt;dispformula&gt; &lt;math&gt; &lt;mrow&gt; &lt;mtable&gt; &lt;mtr&gt; &lt;mtd&gt; &lt;mrow&gt;&lt;mrow&gt;&lt;mo&gt;‖&lt;/mo&gt;&lt;/mrow&gt; &lt;msub&gt;&lt;mi&gt;M&lt;/mi&gt; &lt;msup&gt;&lt;mi&gt;f&lt;/mi&gt; &lt;mrow&gt;&lt;mo&gt;[&lt;/mo&gt; &lt;mn&gt;2&lt;/mn&gt; &lt;mo&gt;]&lt;/mo&gt;&lt;/mrow&gt; &lt;/msup&gt; &lt;/msub&gt; &lt;mo&gt;:&lt;/mo&gt; &lt;msub&gt;&lt;mi&gt;S&lt;/mi&gt; &lt;msub&gt;&lt;mi&gt;p&lt;/mi&gt; &lt;mn&gt;1&lt;/mn&gt;&lt;/msub&gt; &lt;/msub&gt; &lt;mo&gt;×&lt;/mo&gt; &lt;msub&gt;&lt;mi&gt;S&lt;/mi&gt; &lt;msub&gt;&lt;mi&gt;p&lt;/mi&gt; &lt;mn&gt;2&lt;/mn&gt;&lt;/msub&gt; &lt;/msub&gt; &lt;mo&gt;→&lt;/mo&gt; &lt;msub&gt;&lt;mi&gt;S&lt;/mi&gt; &lt;mi&gt;p&lt;/mi&gt;&lt;/msub&gt; &lt;mrow&gt;&lt;mo&gt;‖&lt;/mo&gt; &lt;mo&gt;≲&lt;/mo&gt; &lt;mo&gt;‖&lt;/mo&gt;&lt;/mrow&gt; &lt;msup&gt;&lt;mi&gt;f&lt;/mi&gt; &lt;mrow&gt;&lt;mo&gt;'&lt;/mo&gt; &lt;mo&gt;'&lt;/mo&gt;&lt;/mrow&gt; &lt;/msup&gt; &lt;msub&gt;&lt;mrow&gt;&lt;mo&gt;‖&lt;/mo&gt;&lt;/mrow&gt; &lt;mi&gt;∞&lt;/mi&gt;&lt;/msub&gt; &lt;mi&gt;D&lt;/mi&gt; &lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt; &lt;mi&gt;p&lt;/mi&gt; &lt;mo&gt;,&lt;/mo&gt; &lt;msub&gt;&lt;mi&gt;p&lt;/mi&gt; &lt;mn&gt;1&lt;/mn&gt;&lt;/msub&gt; &lt;mo&gt;,&lt;/mo&gt; &lt;msub&gt;&lt;mi&gt;p&lt;/mi&gt; &lt;mn&gt;2&lt;/mn&gt;&lt;/msub&gt; &lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt; &lt;mo&gt;,&lt;/mo&gt;&lt;/mrow&gt; &lt;/mtd&gt; &lt;/mtr&gt; &lt;/mtable&gt; &lt;/mrow&gt; &lt;/math&gt; &lt;/dispformula&gt; where the constant &lt;math&gt;&lt;mrow&gt;&lt;mi&gt;D&lt;/mi&gt; &lt;mo&gt;(&lt;/mo&gt; &lt;mi&gt;p&lt;/mi&gt; &lt;mo&gt;,&lt;/mo&gt; &lt;msub&gt;&lt;mi&gt;p&lt;/mi&gt; &lt;mn&gt;1&lt;/mn&gt;&lt;/msub&gt; &lt;mo&gt;,&lt;/mo&gt; &lt;msub&gt;&lt;mi&gt;p&lt;/mi&gt; &lt;mn&gt;2&lt;/mn&gt;&lt;/msub&gt; &lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt; &lt;/math&gt; is specified in Theorem 7.1 and &lt;math&gt;&lt;mrow&gt;&lt;mi&gt;D&lt;/mi&gt; &lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt; &lt;mi&gt;p&lt;/mi&gt; &lt;mo&gt;,&lt;/mo&gt; &lt;mn&gt;2&lt;/mn&gt; &lt;mi&gt;p&lt;/mi&gt; &lt;mo&gt;,&lt;/mo&gt; &lt;mn&gt;2&lt;/mn&gt; &lt;mi&gt;p&lt;/mi&gt; &lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt; &lt;mo&gt;≈&lt;/mo&gt; &lt;msup&gt;&lt;mi&gt;p&lt;/mi&gt; &lt;mn&gt;4&lt;/mn&gt;&lt;/msup&gt; &lt;msup&gt;&lt;mi&gt;p&lt;/mi&gt; &lt;mo&gt;∗&lt;/mo&gt;&lt;/msup&gt; &lt;/mrow&gt; &lt;/math&gt; with &lt;math&gt;&lt;msup&gt;&lt;mi&gt;p&lt;/mi&gt; &lt;mo&gt;∗&lt;/mo&gt;&lt;/msup&gt; &lt;/math&gt; the Hölder conjugate of &lt;i&gt;p&lt;/i&gt;. We further show that for &lt;math&gt;&lt;mrow&gt;&lt;mi&gt;f&lt;/mi&gt; &lt;mo&gt;(&lt;/mo&gt; &lt;mi&gt;λ&lt;/mi&gt; &lt;mo&gt;)&lt;/mo&gt; &lt;mo&gt;=&lt;/mo&gt; &lt;mi&gt;λ&lt;/mi&gt; &lt;mo&gt;|&lt;/mo&gt; &lt;mi&gt;λ&lt;/mi&gt; &lt;mo&gt;|&lt;/mo&gt; &lt;mo&gt;,&lt;/mo&gt;&lt;/mrow&gt; &lt;/math&gt; &lt;math&gt;&lt;mrow&gt;&lt;mi&gt;λ&lt;/mi&gt; &lt;mo&gt;∈&lt;/mo&gt; &lt;mi&gt;R&lt;/mi&gt; &lt;mo&gt;,&lt;/mo&gt;&lt;/mrow&gt; &lt;/math&gt; for every &lt;math&gt;&lt;mrow&gt;&lt;mn&gt;1&lt;/mn&gt; &lt;mo&gt;&lt;&lt;/mo&gt; &lt;mi&gt;p&lt;/mi&gt; &lt;mo&gt;&lt;&lt;/mo&gt; &lt;mi&gt;∞&lt;/mi&gt;&lt;/mrow&gt; &lt;/math&gt; we have &lt;dispformula&gt; &lt;math&gt; &lt;mrow&gt; &lt;mtable&gt; &lt;mtr&gt; &lt;mtd&gt; &lt;mrow&gt;&lt;msup&gt;&lt;mi&gt;p&lt;/mi&gt; &lt;mn&gt;","PeriodicalId":18304,"journal":{"name":"Mathematische Annalen","volume":"392 1","pages":"1119-1166"},"PeriodicalIF":1.3,"publicationDate":"2025-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC11971180/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143795741","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Polynomial Fourier decay for fractal measures and their pushforwards.","authors":"Simon Baker, Amlan Banaji","doi":"10.1007/s00208-025-03091-z","DOIUrl":"https://doi.org/10.1007/s00208-025-03091-z","url":null,"abstract":"<p><p>We prove that the pushforwards of a very general class of fractal measures <math><mi>μ</mi></math> on <math> <msup><mrow><mi>R</mi></mrow> <mi>d</mi></msup> </math> under a large family of non-linear maps <math><mrow><mi>F</mi> <mo>:</mo> <mspace></mspace> <msup><mrow><mi>R</mi></mrow> <mi>d</mi></msup> <mo>→</mo> <mi>R</mi></mrow> </math> exhibit polynomial Fourier decay: there exist <math><mrow><mi>C</mi> <mo>,</mo> <mi>η</mi> <mo>></mo> <mn>0</mn></mrow> </math> such that <math> <mrow><mrow><mo>|</mo></mrow> <mover><mrow><mi>F</mi> <mi>μ</mi></mrow> <mo>^</mo></mover> <msup> <mrow><mrow><mo>(</mo> <mi>ξ</mi> <mo>)</mo></mrow> <mo>|</mo> <mo>≤</mo> <mi>C</mi> <mo>|</mo> <mi>ξ</mi> <mo>|</mo></mrow> <mrow><mo>-</mo> <mi>η</mi></mrow> </msup> </mrow> </math> for all <math><mrow><mi>ξ</mi> <mo>≠</mo> <mn>0</mn></mrow> </math> . Using this, we prove that if <math><mrow><mi>Φ</mi> <mo>=</mo> <msub><mrow><mo>{</mo> <msub><mi>φ</mi> <mi>a</mi></msub> <mo>:</mo> <mspace></mspace> <mrow><mo>[</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo>]</mo></mrow> <mo>→</mo> <mrow><mo>[</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo>]</mo></mrow> <mo>}</mo></mrow> <mrow><mi>a</mi> <mo>∈</mo> <mi>A</mi></mrow> </msub> </mrow> </math> is an iterated function system consisting of analytic contractions, and there exists <math><mrow><mi>a</mi> <mo>∈</mo> <mi>A</mi></mrow> </math> such that <math><msub><mi>φ</mi> <mi>a</mi></msub> </math> is not an affine map, then every non-atomic self-conformal measure for <math><mi>Φ</mi></math> has polynomial Fourier decay; this result was obtained simultaneously by Algom, Rodriguez Hertz, and Wang. We prove applications related to the Fourier uniqueness problem, Fractal Uncertainty Principles, Fourier restriction estimates, and quantitative equidistribution properties of numbers in fractal sets.</p>","PeriodicalId":18304,"journal":{"name":"Mathematische Annalen","volume":"392 1","pages":"209-261"},"PeriodicalIF":1.3,"publicationDate":"2025-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC11971211/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143795744","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Quantitative approximate definable choices.","authors":"Antonio Lerario, Luca Rizzi, Daniele Tiberio","doi":"10.1007/s00208-025-03128-3","DOIUrl":"https://doi.org/10.1007/s00208-025-03128-3","url":null,"abstract":"<p><p>In semialgebraic geometry, projections play a prominent role. A <i>definable choice</i> is a semialgebraic selection of one point in every fiber of a projection. Definable choices exist by semialgebraic triviality, but their complexity depends exponentially on the number of variables. By allowing the selection to be approximate (in the Hausdorff sense), we improve on this result. In particular, we construct an approximate selection whose degree is linear in the complexity of the projection and does not depend on the number of variables. This work is motivated by infinite-dimensional applications, in particular to the Sard conjecture in sub-Riemannian geometry. To prove these results, we develop a general quantitative theory for Hausdorff approximations in semialgebraic geometry, which has independent interest.</p>","PeriodicalId":18304,"journal":{"name":"Mathematische Annalen","volume":"392 1","pages":"1289-1319"},"PeriodicalIF":1.3,"publicationDate":"2025-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC11971197/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143795747","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}