紹介した論文

1. 0:19 1. Bures Geodesics and Restricted Barycenters for Kronecker Positive Definite Matrices 2605.03074v1
   スクリプトを表示

   1本目は、ジアピン・ヤンさんとユンシン・ジャンさんによる「Bures Geodesics and Restricted Barycenters for Kronecker Positive Definite Matrices」(クロネッカー正定値行列におけるブレス測地線と制限重心)です。 この論文では、行列の解析やデータ分析でとても重要なクロネッカー積という構造を持つ正定値行列に注目しています。特に、ブレス・ワッサースタイン幾何学という枠組みを使って、この特殊な構造を持つ行列同士を結ぶ最短経路、つまり測地線がどうなるかを詳しく調べています。 驚くべきことに、この論文では、ほとんどの場合、測地線はすぐにクロネッカー構造の外へ飛び出してしまうことが分かりました。構造を維持できるのは、片方の因子がもう片方のスカラー倍であるという、ごく限定的なケースだけだそうです。数学的にこれほど厳格に構造が崩れるというのは、ある意味で非常に意外で面白い結果ですね。
2. 1:27 2. Support theorem of universal compactified Jacobians 2605.03097v1
   スクリプトを表示

   2本目は、イーファン・ウーさんによる「Support theorem of universal compactified Jacobians」(普遍的なコンパクト化ヤコビアンの支持定理)、です。 この論文では、普遍的なコンパクト化ヤコビアンの相対的な良モジュライ空間について、完全な支持定理を証明しています。特に、安定条件が退化している場合に現れる激しい特異点をどう扱うかという、かなり手強い問題に挑んでいます。 通常のンゴの支持定理をそのまま使うことはできないため、著者は相対的な良モジュライ空間という概念を導入しました。これにより、ベースを安定な標付き曲線のモジュライスタックとして保ちつつ、ファイバー内の垂直な自己同型をうまく制御しています。 証明の方法は二通りあり、片方では一般化されたンゴの支持定理や、良モジュライ空間の射に関する分解定理などを組み合わせて、弱アーベルファイブレーションであることを示しています。もう一方では、退化した安定条件をエタール近傍で非退化なものへ揺らすという、非常に巧妙なアプローチをとっています。
3. 2:44 3. Gaiotto Loci and the Nilpotent Cone for $\mathrm{Sp}_{2n}(\mathbb C)$ 2605.03108v1
   スクリプトを表示

   3本目は、ルーカス・ブランコさんによる「Gaiotto Loci and the Nilpotent Cone for Spの2n( C)」ガイオート軌跡とエスピーの2エヌの複素数体上の冪零錐について、です。 この論文では、コンパクトなリーマン曲面上のテータ特性を固定して、シンプレクティック表現を持つ複素半単純リー群を考えます。ここで、表現束に値を持つゼロでないスピノルをモーメント写像で送ると、ジー・ヒッグス場が得られます。この方法で得られる安定ヒッグス束のザリスキー閉包が、ガイオート軌跡と呼ばれるものです。 任意のシンプレクティック表現において、このガイオート軌跡は等方的になりますが、著者はこれがラグランジュ的になるためのペトリ型の判定条件を提示しています。さらに、エヌが2以上のエスピーの2エヌの標準表現に注目すると、モーメント写像がテンソル積の写像となるため、ガイオート軌跡は冪零錐の中に含まれることになります。 ここが非常に面白いところなのですが、この軌跡が、ユースピーの2エヌマイナス2に関連するビアリニツキ・ビルラ閉包として得られる既約成分であることを証明しています。
4. 4:04 4. Theorems of Bertini and Chevalley 2605.03115v1
   スクリプトを表示

   4本目は、ヤーノシュ・コラーさんによる「Theorems of Bertini and Chevalley」(ベルティーニとシュバレーの定理)、です。この論文では、代数幾何学におけるとても重要な二つの定理、ベルティーニの既約性定理とシュバレーの定理について、よりシンプルな証明を提示しています。 まずはベルティーニの定理についてです。無限体上の幾何学的に既約な多様体があるとき、ある条件を満たす超平面の引き戻しもまた既約になるというお話です。著者は因子のペンシルという道具をうまく使い、非常に短くスマートな証明を導き出しています。 次に、シュバレーの定理に取り組んでいます。これは、連結で滑らかな代数群が、線形代数群によるアーベル多様体の拡大として表せるというものです。証明の過程で、セヴェリ・ヴェイユの補題を用いてアーベル多様体への射を構築したり、核がアフィン群であることを示したりと、非常に緻密な構成が行われています。 特に、ヴェイユ因子という枠組みがこれらの問題にとって最適であるという視点が強調されており、ここがこの論文の面白いところですね。
