紹介した論文

1. 0:20 1. Hecke operators on symplectic surfaces and $\chi$-independence 2607.01355v1
   スクリプトを表示

   1本目は、ベン・デイヴィソンさん、リュシアン・アンネカールさん、キンジョウ・タスキさん、オリヴィエ・シフマンさん、エリック・ヴァッセロさんによる、「Hecke operators on symplectic surfaces and chi-independence」(シンプレクティック曲面上のヘッケ作用素とカイ独立性)、です。 この研究では、準射影的なシンプレクティック曲面上の一次元連接層のモジュライ空間について、チャウ多様体に関するビーピーエスコホモロジーのカイ独立性という予想を証明しています。まず、シンプレクティック多様体上の連接層のコホモロジカル・ホール代数に、バイアルジェブラという構造があることを明らかにしました。ここから導き出されるグローバルなビーピーエスリー代数が、議論の核になっています。さらに、一次元のムカイベクトルに関連するビーピーエスリー代数が、トートロジー類の部分空間と一致することを示しました。これにより、マークマンさんのトートロジー生成定理を、原始的なベクトルだけでなく任意のムカイベクトルへと拡張することに成功しています。 単に予想を証明するだけでなく、三次元のコホモロジカル・ホール代数から次元削減を通じて共積を導き出すというアプローチには、非常にダイナミックな視点を感じます。複雑な代数構造を巧みに操って、幾何学的な不変量を導き出す流れがとても鮮やかでした。
2. 1:55 2. Interpolation for rational curves with secants 2607.01432v1
   スクリプトを表示

   2本目は、アレッサンドロ・セラさんとカール・リアンさんによる、「Interpolation for rational curves with secants」(セカントを持つ有理曲線の補間)です。この論文では、射影空間の爆発において、ある線形空間に沿ったセカント条件を持つ次数ディーの有理曲線が、最大でいくつの一般点を通過できるかという問題に取り組んでいます。 研究チームは、滑らかな有理曲線を直線の集まりからなる節点曲線へと退化させる手法を用いて、法束や制限接束の分裂型を詳細に分析しました。特に、標数が2ではない場合には、ある投影列が分裂しない限り法束は一般的にバランスが良い状態になります。一方で、標数が2のときは、射影空間内の曲線からバランスの悪さが伝播するという、特有の障害が現れる点が非常に興味深いです。 また、制限接束については標数に依存せず、相対接束の傾きが射影空間の接束に比べて著しく小さくない限り、バランスが良いことが示されました。最終的に評価写像の優支配性を決定することで、通過可能な最大点数を導き出し、有限個の場合にはテヴェレフ次数を一般化してその数も計算しています。あらゆる標数における挙動を、標数0の場合に還元して捉えるアプローチには、非常に力強い一貫性を感じます。
3. 3:34 3. $\chi$-independence for K3-surfaces via $p$-adic integration 2607.01513v1
   スクリプトを表示

   3本目は、ミハエル・グロヘニヒさん、ディミトリ・ウィスさん、ポール・ジグラーさんによる、「$\chi$-independence for K3-surfaces via p-adic integration」(ピー進積分によるK3曲面のカイ・独立性)です。この論文では、K3曲面上の一次元連接層のモジュライ空間におけるBPSコホモロジーについて、ある重要な予想を証明しています。具体的には、曲線の類を固定したとき、BPSホッジ数やパーバースろ過が、オイラー標数であるカイの値に依存しないことを明らかにしました。K3曲面の場合、モジュライスタックが一般に特異点を持つため、単純な交差コホモロジーでは太刀打ちできないという非常に手強い状況でした。そこで著者たちは、ピー進積分を用いてBPS不変量を算術的な体積に結びつけるという、かなり大胆なアプローチを採っています。特に、普遍層が存在しないことによる障害を解消するために、ゲルベ補正付きの積分を定義した点は、非常に緻密な戦略だと感じます。さらに、局所的に中島クィバー多様体のように見えることを利用して、計算を既知のヒッグス束のケースまで落とし込むという構成は見事です。結果として、多くのモジュライ空間において、カイの値に関わらず構造が不変であることが証明されました。
