Whose Singularity Is It? ── Hironaka and Perelman: the Rhyme Is in the Method and Not in the Subject ── [Paper 174]

One is mending an injury the world left behind, and the other one it inflicted itself.

Hironaka's resolution of singularities and surgery in Ricci flow look much alike, since each replaces a bad local model by a standard one, finitely often. This paper writes that likeness as a rhyme and puts three separators under it, in numbers. NO STRUCTURAL IDENTITY IS CLAIMED, and refusing to claim one is the purpose of the paper. No new mathematical theorem is claimed either: Hironaka's theorem, the local calculation of a blow-up, the round-sphere solution of Ricci flow and Perelman's surgery are all standard. Paper 110 wrote that surgery and renormalisation are a rhyme, and this paper applies that discipline to a second pair, a rhyme being a licence to look and never a ground to conclude.

First, the blow-up was checked by hand. In the chart where the second coordinate is a product, the map round-trips exactly whenever the first coordinate is nonzero, so that the pair one half and minus three passes through one half and minus one and a half and returns unchanged. But at the origin every value of the second coordinate maps to the same point: a whole line collapses to one point, and over that point stands a projective line. A blow-up is therefore an isomorphism outside a set of lower dimension, a birational map, and it has an inverse, the blow-down.

Second, resolution really terminates. Tracking multiplicity sequences with home-made polynomial arithmetic, the node takes one blow-up with sequence two, the cusp takes one with sequence two then one, and the curves given by the square equalling the fifth, seventh and ninth powers take two, three and four, with sequences of twos followed by a one. The multiplicity two comes down while spending two units of exponent at a time. The procedure terminates, and by Hironaka in 1964 it terminates for every variety over a field of characteristic zero. And the first fence already stands here: in characteristic p the theorem is open in dimension four and above, while Ricci flow has no parameter that could even be set to p. The two surgeries do not share a parameter space.

Third, the first separator is invertibility. A blow-up has a blow-down and the information is kept up to birational equivalence, while surgery has no inverse and the information is discarded. Their effects on the invariants run opposite too: blowing up a surface at a point leaves the fundamental group unchanged and adds one to the second Betti number and to the Euler characteristic, so that the projective plane blown up at k points has Euler characteristic three plus k, that is three, four, five, six, seven. Surgery is performed precisely in order to change the fundamental group, splitting the manifold along its prime decomposition. One preserves the object and the other takes it apart, their purposes pointing in opposite directions.

Fourth, and this is the sharpest separator. Under Ricci flow a round n-sphere of radius r obeys the rule that the square of the radius decreases linearly, so that in dimension three starting from radius one it vanishes at time one quarter. Following the curvature scale gives one at time zero, 1.666666667 at a tenth, five at a fifth, 2500 at 0.2499 and 250000 at 0.249999. At time zero there is no singularity anywhere: the blow-up of the curvature was manufactured by the flow. Hironaka removes a defect that was there before anyone arrived, and Perelman removes one his own tool produced. One phrase, resolving a singularity, names two things of opposite provenance.

Fifth, surgery needs a scale. A blow-up has no free parameter, the exceptional divisor being the projectivised tangent cone with nothing to choose. Surgery cuts a neck where the curvature reaches a chosen threshold, and changing that threshold through ten, a hundred, ten thousand and a million moves the time of the cut to 0.225, 0.2475, 0.249975 and 0.24999975, with neck radii 0.316227766, 0.1, 0.01 and 0.001. In the language of Paper 95 this is a convention, and the theorem's real work is to show that the answer does not depend on it. Hironaka has no such clause to discharge.

So what is the rhyme worth? It is worth something. Both replace a bad local model by a standard one, both do so finitely often before the object becomes usable, and both secure termination by a monotone quantity that drops at each step. That is a real pattern, but a pattern of method and not of subject. A rhyme of method grants a licence to go and look and grants no conclusion, and the three separators above record where that licence runs out. A census: the provenance of the singularity is already there against made by the flow; invertibility is a blow-down exists against none; the fundamental group is unchanged against changed on purpose; the choice of scale is none against needed; the parameter space has a characteristic against has none. What they share is replacing a bad local model by a standard form, doing it finitely often, and having a monotone quantity that drops.

Important (scope note): a census of established standard facts (Layer 2). What is not shown: any new mathematical theorem, none is claimed; any structural identity, none is claimed and refusing it is the point; resolution in characteristic p, which is open. What is added: tracking multiplicity sequences with home-made polynomial arithmetic to count the blow-ups, showing in numbers that the curvature blow-up is absent at time zero, and varying the threshold to show that where one cuts is a convention. What remains: the two theorems look as though they were performing the same act, but one is mending an injury the world left behind and the other one it inflicted itself. Noticing the likeness is a good thing, and not stopping there is a better one.

On the making of this work: The ideas and content of this work stem from the author's own considerations. Assistance from an AI (a large language model) was used for structuring, English translation, and checking the algebra. Any remaining errors or misinterpretations are solely the author's. Feedback and corrections are sincerely appreciated.

-----

一方は世界が置いていった傷を直し、他方は自分がつけた傷を直している。

