紹介した論文

1. 0:21 1. Sobolev embedding theorem and subanalytic measures 2604.22941v1
   スクリプトを表示

   1本目は、ギヨーム・ヴァレットさんによる「Sobolev embedding theorem and subanalytic measures」です。 この論文は、機械学習や統計学で使われるデータのモデル化を、より精密に行うための数学的な基盤を築いたものです。特に、尖点を持つような特異な集合の上で、関数がどれくらい滑らかに振る舞うかというソボレフ埋め込み定理を扱っています。 通常の定理では、こうした尖点がある場合にうまく機能しません。そこで著者は、グローバルに劣解析的な測度の直像という、かなり特殊な設定に注目しました。密度関数がゼロになったり、逆に爆発したりするという非常に厄介な状況を、リプシッツ錐構造という巧みな手法で乗り越えています。 結果として、十分大きな数kに対して、ソボレフ空間が特定の空間へ連続的に埋め込まれることが証明されました。さらに、これらの関数が内部リプシッツ関数として振る舞うことも示しており、幾何学的な構造と解析的な性質が見事に結びついていて快感ですね。 この理論はカーネル法への応用へと繋がります。
2. 1:45 2. Ulrich bundles with $c_2(\mathcal E)^2=0$ and connectedness of Ulrich subvarieties 2604.22978v1
   スクリプトを表示

   2本目は、ヴァレリオ・ブッティネッリさん、アンジェロ・フェリチェ・ロペスさん、ロベルト・ヴァッカさんによる「Ulrich bundles with cの2( E)の2乗=0 and connectedness of Ulrich subvarieties」です。 この論文では、滑らかな既約多様体上のウルリッヒ束という特別なベクトル束について、ある種の数に関する条件を満たす場合の分類をほぼ完全にやり遂げています。特に、ウルリッヒ部分多様体というものが、バラバラに分かれているか、それともつながっているかという点に注目しているのが面白いところです。 研究チームは、退化軌跡の理論やハーツホーンとセールの対応といった強力な道具を使って、多様体の幾何学的構造を詳しく分析しました。その結果、ランク２のウルリッヒ束がどのような条件で存在するかを突き止め、曲線や曲面上の線形束、あるいは曲線上の超二次ファイブレーションといった具体的な形に分類しています。 驚くべきは、ウルリッヒ部分多様性が非連結である場合には、元の多様体に対して非常に厳しい制約がかかることです。
3. 3:02 3. Diffeomorphism types of simply connected $3$-dimensional Mori fibre spaces 2604.23180v1
   スクリプトを表示

   3本目は、フォン・ハオさん、ヤン・スーさん、ジャンチャン・ヤンさんによる「Diffeomorphism types of simply connected 3-dimensional Mori fibre spaces」です。 この論文では、ホモロジー群にねじれを持たない、単連結な三次元のモリファイバー空間の微分同相型を分類しています。滑らかな射影ファノ三次元多様体は、微分同相型が百五種類しかないことが分かっていますが、モリファイバー空間になると話はもっと複雑になります。なんと、無限に多くの微分同相型が存在するからです。そこを、有限個の数値的不変量で判定できないか、という挑戦的なアプローチをとっています。 具体的には、底空間の次元で分けて分析しています。底空間が二次元のときは円錐束として、一次元のときはデルペッツォ曲面をファイバーとする束として、そして零次元のときはファノ三次元多様体として扱っています。 特に面白いのが、底空間が曲線のケースで、滑らかなファイバーの微分同相型を検知するために、ニューという新しい不変量を導入している点です。
