紹介した論文

1. 0:19 1. On nice $\mathbb{G}_m$-actions arising from locally nilpotent derivations with slice 2604.03471v1
   スクリプトを表示

   1本目は、ルイス・シドさんによる「On nice Gのm-actions arising from locally nilpotent derivations with slice」です。 本稿では、代数閉体上の有限生成ドメイン B に対し、スライスを持つ局所的に無限大導関数 D を取り、s をそのスライスとします。 s の固有値を N とすると、∂ は N と s と D を掛けたものです。 ∂ は半単純であり、B のスペクトル上の正則 Gのm作用を定めます。 フリューデンブルグが定義した Gのm作用と一致することを示し、∂ をその無限小生成元とします。 特に「ナイス」導関数（各生成元に対して D の 2 乗が 0 になるもの）に対し、線形化可能性の判定式を提示します。 スライス定理により B は D の核 と s の多項式環として分解されます。 フリューデンブルグ の作用 β_t を計算し、β_t と α_t が同一であることを示します。
2. 1:31 2. Rank jumps for Jacobians of Hyperelliptic curves on K3 surfaces 2604.03639v1
   スクリプトを表示

   2本目は、アンデル・アリオラ・コルピオンさんとセシリア・サルガドさんによる「Rank jumps for Jacobians of Hyperelliptic curves on K3 surfaces」です。 この論文では、数論上の基礎体上に定義されたK3 曲面上の超二次曲線の族から得られるヤコビアン射影の階数跳躍を調べています。 著者らは、分岐六次曲線に幾何学的に不可約で非線形な成分が基底体上に存在する場合、次数が十二以下の有限拡大を取ると階数跳躍集合が無限になることを示しています。 また、分岐六次曲線に単純奇点が基底体上にあるとき、次数が十八以下の有限拡大で階数跳躍集合が非薄集合になることを証明しています。 さらに、極化次数が四で三剰余となる一般的なK3 曲面の族に対しては、基底体上で階数跳躍集合が非薄集合であることを示しています。 モジュライ空間の中で、基底体が有理数で定義された二次曲面の密集族が存在し、その族の極化に対する曲線の密集集合はヤコビアンの正階数を有理上で持つことが示されています。
3. 2:50 3. A categorical and algebro-geometric theory of localization 2604.03845v1
   スクリプトを表示

   3本目は、マウリシオ・コレアさんとシモーネ・ノジャさんによる「A categorical and algebro‑geometric theory of localization」です。この記事では開閉リコレント構造を備えた共変性理論に対し、局所化のカテゴリカルかつ代数幾何学的枠組みを構築し、従来の単一の局所項ではなく支持細分化のタソールを生成する手法を示しています。 そのタソールは境界写像の像によって作用し、境界部分が消える場合にのみ標準的な局所項が唯一に決定されることを示しています。 さらに除外、カルテシアン基底変更、適切なプッシュフォワード、外部積との互換性を明示し、例外的プルバックと積構成の相互作用に関する具体的仮定の下でこれらが成立することを証明しています。 分解定理により、局所項の任意の割り当てが三角形相容性、外延性、除外性を満たすならば必ずタソール内に属することが保証され、ユニーク性範囲では標準局所項と一致することが確認されました。
4. 4:01 4. An approach to the abundance conjecture for K\"ahler varieties via algebraic reduction 2604.03879v1
   スクリプトを表示

   4本目は、ジューヤン・ジャンさんによる「An approach to the abundance conjecture for K\"ahler varieties via algebraic reduction」です。 この論文では、コンパクト解析多様体に対する豊富性予想を、代数的還元写像を用いた帰納的戦略で検討します。 代数的還元写像により、次元 n の多様体の問題を、射影多様体の次元 aX と、残りの次元 n-aX のコンパクト解析多様体に分けて考えます。 主要な結果である第1条では、最小モデル計画と豊富性予想が低次元で成立し、代数的還元写像がほぼホロモルフィックであり、変形部分が b-良好かつ数値的に効果的であれば、数値的に効果的な正規線形系は半正則であると示します。 4次元のケースでは、第2条が適用され、代数的次元が3のコンパクト解析四次元多様体に対して正規線形系が半正則であることを証明します。 第3条では、非ゼロ代数的次元を持つカワマタ・ログ・終端 三次元多様体に対しても同様の結果が得られます。
