Sufficient conditions for a problem of Polya

Pub Date : 2024-03-13 DOI:10.1090/proc/16826
Abhishek Bharadwaj, Aprameyo Pal, Veekesh Kumar, R. Thangadurai
{"title":"Sufficient conditions for a problem of Polya","authors":"Abhishek Bharadwaj, Aprameyo Pal, Veekesh Kumar, R. Thangadurai","doi":"10.1090/proc/16826","DOIUrl":null,"url":null,"abstract":"<p>Let <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"alpha\"> <mml:semantics> <mml:mi>α</mml:mi> <mml:annotation encoding=\"application/x-tex\">\\alpha</mml:annotation> </mml:semantics> </mml:math> </inline-formula> be a non-zero algebraic number. Let <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper K\"> <mml:semantics> <mml:mi>K</mml:mi> <mml:annotation encoding=\"application/x-tex\">K</mml:annotation> </mml:semantics> </mml:math> </inline-formula> be the Galois closure of <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"double-struck upper Q left-parenthesis alpha right-parenthesis\"> <mml:semantics> <mml:mrow> <mml:mrow> <mml:mi mathvariant=\"double-struck\">Q</mml:mi> </mml:mrow> <mml:mo stretchy=\"false\">(</mml:mo> <mml:mi>α</mml:mi> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">\\mathbb {Q}(\\alpha )</mml:annotation> </mml:semantics> </mml:math> </inline-formula> with Galois group <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper G\"> <mml:semantics> <mml:mi>G</mml:mi> <mml:annotation encoding=\"application/x-tex\">G</mml:annotation> </mml:semantics> </mml:math> </inline-formula> and <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"double-struck upper Q overbar\"> <mml:semantics> <mml:mrow> <mml:mover> <mml:mrow> <mml:mi mathvariant=\"double-struck\">Q</mml:mi> </mml:mrow> <mml:mo stretchy=\"false\">¯</mml:mo> </mml:mover> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">\\bar {\\mathbb {Q}}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> be the algebraic closure of <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"double-struck upper Q\"> <mml:semantics> <mml:mrow> <mml:mi mathvariant=\"double-struck\">Q</mml:mi> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">\\mathbb {Q}</mml:annotation> </mml:semantics> </mml:math> </inline-formula>. In this article, among the other results, we prove the following. <italic>If <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"f element-of ModifyingAbove double-struck upper Q With bar left-bracket upper G right-bracket\"> <mml:semantics> <mml:mrow> <mml:mi>f</mml:mi> <mml:mo>∈</mml:mo> <mml:mrow> <mml:mover> <mml:mrow> <mml:mi mathvariant=\"double-struck\">Q</mml:mi> </mml:mrow> <mml:mo stretchy=\"false\">¯</mml:mo> </mml:mover> </mml:mrow> <mml:mo stretchy=\"false\">[</mml:mo> <mml:mi>G</mml:mi> <mml:mo stretchy=\"false\">]</mml:mo> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">f\\in \\bar {\\mathbb {Q}}[G]</mml:annotation> </mml:semantics> </mml:math> </inline-formula> is a non-zero element of the group ring <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"ModifyingAbove double-struck upper Q With bar left-bracket upper G right-bracket\"> <mml:semantics> <mml:mrow> <mml:mrow> <mml:mover> <mml:mrow> <mml:mi mathvariant=\"double-struck\">Q</mml:mi> </mml:mrow> <mml:mo stretchy=\"false\">¯</mml:mo> </mml:mover> </mml:mrow> <mml:mo stretchy=\"false\">[</mml:mo> <mml:mi>G</mml:mi> <mml:mo stretchy=\"false\">]</mml:mo> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">\\bar {\\mathbb {Q}}[G]</mml:annotation> </mml:semantics> </mml:math> </inline-formula> and <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"alpha\"> <mml:semantics> <mml:mi>α</mml:mi> <mml:annotation encoding=\"application/x-tex\">\\alpha</mml:annotation> </mml:semantics> </mml:math> </inline-formula> is a given algebraic number such that <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"f left-parenthesis alpha Superscript n Baseline right-parenthesis\"> <mml:semantics> <mml:mrow> <mml:mi>f</mml:mi> <mml:mo stretchy=\"false\">(</mml:mo> <mml:msup> <mml:mi>α</mml:mi> <mml:mi>n</mml:mi> </mml:msup> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">f(\\alpha ^n)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> is a non-zero algebraic integer for infinitely many natural numbers <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"n\"> <mml:semantics> <mml:mi>n</mml:mi> <mml:annotation encoding=\"application/x-tex\">n</mml:annotation> </mml:semantics> </mml:math> </inline-formula>, then <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"alpha\"> <mml:semantics> <mml:mi>α</mml:mi> <mml:annotation encoding=\"application/x-tex\">\\alpha</mml:annotation> </mml:semantics> </mml:math> </inline-formula> is an algebraic integer.</italic> This result generalises the result of Polya [Rend. Circ Mat. Palermo, 40 (1915), pp. 1–16], Corvaja and Zannier [Acta Math. 193 (2004), pp. 175–191] and Philippon and Rath [J. Number Theory 219 (2021), pp. 198–211]. We also prove the analogue of this result for rational functions with algebraic coefficients. Inspired by a result of B. de Smit [J. Number Theory 45 (1993), pp. 112–116], we prove a finite version of the Polya type result for a binary recurrence sequences of non-zero algebraic numbers. In order to prove these results, we apply the techniques of Corvaja and Zannier along with the results of Kulkarni <italic>et al.</italic> [Trans. Amer. Math. Soc. 371 (2019), pp. 3787–3804], which are applications of the Schmidt subspace theorem.</p>","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1090/proc/16826","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0

Abstract

Let α \alpha be a non-zero algebraic number. Let K K be the Galois closure of Q ( α ) \mathbb {Q}(\alpha ) with Galois group G G and Q ¯ \bar {\mathbb {Q}} be the algebraic closure of Q \mathbb {Q} . In this article, among the other results, we prove the following. If f Q ¯ [ G ] f\in \bar {\mathbb {Q}}[G] is a non-zero element of the group ring Q ¯ [ G ] \bar {\mathbb {Q}}[G] and α \alpha is a given algebraic number such that f ( α n ) f(\alpha ^n) is a non-zero algebraic integer for infinitely many natural numbers n n , then α \alpha is an algebraic integer. This result generalises the result of Polya [Rend. Circ Mat. Palermo, 40 (1915), pp. 1–16], Corvaja and Zannier [Acta Math. 193 (2004), pp. 175–191] and Philippon and Rath [J. Number Theory 219 (2021), pp. 198–211]. We also prove the analogue of this result for rational functions with algebraic coefficients. Inspired by a result of B. de Smit [J. Number Theory 45 (1993), pp. 112–116], we prove a finite version of the Polya type result for a binary recurrence sequences of non-zero algebraic numbers. In order to prove these results, we apply the techniques of Corvaja and Zannier along with the results of Kulkarni et al. [Trans. Amer. Math. Soc. 371 (2019), pp. 3787–3804], which are applications of the Schmidt subspace theorem.

分享
查看原文
波利亚问题的充分条件
让 α \alpha 是一个非零代数数。让 K K 是 Q ( α ) \mathbb {Q}(\alpha ) 的伽罗瓦群 G G 的伽罗瓦封闭,Q ¯\bar {\mathbb {Q}} 是 Q \mathbb {Q} 的代数封闭。在本文中,我们证明了以下结果。如果 f∈ Q ¯ [ G ] f\in \bar {\mathbb {Q}}[G]是群环 Q ¯ [ G ] \bar {\mathbb {Q}}[G]的一个非零元素,并且 α \alpha 是一个给定的代数数,使得 f ( α n ) f(\alpha ^n) 对于无穷多个自然数 n n 是一个非零代数整数、那么 α \alpha 是一个代数整数。这一结果概括了波利亚 [Rend. Circ Mat. Palermo, 40 (1915), pp.我们还证明了这一结果对于具有代数系数的有理函数的类似结果。受 B. de Smit [J. Number Theory 45 (1993), pp.为了证明这些结果,我们应用了 Corvaja 和 Zannier 的技术以及 Kulkarni 等人的结果 [Trans. Amer. Math. Soc. 371 (2019), pp.
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信