4. 4:22 4. Resonance of rank-two vector bundles over elliptic curves 2604.23291v1
   スクリプトを表示

   4本目は、カリン・スピリドンさんによる「Resonance of rank-two vector bundles over elliptic curves」です。 この論文では、楕円曲線上のランク二のベクトル束におけるレゾナンス多様体という、コホモロジーのジャンプ軌跡について研究しています。二つの線形独立な大域切断が、ランク一の部分層を生成するときにレゾナンスが起きると定義されています。 これまで射影直線で研究されてきたこのテーマを、楕 typename 楕円曲線まで広げようとする試みがとても意欲的ですね。著者はフラットニング層化という手法を使い、飽和した部分直線束の次数に基づいてレゾナンス多様体を分解し、それをブリュイ・ノイター軌跡に写像しています。 具体的には、非分裂型と分裂型の二つのケースを分析しています。非分裂型の場合は、アティヤの分類を用いることで、レゾナンスが射影部分空間、つまり線形多様体になることを示しました。
5. 5:32 5. Exceptional loci of F-blowups and $G$-Hilbert schemes 2604.23591v1
   スクリプトを表示

   5本目は、エンリケ・チャベス・マルティネスさん、カイジマ・ユタロウさん、ヤスダ・タケヒコさんによる「Exceptional loci of F-blowups and G-Hilbert schemes」です。 この論文では、正標数における爆発という操作、特にエフ爆発の特異点について深く掘り下げています。研究の大きな目的は、ある種の重要な因子が、エフ爆発後の空間でちゃんと素因子として現れるかどうかを調べることでした。これは、弧の族に関するナッシュ問題の正標数版のようなアプローチですね。 面白いのが、これを解くためにクリティカル・アローという概念を導入している点です。組み合わせ論的なデータを使って、因子の中心の次元を決定する公式を導き出しています。さらに、セージマスというソフトを使って、実際に計算するためのアルゴリズムまで開発しているあたりに、実用的な情熱を感じます。 結果として、三次元の特定の多様体では、すべての重要な因子が素因子として現れることが分かりました。一方で、四次元になると話が変わってきて、否定的な答えが出るケースがあることも示されています。
6. 6:56 6. Invertibility of constructible sheaves under convolution 2604.23872v1
   スクリプトを表示

   6本目は、メディ・ベンシュフィさんによる「Invertibility of constructible sheaves under convolution」です。 この論文では、有限次元の実ベクトル空間上の構成可能層という、ちょっと複雑な対象を、畳み込みという操作を使って分析しています。特に、ある構成可能層が畳み込みに関して逆元を持つかどうかという、いわば数学的な逆転現象のような問題にアプローチしているのが面白いですね。 まず、コンパクトな台を持つ構成可能層が逆元を持つ場合、その逆元は対蹠変換したものの双対で与えられることを示しています。さらに、定数層というシンプルなケースに注目すると、逆元を持つことは台が凸集合であることと同値だという、非常に視覚的でスッキリとした結果を導き出しています。 また、特性サイクルを射影して得られるマイクロローカル変換という道具を導入し、これが畳み込みと互換性を持つことを証明しています。この変換を使えば、逆元を持つための必要条件をうまく記述できるとのことです。解析的な道具を駆使して、層という代数的な対象の性質を鮮やかに描き出している、非常に技巧的な研究ですね。
7. 8:24 7. The Birational Invariance of Fundamental Group Schemes 2604.23997v1
   スクリプトを表示

   7本目は、リングァン・リさんとハオ・ワンさんによる「The Birational Invariance of Fundamental Group Schemes」です。この論文では、代数幾何学におけるさまざまな基本群スキームが、有理的変換をしても変わらないかどうかという、非常に奥深い問題に挑んでいます。 基本群スキームというのは、ベクトル束のタナカ圏を使って、古典的な基本群をより精緻にしたものですが、これが有理的修正に対して不変であるかを調べるのが今回の目的です。著者の二人は、有理的射が基本群スキームの同型を導くための、一般的なタナカ的な判定基準を確立しました。具体的には、引き戻しと直像の関手が、それぞれのタナカ圏の間で準逆の完全テンソル関手として機能することが鍵になります。 この基準を、数値的に平坦な束に基づくエス基本群スキームや、本質的に有限な束に基づくノリ基本群スキームなど、幅広い種類の基本群スキームに適用しています。その結果、完全体上の滑らかな射影多様体における有理的写像に対して、これらの基本群スキームが自然に同型になることを示しました。
