特異点解消のソースを表示

{{about||the technique used for graph C*-algebras and Leavitt path algebras|Graph C*-algebra#Desingularization}}
[[File:Functorial Resolution of Singularities.svg|thumb|400px|<math>X:=(x^2-y^3=0) \subset W:= \mathbf{R}^2</math> の'''強非特異化'''。最初のブローアップで強変換は滑らかになっているがそこでは解消の手続きは停止せず、例外因子と単純正規交叉するまで続く。]]
[[代数幾何学]]の{{読み仮名_ruby不使用|'''特異点解消'''|とくいてんかいしょう|{{lang-en-short|resolution of singularities}}}}の問題とは、すべての[[代数多様体]] {{mvar|V}} が特異点の解消を持つかどうか、つまり {{mvar|V}} に対して[[代数多様体の特異点|非特異代数多様体]] {{mvar|W}} であって[[固有射|固有]]な[[双有理幾何学|双有理]]写像 {{math|''W''&rarr;''V''}} を持つものを見つけられるかどうかを問う問題である。[[標数]]0の体上の代数多様体については[[広中平祐]]によって1964年に肯定的に解決されている{{sfn|Hironaka|1964}}。しかし標数 {{mvar|p}} では4次元以上で未解決である<ref>{{Cite journal|title=On the problem of resolution of singularities in positive characteristic (or: a proof we are still waiting for) |author=Hauser, Herwig |journal=Bulletin of the American Mathematical Society |volume=47 |issue=1 |pages=1-30 |year=2010 |doi=10.1090/S0273-0979-09-01274-9 |url=https://doi.org/10.1090/S0273-0979-09-01274-9}}</ref>{{Sfn|松木|2017|p=2}}。

==定義==
元々の特異点解消の問題とは、代数多様体 {{mvar|X}} の関数体に対してその非特異モデル、つまりその[[代数多様体の函数体|関数体]]を持つ完備非特異代数多様体 {{math|''X&thinsp;&prime;''}} を見つけることであった。しかし応用上は次のように少し違った形で問題を定式化しておいたほうが便利である。代数多様体 {{mvar|X}} が'''特異点解消'''を持つとは、非特異代数多様体 {{math|''X&thinsp;&prime;''}} と
{{math|''X&thinsp;&prime;''}} から {{mvar|X}} への[[固有射|固有]]な双有理写像を見つけられることをいう。写像が固有という条件は、{{math|''X&thinsp;&prime;''}} として
{{mvar|X}} の非特異点がなす部分代数多様体などの自明な解を除外するためのものである{{Efn|
{{mvar|X}} の非特異点がなす開集合は {{mvar|X}} とほぼ同じ形の非特異代数多様体であるが、{{mvar|X}} が固有であったとしてもそれは固有にはならない。コホモロジー論的に扱いやすものは固有な代数多様体であるため、このような自明な解は応用上強力なものにならない。そのため、「固有」という条件を満たすものの中から非特異なものを探すことが大事である。
}}。

もっと一般に、より大きな代数多様体 {{mvar|W}} に埋め込まれた代数多様体 {{mvar|X}} の特異点を解消すると便利であることが多い。{{mvar|X}} から正則な代数多様体 {{mvar|W}} への閉埋入があったとする。{{mvar|X}}
の{{訳語疑問点範囲
|'''強非特異化'''
|date=2021年12月
|strong desingularization|cand_prefix=原文
}}（strong desingularization）とは、正則な代数多様体 {{math|''W''&prime;}} から {{mvar|W}}
への固有双有理射であって次の条件いくつか満たすものを与えることである（条件の選び方は人によって異なる）。

# {{mvar|X}} の[[代数幾何学用語一覧#強変換|強変換]]（固有変換、狭義変換とも） {{math|''X&thinsp;&prime;''}} は正則で、解消の射の{{訳語疑問点範囲
|{{仮リンク|例外軌跡|en|exceptional locus}}
|date=2021年12月
|exceptional locus|cand_prefix=原文
}}と横断的である。したがって、特に {{mvar|X}} の特異点を解消している。
# {{mvar|X}} の強変換から {{mvar|X}} への写像は、{{mvar|X}} の特異点の外では同型写像である。
# {{math|''W''&thinsp;&prime;}} は、前のブローアップの例外軌跡と横断的な {{mvar|W}} の正則な閉部分代数多様体（あるいはより強く {{mvar|X}} の正則な部分代数多様体）でブローアップを繰り返すことにより作られる。
# {{math|''W''&thinsp;&prime;}} の構成は、{{mvar|W}} への滑らかな射と {{mvar|W}} をより大きな代数多様体へ埋め込む射に関して関手的である（すべての（滑らかとは限らない）射に関して何らかの合理的な方法で関手的となるようにはできない）。
# {{math|''X&thinsp;&prime;''}} から {{mvar|X}} への射は {{mvar|X}} の {{mvar|W}} への埋め込みには依存しない。あるいは一般に、ブローアップの列は[[滑らかな射]]に関して関手的である。

広中は {{mvar|X}} が標数0の体上で定義されていれば上の最初の3つの条件を満たす強非特異化が存在することを証明した。後述するように広中の構成は他の研究者たちによって改良され、上の条件をすべて満たすものになった。

==曲線の特異点解消==

すべての代数曲線は一意な非特異射影モデルをもつ。このことは、どの解消方法もこのモデルを作るので、本質的にはすべての解消方法は同じであることを意味する。高次元ではこれは成り立たず、代数多様体は多くの異なる非特異射影モデルを持ち得る。

{{harvtxt|Kollár|2007}} に曲線の特異点解消を証明する約20個の方法が列挙されている。

===ニュートンの方法===

曲線の特異点解消は、本質的には
{{harvs|txt|authorlink=Isaac Newton|last=Newton|year=1676}} において最初の証明が与えられた。ここでは曲線に対して{{仮リンク|ピュイズー級数|en|Puiseux series}}の存在が示され、解消はこれから容易にしたがう。

===リーマンの方法===

[[ベルンハルト・リーマン|リーマン]]は複素代数曲線の関数体から滑らかなリーマン面を作った。これは特異点の解消を与えている。この方法は一般の体上でも、リーマン面の代わりに関数体の離散付値環の集合を使うことで一般化できる。

===アルバネーゼの方法===

{{仮リンク|ジャコモ・アルバネーゼ|label=アルバネーゼ|en|Giacomo Albanese}}の方法は、十分に大きな次元（2倍すると曲線の次数を超える程度<ref>
{{Google books|Oygejj1QFhgC|Lectures on Resolution of Singularities|page=13}}
</ref>）の射影空間を張る曲線を取り、特異点からより小さな次元の射影空間へ射影を繰り返すという方法である。この方法を高次元代数多様体に拡張し、任意の {{mvar|n}} 次元代数多様体は重複度が
{{math|''n''!}}
以下の特異点を持つ射影モデルを持つことを示せる。曲線の場合は
{{math|1=''n'' = 1}}
なので特異点は無くなる。

===正規化===

{{harvtxt|Muhly|Zariski|1939}} において、曲線の{{仮リンク|代数多様体の正規化|label=正規化|en|normalization of an algebraic variety}}を取ることにより、一度の操作で曲線の特異点を解消する方法が与えられた。正規化は{{仮リンク|余次元|en|codimension}}1の全ての特異点を取り除くので曲線に対しては上手くいくが、高次元ではそうはいかない。

===付値環===

一度の操作で曲線の特異点を解消するもう一つの方法は曲線の関数体の付値環たちの空間を取る方法である。この空間から元の曲線と双有理な非特異射影曲線を作れる。

===ブローアップ===
{{詳細記事|[[ブローアップ (数学)|ブローアップ]]}}

曲線の特異点でブローアップを繰り返せば、特異点はいつかは解消される。この方法の主なタスクは、特異点の複雑さを測る方法を見つけ、ブローアップにより複雑さが減ることを示すことである。これには多くの方法がある。例えば曲線の{{仮リンク|算術種数|en|arithmetic genus}}を使うことができる。

===ネーターの方法===
{{仮リンク|マックス・ネーター|en|Max Noether}}の方法は、平面曲線を取り（特異点と一般の位置にある2つの点により決定される）2次変換を繰り返すというものである{{Sfn|Lipman|1975|p=191}}。最終的には、これにより（すべての接線が重複度2を持つ）通常多重点のみを特異点とする平面曲線ができあがる。

===ベルティーニの方法===

{{仮リンク|エウジェニオ・ベルティーニ|label=ベルティーニ|en|Eugenio Bertini}}の方法はネーターの方法と同様のものである。これは、平面曲線から出発して、平面に繰り返し双有理変換を適用して曲線を良くするというものである。双有理変換はネーターの方法で使われる2次変換よりも複雑であるが、通常2重点のみを特異点とするより良い結果が得られる。

==曲面の特異点解消==

曲線の場合は非特異射影モデルは一意であったが、曲面は多くの異なる非特異射影モデルを持つ。しかしそれでも曲面は一意な最小解消を持ち、他のものはこれを介して分解する。高次元では最小解消が存在するとは限らない。

複素数体上の曲面の特異点解消を証明する試みとしては、{{harvtxt|Del Pezzo|1892}},
{{harvtxt|Levi|1899}},
{{harvtxt|Severi|1914}},
{{harvtxt|Chisini|1921}},
{{harvtxt|Albanese|1924}}
などがあった。しかし、これら過去の試みは全て不完全であり肝心なところが曖昧で誤りもあることを
{{harvtxt|Zariski|1935|loc=chapter I section 6}}
は指摘した。最初の厳密な証明は
{{harvtxt|Walker|1935}}
でなされた。そして任意の標数0の体に対して代数的な証明が
{{harvtxt|Zariski|1939}}
で与えられた。標数が0ではない曲面については
{{harvtxt|Abhyankar|1956}}
が証明した。また、全ての2次元[[優秀環|優秀]]スキーム（算術的曲面を全て含む）に対して特異点を解消できることが
{{harvtxt|Lipman|1978}}
で証明された。

===ザリスキーの方法===

曲面の特異点を解消するザリスキーの方法は、曲面の正規化（これは余次元1の特異点を除去する）と点でのブローアップ（これは余次元2の特異点をより良いものにするが、新しい余次元1の特異点が生まれるかもしれない）を交互に繰り返すというものである。これで曲面の特異点を解消できるのであるが、ザリスキーはもっと持って回った方法を使った。彼はまず{{仮リンク|局所一意化定理|en|local uniformization theorem}}を証明し、曲面の任意の付値が解消できることを示した。そしてザリスキー・リーマン曲面がコンパクトであることを使って、曲面の有限集合であって各付値の中心がこれらのうちの少なくとも1つの曲面上で単純（simple）であるようなものを見つけることが可能であることを示した。最後に、曲面の間の双有理写像を調べて、この曲面の有限集合を1つの非特異曲面に置き換えれることを示した。

===ユングの方法===

曲線の強型の埋め込み解消を用いて
{{harvtxt|Jung|1908}}
は特別な特異点（アーベル商特異点）のみを持つ曲面に帰着させ、そしてその場合は直接解消した。これの高次元版がデ・ヨングの方法である。

===アルバネーゼの方法===

一般に、{{mvar|n}} を代数多様体の次元とすると、曲線におけるアルバネーゼの方法と同様の方法で任意の代数多様体の特異点を位数が
{{math|''n''!}}
以下の特異点に簡素化できる。曲面については、これにより特異点が位数2の場合に帰着させることができ、これは具体的に取り扱うに十分なほど簡単になっている。

===アビヤンカーの方法===

{{harvtxt|Abhyankar|1956}} は任意標数の体上の曲面の特異点解消を付値環の{{仮リンク|局所一意化|en|local uniformization}}定理を証明することで証明した。一番難しいのは有理数の非離散部分群を値群として持つ階数1の付値環の場合である。証明の残りの部分はザリスキーの方法に従っている。

===広中の方法===

任意次元の標数0の代数多様体についての広中の特異点解消方法は、標数0の曲面にも適用できる。これは、特異集合の中の点または滑らかな曲線に対してブローアップを繰り返すというものである。

===リップマンの方法===

{{harvtxt|Lipman|1978}}
は、曲面（2次元被約[[ネータースキーム]]）{{mvar|Y}} が非特異化を持つのは、その正規化が
{{mvar|Y}} 上有限かつ{{仮リンク|解析的正規|en|analytically normal}}（特異点での完備化が正規）かつ有限個の特異点のみを持つとき、かつそのときに限ることを証明した。特に、{{mvar|Y}} が[[優秀環|優秀]]ならば非特異化を持つ。

彼はまず {{mvar|Y}} への固有双有理写像を持つ正規曲面 {{mvar|Z}} を考え、最小の算術種数を持つ最小のものが存在することを示した。次に彼はこの最小の {{mvar|Z}} が持つ特異点はすべて擬有理（pseudo rational）であることを示し、擬有理特異点は点でのブローアップを繰り返すことにより解消できることを示した。

==高次元での特異点解消==

高次元の特異点解消問題は、正しくない証明が何度も出版され、証明が公表されることはついになかった解決の宣言が何度もなされたことで有名な、曰く付きの問題である。

===ザリスキーの方法===

標数0の3次元代数多様体の特異点解消は {{harvtxt|Zariski|1944}} で証明された。彼はまず付値環の局所一意化に関する定理を証明した。これは任意の標数0の体上の任意次元の代数多様体について成り立つ。次に付値の{{仮リンク|ザリスキー・リーマン空間|en|Zariski–Riemann space}}が（任意の体上の任意次元の代数多様体に対して）準コンパクトであることを示した。これは、射影多様体のモデルの有限個の族が存在して、任意の付値はこれらのモデルのうちの少なくとも１つの上で滑らかな中心を持つことを意味する。最後に、与えられた2つのモデルに対して第3のモデルでそれぞれの特異点を解消しているものを見つけられることを示した。ここで代数多様体の次元が3であることを使うが、標数は任意でよい。ここが証明のもっとも難しいところである。

===アビヤンカーの方法===

標数が6より大きい場合の3次元代数多様体の特異点解消が
{{harvtxt|Abhyankar|1966}}
で証明された。アビヤンカーは3次元代数多様体における重複度が標数未満の特異点は解消可能であることを示した。そしてアルバネーゼの方法を使って特異点の重複度を
{{math|1=(次元)! = 3! = 6}}
以下にできることを示した。標数に関する制約はここからきている。アビヤンカーの証明を簡易化したものが
{{harvtxt|Cutkosky|2009}}
にある。

全ての標数での3次元代数多様体の特異点解消が
{{harvs|txt|last1=Cossart|last2= Piltant|year1=2008|year2=2009}}
で証明された。ここでの方法は、3次元以下で局所一意化を証明し、次にザリスキーの証明が正標数の場合でも使えることをチェックするという方法であった。

===広中の方法===
{{quotebox|align=right|width=30%|
quote=聞き手「その問題（訳注：特異点解消問題のこと）が重要であると思われたのはなぜですか？」広中「分からない。少年が少女との恋に落ちるようなものだ。理由を説明するのは難しい。」
|source={{Cite journal| volume = 52| pages = 1010–1019| title = Interview with Heisuke Hironaka| journal = Notices of the AMS| year = 2005 | url = https://www.ams.org/journals/notices/200509/fea-hironaka.pdf | format = PDF }}, p. 1013.
}}

標数0における全ての次元での特異点解消は
{{harvtxt|Hironaka|1964}}
ではじめて証明された。彼は、標数0の体上の代数多様体の特異点は非特異な部分代数多様体に沿ってのブローアップを繰り返すことで解消できることを証明した。代数多様体の次元と全域空間（ambient space）の次元を基にした4重の数学的帰納法を用いるという、複雑極まりない方法であった{{Sfn|河田|飯高|1973|p=86}}。この恐るべき証明は
{{harvtxt|Bierstone|Milman|1991-97}},
{{harvtxt|Villamayor|1992}},
{{harvtxt|Encinas|Villamayor|1998}},
{{harvtxt|Encinas|Hauser|2002}},
{{harvtxt|Wlodarczyk|2005}},
{{harvtxt|Kollár|2007}}
などで簡易化された。最近の証明の中には広中の元々の証明の10分の1の長さのものもあり、大学院初年級で学べるほど簡易化されている。この定理の解説が {{harvtxt|Hauser|2003}} にある。また、{{harvtxt|Hauser|2000}} に歴史についての論説がある。

=== デ・ヨングの方法 ===

[[アイセ・ヨハン・デ・ヨング|デ・ヨング]]は、{{harvtxt|de Jong|1996}}
において特異点を解消する別のアプローチを見つけた。これは曲面でのユングの方法を一般化したものであり、{{harvtxt|Bogomolov|Pantev|1996}}
と
{{harvtxt|Abramovich|de Jong|1997}}
で標数0での特異点解消の証明に使われた。デ・ヨングの方法で得られる結果は弱いものであるが、標数 {{mvar|p}} でも全ての次元の代数多様体に対して使える。また、多くの場合に解消の代わりとして使えるほど強いものである。デ・ヨングは、体上の任意の代数多様体
{{mvar|X}}
に対して、同じ次元の正則代数多様体であってこれから {{mvar|X}} の上への支配的な固有射を持つものの存在を証明した。これは、生成的には有限対１であり、{{mvar|X}} の関数体の有限次拡大が起きているため、一般には双有理写像とはならない。そのため特異点解消にはなっていない。デ・ヨングのアイデアは、{{mvar|X}} をより小さい空間 {{mvar|Y}} 上の曲線をファイバーとするファイブレーションとして表すことを試み（ここで {{math|''X''}} の微修正が起きる可能性がある）、そして {{mvar|Y}} の特異点を次元についての帰納法で取り除き、そしてファイバーの特異点を取り除くというものであった。

==スキームについての解消と問題の現在の状況==

解消の定義を任意のスキームに拡張することは容易である。全てのスキームが特異点の解消を持つわけではない。{{harvtxt|Grothendieck|1965|loc=section 7.9}} は、局所ネーター・スキーム {{mvar|X}} が {{mvar|X}} 上の任意の有限整スキームの特異点を解消できるという性質を持つなら、{{mvar|X}} は[[優秀環|準優秀]]でなければならないことを示した。グロタンディークは逆もまた成り立つのではないか、つまり局所ネーター・スキーム {{mvar|X}} が被約かつ準優秀なら、その特異点解消が可能ではないかと述べた。{{mvar|X}} がネーターで標数0の体上定義されているなら、これは広中の定理からしたがう。
{{mvar|X}} の次元が2以下なら、これはリップマンにより証明されている。

{{harvtxt|Hauser|2010}} で未解決の標数 {{mvar|p}} における解消問題の研究状況の調査がなされている。

== 標数0での証明の方法 ==
{{quotebox|align=right|width=30%|
quote=特異点解消の証明は長い間非常に難解だとされてきたが、徐々に状況が変わってきた。
...
入門的な代数幾何学の授業の最後の2週間で特異点解消を証明することも可能である。
|source={{harv|Kollár|2007|loc=Lectures on Resolution of Singularities}}
}}

強非特異化には多くのやり方があるが、本質的にはどれも同じ結果になる。どのやり方でも大域的な対象（非特異化の対象とする代数多様体）は局所的なデータ（代数多様体の{{仮リンク|イデアル層|en|ideal sheaf}}と{{仮リンク|例外因子|en|exceptional divisor}}と一回の操作でどのくらいイデアルの解消をすべきかを表す"位数"）に置き換えられる。この局所的なデータによってブローアップの中心が定義される。中心は局所的に定義されるので、これらが貼り合わさって大域的な中心となることが保証されるかが問題となる。これは各イデアルを解消するのにどのようなブローアップを許容するかを定義することでなされる。適切に行えば、中心は自動的に貼り合わさる。もう一つの方法は、代数多様体と解消の履歴（前の局所的な中心）に依存する局所的な不変量を、中心が不変量の最大軌跡から構成されるように定義する方法である。この定義では、この選択が有意義で例外因子に横断的な滑らかな中心を与えるようになされる。

いずれの場合でも問題はイデアル層と付加データ（例外因子とイデアルに対して解消を進める道標となる位数 {{mvar|d}}）の組の特異点を解消することに帰着される。この組は
{{定訳なし|en|'''marked ideal'''}}
と呼ばれ、イデアルの位数が {{mvar|d}} よりも大きい点の集合はその
{{定訳なし|en|'''co-support'''}}
と呼ばれる。marked ideal に対して解消が存在することの証明は次元に関する帰納法でなされる。帰納法は次の2つのステップに分かれる。

# 次元 {{math|''n''&nbsp;&minus;&nbsp;1}} の marked ideal の関手的な非特異化から、次元 {{mvar|n}} の最大位数の marked ideal の関手的な非特異化を示す。
# 次元 {{mvar|n}} の最大位数の marked ideal の関手的な非特異化から、次元 {{mvar|n}} の（一般の）marked ideal の関手的な非特異化を示す。

ここで、marked ideal が'''最大位数'''（maximal order）であるとは、その co-support におけるある点でイデアルの位数が {{mvar|d}} に等しいことをいう。強型の解消においては、代数多様体の点での局所環の[[ヒルベルト・サミュエル関数]]を使うことが鍵となる。これは解消不変量の1つである。

== 諸例 ==

===重複度はブローアップで減少するとは限らない===

最も簡単な特異点の不変量は重複度である。しかしこれはブローアップで減少するとは限らないので、より精妙な不変量を使って改善の程度を測る必要がある。

例えば、嘴点
{{math|1=''y''<sup>2</sup> = ''x''<sup>5</sup>}}
は原点で位数2の特異点を持つ。これを特異点でブローアップすると通常の尖点
{{math|1=''y''<sup>2</sup> = ''x''<sup>3</sup>}}
になるが、これもふたたび重複度2である。

この場合には特異点が改善されていることは定義多項式の次数が減少していることから明らかである。一般にはこうはならない。その例として、{{math|1=''x''<sup>2</sup> + ''y''<sup>3</sup>''z'' + ''z''<sup>3</sup> = 0}}
の原点の孤立特異点を考える。ブローアップすると特異点
{{math|1=''x''<sup>2</sup> + ''y''<sup>2</sup>''z'' + ''yz''<sup>3</sup> = 0}}
になる。どちらの特異点も重複度は2で、どちらも次数が2、3、4の単項式の和で定義されているので、この新しい特異点が良いものになっているかすぐには分からない。

===最も特異な点でブローアップしても上手くいかない===
[[File:Whitney unbrella.png|right|thumb|ホイットニーの傘]]

特異点を改良するために"もっとも悪い"特異点の軌跡でのブローアップを考えることは自然である。{{仮リンク|ホイットニーの傘|en|Whitney umbrella}}
{{math|1=''x''<sup>2</sup> = ''y''<sup>2</sup>''z''}}
は
{{mvar|z}} 軸を特異集合として持ち、ほとんどの点は通常2重点であるが原点ではより複雑な{{訳語疑問点範囲
|{{仮リンク|ピンチ・ポイント|en|Pinch point (mathematics)}}
|date=2021年12月
|pinch point|cand_prefix=原文
}}特異点を持っている。したがって、もっとも悪い特異点でブローアップとするという考えでは原点でのブローアップからはじめることになる。しかし、原点でブローアップしてもある座標チャートの上では同じ特異点ができてしまう。したがって"もっとも悪い"（ように見える）特異点でブローアップしても特異点は改善されない。代わりに、{{mvar|z}} 軸に沿ってブローアップすることで特異点を解消できる。

{{harvtxt|Bierstone|Milman|1997}} のように、ある意味で"もっとも悪い"特異点でブローアップすることにより上手くいくアルゴリズムもあるが、この例が示すように"もっとも悪い"の定義は慎重に行う必要がある。

もっと複雑な特異点として
{{math|1=''x''<sup>2</sup> = ''y''<sup>''m''</sup>''z''<sup>''n''</sup>}}
を考える。これは
{{math|1=''x'' = ''yz'' = 0}}
に沿って特異点を持つ。
原点にあるもっとも悪い特異点でブローアップすると、{{math|1=''x''<sup>2</sup> = ''y''<sup>''m''+''n''&minus;2</sup>''z''<sup>''n''</sup>}}
と
{{math|1=''x''<sup>2</sup> = ''y''<sup>''m''</sup>''z''<sup>''m''+''n''&minus;2</sup>}}
で定義される特異点が生まれる。{{mvar|m}} と {{mvar|n}} がともに3以上なら、これらは元の特異点より悪くなっている。

特異点を解消すると、全変換（強変換と例外因子の和集合）は単純正規交叉型の特異点を持つ代数多様体になっている。この型の特異点を解消することなく特異点を解消できないか、つまり滑らかな点と単純正規交叉している点の集合上で同型となるような解消を見つけられないか考えることは自然である。強変換が因子（つまり、滑らかな代数多様体に{{仮リンク|余次元|en|codimension}}1の部分代数多様体として埋め込みが可能）の場合には、単純正規交叉点を避けた強型の解消が存在することが知られている。ホイットニーの傘から、正規交叉特異点でのブローアップを避けて特異点を解消することは不可能であることがわかる。

===少しずつ解消していく方法は履歴を必要とする===

特異点を解消する自然な方法は、何らかの標準的な方法で選ばれた滑らかな部分代数多様体でのブローアップを繰り返すことである。これは次の問題に直面する。式
{{math|1=''x''<sup>2</sup> = ''y''<sup>2</sup>''z''<sup>2</sup>}}
の特異集合は
{{mvar|y}} 軸と {{mvar|z}} 軸の直線の組である。ブローアップの中心として考えられる代数多様体は、原点とこの2つの軸の片方と特異集合全体（2つの軸）だけである。しかし、特異集合全体は滑らかではないため使うことができず、2つの軸のうち片方を選択するのは対称性のために標準的にならない。そのため原点でのブローアップからスタートすることになるが、そうすると元の特異点がまた生じてしまうため、先に進めない。

この問題の解決策は、原点でのブローアップが特異点の型を変えなかったとしても、2つの特異な軸の間の対称性を壊れ、わずかな改善があることである。これは、それらのうちの1つは前のブローアップでの例外因子であることによる。それゆえ、どちらか片方をブローアップすることが今度は許される。しかし、これを利用するには、解消の手続きでこれら2つの特異点を、局所的に同じであったとしても違うやり方で処理する必要がある。これは時に解消手続きに履歴を使うことでなされる。したがって、各ステップでのブローアップの中心は特異点のみに依存するのではなく、それを生成するために使われた前のブローアップにも依存する。

===解消は関手的ではない===
[[File:DoubleCone.png|right|thumb|円錐型の特異点 {{math|1=''x''<sup>2</sup> + ''y''<sup>2</sup> = ''z''<sup>2</sup>}}]]

標数0における特異点解消方法の中には滑らかな射について関手的なものがある。しかし、強型の解消で滑らかとは限らない全ての射について関手的なものを見つけることは不可能である。例としてアフィン平面
'''A'''<sup>2</sup>
から円錐型の特異点
{{math|1=''x''<sup>2</sup> + ''y''<sup>2</sup> = ''z''<sup>2</sup>}}
への写像で
{{math|(''X'', ''Y'')}}
を
{{math|(2''XY'', ''X''&thinsp;<sup>2</sup> &minus; ''Y''&thinsp;<sup>2</sup>, ''X''&thinsp;<sup>2</sup> + ''Y''&thinsp;<sup>2</sup>)}}
に送るものを考える。{{math|''XY''}} 平面ははじめから非特異なので解消により変化すべきではない。そして、円錐型の特異点の任意の解消は特異点でのブローアップで与えられる最小解消を介して分解する。しかし
{{math|''XY''}} 平面からこのブローアップへの有理写像は正則写像に拡張しない。

===最小解消が存在するとは限らない===

1次元と2次元では最小解消（解消であって全ての解消はこれを介して分解するもの）が存在したが、高次元では常に存在するとは限らない。{{仮リンク|アティヤ・フロップ|en|Atiyah flop}}は最小解消が存在しない3次元での特異点の例である。{{mvar|Y}} を
'''A'''<sup>4</sup>
における
{{math|1=''xy'' = ''zw''}}
の零点とし、{{mvar|V}} を
{{mvar|Y}} の原点でのブローアップとする。このブローアップの例外軌跡は
'''P'''<sup>1</sup>&times;'''P'''<sup>1</sup>
と同型である。これは、2つの異なるやり方で
'''P'''<sup>1</sup>
にブローダウンすることができ、それぞれ
{{mvar|Y}} の2つの{{仮リンク|小さい解消|en|small resolution}}
{{math|''X''<sub>1</sub>}}
と
{{math|''X''<sub>2</sub>}}
を与える。どちらもこれ以上ブローダウンすることはできない。

=== 解消は直積操作と交換可能ではない ===

{{harvtxt|Kollár|2007|loc=example 3.4.4, page 121}} において、十分によい解消手順は直積操作と交換できることを期待できないことがわかる次の例が示されている。{{math|''f'' : ''A''&rarr;''B''}} を3次元アフィン空間における2次の円錐 {{mvar|B}} の原点でのブローアップとする。このとき、{{math|''f''&thinsp;&times;&thinsp;''f'' : ''A''&times;''A''&rarr;''B''&times;''B''}}
はエタール局所的な解消手順から得ることはできない。これは、本質的にはこの例外軌跡が2つの交叉する成分を持つことによる。

===トーリック多様体の特異点===

[[トーリック多様体]]の特異点は具体的に解消することが容易な高次元特異点の例である。トーリック多様体は、格子の錐の集まりである扇を用いて定義される。この特異点は各錐を格子の基底から生成される錐の和集合に分割し対応するトーリック多様体を取ることで解消できる。

=== {{mvar|X}} の正則部分代数多様体を中心に選ぶ ===

代数多様体 {{mvar|X}} の非特異化の構成では、{{mvar|X}} の滑らかな部分代数多様体がブローアップの中心になるとは限らない。抽象的な代数多様体 {{mvar|X}} の非特異化は、多くの場合、局所的に
{{mvar|X}} を滑らかな代数多様体 {{mvar|W}} に埋め込み、{{mvar|W}} におけるそのイデアルを考え、このイデアルの標準的な非特異化を計算することにより作られる。イデアルの非特異化ではイデアルの位数をイデアルの特異度を測るものとして使う。イデアルの非特異化は局所的な中心を貼り合わせて大域的な中心を作るというやり方でなされる。この方法による証明は、ヒルベルト・サミュエル関数で特異点の悪さを測る広中の元の証明に比べて、相対的に簡単である。例えば {{harvtxt|Villamayor|1992}},
{{harvtxt|Encinas|Villamayor|1998}},
{{harvtxt|Encinas|Hauser|2002}},
{{harvtxt|Kollár|2007}} ではこのアイデアを使って証明している。しかしこの方法ではブローアップの中心は {{mvar|W}} で正則であることしか保証されない。

次の例 {{harv|Bierstone|Milman|2007}} は、この方法により {{mvar|X}}（の強変換）との交叉が滑らかではない中心が生じ、したがって抽象的な代数多様体 {{mvar|X}} の非特異化が {{mvar|X}} の正則部分代数多様体でのブローアップとして得られていないものの例である。

4次元アフィン平面を考える。その座標を
{{math|''x, y, z, w''}}
とする。多項式
{{math|''y''<sup>2</sup> &minus; ''x''<sup>3</sup>}}
と
{{math|''x''<sup>4</sup> + ''xz''<sup>2</sup> &minus; ''w''<sup>3</sup>}}
で定義される部分代数多様体
{{mvar|X}}
を考える。この多項式を生成元とするイデアルの標準的な非特異化では
{{math|1=''x'' = ''y'' = ''z'' = ''w'' = 0}}
で定義される
{{math|''C''<sub>0</sub>}}
を中心とするブローアップを行うだろう。変換後のイデアルは、{{mvar|x}} チャートでは
{{math|''x'' &minus; ''y''<sup>2</sup>}}
と
{{math|''y''<sup>2</sup>(''y''<sup>2</sup> + ''z''<sup>2</sup> &minus; ''w''<sup>3</sup>)}}
で生成される。次のブローアップの中心は
{{math|1=''x'' = ''y'' = 0}}
で定義される
{{math|''C''<sub>1</sub>}}
である。{{mvar|X}} の強変換
{{math|''X''<sub>1</sub>}}
は
{{math|''x'' &minus; ''y''<sup>2</sup>}}
と
{{math|''y''<sup>2</sup> + ''z''<sup>2</sup> &minus; ''w''<sup>3</sup>}}
で定義されるものである。{{math|''C''<sub>1</sub>}}
と
{{math|''X''<sub>1</sub>}}
の交叉は
{{math|1=''x'' = ''y'' = 0}}
と
{{math|1=''z''<sup>2</sup> &minus; ''w''<sup>3</sup> = 0}}
により与えられるが、これは正則ではない。

{{mvar|X}} の正則部分代数多様体をブローアップの中心とするより強い証明（{{harvtxt|Bierstone|Milman|1991-97}}）では、局所的に
{{mvar|W}}
に埋め込んだときのイデアルの位数ではなく、{{mvar|X}}
の局所環のヒルベルト・サミュエル関数が使われる。

==特異点解消のその他の変形版==

解消のあと、全変換（強変換 {{mvar|X}} と例外因子の和集合）は悪くとも単純正規交叉する特異点しか持たない代数多様体になるように作られる。したがってこのタイプの特異点を解消することなく特異点を解消できないか、つまり滑らかな点と単純正規交叉している点の集合上で同型となる解消を見つけることができないか考えることは自然である。{{mvar|X}} が因子、つまり滑らかな代数多様体に余次元1の部分代数多様体として埋め込まれている場合には、単純正規交叉している点を避ける強型の解消が存在することが知られている。一般の場合や他のタイプの特異点を避けることが可能かどうかはまだわかっていない{{harv|Bierstone|Milman|2012}}。

ある種の特異点については避けることは不可能である。例えば、正規交叉する特異点でのブローアップを避けて特異点を解消することはできない。実際、ピンチ・ポイント特異点を解消するためには、正規交差している特異点を含めた特異軌跡全体をブローアップする必要がある。

== 脚注 ==

=== 注釈 ===
{{notelist}}

=== 出典 ===
{{Reflist|2}}

== 参考文献 ==

=== 日本語の文献 ===
* {{Cite journal|和書| doi = 10.11429/sugaku1947.25.373| volume = 25| issue = 4| pages = 373–375| author = 河田敬義| author2 = 飯高茂| title = 最近の日本の数学(そのiii)| journal = 数学| year = 1973 | publisher = 日本数学会 | url = https://doi.org/10.11429/sugaku1947.25.373 |naid=130001558449 | ref = {{SfnRef|河田|飯高|1973}}}}

* {{Cite journal|和書| doi = 10.11429/sugaku.0691001| volume = 69| issue = 1| pages = 1–30| author = 松木謙二| title = 特異点解消の問題に関する最近の発展と現状| publisher = 日本数学会 | journal = 数学| year = 2017 | url = https://doi.org/10.11429/sugaku.0691001 |naid=130007557775 | ref = {{SfnRef|松木|2017}}}}

* {{Cite web|和書
 | author = 川ノ上帆
 | url = https://www.kurims.kyoto-u.ac.jp/~kenkyubu/kokai-koza/H23-kawanoue.pdf
 | title = 特異点解消入門
 | format = PDF
 | year = 2011
 | ref = {{SfnRef|川ノ上|2011}}
 | work = 平成23年度(第33回)数学入門公開講座テキスト(京都大学数理解析研究所，平成23年8月1日～8月4日開催)
 | accessdate =  2021-12-29}}

=== 文献目録 ===

*{{Citation | last1=Abhyankar | first1=Shreeram | title=Local uniformization on algebraic surfaces over ground fields of characteristic ''p''≠0 | jstor=1970014 | doi=10.2307/1970014  | mr=0078017 | year=1956 | journal=[[Annals of Mathematics]] |series=Second Series   | volume=63 | pages=491–526 | issue=3}}
*{{citation|first= Shreeram S.|last= Abhyankar|authorlink=S. S. Abhyankar|title=Resolution of singularities of embedded algebraic surfaces|series= Springer Monographs in Mathematics|year= 1966|publisher=Acad. Press |isbn=3-540-63719-2|doi=10.1007/978-3-662-03580-1}} (1998 2nd edition)
* Dan Abramovich, Anne Frühbis-Krüger, Michael Temkin, Jarosław Włodarczyk: ''New Techniques in Resolution of Singularities'', Springer, ISBN 978-3-031-32114-6, (2023).
*{{Citation | last1=Abramovich | first1=Dan | title=Review of ''Resolution of singularities'' and ''Lectures on resolution of singularities''  | url=https://www.ams.org/journals/bull/2011-48-01/S0273-0979-10-01301-7 | doi=10.1090/S0273-0979-10-01301-7  | year=2011 | journal=[[Bulletin of the American Mathematical Society]]   | volume=48 | pages=115–122| doi-access=free }}
*{{Citation | last1=Abramovich | first1=D |author1-link=Dan Abramovich | last2=de Jong | first2=A. J. |author2-link=Aise Johan de Jong | title=Smoothness, semistability, and toroidal geometry | arxiv=alg-geom/9603018 | mr=1487237 | year=1997 | journal=Journal of Algebraic Geometry   | volume=6 | issue=4 | pages=789–801| bibcode=1996alg.geom..3018A }}
*{{citation|first= G. |last= Albanese|authorlink=Giacomo  Albanese|title=Trasformazione birazionale di una superficie algebrica in un'altra priva di punti multipli |journal=Rend. Circ. Mat. Palermo |year=1924 |volume= 48|doi= 10.1007/BF03014708|pages= 321–332|issue= 3 |s2cid= 122056627}}
* {{Citation|last1=Bierstone|first1= Edward|last2= Milman|first2=Pierre D. |doi=10.1007/s002220050141 |title=Canonical desingularization in characteristic zero by blowing up the maximum strata of a local invariant|journal= Invent. Math.|volume= 128 |year=1997|issue= 2 |pages=207–302|mr=1440306|arxiv=alg-geom/9508005|bibcode=1997InMat.128..207B|s2cid= 119128818}}
*{{citation|last1=Bierstone|first1=Edward|last2=Milman|first2=Pierre D.|title=Functoriality in resolution of singularities|journal=Publications of the Research Institute for Mathematical Sciences|volume=44 | issue = 2 |year=2007|arxiv=math/0702375}}
*{{citation|last1=Bierstone|first1=Edward|last2=Milman|first2=Pierre D.|title=Resolution except for minimal singularities I|journal=[[Advances in Mathematics]]|volume=231|year=2012|issue=5|pages=3022–3053|doi=10.1016/j.aim.2012.08.002|arxiv=1107.5595|s2cid=119702658|doi-access=free}}
* {{citation|last1=Bogomolov|first1= Fedor A.|last2=Pantev|first2=Tony G. |arxiv=alg-geom/9603019|title=Weak Hironaka theorem|journal= Mathematical Research Letters|volume= 3 |year=1996|issue=3|pages= 299–307|doi=10.4310/mrl.1996.v3.n3.a1|s2cid= 14010069}}
* {{citation|first=O. |last=Chisini|authorlink=O. Chisini|title=La risoluzione delle singolarità di una superficie|journal= Mem. Acad. Bologna|volume= 8 |year=1921}}
*{{Citation | last1=Cossart | first1=Vincent | last2=Piltant | first2=Olivier | title=Resolution of singularities of threefolds in positive characteristic. I. Reduction to local uniformization on Artin-Schreier and purely inseparable coverings | doi=10.1016/j.jalgebra.2008.03.032 | mr=2427629 | year=2008 | journal=[[Journal of Algebra]]   | volume=320 | issue=3 | pages=1051–1082| url=https://hal.archives-ouvertes.fr/hal-00139124/file/resdimthree1.pdf }}
*{{Citation | last1=Cossart | first1=Vincent | last2=Piltant | first2=Olivier | title=Resolution of singularities of threefolds in positive characteristic. II | doi=10.1016/j.jalgebra.2008.11.030 | mr=2494751 | year=2009 | journal=[[Journal of Algebra]]   | volume=321 | issue=7 | pages=1836–1976| url=https://hal.archives-ouvertes.fr/hal-00139445/file/IIfinalfinal.pdf }}
* {{citation|first=Steven Dale |last=Cutkosky |title=Resolution of Singularities |year=2004|isbn=0-8218-3555-6|publisher=American Math. Soc.|location=Providence, RI}}
*{{citation|mr=2488485|last=Cutkosky|first= Steven Dale|title=Resolution of singularities for 3-folds in positive characteristic|journal=Amer. J. Math.|volume= 131 |year=2009|issue= 1|pages= 59–127|jstor=40068184|doi=10.1353/ajm.0.0036|arxiv=math/0606530|s2cid=2139305}}
* {{springer|id=R/r081580|title=Resolution of singularities|first=V.I.|last= Danilov}}
* {{citation|last=de Jong|first= A. J. |authorlink=Aise Johan de Jong |url=http://www.numdam.org/item?id=PMIHES_1996__83__51_0 |title=Smoothness, semi-stability and alterations|journal= Inst. Hautes Études Sci. Publ. Math.|volume= 83 |year=1996|pages= 51–93|doi=10.1007/BF02698644|s2cid= 53581802 }}
*{{citation|last1=Encinas|first1=S. |last2=Hauser|first2=Herwig|arxiv=math/0211423 |title=Strong resolution of singularities in characteristic zero|journal= Comment. Math. Helv. |volume=77 |year=2002|issue=  4|pages= 821–845|doi=10.1007/PL00012443|s2cid=9511067 }}
*{{citation|last1=Encinas|first1=S. |last2= Villamayor|first2= O.|doi=10.1007/BF02392749 |title=Good points and constructive resolution of singularities|journal= Acta Math. |volume=181 |year=1998|issue=  1|pages= 109–158|mr=1654779|doi-access=free}}
* {{citation|first1=A.|last1= Grothendieck|authorlink=Grothendieck|first2= J.|last2= Dieudonné|url= http://www.numdam.org/item?id=PMIHES_1965__24__5_0 |title=Eléments de géométrie algébrique|journal= Publ. Math. IHES|volume= 24 |year=1965}}
*{{Citation | last1=Hauser | first1=Herwig | title=Singularities (Oberwolfach, 1996) | chapter-url=http://homepage.univie.ac.at/herwig.hauser/ | publisher=Birkhäuser | location=Basel, Boston, Berlin | series=Progr. Math. | mr=1652479 | year=1998 | volume=162 | chapter=Seventeen obstacles for resolution of singularities | pages=289–313}}
* {{citation|last=Hauser|first= Herwig|editor4-first= Adolfo|editor4-last= Quirós|editor3-first= Frans|editor3-last= Oort|editor2-first= Joseph|editor2-last= Lipman|editor1-first= Herwig|editor1-last= Hauser|year=2000|contribution=Resolution of singularities 1860-1999. |title=Resolution of singularities (Obergurgl, 1997)|pages= 5–36|series= Progr. Math.|volume= 181|publisher=Birkhäuser| isbn=0-8176-6178-6|doi=10.1007/978-3-0348-8399-3|arxiv=math/0508332}}
*{{citation|last=Hauser|first= Herwig |year=2003 |url=https://www.ams.org/bull/2003-40-03/S0273-0979-03-00982-0/home.html |title=The Hironaka theorem on resolution of singularities (or: A proof we always wanted to understand)|journal= Bull. Amer. Math. Soc. (N.S.) |volume=40|issue=  3|pages=323–403|doi=10.1090/S0273-0979-03-00982-0|doi-access=free}}
*{{Citation | last1=Hauser | first1=Herwig | title=On the problem of resolution of singularities in positive characteristic (Or: a proof we are still waiting for) | doi=10.1090/S0273-0979-09-01274-9 | mr=2566444 | year=2010 | journal=Bulletin of the American Mathematical Society |series=New Series   | volume=47 | issue=1 | pages=1–30| doi-access=free }}
*{{Citation | editor1-last=Hauser | editor1-first=Herwig | editor2-last=Lipman | editor2-first=J. | editor3-last=Oort | editor3-first=F. | editor4-last=Quirós | editor4-first=A. | title=Resolution of singularities | url=https://books.google.com/books?id=rOlNQqTYF60C&pg=PP1 | publisher=Birkhäuser Verlag | series=Progress in Mathematics | isbn=978-3-7643-6178-5 | mr=1748614 | year=2000 | volume=181 | doi=10.1007/978-3-0348-8399-3| arxiv=math/0508332 | last1=Kollár | first1=János }}
* {{citation|last=Hironaka|first= Heisuke |authorlink=Heisuke Hironaka|title=Resolution of singularities of an algebraic variety over a field of characteristic zero. I|journal= Ann. of Math. |series=  2 |volume=79|year= 1964|pages=109–203|doi=10.2307/1970486|issue=1 |jstor=1970486|mr=0199184}} and {{citation|title=part II|pages= 205–326 | jstor=1970547}}
* {{citation|first=János |last=Kollár|title=Lectures on Resolution of Singularities|year=2007|isbn=978-0-691-12923-5|publisher=Princeton University Press|location=Princeton}} (similar to his [https://arxiv.org/abs/math/0508332 Resolution of Singularities -- Seattle Lecture].
*{{Citation | last1=Jung | first1=H. W. E. | title=Darstellung der Funktionen eines algebraischen Körpers zweier unabhängigen Veränderlichen x,y in der Umgebung x=a, y= b | url=http://resolver.sub.uni-goettingen.de/purl?PPN243919689 | year=1908 | journal=Journal für die Reine und Angewandte Mathematik   | volume=133 | pages=289–314| doi=10.1515/crll.1908.133.289 | s2cid=116911985 }}
* {{citation|first=B.|last= Levi|authorlink=Beppo Levi|title=Risoluzione delle singolarita puntualli delle superficie algebriche |journal=Atti. Acad. Torino|volume=34 |year=1899}}
*{{citation|mr=0389901|last=Lipman|first= Joseph|chapter=Introduction to resolution of singularities|title= Algebraic geometry (Humboldt State Univ., Arcata, Calif., 1974)|series=Proc. Sympos. Pure Math.|volume= 29|pages= 187–230|publisher= Amer. Math. Soc.|place= Providence, R.I.|year= 1975}}
*{{Citation | last1=Lipman | first1=Joseph | title=Desingularization of two-dimensional schemes | jstor=1971141 | doi=10.2307/1971141 | mr=0491722 | year=1978 | journal=Ann. Math. |series=2 | volume=107 | issue=1 | pages=151–207}}
* {{citation|mr=1507363|last1=Muhly|first1=H. T.|last2= Zariski|first2= O.|title=The Resolution of Singularities of an Algebraic Curve|journal=Amer. J. Math. |volume=61 |year=1939|issue= 1|pages= 107–114|jstor=2371389|doi=10.2307/2371389}}
*{{citation|first=Isaac|last=Newton|year=1676|title=Letter to Oldenburg dated 1676 Oct 24}}, reprinted in {{citation|first=Isaac|last=Newton|year=1960|title=The correspondence of Isaac Newton|volume=II|publisher=Cambridge University press|pages=126–127}}
* {{citation|first=Robert J. |last=Walker|title=Reduction of the Singularities of an Algebraic Surface|journal= Annals of Mathematics |series=Second Series |volume= 36|issue=2 |year=1935|pages= 336–365|doi=10.2307/1968575 |jstor=1968575}}
* {{citation|last=Wlodarczyk|first= Jaroslaw |url=https://www.ams.org/jams/2005-18-04/S0894-0347-05-00493-5/home.html|title=Simple Hironaka resolution in characteristic zero|journal=J. Amer. Math. Soc. |volume=18 |year=2005|issue=  4|pages= 779–822|doi=10.1090/S0894-0347-05-00493-5|doi-access=free}}
*{{Citation | last1=Zariski | first1=Oscar | author1-link=Oscar Zariski | editor1-last=Abhyankar | editor1-first=Shreeram S. | editor2-last=Lipman | editor2-first=Joseph | editor3-last=Mumford | editor3-first=David | editor3-link=David Mumford | title=Algebraic surfaces | year=1935 | url=https://books.google.com/books?id=d6Zzhm9eCmgC | publisher=[[Springer-Verlag]] | location=Berlin, New York |  series=Classics in mathematics | isbn=978-3-540-58658-6 | mr=0469915}}
* {{citation|last=Zariski|first= Oscar |authorlink=Oscar Zariski|title=The reduction of the singularities of an algebraic surface|journal= Ann. of Math. |series=  2|volume=40|year=1939| pages= 639–689|doi=10.2307/1968949|issue=3|jstor=1968949}}
* {{citation|last=Zariski|first= Oscar |authorlink=Oscar Zariski|title=Reduction of the singularities of algebraic three dimensional varieties|journal= Ann. of Math. |series=  2 |volume=45|year=1944|pages= 472–542|doi=10.2307/1969189|mr=0011006|issue=3 |jstor=1969189}}

==外部リンク==

* [https://www.ms.u-tokyo.ac.jp/video/conference/2009gcoeopsym/index.html Resolution of singularities I], 広中の講演の映像記録
* [http://www.mathematik.uni-kl.de/~anne/Aufl-Bilder/Hauptseite.html pictures], 特異点とその解消のイラスト
* [http://www.singular.uni-kl.de/Manual/3-0-2/index.htm#SEC_Top SINGULAR], 特異点解消パッケージがある計算機代数システム
* [http://www.uibk.ac.at/mathematik/archiv/ Notes and lectures ] for the Working Week on Resolution of Singularities Tirol 1997, September 7–14, 1997, Obergurgl, Tirol, Austria
* [https://web.archive.org/web/20070204163127/http://cdsagenda5.ictp.trieste.it/full_display.php?smr=0&ida=a05209 Lecture notes] from the Summer School on Resolution of Singularities, June 2006, Trieste, Italy.
* [http://www.risc.uni-linz.ac.at/projects/basic/adjoints/blowup/index.html desing], 特異点解消のためのソフトウェア
* [http://homepage.univie.ac.at/herwig.hauser/ Hauser's home page], 特異点解消についての解説記事が複数ある

[[Category:代数幾何学]]
[[Category:特異点論]]
[[Category:幾何学の未解決問題]]
[[Category:数学に関する記事]]
{{デフォルトソート:とくいてんかいしよう}}