5. 5:27 5. Formal moduli and the splitting theory of supermanifolds 2605.03166v1
   スクリプトを表示

   5本目は、マウリシオ・コレイアさんとシモーネ・ノジャさんによる「Formal moduli and the splitting theory of supermanifolds」(超多様体の形式モジュライと分解理論)、です。 この論文は、複素超多様体がその分解モデルと大域的に同型になるかという、いわゆる分解問題に挑んだ研究です。滑らかな超多様体なら常に分解できますが、複素超多様体になるとそうはいかず、この分解を妨げる障害が超幾何学や超弦理論において非常に重要な役割を果たします。 著者のお二人は、この分解の障害を制御するために、フィルタ付き微分次数付きリー代数という道具を導入しました。これにより、古典的なグリーン障害類を、モーラー・カルタン理論の枠組みで鮮やかに回収することに成功しています。さらに、ホモトピー転送を用いて、問題を最小フィルタ付きエル・インフィニティ代数へと移し、障害座標の間の整合性を定義するクラニシ表現を導き出しています。 特に面白いのは、アティヤ類との関係を深掘りしている点です。
6. 6:44 6. Real approximation for homogeneous spaces with finite stabilizers 2605.03168v1
   スクリプトを表示

   6本目は、デイヴィッド・ハラリさん、グエン・マン・リンさん、ジャンカルロ・ルッチーニ・アルテチェさんによる「Real approximation for homogeneous spaces with finite stabilizers」(有限安定化群を持つ同次空間における実近似)です。 この論文では、有限の安定化群を持つ同次空間において、数体の像が実位相で稠密になるかという実近似の問題を深く掘り下げています。これは非可換コホモロジーにおける局所化写像が全射になるかという問いに言い換えられます。 背景には、ブラウアー・マン・オブストラクションに関するコリ・テレーヌさんの予想があります。この障害は一般に弱い近似に影響しますが、実的な点とは干渉しないため、多くのケースで実近似が成り立つと考えられています。 アプローチがとても多彩で、まずアーベル群に対してはテイト・シャファレヴィッチ群やチェボタレフの密度定理を用いて証明しています。さらに非可搬群へ広げるために、超可解な安定化群に関する最新の成果や、非可換ガロアコホモロジー、内形式という概念を駆使しています。
7. 8:00 7. Spectral correspondence for cyclic Higgs bundles 2605.03249v1
   スクリプトを表示

   7本目は、ジア・チュン・リーさんによる「Spectral correspondence for cyclic Higgs bundles」(巡回ヒッグス束のスペクトル対応)、です。 この論文では、滑らかな射影曲線上の巡回ヒッグス束について、新しいスペクトル対応を確立しています。もともと一般線形群のヒッグス束には古典的なスペクトル対応がありましたが、それを巡回ケースへと拡張しようという試みです。特に、スペクトル曲線が特異点を持つ場合でもうまく機能する枠組みを構築している点が非常に巧妙ですね。 アプローチがとてもユニークで、巡回ヒッグス束を巡回クィバーのクィバー束として捉え、さらにパス代数の層上の加群として扱っています。この代数は非可換で無限ランクという扱いづらい性質を持っていますが、中心還元を行うことで、曲面上の有限ランクの非可換代数層へと落とし込んでいます。これにより、巡回ヒッグス束と非可換曲面上の連接層との一対一対応が導き出されました。 さらに驚くべきは、この対応に使われる代数層が、曲線上の円錐束に関連する偶クリフォード代数層と同型であることを証明した点です。
