Let be a prime power and be the rational function field over , the field with elements. Let be a Drinfeld module over and be a nonzero prime ideal of . Over the constant -extension of , we introduce the fine Selmer group associated to the -primary torsion of . We show that it is a cofinitely generated module over . This proves an analogue of Iwasawa's conjecture in this setting, and provides context for the further study of the objects that have been introduced in this article.
{"title":"Iwasawa theory of fine Selmer groups associated to Drinfeld modules","authors":"Anwesh Ray","doi":"10.1112/mtk.12264","DOIUrl":"https://doi.org/10.1112/mtk.12264","url":null,"abstract":"<p>Let <span></span><math></math> be a prime power and <span></span><math></math> be the rational function field over <span></span><math></math>, the field with <span></span><math></math> elements. Let <span></span><math></math> be a Drinfeld module over <span></span><math></math> and <span></span><math></math> be a nonzero prime ideal of <span></span><math></math>. Over the constant <span></span><math></math>-extension of <span></span><math></math>, we introduce the fine Selmer group associated to the <span></span><math></math>-primary torsion of <span></span><math></math>. We show that it is a cofinitely generated module over <span></span><math></math>. This proves an analogue of Iwasawa's <span></span><math></math> conjecture in this setting, and provides context for the further study of the objects that have been introduced in this article.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"70 3","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141488954","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}
A Hajnal–Máté graph is an uncountably chromatic graph on satisfying a certain natural sparseness condition. We investigate Hajnal–Máté graphs and generalizations thereof, focusing on the existence of Hajnal–Máté graphs in models resulting from adding a single Cohen real. In particular, answering a question of Dániel Soukup, we show that such models necessarily contain triangle-free Hajnal–Máté graphs. In the process, we isolate a weakening of club guessing called disjoint-type guessing that we feel is of interest in its own right. We show that disjoint-type guessing is independent of and, if disjoint-type guessing holds in the ground model, then the forcing extension by a single Cohen real contains Hajnal–Máté graphs such that the chromatic numbers of finite subgraphs of grow arbitrarily slowly.
{"title":"Hajnal–Máté graphs, Cohen reals, and disjoint-type guessing","authors":"Chris Lambie-Hanson, Dávid Uhrik","doi":"10.1112/mtk.12261","DOIUrl":"https://doi.org/10.1112/mtk.12261","url":null,"abstract":"<p>A Hajnal–Máté graph is an uncountably chromatic graph on <span></span><math></math> satisfying a certain natural sparseness condition. We investigate Hajnal–Máté graphs and generalizations thereof, focusing on the existence of Hajnal–Máté graphs in models resulting from adding a single Cohen real. In particular, answering a question of Dániel Soukup, we show that such models necessarily contain triangle-free Hajnal–Máté graphs. In the process, we isolate a weakening of club guessing called <i>disjoint-type guessing</i> that we feel is of interest in its own right. We show that disjoint-type guessing is independent of <span></span><math></math> and, if disjoint-type guessing holds in the ground model, then the forcing extension by a single Cohen real contains Hajnal–Máté graphs <span></span><math></math> such that the chromatic numbers of finite subgraphs of <span></span><math></math> grow arbitrarily slowly.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"70 3","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/mtk.12261","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141165000","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
In this paper, we extend the work of Pollington and Velani [Selecta Math. 11(2005)] to an -arithmetic set-up, where is a finite set of valuations of . In particular, for an absolutely friendly measure supported on a compact set in , we give a summation condition on an approximating function such that almost no point in the compact set is approximable. The crucial ingredient is a version of the simplex lemma that we prove dynamically.
{"title":"On absolutely friendly measures on","authors":"Shreyasi Datta, Justin Liu","doi":"10.1112/mtk.12256","DOIUrl":"https://doi.org/10.1112/mtk.12256","url":null,"abstract":"<p>In this paper, we extend the work of Pollington and Velani [Selecta Math. 11(2005)] to an <span></span><math></math>-arithmetic set-up, where <span></span><math></math> is a finite set of valuations of <span></span><math></math>. In particular, for an <i>absolutely friendly</i> measure <span></span><math></math> supported on a compact set in <span></span><math></math>, we give a summation condition on an approximating function <span></span><math></math> such that <span></span><math></math> almost no point in the compact set is <span></span><math></math> approximable. The crucial ingredient is a version of the simplex lemma that we prove dynamically.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"70 3","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/mtk.12256","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141096425","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
We prove that product-free subsets of the free group over a finite alphabet have maximum upper density with respect to the natural measure that assigns total weight one to each set of irreducible words of a given length. This confirms a conjecture of Leader, Letzter, Narayanan, and Walters. In more general terms, we actually prove that strongly -product-free sets have maximum upper density in terms of this measure. The bounds are tight.
{"title":"Product-free sets in the free group","authors":"Miquel Ortega, Juanjo Rué, Oriol Serra","doi":"10.1112/mtk.12255","DOIUrl":"https://doi.org/10.1112/mtk.12255","url":null,"abstract":"<p>We prove that product-free subsets of the free group over a finite alphabet have maximum upper density <span></span><math></math> with respect to the natural measure that assigns total weight one to each set of irreducible words of a given length. This confirms a conjecture of Leader, Letzter, Narayanan, and Walters. In more general terms, we actually prove that strongly <span></span><math></math>-product-free sets have maximum upper density <span></span><math></math> in terms of this measure. The bounds are tight.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"70 3","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141069124","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}
We introduce the centred and the uncentred triangular maximal operators and , respectively, on any locally finite tree in which each vertex has at least three neighbours. We prove that both and are bounded on for every in , that is also bounded on , and that is not of weak type (1, 1) on homogeneous trees. Our proof of the boundedness of hinges on the geometric approach of Córdoba and Fefferman. We also establish bounds for some related maximal operators. Our results are in sharp contrast with the fact that the centred and the uncentred Hardy–Littlewood maximal operators (on balls) may be unbounded on for every even on some trees where the number of neighbours is uniformly bounded.
{"title":"Triangular maximal operators on locally finite trees","authors":"Stefano Meda, Federico Santagati","doi":"10.1112/mtk.12253","DOIUrl":"https://doi.org/10.1112/mtk.12253","url":null,"abstract":"<p>We introduce the centred and the uncentred triangular maximal operators <span></span><math></math> and <span></span><math></math>, respectively, on any locally finite tree in which each vertex has at least three neighbours. We prove that both <span></span><math></math> and <span></span><math></math> are bounded on <span></span><math></math> for every <span></span><math></math> in <span></span><math></math>, that <span></span><math></math> is also bounded on <span></span><math></math>, and that <span></span><math></math> is not of weak type (1, 1) on homogeneous trees. Our proof of the <span></span><math></math> boundedness of <span></span><math></math> hinges on the geometric approach of Córdoba and Fefferman. We also establish <span></span><math></math> bounds for some related maximal operators. Our results are in sharp contrast with the fact that the centred and the uncentred Hardy–Littlewood maximal operators (on balls) may be unbounded on <span></span><math></math> for every <span></span><math></math> even on some trees where the number of neighbours is uniformly bounded.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"70 3","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/mtk.12253","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140924815","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Let be a -tuple of positive real numbers such that and . A -dimensional vector is said to be -singular if for every , there exists such that for all , the system of inequalities
{"title":"On a lower bound of Hausdorff dimension of weighted singular vectors","authors":"Taehyeong Kim, Jaemin Park","doi":"10.1112/mtk.12252","DOIUrl":"https://doi.org/10.1112/mtk.12252","url":null,"abstract":"<p>Let <span></span><math></math> be a <span></span><math></math>-tuple of positive real numbers such that <span></span><math></math> and <span></span><math></math>. A <span></span><math></math>-dimensional vector <span></span><math></math> is said to be <span></span><math></math>-singular if for every <span></span><math></math>, there exists <span></span><math></math> such that for all <span></span><math></math>, the system of inequalities\u0000\u0000 </p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"70 3","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140924830","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}
Let be a subharmonic function on the open unit disc , centered at the origin of the complex plane, and let be a holomorphic function such that . A classical result, known as Littlewood subordination principle, states , where and are integral means over the circle of radius centered at the origin, of the functions and , respectively. In this note, we obtain an unexpected improvement of Littlewood subordination principle in the case when the function is univalent, by proving that
{"title":"Sharpening Littlewood subordination principle with univalent symbol","authors":"Dušica Dmitrović, Boban Karapetrović","doi":"10.1112/mtk.12254","DOIUrl":"https://doi.org/10.1112/mtk.12254","url":null,"abstract":"<p>Let <span></span><math></math> be a subharmonic function on the open unit disc <span></span><math></math>, centered at the origin of the complex plane, and let <span></span><math></math> be a holomorphic function such that <span></span><math></math>. A classical result, known as Littlewood subordination principle, states <span></span><math></math>, where <span></span><math></math> and <span></span><math></math> are integral means over the circle of radius <span></span><math></math> centered at the origin, of the functions <span></span><math></math> and <span></span><math></math>, respectively. In this note, we obtain an unexpected improvement of Littlewood subordination principle in the case when the function <span></span><math></math> is univalent, by proving that\u0000\u0000 </p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"70 3","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-05-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140910577","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}
Let . We prove an unconditional lower bound on the measure of the sets for . For , our bound has a Gaussian shape with variance proportional to . At the endpoint, , our result implies the best known -theorem for that is due to Tsang. We also explain how the method breaks down for given our current knowledge about the zeros of the zeta function. Conditionally on the Riemann hypothesis, we extend our results to the range .
{"title":"Large deviations of the argument of the Riemann zeta function","authors":"Alexander Dobner","doi":"10.1112/mtk.12251","DOIUrl":"https://doi.org/10.1112/mtk.12251","url":null,"abstract":"<p>Let <span></span><math></math>. We prove an unconditional lower bound on the measure of the sets <span></span><math></math> for <span></span><math></math>. For <span></span><math></math>, our bound has a Gaussian shape with variance proportional to <span></span><math></math>. At the endpoint, <span></span><math></math>, our result implies the best known <span></span><math></math>-theorem for <span></span><math></math> that is due to Tsang. We also explain how the method breaks down for <span></span><math></math> given our current knowledge about the zeros of the zeta function. Conditionally on the Riemann hypothesis, we extend our results to the range <span></span><math></math>.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"70 3","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/mtk.12251","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140844649","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
For the Lagrange spectrum and other applications, we determine the smallest accumulation point of binary sequences that are maximal in their shift orbits. This problem is trivial for the lexicographic order, and its solution is the fixed point of a substitution for the alternating lexicographic order. For orders defined by cylinders, we show that the solutions are -adic sequences, where is a certain infinite set of substitutions that contains Sturmian morphisms. We also consider a similar problem for symmetric ternary shifts, which is applicable to the multiplicative version of the Markoff–Lagrange spectrum.
{"title":"Markoff–Lagrange spectrum of one-sided shifts","authors":"Hajime Kaneko, Wolfgang Steiner","doi":"10.1112/mtk.12250","DOIUrl":"https://doi.org/10.1112/mtk.12250","url":null,"abstract":"<p>For the Lagrange spectrum and other applications, we determine the smallest accumulation point of binary sequences that are maximal in their shift orbits. This problem is trivial for the lexicographic order, and its solution is the fixed point of a substitution for the alternating lexicographic order. For orders defined by cylinders, we show that the solutions are <span></span><math></math>-adic sequences, where <span></span><math></math> is a certain infinite set of substitutions that contains Sturmian morphisms. We also consider a similar problem for symmetric ternary shifts, which is applicable to the multiplicative version of the Markoff–Lagrange spectrum.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"70 3","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/mtk.12250","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140844614","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
We prove multiple vector-valued and mixed-norm estimates for multilinear operators in , more precisely for multilinear operators associated to a symbol singular along a -dimensional space and for multilinear variants of the Hardy-Littlewood maximal function. When the dimension , the input functions are not necessarily in and can instead be elements of mixed-norm spaces .
Such a result has interesting consequences especially when spaces are involved. Among these, we mention mixed-norm Loomis-Whitney-type inequalities for singular integrals, as well as the boundedness of multilinear operators associated to certain rational symbols. We also present examples of operators that are not susceptible to isotropic rescaling, which only satisfy “purely mixed-norm estimates” and no classical estimates.
Relying on previous estimates implied by the helicoidal method, we also prove (non-mixed-norm) estimates for generic singular Brascamp-Lieb-type inequalities.
{"title":"Mixed-norm estimates via the helicoidal method","authors":"Cristina Benea, Camil Muscalu","doi":"10.1112/mtk.12248","DOIUrl":"https://doi.org/10.1112/mtk.12248","url":null,"abstract":"<p>We prove multiple vector-valued and mixed-norm estimates for multilinear operators in <span></span><math></math>, more precisely for multilinear operators <span></span><math></math> associated to a symbol singular along a <span></span><math></math>-dimensional space and for multilinear variants of the Hardy-Littlewood maximal function. When the dimension <span></span><math></math>, the input functions are not necessarily in <span></span><math></math> and can instead be elements of mixed-norm spaces <span></span><math></math>.</p><p>Such a result has interesting consequences especially when <span></span><math></math> spaces are involved. Among these, we mention mixed-norm Loomis-Whitney-type inequalities for singular integrals, as well as the boundedness of multilinear operators associated to certain rational symbols. We also present examples of operators that are not susceptible to isotropic rescaling, which only satisfy “purely mixed-norm estimates” and no classical <span></span><math></math> estimates.</p><p>Relying on previous estimates implied by the helicoidal method, we also prove (non-mixed-norm) estimates for generic singular Brascamp-Lieb-type inequalities.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"70 3","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-04-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/mtk.12248","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140622646","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}