4. 5:09 4. A note on cubical Bloch--Levine cycle complexes 2607.01540v1
   スクリプトを表示

   4本目は、ピーター・シューさんによる、「A note on cubical Bloch--Levine cycle complexes」(立方体的なブロッホ・レヴィン周期複体のノート)、です。 この論文では、もともと体の上で成り立っていた立方体的な周期複体と単体的周期複体の比較を、より一般的な離散付値環や半局所主イデアル整域の上まで拡張しています。単体的な複体は現代的なモチーフ・コホモロジーと相性がいいのですが、立方体的な複体は積の構造が自然に定義できるため、歴史的に好まれてきました。ただ、体以外のベースでこの積を定義しようとすると、特殊ファイバーでの剛性という厄介な問題が出てきます。 著者はプリズム周期という構成を用いて、これら二つの複体を結びつける二重複体を作り上げました。特に、剰余体が有限か無限かによってアプローチを使い分けている点が非常に巧妙です。無限の場合は超越拡大を用いて一般性を主張し、有限の場合はエタール的な領域拡大の塔を構築して、一度無限の場合に持ち上げてから戻すという戦略をとっています。 結果として、デデキント基底上の滑らかなスキームにおいて、立方体的な複体が正しくモチーフ・コホモロジーを計算できることが証明されました。複雑な計算を回避して、扱いやすい立方体的な視点からモチーフ的な類を構成できる道が開かれたのは、実用的な面でも嬉しい成果ですね。
5. 6:54 5. Foliated and Mather-Jacobian discrepancies via tangential arcs 2607.01809v1
   スクリプトを表示

   5本目は、マウリシオ・コレアさんによる、「Foliated and Mather-Jacobian discrepancies via tangential arcs」(接線弧による葉層構造およびマザー・ヤコビアンの不一致度)です。 この論文では、三次元多様体上の葉層構造における不一致度という、かなり専門的な概念を接線弧空間というアプローチで解析しています。もともとは、不一致度と弧空間における円柱の余次元を結びつける有名な公式を、葉層構造の世界でも作りたいという熱意から研究が始まったようです。 特に注目すべきは、複雑な葉層構造の特異点を、より次元の低い層における普通の弧空間の計算に落とし込んでいる点です。不変な分離因子という構造をうまく使い、正規化された分離導体システムを構築することで、三次元の難しい問題を、曲面上の扱いやすい計算に変換しています。 結果として、接線方向の余次元公式や、接線方向の対数正準性の判定法などが導き出されました。特異点がある場合でも対応できるマザー・ヤコビアンの精緻化まで行っているあたりに、徹底したこだわりを感じます。高度な代数幾何学の手法を駆使して、複雑な構造をシンプルに整理していく流れが見事で、非常に読み応えのある内容でした。
6. 8:28 6. Motivic Hochschild homology of mod 2 motivic cohomology over algebraically closed fields 2607.01862v1
   スクリプトを表示

   6本目は、トム・バッハマンさん、ロバート・バークルンドさん、ビョルン・イアン・ドゥンダスさん、ポール・アーネ・オストヴェールさんによる、「Motivic Hochschild homology of mod 2 motivic cohomology over algebraically closed fields」(代数閉体上のモジュロ2モティービックコホモロジーのモティービック・ホッホシールド・ホモロジー)、です。 この論文では、複素数体上のノルム付きモティービック・スペクトルの圏において、モジュロ2のモティービックコホモロジー・スペクトルと乗法的群スキームのテンソル積を計算しています。これまで、モティービック版のトポロジカル・ホッホシールド・ホモロジーを構築しようとする試みがありましたが、2ねじれ類が大量に現れてしまい、構造が非常に複雑になるという悩みがありました。そこで著者たちは、構造をより厳格にするために、ノルム付きスペクトルという枠組みを導入するというアプローチを取りました。 結果として、このテンソル積が、ある特定の次数を持つ生成元からなる自由な代数と同値であることを証明し、モティービック版のベクステッド周期性を確立しました。特に、ヴォエヴォドスキーの操作とトポロジカルな操作を組み合わせたべき操作を定義し、それらが複雑に絡み合う関係性を丁寧に解析している点に、数学的な執念のようなものを感じます。これにより、以前の計算で見られた煩雑な2ねじれ類が消え去り、非常にすっきりとした結果が得られました。モティービックな世界に周期性を持ち込んだ、非常に鮮やかな成果と言えます。