8. 9:25 8. Twisted cohomology on algebraic and analytic varieties 2605.03522v1
   スクリプトを表示

   8本目は、エム・エス・イスラムさんとエー・アール・ミシュカトさんによる「Twisted cohomology on algebraic and analytic varieties」(代数多様体および解析多様体上のねじれコホモロジー)、です。 この論文では、代数幾何学や解析多様体において、通常のド・ラム複体やドルボー複体を、閉じた一形式というねじれパラメータを使って変形させる、ねじれコホモロジーという概念を深く掘り下げています。 特に面白いのが、代数的な世界と解析的な世界をどう結びつけるかという挑戦です。実は、射影多様体では大域的な正則関数が定数になってしまうため、ねじれパラメータとして使える大域的な切断が見つかりにくいという難しい問題があります。そこで著者たちは、群構造を持つアーベル多様体に注目し、ガガ定理を駆使してこの壁を乗り越えようとしています。 さらに、代数的なねじれコホモロジーを解析的なケースと整合させるために、対数構造を導入し、ひろなかによるコンパクト化を用いて、正規交差因子に沿った対数極を許容するという手法を取っています。
9. 10:45 9. Lectures on Analytic Geometry 2605.03655v1
   スクリプトを表示

   9本目は、ペーター・ショルツェさんによる「Lectures on Analytic Geometry」(解析幾何学講義)、です。 この論文では、関数解析を可換代数のひとつの分野として捉え直し、さまざまな解析幾何学を代数幾何学の枠組みで扱おうという、非常に野心的な試みがなされています。これまでのアディック空間やベルコヴィッチ空間では、準連接層の理論が不十分だったり、非ネーター的な場合に苦労したりするという課題がありました。そこでショルツェさんは、収束べき級数を基本要素とし、関数の小ささによって開部分集合を定義する、新しい代数幾何学の形を追求しています。 そのアプローチが本当に鮮やかで、位相的アーベル群を凝縮アーベル群に置き換える凝縮数学を導入しています。非アルキメデス幾何学のためにはソリッド・アーベル群を、そして実数のようなケースにはリキッド実ベクトル空間という概念を開発しました。特に、凸性の条件を緩めたピー凸性を用いることで、圏がアーベル圏になり、核や余核、拡大に対して安定するという見事な構成になっています。
10. 12:06 10. Birational Classification of Orbifold Compactified Jacobians 2605.03835v1
    スクリプトを表示

    10本目は、ジェレミー・フュージさんとサム・モルチョさんによる「Birational Classification of Orbifold Compactified Jacobians」です。この論文では、トーリックな基底上の代数トーラスや半アーベルスキームといった群の、トーリックなコンパクト化という難しい問題に挑んでいます。具体的には、それらの等変オービフォールド双有理分類について研究しているんですね。 驚くべきは、この分類問題をログ幾何学の世界における最小のオービフォールドトーリックコンパクト化を見つけるという問題にまで落とし込み、さらにそれを組み合わせ論的な問題として整理してしまった点です。数学的な構造をパズルのように解き明かしていくアプローチには、思わず感心してしまいます。 結果として、代数トーラスの族や、節点を持つ曲線の族のヤコビ多様体、さらに一般的ファイバーがアーベル多様体である半アーベルスキームについて、この問題を解決しました。一般的な半アーベルスキームの場合については、ある開いた予想にまで還元されています。
11. 13:21 11. Equivariant intermediate Jacobians and intersections of two quadrics 2605.03890v1
    スクリプトを表示

    11本目は、フェデリコ・スカヴィアさんによる「Equivariant intermediate Jacobians and intersections of two quadrics」(同変中間ヤコビアンと2つの二次曲面の交わり)、です。 この論文では、射影空間における2つの二次曲面の交わりという図形について、ある種の対称性を持つ場合に、それが射影的に線形であるための条件を調べています。具体的には、有限群の作用があるとき、その図形が射影的に線形であることと、群の作用で不変な直線を持つことが同値であることを証明しています。 もともとこの結果はハセットさんとチンケルさんによって示されていましたが、今回の論文では、より直接的なアプローチで証明し直した点が注目されます。同変中間ヤコビアンやトルソーという高度な道具を使っていて、特に三次元多様体の有理性を解析する手法が鮮やかです。 特に面白いのは、直線のファノ多様体が中間ヤコビアンの下で同変トルソーとして機能することをうまく利用しているところですね。