8. 9:46 8. Birational boundedness of stable families 2604.24106v1
   スクリプトを表示

   8本目は、パオロ・カシチニさん、ジハオ・リウさん、カルム・スパイサーさん、ロベルト・スヴァルディさんによる「Birational boundedness of stable families」です。 この論文では、次元と随伴体積が有界な、最大変分を持つ安定な族の双有理有界性を証明しています。実は、ファイバー束のような構造を持つ多様体に対して従来の有界性の手法を使うと、相対的な標準因子の半正定値性が足りなかったり、有効な双有理性が得られなかったりと、壁にぶつかることが多いんですよね。 そこで著者たちは、相対的な標準類と絶対的な標準類の橋渡しをする補間因子という新しいアイデアを導入しました。ここが非常に巧妙で、問題を単なるファイバー束の枠組みから、より広い代数的に可積分な葉層という視点へとシフトさせています。葉層の双有理幾何学を利用することで、双有理的な変形に対してより扱いやすい状況を作り出したわけです。 特に注目すべきは、葉層における対数標準閾値の漸近連鎖条件、いわゆるマッカーナン予想を証明した点です。
9. 11:08 9. Dimension of the motivic Galois group of a 1-motive 2604.24128v1
   スクリプトを表示

   9本目は、クリスティアナ・ベルトリンさんによる「Dimension of the motivic Galois group of a 1-motive」です。 この論文では、数体上で定義されたワンモーティブという対象の、モーティブ・ガロア群の次元を計算しています。ワンモーティブとは、簡単に言うと乗法群と楕円曲線を組み合わせたような構造のことです。 著者は、この複雑な構造をランク1の格子や1次元トーラスといったシンプルな成分に分解して分析しています。特に、定義に使われる点たちが作る乗法群のランクが、全体の次元にどう影響するのかを丁寧に調べています。数学的に非常に緻密なアプローチで、単なる計算に留まらず、自己準同型写像の存在といった幾何学的な性質が次元にどう結びつくかを明らかにしている点が、とてもエキサイティングですね。 最終的に、モーティブ・ガロア群の次元を3つの要素の和として表す具体的な公式を導き出しました。さらに、この結果を応用して、グロタンディーク・アンドレの周期予想という非常に難しい問題について、ワンモーティブにおける新しい定式化を提示しています。
10. 12:30 10. A Bornological Perspective on the Representability of Derived Moduli Stacks of Solutions to PDEs 2604.24164v1
    スクリプトを表示

    10本目は、リアノン・サベージさんによる「A Bornological Perspective on the Representability of Derived Moduli Stacks of Solutions to PDEs」です。 非線形楕円偏微分方程式の解の導来モジュライスタックが表現可能であることを証明するには、通常、かなり強力な解析学的な道具が必要になります。でも、この論文では、アルティンとルリーが提唱した形式の表現定理を使えば、自然に表現可能性が導き出されることを示しています。 そのために、著者はシー無限大環を拡張した、シー無限大ボノルジカル環という新しいモデルを導入して、導来微分幾何学を再構築しました。この理論は、ベンバッサットさん、ケリーさん、クレムニザーさんが最近提案した導来ボノルジカル幾何学の理論に組み込まれています。 解析的な難問を、ボノルジカルという視点から代数的な枠組みで鮮やかに解決しようとするアプローチには、目を見張るものがありますね。微分方程式という非常に具体的な対象を、導来幾何学という高度に抽象的な視点から捉え直す構成は、とてもエキサイティングです。