7. 10:14 7. Petersen graph and monodromy of the 27 lines on the Clebsch surface 2607.01878v1
   スクリプトを表示

   7本目は、タタガタ・バサクさんによる、「Petersen graph and monodromy of the 27 lines on the Clebsch surface」(クレブシュ曲面上の27本の直線とピーターセングラフのモノドロミー)、です。 この論文では、複素射影空間にある滑らかな3次曲面のモジュライ空間において、基本群がどのように作用するかを詳しく調べています。特に、有名なクレブシュ曲面を基準点として、その上にある27本の直線が、空間の中をループして戻ってきたときにどう入れ替わるかというモノドロミー作用を具体的に記述しています。 この作用の結果がタイプE6のヴェイユ群になることは既に知られていましたが、著者はここにピーターセングラフという組合せ論的な道具を持ち出しました。基本群の生成元をピーターセングラフの10個の頂点に対応させ、曲面が特異点を持つ様子を解析することで、直線の動きを丁寧に追いかけています。 驚くべきは、27本の直線を、ピーターセングラフの辺に対応する15本と、五角形に対応する12本に分けた点です。この具体的な対応付けによって、抽象的な群論の話が、グラフという視覚的な構造に結びついたのが非常に鮮やかだと思います。最終的に、これらの置換がヴェイユ群を生成することを証明しており、幾何学的な直感と代数的な構造が見事に融合した研究と言えます。
8. 11:54 8. A nine-line counterexample to a conjecture on the minimal degree of Jacobian relations 2607.01985v1
   スクリプトを表示

   8本目は、アレクサンドル・ディムカさんとピョートル・ポコラさんによる、「A nine-line counterexample to a conjecture on the minimal degree of Jacobian relations」(ヤコビ関係の最小次数に関する予想への9本の直線による反例)です。 この論文では、直線の配置におけるヤコビ関係の最小次数が、交差格子の組み合わせ論的な構造だけで決まるのかという、いわゆる一般化テラオ予想に挑んでいます。結論から言うと、著者の二人は、複素射影平面上に9本の直線からなる2つの配置を巧みに作り出すことで、この予想が間違っていることを証明しました。 驚くべきは、この2つの配置が、1つの4重点と7つの3重点を持つという、全く同じ組み合わせ論的な構造を共有している点です。見た目の構造は同じなのに、線形代数を用いて計算すると、一方の最小次数は4で、もう一方は5になるという結果が出ました。たった9本の直線を組み合わせるだけで、構造の同一性と数論的な性質が切り離されてしまうなんて、非常に鋭い視点での反例だと思います。 さらに、この違いは単なる次数の差にとどまらず、ホモロジー的な型や、ミルナー代数のヒルベルト関数という深いレベルまで影響していることが分かりました。同じ設計図から作られたはずなのに、中身の性質がここまで劇的に異なるというのは、とても刺激的な発見ですね。
