B. Earp-Lynch, Bernadette Faye, E. Goedhart, I. Vukusic, Daniel P. Wisniewski
{"title":"On a simple quartic family of Thue equations over imaginary quadratic number fields","authors":"B. Earp-Lynch, Bernadette Faye, E. Goedhart, I. Vukusic, Daniel P. Wisniewski","doi":"10.4064/aa230329-19-6","DOIUrl":null,"url":null,"abstract":"Let $t$ be any imaginary quadratic integer with $|t|\\geq 100$. We prove that the inequality \\[ |F_t(X,Y)| = | X^4 - t X^3 Y - 6 X^2 Y^2 + t X Y^3 + Y^4 | \\leq 1 \\] has only trivial solutions $(x,y)$ in integers of the same imaginary quadratic number field as $t$. Moreover, we prove results on the inequalities $|F_t(X,Y)| \\leq C|t|$ and $|F_t(X,Y)| \\leq |t|^{2 -\\varepsilon}$. These results follow from an approximation result that is based on the hypergeometric method. The proofs in this paper require a fair amount of computations, for which the code (in Sage) is provided.","PeriodicalId":37888,"journal":{"name":"Acta Arithmetica","volume":" ","pages":""},"PeriodicalIF":0.5000,"publicationDate":"2023-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Acta Arithmetica","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.4064/aa230329-19-6","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
Let $t$ be any imaginary quadratic integer with $|t|\geq 100$. We prove that the inequality \[ |F_t(X,Y)| = | X^4 - t X^3 Y - 6 X^2 Y^2 + t X Y^3 + Y^4 | \leq 1 \] has only trivial solutions $(x,y)$ in integers of the same imaginary quadratic number field as $t$. Moreover, we prove results on the inequalities $|F_t(X,Y)| \leq C|t|$ and $|F_t(X,Y)| \leq |t|^{2 -\varepsilon}$. These results follow from an approximation result that is based on the hypergeometric method. The proofs in this paper require a fair amount of computations, for which the code (in Sage) is provided.