Chern classes with modulus and higher structures of algebraic cycles

数体の素元の分布に関する定理である「三井の素数定理」（1957年）をやや精密化したものを証明してプレプリントにまとめた。素数出現のパターンに関するGreen--Tao--Zieglerの定理を数体に拡張するために、この結果が必要と想定している。数体の場合のGreen--Tao--Ziegler (以下GTZ) の定理の応用として、有理点に関するHasse原理が成り立つような新たなクラスの多様体を与えることができる見込みが強い。Serre, Swinnerton-Dyer, Colliot-Theleneらが過去に、Schinzel仮説という証明できる見込みのない（双子予想をはるかに一般化するような）予想に基づいてこの種の仕事をしている。2014年の論文でHarpaz--Skorobogatov--Wittenbergという3人組がGTZ定理を使って、有理数係数の場合に限り、無条件で成り立つ定理を証明するという快挙を成し遂げている。有理数係数の場合と異なり、一般の数体の整数環は、単なるアーベル群として見ただけでも階数が2以上であり、環としては単項イデアル整域でないなど、複雑であるため、GTZ定理を数体の場合にどのような形で証明するかという点に選択の余地がある。本応用について考察を深めるうち、数体の場合のGTZ定理はかなり柔軟な形で証明する必要がありそうだと分かった。数論的興味から自然と思われる定式化のGTZ定理の証明をしっかり完成させたあとで、柔軟なバージョンの考察を深める方向に向かうべきだと今は考えている。そのほかモチーフ・代数幾何関連の研究集会に参加して、導来幾何・プリズムといったテクニックが本研究課題周辺でどのように応用され始めているか情報収集をおこなった。モジュラス付きモチーフの理論も混標数に拡張する試みがされていて要注目だと思った。

数体の素元の分布に関する定理である「三井の素数定理」（1957年）をやや精密化したものを証明してプレプリントにまとめた。素数出現のパターンに関するGreen--Tao--Zieglerの定理を数体に拡張するために、この結果が必要と想定している。数体の場合のGreen--Tao--Ziegler (以下GTZ) の定理の応用として、有理点に関するHasse原理が成り立つような新たなクラスの多様体を与えることができる見込みが強い。Serre, Swinnerton-Dyer, Colliot-Theleneらが過去に、Schinzel仮説という証明できる見込みのない（双子予想をはるかに一般化するような）予想に基づいてこの種の仕事をしている。2014年の論文でHarpaz--Skorobogatov--Wittenbergという3人組がGTZ定理を使って、有理数係数の場合に限り、無条件で成り立つ定理を証明するという快挙を成し遂げている。有理数係数の場合と異なり、一般の数体の整数環は、単なるアーベル群として見ただけでも階数が2以上であり、環としては単項イデアル整域でないなど、複雑であるため、GTZ定理を数体の場合にどのような形で証明するかという点に選択の余地がある。本応用について考察を深めるうち、数体の場合のGTZ定理はかなり柔軟な形で証明する必要がありそうだと分かった。数論的興味から自然と思われる定式化のGTZ定理の証明をしっかり完成させたあとで、柔軟なバージョンの考察を深める方向に向かうべきだと今は考えている。そのほかモチーフ・代数幾何関連の研究集会に参加して、導来幾何・プリズムといったテクニックが本研究課題周辺でどのように応用され始めているか情報収集をおこなった。モジュラス付きモチーフの理論も混標数に拡張する試みがされていて要注目だと思った。