9. 13:37 9. Comb smoothing and local triviality of homogeneous spaces over a relative curve 2607.02014v1
   スクリプトを表示

   9本目は、マルゴ・ブリュノーさんとフェデリコ・スカヴィアさんによる、「Comb smoothing and local triviality of homogeneous spaces over a relative curve」(相対曲線上の同次空間のコーム平滑化と局所自明性)です。 この論文では、ヘンゼル局所環上の滑らかな射影曲線における、トルソーや射影同次空間のザリスキ局所自明性について研究しています。特に、特別なファイバーで自明であれば、それが全空間まで広がっているかという問題に取り組んでいますね。 証明の鍵となるのは、コーム平滑化という手法を相対的かつ算術的なバージョンに発展させたことです。具体的には、有理切断をうまく拡張し、ヴェイユ制限の滑らかな点へと置き換えることで、ヘンゼルの補題を用いて持ち上げるという戦略を採っています。このコームを平滑化して特定の点を固定させるというアプローチは、非常に緻密な構成で、執念のようなものを感じます。 結果として、還元的群の条件次第で、特別なファイバーの自明性が全空間の自明性を導くことが示されました。さらに、この成果を射影同次空間へも拡張し、ドリンフェルト・シンプソン定理のヘンゼル版を導き出しています。数論的な局所大域原理を強めるための重要な幾何学的基盤が整備された、非常に価値のある研究と言えるでしょう。
10. 15:16 10. On generic finiteness of pluricanonical maps of threefolds of general type 2607.02066v1
    スクリプトを表示

    10本目は、ティエンユエ・ジャンさんによる、「On generic finiteness of pluricanonical maps of threefolds of general type」(一般型の三次元多様体における多標準写像の一般的有限性について)、です。 この論文では、代数幾何学において非常に重要な、一般型の最小三次元多様体の多標準写像がいつ一般的有限になるかという問題に取り組んでいます。この性質は、多様体の分類やモジュライ空間を構築する上で欠かせない鍵となる部分です。 著者は、どの程度の数でこの写像が一般的有限になるかを突き詰めました。まず、体積に特定の条件がある場合には、６標準写像で十分であることを示しています。これは、５以下の数ではうまくいかない例があるため、まさに最適で完璧な結果と言えますね。さらに、あらゆる一般型の最小三次元多様体に対しては、３８標準写像が一般的有限であることを証明しました。 この結果を導き出すために、曲面に対する新しい判定基準を導入したり、リードのリーマン・ロッホ公式に基づいたバスケットという手法を用いて特異点を詳細に分析したりと、かなり高度なテクニックを駆使しています。特に、レベル截断という方法で可能性のある構成を有限個に絞り込むアプローチには、執念のようなものを感じます。以前の境界よりも大幅に数値を下げた点は素晴らしい成果ですが、これが本当に最小の数なのかという問いがまだ残っている点に、数学の奥深さを感じますね。
11. 17:08 11. Positive Cones of Parabolic Grassmann Bundle over a curve 2607.02080v1
    スクリプトを表示

    11本目は、アシマ・バンサルさんとシヴァン・ヴァツさんによる、「Positive Cones of Parabolic Grassmann Bundle over a curve」(曲線上のパラボリック・グラスマン束の正錐)です。この論文では、滑らかな射影多様体上のパラボリックベクトル束に関連した、パラボリック・グラスマン束という概念を定義し、その性質を詳しく分析しています。 特に滑らかな射影曲線上のケースに注目しているのですが、従来のグラスマン束とは違って、分岐があるために特異点を持つ可能性があるという点が非常に厄介です。それでも、オービフォールドベクトル束との対応関係や、特殊な引き戻しという手法を駆使して、その幾何学的な構造を解き明かしています。 結果として、ネロン・セヴェリ群が二次元の実ベクトル空間であることや、ネフ錐、擬有効錐、そしてモリ錐の具体的な境界を導き出しました。特に、ハードナー・ナラシマン filtrationから得られる有理数によって、トートロジー直線束の正性が制御されているという点には、非常に緻密な計算の積み重ねが感じられます。また、ベクトル束がパラボリック半安定であるときに限り、ネフ錐と擬有効錐が一致するという結論を導き出しており、安定性と正性の関係を鮮やかに結びつけた素晴らしい研究だと思います。
