Pub Date : 2025-12-29DOI: 10.1016/j.aim.2025.110739
Henrik Bachmann , Jan-Willem van Ittersum
We introduce the algebra of formal multiple Eisenstein series and study its derivations. This algebra is motivated by the classical multiple Eisenstein series, introduced by Gangl–Kaneko–Zagier as a hybrid of classical Eisenstein series and multiple zeta values. In depth one, we obtain formal versions of the Eisenstein series satisfying the same algebraic relations as the classical Eisenstein series. In particular, they generate an algebra whose elements we call formal quasimodular forms. We show that the algebra of formal multiple Eisenstein series is an -algebra by formalizing the usual derivations for quasimodular forms and extending them naturally to the whole algebra. Additionally, we introduce some families of derivations for general quasi-shuffle algebras, providing a broader context for these derivations. Further, we prove that a quotient of this algebra is isomorphic to the algebra of formal multiple zeta values. This gives a novel and purely formal approach to classical (quasi)modular forms and builds a new link between (formal) multiple zeta values and modular forms.
{"title":"Formal multiple Eisenstein series and their derivations","authors":"Henrik Bachmann , Jan-Willem van Ittersum","doi":"10.1016/j.aim.2025.110739","DOIUrl":"10.1016/j.aim.2025.110739","url":null,"abstract":"<div><div>We introduce the algebra of formal multiple Eisenstein series and study its derivations. This algebra is motivated by the classical multiple Eisenstein series, introduced by Gangl–Kaneko–Zagier as a hybrid of classical Eisenstein series and multiple zeta values. In depth one, we obtain formal versions of the Eisenstein series satisfying the same algebraic relations as the classical Eisenstein series. In particular, they generate an algebra whose elements we call formal quasimodular forms. We show that the algebra of formal multiple Eisenstein series is an <span><math><msub><mrow><mi>sl</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span>-algebra by formalizing the usual derivations for quasimodular forms and extending them naturally to the whole algebra. Additionally, we introduce some families of derivations for general quasi-shuffle algebras, providing a broader context for these derivations. Further, we prove that a quotient of this algebra is isomorphic to the algebra of formal multiple zeta values. This gives a novel and purely formal approach to classical (quasi)modular forms and builds a new link between (formal) multiple zeta values and modular forms.</div></div>","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":"487 ","pages":"Article 110739"},"PeriodicalIF":1.5,"publicationDate":"2025-12-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145847578","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-12-29DOI: 10.1016/j.aim.2025.110742
Fabio Scarabotti
We construct the ordinary irreducible representations of the group of automorphisms of a finite rooted tree and we get a natural parametrization of them. To achieve these goals, we introduce and study the combinatorics of tree compositions, a natural generalization of set compositions but with new features and more complexity. These combinatorial structures lead to a family of permutation representations which have the same parametrization of the irreducible representations. Our trees are not necessarily spherically homogeneous and our approach is coordinate free.
{"title":"Representation theory of the group of automorphisms of a finite rooted tree","authors":"Fabio Scarabotti","doi":"10.1016/j.aim.2025.110742","DOIUrl":"10.1016/j.aim.2025.110742","url":null,"abstract":"<div><div>We construct the ordinary irreducible representations of the group of automorphisms of a finite rooted tree and we get a natural parametrization of them. To achieve these goals, we introduce and study the combinatorics of tree compositions, a natural generalization of set compositions but with new features and more complexity. These combinatorial structures lead to a family of permutation representations which have the same parametrization of the irreducible representations. Our trees are not necessarily spherically homogeneous and our approach is coordinate free.</div></div>","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":"487 ","pages":"Article 110742"},"PeriodicalIF":1.5,"publicationDate":"2025-12-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145847577","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-12-29DOI: 10.1016/j.aim.2025.110753
Samit Dasgupta, Mahesh Kakde
Many questions in number theory concern the nonvanishing of determinants of square matrices of logarithms (complex or p-adic) of algebraic numbers. We present a new conjecture that states that if such a matrix has vanishing determinant, then after a rational change of basis on the left and right, it can be made to have a vanishing coefficient.
{"title":"Ranks of matrices of logarithms of algebraic numbers II: The matrix coefficient conjecture","authors":"Samit Dasgupta, Mahesh Kakde","doi":"10.1016/j.aim.2025.110753","DOIUrl":"10.1016/j.aim.2025.110753","url":null,"abstract":"<div><div>Many questions in number theory concern the nonvanishing of determinants of square matrices of logarithms (complex or <em>p</em>-adic) of algebraic numbers. We present a new conjecture that states that if such a matrix has vanishing determinant, then after a rational change of basis on the left and right, it can be made to have a vanishing coefficient.</div></div>","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":"487 ","pages":"Article 110753"},"PeriodicalIF":1.5,"publicationDate":"2025-12-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145847610","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-12-23DOI: 10.1016/j.aim.2025.110741
Daniel Barrera Salazar , Mladen Dimitrov , Chris Williams
In this paper, we propose and explore a new connection in the study of p-adic L-functions and eigenvarieties. We use it to prove results on the geometry of the cuspidal eigenvariety for over a totally real number field F at classical points admitting Shalika models. We also construct p-adic L-functions over the eigenvariety around these points. Our proofs proceed in the opposite direction to established methods: rather than using the geometry of eigenvarieties to deduce results about p-adic L-functions, we instead show that non-vanishing of a (standard) p-adic L-function implies smoothness of the eigenvariety at such points. Key to our methods are a family of distribution-valued functionals on (parahoric) overconvergent cohomology groups, which we construct via p-adic interpolation of classical representation-theoretic branching laws for .
More precisely, we use our functionals to attach a p-adic L-function to a non-critical refinement of a regular algebraic cuspidal automorphic representation π of which is spherical at p and admits a Shalika model. Our new parahoric distribution coefficients allow us to obtain optimal non-critical slope and growth bounds for this construction. When π has regular weight and the corresponding p-adic Galois representation is irreducible, we exploit non-vanishing of our functionals to show that the parabolic eigenvariety for is étale at over an -dimensional weight space and contains a dense set of classical points admitting Shalika models. Under a hypothesis on the local Shalika models at bad places which is empty for π of level 1, we construct a p-adic L-function for the family.
{"title":"On p-adic L-functions for GL2n in finite slope Shalika families","authors":"Daniel Barrera Salazar , Mladen Dimitrov , Chris Williams","doi":"10.1016/j.aim.2025.110741","DOIUrl":"10.1016/j.aim.2025.110741","url":null,"abstract":"<div><div>In this paper, we propose and explore a new connection in the study of <em>p</em>-adic <em>L</em>-functions and eigenvarieties. We use it to prove results on the geometry of the cuspidal eigenvariety for <span><math><msub><mrow><mi>GL</mi></mrow><mrow><mn>2</mn><mi>n</mi></mrow></msub></math></span> over a totally real number field <em>F</em> at classical points admitting Shalika models. We also construct <em>p</em>-adic <em>L</em>-functions over the eigenvariety around these points. Our proofs proceed in the opposite direction to established methods: rather than using the geometry of eigenvarieties to deduce results about <em>p</em>-adic <em>L</em>-functions, we instead show that non-vanishing of a (standard) <em>p</em>-adic <em>L</em>-function implies smoothness of the eigenvariety at such points. Key to our methods are a family of distribution-valued functionals on (parahoric) overconvergent cohomology groups, which we construct via <em>p</em>-adic interpolation of classical representation-theoretic branching laws for <span><math><msub><mrow><mi>GL</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>×</mo><msub><mrow><mi>GL</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>⊂</mo><msub><mrow><mi>GL</mi></mrow><mrow><mn>2</mn><mi>n</mi></mrow></msub></math></span>.</div><div>More precisely, we use our functionals to attach a <em>p</em>-adic <em>L</em>-function to a non-critical refinement <span><math><mover><mrow><mi>π</mi></mrow><mrow><mo>˜</mo></mrow></mover></math></span> of a regular algebraic cuspidal automorphic representation <em>π</em> of <span><math><msub><mrow><mi>GL</mi></mrow><mrow><mn>2</mn><mi>n</mi></mrow></msub><mo>/</mo><mi>F</mi></math></span> which is spherical at <em>p</em> and admits a Shalika model. Our new parahoric distribution coefficients allow us to obtain optimal non-critical slope and growth bounds for this construction. When <em>π</em> has regular weight and the corresponding <em>p</em>-adic Galois representation is irreducible, we exploit non-vanishing of our functionals to show that the parabolic eigenvariety for <span><math><msub><mrow><mi>GL</mi></mrow><mrow><mn>2</mn><mi>n</mi></mrow></msub><mo>/</mo><mi>F</mi></math></span> is étale at <span><math><mover><mrow><mi>π</mi></mrow><mrow><mo>˜</mo></mrow></mover></math></span> over an <span><math><mo>(</mo><mo>[</mo><mi>F</mi><mo>:</mo><mi>Q</mi><mo>]</mo><mo>+</mo><mn>1</mn><mo>)</mo></math></span>-dimensional weight space and contains a dense set of classical points admitting Shalika models. Under a hypothesis on the local Shalika models at bad places which is empty for <em>π</em> of level 1, we construct a <em>p</em>-adic <em>L</em>-function for the family.</div></div>","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":"486 ","pages":"Article 110741"},"PeriodicalIF":1.5,"publicationDate":"2025-12-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145841829","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-12-23DOI: 10.1016/j.aim.2025.110752
Malabika Pramanik , K.S. Senthil Raani
The distance set of a set consists of all pairwise distances between points in E. This paper investigates distance sets of Borel subsets of that are Lebesgue-null, but have Hausdorff dimension close to d. Our results describe both the existence and distribution of intervals in for bounded E, and the appearance of all sufficiently large distances in unbounded sparse sets. Our contributions are fourfold.
First, we prove quantitative Steinhaus-type theorems for sets of large Hausdorff content. If has s-dimensional dyadic Hausdorff content at least , then contains a uniform interval whose endpoints depend only on ρ and d. This gives the first uniform analogue of the classical Steinhaus–Piccard theory in the Lebesgue-null setting.
Second, we obtain a quantitative refinement of the Mattila–Sjölin theorem. For any Borel set E of Hausdorff dimension close to d, the set contains a union of intervals whose scales are determined by dyadic cubes on which E has high s-density. This yields a flexible structure theorem for distances near the origin.
Third, we derive a sufficient size condition ensuring that an unbounded sparse set contains all sufficiently large distances, extending a theorem of Bourgain (1986). We also provide examples of totally disconnected sets of near-full dimension satisfying this condition.
Finally, when E enjoys additional geometric regularity, such as being locally uniformly s-dimensional or quasi-regular, we show that its distance set exhibits new analytic features. Using spectral gap methods and Fourier asymptotics, we obtain refined information on the distribution of distances in such sets.
Several new examples, counterexamples, and open problems are presented.
{"title":"Distances in sparse sets of large Hausdorff dimension","authors":"Malabika Pramanik , K.S. Senthil Raani","doi":"10.1016/j.aim.2025.110752","DOIUrl":"10.1016/j.aim.2025.110752","url":null,"abstract":"<div><div>The distance set <span><math><mi>Δ</mi><mo>(</mo><mi>E</mi><mo>)</mo></math></span> of a set <span><math><mi>E</mi><mo>⊆</mo><msup><mrow><mi>R</mi></mrow><mrow><mi>d</mi></mrow></msup></math></span> consists of all pairwise distances between points in <em>E</em>. This paper investigates distance sets of Borel subsets of <span><math><msup><mrow><mi>R</mi></mrow><mrow><mi>d</mi></mrow></msup></math></span> that are Lebesgue-null, but have Hausdorff dimension close to <em>d</em>. Our results describe both the existence and distribution of intervals in <span><math><mi>Δ</mi><mo>(</mo><mi>E</mi><mo>)</mo></math></span> for bounded <em>E</em>, and the appearance of all sufficiently large distances in unbounded sparse sets. Our contributions are fourfold.</div><div>First, we prove quantitative Steinhaus-type theorems for sets of large Hausdorff content. If <span><math><mi>E</mi><mo>⊆</mo><msup><mrow><mo>[</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>]</mo></mrow><mrow><mi>d</mi></mrow></msup></math></span> has <em>s</em>-dimensional dyadic Hausdorff content at least <span><math><mo>(</mo><mn>1</mn><mo>−</mo><mi>ρ</mi><mo>)</mo></math></span>, then <span><math><mi>Δ</mi><mo>(</mo><mi>E</mi><mo>)</mo></math></span> contains a uniform interval <span><math><mo>[</mo><mi>a</mi><mo>,</mo><mi>b</mi><mo>]</mo><mo>⊆</mo><mo>(</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>]</mo></math></span> whose endpoints depend only on <em>ρ</em> and <em>d</em>. This gives the first uniform analogue of the classical Steinhaus–Piccard theory in the Lebesgue-null setting.</div><div>Second, we obtain a quantitative refinement of the Mattila–Sjölin theorem. For any Borel set <em>E</em> of Hausdorff dimension close to <em>d</em>, the set <span><math><mi>Δ</mi><mo>(</mo><mi>E</mi><mo>)</mo></math></span> contains a union of intervals whose scales are determined by dyadic cubes on which <em>E</em> has high <em>s</em>-density. This yields a flexible structure theorem for distances near the origin.</div><div>Third, we derive a sufficient size condition ensuring that an unbounded sparse set contains all sufficiently large distances, extending a theorem of Bourgain (1986). We also provide examples of totally disconnected sets of near-full dimension satisfying this condition.</div><div>Finally, when <em>E</em> enjoys additional geometric regularity, such as being locally uniformly <em>s</em>-dimensional or quasi-regular, we show that its distance set exhibits new analytic features. Using spectral gap methods and <span><math><msup><mrow><mi>L</mi></mrow><mrow><mn>2</mn></mrow></msup></math></span> Fourier asymptotics, we obtain refined information on the distribution of distances in such sets.</div><div>Several new examples, counterexamples, and open problems are presented.</div></div>","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":"486 ","pages":"Article 110752"},"PeriodicalIF":1.5,"publicationDate":"2025-12-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145841832","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-12-23DOI: 10.1016/j.aim.2025.110754
Thomas Reichelt , Christian Sevenheck , Uli Walther
We consider A-hypergeometric (or GKZ-)systems in the case where the grading (character) group is an arbitrary finitely generated Abelian group. Emulating the approach taken for classical GKZ-systems in [13] that allows for a coefficient module, we show that these D-modules are holonomic systems. For this purpose we formulate an Euler–Koszul complex in this context, built on an extension of the category of A-toric modules. We derive that these new systems are regular holonomic under circumstances that are similar to those that lead to regular holonomic classical GKZ-systems.
For the appropriate coefficient module, our D-modules specialize to the “better behaved GKZ-systems” introduced by Borisov and Horja. We certify the corresponding D-modules as regular holonomic, and establish a holonomic duality on the level of D-modules that was suggested on the level of solutions by Borisov and Horja and later shown by Borisov and Han in a special situation, [6], [2].
{"title":"Hypergeometric systems from groups with torsion","authors":"Thomas Reichelt , Christian Sevenheck , Uli Walther","doi":"10.1016/j.aim.2025.110754","DOIUrl":"10.1016/j.aim.2025.110754","url":null,"abstract":"<div><div>We consider <em>A</em>-hypergeometric (or GKZ-)systems in the case where the grading (character) group is an arbitrary finitely generated Abelian group. Emulating the approach taken for classical GKZ-systems in <span><span>[13]</span></span> that allows for a coefficient module, we show that these <em>D</em>-modules are holonomic systems. For this purpose we formulate an Euler–Koszul complex in this context, built on an extension of the category of <em>A</em>-toric modules. We derive that these new systems are regular holonomic under circumstances that are similar to those that lead to regular holonomic classical GKZ-systems.</div><div>For the appropriate coefficient module, our <em>D</em>-modules specialize to the “better behaved GKZ-systems” introduced by Borisov and Horja. We certify the corresponding <em>D</em>-modules as regular holonomic, and establish a holonomic duality on the level of <em>D</em>-modules that was suggested on the level of solutions by Borisov and Horja and later shown by Borisov and Han in a special situation, <span><span>[6]</span></span>, <span><span>[2]</span></span>.</div></div>","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":"486 ","pages":"Article 110754"},"PeriodicalIF":1.5,"publicationDate":"2025-12-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145841830","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-12-22DOI: 10.1016/j.aim.2025.110743
Xiaxing Cai , Gangsong Leng , Yuchi Wu , Dongmeng Xi
In a previous work in affine convex geometry, an affine contravariant family of geometric measures (called affine dual curvature measures) was introduced. In that work, the authors solved a related affine dual Minkowski problem. The new affine family of Minkowski problems includes the logarithmic Minkowski problem as a special case.
In that spirit, this work introduces a series of geometric measures (called centro-section measures) that are derived from random sections. The centro-section measures serve to unify dual curvature measures and their affine analogs. Additionally, sufficient conditions are offered to solve the even Minkowski problem for the centro-section measures.
{"title":"Minkowski problems of centro-section measures","authors":"Xiaxing Cai , Gangsong Leng , Yuchi Wu , Dongmeng Xi","doi":"10.1016/j.aim.2025.110743","DOIUrl":"10.1016/j.aim.2025.110743","url":null,"abstract":"<div><div>In a previous work in affine convex geometry, an affine contravariant family of geometric measures (called <em>affine dual curvature measures</em>) was introduced. In that work, the authors solved a related affine dual Minkowski problem. The new affine family of Minkowski problems includes the logarithmic Minkowski problem as a special case.</div><div>In that spirit, this work introduces a series of geometric measures (called <em>centro-section measures</em>) that are derived from random sections. The centro-section measures serve to unify dual curvature measures and their affine analogs. Additionally, sufficient conditions are offered to solve the even Minkowski problem for the centro-section measures.</div></div>","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":"486 ","pages":"Article 110743"},"PeriodicalIF":1.5,"publicationDate":"2025-12-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145841828","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
This paper is concerned with the stability and large-time behavior of 3D incompressible MHD equations with only vertical dissipation near a background magnetic field. By making full use of the dissipation generated by the background magnetic field, we first establish the global stability of the solutions in -norm. Then, the optimal decay rates of the solutions are obtained, which are consistent with the 2D classical heat equation. Moreover, some enhanced decay rates of are also achieved. In other words, the decay estimates of the second or third component of velocity/magnetic field coincide with those of 2D heat kernel, while the first component behaves like the 3D heat kernel. This is mainly due to the divergence-free condition and the anisotropic structure.
{"title":"Global stability and sharp decay estimates for 3D MHD equations with only vertical dissipation near a background magnetic field","authors":"Suhua Lai , Jiahong Wu , Jianwen Zhang , Xiaokui Zhao","doi":"10.1016/j.aim.2025.110747","DOIUrl":"10.1016/j.aim.2025.110747","url":null,"abstract":"<div><div>This paper is concerned with the stability and large-time behavior of 3D incompressible MHD equations with only vertical dissipation near a background magnetic field. By making full use of the dissipation generated by the background magnetic field, we first establish the global stability of the solutions in <span><math><msup><mrow><mi>H</mi></mrow><mrow><mn>3</mn></mrow></msup></math></span>-norm. Then, the optimal decay rates of the solutions are obtained, which are consistent with the 2D classical heat equation. Moreover, some enhanced decay rates of <span><math><mo>(</mo><msub><mrow><mi>u</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>b</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>)</mo></math></span> are also achieved. In other words, the decay estimates of the second or third component of velocity/magnetic field coincide with those of 2D heat kernel, while the first component behaves like the 3D heat kernel. This is mainly due to the divergence-free condition and the anisotropic structure.</div></div>","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":"486 ","pages":"Article 110747"},"PeriodicalIF":1.5,"publicationDate":"2025-12-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145841831","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-12-22DOI: 10.1016/j.aim.2025.110732
Carsten Peterson
<div><div>Let <span><math><mi>p</mi><mo>⊂</mo><mi>V</mi></math></span> be a polytope and <span><math><mi>ξ</mi><mo>∈</mo><msubsup><mrow><mi>V</mi></mrow><mrow><mi>C</mi></mrow><mrow><mo>⁎</mo></mrow></msubsup></math></span>. We obtain an expression for <span><math><mi>I</mi><mo>(</mo><mi>p</mi><mo>;</mo><mi>α</mi><mo>)</mo><mo>:</mo><mo>=</mo><msub><mrow><mo>∫</mo></mrow><mrow><mi>p</mi></mrow></msub><msup><mrow><mi>e</mi></mrow><mrow><mo>〈</mo><mi>α</mi><mo>,</mo><mi>x</mi><mo>〉</mo></mrow></msup><mi>d</mi><mi>x</mi></math></span> as a sum of meromorphic functions in <span><math><mi>α</mi><mo>∈</mo><msubsup><mrow><mi>V</mi></mrow><mrow><mi>C</mi></mrow><mrow><mo>⁎</mo></mrow></msubsup></math></span> parametrized by the faces <span><math><mi>f</mi></math></span> of <span><math><mi>p</mi></math></span> on which <span><math><mo>〈</mo><mi>ξ</mi><mo>,</mo><mi>x</mi><mo>〉</mo></math></span> is constant. Each term only depends on the local geometry of <span><math><mi>p</mi></math></span> near <span><math><mi>f</mi></math></span> (and on <em>ξ</em>) and is holomorphic at <span><math><mi>α</mi><mo>=</mo><mi>ξ</mi></math></span>. When <span><math><mo>〈</mo><mi>ξ</mi><mo>,</mo><mo>⋅</mo><mo>〉</mo></math></span> is only constant on the vertices of <span><math><mi>p</mi></math></span> our formula reduces to Brion's formula.</div><div>Suppose <span><math><mi>p</mi></math></span> is a rational polytope with respect to a lattice Λ. We obtain an expression for <span><math><mi>S</mi><mo>(</mo><mi>p</mi><mo>;</mo><mi>α</mi><mo>)</mo><mo>:</mo><mo>=</mo><msub><mrow><mo>∑</mo></mrow><mrow><mi>λ</mi><mo>∈</mo><mi>p</mi><mo>∩</mo><mi>Λ</mi></mrow></msub><msup><mrow><mi>e</mi></mrow><mrow><mo>〈</mo><mi>α</mi><mo>,</mo><mi>λ</mi><mo>〉</mo></mrow></msup></math></span> as a sum of meromorphic functions parametrized by the faces <span><math><mi>f</mi></math></span> on which <span><math><msup><mrow><mi>e</mi></mrow><mrow><mo>〈</mo><mi>ξ</mi><mo>,</mo><mi>x</mi><mo>〉</mo></mrow></msup><mo>=</mo><mn>1</mn></math></span> on a finite index sublattice of <span><math><mtext>lin</mtext><mo>(</mo><mi>f</mi><mo>)</mo><mo>∩</mo><mi>Λ</mi></math></span>. Each term only depends on the local geometry of <span><math><mi>p</mi></math></span> near <span><math><mi>f</mi></math></span> (and on <em>ξ</em> and Λ) and is holomorphic at <span><math><mi>α</mi><mo>=</mo><mi>ξ</mi></math></span>. When <span><math><msup><mrow><mi>e</mi></mrow><mrow><mo>〈</mo><mi>ξ</mi><mo>,</mo><mo>⋅</mo><mo>〉</mo></mrow></msup><mo>≠</mo><mn>1</mn></math></span> at any non-zero lattice point on a line through the origin parallel to an edge of <span><math><mi>p</mi></math></span>, our formula reduces to Brion's formula, and when <span><math><mi>ξ</mi><mo>=</mo><mn>0</mn></math></span>, it reduces to the Ehrhart quasi-polynomial.</div><div>Our formulas are particularly useful for understanding how <span><math><mi>I</mi><mo>(</mo><mi>p</mi><mo>(</mo><mi>h</mi><mo>)</mo><mo>;</mo><mi>ξ</mi><mo>)</mo></math></span> and <
{"title":"A degenerate version of Brion's formula","authors":"Carsten Peterson","doi":"10.1016/j.aim.2025.110732","DOIUrl":"10.1016/j.aim.2025.110732","url":null,"abstract":"<div><div>Let <span><math><mi>p</mi><mo>⊂</mo><mi>V</mi></math></span> be a polytope and <span><math><mi>ξ</mi><mo>∈</mo><msubsup><mrow><mi>V</mi></mrow><mrow><mi>C</mi></mrow><mrow><mo>⁎</mo></mrow></msubsup></math></span>. We obtain an expression for <span><math><mi>I</mi><mo>(</mo><mi>p</mi><mo>;</mo><mi>α</mi><mo>)</mo><mo>:</mo><mo>=</mo><msub><mrow><mo>∫</mo></mrow><mrow><mi>p</mi></mrow></msub><msup><mrow><mi>e</mi></mrow><mrow><mo>〈</mo><mi>α</mi><mo>,</mo><mi>x</mi><mo>〉</mo></mrow></msup><mi>d</mi><mi>x</mi></math></span> as a sum of meromorphic functions in <span><math><mi>α</mi><mo>∈</mo><msubsup><mrow><mi>V</mi></mrow><mrow><mi>C</mi></mrow><mrow><mo>⁎</mo></mrow></msubsup></math></span> parametrized by the faces <span><math><mi>f</mi></math></span> of <span><math><mi>p</mi></math></span> on which <span><math><mo>〈</mo><mi>ξ</mi><mo>,</mo><mi>x</mi><mo>〉</mo></math></span> is constant. Each term only depends on the local geometry of <span><math><mi>p</mi></math></span> near <span><math><mi>f</mi></math></span> (and on <em>ξ</em>) and is holomorphic at <span><math><mi>α</mi><mo>=</mo><mi>ξ</mi></math></span>. When <span><math><mo>〈</mo><mi>ξ</mi><mo>,</mo><mo>⋅</mo><mo>〉</mo></math></span> is only constant on the vertices of <span><math><mi>p</mi></math></span> our formula reduces to Brion's formula.</div><div>Suppose <span><math><mi>p</mi></math></span> is a rational polytope with respect to a lattice Λ. We obtain an expression for <span><math><mi>S</mi><mo>(</mo><mi>p</mi><mo>;</mo><mi>α</mi><mo>)</mo><mo>:</mo><mo>=</mo><msub><mrow><mo>∑</mo></mrow><mrow><mi>λ</mi><mo>∈</mo><mi>p</mi><mo>∩</mo><mi>Λ</mi></mrow></msub><msup><mrow><mi>e</mi></mrow><mrow><mo>〈</mo><mi>α</mi><mo>,</mo><mi>λ</mi><mo>〉</mo></mrow></msup></math></span> as a sum of meromorphic functions parametrized by the faces <span><math><mi>f</mi></math></span> on which <span><math><msup><mrow><mi>e</mi></mrow><mrow><mo>〈</mo><mi>ξ</mi><mo>,</mo><mi>x</mi><mo>〉</mo></mrow></msup><mo>=</mo><mn>1</mn></math></span> on a finite index sublattice of <span><math><mtext>lin</mtext><mo>(</mo><mi>f</mi><mo>)</mo><mo>∩</mo><mi>Λ</mi></math></span>. Each term only depends on the local geometry of <span><math><mi>p</mi></math></span> near <span><math><mi>f</mi></math></span> (and on <em>ξ</em> and Λ) and is holomorphic at <span><math><mi>α</mi><mo>=</mo><mi>ξ</mi></math></span>. When <span><math><msup><mrow><mi>e</mi></mrow><mrow><mo>〈</mo><mi>ξ</mi><mo>,</mo><mo>⋅</mo><mo>〉</mo></mrow></msup><mo>≠</mo><mn>1</mn></math></span> at any non-zero lattice point on a line through the origin parallel to an edge of <span><math><mi>p</mi></math></span>, our formula reduces to Brion's formula, and when <span><math><mi>ξ</mi><mo>=</mo><mn>0</mn></math></span>, it reduces to the Ehrhart quasi-polynomial.</div><div>Our formulas are particularly useful for understanding how <span><math><mi>I</mi><mo>(</mo><mi>p</mi><mo>(</mo><mi>h</mi><mo>)</mo><mo>;</mo><mi>ξ</mi><mo>)</mo></math></span> and <","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":"486 ","pages":"Article 110732"},"PeriodicalIF":1.5,"publicationDate":"2025-12-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145841833","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-12-19DOI: 10.1016/j.aim.2025.110745
Zikang Dong , Weijia Wang , Hao Zhang
This paper investigates the analytic properties of L-functions associated with almost meromorphic modular forms, extending classical results on L-functions of holomorphic modular forms. By generalizing the regularized Mellin transform, we define these L-functions and examine their properties, especially the distributions of zeros on the critical line. We prove that under certain singularity conditions, these L-functions have infinitely many zeros on the critical line. Additionally, we establish converse theorems for almost meromorphic modular forms, showing that their L-functions uniquely determine the forms. Numerical evidence is also included to support these results.
{"title":"Almost meromorphic modular forms and their associated L-functions","authors":"Zikang Dong , Weijia Wang , Hao Zhang","doi":"10.1016/j.aim.2025.110745","DOIUrl":"10.1016/j.aim.2025.110745","url":null,"abstract":"<div><div>This paper investigates the analytic properties of <em>L</em>-functions associated with almost meromorphic modular forms, extending classical results on <em>L</em>-functions of holomorphic modular forms. By generalizing the regularized Mellin transform, we define these <em>L</em>-functions and examine their properties, especially the distributions of zeros on the critical line. We prove that under certain singularity conditions, these <em>L</em>-functions have infinitely many zeros on the critical line. Additionally, we establish converse theorems for almost meromorphic modular forms, showing that their <em>L</em>-functions uniquely determine the forms. Numerical evidence is also included to support these results.</div></div>","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":"486 ","pages":"Article 110745"},"PeriodicalIF":1.5,"publicationDate":"2025-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145792175","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}