11. 13:52 11. On the degree of the singular subscheme of hypersurfaces in ${\mathbb P}^n$ 2604.24308v1
    スクリプトを表示

    11本目は、アレクサンドル・ディムカさんとガブリエル・スティクラルさんによる「On the degree of the singular subscheme of hypersurfaces in Pのn乗」です。 この論文では、複素射影空間にある超曲面の特異部分スキームの次元と次数を求めるための具体的な公式を提案しています。 面白いのは、特異部分スキームという幾何学的な性質を、ヤコビ代数という代数的な性質に結びつけて考えている点です。具体的には、ヤコビ代数の最小自由分解から得られる次数付きベッチ数を使って、次元や次数を表現することを目指しています。 分析の手法としては、ヒルベルト多項式を使い、ヒルベルトのシジジー定理に基づいて最小次数付き自由分解を構築しています。これにより、特異部分スキームの次元は常にnマイナス2以下になることや、次数をベッチ数で表す正確な公式を導き出しました。さらに、超曲面が滑らかであるための条件をベッチ数の等式として示したのも見事です。 特に実用的だと感じたのは、この公式を一種の判定基準として使える点です。
12. 15:13 12. Second gonality of smooth aCM curves on quartic surfaces in $\mathbb{P}^3$ 2604.24445v1
    スクリプトを表示

    12本目は、ケンタ・ワタナベさんによる「Second gonality of smooth aCM curves on quartic surfaces in Pの3乗」です。 この論文では、射影三次元空間の中にある滑らかな四次曲面上の、算術的コーエン・マコーレー曲線という特殊な曲線に注目して、その第二ゴナリティという数値を計算しています。 そもそも、高ランクのブリル・ノーター理論という分野では、曲線のゴナリティの列がある種の傾き不等式を満たすと考えられてきました。でも、実は一般的なK3曲面上の曲線など、この不等式が成り立たない反例が存在するんです。そこが非常に興味深いところで、著者はこれらの反例をより深く理解するために、aCM曲線の第二ゴナリティを分類して計算しようと試みました。 具体的には、ラザルスフェルド・ムカイ束という道具を使い、曲面上の連接層の安定性や構造を分析することで、曲線のゴナリティを曲面上のラインバンドルの交点数と結びつけています。 結果として、特定の条件下にあるaCM曲線において、第二ゴナリティが具体的にいくらになるかを導き出しました。
13. 16:36 13. On Maximal Symmetries of Toric Varieties over Fields of Characteristic Zero 2604.24495v1
    スクリプトを表示

    13本目は、ナイトウ・ユタロウさんによる「On Maximal Symmetries of Toric Varieties over Fields of Characteristic Zero」です。 この論文では、標数ゼロの体の上で、大きな対称群の忠実な作用を持つ完備単体的トーリック多様体について研究しています。特に、複素数体のような代数的に閉じた体だけでなく、有理数体や実数体のような、代数的に閉じていない体において、算術的な制約が対称性にどう影響するかを掘り下げています。 まず、複素数体における四次元多様体の分類について、過去の成果にあった不備を修正しています。四次元の完備単体的トーリック多様体が対称群エスファイブの作用を持つのは、射影空間や特定の射影束、あるいは正の偶数重みを持つ加重射影空間である場合に限られることを示しました。 一方で、特定の算術的条件を満たす非閉体上の世界では、非常に面白い結果が出ています。一次元、三次元、四次元では、最大対称群を持つ多様体は射影空間に限定されるという、驚くほどの剛性が見られました。 ところが、二次元の曲面になると話は一変します。