12. 18:42 12. Recent progress on the geometric Bombieri--Lang conjecture 2607.02165v1
    スクリプトを表示

    12本目は、ジュンイー・シェさんによる、「Recent progress on the geometric Bombieri--Lang conjecture」(幾何学的ボンビエリ・ラング予想に関する最近の進展)、です。 この論文は、標数ゼロの関数体における幾何学的ボンビエリ・ラング予想という、非常に野心的なテーマを扱ったサーベイ論文です。この予想は、一般型の射影多様体において、有理点はザリスキー稠密にならないというもので、モルデル予想を高次元に拡張したような内容になっています。 特に、アーベル多様体への有限射がある多様体について、この予想を証明しようとするアプローチが心憎いですね。ディオファントス幾何学とネヴァンリンナ理論を繋ぐヴォイタの辞書を具体化させることで、高さが無限大に発散する有理点の列を、複素ファイバー上の正則曲線へと変換しています。 具体的には、部分的な高さを用いて垂直方向の問題を解決し、さらに線形正則曲線の可動性を利用して、水平方向の悪い場所を巧みに避けるという戦略をとっています。最終的に、代数的な下限と解析的な上限の矛盾を導き出すことで、この予想を証明しました。算術的なデータを解析的な障害へと変換するこの厳密なパイプラインの構築は、関数体における双曲性の研究に強力な武器を与えたと言えるでしょう。
13. 20:20 13. Quasi-$F$-splitting versus log canonicity 2607.02218v1
    スクリプトを表示

    13本目は、ケンタ・サトウさん、シュンスケ・タカギさん、ショウ・ヨシカワさんによる、「Quasi-F-splitting versus log canonicity」(準エフ分割と対数標準性の比較)、です。この論文では、正標数の世界における特異点の性質を深く掘り下げていて、特に準エフ分割という概念と対数標準性という概念がどう結びついているかを探っています。まず、数値的にキューゴレンスタインである正規特異点が、すべての正の整数イーについて準エフイー乗分割であるならば、それは数値的に対数標準であるということを導き出しました。さらに、二次元の場合に注目して、ゴレンスタイン指数が標数ピーで割り切れないという条件があれば、この関係が逆方向にも成り立つことを証明しています。二次元の準エフ分割正規特異点の分類までやり遂げている点に、徹底的なこだわりを感じますね。正標数という特殊な環境で、特異点の分類をここまで明確に整理したことで、今後の研究に大きな影響を与える成果になったのではないでしょうか。
14. 21:37 14. Components of simple and non--simple type of Hurwitz schemes 2607.02240v1
    スクリプトを表示

    14本目は、チロ・チリベルトさん、アンドレアス・レオポルド・クヌッツェンさん、サラ・トレッリさんによる、「Components of simple and non-simple type of Hurwitz schemes」(フルヴィッツ計画の単純型および非単純型の成分)です。 この論文では、ある種の曲線から別の曲線への写像を扱うフルヴィッツ空間について研究しています。特に、その写像が単純な構造を持っているか、それとも途中に別の曲線を挟んで分解される非単純な構造を持っているかに注目しています。 研究チームは、次数を割り切る数の中で、分岐次数や種数の条件を満たす許容因子という概念を導入しました。これにより、非単純な成分が存在するための必要十分条件を、数論的な条件として見事に導き出しています。 面白いのは、非単純な成分があるときでも、単純な成分が同時に存在するかという点に踏み込んでいるところです。相手側の曲線の種数が1以上であれば、常に単純な成分が存在することを証明しました。種数が0の場合でも、許容因子の最大値に基づいた十分条件を提示しています。 単に理論を提示するだけでなく、楕円曲線間の非分岐写像などの具体例を挙げて、条件の必要性を丁寧に検証している点に、研究者の誠実な姿勢が表れていますね。フルヴィッツ計画の構造に関する空白を埋める、非常に価値のある成果と言えます。