5. 5:19 5. Transmission permutations and Demazure products in Hurwitz--Brill--Noether theory 2604.03895v1
   スクリプトを表示

   5本目は、Nathan Pfluegerさんによる「Transmission permutations and Demazure products in Hurwitz--Brill--Noether theory」です。本論文では、二重標識曲線上の線束の全体節を二変数関数として記録する新しい記号を伝搬置換と呼びます。伝搬置換は、線束の全ての変形に対する節数を一つの順列に凝縮し、ノードやビタングなどの幾何学的特徴を保持します。さらに、複数の二重標識曲線を連結したとき、各部分曲線上の伝搬置換はデマズール積という代数演算で合成されることを証明しました。逆に、与えられた伝搬置換を持つ線束の集合は、伝搬置換の簡約分解に対応する部分曲線の伝搬置換集合の直積として記述できます。これらの結果を用いて、古典的ブリル・ノイエン理論とハーウィッツ・ブリル・ノイエン理論の基本次元境界を統一的に導出しました。さらに、伝搬置換の各成分は逆置換数に対応し、これにより線束の構造をより細かく解析できると示しました。
6. 6:38 6. Close connectedness of the moduli stack of reduced curves 2604.03930v1
   スクリプトを表示

   6本目は、セバスチャン・ボズリーさんによる「Close connectedness of the moduli stack of reduced curves」です。 本稿では、特性ゼロの下で全ての縮約複数点付き曲線のモジュライスタックが密接結合性を持つことを示します。 具体的には、モジュライスタックの各不可約成分が平滑化可能曲線の成分と交わることを証明します。 そのために、イシイの領域と呼ばれる、縮約曲線奇異点と正規化写像をパラメータ化するモジュライスキームを詳細に解析します。 ここでは領域の明示的な方程式を示し、次元を上限付け、函手性の性質を記述し、複数の群の作用を調べました。 さらに、マンフォード、ピンクハム、グレーレル、スティーブンズの研究を拡張し、平滑化できない縮約曲線奇異点が新しい範囲に存在することを示しました。
7. 7:41 7. Shifted symplectic rigidification 2604.04008v1
   スクリプトを表示

   7本目は、ヘヨンジュン パークさんとジェミン ユさんによる「Shifted symplectic rigidification」です。 この研究は、カラビヤウ次元が二以上の多様体上で、安定シェフの剛化モジュライ空間にシフトされたシンプレクティック構造を構築する方法を示します。まず、カラビヤウ多様体上のシェフの導来圏モジュライスタックは、二減nずれのシフトされたシンプレクティック構造を持つことが知られていますが、剛化によって自己対称性が失われ、構造が破綻します。そこで本稿では、剛化後のスタックにも同様の構造を持たせる「シンプレクティック剛化」手法を提案します。主な手法として、Bℂ×の作用群を持つ導来圏シンプレクティックスタックMを考え、Bℂ×の作用が常にシンプレクティックであることを示し、さらにd≤0の場合にはハミルトニアンであることを証明します。ハミルトニアン作用は、Bℂ×の作用に対するモーメント写像が存在することと同値であり、シンプレクティック剛化はBℂ×のハミルトニアン作用の縮約として実現されます。
8. 8:57 8. Ogus-Vologodsky equivalence via stacks 2604.04317v1
   スクリプトを表示

   8本目は、グレブ・テレンティウクさんによる「Ogus-Vologodsky equivalence via stacks」です。 本稿では、特性pをもつ基底S上の族Xへの相対デ・ラーマスタックを用いて、オグス・ヴォログドスキー同型を局所的および全体的に再証明します。さらに、Sのリフトは不要であることを示し、代わりにXをSの第二ウィットベクトルにリフトアップする手法を採用します。主要な要点は、準シンチオミック族X/Sに対して相対デ・ラーマスタックがX'上のトーソール構造を持つことであり、これは微分作用素代数のアズマヤ性質に相当します。この結果は、妥当な代数スタックの族にも適用でき、対数的版のカルテール同型を得ることができます。途中で、全体的カルテール同型の未完成化版も取得しました。
9. 9:59 9. On the Tame Isotropy Group of Locally Finite Derivations of K[X,Y] 2604.04337v1
   スクリプトを表示

   9本目は、ルイス・シドさんとマルセロ・ヴェロソさんによる「On the Tame Isotropy Group of Locally Finite Derivations of K[X, Y]」です。 本稿は代数閉体 特性ゼロ 上の多項式環 X と Y に対し、局所有限導関数のテイム等化群を調べ、Van den Essen の分類に基づき四つの正規形に対して生成子を明示しました。 具体的には、fX∂/∂Y の形では次数が一の場合に生成子はαX+γ と Y と X と Y+sX、次数二以上の場合には X と Y+rX のみであると判明しました。 ∂/∂X + bY∂/∂Y の形では b≠0 のとき生成子はX+β と Y と X と γY、b=0 のときは X+gY と Y と X と αY+β であると示されました。 さらに、全自動写像群に対しては指数写像が恒等写像になる例がある一方、テイム部分群に限定すると指数写像のテイム等化群と一致することを示し、テイム群の一貫性を確認しました。