12. 14:34 12. Some Taylor varieties with null Hessian 2605.03923v1
    スクリプトを表示

    12本目は、タイス・ゴメス・リベイロさん、エレナ・グアルドさん、マヌエラ・ムジカ・ディズダレヴィッチさん、マリアム・ノウルージさん、ピエルパオラ・サンタルシエロさん、パオラ・スピーノさんによる「Some Taylor varieties with null Hessian」(ヘッセ行列が零となるいくつかのテイラー多様体)、です。 この論文では、有理関数のテイラー展開から作られるテイラー多様体という面白い対象を扱っています。特に、ヘッセ行列がいたるところで零になるという、ちょっと不思議な性質を持つ超曲面について研究しています。 一般的にヘッセ行列が零になるということは、その多様体が接方向に退化していることを意味します。円錐のような単純な例はすぐに思いつきますが、円錐ではない超曲面でこの性質を持つものを探すのは、代数幾何学における古典的で手強い挑戦だったんですよ。 著者の方々は、パデ行列というツールを使って、テイラー多項式のシジジーをうまく解析しています。行列の列操作などを駆使して、定義方程式の偏導関数たちが、ある非自明な多項式関係を満たすことを証明しました。
13. 15:54 13. A connection between minimal nilpotent orbits of types A and D via Hamiltonian reduction 2605.03421v1
    スクリプトを表示

    13本目は、math.RTからのクロス投稿で、バオフア・フーさんとジエ・リウさんによる「A connection between minimal nilpotent orbits of types A and D via Hamiltonian reduction」(ハミルトニアン簡約によるタイプエーとタイプディーの最小冪零軌道の関係)、です。 この論文では、タイプエーとタイプディーという異なるタイプの最小冪零軌道の間にある、新しい幾何学的なつながりを明らかにしています。これまでの研究では、単一のリー代数の中での共通の軌道などに注目することが多かったのですが、ここではハミルトニアン簡約という手法を導入している点が非常にユニークですね。 研究の主な目的は、タイプエーの最小冪零軌道の余接束のアフィン閉包という、かなり複雑な図形の幾何学を調べることです。具体的には、このアフィン閉包がシンプレクティック分解能を持つかどうかを突き止めようとしています。 著者たちは、タイプディーの最小冪零軌道閉包をハミルトニアン簡約することで、タイプエーのあの複雑なアフィン閉包を再現することに成功しました。
14. 17:10 14. Infinitesimal characters for the completed cohomology of $\mathrm{GL}_n$ over CM fields 2605.03519v1
    スクリプトを表示

    14本目は、math.NTからのクロス投稿で、イェレナ・イヴァンチッチさんとヴォーン・マクドナルドさんによる「Infinitesimal characters for the completed cohomology of GLのn over CM fields」(シーエム体上の一般線形群の完備コホモロジーにおける無限小指標)です。 この論文は、数論における非常に高度なパズルを解き明かしたような研究です。具体的には、シーエム体上の一般線形群のピー進完備コホモロジーにおいて、ヘッケ固有空間の局所解析的ベクトルが無限小指標を持つことを証明しました。この指標が、対応するガロア表現のホッジ・テイト・セン重量によって決まるという、ドスピネスク、パシュクナス、シュレーンによる予想を肯定した形になります。 驚くべきは、そのアプローチです。完備コホモロジーは射影的ではないため、そのままでは扱いが難しいのですが、著者たちはこれをランクエヌのユニタリ群の完備コホモロジーに関連付けるという巧みな戦略を取りました。次数をずらして部分商として実現させたり、文字を用いたねじれ引数を導入したりと、テクニカルな手法が盛り込まれています。 結果として、非アイゼンシュタインで分解的な汎用最大イデアルに対して、普遍包絡代数の中心の作用が期待通りに一般化ホッジ・テイト・セン指標で与えられることが示されました。これは、イワサワ代数上の射影性に頼らずに導き出された初の成果であり、ガロア表現の性質と群のコホモロジーを繋ぐ重要な一歩となりました。