15. 23:23 15. The Gorenstein property and Pixton's conjecture for compact type moduli 2607.02249v1
    スクリプトを表示

    15本目は、サミール・キャニングさん、ハンナ・ラーソンさん、ヨハネス・シュミットさんによる、「The Gorenstein property and Pixton's conjecture for compact type moduli」(コンパクト型のモジュライ空間におけるゴレンシュタイン性とピクストンの予想)です。 この論文では、コンパクト型のモジュライ空間におけるトートロジー環という、代数幾何学の非常に深い構造について研究しています。まず、種数が２以上で、種数と標識点の数からなる特定の条件を満たすとき、この環がゴレンシュタインではないことを明らかにしました。さらに、３スピン関係式がトートロジー環の完全な関係式であるというピクストンの予想について、種数５から７までの新しいケースで証明を完了させています。 驚くべきは、ピクストンの予想が正しくても、環がゴレンシュタインになるとは限らないという点です。これまで、この二つはセットで考えられがちでしたが、その常識を覆す具体例を初めて見つけ出したところに、研究者の執念のようなものを感じますね。これらの成果は、主偏極アベリア多様体のモジュライ空間における非トートロジー的なサイクルの研究にとっても、非常に重要な鍵となる結果です。
16. 24:49 16. Bridgeland-Enriques general K3 surfaces 2607.02281v1
    スクリプトを表示

    16本目は、ジキ・リウさんによる、「Bridgeland-Enriques general K3 surfaces」(ブリッジランド・エンリケス一般K3曲面)、です。この論文では、K3曲面とエンリケス圏、そしてグシェル・ムカイ多様体の関係性を深く掘り下げています。著者は、導来圏に特定の非シンプレクティックな対合を持つK3曲面という概念を導入し、それをブリッジランド・エンリケス一般という新しい枠組みで定義しました。 特に面白いのが、次数10の場合の解析です。ここでは、K3曲面がグシェル・ムカイ曲面であるか、あるいは特定の楕円曲線を含む4次K3曲面であるかによって、圏的な退化を検知できることを示しています。また、グシェル・ムカイ四次元多様体が特定のホッジ特殊な性質を持つことと、そのクズネ Tソフ成分がこのK3曲面上のエンリケス圏と等価であることが結び付けられました。さらに、半安定オブジェクトのモジュライ空間が、K3型のハイパーケーラー多様体であるダブルEPW6次式と同型になることも証明されています。複雑な格子の計算を駆使して、多様体の幾何学的な性質を圏の言葉で鮮やかに描き出している点に、強いこだわりを感じます。
17. 26:19 17. Point Singularities and Local Third Chern Classes for Rank-Two Torsion-free Sheaves on Threefolds 2607.01402v1
    スクリプトを表示

    17本目は、math.DGからのクロス投稿で、シュエミャオ・チェンさんによる、「Point Singularities and Local Third Chern Classes for Rank-Two Torsion-free Sheaves on Threefolds」(三次元多様体上のランク二の捩れのない層における点特異点と局所第三チャーン類)、です。 この論文では、ゲージ理論における特異点の形成に着目して、複素三次元多様体上のランク二の捩れのない層が持つ、孤立した点特異点による局所第三チャーン類の寄与について研究しています。ここで定義される不変量は、特異点における有限長の局所的な代数データを用いて表されるのが特徴です。驚くべきことに、この値は全体の族のデータから計算でき、変形不変であることも証明されています。さらに、この不変量の偶奇が、境界球面上の滑らかな複素ランク二ベクトル束の位相不変量を復元するという、非常に興味深い結果が示されています。また、相対的なケー理論による解釈も提示されており、層に関連付けられた自己双対複体が局所的なケー理論的電荷を定義し、それが局所第三チャーン類と一致することが導かれています。局所的な特異点というミクロな視点から、全体の位相的な性質をうまく結びつけている点に、著者の鋭い洞察が感じられます。
