紹介した論文

1. 0:20 1. Theta functions for singular curves 2605.11152v1
   スクリプトを表示

   1本目は、インドラニル・ビスワスさんとジャック・フルチュビーズさんによる「Theta functions for singular curves」(特異曲線上のテータ関数)、です。 この論文では、滑らかなリーマン曲面で知られているテータ関数の古典的な理論を、既約な特異リーマン曲面へと拡張しています。もともとテータ関数は、可積分系などの方程式を解くために欠かせない道具ですが、ソリトンのような現象は曲面が特異な状態に退化したときに現れます。そこで著者たちは、特異な極限においても直接的にシステムを解くための厳密な幾何学的枠組みを構築しようと試みました。 具体的には、一般化されたヤコビアンという、次数ゼロのランク一の局所自由層をパラメータ化する空間を利用しています。特異点での繋ぎ合わせ方を考慮したこの空間をコンパクト化し、その上の正の線束の切断として一般化されたテータ関数を定義したのが非常に巧みなアプローチです。 結果として、リーマンの定理を一般化することに成功しました。特異曲線においても、テータ関数の零点が関連する線束の因子に対応することを証明しています。ノードを持つ三次曲線やカスプを持つ三次曲線などの具体例を通じて、加法群や乗法群による拡張としてヤコビアンがどう振る舞うかが明快に示されており、理論的な美しさを感じさせる内容でした。
2. 1:59 2. Functoriality of logarithmic Hochschild homology of log smooth pairs 2605.11156v1
   スクリプトを表示

   2本目は、アーダム・ジェンゲさん、マートン・ハブリクセクさん、レオ・ヘルさんによる「Functoriality of logarithmic Hochschild homology of log smooth pairs」(対数平滑対の対数ホッホシールド・ホモロジーの関手性)、です。 この論文では、対数幾何学における大きな課題である、対数連接層の適切な導来圏をどう構築するかという問題に取り組んでいます。実は、今の数学ではこの圏をうまく定義できていないため、著者たちはあえて圏論的なアプローチを避け、対応論という手法を用いて対数ホッホシールド・ホモロジーの関手性を研究しました。 具体的には、標数ゼロの体上の平滑で固有な対数対に注目し、境界因子の厳密な爆発から離れた場所に台を持つ、強い対数フーリエ・ムカイ核という概念を導入しています。対数的な対応は単純な積ではなく、正準な爆発コンパクト化の上に乗るため、この台の設定が非常に重要になります。 さらに、通常の導来圏がないために随伴関係が使えないという困難を、非圏的な単位・余単位射を具体的に構成することで乗り越えています。この工夫によって、対数ホッホシールド・ホモロジーが強い対数フーリエ・ムカイ変換に対して関手的に振る舞うことを証明しました。 対数設定ではポアンカレ双対性などが使えないため、結果が反変になるという点が非常にユニークで面白いですね。最終的に、対数的な圏論的幾何学とは、通常の射ではなくコンパクト化上の対応を考えるべきだという、視点の転換を提案しています。
3. 3:53 3. Evaluation codes from linear systems of conics 2605.11187v1
   スクリプトを表示

   3本目は、バルバラ・ガッティさん、ガーボル・コルチョマロスさん、ジョイア・シュルテさんによる「Evaluation codes from linear systems of conics」(二次曲線の線形系による評価符号)です。この論文では、有限体上のアフィン空間における対称多項式の線形系を用いて、評価符号というものを研究しています。特に、標数が二である偶数特性の場合に焦点を当てているのが面白いところです。 もともと、奇数特性の場合には放物線の外部点という概念を使って解かれていた問題なのですが、偶数特性ではそんな便利な点は存在しません。そこで著者たちは、ある種の放物線の族で覆われた点集合を評価集合として定義し、幾何学的なアプローチでこの問題を解決しようと試みました。 具体的には、二次変換を使って、二次曲線と点集合の交点を数える問題を、平面代数曲線の点数を数える問題に置き換えています。これらの曲線が有理曲線か楕円曲線かを見極めることで、交点のサイズを精密に決定しました。 その結果、ハッセの定理を駆使して、非退化な二次曲線と評価集合の交点サイズのスペクトルを詳細に明らかにしています。これにより、最小距離が十分大きい、優れた性能を持つ符号を具体的に構築することに成功しました。数論的な視点から符号理論の課題を鮮やかに解き明かした、非常に見応えのある研究です。
