首页 > 最新文献

Forum Mathematicum最新文献

英文 中文
Colored multizeta values in positive characteristic 正特征中的彩色多泽塔值
IF 0.8 3区 数学 Q1 MATHEMATICS Pub Date : 2024-04-04 DOI: 10.1515/forum-2023-0226
Ryotaro Harada
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":"54 1","pages":""},"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}
引用次数: 0
On projections of the tails of a power 关于幂的尾部投影
IF 0.8 3区 数学 Q1 MATHEMATICS Pub Date : 2024-04-03 DOI: 10.1515/forum-2022-0375
Samuel M. Corson, Saharon Shelah
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>
让 𝜅 是一个不可访问的红心,𝔘 是一个普遍代数,∼ 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 &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"&gt; &lt;m:mo&gt;∼&lt;/m:mo&gt; &lt;/m:math&gt; &lt;jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2022-0375_ineq_0001.png\" /&gt; &lt;jats:tex-math&gt;sim&lt;/jats:tex-math&gt; &lt;/jats:alternatives&gt; &lt;/jats:inline-formula&gt; the equivalence relation on &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"&gt; &lt;m:msup&gt; &lt;m:mi mathvariant=\"fraktur\"&gt;U&lt;/m:mi&gt; &lt;m:mi&gt;κ&lt;/m:mi&gt; &lt;/m:msup&gt; &lt;/m:math&gt; &lt;jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2022-0375_ineq_0002.png\" /&gt; &lt;jats:tex-math&gt;mathfrak{U}^{kappa}&lt;/jats:tex-math&gt; &lt;/jats:alternatives&gt; &lt;/jats:inline-formula&gt; of eventual equality. From mild assumptions on 𝜅, we give general constructions of &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"&gt; &lt;m:mrow&gt; &lt;m:mi mathvariant=\"script\"&gt;E&lt;/m:mi&gt; &lt;m:mo&gt;∈&lt;/m:mo&gt; &lt;m:mi&gt;End&lt;/m:mi&gt; &lt;m:mrow&gt; &lt;m:mo stretchy=\"false\"&gt;(&lt;/m:mo&gt; &lt;m:msup&gt; &lt;m:mi mathvariant=\"fraktur\"&gt;U&lt;/m:mi&gt; &lt;m:mi&gt;κ&lt;/m:mi&gt; &lt;/m:msup&gt; &lt;m:mo rspace=\"0em\"&gt;/&lt;/m:mo&gt; &lt;m:mo lspace=\"0em\" rspace=\"0em\"&gt;∼&lt;/m:mo&gt; &lt;m:mo stretchy=\"false\"&gt;)&lt;/m:mo&gt; &lt;/m:mrow&gt; &lt;/m:mrow&gt; &lt;/m:math&gt; &lt;jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2022-0375_ineq_0003.png\" /&gt; &lt;jats:tex-math&gt;mathcal{E}inoperatorname{End}(mathfrak{U}^{kappa}/{sim})&lt;/jats:tex-math&gt; &lt;/jats:alternatives&gt; &lt;/jats:inline-formula&gt; satisfying &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"&gt; &lt;m:mrow&gt; &lt;m:mrow&gt; &lt;m:mi mathvariant=\"script\"&gt;E&lt;/m:mi&gt; &lt;m:mo lspace=\"0.222em\" rspace=\"0.222em\"&gt;∘&lt;/m:mo&gt; &lt;m:mi mathvariant=\"script\"&gt;E&lt;/m:mi&gt; &lt;/m:mrow&gt; &lt;m:mo&gt;=&lt;/m:mo&gt; &lt;m:mi mathvariant=\"script\"&gt;E&lt;/m:mi&gt; &lt;/m:mrow&gt; &lt;/m:math&gt; &lt;jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2022-0375_ineq_0004.png\" /&gt; &lt;jats:tex-math&gt;mathcal{E}circmathcal{E}=mathcal{E}&lt;/jats:tex-math&gt; &lt;/jats:alternatives&gt; &lt;/jats:inline-formula&gt; which do not descend from &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"&gt; &lt;m:mrow&gt; &lt;m:mi mathvariant=\"normal\"&gt;Δ&lt;/m:mi&gt; &lt;m:mo&gt;∈&lt;/m:mo&gt; &lt;m:mrow&gt; &lt;m:mi&gt;End&lt;/m:mi&gt; &lt;m:mo&gt;⁡&lt;/m:mo&gt; &lt;m:mrow&gt; &lt;m:mo stretchy=\"false\"&gt;(&lt;/m:mo&gt; &lt;m:msup&gt; &lt;m:mi mathvariant=\"fraktur\"&gt;U&lt;/m:mi&gt; &lt;m:mi&gt;κ&lt;/m:mi&gt; &lt;/m:msup&gt; &lt;m:mo stretchy=\"false\"&gt;)&lt;/m:mo&gt; &lt;/m:mrow&gt; &lt;/m:mrow&gt; &lt;/m:mrow&gt; &lt;/m:math&gt; &lt;jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2022-0375_ineq_0005.png\" /&gt; &lt;jats:tex-math&gt;Deltainoperatorname{End}(mathfrak{U}^{kappa})&lt;/jats:tex-math&gt; &lt;/jats:alternatives&gt; &lt;/jats:inline-formula&gt; having small strong supports. As an application, there exists an &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"&gt; &lt;m:mrow&gt; &lt;m:mi mathvariant=\"script\"&gt;E&lt;/m:mi&gt; &lt;m:mo&gt;∈&lt;/m:mo&gt; &lt;m:mi&gt;End&lt;/m:mi&gt; ","PeriodicalId":12433,"journal":{"name":"Forum Mathematicum","volume":"45 1","pages":""},"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}
引用次数: 0
Euler’s integral, multiple cosine function and zeta values 欧拉积分、多重余弦函数和 zeta 值
IF 0.8 3区 数学 Q1 MATHEMATICS Pub Date : 2024-03-25 DOI: 10.1515/forum-2023-0426
Su Hu, Min-Soo Kim
In 1769, Euler proved the following result: <jats:disp-formula> <jats:alternatives> <m:math xmlns:m="http://www.w3.org/1998/Math/MathML"> <m:mrow> <m:mrow> <m:mrow> <m:msubsup> <m:mo largeop="true" symmetric="true">∫</m:mo> <m:mn>0</m:mn> <m:mfrac> <m:mi>π</m:mi> <m:mn>2</m:mn> </m:mfrac> </m:msubsup> <m:mrow> <m:mrow> <m:mi>log</m:mi> <m:mo>⁡</m:mo> <m:mrow> <m:mo stretchy="false">(</m:mo> <m:mrow> <m:mi>sin</m:mi> <m:mo>⁡</m:mo> <m:mi>θ</m:mi> </m:mrow> <m:mo rspace="4.2pt" stretchy="false">)</m:mo> </m:mrow> </m:mrow> <m:mo>⁢</m:mo> <m:mrow> <m:mo>𝑑</m:mo> <m:mi>θ</m:mi> </m:mrow> </m:mrow> </m:mrow> <m:mo>=</m:mo> <m:mrow> <m:mo>-</m:mo> <m:mrow> <m:mfrac> <m:mi>π</m:mi> <m:mn>2</m:mn> </m:mfrac> <m:mo>⁢</m:mo> <m:mrow> <m:mi>log</m:mi> <m:mo>⁡</m:mo> <m:mn>2</m:mn> </m:mrow> </m:mrow> </m:mrow> </m:mrow> <m:mo>.</m:mo> </m:mrow> </m:math> <jats:graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="graphic/j_forum-2023-0426_eq_0177.png" /> <jats:tex-math>int_{0}^{frac{pi}{2}}log(sintheta),dtheta=-frac{pi}{2}log 2.</jats:tex-math> </jats:alternatives> </jats:disp-formula> In this paper, as a generalization, we evaluate the definite integrals <jats:disp-formula> <jats:alternatives> <m:math xmlns:m="http://www.w3.org/1998/Math/MathML"> <m:mrow> <m:msubsup> <m:mo largeop="true" symmetric="true">∫</m:mo> <m:mn>0</m:mn> <m:mi>x</m:mi> </m:msubsup> <m:mrow> <m:msup> <m:mi>θ</m:mi> <m:mrow> <m:mi>r</m:mi> <m:mo>-</m:mo> <m:mn>2</m:mn> </m:mrow> </m:msup> <m:mo>⁢</m:mo> <m:mrow> <m:mi>log</m:mi> <m:mo>⁡</m:mo> <m:mrow> <m:mo maxsize="210%" minsize="210%">(</m:mo> <m:mrow> <m:mi>cos</m:mi> <m:mo>⁡</m:mo> <m:mfrac> <m:mi>θ</m:mi> <m:mn>2</m:mn> </m:mfrac> </m:mrow> <m:mo maxsize="210%" minsize="210%" rspace="4.2pt">)</m:mo> </m:mrow> </m:mrow> <m:mo>⁢</m:mo> <m:mrow> <m:mo>𝑑</m:mo> <m:mi>θ</m:mi> </m:mrow> </m:mrow> </m:mrow> </m:math> <jats:graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="graphic/j_forum-2023-0426_eq_0201.png" /> <jats:tex-math>int_{0}^{x}theta^{r-2}logbiggl{(}cosfrac{theta}{2}biggr{)},dtheta</jats:tex-math> </jats:alternatives> </jats:disp-formula> for <jats:inline-formula> <jats:alternatives> <m:math xmlns:m="http://www.w3.org/1998/Math/MathML"> <m:mrow> <m:mi>r</m:mi> <m:mo>=</m:mo> <m:mrow> <m:mn>2</m:mn> <m:mo>,</m:mo> <m:mn>3</m:mn> <m:mo>,</m:mo> <m:mn>4</m:mn> <m:mo>,</m:mo> <m:mi mathvariant="normal">…</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-0426_eq_0363.png" /> <jats:tex-math>r=2,3,4,dots</jats:tex-math> </jats:alternatives> </jats:inline-formula> . We show that it can be expressed by the special values of Kurokawa and Koyama’s multiple cosine functions <jats:inline-formula> <jats:alternatives> <m:math xmlns:m="http://www.w3.org/1998/Math/MathML"> <m:mrow> <m:msub> <m:mi mathvariant="script">𝒞</m:mi> <m:mi>r</m:mi> </m:msub> <m:mo>⁢</m:mo> <m:mrow> <m:mo stretchy="false">(</m:mo> <m:mi>x</m:mi> <m:mo stretch
1769 年,欧拉证明了以下结果:∫ 0 π 2 log ( sin θ ) 𝑑 θ = - π 2 log 2 。 int_{0}^{frac{pi}{2}}log(sintheta),dtheta=-frac{pi}{2}log 2. 在本文中,作为一种概括,我们评估了 ∫ 0 x θ r - 2 log ( cos θ 2 ) 𝑑 θ int_{0}^{x}theta^{r-2}logbiggl{(}cosfrac{theta}{2}biggr{)},dtheta 对于 r = 2 , 3 , 4 , ... r=2,3,4,dots 的定积分。我们证明它可以用黑川和小山的多重余弦函数 𝒞 r ( x ) {mathcal{C}_{r}(x)} 的特殊值或交替zeta 和 Dirichlet lambda 函数的特殊值来表示。特别是,我们可以得到以下zeta 值的明确表达式: ζ ( 3 ) = 4 π 2 21 log ( e 4 G π 𝒞 3 ( 1 4 ) 16 2 ) , zeta(3)=frac{4pi^{2}}{21}logBiggl{(}frac{e^{frac{4G}{pi}}mathcal{C}_{% 3}bigl{(}frac{1}{4}bigr{)}^{16}}{sqrt{2}}Biggr{)}, 其中 G 是卡塔兰常数,𝒞 3 ( 1 4 ) {mathcal{C}_{3}(frac{1}{4})} 是 Kurokawa 和 Koyama 的多重余弦函数𝒞 3 ( x ) {mathcal{C}_{3}(x)} 在 1 4 {frac{1}{4}} 的特殊值。 .此外,我们还证明了多个余弦函数 log 𝒞 r ( x 2 ) {logmathcal{C}_{r}(frac{x}{2})} 的对数用 zeta 函数、L 函数或多对数表示的几个数列。其中一个函数引出了 ζ ( 3 ) {zeta(3)} 的另一个表达式: ζ ( 3 ) = 72 π 2 11 log ( 3 1 72 𝒞 3 ( 1 6 ) 𝒞 2 ( 1 6 ) 1 3 ) 。 zeta(3)=frac{72pi^{2}}{11}logBiggl{(}frac{3^{frac{1}{72}}mathcal{C}_{3% }bigl{(}frac{1}{6}bigr{)}}{mathcal{C}_{2}bigl{(}frac{1}{6}bigr{)}^{% frac{1}{3}}}Biggr{)}.
{"title":"Euler’s integral, multiple cosine function and zeta values","authors":"Su Hu, Min-Soo Kim","doi":"10.1515/forum-2023-0426","DOIUrl":"https://doi.org/10.1515/forum-2023-0426","url":null,"abstract":"In 1769, Euler proved the following result: &lt;jats:disp-formula&gt; &lt;jats:alternatives&gt; &lt;m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"&gt; &lt;m:mrow&gt; &lt;m:mrow&gt; &lt;m:mrow&gt; &lt;m:msubsup&gt; &lt;m:mo largeop=\"true\" symmetric=\"true\"&gt;∫&lt;/m:mo&gt; &lt;m:mn&gt;0&lt;/m:mn&gt; &lt;m:mfrac&gt; &lt;m:mi&gt;π&lt;/m:mi&gt; &lt;m:mn&gt;2&lt;/m:mn&gt; &lt;/m:mfrac&gt; &lt;/m:msubsup&gt; &lt;m:mrow&gt; &lt;m:mrow&gt; &lt;m:mi&gt;log&lt;/m:mi&gt; &lt;m:mo&gt;⁡&lt;/m:mo&gt; &lt;m:mrow&gt; &lt;m:mo stretchy=\"false\"&gt;(&lt;/m:mo&gt; &lt;m:mrow&gt; &lt;m:mi&gt;sin&lt;/m:mi&gt; &lt;m:mo&gt;⁡&lt;/m:mo&gt; &lt;m:mi&gt;θ&lt;/m:mi&gt; &lt;/m:mrow&gt; &lt;m:mo rspace=\"4.2pt\" stretchy=\"false\"&gt;)&lt;/m:mo&gt; &lt;/m:mrow&gt; &lt;/m:mrow&gt; &lt;m:mo&gt;⁢&lt;/m:mo&gt; &lt;m:mrow&gt; &lt;m:mo&gt;𝑑&lt;/m:mo&gt; &lt;m:mi&gt;θ&lt;/m:mi&gt; &lt;/m:mrow&gt; &lt;/m:mrow&gt; &lt;/m:mrow&gt; &lt;m:mo&gt;=&lt;/m:mo&gt; &lt;m:mrow&gt; &lt;m:mo&gt;-&lt;/m:mo&gt; &lt;m:mrow&gt; &lt;m:mfrac&gt; &lt;m:mi&gt;π&lt;/m:mi&gt; &lt;m:mn&gt;2&lt;/m:mn&gt; &lt;/m:mfrac&gt; &lt;m:mo&gt;⁢&lt;/m:mo&gt; &lt;m:mrow&gt; &lt;m:mi&gt;log&lt;/m:mi&gt; &lt;m:mo&gt;⁡&lt;/m:mo&gt; &lt;m:mn&gt;2&lt;/m:mn&gt; &lt;/m:mrow&gt; &lt;/m:mrow&gt; &lt;/m:mrow&gt; &lt;/m:mrow&gt; &lt;m:mo&gt;.&lt;/m:mo&gt; &lt;/m:mrow&gt; &lt;/m:math&gt; &lt;jats:graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0426_eq_0177.png\" /&gt; &lt;jats:tex-math&gt;int_{0}^{frac{pi}{2}}log(sintheta),dtheta=-frac{pi}{2}log 2.&lt;/jats:tex-math&gt; &lt;/jats:alternatives&gt; &lt;/jats:disp-formula&gt; In this paper, as a generalization, we evaluate the definite integrals &lt;jats:disp-formula&gt; &lt;jats:alternatives&gt; &lt;m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"&gt; &lt;m:mrow&gt; &lt;m:msubsup&gt; &lt;m:mo largeop=\"true\" symmetric=\"true\"&gt;∫&lt;/m:mo&gt; &lt;m:mn&gt;0&lt;/m:mn&gt; &lt;m:mi&gt;x&lt;/m:mi&gt; &lt;/m:msubsup&gt; &lt;m:mrow&gt; &lt;m:msup&gt; &lt;m:mi&gt;θ&lt;/m:mi&gt; &lt;m:mrow&gt; &lt;m:mi&gt;r&lt;/m:mi&gt; &lt;m:mo&gt;-&lt;/m:mo&gt; &lt;m:mn&gt;2&lt;/m:mn&gt; &lt;/m:mrow&gt; &lt;/m:msup&gt; &lt;m:mo&gt;⁢&lt;/m:mo&gt; &lt;m:mrow&gt; &lt;m:mi&gt;log&lt;/m:mi&gt; &lt;m:mo&gt;⁡&lt;/m:mo&gt; &lt;m:mrow&gt; &lt;m:mo maxsize=\"210%\" minsize=\"210%\"&gt;(&lt;/m:mo&gt; &lt;m:mrow&gt; &lt;m:mi&gt;cos&lt;/m:mi&gt; &lt;m:mo&gt;⁡&lt;/m:mo&gt; &lt;m:mfrac&gt; &lt;m:mi&gt;θ&lt;/m:mi&gt; &lt;m:mn&gt;2&lt;/m:mn&gt; &lt;/m:mfrac&gt; &lt;/m:mrow&gt; &lt;m:mo maxsize=\"210%\" minsize=\"210%\" rspace=\"4.2pt\"&gt;)&lt;/m:mo&gt; &lt;/m:mrow&gt; &lt;/m:mrow&gt; &lt;m:mo&gt;⁢&lt;/m:mo&gt; &lt;m:mrow&gt; &lt;m:mo&gt;𝑑&lt;/m:mo&gt; &lt;m:mi&gt;θ&lt;/m:mi&gt; &lt;/m:mrow&gt; &lt;/m:mrow&gt; &lt;/m:mrow&gt; &lt;/m:math&gt; &lt;jats:graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0426_eq_0201.png\" /&gt; &lt;jats:tex-math&gt;int_{0}^{x}theta^{r-2}logbiggl{(}cosfrac{theta}{2}biggr{)},dtheta&lt;/jats:tex-math&gt; &lt;/jats:alternatives&gt; &lt;/jats:disp-formula&gt; for &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"&gt; &lt;m:mrow&gt; &lt;m:mi&gt;r&lt;/m:mi&gt; &lt;m:mo&gt;=&lt;/m:mo&gt; &lt;m:mrow&gt; &lt;m:mn&gt;2&lt;/m:mn&gt; &lt;m:mo&gt;,&lt;/m:mo&gt; &lt;m:mn&gt;3&lt;/m:mn&gt; &lt;m:mo&gt;,&lt;/m:mo&gt; &lt;m:mn&gt;4&lt;/m:mn&gt; &lt;m:mo&gt;,&lt;/m:mo&gt; &lt;m:mi mathvariant=\"normal\"&gt;…&lt;/m:mi&gt; &lt;/m:mrow&gt; &lt;/m:mrow&gt; &lt;/m:math&gt; &lt;jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0426_eq_0363.png\" /&gt; &lt;jats:tex-math&gt;r=2,3,4,dots&lt;/jats:tex-math&gt; &lt;/jats:alternatives&gt; &lt;/jats:inline-formula&gt; . We show that it can be expressed by the special values of Kurokawa and Koyama’s multiple cosine functions &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"&gt; &lt;m:mrow&gt; &lt;m:msub&gt; &lt;m:mi mathvariant=\"script\"&gt;𝒞&lt;/m:mi&gt; &lt;m:mi&gt;r&lt;/m:mi&gt; &lt;/m:msub&gt; &lt;m:mo&gt;⁢&lt;/m:mo&gt; &lt;m:mrow&gt; &lt;m:mo stretchy=\"false\"&gt;(&lt;/m:mo&gt; &lt;m:mi&gt;x&lt;/m:mi&gt; &lt;m:mo stretch","PeriodicalId":12433,"journal":{"name":"Forum Mathematicum","volume":"3 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140299794","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}
引用次数: 0
A Kollár-type vanishing theorem for k-positive vector bundles k 正向向量束的科拉型消失定理
IF 0.8 3区 数学 Q1 MATHEMATICS Pub Date : 2024-03-25 DOI: 10.1515/forum-2023-0332
Chen Zhao
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 R q f ( ω 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 L 2 {L^{2}} -Dolbeault resolution of the higher direct image sheaf R q f ( ω 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":"18 71 1","pages":""},"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}
引用次数: 0
A p-adic analog of Hasse--Davenport product relation involving ϵ-factors 涉及ϵ因子的哈塞--达文波特乘积关系的 p-adic 类似物
IF 0.8 3区 数学 Q1 MATHEMATICS Pub Date : 2024-03-25 DOI: 10.1515/forum-2023-0347
Dani Szpruch
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 SL 2 ( 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":"17 1","pages":""},"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}
引用次数: 0
Some q-supercongruences from a q-analogue of Watson's 3 F 2 summation 从沃森 3 F 2 求和的 q 类比中得出的一些 q-supercongruences
IF 0.8 3区 数学 Q1 MATHEMATICS Pub Date : 2024-03-25 DOI: 10.1515/forum-2023-0475
Victor J. W. Guo
We give some q-supercongruences from a q-analogue of Watson’s F 2 3 {{}_{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 p 3 {p^{3}} or p 2 {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":"233 1","pages":""},"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}
引用次数: 0
Simultaneous nonvanishing of central L-values with large level 中心 L 值与大水平同时不消失
IF 0.8 3区 数学 Q1 MATHEMATICS Pub Date : 2024-03-25 DOI: 10.1515/forum-2024-0014
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":"21 1","pages":""},"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}
引用次数: 0
Arithmetic progression in a finite field with prescribed norms 具有规定规范的有限域中的算术级数
IF 0.8 3区 数学 Q1 MATHEMATICS Pub Date : 2024-03-25 DOI: 10.1515/forum-2024-0026
Kaustav Chatterjee, Hariom Sharma, Aastha Shukla, Shailesh Kumar Tiwari
Given a prime power q and a positive integer n, let 𝔽 q n {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 = 3 k {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":"21 1","pages":""},"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}
引用次数: 0
Estimates of Picard modular cusp forms 皮卡尔模块顶点形式的估计值
IF 0.8 3区 数学 Q1 MATHEMATICS Pub Date : 2024-03-25 DOI: 10.1515/forum-2023-0079
Anilatmaja Aryasomayajula, Baskar Balasubramanyam, Dyuti Roy
In this article, 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>2</m:mn> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="graphic/j_forum-2023-0079_eq_0368.png" /> <jats:tex-math>{ngeq 2}</jats:tex-math> </jats:alternatives> </jats:inline-formula>, we compute asymptotic, qualitative, and quantitative estimates of the Bergman kernel of Picard modular cusp forms associated to torsion-free, cocompact subgroups of <jats:inline-formula> <jats:alternatives> <m:math xmlns:m="http://www.w3.org/1998/Math/MathML"> <m:mrow> <m:mi>SU</m:mi> <m:mo>⁢</m:mo> <m:mrow> <m:mo stretchy="false">(</m:mo> <m:mrow> <m:mo stretchy="false">(</m:mo> <m:mi>n</m:mi> <m:mo>,</m:mo> <m:mn>1</m:mn> <m:mo stretchy="false">)</m:mo> </m:mrow> <m:mo>,</m:mo> <m:mi>ℂ</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-0079_eq_0306.png" /> <jats:tex-math>{mathrm{SU}((n,1),mathbb{C})}</jats:tex-math> </jats:alternatives> </jats:inline-formula>. The main result of the article is the following result. Let <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>SU</m:mi> <m:mo>⁢</m:mo> <m:mrow> <m:mo stretchy="false">(</m:mo> <m:mrow> <m:mo stretchy="false">(</m:mo> <m:mn>2</m:mn> <m:mo>,</m:mo> <m:mn>1</m:mn> <m:mo stretchy="false">)</m:mo> </m:mrow> <m:mo>,</m:mo> <m:msub> <m:mi mathvariant="script">𝒪</m:mi> <m:mi>K</m:mi> </m:msub> <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-2023-0079_eq_0229.png" /> <jats:tex-math>{Gammasubsetmathrm{SU}((2,1),mathcal{O}_{K})}</jats:tex-math> </jats:alternatives> </jats:inline-formula> be a torsion-free subgroup of finite index, where <jats:italic>K</jats:italic> is a totally imaginary field. Let <jats:inline-formula> <jats:alternatives> <m:math xmlns:m="http://www.w3.org/1998/Math/MathML"> <m:msubsup> <m:mi mathvariant="script">ℬ</m:mi> <m:mi mathvariant="normal">Γ</m:mi> <m:mi>k</m:mi> </m:msubsup> </m:math> <jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="graphic/j_forum-2023-0079_eq_0408.png" /> <jats:tex-math>{{{mathcal{B}_{Gamma}^{k}}}}</jats:tex-math> </jats:alternatives> </jats:inline-formula> denote the Bergman kernel associated to the <jats:inline-formula> <jats:alternatives> <m:math xmlns:m="http://www.w3.org/1998/Math/MathML"> <m:mrow> <m:msub> <m:mi mathvariant="script">𝒮</m:mi> <m:mi>k</m:mi> </m:msub> <m:mo>⁢</m:mo> <m:mrow> <m:mo stretchy="false">(</m:mo> <m:mi mathvariant="normal">Γ</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:h
在本文中,对于 n ≥ 2 {ngeq 2} ,我们计算了与 SU ( ( n , 1 ) , ℂ) 的无扭转、共偶子群相关的皮卡尔模块尖顶形式的伯格曼核的渐近、定性和定量估计值。 {mathrm{SU}((n,1),mathbb{C})}。文章的主要结果如下。设 Γ ⊂ SU ( ( 2 , 1 ) , 𝒪 K ) {Gammasubsetmathrm{SU}((2,1),mathcal{O}_{K})} 是一个有限索引的无扭子群,其中 K 是一个完全虚域。让 ℬ Γ k {{mathcal{B}_{Gamma}^{k}}}} 表示与 𝒮 k ( Γ ) {mathcal{S}_{k}(Gamma)} 相关的伯格曼核,它是关于 Γ 的权重-k 尖顶形式的复向量空间。让 𝔹 2 {mathbb{B}^{2}} 表示赋有双曲度量的二维复球,让 X Γ := Γ 𝔹 2 {X_{Gamma}:=Gammabackslashmathbb{B}^{2}} 表示商空间,它是维数为 2 的非紧凑复流形。让 |⋅ | pet {|cdot|_{mathrm{pet}}} 表示𝒮 k ( Γ ) 上的点向彼得森规范 {mathcal{S}_{k}(Gamma)} 。 我们有如下估计: sup z ∈ X Γ | ℬ Γ k ( z ) | pet = O Γ ( k 5 2 ) 、 |{{sup_{zin X_{Gamma}}|{{mathcal{B}_{Gamma}^{k}}}(z)|_{{mathrm{pet}}=O_{% Gamma}(k^{frac{5}{2}}),其中隐含的常数只取决于 Γ。
{"title":"Estimates of Picard modular cusp forms","authors":"Anilatmaja Aryasomayajula, Baskar Balasubramanyam, Dyuti Roy","doi":"10.1515/forum-2023-0079","DOIUrl":"https://doi.org/10.1515/forum-2023-0079","url":null,"abstract":"In this article, for &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"&gt; &lt;m:mrow&gt; &lt;m:mi&gt;n&lt;/m:mi&gt; &lt;m:mo&gt;≥&lt;/m:mo&gt; &lt;m:mn&gt;2&lt;/m:mn&gt; &lt;/m:mrow&gt; &lt;/m:math&gt; &lt;jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0079_eq_0368.png\" /&gt; &lt;jats:tex-math&gt;{ngeq 2}&lt;/jats:tex-math&gt; &lt;/jats:alternatives&gt; &lt;/jats:inline-formula&gt;, we compute asymptotic, qualitative, and quantitative estimates of the Bergman kernel of Picard modular cusp forms associated to torsion-free, cocompact subgroups of &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"&gt; &lt;m:mrow&gt; &lt;m:mi&gt;SU&lt;/m:mi&gt; &lt;m:mo&gt;⁢&lt;/m:mo&gt; &lt;m:mrow&gt; &lt;m:mo stretchy=\"false\"&gt;(&lt;/m:mo&gt; &lt;m:mrow&gt; &lt;m:mo stretchy=\"false\"&gt;(&lt;/m:mo&gt; &lt;m:mi&gt;n&lt;/m:mi&gt; &lt;m:mo&gt;,&lt;/m:mo&gt; &lt;m:mn&gt;1&lt;/m:mn&gt; &lt;m:mo stretchy=\"false\"&gt;)&lt;/m:mo&gt; &lt;/m:mrow&gt; &lt;m:mo&gt;,&lt;/m:mo&gt; &lt;m:mi&gt;ℂ&lt;/m:mi&gt; &lt;m:mo stretchy=\"false\"&gt;)&lt;/m:mo&gt; &lt;/m:mrow&gt; &lt;/m:mrow&gt; &lt;/m:math&gt; &lt;jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0079_eq_0306.png\" /&gt; &lt;jats:tex-math&gt;{mathrm{SU}((n,1),mathbb{C})}&lt;/jats:tex-math&gt; &lt;/jats:alternatives&gt; &lt;/jats:inline-formula&gt;. The main result of the article is the following result. Let &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"&gt; &lt;m:mrow&gt; &lt;m:mi mathvariant=\"normal\"&gt;Γ&lt;/m:mi&gt; &lt;m:mo&gt;⊂&lt;/m:mo&gt; &lt;m:mrow&gt; &lt;m:mi&gt;SU&lt;/m:mi&gt; &lt;m:mo&gt;⁢&lt;/m:mo&gt; &lt;m:mrow&gt; &lt;m:mo stretchy=\"false\"&gt;(&lt;/m:mo&gt; &lt;m:mrow&gt; &lt;m:mo stretchy=\"false\"&gt;(&lt;/m:mo&gt; &lt;m:mn&gt;2&lt;/m:mn&gt; &lt;m:mo&gt;,&lt;/m:mo&gt; &lt;m:mn&gt;1&lt;/m:mn&gt; &lt;m:mo stretchy=\"false\"&gt;)&lt;/m:mo&gt; &lt;/m:mrow&gt; &lt;m:mo&gt;,&lt;/m:mo&gt; &lt;m:msub&gt; &lt;m:mi mathvariant=\"script\"&gt;𝒪&lt;/m:mi&gt; &lt;m:mi&gt;K&lt;/m:mi&gt; &lt;/m:msub&gt; &lt;m:mo stretchy=\"false\"&gt;)&lt;/m:mo&gt; &lt;/m:mrow&gt; &lt;/m:mrow&gt; &lt;/m:mrow&gt; &lt;/m:math&gt; &lt;jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0079_eq_0229.png\" /&gt; &lt;jats:tex-math&gt;{Gammasubsetmathrm{SU}((2,1),mathcal{O}_{K})}&lt;/jats:tex-math&gt; &lt;/jats:alternatives&gt; &lt;/jats:inline-formula&gt; be a torsion-free subgroup of finite index, where &lt;jats:italic&gt;K&lt;/jats:italic&gt; is a totally imaginary field. Let &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"&gt; &lt;m:msubsup&gt; &lt;m:mi mathvariant=\"script\"&gt;ℬ&lt;/m:mi&gt; &lt;m:mi mathvariant=\"normal\"&gt;Γ&lt;/m:mi&gt; &lt;m:mi&gt;k&lt;/m:mi&gt; &lt;/m:msubsup&gt; &lt;/m:math&gt; &lt;jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0079_eq_0408.png\" /&gt; &lt;jats:tex-math&gt;{{{mathcal{B}_{Gamma}^{k}}}}&lt;/jats:tex-math&gt; &lt;/jats:alternatives&gt; &lt;/jats:inline-formula&gt; denote the Bergman kernel associated to the &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"&gt; &lt;m:mrow&gt; &lt;m:msub&gt; &lt;m:mi mathvariant=\"script\"&gt;𝒮&lt;/m:mi&gt; &lt;m:mi&gt;k&lt;/m:mi&gt; &lt;/m:msub&gt; &lt;m:mo&gt;⁢&lt;/m:mo&gt; &lt;m:mrow&gt; &lt;m:mo stretchy=\"false\"&gt;(&lt;/m:mo&gt; &lt;m:mi mathvariant=\"normal\"&gt;Γ&lt;/m:mi&gt; &lt;m:mo stretchy=\"false\"&gt;)&lt;/m:mo&gt; &lt;/m:mrow&gt; &lt;/m:mrow&gt; &lt;/m:math&gt; &lt;jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:h","PeriodicalId":12433,"journal":{"name":"Forum Mathematicum","volume":"3 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140299677","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}
引用次数: 0
Triangles with one fixed side–length, a Furstenberg-type problem, and incidences in finite vector spaces 具有一个固定边长的三角形、Furstenberg 型问题和有限向量空间中的事件
IF 0.8 3区 数学 Q1 MATHEMATICS Pub Date : 2024-03-25 DOI: 10.1515/forum-2023-0470
Thang Pham
The first goal of this paper is to prove a sharp condition to guarantee of having a positive proportion of all congruence classes of triangles in given sets in <jats:inline-formula> <jats:alternatives> <m:math xmlns:m="http://www.w3.org/1998/Math/MathML"> <m:msubsup> <m:mi>𝔽</m:mi> <m:mi>q</m:mi> <m:mn>2</m:mn> </m:msubsup> </m:math> <jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="graphic/j_forum-2023-0470_eq_0275.png" /> <jats:tex-math>{mathbb{F}_{q}^{2}}</jats:tex-math> </jats:alternatives> </jats:inline-formula>. More precisely, for <jats:inline-formula> <jats:alternatives> <m:math xmlns:m="http://www.w3.org/1998/Math/MathML"> <m:mrow> <m:mrow> <m:mi>A</m:mi> <m:mo>,</m:mo> <m:mi>B</m:mi> <m:mo>,</m:mo> <m:mi>C</m:mi> </m:mrow> <m:mo>⊂</m:mo> <m:msubsup> <m:mi>𝔽</m:mi> <m:mi>q</m:mi> <m:mn>2</m:mn> </m:msubsup> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="graphic/j_forum-2023-0470_eq_0164.png" /> <jats:tex-math>{A,B,Csubsetmathbb{F}_{q}^{2}}</jats:tex-math> </jats:alternatives> </jats:inline-formula>, if <jats:inline-formula> <jats:alternatives> <m:math xmlns:m="http://www.w3.org/1998/Math/MathML"> <m:mrow> <m:mrow> <m:mrow> <m:mo stretchy="false">|</m:mo> <m:mi>A</m:mi> <m:mo stretchy="false">|</m:mo> </m:mrow> <m:mo>⁢</m:mo> <m:mrow> <m:mo stretchy="false">|</m:mo> <m:mi>B</m:mi> <m:mo stretchy="false">|</m:mo> </m:mrow> <m:mo>⁢</m:mo> <m:msup> <m:mrow> <m:mo stretchy="false">|</m:mo> <m:mi>C</m:mi> <m:mo stretchy="false">|</m:mo> </m:mrow> <m:mfrac> <m:mn>1</m:mn> <m:mn>2</m:mn> </m:mfrac> </m:msup> </m:mrow> <m:mo>≫</m:mo> <m:msup> <m:mi>q</m:mi> <m:mn>4</m:mn> </m:msup> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="graphic/j_forum-2023-0470_eq_0450.png" /> <jats:tex-math>{|A||B||C|^{frac{1}{2}}gg q^{4}}</jats:tex-math> </jats:alternatives> </jats:inline-formula>, then for any <jats:inline-formula> <jats:alternatives> <m:math xmlns:m="http://www.w3.org/1998/Math/MathML"> <m:mrow> <m:mi>λ</m:mi> <m:mo>∈</m:mo> <m:mrow> <m:msub> <m:mi>𝔽</m:mi> <m:mi>q</m:mi> </m:msub> <m:mo>∖</m:mo> <m:mrow> <m:mo stretchy="false">{</m:mo> <m:mn>0</m:mn> <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-2023-0470_eq_0267.png" /> <jats:tex-math>{lambdainmathbb{F}_{q}setminus{0}}</jats:tex-math> </jats:alternatives> </jats:inline-formula>, the number of congruence classes of triangles with vertices in <jats:inline-formula> <jats:alternatives> <m:math xmlns:m="http://www.w3.org/1998/Math/MathML"> <m:mrow> <m:mi>A</m:mi> <m:mo>×</m:mo> <m:mi>B</m:mi> <m:mo>×</m:mo> <m:mi>C</m:mi> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="graphic/j_forum-2023-0470_eq_0174.png" /> <jats:tex-math>{Atimes Btimes C}</jats:tex-math> </jats:alternatives> </jats:inline-formula> and one side-l
本文的第一个目标是证明一个尖锐的条件,以保证在𝔽 q 2 {mathbb{F}_{q}^{2}} 中给定集合中所有全等类三角形的比例为正。 .更确切地说,对于 A , B , C ⊂ 𝔽 q 2 {A,B,Csubsetmathbb{F}_{q}^{2}} . 如果 | A | | B | | C | 1 2 ≫ q 4 {|A||B||C|^{frac{1}{2}}gg q^{4}} ,则 则对于任意 λ∈ 𝔽 q ∖ { 0 } {lambdainmathbb{F}_{q}setminus{0}} ,顶点在 A × B × C {Atimes Btimes C} 中且边长为 λ 的三角形的全等类的数目至少为 ≫ q 2 {gg q^{2}} 。 .在更高维度中,我们得到了 k-simplex 的类似结果,但条件稍强。与文献中著名的 L 2 {L^{2}} 方法相比,我们的方法在条件和结论上都提供了更好的结果。当 A = B = C {A=B=C} 时 本文的第二个目标是对 Bennett、Hart、Iosevich、Pakianathan 和 Rudnev (2017) 以及 McDonald (2020) 提出的关于单纯形分布的当前最佳结果给出新的统一证明。本文的第三个目标是研究与一组刚性运动相关的 Furstenberg 型问题。我们证明的主要内容是点与刚性运动之间的入射界限。大集合的入射边界由作者和 Semin Yoo (2023) 提出,而小集合的边界将通过使用 Kollár (2015) 提出的𝔽 q 3 {mathbb{F}_{q}^{3}} 中的点线入射边界来证明。
{"title":"Triangles with one fixed side–length, a Furstenberg-type problem, and incidences in finite vector spaces","authors":"Thang Pham","doi":"10.1515/forum-2023-0470","DOIUrl":"https://doi.org/10.1515/forum-2023-0470","url":null,"abstract":"The first goal of this paper is to prove a sharp condition to guarantee of having a positive proportion of all congruence classes of triangles in given sets in &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"&gt; &lt;m:msubsup&gt; &lt;m:mi&gt;𝔽&lt;/m:mi&gt; &lt;m:mi&gt;q&lt;/m:mi&gt; &lt;m:mn&gt;2&lt;/m:mn&gt; &lt;/m:msubsup&gt; &lt;/m:math&gt; &lt;jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0470_eq_0275.png\" /&gt; &lt;jats:tex-math&gt;{mathbb{F}_{q}^{2}}&lt;/jats:tex-math&gt; &lt;/jats:alternatives&gt; &lt;/jats:inline-formula&gt;. More precisely, for &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"&gt; &lt;m:mrow&gt; &lt;m:mrow&gt; &lt;m:mi&gt;A&lt;/m:mi&gt; &lt;m:mo&gt;,&lt;/m:mo&gt; &lt;m:mi&gt;B&lt;/m:mi&gt; &lt;m:mo&gt;,&lt;/m:mo&gt; &lt;m:mi&gt;C&lt;/m:mi&gt; &lt;/m:mrow&gt; &lt;m:mo&gt;⊂&lt;/m:mo&gt; &lt;m:msubsup&gt; &lt;m:mi&gt;𝔽&lt;/m:mi&gt; &lt;m:mi&gt;q&lt;/m:mi&gt; &lt;m:mn&gt;2&lt;/m:mn&gt; &lt;/m:msubsup&gt; &lt;/m:mrow&gt; &lt;/m:math&gt; &lt;jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0470_eq_0164.png\" /&gt; &lt;jats:tex-math&gt;{A,B,Csubsetmathbb{F}_{q}^{2}}&lt;/jats:tex-math&gt; &lt;/jats:alternatives&gt; &lt;/jats:inline-formula&gt;, if &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"&gt; &lt;m:mrow&gt; &lt;m:mrow&gt; &lt;m:mrow&gt; &lt;m:mo stretchy=\"false\"&gt;|&lt;/m:mo&gt; &lt;m:mi&gt;A&lt;/m:mi&gt; &lt;m:mo stretchy=\"false\"&gt;|&lt;/m:mo&gt; &lt;/m:mrow&gt; &lt;m:mo&gt;⁢&lt;/m:mo&gt; &lt;m:mrow&gt; &lt;m:mo stretchy=\"false\"&gt;|&lt;/m:mo&gt; &lt;m:mi&gt;B&lt;/m:mi&gt; &lt;m:mo stretchy=\"false\"&gt;|&lt;/m:mo&gt; &lt;/m:mrow&gt; &lt;m:mo&gt;⁢&lt;/m:mo&gt; &lt;m:msup&gt; &lt;m:mrow&gt; &lt;m:mo stretchy=\"false\"&gt;|&lt;/m:mo&gt; &lt;m:mi&gt;C&lt;/m:mi&gt; &lt;m:mo stretchy=\"false\"&gt;|&lt;/m:mo&gt; &lt;/m:mrow&gt; &lt;m:mfrac&gt; &lt;m:mn&gt;1&lt;/m:mn&gt; &lt;m:mn&gt;2&lt;/m:mn&gt; &lt;/m:mfrac&gt; &lt;/m:msup&gt; &lt;/m:mrow&gt; &lt;m:mo&gt;≫&lt;/m:mo&gt; &lt;m:msup&gt; &lt;m:mi&gt;q&lt;/m:mi&gt; &lt;m:mn&gt;4&lt;/m:mn&gt; &lt;/m:msup&gt; &lt;/m:mrow&gt; &lt;/m:math&gt; &lt;jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0470_eq_0450.png\" /&gt; &lt;jats:tex-math&gt;{|A||B||C|^{frac{1}{2}}gg q^{4}}&lt;/jats:tex-math&gt; &lt;/jats:alternatives&gt; &lt;/jats:inline-formula&gt;, then for any &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"&gt; &lt;m:mrow&gt; &lt;m:mi&gt;λ&lt;/m:mi&gt; &lt;m:mo&gt;∈&lt;/m:mo&gt; &lt;m:mrow&gt; &lt;m:msub&gt; &lt;m:mi&gt;𝔽&lt;/m:mi&gt; &lt;m:mi&gt;q&lt;/m:mi&gt; &lt;/m:msub&gt; &lt;m:mo&gt;∖&lt;/m:mo&gt; &lt;m:mrow&gt; &lt;m:mo stretchy=\"false\"&gt;{&lt;/m:mo&gt; &lt;m:mn&gt;0&lt;/m:mn&gt; &lt;m:mo stretchy=\"false\"&gt;}&lt;/m:mo&gt; &lt;/m:mrow&gt; &lt;/m:mrow&gt; &lt;/m:mrow&gt; &lt;/m:math&gt; &lt;jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0470_eq_0267.png\" /&gt; &lt;jats:tex-math&gt;{lambdainmathbb{F}_{q}setminus{0}}&lt;/jats:tex-math&gt; &lt;/jats:alternatives&gt; &lt;/jats:inline-formula&gt;, the number of congruence classes of triangles with vertices in &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"&gt; &lt;m:mrow&gt; &lt;m:mi&gt;A&lt;/m:mi&gt; &lt;m:mo&gt;×&lt;/m:mo&gt; &lt;m:mi&gt;B&lt;/m:mi&gt; &lt;m:mo&gt;×&lt;/m:mo&gt; &lt;m:mi&gt;C&lt;/m:mi&gt; &lt;/m:mrow&gt; &lt;/m:math&gt; &lt;jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0470_eq_0174.png\" /&gt; &lt;jats:tex-math&gt;{Atimes Btimes C}&lt;/jats:tex-math&gt; &lt;/jats:alternatives&gt; &lt;/jats:inline-formula&gt; and one side-l","PeriodicalId":12433,"journal":{"name":"Forum Mathematicum","volume":"2016 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140299684","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}
引用次数: 0
期刊
Forum Mathematicum
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1