14. 18:05 14. Nakai conjectures for isolated homogeneous hypersurface singularities 2604.24508v1
    スクリプトを表示

    14本目は、スティーブン・エス・ティー・ヤウさん、チウェイ・ズさん、フアイチン・ズオさんによる「Nakai conjectures for isolated homogeneous hypersurface singularities」です。 この論文では、代数多様体の特異点を微分作用素で判定できるかという、ナカイ予想という非常に挑戦的な問題に取り組んでいます。通常、滑らかな複素多様体上の微分作用素の環は導分によって生成されますが、その逆、つまり導分で生成されるならその多様体は滑らかであるはずだ、というのがナカイさんの考えでした。 著者たちは、特に孤立した同次超曲面特異点に注目して、この予想の弱いバージョンと、シング予想と呼ばれる問題について検証しています。同次多項式で定義される超曲面の座標環において、微分作用素の環が本当に導分だけで作られているのかを突き止めるという、非常に緻密な解析を行っています。 具体的には、オイラー導分やハミルトン導分を駆使して、導分のモジュールの生成元を特徴づけています。
15. 19:20 15. Denef-Loeser zeta functions of suspensions and L\^e-Yomdin singularities 2604.24523v1
    スクリプトを表示

    15本目は、エンリケ・アルタル・バルトロさん、ペドロ・ゴンザレス・ペレスさん、マヌエル・ゴンザレス・ヴィラさん、エドウィン・レオン・カルデナールさんによる「Denef-Loeser zeta functions of suspensions and Lê-Yomdin singularities」です。 この論文では、ゼータ関数の極とモノドロミーの固有値という、数論や幾何学における非常に深い結びつきを扱うモノドロミー予想に挑んでいます。特に、平面曲線の特異点のサスペンションにおける正則性予想を完全に証明したほか、曲面のレ・ヨムディン特異点についても、正則性とモノドロミーの両方の予想を証明しました。 アプローチがとても巧妙で、弧の空間の二重分割や、層化原理のモチーフ版という高度な手法を駆使しています。特に、ジョルダンのトーシェント関数を係数として使うことで、サスペンションのトポロジカルなゼータ関数の明示的な公式を導き出しています。過去の文献にあった不正確な部分を修正して、より精緻な公式を提示した点も、研究者としてのこだわりが感じられて素晴らしいですね。
16. 20:34 16. Hyper-Operations and Extension of Scalars from $\mathbb{F}_1$ to $\mathbb{Z}$ 2604.24568v1
    スクリプトを表示

    16本目は、ルキョウ・シュさんによる「Hyper-Operations and Extension of Scalars from Fの1 to Z」です。 この論文は、数学の世界で非常に刺激的なテーマである、たった一つの要素を持つ体、いわゆるエフワンという概念に挑んでいます。エフワンは古典的な体の定義では存在できないため、その加法構造をどう定義するかが大きな課題となっていました。 著者のシュさんは、エフワン集合という枠組みを使ってエフワン加群をモデル化していますが、ここでの足し算は、私たちが知っているような単純な二項演算ではありません。なんと、多値のn項ハイパー演算という、かなり複雑な家族のような構造を持っていて、しかも古典的な結合法則が成り立たないという、かなり手強い性質を持っています。 ですが、ここでシュさんは一般化された結合法則という定理を導入します。これにより、厳密な結合性はなくても、n項の和が二項演算の繰り返しによって制御できることを証明しました。括弧をどう付けても結果が制御できるというのは、数学的な安心感がありますよね。
17. 21:56 17. Principal Matroid Determinants 2604.24667v1
    スクリプトを表示

    17本目は、サイエイ・ジェヨン・マツバラ・ホさんとサイモン・テレンさんによる「Principal Matroid Determinant」です。この論文では、実現可能なマトロイドに対する主マトロイド行列式と、マトロイド超幾何系という新しい理論を構築しています。 もともと、トーリック多様体や超幾何系を扱うジーケーゼット理論という有名な枠組みがあるのですが、著者の方々はこれをマトロイドの組み合わせ論的な視点から捉え直そうと試みました。具体的には、トーリック多様体の代わりに、逆線形空間という概念を導入して、主マトロイド行列式を定義しています。 特に面白いと感じたのは、この行列式の零点集合が、ある超曲面族のオイラー標数が変化する場所と一致するという点です。幾何学的な性質が、マトロイドという抽象的な構造から導き出されるのは非常にエキサイティングですね。 さらに、この理論を素粒子物理学に登場するバナナ図形に応用しています。ファインマン積分がこの超幾何系の解になることを示しており、特にランク3の一様マトロイドの場合には、ラウリチェラの超幾何級数を再現しています。