4. 5:39 4. Automorphism Groups of Reductive and Root Monoids 2605.11207v1
   スクリプトを表示

   4本目は、アントン・シャファレヴィッチさんによる「Automorphism Groups of Reductive and Root Monoids」(還元的モノイドおよびルートモノイドの自己同型群)、です。 この論文では、代数的なモノイドの中でも、還元的モノイドとルートモノイドという二つの重要な対象の自己同型群について詳しく解説しています。代数的なモノイド自体の研究はこれまで盛んに行われてきましたが、その自己同型群に注目した研究は意外と少なかったそうです。著者はここに切り込んで、その構造を明確にしようと試みました。 まず還元的モノイドについてですが、ここでは単位群の自己同型群という既知の構造をうまく利用しています。具体的には、正規アフィン代数モノイドと厳格凸錐の対応関係を用いて、自己同型群が単位群の自己同型群の中で、関連する錐を保つ部分群になることを導き出しました。 さらにルートモノイドについても分析しており、特に可逆元の群がアクティブである場合に焦点を当てています。ここではデマズール根を用いてアフィントーラス多様体にモノイド構造を与え、トーラスと単 potência 群の半直積として解析しています。最終的に、格子自己同型の特定の群と単位群の自己同型群の半直積として記述できることを証明しました。 それぞれの群がどのような条件で構成されるかを具体的に示した、非常に精緻な研究だと言えますね。
5. 7:24 5. Geometric Construction of the McKay-Slodowy Correspondence 2605.11472v1
   スクリプトを表示

   5本目は、シェンギュ・ホウさんによる「Geometric Construction of the McKay-Slodowy Correspondence」(マッケイ・スロドウィー対応の幾何学的構成)、です。 この論文では、古典的なマッケイ対応をさらに一般化した、マッケイ・スロドウィー対応という概念に幾何学的な裏付けを与えています。もともとマッケイ対応というのは、ある種の群の表現論と、特異点を持つ曲面の解消という幾何学的な構造を結びつける非常に美しい理論なのですが、それをより大きな群に拡張した際、これまで具体的な構成方法が明確に示されていませんでした。 そこで著者は、連接層のグロテンドieck群や、1サイクルの交点形式といった代数幾何学の道具を駆使して、この対応を理論的に導き出しました。特に、元のマッケイ対応が群の作用に対して等変であること、つまり対称性を保っていることを証明した点が非常に鮮やかです。 これにより、個別のケースを一つずつ確認する手間を省いて、統一的な理論としてこの対応を証明することに成功しました。表現論における文字の内積が、幾何学的な交点形式とピタリと一致する様子は、数学的な調和が感じられて本当に快感ですね。
6. 8:53 6. The equivariant Milnor-Witt motive of $\overline{\mathcal{M}}_{1,2}$ 2605.11576v1
   スクリプトを表示

   6本目は、ナンジュン・ヤンさんによる「The equivariant Milnor-Witt motive of M_{1, 2}」(M1, 2の等変ミルナー・ウィット・モティーフ)、です。この論文では、安定曲線のモジュライ空間、特に genus 1 で 2 つの標点を持つ場合の等変ミルナー・ウィット・モティーフの分解について研究しています。 これまで、こうした空間の有理的なモティーフはテイト型としてよく理解されてきました。ですが、それらの手法は安定化群の位数を反転させる必要があり、トポロジカルなねじれの情報が消えてしまうという弱点がありました。そこで著者は、二次的なデータを保持できる厳密に幾何学的なアプローチを追求しています。 具体的には、等変ミルナー・ウィット・モティーフという、古典的なヴォエヴォドスキー・モティーフよりも構造的な情報を多く保持できる枠組みを利用しています。その結果、このモジュライ空間のモティーフが、ホッジ束や普遍曲線のトム空間を含む特定の直和へと分解されるという同型を示しました。 特に素晴らしいのは、この空間のチャウ・ウィット環を完全に決定したことです。全体のチャウ・ウィット環が、標点 1 つの場合の環と、ホッジ束のオイラー類を含む項の直和で表されることを明らかにしました。代数幾何学におけるチャウ・ウィット環の基礎的な表現をさらに拡張させた、非常に精緻な成果と言えますね。