18. 27:52 18. A note on polyhedral cones and toric polylogarithms 2607.01543v1
    スクリプトを表示

    18本目は、math.KTからのクロス投稿で、ピーター・シュさんによる、「A note on polyhedral cones and toric polylogarithms」(多面体錐とトーリック多重対数関数に関するノート)、です。 この論文では、代数トーラスのミルナーK理論における特別な要素について、さらに踏み込んだ研究が行われています。具体的には、単体錐の鎖複体と、ある体上のミルナーK理論におけるウェイトゲルステン複体のトレース固定部分との間に、等変同型が存在することを証明しました。 ここでのアプローチが非常に巧みなのですが、多面体錐上の関数代数に、点ごとの積と畳み込みという二つの異なる代数構造を持たせています。これらの代数に特定のフィルトレーションを導入することで、その次数付き部分とスタインベルク加群との同型を導き出しています。 球面のホモロジーと代数トーラスの積分ミルナーK理論を結びつけるという、幾何学的な視点と数論的な視点を融合させた構成に、研究者の強いこだわりを感じます。また、この手法が将来的にドリンフェルト加群や楕円曲線のような、より複雑な設定にも応用できる可能性を示唆しており、今後の展開がとても楽しみな内容でした。
19. 29:21 19. Existence of a Nonsmoothable Local Gorenstein Algebra with Smoothable Q(0) 2607.01683v1
    スクリプトを表示

    19本目は、math.ACからのクロス投稿で、ルオユ・ウーさんによる、「Existence of a Nonsmoothable Local Gorenstein Algebra with Smoothable Q(0)」(平滑化可能なＱゼロを持つ、平滑化不可能な局所ゴレンシュタイン代数の存在)、です。 この論文では、ある種の局所的な代数構造が、その一部である最初の対称商が平滑化可能であっても、代数全体としては平滑化できないケースがあることを証明しています。もともと、ソクル次数が３までの場合は、この最初の対称商が平滑化できれば全体も平滑化できることが分かっていました。ですが、次数が４以上になってもこの性質が成り立つのかという疑問があり、著者はそこに挑みました。 具体的には、マコーレーの逆システムという手法を用いて、長さ１１で埋め込み次元が４という特定の代数族を構成しています。この代数の最初の対称商は曲線的な構造を持っており、自動的に平滑化可能です。しかし、ヒルベルトスキーム上の次元を計算することで、代数全体の平滑化可能な領域よりも、構成した代数族の次元の方が大きいことを導き出しました。 個別の具体例を一つひとつ提示するのではなく、次元の数え上げによって存在を証明するというアプローチには、数学的なダイナミズムを感じますね。結果として、ソクル次数４において、この性質が成り立たないことがはっきりと示されました。
20. 31:07 20. Algorithms for hyperelliptic Mumford Curves $p$-adic Uniformization, $p$-adic integrals and $p$-adic heights 2607.02160v1
    スクリプトを表示

    最後は、math.NTからのクロス投稿で、エニス・カヤさん、マルク・マスデウさん、ジェイ・ステッフェン・ミュラーさん、マリウス・ファン・デル・プットさんによる、「Algorithms for hyperelliptic Mumford Curves p-adic Uniformization, p-adic integrals and p-adic heights」(超楕円マンフォード曲線のアルゴリズム、ピー進一様化、ピー進積分およびピー進高さ)です。 この論文では、リーマン曲面のピー進版とも言えるマンフォード曲線を、コンピュータで効率的に扱うための新しい手法を提案しています。特に、曲面のモデルをわざわざ用意しなくても、アベル積分やピー進の高さを計算できるようにした点が非常に実用的です。 まず、ピー進一様化を求めるために、カジエラの近似定理を拡張して、より一般的な曲線に対応できるようにしました。さらに、多変数ヘンゼル持ち上げという手法を導入してショットキー群を計算することで、従来のやり方よりも高速で高精度な計算を実現しています。このあたり、計算効率を極限まで高めようとする執念が感じられますね。 また、ヤコビアンのピー進リー理論を用いてアベル積分を計算したり、テータ関数を使ってシュナイダー高さを求めるアルゴリズムも実装しています。これらのツールはセージマスに組み込まれており、実際に種数２の曲線などでその有効性が示されました。この成果によって、有理点を探るためのチャブティ・コールマン法などがより使いやすくなり、さらにはピー進のバーチ・スウィンナートン・ダイアー予想という大きな謎に迫るための一歩になるかもしれません。