We characterize the square-integrable representations of (connected, simply connected) solvable Lie groups in terms of the generalized orbits of the coadjoint action. We prove that the normal representations corresponding, via the Pukánszky correspondence, to open coadjoint orbits are type I, not necessarily square-integrable representations. We show that the quasi-equivalence classes of type I square-integrable representations are in bijection with the simply connected open coadjoint orbits, and the existence of an open coadjoint orbit guarantees the existence of a compact open subset of the space of primitive ideals of the group. When the nilradical has codimension 1, we prove that the isolated points of the primitive ideal space are always of type I. This is not always true for codimension greater than 2, as shown by specific examples of solvable Lie groups that have dense, but not locally closed, coadjoint orbits.
我们根据共轭作用的广义轨道来描述(连通的、简单连通的)可解李群的可方整表示。我们证明,通过普卡恩斯基对应关系,与开放共轭轨道相对应的正则表达式是 I 型,而不一定是平方可整合表达式。我们证明了 I 型方整表示的准等价类与简单连接的开放共轭轨道是双射的,而开放共轭轨道的存在保证了群的原始理想空间的紧凑开放子集的存在。当无根性的标度为 1 时,我们证明了基元理想空间的孤立点总是 I 型的。当标度大于 2 时,情况并非总是如此,这一点可以通过具有致密但非局部封闭的共轭轨道的可解李群的具体例子来证明。
{"title":"Square-integrable representations and the coadjoint action of solvable Lie groups","authors":"Ingrid Beltiţă, Daniel Beltiţă","doi":"10.1515/forum-2024-0025","DOIUrl":"https://doi.org/10.1515/forum-2024-0025","url":null,"abstract":"We characterize the square-integrable representations of (connected, simply connected) solvable Lie groups in terms of the generalized orbits of the coadjoint action. We prove that the normal representations corresponding, via the Pukánszky correspondence, to open coadjoint orbits are type I, not necessarily square-integrable representations. We show that the quasi-equivalence classes of type I square-integrable representations are in bijection with the simply connected open coadjoint orbits, and the existence of an open coadjoint orbit guarantees the existence of a compact open subset of the space of primitive ideals of the group. When the nilradical has codimension 1, we prove that the isolated points of the primitive ideal space are always of type I. This is not always true for codimension greater than 2, as shown by specific examples of solvable Lie groups that have dense, but not locally closed, coadjoint orbits.","PeriodicalId":12433,"journal":{"name":"Forum Mathematicum","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-04-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140801660","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}
An RD-space 𝑀 is a space of homogeneous type in the sense of Coifman and Weiss with the additional property that a reverse doubling property holds in 𝑀. In this paper, firstly, the authors give the Plancherel–Pôlya characterization of product weighted Triebel–Lizorkin spaces and product weighted Besov spaces on RD-spaces and make some estimates for the product singular integral operators in Journé’s class on these function spaces. As a result of these conclusions, they present some sufficient conditions for the boundedness of product singular integral operators on the product Lipschitz spaces and product weighted Hardy spaces. Secondly, by the boundedness of lifting and projection operators, they also obtain that the dual spaces of the product weighted Hardy spaces are product weighted Carleson measure spaces. Using the idea of dual, the authors obtain the weighted boundedness of singular integral operators on the product weighted Carleson measure spaces.
{"title":"Weighted estimates for product singular integral operators in Journé’s class on RD-spaces","authors":"Taotao Zheng, Yanmei Xiao, Xiangxing Tao","doi":"10.1515/forum-2023-0273","DOIUrl":"https://doi.org/10.1515/forum-2023-0273","url":null,"abstract":"An RD-space 𝑀 is a space of homogeneous type in the sense of Coifman and Weiss with the additional property that a reverse doubling property holds in 𝑀. In this paper, firstly, the authors give the Plancherel–Pôlya characterization of product weighted Triebel–Lizorkin spaces and product weighted Besov spaces on RD-spaces and make some estimates for the product singular integral operators in Journé’s class on these function spaces. As a result of these conclusions, they present some sufficient conditions for the boundedness of product singular integral operators on the product Lipschitz spaces and product weighted Hardy spaces. Secondly, by the boundedness of lifting and projection operators, they also obtain that the dual spaces of the product weighted Hardy spaces are product weighted Carleson measure spaces. Using the idea of dual, the authors obtain the weighted boundedness of singular integral operators on the product weighted Carleson measure spaces.","PeriodicalId":12433,"journal":{"name":"Forum Mathematicum","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-04-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140611388","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}
In 2004, Thakur introduced a positive characteristic analogue of multizeta values. Later, in 2017, he mentioned the two colored variants which are positive characteristic analogues of colored multizeta values in his survey of multizeta values in positive characteristic. In this paper, we study one of those two variants. We establish their fundamental properties, that include their non-vanishing, sum-shuffle relations, 𝑡-motivic interpretation and linear independence. For the linear independence results, we prove that there are no nontrivial k̄overline{k}-linear relations among the colored multizeta values with different weights.
2004 年,Thakur 提出了多奇塔值的正特征类似物。之后,在 2017 年,他在关于正特征多奇塔值的研究中提到了两个彩色变体,它们是彩色多奇塔值的正特征类似物。在本文中,我们将研究这两种变体中的一种。我们建立了它们的基本性质,包括它们的非凡性、和-洗牌关系、𝑡-动机解释和线性独立性。关于线性独立性结果,我们证明了在彩色多线{k}之间不存在非私密的 k overline{k} -线性关系。 -线性关系。
{"title":"Colored multizeta values in positive characteristic","authors":"Ryotaro Harada","doi":"10.1515/forum-2023-0226","DOIUrl":"https://doi.org/10.1515/forum-2023-0226","url":null,"abstract":"In 2004, Thakur introduced a positive characteristic analogue of multizeta values. Later, in 2017, he mentioned the two colored variants which are positive characteristic analogues of colored multizeta values in his survey of multizeta values in positive characteristic. In this paper, we study one of those two variants. We establish their fundamental properties, that include their non-vanishing, sum-shuffle relations, 𝑡-motivic interpretation and linear independence. For the linear independence results, we prove that there are no nontrivial <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mover accent=\"true\"> <m:mi>k</m:mi> <m:mo>̄</m:mo> </m:mover> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0226_ineq_0001.png\" /> <jats:tex-math>overline{k}</jats:tex-math> </jats:alternatives> </jats:inline-formula>-linear relations among the colored multizeta values with different weights.","PeriodicalId":12433,"journal":{"name":"Forum Mathematicum","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-04-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140585665","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 an inaccessible cardinal, 𝔘 a universal algebra, and ∼sim the equivalence relation on Uκmathfrak{U}^{kappa} of eventual equality. From mild assumptions on 𝜅, we give general constructions of E∈End(Uκ/∼)mathcal{E}inoperatorname{End}(mathfrak{U}^{kappa}/{sim}) satisfying E∘E=Emathcal{E}circmathcal{E}=mathcal{E} which do not descend from Δ∈End(Uκ)Deltainoperatorname{End}(mathfrak{U}^{kappa}) having small strong supports. As an application, there exists an E∈End
让 𝜅 是一个不可访问的红心,𝔘 是一个普遍代数,∼ sim 是 U κ mathfrak{U}^{kappa} 上最终相等的等价关系。根据对𝜅、我们给出了 E∈ End ( U κ / ∼ ) 的一般构造 mathcal{E}inoperatorname{End}(mathfrak{U}^{kappa}/{sim}) 满足 E ∘ E = E mathcal{E}circmathcal{E}=mathcal{E} 它不会从具有小强支持的 Δ∈ End ( U κ ) Deltainoperatorname{End}(mathfrak{U}^{kappa}) 下降。作为应用,存在一个 E∈ End ( Z κ / ∼ ) ( (mathcal{E}inoperatorname{End}(mathbb{Z}^{kappa}}/{sim})),它不是来自一个 Δ∈ End ( Z κ ) ( (Deltainoperatorname{End}(mathbb{Z}^{kappa}))。
{"title":"On projections of the tails of a power","authors":"Samuel M. Corson, Saharon Shelah","doi":"10.1515/forum-2022-0375","DOIUrl":"https://doi.org/10.1515/forum-2022-0375","url":null,"abstract":"Let 𝜅 be an inaccessible cardinal, 𝔘 a universal algebra, and <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mo>∼</m:mo> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2022-0375_ineq_0001.png\" /> <jats:tex-math>sim</jats:tex-math> </jats:alternatives> </jats:inline-formula> the equivalence relation on <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:msup> <m:mi mathvariant=\"fraktur\">U</m:mi> <m:mi>κ</m:mi> </m:msup> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2022-0375_ineq_0002.png\" /> <jats:tex-math>mathfrak{U}^{kappa}</jats:tex-math> </jats:alternatives> </jats:inline-formula> of eventual equality. From mild assumptions on 𝜅, we give general constructions of <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mi mathvariant=\"script\">E</m:mi> <m:mo>∈</m:mo> <m:mi>End</m:mi> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:msup> <m:mi mathvariant=\"fraktur\">U</m:mi> <m:mi>κ</m:mi> </m:msup> <m:mo rspace=\"0em\">/</m:mo> <m:mo lspace=\"0em\" rspace=\"0em\">∼</m:mo> <m:mo stretchy=\"false\">)</m:mo> </m:mrow> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2022-0375_ineq_0003.png\" /> <jats:tex-math>mathcal{E}inoperatorname{End}(mathfrak{U}^{kappa}/{sim})</jats:tex-math> </jats:alternatives> </jats:inline-formula> satisfying <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mrow> <m:mi mathvariant=\"script\">E</m:mi> <m:mo lspace=\"0.222em\" rspace=\"0.222em\">∘</m:mo> <m:mi mathvariant=\"script\">E</m:mi> </m:mrow> <m:mo>=</m:mo> <m:mi mathvariant=\"script\">E</m:mi> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2022-0375_ineq_0004.png\" /> <jats:tex-math>mathcal{E}circmathcal{E}=mathcal{E}</jats:tex-math> </jats:alternatives> </jats:inline-formula> which do not descend from <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mi mathvariant=\"normal\">Δ</m:mi> <m:mo>∈</m:mo> <m:mrow> <m:mi>End</m:mi> <m:mo></m:mo> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:msup> <m:mi mathvariant=\"fraktur\">U</m:mi> <m:mi>κ</m:mi> </m:msup> <m:mo stretchy=\"false\">)</m:mo> </m:mrow> </m:mrow> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2022-0375_ineq_0005.png\" /> <jats:tex-math>Deltainoperatorname{End}(mathfrak{U}^{kappa})</jats:tex-math> </jats:alternatives> </jats:inline-formula> having small strong supports. As an application, there exists an <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mi mathvariant=\"script\">E</m:mi> <m:mo>∈</m:mo> <m:mi>End</m:mi> ","PeriodicalId":12433,"journal":{"name":"Forum Mathematicum","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140585372","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}
In 1769, Euler proved the following result: ∫0π2log(sinθ)𝑑θ=-π2log2.int_{0}^{frac{pi}{2}}log(sintheta),dtheta=-frac{pi}{2}log 2. In this paper, as a generalization, we evaluate the definite integrals ∫0xθr-2log(cosθ2)𝑑θint_{0}^{x}theta^{r-2}logbiggl{(}cosfrac{theta}{2}biggr{)},dtheta for r=2,3,4,…r=2,3,4,dots . We show that it can be expressed by the special values of Kurokawa and Koyama’s multiple cosine functions 𝒞r(x
Given a proper holomorphic surjective morphism f:X→Y{f:Xrightarrow Y} between compact Kähler manifolds, and a Nakano semipositive holomorphic vector bundle E on X, we prove Kollár-type vanishing theorems on cohomologies with coefficients in Rqf∗(ωX(E))⊗F{R^{q}f_{ast}(omega_{X}(E))otimes F}, where F is a k-positive vector bundle on Y. The main inputs in the proof are the deep results on the Nakano semipositivity of the higher direct images due to Berndtsson and Mourougane–Takayama, and an L2{L^{2}}-Dolbeault resolution of the higher direct image sheaf Rqf∗(ωX(E)){R^{q}f_{ast}(omega_{X}(E))}, which is of interest in itself.
给定紧凑 Kähler 流形之间的适当全态投射态 f : X → Y {f:Xrightarrow Y} 和 X 上的中野半正全态向量束 E,我们证明了 R q f ∗ ( ω X ( E ) ) 中系数的同调上的 Kollár 型消失定理。 ⊗ F {R^{q}f_{ast}(omega_{X}(E))otimes F} 。 证明的主要输入是 Berndtsson 和 Mourougane-Takayama 关于高直达像的中野半实在性的深入结果,以及一个 L 2 {L^{2}} -Dolbeault 解析。 高直映像 Sheaf R q f ∗ ( ω X ( E ) ) 的 L 2 {L^{2}} -Dolbeault 解析。 {R^{q}f_{ast}(omega_{X}(E))} {R^{q}f_{ast}(omega_{X}(E))} ,这本身就很有趣。
{"title":"A Kollár-type vanishing theorem for k-positive vector bundles","authors":"Chen Zhao","doi":"10.1515/forum-2023-0332","DOIUrl":"https://doi.org/10.1515/forum-2023-0332","url":null,"abstract":"Given a proper holomorphic surjective morphism <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mi>f</m:mi> <m:mo>:</m:mo> <m:mrow> <m:mi>X</m:mi> <m:mo>→</m:mo> <m:mi>Y</m:mi> </m:mrow> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0332_eq_0235.png\" /> <jats:tex-math>{f:Xrightarrow Y}</jats:tex-math> </jats:alternatives> </jats:inline-formula> between compact Kähler manifolds, and a Nakano semipositive holomorphic vector bundle <jats:italic>E</jats:italic> on <jats:italic>X</jats:italic>, we prove Kollár-type vanishing theorems on cohomologies with coefficients in <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mrow> <m:msup> <m:mi>R</m:mi> <m:mi>q</m:mi> </m:msup> <m:mo></m:mo> <m:msub> <m:mi>f</m:mi> <m:mo>∗</m:mo> </m:msub> <m:mo></m:mo> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:mrow> <m:msub> <m:mi>ω</m:mi> <m:mi>X</m:mi> </m:msub> <m:mo></m:mo> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:mi>E</m:mi> <m:mo stretchy=\"false\">)</m:mo> </m:mrow> </m:mrow> <m:mo stretchy=\"false\">)</m:mo> </m:mrow> </m:mrow> <m:mo>⊗</m:mo> <m:mi>F</m:mi> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0332_eq_0130.png\" /> <jats:tex-math>{R^{q}f_{ast}(omega_{X}(E))otimes F}</jats:tex-math> </jats:alternatives> </jats:inline-formula>, where <jats:italic>F</jats:italic> is a <jats:italic>k</jats:italic>-positive vector bundle on <jats:italic>Y</jats:italic>. The main inputs in the proof are the deep results on the Nakano semipositivity of the higher direct images due to Berndtsson and Mourougane–Takayama, and an <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:msup> <m:mi>L</m:mi> <m:mn>2</m:mn> </m:msup> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0332_eq_0114.png\" /> <jats:tex-math>{L^{2}}</jats:tex-math> </jats:alternatives> </jats:inline-formula>-Dolbeault resolution of the higher direct image sheaf <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:msup> <m:mi>R</m:mi> <m:mi>q</m:mi> </m:msup> <m:mo></m:mo> <m:msub> <m:mi>f</m:mi> <m:mo>∗</m:mo> </m:msub> <m:mo></m:mo> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:mrow> <m:msub> <m:mi>ω</m:mi> <m:mi>X</m:mi> </m:msub> <m:mo></m:mo> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:mi>E</m:mi> <m:mo stretchy=\"false\">)</m:mo> </m:mrow> </m:mrow> <m:mo stretchy=\"false\">)</m:mo> </m:mrow> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0332_eq_0132.png\" /> <jats:tex-math>{R^{q}f_{ast}(omega_{X}(E))}</jats:tex-math> </jats:alternatives> </jats:inline-formula>, which is of interest in itself.","PeriodicalId":12433,"journal":{"name":"Forum Mathematicum","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140300115","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}
In this paper we prove some generalizations of the classical Hasse–Davenport product relation for certain arithmetic factors defined on a p-adic field F, among them one finds the ϵ-factors appearing in Tate’s thesis. We then show that these generalizations are equivalent to some representation theoretic identities relating the determinant of ramified local coefficients matrices defined for coverings of SL2(F){mathrm{SL}_{2}(F)} to Plancherel measures and γ-factors.
在本文中,我们证明了经典的哈塞-达文波特乘积关系对于定义在 p-adic 场 F 上的某些算术因子的一些泛化,其中包括塔特论文中出现的 ϵ 因子。然后,我们证明这些广义等价于一些表示论的同义词,这些同义词涉及为 SL 2 ( F ) {mathrm{SL}_{2}(F)} 的覆盖而定义的斜线化局部系数矩阵的行列式与 Plancherel 度量和 γ 因子。
{"title":"A p-adic analog of Hasse--Davenport product relation involving ϵ-factors","authors":"Dani Szpruch","doi":"10.1515/forum-2023-0347","DOIUrl":"https://doi.org/10.1515/forum-2023-0347","url":null,"abstract":"In this paper we prove some generalizations of the classical Hasse–Davenport product relation for certain arithmetic factors defined on a <jats:italic>p</jats:italic>-adic field <jats:italic>F</jats:italic>, among them one finds the ϵ-factors appearing in Tate’s thesis. We then show that these generalizations are equivalent to some representation theoretic identities relating the determinant of ramified local coefficients matrices defined for coverings of <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:msub> <m:mi>SL</m:mi> <m:mn>2</m:mn> </m:msub> <m:mo></m:mo> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:mi>F</m:mi> <m:mo stretchy=\"false\">)</m:mo> </m:mrow> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0347_eq_0339.png\" /> <jats:tex-math>{mathrm{SL}_{2}(F)}</jats:tex-math> </jats:alternatives> </jats:inline-formula> to Plancherel measures and γ-factors.","PeriodicalId":12433,"journal":{"name":"Forum Mathematicum","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140300120","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 give some q-supercongruences from a q-analogue of Watson’s F23{{}_{3}F_{2}} summation and the method of “creative microscoping”, introduced by the author and Zudilin. These q-supercongruences may be considered as further generalizations of the (A.2) supercongruence of Van Hamme modulo p3{p^{3}} or p2{p^{2}} for any odd prime p. Meanwhile, we confirm a supercongruence conjecture of Wang and Yue through establishing its q-analogue.
我们从沃森的 F 2 3 {{}_{3}F_{2}} 求和的 q-analogue 以及作者和祖迪林提出的 "创造性微观 "方法中给出了一些 q-supercongruences 。这些 q 超共形可以看作是凡-哈姆(Van Hamme)对任意奇素数 p 的 p 3 {p^{3}} 或 p 2 {p^{2}} 模的 (A.2) 超共形的进一步推广。
{"title":"Some q-supercongruences from a q-analogue of Watson's 3 F 2 summation","authors":"Victor J. W. Guo","doi":"10.1515/forum-2023-0475","DOIUrl":"https://doi.org/10.1515/forum-2023-0475","url":null,"abstract":"We give some <jats:italic>q</jats:italic>-supercongruences from a <jats:italic>q</jats:italic>-analogue of Watson’s <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mmultiscripts> <m:mi>F</m:mi> <m:mn>2</m:mn> <m:none /> <m:mprescripts /> <m:mn>3</m:mn> <m:none /> </m:mmultiscripts> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0475_eq_0206.png\" /> <jats:tex-math>{{}_{3}F_{2}}</jats:tex-math> </jats:alternatives> </jats:inline-formula> summation and the method of “creative microscoping”, introduced by the author and Zudilin. These <jats:italic>q</jats:italic>-supercongruences may be considered as further generalizations of the (A.2) supercongruence of Van Hamme modulo <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:msup> <m:mi>p</m:mi> <m:mn>3</m:mn> </m:msup> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0475_eq_0181.png\" /> <jats:tex-math>{p^{3}}</jats:tex-math> </jats:alternatives> </jats:inline-formula> or <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:msup> <m:mi>p</m:mi> <m:mn>2</m:mn> </m:msup> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0475_eq_0180.png\" /> <jats:tex-math>{p^{2}}</jats:tex-math> </jats:alternatives> </jats:inline-formula> for any odd prime <jats:italic>p</jats:italic>. Meanwhile, we confirm a supercongruence conjecture of Wang and Yue through establishing its <jats:italic>q</jats:italic>-analogue.","PeriodicalId":12433,"journal":{"name":"Forum Mathematicum","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140300124","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}
Balesh Kumar, Murugesan Manickam, Karam Deo Shankhadhar
For a given normalized newform f of large prime level, we establish a lower bound with respect to the level for the number of normalized newforms g of the same weight and level as of f such that the central L-values of f and g both twisted by a quadratic character do not vanish.
对于给定的大素数级的规范化新形 f,我们为与 f 具有相同权重和级数的规范化新形 g 的数量建立了一个与级数相关的下限,使得 f 和 g 的中心 L 值都不会因二次方特征的扭曲而消失。
{"title":"Simultaneous nonvanishing of central L-values with large level","authors":"Balesh Kumar, Murugesan Manickam, Karam Deo Shankhadhar","doi":"10.1515/forum-2024-0014","DOIUrl":"https://doi.org/10.1515/forum-2024-0014","url":null,"abstract":"For a given normalized newform <jats:italic>f</jats:italic> of large prime level, we establish a lower bound with respect to the level for the number of normalized newforms <jats:italic>g</jats:italic> of the same weight and level as of <jats:italic>f</jats:italic> such that the central <jats:italic>L</jats:italic>-values of <jats:italic>f</jats:italic> and <jats:italic>g</jats:italic> both twisted by a quadratic character do not vanish.","PeriodicalId":12433,"journal":{"name":"Forum Mathematicum","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140300118","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}
Given a prime power q and a positive integer n, let 𝔽qn{mathbb{F}_{q^{n}}} represent a finite extension of degree n of the finite field 𝔽q{{mathbb{F}_{q}}}. In this article, we investigate the existence of m elements in arithmetic progression, where every element is primitive and at least one is normal with prescribed norms. Moreover, for n≥6{ngeq 6}, q=3k{q=3^{k}}, m=2{m=2} we establish that there are only 10 possible exceptions.
给定一个质幂 q 和一个正整数 n,让 𝔽 q n {{mathbb{F}_{q^{n}}} 表示有限域 𝔽 q {{mathbb{F}_{q}}} 的 n 阶有限扩展。本文将研究算术级数中是否存在 m 个元素,其中每个元素都是基元,且至少有一个元素是具有规定规范的正则元素。此外,对于 n ≥ 6 {ngeq 6} , q = 3 k {q=3^{k}} , m = 2 {m=2 , m = 2 {m=2},我们可以确定只有 10 个可能的例外。
{"title":"Arithmetic progression in a finite field with prescribed norms","authors":"Kaustav Chatterjee, Hariom Sharma, Aastha Shukla, Shailesh Kumar Tiwari","doi":"10.1515/forum-2024-0026","DOIUrl":"https://doi.org/10.1515/forum-2024-0026","url":null,"abstract":"Given a prime power <jats:italic>q</jats:italic> and a positive integer <jats:italic>n</jats:italic>, let <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:msub> <m:mi>𝔽</m:mi> <m:msup> <m:mi>q</m:mi> <m:mi>n</m:mi> </m:msup> </m:msub> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2024-0026_eq_0435.png\" /> <jats:tex-math>{mathbb{F}_{q^{n}}}</jats:tex-math> </jats:alternatives> </jats:inline-formula> represent a finite extension of degree <jats:italic>n</jats:italic> of the finite field <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:msub> <m:mi>𝔽</m:mi> <m:mi>q</m:mi> </m:msub> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2024-0026_eq_0722.png\" /> <jats:tex-math>{{mathbb{F}_{q}}}</jats:tex-math> </jats:alternatives> </jats:inline-formula>. In this article, we investigate the existence of <jats:italic>m</jats:italic> elements in arithmetic progression, where every element is primitive and at least one is normal with prescribed norms. Moreover, for <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mi>n</m:mi> <m:mo>≥</m:mo> <m:mn>6</m:mn> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2024-0026_eq_0646.png\" /> <jats:tex-math>{ngeq 6}</jats:tex-math> </jats:alternatives> </jats:inline-formula>, <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mi>q</m:mi> <m:mo>=</m:mo> <m:msup> <m:mn>3</m:mn> <m:mi>k</m:mi> </m:msup> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2024-0026_eq_0678.png\" /> <jats:tex-math>{q=3^{k}}</jats:tex-math> </jats:alternatives> </jats:inline-formula>, <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mi>m</m:mi> <m:mo>=</m:mo> <m:mn>2</m:mn> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2024-0026_eq_0621.png\" /> <jats:tex-math>{m=2}</jats:tex-math> </jats:alternatives> </jats:inline-formula> we establish that there are only 10 possible exceptions.","PeriodicalId":12433,"journal":{"name":"Forum Mathematicum","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140299673","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}