紹介した論文

1. 0:21 1. Enumerative geometry of $K3$ surfaces 2603.11136v1
   スクリプトを表示

   1本目は、トーマス・デディエさんによる「Enumerative geometry of K3 surfaces」です。この論文では、K3多様体上の曲線を枚挙するためにGromov–Witten理論を応用し、ベウビエ・ヤウ・ザスロウ公式とゴッツェ・ブライアン・レング公式を証明しています。特にprimitiveクラスにおける有理曲線の数え方や、BPS状態数の計算、ノエタ―＝レフシェフ理論との関係を示し、モジュラー性の性質も解明しています。さらに、三次元多様体との結びつきやリダクストGromov–Witten理論の応用例を詳述しています。
2. 1:04 2. Microlocal index theorems and analytic torsion invariants in the geometric theory of partial differential equations 2603.11198v1
   スクリプトを表示

   2本目は、ジャコブ・クリツカさん、ブラジミール・ルブツォフさん、アルタン・シェシマニさん、シン・トン・ヤウさん」による「Microlocal index theorems and analytic torsion invariants in the geometric theory of partial differential equations」です。 本論文では、非線形偏微分方程式の指数理論と解析的トーションを扱うために、Spencer 超共鳴（ハイパーコホモロジー）とマイクロローカル層理論、因子化代数を統合した微分幾何学的枠組みを構築しています。 古典的指数定理とカルビ―ヤウ三次元多様体におけるBCOV不変量との新たな関係を示し、さらに準等価的解析トーションとクエリオン計量、構成空間への拡張を検討しています。 結果として、楕円Lie系や有限型PDEに対する位相的指数とトーション不変量を統一的に算出できる理論を提示しています。
3. 2:07 3. Refined enumerative invariants and mixed Welschinger invariants 2603.11209v1
   スクリプトを表示

   3本目は、ユージェニイ・シュスタインさんとウリエル・シニチキンさんによる「Refined enumerative invariants and mixed Welschinger invariants」です。この論文では、実 toric 表面に対し、共役不変点条件を満たすとき、線形系を通る任意 genus の実曲線の符号付き数が点の変化に対して不変であることを示します。証明は、点条件の変化に不変である新しい相対 refined tropical invariant を導入し、y を -1 に特化すると符号付き数、y を 1 に特化すると境界に対する接触条件付きの複素曲線数に一致することを示します。さらに、境界上の任意の接触次数を許容するように不変量を拡張し、y=1 の極限が対応する複素計数に等しいことを確認します。最後に、正 genus の場合における追加的な性質も議論され、理論の一貫性と応用可能性が示されています。
4. 3:14 4. Constructing Maximal Cohen-Macaulay Sheaves on Symplectic Singularities 2603.11227v1
   スクリプトを表示

   4本目は、シャン・ズーさんによる「Constructing Maximal Cohen-Macaulay Sheaves on Symplectic Singularities」です。 本論文では、シンプレクティック多様体の奇異点に対し、最大 Cohen‑Macaulay 層を構築する手法を提案しています。まず、T∗P² から N₃,₁ への分解を用い、反射的層を上位に持つ T∗P² 上のベクトル束を特定します。Grothendieck 対偶性を適用し、P² 上の cohomology が消える条件を導出。これにより、N₃,₁ 上の不可分最大 Cohen‑Macaulay 層を多数構築し、さらに一般化して T∗Pⁿ から Nₙ₊₁,₁ への分解にも応用しています。 この研究は、奇異点が滑らかな多様体からどれだけ離れているかを測る指標として、最大 Cohen‑Macaulay 層の生成能力を利用し、代数幾何学に新たな視点を提供します。
