{"title":"Sums of two squares and the tau-function: Ramanujan’s trail","authors":"Bruce C. Berndt , Pieter Moree","doi":"10.1016/j.exmath.2025.125721","DOIUrl":"10.1016/j.exmath.2025.125721","url":null,"abstract":"<div><div>Ramanujan, in his famous first letter to Hardy, claimed a very precise estimate for the number of integers that can be written as a sum of two squares. Far less well-known is that he also made further claims of a similar nature for the non-divisibility of the Ramanujan tau-function for certain primes. In this survey, we provide more historical details and also discuss related later developments. These show that, as so often, Ramanujan was an explorer in a fascinating wilderness, leaving behind him a beckoning trail.</div></div>","PeriodicalId":50458,"journal":{"name":"Expositiones Mathematicae","volume":"43 6","pages":"Article 125721"},"PeriodicalIF":0.9,"publicationDate":"2025-09-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145048954","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Any function I can actually write down is measurable, right?","authors":"James E. Hanson","doi":"10.1016/j.exmath.2025.125718","DOIUrl":"10.1016/j.exmath.2025.125718","url":null,"abstract":"<div><div>In this expository paper aimed at a general mathematical audience, we discuss how to combine certain classic theorems of set-theoretic inner model theory and effective descriptive set theory with work on Hilbert’s tenth problem and universal Diophantine equations to produce the following surprising result: There is a specific polynomial <span><math><mrow><mi>p</mi><mrow><mo>(</mo><mi>x</mi><mo>,</mo><mi>y</mi><mo>,</mo><mi>z</mi><mo>,</mo><mi>n</mi><mo>,</mo><msub><mrow><mi>k</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>k</mi></mrow><mrow><mn>70</mn></mrow></msub><mo>)</mo></mrow></mrow></math></span> of degree 7 with integer coefficients such that it is independent of <span><math><mi>ZFC</mi></math></span> (and much stronger theories) whether the function <span><span><span><math><mrow><mi>f</mi><mrow><mo>(</mo><mi>x</mi><mo>)</mo></mrow><mo>=</mo><munder><mrow><mo>inf</mo></mrow><mrow><mi>y</mi><mo>∈</mo><mi>R</mi></mrow></munder><munder><mrow><mo>sup</mo></mrow><mrow><mi>z</mi><mo>∈</mo><mi>R</mi></mrow></munder><munder><mrow><mo>inf</mo></mrow><mrow><mi>n</mi><mo>∈</mo><mi>N</mi></mrow></munder><munder><mrow><mo>sup</mo></mrow><mrow><mover><mrow><mi>k</mi></mrow><mrow><mo>̄</mo></mrow></mover><mo>∈</mo><msup><mrow><mi>N</mi></mrow><mrow><mn>70</mn></mrow></msup></mrow></munder><mi>p</mi><mrow><mo>(</mo><mi>x</mi><mo>,</mo><mi>y</mi><mo>,</mo><mi>z</mi><mo>,</mo><mi>n</mi><mo>,</mo><mover><mrow><mi>k</mi></mrow><mrow><mo>̄</mo></mrow></mover><mo>)</mo></mrow></mrow></math></span></span></span>is Lebesgue measurable. We also give similarly defined <span><math><mrow><mi>g</mi><mrow><mo>(</mo><mi>x</mi><mo>,</mo><mi>y</mi><mo>)</mo></mrow></mrow></math></span> with the property that the statement “<span><math><mrow><mi>x</mi><mo>↦</mo><mi>g</mi><mrow><mo>(</mo><mi>x</mi><mo>,</mo><mi>r</mi><mo>)</mo></mrow></mrow></math></span> is measurable for every <span><math><mrow><mi>r</mi><mo>∈</mo><mi>R</mi></mrow></math></span>” has large cardinal consistency strength (and in particular implies the consistency of <span><math><mi>ZFC</mi></math></span>) and <span><math><mrow><mi>h</mi><mrow><mo>(</mo><mi>m</mi><mo>,</mo><mi>x</mi><mo>,</mo><mi>y</mi><mo>,</mo><mi>z</mi><mo>)</mo></mrow></mrow></math></span> such that <span><math><mrow><mi>h</mi><mrow><mo>(</mo><mn>1</mn><mo>,</mo><mi>x</mi><mo>,</mo><mi>y</mi><mo>,</mo><mi>z</mi><mo>)</mo></mrow><mo>,</mo><mo>…</mo><mo>,</mo><mi>h</mi><mrow><mo>(</mo><mn>16</mn><mo>,</mo><mi>x</mi><mo>,</mo><mi>y</mi><mo>,</mo><mi>z</mi><mo>)</mo></mrow></mrow></math></span> can consistently be the indicator functions of a Banach–Tarski paradoxical decomposition of the sphere.</div><div>Finally, we discuss some situations in which measurability of analogously defined functions can be concluded by inspection, which touches on model-theoretic o-minimality and the fact that sufficiently strong large cardinal hypotheses (such as Vopěnka’s principle and much weaker assumptions","PeriodicalId":50458,"journal":{"name":"Expositiones Mathematicae","volume":"43 6","pages":"Article 125718"},"PeriodicalIF":0.9,"publicationDate":"2025-08-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144851911","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Some examples of affine isometries of Banach spaces arising from 1-D dynamics","authors":"Andrés Navas","doi":"10.1016/j.exmath.2025.125716","DOIUrl":"10.1016/j.exmath.2025.125716","url":null,"abstract":"<div><div>We provide a large family of examples of affine isometries of the Banach spaces <span><math><mrow><msup><mrow><mi>C</mi></mrow><mrow><mn>0</mn></mrow></msup><mrow><mo>(</mo><msup><mrow><mi>S</mi></mrow><mrow><mn>1</mn></mrow></msup><mo>)</mo></mrow></mrow></math></span>, <span><math><mrow><msup><mrow><mi>L</mi></mrow><mrow><mn>1</mn></mrow></msup><mrow><mo>(</mo><msup><mrow><mi>S</mi></mrow><mrow><mn>1</mn></mrow></msup><mo>)</mo></mrow></mrow></math></span> and <span><math><mrow><msup><mrow><mi>L</mi></mrow><mrow><mn>2</mn></mrow></msup><mrow><mo>(</mo><msup><mrow><mi>S</mi></mrow><mrow><mn>1</mn></mrow></msup><mo>×</mo><msup><mrow><mi>S</mi></mrow><mrow><mn>1</mn></mrow></msup><mo>)</mo></mrow></mrow></math></span> that are fixed-point-free despite being recurrent (in particular, they have zero drift). These come from natural cocycles on the group of circle diffeomorphisms, namely the logarithmic, affine and (a variation of the) Schwarzian derivative. Quite interestingly, they arise from diffeomorphisms that are generic in an appropriate context. We also show how to promote these examples in order to obtain families of commuting isometries satisfying the same properties.</div></div>","PeriodicalId":50458,"journal":{"name":"Expositiones Mathematicae","volume":"43 6","pages":"Article 125716"},"PeriodicalIF":0.9,"publicationDate":"2025-07-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144757943","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Generalizing Hurwitz’s quaternionic proof of Lagrange’s and Jacobi’s four-square theorems","authors":"Matěj Doležálek","doi":"10.1016/j.exmath.2025.125715","DOIUrl":"10.1016/j.exmath.2025.125715","url":null,"abstract":"<div><div>A proof of Lagrange’s and Jacobi’s four-square theorem due to Hurwitz utilizes orders in a quaternion algebra over the rationals. Seeking a generalization of this technique to orders over number fields, we identify two key components: an order with a good factorization theory and the condition that all orbits under the action of the group of elements of norm 1 acting by multiplication intersect the suborder corresponding to the quadratic form to be studied. We use recent results on class numbers of quaternion orders and then find all suborders satisfying the orbit condition. Subsequently, we obtain universality and formulas for the number of representations by the corresponding quadratic forms. We also present a quaternionic proof of Götzky’s four-square theorem.</div></div>","PeriodicalId":50458,"journal":{"name":"Expositiones Mathematicae","volume":"43 6","pages":"Article 125715"},"PeriodicalIF":0.8,"publicationDate":"2025-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144711948","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"The law of large numbers for stochastic rumor models","authors":"Elcio Lebensztayn, Lucas Sousa Santos","doi":"10.1016/j.exmath.2025.125713","DOIUrl":"10.1016/j.exmath.2025.125713","url":null,"abstract":"<div><div>We investigate the generalization of the Maki–Thompson model for the spreading of a rumor through a finite population in which each spreader stops transmitting the rumor right after being involved in <span><math><mi>k</mi></math></span> unsuccessful telling interactions. We prove that the proportion of people unaware of the rumor at the end of the process converges in probability to a constant, as the population size goes to <span><math><mi>∞</mi></math></span>. The proof relies on an application of the martingale stopping theorem and is based upon the case <span><math><mrow><mi>k</mi><mo>=</mo><mn>1</mn></mrow></math></span> established by Sudbury (1985), but our approach for proving the convergence is simpler, reducing technicalities.</div></div>","PeriodicalId":50458,"journal":{"name":"Expositiones Mathematicae","volume":"43 5","pages":"Article 125713"},"PeriodicalIF":0.8,"publicationDate":"2025-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144663132","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"An explicit classification of dual pairs in exceptional Lie algebras","authors":"Marisa Gaetz","doi":"10.1016/j.exmath.2025.125711","DOIUrl":"10.1016/j.exmath.2025.125711","url":null,"abstract":"<div><div>The primary goal of this paper is to explicitly write down all semisimple <em>dual pairs</em> in the complex exceptional Lie algebras. (A <em>dual pair</em> in a reductive Lie algebra <span><math><mi>g</mi></math></span> is a pair of subalgebras such that each member equals the other’s centralizer in <span><math><mi>g</mi></math></span>.) In a 1994 paper, H. Rubenthaler outlined a process for generating a complete list of candidate dual pairs in each of the complex exceptional Lie algebras. However, the process of checking whether each of these candidate dual pairs is in fact a dual pair is not easy: it requires the development of several distinct methods and the adaptation of results from multiple sources, some of which are not readily available online. In this paper, we carry out this process and explain the relevant concepts as we go. We also give plenty of examples with the hopes of making Rubenthaler’s 1994 result not only more complete but more usable and understandable.</div></div>","PeriodicalId":50458,"journal":{"name":"Expositiones Mathematicae","volume":"43 5","pages":"Article 125711"},"PeriodicalIF":0.8,"publicationDate":"2025-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144596615","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On Miyanishi conjecture for quasi-projective varieties","authors":"Takumi Asano","doi":"10.1016/j.exmath.2025.125710","DOIUrl":"10.1016/j.exmath.2025.125710","url":null,"abstract":"<div><div>Miyanishi conjecture claims that for any variety over an algebraically closed field of characteristic zero, any endomorphism of such a variety which is injective outside a closed subset of codimension at least 2 is bijective. We prove Miyanishi conjecture for any quasi-projective variety <span><math><mi>X</mi></math></span> which is a dense open subset of a <span><math><mi>Q</mi></math></span>-factorial normal projective variety <span><math><mover><mrow><mi>X</mi></mrow><mo>¯</mo></mover></math></span> such that <span><math><mrow><mo>codim</mo><mrow><mo>(</mo><mover><mrow><mi>X</mi></mrow><mo>¯</mo></mover><mo>∖</mo><mi>X</mi><mo>)</mo></mrow><mo>≥</mo><mn>2</mn></mrow></math></span> with the ample canonical divisor or the ample anti-canonical divisor. Also, we observe Miyanishi conjecture without the conditions of its canonical divisor by using minimal model program. In particular, we prove Miyanishi conjecture in the case that <span><math><mover><mrow><mi>X</mi></mrow><mo>¯</mo></mover></math></span> has canonical singularities and <span><math><mover><mrow><mi>X</mi></mrow><mo>¯</mo></mover></math></span> has the canonical model which is obtained by divisorial contractions.</div></div>","PeriodicalId":50458,"journal":{"name":"Expositiones Mathematicae","volume":"43 5","pages":"Article 125710"},"PeriodicalIF":0.8,"publicationDate":"2025-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144321886","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On real-valued functions of Lipschitz type","authors":"Valentin Gutev","doi":"10.1016/j.exmath.2025.125701","DOIUrl":"10.1016/j.exmath.2025.125701","url":null,"abstract":"<div><div>The classical McShane–Whitney extension theorem for Lipschitz functions is refined by showing that for a closed subset of the domain, it remains valid for any interval of the real line. This result is also extended to the setting of locally (pointwise) Lipschitz functions. In contrast to Lipschitz and pointwise Lipschitz extensions, the construction of locally Lipschitz extensions is based on Lipschitz partitions of unity of countable open covers of the domain. Such partitions of unity are a special case of a more general result obtained by Zdeněk Frolík. To avoid the use of Stone’s theorem (paracompactness of metrizable spaces), it is given a simple direct proof of this special case of Frolík’s result. As an application, it is shown that the locally Lipschitz functions are precisely the locally finite sums of sequences of Lipschitz functions. Also, it is obtained a natural locally Lipschitz version of one of Michael’s selection theorems.</div></div>","PeriodicalId":50458,"journal":{"name":"Expositiones Mathematicae","volume":"43 5","pages":"Article 125701"},"PeriodicalIF":0.8,"publicationDate":"2025-06-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144321887","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"New variational arguments regarding the Blaschke–Lebesgue theorem","authors":"Beniamin Bogosel","doi":"10.1016/j.exmath.2025.125700","DOIUrl":"10.1016/j.exmath.2025.125700","url":null,"abstract":"<div><div>The sensitivity of the areas of Reuleaux polygons and disk polygons is computed with respect to vertex perturbations. Computations are completed for both constrained and Lagrangian formulations and they imply that the only critical Reuleaux polygons for the area functional are the regular ones. As a consequence, new variational proofs for the Blaschke–Lebesgue and Firey–Sallee theorems are found.</div></div>","PeriodicalId":50458,"journal":{"name":"Expositiones Mathematicae","volume":"43 5","pages":"Article 125700"},"PeriodicalIF":0.8,"publicationDate":"2025-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144115481","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Ends and end cohomology","authors":"William G. Bass, Jack S. Calcut","doi":"10.1016/j.exmath.2025.125692","DOIUrl":"10.1016/j.exmath.2025.125692","url":null,"abstract":"<div><div>Ends and end cohomology are powerful invariants for the study of noncompact spaces. We present a self-contained exposition of the topological theory of ends and prove novel extensions including the existence of an exhaustion of a proper map. We define reduced end cohomology as the relative end cohomology of a ray-based space. We use those results to prove a version of a theorem of King that computes the reduced end cohomology of an end sum of two manifolds. We include a complete proof of Freudenthal’s fundamental theorem on the number of ends of a topological group, and we use our results on dimension-zero end cohomology to prove—without using transfinite induction—a theorem of Nöbeling on freeness of certain modules of continuous functions.</div></div>","PeriodicalId":50458,"journal":{"name":"Expositiones Mathematicae","volume":"43 5","pages":"Article 125692"},"PeriodicalIF":0.8,"publicationDate":"2025-04-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143906828","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