18. 23:21 18. Formalizing $A_1^{(1)}$ Curve Neighborhoods in Lean 4 2604.23211v1
    スクリプトを表示

    18本目は、math.COからのクロス投稿で、イーヘ・ファンさん、シージェ・ツイさん、ジアチ・ワンさん、ジュジアン・ジャンさんによる「Formalizing Aの1の1乗 Curve Neighborhoods in Lean 4」です。 この論文では、アフィン旗多様体における量子シュベルト計算の基礎となる、タイプエーワンの組み合わせ的な曲線近傍を、証明アシスタントのリーンフォーで完全に形式化しています。 曲線近傍の計算には、語長やパリティの確認といった非常に複雑な組み合わせ的なステップが必要で、人間が手計算で行うとどうしてもミスが起きやすい分野です。そこを機械的にチェックして、ミハルチェアさんとノートンさんが導き出した明示的な公式を正しく証明しようという試みですね。 技術的には、無限二面体群をコクセター系として定義し、頂点を群の要素、辺をルート反射で決めるモーメントグラフを構築しています。特に、抽象的なコクセター長を計算可能な明示的な関数に結びつけた点や、パリティに関する補題を証明して探索範囲を有限に絞り込んだ点が、非常に巧妙で面白いと感じました。
19. 24:40 19. Hybrid Conjecture in a Mixed Shimura variety 2604.23376v1
    スクリプトを表示

    19本目は、math.NTからのクロス投稿で、ロドルフ・リシャールさんとアンドレイ・ヤファエフさんによる「Hybrid Conjecture in a Mixed Shimura variety」です。 この論文では、混合シムラ多様体という非常に複雑な空間の中で、混合ハイブリッド予想という壮大なテーマに挑んでいます。この予想がすごいところは、アンドレ・オルト予想やマンフォード・マンフォード予想といった、数論幾何学における超重要課題をひとつの枠組みでまとめて解決しようとしている点です。 驚くべきは、そのアプローチです。これまで主流だったピラ・ザニエの手法をあえて離れ、等分布性とオーミニマリティという二つの強力な武器を組み合わせています。特に、点の高さが必ずしも増えないような難しいケースでも対処できる仕組みを構築しており、その戦略的な視点には脱帽しますね。 技術的な面では、ユニバーサル・アーベルスキームにおける予想を、いわゆるモルデル的な部分にまで還元して証明しています。さらに、リベのクンマー理論をハイブリッド軌道上で一様に成立させるなど、非常に緻密な議論が展開されています。
20. 26:01 20. The Absolute Anabelian Geometry of Virtual Curves of Arbitrary Genus 2604.23485v1
    スクリプトを表示

    20本目は、math.NTからのクロス投稿で、ゼミン・スンさんによる「The Absolute Anabelian Geometry of Virtual Curves of Arbitrary Genus」です。この論文は、これまで種数ゼロの場合にしか適用できなかった、点付き仮想曲線の絶対的なアナベリアン幾何学を、あらゆる種数の曲線へと拡張したという非常に野心的な研究です。 具体的には、仮想基本群という抽象的なプロ有限群の構造から、関数体やスキームといった幾何学的な対象を復元できるかという問題に取り組んでいます。著者は、群論的な抽象化を導入することで、プロ有限群と代数幾何学の間の橋渡しを試みました。特に、種数に応じて３つのケースに分類して解析しており、種数が１以上のケースにおいても、関数体や双曲曲線を関手的に構成できることを証明しています。 さらに、ある種の仮想曲線の幾何学的な性質を判定する基準まで示しており、ガロア切断が有理点から得られることを証明しています。数体や混合標数局所体上の双曲曲線において、基本群がその代数的な構造を支配しているというアナベリアン哲学を、より広い範囲で裏付けた快挙と言えるでしょう。