7. 10:33 7. K-theory of Gieseker variety and type A cyclotomic Hecke algebra 2605.11579v1
   スクリプトを表示

   7本目は、ヴァシリー・クリロフさん、ラファエル・ペーゲロウさん、パヴェル・シュリコフさんによる「K-theory of Gieseker variety and type A cyclotomic Hecke algebra」(ギーゼカー多様体のK理論とA型サイクロトミック・ヘッケ代数)、です。 この論文では、射影平面上のフレーミングされたインスタントンを記述するギーゼカー多様体という、滑らかな代数多様体の等変K理論について探究しています。著者の皆さんは、このK理論を代数的に記述することを目指して、ヒキタ予想のK理論版を検証するという、非常に意欲的なアプローチを試みています。 具体的には、アティヤ・ボットの局所化定理を用いて、トーラス作用の固定点を多分割として捉え、等変K理論とサイクロトミック・ヘッケ代数のジュサイス・マーフィー中心との間に代数的な同型があることを証明しました。特に、ヒルベルトスキームの場合にA型ヘッケ代数の中心と結びつく点は、非常に美しく整理されていますね。さらに、アフィンA型キバー多様体のK理論を、1のべき根で特殊化したヘッケ代数の中心と結びつける結果も得られています。幾何学的な構造から代数的な中心を導き出すという流れに、数学的な心地よさを感じます。
8. 12:02 8. Positive Geometries from Cubic Surfaces 2605.11909v1
   スクリプトを表示

   8本目は、ベルント・シュトゥルフェルスさんとサイモン・テレンさんによる「Positive Geometries from Cubic Surfaces」(三次曲面からの正幾何学)、です。 この論文では、代数幾何学と理論物理学が交差する正幾何学という視点から、三次曲面を深く掘り下げています。特に、三次曲面にある二十七本の直線やその交わりという古典的な理論を、物理学の散乱振幅の研究で重要な役割を果たす正準微分形式と結びつけようとしています。 具体的には、まず三次元空間における三次曲面の補集合を調べ、そこにある三角形や五角形のような曲がった多角形が正幾何学であることを証明しています。さらに、滑らかな三次曲面のモジュライ空間が四百三十二個の連結成分を持つことを示し、それぞれの成分がペッツォトープと呼ばれる四次元の単純多面体の曲がったバージョンであることを明らかにしました。 特筆すべきは、ルート系イーシックスのヴェイユ群という強力な対称性を利用して、複雑な正準微分形式を効率的に導き出している点です。また、一部の図形がそのままでは正幾何学にならなくても、特定の場所を爆発させることで正幾何学に変換できるという議論もあり、非常に巧みなアプローチだと感じました。三次曲面の組合せ論的な性質とホッジ理論的な性質が見事に結びついた、非常にエキサイティングな研究です。
9. 13:42 9. Double Veronese cones with singularities 2605.11932v1
   スクリプトを表示

   9本目は、ユリ・プロホロフさんによる「Double Veronese cones with singularities」(特異点を持つ二重ヴェロネー円錐)、です。この論文では、次数１の三次元デルペッツォ多様体である二重ヴェロネー円錐について、その幾何学的な性質を詳しく分析しています。特に特異点や、数としての因子の性質、さらには有理性の問題に焦点を当てているのが特徴です。 研究の手法としては、ヴェロネー曲面上の円錐の二重被覆としてこれらの多様体を捉え、そこから得られる楕円曲面構造を解析しています。驚くべきは、節点を持つ場合の数の制限についてです。因子分解的な節点を持つ二重ヴェロネー円錐は、最大で２１個の節点を持つことが示されており、実際にその上限に達する例が提示されています。クラインの単純群を利用してこの極端な例を導き出している点に、数学的な美しさを感じますね。 また、すべての特異な二重ヴェロネー円錐が単有理的であることも証明されました。さらに、特定の型の特異点を持つ場合に有理的になるという明確な基準が示されており、非常に体系的な整理がなされています。
10. 15:10 10. Representations of Reeb spaces via simplified graphs and examples 2605.12219v1
    スクリプトを表示

    10本目は、ノアキ・キタザワさんによる「Representations of Reeb spaces via simplified graphs and examples」(簡略化されたグラフによるリーブ空間の表現と例)、です。 この論文では、位相空間上の実数値関数から得られるリーブ空間というものを深く掘り下げています。通常、コンパクト多様体上の関数を扱うと、リーブ空間は単純なグラフになりますが、ここではあえてグラフにならない、つまりCW複体ですらないケースに注目しているのが非常に挑戦的で面白いですね。 著者は、こうした複雑な空間を表現するために、プリダイグラフという概念を導入し、それを有向の一次元細胞複体へと変換する手法を提案しています。特に、無限遠での挙動を制御した実解析関数を用いることで、具体的な実現方法を模索しています。 その結果、定義された実解析関数におけるリーブ空間は、たった六つの特定のパターンに分類できることを証明しました。一点だけのケースから、ループを持つもの、あるいは頂点と辺の組み合わせによるいくつかのパターンに集約されるという結論は、複雑な現象をシンプルに整理できていて快感さえあります。さらに、これらの関数をコンパクトな領域へ拡張しても構造を維持できるという定理も示しており、組み合わせ的な情報から滑らかな関数を再構築する体系的な道筋を付けました。