5. 4:24 5. Twisted Arinkin transforms and derived categories of moduli spaces on Kuznetsov components 2603.11350v1
   スクリプトを表示

   5本目は、モリッツ・ハートリーブさん、サケット・シャーさんによる「Twisted Arinkin transforms and derived categories of moduli spaces on Kuznetsov components」です。 本論文では、ドナギとパンテヴが楕円形ファイバー化された面で示した「ツイストされた」デリバード等価性を高次元へ拡張しています。まず、ある互換性条件を満たすアベリアンスキームのタウーザー間でツイストされたデリバード等価性を確立します。次に、アリンキのコンパクト化ヤコビアンに関する結果を利用し、K3曲面上の曲線に結びつくツイストされたコンパクト化ヤコビアンに対しても等価性を拡張します。これにより、マッテイとミンスマが問合せた疑問に肯定的に答えています。さらに、ボッティーニとヒュイブリヒツの方法をファンオリジナルの立方体四次元体上の直線ファイバーに適用し、一般のブレーデル安定対象のモジュリ空間（クズネツオコンポーネント上）に対して、理論的に同様の主定理を証明しています。
6. 5:36 6. Cylinders in weighted Fano varieties 2603.11490v1
   スクリプトを表示

   6本目は、アドリエン・デュボロズさん、インキョン・キムさん、タカシ・キシモトさん、ジョンヨン・ウォンさんによる「Cylinders in weighted Fano varieties」です。この論文は、重み付きファノ多様体におけるシリンダー構造を調査したものです。重み付き射影空間上の重み付き完全交差で、準滑らかかつよく整形されたものに対し、反正則極に対してシリンダーが存在する条件をまとめ、既知の例と新しい反例を示しています。特に、カイロノス的手法と一変数アフィン直線の直積がどのように不可欠か、また、ユニポッテント群作用との関係を明らかにしています。
7. 6:21 7. The genus of configuration curves of planar linkages is generically odd 2603.11641v1
   スクリプトを表示

   7本目は、Josef Schichoさん、Ayush Kumar Tewariさん、Audie Warrenさんによる「The genus of configuration curves of planar linkages is generically odd」です。この論文では、平面における最小剛性グラフから1本の辺を除いた1自由度グラフを対象にしています。辺の長さを一般的に固定したとき、回転と反射を除く実装集合は代数曲線となり、その連結成分の代数多様体はグラフにのみ依存します。著者らはトロピカル幾何学を用いて、代数多様体がゼロでない場合必ず奇数になることを証明しました。特に、Jansenメカニズムのような実例では代数多様体が5であることが確認されています。これにより、1自由度グラフの構成曲線の性質に新たな制約が示唆されます。
8. 7:20 8. Comparison of Motivic Homotopy Theories 2603.11753v1
   スクリプトを表示

   8本目は、ティアンジアン タンさんによる「Comparison of Motivic Homotopy Theories」です。 この論文では、モチブ同型圏の対称カテゴリーと、A1-不変局所化モチブのカテゴリー Mot loc A1 との間に比較ファンクタを構築しています。Barr-Beckの議論を用いて、これらのファンクタはKGLというA1-不変K-理論スペクトルの対称版上のモジュールカテゴリーを経由して因子分解されることを示しています。さらに、A1-不変の場合は完全忠実性が成り立ち、非A1-不変の場合は一般に成り立たないことを示しています。
9. 8:07 9. Holes in Calabi-Yau Effective Cones 2603.11173v1
   スクリプトを表示

   9本目は、ナオミ・ゲンドラーさん、エリヤ・シェリダンさん、マイケル・スタイルマンさん、デイヴィッド・H・ウーさんによる「Holes in Calabi–Yau Effective Cones」です。 本論文では、カルビ・ヤウ三次元多様体の有効余弦内にある除数を調べ、実際に有効でない除数クラス（全体的にゼロのセクションを持つもの）を「ホール」と呼んでいます。著者らは、ホールが存在するための必要十分条件を示し、最小モデル計画から導かれる性質や、ホールが半群構造を持つことを証明しました。さらに、ホールに対応する四次元サイクルの体積に対する変数依存の上界を提示しています。計算は、クルーゼル–スカークのトーリックハイパーサーフェス集合を対象に行われ、実際の例と統計的分布を示しています。