21. 27:31 21. Enhanced CAD-Based Quantifier Elimination With Multiple Equational Constraints 2604.23873v1
    スクリプトを表示

    21本目は、cs.SCからのクロス投稿で、ジェームス・エイチ・ダベンポートさん、マシュー・イングランドさん、スコット・マッカラムさんによる「Enhanced CAD-Based Quantifier Elimination With Multiple Equational Constraints」です。 この論文では、円筒代数分解という手法に基づいた量化記号除去の効率化と、出力情報の充実について提案しています。量化記号除去は、複雑な数式から条件を抽出する強力な道具ですが、計算量が爆発的に増えてしまうという、いわゆる二重指数関数的な壁にぶつかりやすいのが悩みどころですよね。 そこで著者たちは、特に等式制約が複数ある場合に有効な二つの改善策を提示しました。一つ目は、単に真か偽かを判定するのではなく、パラメータに対して未知数がどのように振る舞うかという、より詳細な一般解を導き出す枠組みです。これにより、パラメータ空間を分割して、解の数が有限か無限か、有限なら具体的にどういう式で表されるかまで分かります。これは実用上のメリットが非常に大きそうです。 二つ目は、計算効率を上げるために、射影セットのサイズを小さくする手法です。
22. 28:59 22. On D-cap-Modules of Finite Length on Rigid Analytic Spaces 2604.24173v1
    スクリプトを表示

    22本目は、math.NTからのクロス投稿で、ジュリアン・ライヒハルトさんによる「On D-cap-Modules of Finite Length on Rigid Analytic Spaces」です。 この論文では、滑らかな剛解析空間における解析的微分作用素のホロノミック性という、かなり手強い課題に取り組んでいます。代数的なホロノミック加群についてはよく知られていますが、解析的な世界、特に弱ホロノミック加群になると、長さが無限になってしまうといった厄介な挙動を示すことがあります。そこで著者は、これらの加群が有限の長さを持つための判定基準を明らかにしようとしました。 具体的には、完備化されたヴェイユ代数上の有限生成加群に対してヒルベルト多項式を導入し、二重フィルタリングなどの手法を用いて、閉じた単位多円盤上の弱ホロノミック加群がいつ有限の長さを持つかを分析しています。 特に注目すべきは、代数的な連接加群を共許容的な解析的加群へと変換する拡張関手についての考察です。準コンパクトで滑らかな剛解析空間において、この関手がホロノミック加群を、弱ホロノミック加群として有限の長さを持つ共許容的加群に写すことを証明しました。
23. 30:27 23. The Flat CR Twistor Model $Q^{2,2}$ and Its Algebraic Sections 2604.24233v1
    スクリプトを表示

    最後は、math.DGからのクロス投稿で、アメデオ・アルタヴィッラさんとステファノ・マリニさんによる「The Flat CR Twistor Model Qの2, 2乗 and Its Algebraic Sections」です。 この論文では、複素三次元多様体である超二次曲面を、平坦なシーアール・ツイストモデルとして詳しく調べています。もともとは三次元球面上の共形幾何学と、代数幾何学的な視点を結びつけたいという目的で書かれています。 特に面白いのが、ツイスト空間の中にある正射投影直線などの代数的な切断が、もとの球面上でどのような構造を作るかという分析です。例えば、ツイストファイバーは球面の点に対応しますが、それとは別の横断的な直線は、球面上の丸い二次元球面に対応します。こうした図形的な対応関係を、対称群を用いてきれいに分類しているのが印象的ですね。 さらに、二次曲面による切断を調べることで、標準的な平坦モデルとは異なる、新しい非球面のシーアール構造を具体的に作り出しています。単なる理論的な分類に留まらず、実際にパラメータを持つ構造の族を導き出している点に、研究者の熱意を感じます。