10. 11:16 10. Perverse Extensions and Limiting Mixed Hodge Structures for Conifold Degenerations 2604.04355v1
    スクリプトを表示

    10本目は、アブドゥル・ラーマンさんによる「Perverse Extensions and Limiting Mixed Hodge Structures for Conifold Degenerations」です。 本稿では、1 つのパラメータを持つ退化を対象にし、中心の点に 1 つの通常の二重点を持つケースを詳細に検討します。 近傍円と消滅円の形式を用いて、奇点の位置上に一意に定まるパーヴァー層を構築し、これは交差複合を点で支えられた 1 次元の寄与で拡張したものです。 Saito の混合ホッジモジュール理論を適用すると、このパーヴァー層は自己対偶であり、最小のヴェルディエ自己対偶拡張であることが示されます。 さらに、1 次元の奇点寄与と限界混合ホッジ構造に現れる 1 次元の消滅寄与は、同じ近傍円の形式から自然に導かれます。 多点二重点退化に対しては、修正されたパーヴァー層は短正確列に入り、商は各ノードに対応する点で支えられた 1 次元層の直和となります。 一般的な層分解を持つ奇点領域においても、同様の構造が成立し、Saito の除数結合形式が自然な枠組みを提供します。
11. 12:38 11. Stokes structure of wild difference modules 2604.04449v1
    スクリプトを表示

    11本目は、ヨタ シャモトさんによる「Stokes structure of wild difference modules」です。 本稿では、差分モジュールと野生Stokes構造を備えた A_per-モジュールとの間にリーマン・ヒルベルト対応を構築します。 差分モジュールは、複素関数体に対して定義されるベクトル空間と自己写像から成り、正則行列であれば緩やか、そうでなければ野生と分類されます。 典型例としては、ガンマ関数を解とするモジュールが挙げられ、指数関数的増大率が野生性を示します。 野生Stokes構造は、実数向き吹き出し空間上のフィルタ付き環に定義され、指数的増大を許容する階層を持ちます。 リーマン・ヒルベルト函手は、差分モジュールに対しド・ラマ複合体を拡張し、解析的リフトと分類定理を用いて同型クラスを記述します。 主定理は、差分モジュールのカテゴリーと野生Stokes構造を持つ A_per-モジュールのカテゴリーが完全対応していることを示します。 最後に、ガンマ関数を例に取り、Stirling 展開と反射公式から得られるグレード化を示し、理論の実際的適用可能性を確認します。
12. 14:03 12. Resolutions and deformations of cyclic quotient surface singularities 2604.04472v1
    スクリプトを表示

    12本目は、math.AGからのクロス投稿で、Yukari ItoさんとKohei SatoさんとMeral Tosunさんによる「Resolutions and deformations of cyclic quotient surface singularities」です。 本稿では循環商曲面特異点の最小分解に関する古典的および現代的理論を総合的に整理しました。ヒルツブロック-ジュング連分数を用いて例外曲線の自己交差数と不変環の生成子を明示し、トーリック多様体としての表現は作用群の対称格子から導かれるファンで記述されます。G-ヒルバートスキームは最小分解と同型であり、特別な表現は例外曲線に対応しました。グローバー・ファンは軌道理想のグローバー・ファンと一致し、全体変形の基底空間は連分数データから得られる多項式方程式で表されます。リイ理論の枠組みでは、ADE 特異点の場合、変形空間はカートン対代数とワイル群の商に同型であり、根層面の合併が判別式となります。
13. 15:15 13. Gap theorems and achirality for automorphisms of K3 surfaces and Enriques surfaces 2604.04682v1
    スクリプトを表示

    13本目は、コウヘイ キクタさんとユウタ タカダさんとタイキ タカツさんによる「Gap theorems and achirality for automorphisms of K3 surfaces and Enriques surfaces」です。この研究では、K3 曲面とエンリッツ面の自己同型群に対し、エントロピーノルムのギャップ定理を証明し、パラボリック自己同型のアチリカル性を一次曲線射影図形の構造で記述しています。まず、自己同型群は関連するハイパーボリック空間上で有限生成部分群として作用し、Kleinian 群としての有限性を利用します。次に、非円筒作用を持つ群に対し、クワジモーフィズムを構成し、安定エントロピーノルムの上限を定数に依存しない形で得ます。これにより、正エントロピーを持つ自己同型が安定エントロピーノルムがゼロであるときに限りアチリカルであること、またアチリカルでない場合にはある正定数以上になることが示されました。