11. 16:52 11. The real Jacobian conjecture for maps with one component having degree 6 2605.12302v1
    スクリプトを表示

    11本目は、エフ・ブラウンさん、ジェイ・グヴォズジエヴィッチさん、エフ・フェルナンデスさん、そしてビー・オレフィセオカモトさんによる「The real Jacobian conjecture for maps with one component having degree 6」(一つの成分が6次である写像に対する実ヤコビアン予想)、です。 この論文は、数学の難問の一つである実ヤコビアン予想に挑んだものです。簡単に言うと、ヤコビアン行列式がどこでもゼロにならない多項式写像が、単射であるか、つまり一対一の対応になるかという問題ですね。 研究チームは、代数幾何学と力学系という二つの異なるアプローチを組み合わせて、ある成分の次数が6以下であれば、この予想が成り立つことを証明しました。具体的には、ニュートン多角形を使って無限遠での枝の数を数えたり、ポアンカレコンパクト化を用いてハミルトンベクトル場の挙動を分析したりしています。 特に、次数が6という絶妙なラインまで踏み込んで、反例となるような幾何学的構造が存在し得ないことを示した点は、非常に粘り強い解析の結果だと思います。これにより、次数が7未満であればこの予想が正しいことが確定しました。地道な計算と理論的な裏付けが組み合わさった、非常に精緻な研究ですね。
12. 18:23 12. Symmetry in Equivariant cohomology of $\mathbb{P}^n$ 2605.07081v1
    スクリプトを表示

    12本目は、math.COからのクロス投稿で、ドゥイ・ファンさんによる「Symmetry in Equivariant cohomology of Pのn乗」(複素射影空間のn乗の等変コホモロジーにおける対称性)、です。この論文では、アンダーソンさんとフルトンさんが提示していた、複素射影空間の等変コホモロジーに関する長年の難問に挑んでいます。特に、構造係数を単純根の変数を用いて、対称的かつ明らかに正となる組み合わせ論的な公式で表したいという強い意欲が感じられますね。 著者は二部グラフという新しいモデルを導入しました。コホモロジー類の指数に基づいた頂点集合を持つ二部グラフを構築し、その中でのあらゆるマッチングの重みを足し合わせることで構造係数を決定します。このマッチング規則が正しく計算できることを証明しており、グラフの回転不変性によって公式の対称性が自然に説明される点には、数学的な美しさを感じます。 さらに、この研究はロビショーさん、ヤダブさん、ヨンさんによる予想を肯定し、構造定数が飽和ニュートン多面体という性質を持つことを明らかにしました。既存のパズルやタブローを用いた手法よりも、対称性が非常に分かりやすく表現されています。最後に、各マッチングの重みが単項式であるという正値性を示しており、これがより一般的なグラスマン多様体上の等変シュベルト計算にも適用できるかという、刺激的な未解決問題へと繋げています。
13. 20:10 13. The 2-part of the Bloch-Kato conjecture, and indivisibility results, for $K_2$ of some elliptic curves 2605.11100v1
    スクリプトを表示

    13本目は、math.NTからのクロス投稿で、ニール・ダミガンさん、ヴァシリー・ゴリシェフさん、ロブ・デ・ジューさん、マット・カーさんによる「The 2-part of the Bloch-Kato conjecture, and indivisibility results, for Kの2 of some elliptic curves」(いくつかの楕円曲線におけるブロッホ・カトー予想の2部分と不可分性の結果)、です。 この論文では、特定のヴェイユ方程式で定義された楕円曲線の族について、ブロッホ・カトー予想の2部分を深く掘り下げています。特に、エル関数という特殊な関数の値に含まれる2のべき乗と、セルマー群という群の大きさがどう関係しているのかを追求しています。 研究の手法がとても巧妙で、メルクリエフとサスリンのノルム剰余同型や、2進レギュレーター写像、さらには引き戻しなどを駆使して、ある要素が2で割り切れないこと、つまり不可分であることを証明しています。また、セルマー群の2ねじれ部分を、平方因子を持たない正の整数のペアとして具体的に記述している点に、数学的な美しさを感じますね。 最終的に数値実験を通じて、悪い還元を持つ場所の数が最小であるときに、エル関数の2進評価値が最小になるという予測を立てており、これがブロッホ・カトー予想を強力に支持する結果となっています。数論の難解な予想に対して、具体的な計算と理論的な証明を組み合わせて迫る、非常に骨太な研究と言えるでしょう。
