Pub Date : 2024-11-22DOI: 10.1016/j.jnt.2024.09.008
Jonathan Love
Given , we consider the number of rational points on the genus one curve We prove that the set of η for which has density zero, and that if a rational point exists, then is infinite unless a certain explicit polynomial in vanishes.
Curves of the form naturally occur in the study of configurations of points in with rational distances between them. As one example demonstrating this framework, we prove that if a line through the origin in passes through a rational point on the unit circle, then it contains a dense set of points P such that the distances from P to each of the three points , , and are all rational. We also prove some results regarding whether a rational number can be expressed as a sum or product of slopes of rational right triangles.
{"title":"Rational configuration problems and a family of curves","authors":"Jonathan Love","doi":"10.1016/j.jnt.2024.09.008","DOIUrl":"10.1016/j.jnt.2024.09.008","url":null,"abstract":"<div><div>Given <figure><img></figure>, we consider the number of rational points on the genus one curve<span><span><span><math><msub><mrow><mi>H</mi></mrow><mrow><mi>η</mi></mrow></msub><mo>:</mo><msup><mrow><mi>y</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>=</mo><msup><mrow><mo>(</mo><mi>a</mi><mo>(</mo><mn>1</mn><mo>−</mo><msup><mrow><mi>x</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>)</mo><mo>+</mo><mi>b</mi><mo>(</mo><mn>2</mn><mi>x</mi><mo>)</mo><mo>)</mo></mrow><mrow><mn>2</mn></mrow></msup><mo>+</mo><msup><mrow><mo>(</mo><mi>c</mi><mo>(</mo><mn>1</mn><mo>−</mo><msup><mrow><mi>x</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>)</mo><mo>+</mo><mi>d</mi><mo>(</mo><mn>2</mn><mi>x</mi><mo>)</mo><mo>)</mo></mrow><mrow><mn>2</mn></mrow></msup><mo>.</mo></math></span></span></span> We prove that the set of <em>η</em> for which <span><math><msub><mrow><mi>H</mi></mrow><mrow><mi>η</mi></mrow></msub><mo>(</mo><mi>Q</mi><mo>)</mo><mo>≠</mo><mo>∅</mo></math></span> has density zero, and that if a rational point <span><math><mo>(</mo><msub><mrow><mi>x</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>,</mo><msub><mrow><mi>y</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>)</mo><mo>∈</mo><msub><mrow><mi>H</mi></mrow><mrow><mi>η</mi></mrow></msub><mo>(</mo><mi>Q</mi><mo>)</mo></math></span> exists, then <span><math><msub><mrow><mi>H</mi></mrow><mrow><mi>η</mi></mrow></msub><mo>(</mo><mi>Q</mi><mo>)</mo></math></span> is infinite unless a certain explicit polynomial in <span><math><mi>a</mi><mo>,</mo><mi>b</mi><mo>,</mo><mi>c</mi><mo>,</mo><mi>d</mi><mo>,</mo><msub><mrow><mi>x</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>,</mo><msub><mrow><mi>y</mi></mrow><mrow><mn>0</mn></mrow></msub></math></span> vanishes.</div><div>Curves of the form <span><math><msub><mrow><mi>H</mi></mrow><mrow><mi>η</mi></mrow></msub></math></span> naturally occur in the study of configurations of points in <span><math><msup><mrow><mi>R</mi></mrow><mrow><mi>n</mi></mrow></msup></math></span> with rational distances between them. As one example demonstrating this framework, we prove that if a line through the origin in <span><math><msup><mrow><mi>R</mi></mrow><mrow><mn>2</mn></mrow></msup></math></span> passes through a rational point on the unit circle, then it contains a dense set of points <em>P</em> such that the distances from <em>P</em> to each of the three points <span><math><mo>(</mo><mn>0</mn><mo>,</mo><mn>0</mn><mo>)</mo></math></span>, <span><math><mo>(</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>)</mo></math></span>, and <span><math><mo>(</mo><mn>1</mn><mo>,</mo><mn>1</mn><mo>)</mo></math></span> are all rational. We also prove some results regarding whether a rational number can be expressed as a sum or product of slopes of rational right triangles.</div></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":"269 ","pages":"Pages 370-396"},"PeriodicalIF":0.6,"publicationDate":"2024-11-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142744087","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-11-22DOI: 10.1016/j.jnt.2024.09.013
Kazuki Morimoto
In this paper, we prove the fundamental properties of gamma factors defined by Rankin-Selberg integrals of Shimura type for pairs of generic representations of and for a local field F of characteristic zero and a quadratic extension E of F. We also prove similar results for pairs of generic representations of and . As a corollary, we prove that the gamma factors arising from Langlands–Shahidi method and our gamma factors coincide.
{"title":"On gamma factors of Rankin–Selberg integrals for U2ℓ × ResE/FGLn","authors":"Kazuki Morimoto","doi":"10.1016/j.jnt.2024.09.013","DOIUrl":"10.1016/j.jnt.2024.09.013","url":null,"abstract":"<div><div>In this paper, we prove the fundamental properties of gamma factors defined by Rankin-Selberg integrals of Shimura type for pairs of generic representations <span><math><mo>(</mo><mi>π</mi><mo>,</mo><mi>τ</mi><mo>)</mo></math></span> of <span><math><msub><mrow><mi>U</mi></mrow><mrow><mn>2</mn><mi>ℓ</mi></mrow></msub><mo>(</mo><mi>F</mi><mo>)</mo></math></span> and <span><math><msub><mrow><mi>GL</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>(</mo><mi>E</mi><mo>)</mo></math></span> for a local field <em>F</em> of characteristic zero and a quadratic extension <em>E</em> of <em>F</em>. We also prove similar results for pairs of generic representations <span><math><mo>(</mo><mi>π</mi><mo>,</mo><msub><mrow><mi>τ</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>⊗</mo><msub><mrow><mi>τ</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>)</mo></math></span> of <span><math><msub><mrow><mi>GL</mi></mrow><mrow><mn>2</mn><mi>ℓ</mi></mrow></msub><mo>(</mo><mi>F</mi><mo>)</mo></math></span> and <span><math><msub><mrow><mi>GL</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>(</mo><mi>F</mi><mo>)</mo><mo>×</mo><msub><mrow><mi>GL</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>(</mo><mi>F</mi><mo>)</mo></math></span>. As a corollary, we prove that the gamma factors arising from Langlands–Shahidi method and our gamma factors coincide.</div></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":"269 ","pages":"Pages 203-246"},"PeriodicalIF":0.6,"publicationDate":"2024-11-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142744090","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}
Pub Date : 2024-11-22DOI: 10.1016/j.jnt.2024.10.004
Jonathan Jenvrin
We study the height of generators of Galois extensions of the rationals having the alternating group as Galois group. We prove that if such generators are obtained from certain, albeit classical, constructions, their height tends to infinity as n increases. This provides an analogue of a result by Amoroso, originally established for the symmetric group.
{"title":"On the height of some generators of Galois extensions with big Galois group","authors":"Jonathan Jenvrin","doi":"10.1016/j.jnt.2024.10.004","DOIUrl":"10.1016/j.jnt.2024.10.004","url":null,"abstract":"<div><div>We study the height of generators of Galois extensions of the rationals having the alternating group <span><math><msub><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> as Galois group. We prove that if such generators are obtained from certain, albeit classical, constructions, their height tends to infinity as <em>n</em> increases. This provides an analogue of a result by Amoroso, originally established for the symmetric group.</div></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":"269 ","pages":"Pages 78-105"},"PeriodicalIF":0.6,"publicationDate":"2024-11-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142744205","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}
Pub Date : 2024-11-22DOI: 10.1016/j.jnt.2024.10.010
Joshua Drewitt , Joshua Pimm
We study real-analytic modular forms on congruence subgroups of the type . We examine their properties and discuss examples, such as real-analytic Eisenstein series and modular iterated integrals. We also associate an L-series to these forms and prove its functional equation. For the L-series of a special class of forms, which includes length-one modular iterated integrals, we establish a converse theorem.
{"title":"Real-analytic modular forms for Γ0(N) and their L-series","authors":"Joshua Drewitt , Joshua Pimm","doi":"10.1016/j.jnt.2024.10.010","DOIUrl":"10.1016/j.jnt.2024.10.010","url":null,"abstract":"<div><div>We study real-analytic modular forms on congruence subgroups of the type <span><math><msub><mrow><mi>Γ</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>(</mo><mi>N</mi><mo>)</mo></math></span>. We examine their properties and discuss examples, such as real-analytic Eisenstein series and modular iterated integrals. We also associate an <em>L</em>-series to these forms and prove its functional equation. For the <em>L</em>-series of a special class of forms, which includes length-one modular iterated integrals, we establish a converse theorem.</div></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":"271 ","pages":"Pages 1-32"},"PeriodicalIF":0.6,"publicationDate":"2024-11-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143128939","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}
Pub Date : 2024-11-22DOI: 10.1016/j.jnt.2024.09.011
Annika Burmester
We present the τ-invariant balanced quasi-shuffle algebra , whose elements formalize (combinatorial) multiple Eisenstein series as well as multiple q-zeta values. In particular, has natural maps into these two algebras, and we expect these maps to be isomorphisms. Racinet studied the algebra of formal multiple zeta values by examining the corresponding affine scheme DM. Similarly, we present the affine scheme BM corresponding to the algebra . We show that Racinet's affine scheme DM embeds into our affine scheme BM. This leads to a projection from the algebra onto . Via the above natural maps, this projection corresponds to extracting the constant terms of multiple Eisenstein series or the limit of multiple q-zeta values.
{"title":"A generalization of formal multiple zeta values related to multiple Eisenstein series and multiple q-zeta values","authors":"Annika Burmester","doi":"10.1016/j.jnt.2024.09.011","DOIUrl":"10.1016/j.jnt.2024.09.011","url":null,"abstract":"<div><div>We present the <em>τ</em>-invariant balanced quasi-shuffle algebra <span><math><msup><mrow><mi>G</mi></mrow><mrow><mi>f</mi></mrow></msup></math></span>, whose elements formalize (combinatorial) multiple Eisenstein series as well as multiple <em>q</em>-zeta values. In particular, <span><math><msup><mrow><mi>G</mi></mrow><mrow><mi>f</mi></mrow></msup></math></span> has natural maps into these two algebras, and we expect these maps to be isomorphisms. Racinet studied the algebra <span><math><msup><mrow><mi>Z</mi></mrow><mrow><mi>f</mi></mrow></msup></math></span> of formal multiple zeta values by examining the corresponding affine scheme DM. Similarly, we present the affine scheme BM corresponding to the algebra <span><math><msup><mrow><mi>G</mi></mrow><mrow><mi>f</mi></mrow></msup></math></span>. We show that Racinet's affine scheme DM embeds into our affine scheme BM. This leads to a projection from the algebra <span><math><msup><mrow><mi>G</mi></mrow><mrow><mi>f</mi></mrow></msup></math></span> onto <span><math><msup><mrow><mi>Z</mi></mrow><mrow><mi>f</mi></mrow></msup></math></span>. Via the above natural maps, this projection corresponds to extracting the constant terms of multiple Eisenstein series or the limit <span><math><mi>q</mi><mo>→</mo><mn>1</mn></math></span> of multiple <em>q</em>-zeta values.</div></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":"269 ","pages":"Pages 106-137"},"PeriodicalIF":0.6,"publicationDate":"2024-11-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142744128","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-11-21DOI: 10.1016/j.jnt.2024.09.009
Ikuya Kaneko , Shin-ya Koyama
We establish the quantum unique ergodicity conjecture for Eisenstein series over function fields in the level aspect. Adapting the machinery of Luo and Sarnak (1995), we employ the spectral decomposition and handle the cuspidal and Eisenstein contributions separately.
{"title":"Quantum unique ergodicity for Eisenstein series on Bruhat–Tits buildings","authors":"Ikuya Kaneko , Shin-ya Koyama","doi":"10.1016/j.jnt.2024.09.009","DOIUrl":"10.1016/j.jnt.2024.09.009","url":null,"abstract":"<div><div>We establish the quantum unique ergodicity conjecture for Eisenstein series over function fields in the level aspect. Adapting the machinery of Luo and Sarnak (1995), we employ the spectral decomposition and handle the cuspidal and Eisenstein contributions separately.</div></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":"269 ","pages":"Pages 440-459"},"PeriodicalIF":0.6,"publicationDate":"2024-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143133638","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}
Pub Date : 2024-11-20DOI: 10.1016/j.jnt.2024.09.012
Minsik Han
In this paper, we study the dynamical uniform boundedness conjecture over a family of rational maps with certain nontrivial automorphisms. Specifically, we consider a family of rational maps of an arbitrary degree whose automorphism group contains the cyclic group of order d. We prove that a subfamily of this family satisfies the dynamical uniform boundedness conjecture.
{"title":"Uniform boundedness on rational maps with automorphisms","authors":"Minsik Han","doi":"10.1016/j.jnt.2024.09.012","DOIUrl":"10.1016/j.jnt.2024.09.012","url":null,"abstract":"<div><div>In this paper, we study the dynamical uniform boundedness conjecture over a family of rational maps with certain nontrivial automorphisms. Specifically, we consider a family of rational maps of an arbitrary degree <span><math><mi>d</mi><mo>≥</mo><mn>2</mn></math></span> whose automorphism group contains the cyclic group of order <em>d</em>. We prove that a subfamily of this family satisfies the dynamical uniform boundedness conjecture.</div></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":"269 ","pages":"Pages 138-156"},"PeriodicalIF":0.6,"publicationDate":"2024-11-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142744127","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}
Pub Date : 2024-11-20DOI: 10.1016/j.jnt.2024.10.009
Ilaria Viglino
We study the distributions of the splitting primes in certain families of number fields. The first and main example is the family of polynomials monic of degree n with height less or equal then N, and then let N go to infinity. We prove an average version of the Chebotarev Density Theorem for this family. In particular, this gives a Central Limit Theorem for the number of primes with given splitting type in some ranges. As an application, we deduce some estimates for the ℓ-torsion in the class groups and for the average of ramified primes.
{"title":"Arithmetic statistics of families of integer Sn-polynomials and application to class group torsion","authors":"Ilaria Viglino","doi":"10.1016/j.jnt.2024.10.009","DOIUrl":"10.1016/j.jnt.2024.10.009","url":null,"abstract":"<div><div>We study the distributions of the splitting primes in certain families of number fields. The first and main example is the family <span><math><msub><mrow><mi>P</mi></mrow><mrow><mi>n</mi><mo>,</mo><mi>N</mi></mrow></msub></math></span> of polynomials <span><math><mi>f</mi><mo>∈</mo><mi>Z</mi><mo>[</mo><mi>X</mi><mo>]</mo></math></span> monic of degree <em>n</em> with height less or equal then <em>N</em>, and then let <em>N</em> go to infinity. We prove an average version of the Chebotarev Density Theorem for this family. In particular, this gives a Central Limit Theorem for the number of primes with given splitting type in some ranges. As an application, we deduce some estimates for the <em>ℓ</em>-torsion in the class groups and for the average of ramified primes.</div></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":"271 ","pages":"Pages 33-65"},"PeriodicalIF":0.6,"publicationDate":"2024-11-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143128940","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-11-20DOI: 10.1016/j.jnt.2024.08.008
Khai-Hoan Nguyen-Dang
Let p be a rational prime number, let K denote a finite extension of , some fixed algebraic closure of K. Let be the absolute Galois group of K and let be its inertial subgroup. Let A be an Abelian variety defined over K, with semi-stable reduction. In this note, we give a criterion for which , where is the p-adic Tate module associated to A.
{"title":"Galois actions on Tate modules of Abelian varieties with semi-stable reduction","authors":"Khai-Hoan Nguyen-Dang","doi":"10.1016/j.jnt.2024.08.008","DOIUrl":"10.1016/j.jnt.2024.08.008","url":null,"abstract":"<div><div>Let <em>p</em> be a rational prime number, let <em>K</em> denote a finite extension of <span><math><msub><mrow><mi>Q</mi></mrow><mrow><mi>p</mi></mrow></msub></math></span>, <span><math><mover><mrow><mi>K</mi></mrow><mo>‾</mo></mover></math></span> some fixed algebraic closure of <em>K</em>. Let <span><math><msub><mrow><mi>G</mi></mrow><mrow><mi>K</mi></mrow></msub></math></span> be the absolute Galois group of <em>K</em> and let <span><math><msub><mrow><mi>I</mi></mrow><mrow><mi>K</mi></mrow></msub><mo>⊂</mo><msub><mrow><mi>G</mi></mrow><mrow><mi>K</mi></mrow></msub></math></span> be its inertial subgroup. Let <em>A</em> be an Abelian variety defined over <em>K</em>, with semi-stable reduction. In this note, we give a criterion for which <span><math><msub><mrow><mi>V</mi></mrow><mrow><mi>p</mi></mrow></msub><msup><mrow><mo>(</mo><mi>A</mi><mo>)</mo></mrow><mrow><msub><mrow><mi>I</mi></mrow><mrow><mi>K</mi></mrow></msub></mrow></msup><mo>=</mo><mn>0</mn></math></span>, where <span><math><msub><mrow><mi>V</mi></mrow><mrow><mi>p</mi></mrow></msub><mo>(</mo><mi>A</mi><mo>)</mo></math></span> is the <em>p</em>-adic Tate module associated to <em>A</em>.</div></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":"269 ","pages":"Pages 247-259"},"PeriodicalIF":0.6,"publicationDate":"2024-11-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142744085","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}
Pub Date : 2024-11-20DOI: 10.1016/j.jnt.2024.10.005
Saad El Boukhari
Let be a finite abelian extension of number fields of Galois group G with k imaginary quadratic. Let be a rational integer, and for a certain finite set S of places of k, let be the ring of S-integers of K. We use generalized Stark elements to construct first order Stickelberger modules in odd higher algebraic K-groups of . We show that the Fitting ideal (resp. index) of these modules inside the corresponding odd K-groups is exactly the Fitting ideal (resp. cardinality) of the even higher algebraic K-group .
{"title":"First order Stickelberger modules over imaginary quadratic fields","authors":"Saad El Boukhari","doi":"10.1016/j.jnt.2024.10.005","DOIUrl":"10.1016/j.jnt.2024.10.005","url":null,"abstract":"<div><div>Let <span><math><mi>K</mi><mo>/</mo><mi>k</mi></math></span> be a finite abelian extension of number fields of Galois group <em>G</em> with <em>k</em> imaginary quadratic. Let <span><math><mi>n</mi><mo>≥</mo><mn>2</mn></math></span> be a rational integer, and for a certain finite set <em>S</em> of places of <em>k</em>, let <span><math><msub><mrow><mi>O</mi></mrow><mrow><mi>K</mi><mo>,</mo><mi>S</mi></mrow></msub></math></span> be the ring of <em>S</em>-integers of <em>K</em>. We use generalized Stark elements to construct first order Stickelberger modules in odd higher algebraic <em>K</em>-groups of <span><math><msub><mrow><mi>O</mi></mrow><mrow><mi>K</mi><mo>,</mo><mi>S</mi></mrow></msub></math></span>. We show that the Fitting ideal (resp. index) of these modules inside the corresponding odd <em>K</em>-groups is exactly the Fitting ideal (resp. cardinality) of the even higher algebraic <em>K</em>-group <span><math><msub><mrow><mi>K</mi></mrow><mrow><mn>2</mn><mi>n</mi><mo>−</mo><mn>2</mn></mrow></msub><mo>(</mo><msub><mrow><mi>O</mi></mrow><mrow><mi>K</mi><mo>,</mo><mi>S</mi></mrow></msub><mo>)</mo></math></span>.</div></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":"269 ","pages":"Pages 1-16"},"PeriodicalIF":0.6,"publicationDate":"2024-11-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142744126","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}