14. 16:21 14. Tschirnhausen bundles of sextic covers of $\mathbb{P}^1$ 2604.04709v1
    スクリプトを表示

    14本目は、math.AGからのクロス投稿で、サム・フレングリーさんとサメラ・ヴェムラパリさんによる「Tschirnhausen bundles of sextic covers of Pの1乗」です。 本稿では複素射影直線上にある滑らかな不可約曲線からの有限射影写像を考察し、その構造余剰のプッシュフォワードにより得られるベクトル束を完全に分類しました。 すべての制約は代数の乗算構造で説明できることを示し、任意のプッシュフォワードは非自明な部分覆を持つ覆で実現できると結論付けました。 「チシルヌハウゼン 実現問題」と呼ばれる問いを次数 6 の滑らかな覆に対して解明し、許容分割という概念を導入しました。 定理1.3 により、スクロラ不変量の五つ組が滑らかな六次覆に対応するためには許容分割が存在する必要十分であることを証明しました。 定理3.1 と 定理4.1 では、任意の五つ組を三次覆の上に二次覆を重ねた形、または二次覆の上に三次覆を重ねた形で実現できることを示しました。
15. 17:35 15. Isotropy subgroups of homogeneous locally nilpotent derivations 2604.04762v1
    スクリプトを表示

    15本目は、デミトリイ・チュナエフさんとポリナ・エフドキモワさんによる「Isotropy subgroups of homogeneous locally nilpotent derivations」です。 本稿では、アフィン多様体における局所的に零になる微分算子の最大同次形の等位群を調べ、特にトーリック多様体と三項式超曲面に対してその構造を明らかにします。 等位群は、微分算子の共役下での安定化子であり、自己同型群の閉部分群として重要です。 トーリック多様体では、同次局所的に零になる微分算子はデマウズ根に対応し、根と他の放射の原始ベクトルの内積がゼロであるかどうかで可換性が判定されます。 最大性は、同じ二次元面に属するすべての放射と非ゼロの内積を持つ根により決定されます。 三項式超曲面型Iでは、すべての同次局所的に零になる微分算子が最大であることが示され、型IIでは特定の形をした微分算子のみが最大であると判定されます。 主要結果として、最大同次局所的に零になる微分算子に対する自己同型群は、有限対称群・トーラス・非可換群の直積で構成されると述べられます。
16. 18:58 16. Explainable PQC: A Layered Interpretive Framework for Post-Quantum Cryptographic Security Assumptions 2604.03665v1
    スクリプトを表示

    16本目は、cs.CRからのクロス投稿で、アイシイ ダイスケさんとリズワン ジャハンギルさんによる「Explainable PQC: A Layered Interpretive Framework for Post-Quantum Cryptographic Security Assumptions」です。 本稿では、ポスト量子暗号の安全性仮定を三層に整理する「Explainable PQC」という枠組みを提示します。第一層は計算複雑性の観点から、古典的攻撃に耐えるか、量子攻撃に耐えるか、そして還元ベースの難しさに裏付けられるかを区別します。第二層では、格子問題の構造を組み合わせたホット理論と多面体幾何学を適用し、格子ファンの局所生成定理を用いて格子の結合性が難しさの源であることを示唆します。第三層は、ジュリア言語で実装された実験ツールキットで、LLLアルゴリズムとBKZアルゴリズムの計算時間とメモリ使用量を格子次元10〜40で測定し、近似解法は扱えるが正確解法は低次元で指数的に増大することを確認します。
17. 20:14 17. Arithmetic volume of Shtukas and Langlands duality 2604.03763v1
    スクリプトを表示

    17本目は、math.NTからのクロス投稿で、ゼウ・ワンさんとウェンチン・ウェイさんによる「シュタッカズの算術体積とラングランズ対称性」です。 本論文では、分裂セミシンプル群に対して任意の優位共重みを用いたシュタッカズのモジュライ空間の算術体積を拡張し、エイゲンウェイトと呼ばれる新しい定数群を導入しました。 エイゲンウェイトは、基礎曲線のゼータ関数の微分と算術体積を結びつける式に現れ、対称群の構造を直接的に反映する初めての事例です。 動機は、数体上のシムラ変数体と関数体上のシュタッカズモジュライ空間との類似性です。 数体の場合、シムラ変数体の体積はディリクレゼータ関数に結びつき、整数モデルの算術体積はその一階微分に結びつきます。 関数体の場合、シュタッカズの算術体積は高階微分と非自明定数を含むことが知られます。 本研究は、任意の共重みを許容することで理論を統一し、多くのケースでエイゲンウェイトの具体的で簡潔な式を提示しました。 主要な技術的手段は相対ヒーストック演算子の構築で、局所データからグローバルデータへと移行し、ヒーストックスタック上の準連接層と共に整数次数を組み合わせて定義しました。
