Automorphisms of very general blow up

あなたは、対称性に関する謎を解こうとしている探偵だと想像してください。数学の世界、特に代数幾何学と呼ばれる分野では、形や曲面のようなオブジェクトは「対称性」を持っています。これは、それらをひねったり、反転させたり、回転させたりしても、以前と全く同じに見える方法のことです。これらの対称性は、形が知っている「秘密の動き」のようなものです。通常、完全な球体のような非常に単純な形であれば、膨大な数のこれらの動きを持っています。つまり、どんな方向にでも回転させることができるのです。しかし、数学者たちはある魅力的なルールを長年疑ってきました。それは、複雑な形を取り、それを「生成的（generic）」にした場合（つまり、あらゆる可能性の広大なプールからランダムに特徴を選び、特別な、整ったパターンを避けた場合）、その形はほとんどすべての対称性を失う傾向があるというルールです。形は硬直化し、独特になり、動くことを頑固に拒みます。この論文はこのアイデアを掘り下げ、特定の問いを投げかけます。もし、複雑な3次元（またはそれ以上）の形に、たくさんのランダムな穴をポコポコと開けたら、その形はあまりにも無秩序になり、筋肉一つ動かすことさえできなくなるのだろうか？という問いです。

Supravat Sarkarによる「Automorphisms of Very General Blow Up（非常に一般的な吹出しの自己同型）」と題されたこの論文は、「吹出し（blowing up）」と呼ばれるプロセスを研究することで、この問題を調査しています。簡単に言えば、形状上の点に対して「吹出し」を行うことは、小さな針の穴を取り、それを表面から突き出た新しい小さな泡（球面）へと膨らませるようなものです。これを一度行えば、形にはまだいくらかの対称性が残っているかもしれません。しかし、もしこれを、多くの異なる、ランダムに選ばれた場所で何度も何度も行ったとしたらどうなるでしょうか？著者は強力な結果を証明しています。もし、あなたが（単なる丸まった紙や平面のような「有理曲面」ではない）複雑な射影多様体（洗練された種類の幾何学的形状）から出発し、十分に多くの「非常に一般的な（very general）」点を吹出しに行った場合、得られる形状は非自明な自己同型を持たないことになります。平易な言葉で言えば、十分に多くのランダムな穴を開ければ、その形は完全に硬直します。それはもはや対称性を持ちません。形はそこに凍りついているのです。

論文は用語の定義を慎重に行っています。「非常に一般的（very general）」は極めて重要な概念です。それは単に「ランダム」であることを意味するのではありません。それは、点が（特別な対称性が偶然生き残ってしまうような）特定の、数え上げ可能な「悪い」場所を避けるように選ばれていることを意味します。もし、点が「一般的」ではあるが「非常に一般的」ではない場合（例えば、点が完璧に並んでいたり、隠れた対称性の線上に位置していたりする場合）、形にはまだ動きが残っているかもしれません。著者は、アベル多様体（トーラスやドーナツに関連した形状の一種）を用いた反例を提示し、点が「一般的」であっても「非常に一般的」ではない場合、誤って対称性を保持してしまう可能性があることを示しています。しかし、「非常に一般的」なケースにおいては、それは硬い数学的証明となります。対称性群はゼロへと縮小するのです。

証明は、問題を異なるタイプの形状へと分解することによって進められます。3次元以上の形状については、著者は「対称性群の次元」を用いた論理的なトリックを使用します。考え方としては、すべての可能な対称性の空間はサイズが制限されています。十分に多くのランダムな点を選べば、対称性がこれらの点（あるいはいくつかの特別な「悪い」場所）を自分自身に写さなければならないという要求は非常に制約が強くなり、その条件を満たす唯一の対称性は、実際には何も行わないこと――すなわち恒等写像――だけになります。これは、1,000個のランダムな物体がある部屋を並べ替え、かつ見た目を全く同じにできる人を探すようなものです。その確率は非常に低いため、何も動かさない本人を除いて、誰もそれができないのです。

曲面（2次元の形状）については、論理はより複雑になります。著者はまず、リーマン的な性質を持つ「非単一連結（non-uniruled）」な曲面（特定の直線や単純な曲線によって覆われることができない形状）について扱い、それらが高次元の場合と同様の挙動を示すことを示します。よりトリッキーな部分は、「リーマン的曲面（ruled surfaces）」、つまり線の積み重ねやチューブのように見える形状です。ここで著者は、「基本変換（elementary transformations）」と呼ばれるツールを使用します。これは、曲面のパーツを入れ替えて形状を単純化する特定の方法のようなものです。いかなる対称性も特定の特別な曲線を保存しなければならないことを示し、十分に多くのランダムな穴を開ければ、全体の構造を崩壊させることなくそのような対称性は存在し得ないことを証明することで、著者はここでもルールが成立することを確認しています。

この論文の中で最も興味深い部分の一つは、射影多様体（標準的な数学的空間の中に綺麗に収まる形状）ではない場合、あるいは形状が「有理曲面」（平面や球体のようなもの）である場合に何が起こるかです。著者は、現在の手法では有理曲面には通用しないことを認めていますが、ルールは依然として成立しているのではないかと推測しています。また、もし形状が「射影的」でない場合（例えば無限の3次元空間のような場合）、対称性が生き残る例を構築できることも示しています。これは、形状の「射影的」な性質が、硬直化における重要な要素であることを浮き彫りにしています。

最後に、この論文はクールな応用例を提示しています。著者は、自己同型を全く持たない一方で、楕円曲線（ドーナツのスタックと考えてください）の束として無限に異なる見方をされる、特定の滑らかな曲面を構成しています。これは驚くべきことです。なぜなら、通常、形が対称性を持たない場合、その構造は限定的になると予想されるからです。しかしここでは、対称性の欠如が、むしろ同一のオブジェクトに対する無限に多様な「視点」を可能にしています。それは、どの角度からも同じに見える彫刻でありながら、同時に、リングのスタックとして無限に異なる方法で記述できるようなものです。

要約すると、この論文は数学における深い直感を裏付けています。複雑さとランダムさは、対称性の敵なのです。十分に複雑な形を取り、そこに十分に多くのランダムな穴を開ければ、その形が持つあらゆる変形能力は破壊されます。その形は、隠された動きを一切持たない、ユニークで凍りついたアーティファクトとなるのです。著者は、広範なクラスの形状に対してこれを厳密に証明しており、形状が最も一般的な極限へと押し込まれたときに、幾何学がどのように振る舞うかについての理解に新たな一章を書き加えています。