Pub Date : 2025-01-01Epub Date: 2025-03-26DOI: 10.1007/s00208-025-03134-5
Xiaojun Huang, Weixia Zhu
We study holomorphic maps F from a smooth Levi non-degenerate real hypersurface into a hyperquadric with signatures and respectively. Assuming that we prove that if then F is either CR transversal to at every point of or it maps a neighborhood of in into Furthermore, in the case where we show that if F is not CR transversal at then it must be transversally flat. The latter is best possible.
研究了从光滑Levi非简并实超曲面M∧C n到签名分别为r≤(n- 1) / 2和r′≤(n- 1) / 2的超二次曲面H∧n的全纯映射F。假设N - N - N - 1,我们证明了如果N = N ',那么F要么在M l的每一点上都是CR截于H l N,要么它将C N中M l的一个邻域映射到H l N。进一步地,我们证明了如果F在0∈M r处不是CR横截,那么它一定是横截平的。后者是最好的选择。
{"title":"Transversality of holomorphic maps into hyperquadrics.","authors":"Xiaojun Huang, Weixia Zhu","doi":"10.1007/s00208-025-03134-5","DOIUrl":"https://doi.org/10.1007/s00208-025-03134-5","url":null,"abstract":"<p><p>We study holomorphic maps <i>F</i> from a smooth Levi non-degenerate real hypersurface <math> <mrow><msub><mi>M</mi> <mi>ℓ</mi></msub> <mo>⊂</mo> <msup><mrow><mi>C</mi></mrow> <mi>n</mi></msup> </mrow> </math> into a hyperquadric <math><msubsup><mi>H</mi> <mrow><msup><mi>ℓ</mi> <mo>'</mo></msup> </mrow> <mi>N</mi></msubsup> </math> with signatures <math><mrow><mi>ℓ</mi> <mo>≤</mo> <mo>(</mo> <mi>n</mi> <mo>-</mo> <mn>1</mn> <mo>)</mo> <mo>/</mo> <mn>2</mn></mrow> </math> and <math> <mrow><msup><mi>ℓ</mi> <mo>'</mo></msup> <mo>≤</mo> <mrow><mo>(</mo> <mi>N</mi> <mo>-</mo> <mn>1</mn> <mo>)</mo></mrow> <mo>/</mo> <mn>2</mn> <mo>,</mo></mrow> </math> respectively. Assuming that <math><mrow><mi>N</mi> <mo>-</mo> <mi>n</mi> <mo><</mo> <mi>n</mi> <mo>-</mo> <mn>1</mn> <mo>,</mo></mrow> </math> we prove that if <math><mrow><mi>ℓ</mi> <mo>=</mo> <msup><mi>ℓ</mi> <mo>'</mo></msup> <mo>,</mo></mrow> </math> then <i>F</i> is either CR transversal to <math><msubsup><mi>H</mi> <mrow><mi>ℓ</mi></mrow> <mi>N</mi></msubsup> </math> at every point of <math> <mrow><msub><mi>M</mi> <mi>ℓ</mi></msub> <mo>,</mo></mrow> </math> or it maps a neighborhood of <math><msub><mi>M</mi> <mi>ℓ</mi></msub> </math> in <math> <msup><mrow><mi>C</mi></mrow> <mi>n</mi></msup> </math> into <math> <mrow><msubsup><mi>H</mi> <mrow><mi>ℓ</mi></mrow> <mi>N</mi></msubsup> <mo>.</mo></mrow> </math> Furthermore, in the case where <math> <mrow><msup><mi>ℓ</mi> <mo>'</mo></msup> <mo>></mo> <mi>ℓ</mi> <mo>,</mo></mrow> </math> we show that if <i>F</i> is not CR transversal at <math><mrow><mn>0</mn> <mo>∈</mo> <msub><mi>M</mi> <mi>ℓ</mi></msub> <mo>,</mo></mrow> </math> then it must be transversally flat. The latter is best possible.</p>","PeriodicalId":18304,"journal":{"name":"Mathematische Annalen","volume":"392 2","pages":"1731-1746"},"PeriodicalIF":1.3,"publicationDate":"2025-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC12084281/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144094324","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}
Pub Date : 2025-01-01Epub Date: 2024-12-21DOI: 10.1007/s00208-024-03067-5
Paolo Cascini, Calum Spicer
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.
本文给出了变种上叶的一个附加公式,并考虑了该附加公式在一阶叶的锥定理中的应用和叶的奇异性的研究。
{"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}
Pub Date : 2025-01-01Epub Date: 2025-01-08DOI: 10.1007/s00208-024-03082-6
Sebastian Eterović
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 j 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 j.
{"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}
Pub Date : 2025-01-01Epub Date: 2025-09-02DOI: 10.1007/s00208-025-03238-y
James Belk, Bradley Forrest
We develop a theory of quasisymmetries for finitely ramified fractals, with applications to finitely ramified Julia sets. We prove that certain finitely ramified fractals admit a naturally defined class of "undistorted metrics" that are all quasisymmetrically equivalent. As a result, piecewise-defined homeomorphisms of such a fractal that locally preserve the cell structure are quasisymmetries. This immediately gives a solution to the quasisymmetric uniformization problem for topologically rigid fractals such as the Sierpiński triangle. We show that our theory applies to many finitely ramified Julia sets, and we prove that any connected Julia set for a hyperbolic unicritical polynomial has infinitely many quasisymmetries, generalizing a result of Lyubich and Merenkov. We also prove that the quasisymmetry group of the Julia set for the rational function [Formula: see text] is infinite, and we show that the quasisymmetry groups for the Julia sets of a broad class of polynomials contain Thompson's group F.
{"title":"Quasisymmetries of finitely ramified Julia sets.","authors":"James Belk, Bradley Forrest","doi":"10.1007/s00208-025-03238-y","DOIUrl":"https://doi.org/10.1007/s00208-025-03238-y","url":null,"abstract":"<p><p>We develop a theory of quasisymmetries for finitely ramified fractals, with applications to finitely ramified Julia sets. We prove that certain finitely ramified fractals admit a naturally defined class of \"undistorted metrics\" that are all quasisymmetrically equivalent. As a result, piecewise-defined homeomorphisms of such a fractal that locally preserve the cell structure are quasisymmetries. This immediately gives a solution to the quasisymmetric uniformization problem for topologically rigid fractals such as the Sierpiński triangle. We show that our theory applies to many finitely ramified Julia sets, and we prove that any connected Julia set for a hyperbolic unicritical polynomial has infinitely many quasisymmetries, generalizing a result of Lyubich and Merenkov. We also prove that the quasisymmetry group of the Julia set for the rational function [Formula: see text] is infinite, and we show that the quasisymmetry groups for the Julia sets of a broad class of polynomials contain Thompson's group <i>F</i>.</p>","PeriodicalId":18304,"journal":{"name":"Mathematische Annalen","volume":"393 2","pages":"1683-1740"},"PeriodicalIF":1.4,"publicationDate":"2025-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC12559074/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145401183","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}
Pub Date : 2025-01-01Epub Date: 2025-01-29DOI: 10.1007/s00208-024-03075-5
Petr Naryshkin, Andrea Vaccaro
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.
{"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}
Pub Date : 2025-01-01Epub Date: 2025-04-26DOI: 10.1007/s00208-025-03161-2
Daniel Huybrechts, Dominique Mattei
We use twisted relative Picard varieties to split Brauer classes on projective varieties over algebraically closed fields by torsors for a fixed abelian scheme independent of the Brauer class. The construction is also used to prove that the index of an unramified Brauer class divides a fixed power of its period.
{"title":"Splitting unramified Brauer classes by abelian torsors and the period-index problem.","authors":"Daniel Huybrechts, Dominique Mattei","doi":"10.1007/s00208-025-03161-2","DOIUrl":"10.1007/s00208-025-03161-2","url":null,"abstract":"<p><p>We use twisted relative Picard varieties to split Brauer classes on projective varieties over algebraically closed fields by torsors for a fixed abelian scheme independent of the Brauer class. The construction is also used to prove that the index of an unramified Brauer class divides a fixed power of its period.</p>","PeriodicalId":18304,"journal":{"name":"Mathematische Annalen","volume":"392 2","pages":"2913-2932"},"PeriodicalIF":1.3,"publicationDate":"2025-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC12084267/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144094321","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}
Pub Date : 2025-01-01Epub Date: 2024-10-04DOI: 10.1007/s00208-024-03011-7
Alexander Ulanovskii, Ilya Zlotnikov
We introduce two families of generators (functions) 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.
{"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}
Pub Date : 2025-01-01Epub Date: 2024-11-09DOI: 10.1007/s00208-024-03033-1
Arturo Espinosa Baro, Michael Farber, Stephan Mescher, John Oprea
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.
{"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}
Pub Date : 2025-01-01Epub Date: 2025-03-03DOI: 10.1007/s00208-025-03111-y
Martijn Caspers, Jesse Reimann
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 and with we have where the constant is specified in Theorem 7.1 and with the Hölder conjugate of p. We further show that for for every we have
我们给出了二阶微分函数双线性Schur乘子的有界性的一个新的证明,这个证明是先前由Potapov、Skripka和Sukochev在证明Koplienko关于高阶谱移函数存在性的猜想中得到的。我们的证明是基于最近的方法,涉及双线性迁移和Hörmander-Mikhlin-Schur乘数定理。我们的方法提供了二阶可分差分函数的双线性舒尔乘子的已知渐近界的显著锐化。此外,我们给出了这些双线性舒尔乘子的一个新的下界,再次对Coine、Le Merdy、Potapov、Sukochev和Tomskova等人得到的最著名的下界作了根本的改进。更准确地说,我们证明了f∈C 2 (R)和1 p, p 1, p 2∞1 p = 1 p 1 + 1 p 2我们已经为M f [2]: S p 1×S p 2→S p为≲为f ' '为∞D (1 p, p, p 2 ) , 常数D (1 p, p, p 2)指定在定理7.1和D (p 2 p 2 p)≈p 4 p∗∗p的持有人共轭。我们进一步表明,f(λ)=λ|λ|,λ∈R,每1 p∞p 2 p∗≲为M f [2]: 2 p×年代2 p→S p为。这里f b[2]是f与M的二阶差分函数f b[2]是相关的舒尔乘子。特别地,我们的估计D(p, 2p, 2p)对于p ` ` 1是最优的。
{"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":"<p><p>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 <math><mrow><mi>f</mi> <mo>∈</mo> <msup><mi>C</mi> <mn>2</mn></msup> <mrow><mo>(</mo> <mi>R</mi> <mo>)</mo></mrow> </mrow> </math> and <math><mrow><mn>1</mn> <mo><</mo> <mi>p</mi> <mo>,</mo> <msub><mi>p</mi> <mn>1</mn></msub> <mo>,</mo> <msub><mi>p</mi> <mn>2</mn></msub> <mo><</mo> <mi>∞</mi></mrow> </math> with <math> <mrow><mfrac><mn>1</mn> <mi>p</mi></mfrac> <mo>=</mo> <mfrac><mn>1</mn> <msub><mi>p</mi> <mn>1</mn></msub> </mfrac> <mo>+</mo> <mfrac><mn>1</mn> <msub><mi>p</mi> <mn>2</mn></msub> </mfrac> </mrow> </math> we have <dispformula> <math> <mrow> <mtable> <mtr> <mtd> <mrow><mrow><mo>‖</mo></mrow> <msub><mi>M</mi> <msup><mi>f</mi> <mrow><mo>[</mo> <mn>2</mn> <mo>]</mo></mrow> </msup> </msub> <mo>:</mo> <msub><mi>S</mi> <msub><mi>p</mi> <mn>1</mn></msub> </msub> <mo>×</mo> <msub><mi>S</mi> <msub><mi>p</mi> <mn>2</mn></msub> </msub> <mo>→</mo> <msub><mi>S</mi> <mi>p</mi></msub> <mrow><mo>‖</mo> <mo>≲</mo> <mo>‖</mo></mrow> <msup><mi>f</mi> <mrow><mo>'</mo> <mo>'</mo></mrow> </msup> <msub><mrow><mo>‖</mo></mrow> <mi>∞</mi></msub> <mi>D</mi> <mrow><mo>(</mo> <mi>p</mi> <mo>,</mo> <msub><mi>p</mi> <mn>1</mn></msub> <mo>,</mo> <msub><mi>p</mi> <mn>2</mn></msub> <mo>)</mo></mrow> <mo>,</mo></mrow> </mtd> </mtr> </mtable> </mrow> </math> </dispformula> where the constant <math><mrow><mi>D</mi> <mo>(</mo> <mi>p</mi> <mo>,</mo> <msub><mi>p</mi> <mn>1</mn></msub> <mo>,</mo> <msub><mi>p</mi> <mn>2</mn></msub> <mo>)</mo></mrow> </math> is specified in Theorem 7.1 and <math><mrow><mi>D</mi> <mrow><mo>(</mo> <mi>p</mi> <mo>,</mo> <mn>2</mn> <mi>p</mi> <mo>,</mo> <mn>2</mn> <mi>p</mi> <mo>)</mo></mrow> <mo>≈</mo> <msup><mi>p</mi> <mn>4</mn></msup> <msup><mi>p</mi> <mo>∗</mo></msup> </mrow> </math> with <math><msup><mi>p</mi> <mo>∗</mo></msup> </math> the Hölder conjugate of <i>p</i>. We further show that for <math><mrow><mi>f</mi> <mo>(</mo> <mi>λ</mi> <mo>)</mo> <mo>=</mo> <mi>λ</mi> <mo>|</mo> <mi>λ</mi> <mo>|</mo> <mo>,</mo></mrow> </math> <math><mrow><mi>λ</mi> <mo>∈</mo> <mi>R</mi> <mo>,</mo></mrow> </math> for every <math><mrow><mn>1</mn> <mo><</mo> <mi>p</mi> <mo><</mo> <mi>∞</mi></mrow> </math> we have <dispformula> <math> <mrow> <mtable> <mtr> <mtd> <mrow><msup><mi>p</mi> <mn>","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}
Pub Date : 2025-01-01Epub Date: 2025-01-28DOI: 10.1007/s00208-025-03091-z
Simon Baker, Amlan Banaji
We prove that the pushforwards of a very general class of fractal measures on under a large family of non-linear maps exhibit polynomial Fourier decay: there exist such that for all . Using this, we prove that if is an iterated function system consisting of analytic contractions, and there exists such that is not an affine map, then every non-atomic self-conformal measure for 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.
{"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}