18. 21:48 18. Cancellation-free version of the quantum $K$-theoretic divisor axiom for the flag manifold in the quasi-minuscule case 2604.04476v1
    スクリプトを表示

    18本目は、math.QAからのクロス投稿で、リョウ カトウさんとダイスケ サガキさんによる「Cancellation‑free version of the quantum K‑theoretic divisor axiom for the flag manifold in the quasi‑minuscule case」です。 本稿では、連結単純代数群 G のフラグ多様体 X=G/B に対する量子 K‑理論の除算子公理を除算が生じない形で示します。 量子 K‑理論の除算子公理はグロモフ・ウィッテン係数の和として表され、符号付きで計算が煩雑になります。 主定理では、集合の要素数が 2 以上なら符号付き和が 0 になり、1 なら正または負の 1 になることを示し、除算子公理は要素数に応じて 1、1 からある項を引いたもの、1、0 のいずれかになると結論づけます。 ミニスケールの根では 1 から特定の項を引いたものとなり、準ミニスケールの根に対しても同様に適用でき、計算が極めて簡易化され正の整数係数を持つ多項式で表されることを示します。
19. 22:58 19. Matroid analogues of Gal's conjecture 2604.04550v1
    スクリプトを表示

    19本目は、math.COからのクロス投稿で、バシル・コロンさんとルイス・フェロニさんとシユエ・リさんによる「Matroid analogues of Gal's conjecture」です。この論文では、ビルディング集合を備えたマトリョイドのChow環に対し、Charney–Davis、Gal、Nevo–Petersenの推測に相当する主張を立て、トーリック幾何学とトロピカル交差理論で証明しています。完全ビルディング集合という新しいクラスを導入し、最大ビルディング集合や自由共延長の拡張集合、コーデル・ネストヘドラ、超可解ビルド格子、最小ビルディング集合を持つバレイマトリョイドが含まれます。完全ビルドマトリョイドのChow環は階層的アーティニアン代数でカレーパッケージを満たし、ヒルベルト・ポアンカレ多項式はガンマ正で、ガンマ多項式は安定最大ネスト集合ごとに降順数を指数とするべき乗の総和として表され、ガンマベクトルとベクトルが一致するシンピシャル複体が得られます。
20. 24:06 20. An infinite series of Gorenstein local algebras failing the affine homogeneity property 2604.04793v1
    スクリプトを表示

    20本目は、math.ACからのクロス投稿で、ロマン・アヴデエフさんとユリヤ・ザイテヴァさんによる「An infinite series of Gorenstein local algebras failing the affine homogeneity property」です。 この研究では、n が 2 以上のときに成る無限系列の有限次元ゴーランスティン局所環 A_n を提示します。 著者らは、各 A_n の極大イデアルに対して、社会層とは別の 1 次元部分空間が存在し、かつ自動同型群に対して不変であることを示す簡単な証明を行います。 その結果、A_n はアフィン同質性を満たさないことが明らかになります。 さらに、これらの環に関する一般化ハッセト・チスリンク対応を通じて、射影多様体の加法作用に関する新たな帰結も議論します。
21. 25:03 21. Unlikely intersections in families of polynomial skew products 2604.04881v1
    スクリプトを表示

    最後は、math.DSからのクロス投稿で、チャチャイ・ノイトパティムさんとシアオ・ジョンさんによる「Unlikely intersections in families of polynomial skew products」です。 研究では正則多項式スキュープロダクトの一変数族に対する不思議交差を調べます。 二次正則多項式スキュープロダクトのモジュライ空間は係数 a,b,c,d を変数とする四次元アフィン空間と同型です。 特殊点は各座標に対応する一次変数が後方臨界点が有限である点です。 主張 1.2 により、次元が 1 以上の閉包多様体が無限に多くの後方臨界点が有限である点を含むならば、その多様体は b と a の零集合、あるいは a と d と c の零集合、あるいは b と c と d の零集合のいずれかに含まれると示されます。 定理 1.6 は P t と Q t が同時に前周期的になるパラメータ集合が無限であることと、高さ関数が等しいことが互いに同値であると述べています。