広中の特異点解消とリッチフローの手術は、よく似て見える——どちらも悪い局所模型を標準的なものに取り替え、有限回で済ませる。本稿はこの相似を韻として書き、三つの分離子を数で置く。⚠️ 構造的な同一性は主張しない——むしろ、しないことが本稿の目的である。新しい数学定理も主張しない:広中の定理、ブローアップの局所計算、リッチフローの球面解、ペレルマンの手術は、いずれも標準的な内容である。論文110 が「手術と繰り込みは韻である」と書いた規律を、本稿はもう一組に当てる——韻は見るための免許であって、結論のための根拠ではない。

第一に、ブローアップを手で確かめた。チャート y=XY での写像 (X,Y)→(X,XY) は、X が零でない限り往復が厳密に一致する(たとえば (0.5,−3.0) は (0.5,−1.5) を経て (0.5,−3.0) に戻る)。ところが X=0 では、どの Y も (0,0) に写る——直線全体が一点に潰れ、その一点の上に射影直線が立つ。⭐ つまりブローアップは、より低い次元の集合の外で同型であり、双有理な写像であって、逆(ブローダウン)を持つ。

第二に、解消は実際に終わる。重複度列を自前の多項式演算で追うと、結節点 y²=x³+x² は [2] でブローアップ 1 回、尖点 y²=x³ は [2,1] で 1 回、y²=x⁵ は [2,2,1] で 2 回、y²=x⁷ は [2,2,2,1] で 3 回、y²=x⁹ は [2,2,2,2,1] で 4 回であった(本稿で計算)。重複度 2 が指数を二つずつ吐き出しながら落ちていく。手続きは終わり、広中(1964)により、標数 0 の体上のあらゆる多様体で終わる。⭐ そしてここに最初の柵がすでに立っている——標数 p では、次元 4 以上で未解決である。リッチフローには p に相当する径数がそもそも無い。二つの「手術」は、径数空間を共有していない。

第三に、第一の分離子は可逆性である。ブローアップにはブローダウンがあり、情報は双有理同値の意味で保たれる。手術に逆は無く、情報は捨てられる。不変量への効き方も逆で、曲面を一点でブローアップすると基本群は変わらず、b₂ と χ が 1 だけ増える(射影平面を k 点でブローアップすると χ=3+k、すなわち 3、4、5、6、7)。⭐ 手術はまさに基本群を変えるために行われ、素分解に沿って多様体を割る。一方は対象を保ち、他方は対象をばらす——目的が逆を向いているのである。

第四に、これが最も鋭い分離子である。リッチフローの下で半径 r の丸い n 次元球面は r(t)² = r₀² − 2(n−1)t に従い、n=3、r₀=1 なら t=0.25 で消滅する。曲率の尺度を追うと、t=0 で 1.0、0.1 で 1.666666667、0.2 で 5.0、0.2499 で 2500.0、0.249999 で 250000.0 である(本稿で計算)。⭐⭐ t=0 には特異点がどこにも無い——曲率の発散は流れが作ったのである。広中が除くのは、誰かが来る前からそこにあった欠陥。ペレルマンが除くのは、自分の道具が生んだ欠陥。同じ「特異点解消」という語が、出どころの逆な二つを指している。

第五に、手術には尺度の選択が要る。ブローアップに自由径数は無い——例外因子は接錐の射影化であり、選ぶものが何も無い。手術は、曲率が選んだ閾値に達したところで首を切る。閾値を 10、100、10⁴、10⁶ と変えると、切る時刻は 0.225、0.2475、0.249975、0.24999975、首の半径は 0.316227766、0.1、0.01、0.001 と変わる。⭐ 論文95 の言葉でいえばこれは規約であり、定理の本当の仕事は答が選択に依らないことを示すことである。広中には、果たすべきこの条項が無い。

では、韻には何の値打ちがあるのか。値打ちはある——どちらも悪い局所模型を標準的なものに取り替え、対象が使えるようになるまで有限回それを行い、各段で落ちる単調量によって終了を保証する。これは本物の型である。⭐ ただし方法の型であって、対象の型ではない。方法の韻は「見に行ってよい」という免許を与えるが、結論は与えない。本稿が置いた三つの分離子は、その免許がどこで切れるかを書いたものである。点呼をしておく——特異点の出どころは「最初からある」対「流れが作る」、可逆性は「ブローダウンがある」対「無い」、基本群は「変えない」対「変えるために行う」、尺度の選択は「無い」対「要る」、径数空間は「標数がある」対「標数が無い」。共通するのは、悪い局所模型を標準形にすること、有限回で済むこと、落ちる単調量があることの三つである。

重要(射程):確立された標準的事実の点呼(第2層)。示さないこと:新しい数学定理(一つもない)/構造的な同一性(主張しない——これが本稿の目的)/標数 p での解消(未解決である)。加えたもの:重複度列を自前の多項式演算で追って解消の回数を出したこと、曲率の発散が t=0 に無いことを数で示したこと、閾値を振って「切る場所が規約である」と示したこと。残るもの:二つの定理は、同じ動作をしているように見える。だが一方は世界が置いていった傷を直し、他方は自分がつけた傷を直している。似ていることに気づくのは良いことである——そこで止まらないことは、もっと良いことである。

作成にあたって:本稿の着想と内容は、著者自身の考察に基づくものです。文章の構成整理や英訳、数式の確認には AI(大規模言語モデル)の助力を得ました。最終的な内容の解釈や誤りがあれば、それらはすべて著者の責に帰します。お気づきの点があれば、ご教示いただければ幸いです。