{"title":"On the dimension of orthogonal projections of self-similar measures","authors":"Amir Algom, Pablo Shmerkin","doi":"10.1112/jlms.70245","DOIUrl":null,"url":null,"abstract":"<p>Let <span></span><math>\n <semantics>\n <mi>ν</mi>\n <annotation>$\\nu$</annotation>\n </semantics></math> be a self-similar measure on <span></span><math>\n <semantics>\n <msup>\n <mi>R</mi>\n <mi>d</mi>\n </msup>\n <annotation>$\\mathbb {R}^d$</annotation>\n </semantics></math>, <span></span><math>\n <semantics>\n <mrow>\n <mi>d</mi>\n <mo>⩾</mo>\n <mn>2</mn>\n </mrow>\n <annotation>$d\\geqslant 2$</annotation>\n </semantics></math>, and let <span></span><math>\n <semantics>\n <mi>π</mi>\n <annotation>$\\pi$</annotation>\n </semantics></math> be an orthogonal projection onto a <span></span><math>\n <semantics>\n <mi>k</mi>\n <annotation>$k$</annotation>\n </semantics></math>-dimensional subspace. We formulate a criterion on the action of the group generated by the orthogonal parts of the iterated function system on <span></span><math>\n <semantics>\n <mi>π</mi>\n <annotation>$\\pi$</annotation>\n </semantics></math>, and show that it ensures that the dimension of <span></span><math>\n <semantics>\n <mrow>\n <mi>π</mi>\n <mi>ν</mi>\n </mrow>\n <annotation>$\\pi \\nu$</annotation>\n </semantics></math> is preserved; this significantly refines previous results by Hochman–Shmerkin (2012) and Falconer–Jin (2014), and is sharp for projections to lines and hyperplanes. A key ingredient in the proof is an application of a restricted projection theorem of Gan–Guo–Wang (2024).</p>","PeriodicalId":49989,"journal":{"name":"Journal of the London Mathematical Society-Second Series","volume":"112 1","pages":""},"PeriodicalIF":1.2000,"publicationDate":"2025-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/jlms.70245","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of the London Mathematical Society-Second Series","FirstCategoryId":"100","ListUrlMain":"https://londmathsoc.onlinelibrary.wiley.com/doi/10.1112/jlms.70245","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
Let be a self-similar measure on , , and let be an orthogonal projection onto a -dimensional subspace. We formulate a criterion on the action of the group generated by the orthogonal parts of the iterated function system on , and show that it ensures that the dimension of is preserved; this significantly refines previous results by Hochman–Shmerkin (2012) and Falconer–Jin (2014), and is sharp for projections to lines and hyperplanes. A key ingredient in the proof is an application of a restricted projection theorem of Gan–Guo–Wang (2024).
期刊介绍:
The Journal of the London Mathematical Society has been publishing leading research in a broad range of mathematical subject areas since 1926. The Journal welcomes papers on subjects of general interest that represent a significant advance in mathematical knowledge, as well as submissions that are deemed to stimulate new interest and research activity.