14. 21:52 14. Infinitesimal random dynamics of certain Veech groups on SU(2)-character varieties 2605.11298v1
    スクリプトを表示

    14本目は、math.DSからのクロス投稿で、ジョヴァンニ・フォルニさん、ウィリアム・エム・ゴールドマンさん、ショーン・ロートンさん、カルロス・マテウスさんによる「Infinitesimal random dynamics of certain Veech groups on SU(2)-character varieties」(エスユー二の指標多様体上の特定のヴィーチ群の無限小ランダム力学)です。 この論文では、テイミュラー流に伴う非アーベル的なコサイクルという、かなり高度なダイナミクスを研究しています。具体的には、ある種の平坦な束のモジュライ空間において、リャプノフ指数にゼロが含まれないこと、つまり非一様双曲性が成り立つことを証明しました。 特に面白いのが、分析対象に選ばれた曲面です。卵を産むウールミルクザウというユニークな名前の属三の曲面と、カモノキリという属四の曲面が登場します。これらの曲面は、アーベル的な設定では完全に退化していることが知られていて、ヴィーチによる長年の疑問が残っていた場所でした。 ところが、この非アーベル的な設定では挙動が全く異なり、リャプノフスペクトルにゼロが現れないことが分かりました。特にカモノキリの例では、第二基本形式のランクが最大ではないにもかかわらず、ゼロの指数が存在しないことが示されており、これは理論的に非常に重要な発見です。数学的な直感に反するような結果が出ていて、本当にエキサイティングな内容ですね。
15. 23:34 15. Local height arguments toward the dynamical Mordell-Lang conjecture 2605.11676v1
    スクリプトを表示

    15本目は、math.DSからのクロス投稿で、シー・ヤンさんとアオヤン・ゼンさんによる「Local height arguments toward the dynamical Mordell-Lang conjecture」(ダイナミカル・モーデル・ラング予想に向けた局所高さの議論)です。 この論文では、複素アフィン空間上の正則自己写像について、次数の差という概念を用いてダイナミカル・モーデル・ラング予想を検証しています。具体的には、ある次数の同次多項式に、それより次数が低い多項式を加えた形の写像を考えています。このとき、次数の差が、無限遠超平面上の周期点における多重度の二倍よりも大きいという条件があれば、曲線に対するダイナミカル・モーデル・ラング予想が成り立つことを証明しました。 数論的な高さをうまく利用して、軌道上の点と曲線の交わり方を解析していくアプローチが非常に巧みです。この条件さえ満たせば、周期点に関する強い結論が得られるという点に、数学的な美しさを感じますね。複雑なダイナミクスを持つ写像であっても、次数のギャップという構造的な制約があることで、予想が肯定的に解決される様子が鮮やかに描かれています。
16. 24:58 16. Condensed Mathematics and Complex Geometry 2605.11731v1
    スクリプトを表示

    最後は、math.CVからのクロス投稿で、ダスティン・クラウゼンさんとピーター・ショルツェさんによる「Condensed Mathematics and Complex Geometry」(凝縮数学と複素幾何学)、です。 この論文は、二〇二二年の夏季講義のノートをベースにしたもので、凝縮数学という現代的なアプローチを使って、複素解析幾何学を具体的に捉え直そうという試みです。新しい幾何学をゼロから作り出すのではなく、あえて古典的な理論を別の視点から再構築することに重点を置いています。 具体的には、コンパクトな複素多様体における重要な定理の数々を証明し直しています。連接コホモロジーの有限性やセールの双対性、さらにはガガの定理やグロテンドieck、ヒルツェブルフ、リーマン、ロッホの定理までカバーしています。 すでに確立されている古典的な結果を、あえて凝縮数学という最新の枠組みで証明し直すというアプローチには、ある種の美学すら感じますね。理論的な基盤を塗り替えることで、複素幾何学の風景がどう変わって見えるのかを丁寧に示してくれた、非常に意欲的な内容になっています。