15. 18:58 15. Open-closed Deligne-Mumford field theories: construction 2605.03521v1
    スクリプトを表示

    15本目は、math.SGからのクロス投稿で、アマンダ・ヒルシさんとカイ・フグテンブルクさんによる「Open-closed Deligne-Mumford field theories: construction」(開閉ドリーニュ・マンフォード場理論：構成)、です。 この論文では、境界を持つ安定曲線のモジュライ空間に基づいた、鎖レベルでの場理論を構築しています。シンプレクティック幾何学の世界では、閉じた弦を扱うグロモフ・ウィッテン不変量と、開いた弦を扱うラグランジュ・フローエル理論のどちらも重要ですが、これらを統一的に扱う代数的な枠組みがずっと求められていました。 著者たちは、あえて曲がった枠組みを導入することで、不安定な円盤のバブリングという厄介な問題に対処しています。さらに、特異点の解析的な分解や仮想的な摂動といった高度な手法を駆使して、幾何学的な複雑さを乗り越えています。 結果として、相対的にスピンな埋め込みラグランジュ多様体に対して、半厳格なオペラド的で曲がった開閉ドリーニュ・マンフォード場理論が存在することが示されました。もし弱い境界共鎖が存在すれば、これを曲がっていない理論へと変形できるという点も非常に興味深いですね。
16. 20:22 16. Characteristic-free approaches around Yu's construction 2605.03638v1
    スクリプトを表示

    16本目は、math.RTからのクロス投稿で、タカヤ・ユウタさんによる「Characteristic-free approaches around Yu's construction」(ユの構成周辺における標数に依存しないアプローチ)、です。 この論文では、超カスプダル表現を構築するための主要な手法であるユの構成を、より汎用的なものに進化させています。もともとのユの構成は、正標数が2の場合に挙動が不安定になるという厄介な問題がありました。ですが、タカヤさんは対称的で分岐したルートが存在しない場合に、ねじれハイゼンベルク・ヴェイユ表現を標数に依存せず直接的に構成する方法を提案しています。 特に面白いのが、表現論的なアプローチだけでなく、幾何学的な実現まで追求している点です。ドリーニュ・ルスティグ構成をハイゼンベルク群スキームに適用し、エタールコホモロジーを用いてこれらの表現を具体的に描き出しています。 さらに、パラホリック・ドリーニュ・ルスティグ誘導についても明快な記述を与えており、凸な放物型部分群という条件を用いることで、コホモロジーが特定の次数に集中するという性質を証明しました。
17. 21:45 17. Lectures on Condensed Mathematics 2605.03658v1
    スクリプトを表示

    17本目は、math.NTからのクロス投稿で、ペーター・ショルツェさんによる「Lectures on Condensed Mathematics」(凝縮数学講義)、です。この論文では、位相を持つ環や加群、群を扱う際の代数的な基礎問題を解決するために、凝縮数学という新しい枠組みを提案しています。 これまでの位相的なアーベル群は、アーベル圏を構成しなかったため、導来圏との相性が非常に悪かったんですよね。そこを解決するために、位相空間を凝縮集合に置き換えるという大胆なアプローチを取っています。具体的には、プロエタール部位上の層として凝縮集合を定義しており、コンパクト生成空間であれば情報を失わずにこの枠組みへ移行できるとのことです。 特に驚かされるのは、凝縮アーベル群の圏がグロタンディークの公理を満たす非常に扱いやすいアーベル圏になる点です。さらに、ソリッドアーベル群という概念を導入することで、位相的な設定で問題になりやすかったテンソル積を、適切に完備化されたテンソル積として再定義しています。
18. 23:04 18. Dimer models on astroidal zig-zag graphs 2605.03896v1
    スクリプトを表示

    最後は、math.PRからのクロス投稿で、トマス・ベルグレンさん、アレクセイ・ボロディンさん、テレンス・ジョージさんによる「Dimer models on astroidal zig-zag graphs」(アストロイド状ジグザググラフ上のダイマーモデル)、です。 この論文では、重み付きの有限グラフにおけるダイマーモデル、つまりエッジの重みの積に比例して確率を割り当てるダイマー被覆の確率測度について研究しています。平面二部グラフの場合、ダイマーの相関はカステライン行列の逆行列によって記述されますが、周期的なグラフの有限領域を考えるとき、この逆行列を具体的に求められる例はこれまでごくわずかでした。 特に、周期的なグラフを分類するニュートン多角形が、三角形か四角形である場合に限られていたのがこれまでの常識だったようです。ところが、この研究では、任意の最小周期平面二部グラフに対して、エヌマイナス三次元の有限部分グラフの族を構成し、その逆行列を具体的に導き出しています。 ニュートン多角形の形状に縛られず、より一般的なケースで具体的な解を導いたというのは、かなり大胆な進展ですよね。