10. 9:05 10. A counterexample to Fermi isospectral rigidity for two dimensional discrete periodic Schr\"odinger operators 2603.11183v1
    スクリプトを表示

    10本目は、math.SPからのクロス投稿で、タイラー・ブリシェウィチさん、マシュー・ファウストさん、ウェンツァイ・リウさんによる「A counterexample to Fermi isospectral rigidity for two dimensional discrete periodic Schr\"odinger operators」です。この論文では、二次元離散周期シュレーディンガー演算子に対し、ゼロポテンシャルとフェルミ等スペクトルが同じであるが、実際には非自明な周期ポテンシャルが存在することを数値的に証明しています。フェルミ等スペクトルの剛性が維持されない例を示すことで、三作者の提起した疑問に否定的な答えを与え、また1990年代に提案されたギーゼーカー・クノーレ・トルブウィッツの推測―任意の非自明な実周期ポテンシャルではフェルミ多様体がすべてのエネルギーレベルで不可約である―を破棄しています。著者らはKrawczyk法と数値的検証を用いて証明を行い、フェルミ等スペクトルが等しいという条件が必ずしもポテンシャルを決定しないことを示しました。
11. 10:13 11. Iwasawa Main Conjecture for ordinary semistable elliptic curves over global function fields 2603.11615v1
    スクリプトを表示

    11本目は、math.NTからのクロス投稿で、キー・セン・タンさん、ファビエン・トリハンさん、クウォク・ウィン・ツオイさん」による「Iwasawa Main Conjecture for ordinary semistable elliptic curves over global function fields」です。この論文では、グローバル関数体上の普通の半安定楕円曲線を対象に、ℤp^d拡大で分岐が有限の場所に限定された状況で、Iwasawa主予想を証明しています。主要な新規手法はχ-同型特性理想とp-adic L-関数の特殊化を比較するχ-式であり、Selmerモジュールの構造とL-関数の振る舞いを結びつけています。また、μ-不変量に関する技術的仮定が特殊化を通じて検出可能であることを示し、p>3の場合にこの仮定が実際に成立することを証明しています。
12. 11:12 12. Duality and decoding of linearized Algebraic Geometry codes 2603.11826v1
    スクリプトを表示

    12本目は、cs.ITからのクロス投稿で、エレナ・ベラルディニさん、ザビエール・カルーソさん、ファブリス・ドレインさんによる「Duality and decoding of linearized Algebraic Geometry codes」です。 本論文では、未分岐評価点を持つ線形化アルジブラ幾何コード（LAGコード）に対し、除算代数上のリーマン・ローシュ定理とセルレ対偶を確立し、これらのコードの双対コードが随伴代数上の同じLAGコードと一致することを示しています。さらに、サムランク計量に対して多項式時間で動作する誤り訂正アルゴリズムを設計し、その正当性を証明しています。実装例としてSageMathでのデコーディング手順も提供されています。
13. 12:02 13. Single-View Rolling-Shutter SfM 2603.11888v1
    スクリプトを表示

    最後は、cs.CVからのクロス投稿で、ソフィア エラズリズ ムニョスさん、キム キーエンさん、ペトル ルビさん、カトレン コーンさんによる「Single-View Rolling-Shutter SfM」です。 本研究では、ローリングシャッタ方式のカメラが普及している中で、ローリングシャッタSfMが未解決である問題に対し、単一画像から観測される世界点や線のローリングシャッタ単一視点幾何を定式化した手法を提案します。この幾何学を利用して、単一ローリングシャッタ画像から復元可能な運動・場面パラメータを特定し、最小構成再構成問題を体系的に導出しました。代表的なケースを証明実験で評価し、実用性と制約を明示しました。