Additive number theory in number fields

数域中的加法数论

• 批准号: 22K13886
• 负责人: 甲斐 亘
• 金额: $ 2.25万
• 依托单位: Tohoku University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Early-Career Scientists
• 财政年份: 2022
• 资助国家: 日本
• 起止时间: 2022-04-01 至 2027-03-31
• 项目状态: 未结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-22K13886/
• 关键词: 素元; 位相群; 篩法; フーリエ解析; ゼータ関数; L関数; 数体; 組み合わせ論; 加法的整数論; Green-Taoの定理; 組合わせ論; 高階Fourier解析

数体の整数環において、有界な領域にある素元の個数を、小さな誤差内で予言する「三井の素数定理」（1957年）の精密なバージョンを証明しプレプリントにまとめた。Hecke L関数のSiegel零点も考慮して誤差の改善を図るほか応用を見据えて柔軟性を増してある。応用としては、Green-Tao-Ziegler による素数の満たす線型方程式の理論を、数体に拡張する仕事を考えている。Green-Tao-Zieglerの定理を数体に拡張するために、Green-Taoが過去に行なっていた複雑な組み合わせ論的計算を、数体でも遂行する作業に着手した。この計算が技術的には肝となる。自然数の場合と異なり、数体の文脈では、「数」と「イデアル」をきっちり区別する必要があり、同様の計算がこなせるかはアプリオリには大変不透明であるが、道筋は見えつつある。また、以下のような、ツールの点検とも言うべき作業を進めることができた。まず、Gowersノルムに関するvon Neumann定理が、値が高階でも成立することを確かめた。具体的には、同定理は整数のなすアーベル群Zに値をとるアフィン線型写像について定式化されるのが普通であるところ、一般の有限階数自由アーベル群Z^nでもしかるべき形で証明できることを確認した。また、Gowersノルムの逆定理も値がZで知られていたところ、Z^nの場合も簡単な帰着の議論で示せることを確かめた。さらに、自然数の集合Nでよく用いられるテクニックである篩法の一部が数体でも通用することを確認した。具体的には、乗法的モノイドNに同型かつ、素元の集合に全順序が入っており、この順序と整合するようなN値の乗法的なノルム写像をそなえたモノイドに対して、いわゆる「篩法の基本補題」が定式化できて成立する。

Several body の integer ring に お い て, bounded な に あ る yuan を の number, small さ な で within error to say す る "mitsui の prime number theorem" (1957) の precision な バ ー ジ ョ ン を prove し プ レ プ リ ン ト に ま と め た. Hecke number L masato の Siegel zero も consider し て error の improve を 図 る ほ か 応 with を see according to え て softness を raised し て あ る. 応 with と し て は, Green - Tao - Ziegler に よ る prime の against た す linear equations を の theory, several に company, zhang す る shi matter を exam え て い る. Green - Tao - Ziegler を の theorem for body に company, zhang す る た め に, Green - Tao が line the past に な っ て い た complex 雑 な group み close わ せ theory calculation を, several で も carries out す る assignments に approach し た. The に に liver となる of the が computing technique is calculated by <s:1> が. Natural Numbers の occasions と different な り, several body の context で は, "number" と "イ デ ア ル" を き っ ち り difference す る necessary が あ り, with others in の computing が こ な せ る か は ア プ リ オ リ に は big - opaque で あ る が, tao jin は see え つ つ あ る. Youdaoplaceholder0. Below, there are ような, また また, and ような ような ような める. Click on 検と, うべ, and を to enter める, とがで, and た. ま ず, Gowers ノ ル ム に masato す る が von Neumann theorem and numerical が higher-order で も established す る こ と を か indeed め た. Specific に は, with theorem は integer の な す ア ー ベ ル group of Z に numerical を と る ア フ ィ ン linear write like に つ い て demean さ れ る の が ordinary で あ る と こ ろ, general の limited order free ア ー ベ ル group of Z ^ n で も し か る べ き form で prove で き る こ と を confirm し た. ま た, Gowers ノ ル ム の converse theorem on も numerical が Z で know ら れ て い た と こ ろ, Z ^ n の も Jane 単 な 帰 the の comment で shown せ る こ と を か indeed め た. さ ら に, natural number N の set で よ く with い ら れ る テ ク ニ ッ ク で あ る の sieve method a number of が body で も general す る こ と を confirm し た. Specific に は, 乗 モ ノ イ ド N に type with か つ, plain yuan の collection に が into the whole order っ て お り, こ の order と integration す る よ う な N numerical の 乗 method な ノ ル ム write like を そ な え た モ ノ イ ド に し seaborne て, い わ ゆ る "sieve method の basic yue" が demean で き て established す る.

项目成果

The Green-Tao theorem for number fields (and beyond)

数域（及其他）的 Green-Tao 定理

• 发表时间: 2023
• 作者: Wataru Kai

University of Milan(イタリア)

米兰大学（意大利）