{{위키데이터 속성 추적}}
[[파일:Blowup.png|섬네일|right|[[아핀 평면]]의 원점의 부풀리기. 회색 직선들은 아핀 평면의 원점을 지나는 직선들이며, 붉은 직선은 부풀리기로 추가된 예외적 곡선이다.]]
[[대수기하학]]에서 '''부풀리기'''({{lang|en|blowup}})는 [[대수다양체]]나 [[스킴 (수학)|스킴]]의 [[특이점]]을 해소하기 위하여 특이점을 특이점에 대한 [[사영 공간|사영]] [[접평면]]으로 대체하는 과정이다.<ref>{{서적 인용 | 이름=Robin|성=Hartshorne| 날짜 = 1977|제목=[[대수기하학 (하츠혼)|Algebraic Geometry]]|저자링크=로빈 하츠혼|출판사=Springer| isbn =  978-0-387-90244-9|mr=0463157 | zbl = 0367.14001 | 언어=en|doi=10.1007/978-1-4757-3849-0|총서=Graduate Texts in Mathematics|권=52|issn=0072-5285}}</ref><ref>{{서적 인용|성=Fulton|이름=William|연도=1998|제목=Intersection Theory|총서=Ergebnisse der Mathematik und ihrer Grenzgebiete|권=2|출판사=Springer|isbn=0-387-98549-2|mr=1644323|언어=en}}</ref><ref>{{서적 인용|성=Griffiths|이름=Phillip|저자링크=필립 오거스터스 그리피스|공저자=Harris, Joseph|연도=1978|제목= Principles of Algebraic Geometry|출판사=John Wiley and Sons|ISBN=0-471-32792-1|언어=en}}</ref>

== 정의 ==
=== 추상적 정의 ===
[[스킴 (수학)|스킴]] <math>X</math> 위의 [[연접층|준연접]] [[아이디얼 층]] <math>\mathcal I</math>가 있다고 하자. 그렇다면, <math>X</math>의 <math>\mathcal I</math>에서의 '''부풀리기'''는 다음과 같은 데이터로 구성된다.
* [[스킴 (수학)|스킴]] <math>\operatorname{Bl}_{\mathcal I}X</math>
* [[스킴 사상]] <math>\pi\colon\operatorname{Bl}_{\mathcal I}X\to X</math>. 또한, <math>\pi^{-1}\mathcal I</math>는 <math>\operatorname{Bl}_{\mathcal I}X</math> 위의 [[가역층]]이다. 이에 대응되는 [[유효 카르티에 인자]]를 <math>\operatorname{Bl}_{\mathcal I}X</math>의 '''예외 인자'''(例外因子, {{llang|en|exceptional divisor}})라고 한다. 만약 이 [[카르티에 인자]]가 [[베유 인자]]일 경우, 이는 <math>\operatorname{Bl}_{\mathcal I}X</math>의 특별한 부분 스킴으로 간주할 수 있다.
이는 다음 [[보편 성질]]을 만족시켜야 한다.
* 임의의 [[스킴 (수학)|스킴]] <math>Y</math> 및 [[스킴 사상]] <math>\varpi \colon Y \to X</math>에 대하여, 만약 <math>\varpi^{-1}\mathcal I</math>가 <math>Y</math> 위의 [[가역층]]이라면, <math>\varpi = \pi \circ f</math>가 되는 [[스킴 사상]] <math>f\colon Y\to \operatorname{Bl}_{\mathcal I}X</math>가 유일하게 존재한다.
이는 보편 성질에 의하여 정의되므로, 부풀리기는 만약 존재한다면 (유일한 동형 사상 아래) 유일하다.

=== 구체적 정의 ===
[[스킴 (수학)|스킴]] <math>X</math> 위의 [[연접층|준연접]] [[아이디얼 층]] <math>\mathcal I</math>가 있다고 하자. 그렇다면, <math>X</math> 위의 가환 [[등급환]]의 [[층 (수학)|층]]
:<math>\bigoplus_{n=0}^\infty \mathcal I^n = \mathcal O_X \oplus \mathcal I \oplus \mathcal I^2 \oplus \dotsb</math>
을 정의할 수 있다.

이 경우, 이에 대한 [[상대 사영 스펙트럼]]({{llang|en|relative Proj construction}})을 취할 수 있다.
:<math>\operatorname{Bl}_{\mathcal I}X=\operatorname{\underline{Proj}}\bigoplus_{n=0}^\infty\mathcal I^n</math>
이는 정의에 따라 표준적인 [[스킴 사상]]
:<math>\pi_X\colon\operatorname{Bl}_{\mathcal I}X \to X</math>
을 갖는다. 이를 <math>X</math>의 <math>\mathcal I</math>에서의 '''부풀리기'''라고 한다. 이 구성이 추상적 정의의 [[보편 성질]]을 충족시킴을 보일 수 있다.

이 [[스킴 사상]]은 <math>X \setminus \operatorname{supp}\mathcal I</math>에서 [[동형 사상]]이다. 이 경우 [[아이디얼 층]]
:<math>\bigoplus_{n=1}^\infty \mathcal I^n</math>
으로 정의되는 [[카르티에 인자]]를 '''예외 인자'''라고 한다.

== 성질 ==
<math>X</math>가 [[국소 뇌터 스킴]]이며, <math>Y \hookrightarrow X</math>와 <math>Z \hookrightarrow X</math>가 [[닫힌 몰입]]이라고 하자. (즉, 이들은 [[준연접층|준연접]] [[아이디얼 층]]으로 정의된다.) 그렇다면, 부풀리기
:<math>\pi_X \colon \operatorname{Bl}_ZX \to X</math>
를 정의할 수 있다. 이 경우, <math>Y</math>의 부풀리기는 다음과 같다.
:<math>\operatorname{Bl}_{Y\cap Z}X = \operatorname{cl}_{\operatorname{Bl}_ZX}(\pi^{-1}(Y \setminus Z))</math>

== 예 ==
<math>\mathbb A_K^n</math>이 [[체 (수학)|체]] <math>K</math>에 대한 <math>n</math>차원 [[아핀 공간]]이라고 하고, <math>\mathbb P^{n-1}</math>이 같은 체에 대한 <math>n-1</math>차원 [[사영 공간]]이라고 하자. <math>\mathbb A^n</math>의 좌표를 <math>x_1,\dots,x_n</math>이라고 하고, <math>\mathbb P^{n-1}</math>의 [[동차좌표]]를 <math>y_1,\dots,y_n</math>이라고 하자.

원점 <math>0\in\mathbb A_K^n</math>에 대한 부풀리기 <math>\operatorname{Bl}_0\mathbb A_K^n\subseteq\mathbb A_K^n\times\mathbb P_K^{n-1}</math>는 다음과 같은 [[아이디얼]]로 정의되는 부분 대수다양체이다. 이는 준사영 대수다양체 <math>\mathbb A_K^n\times\mathbb P_K^{n-1}\subsetneq \mathbb P^{2n-1}_K</math>의 닫힌 부분 대수다양체이므로, <math>K</math>에 대한 준사영 대수다양체이다.
:<math>\operatorname{Bl}_0\mathbb A^n=\{(x_1,\dots,x_n,y_1,\dots,y_n)|x_iy_j=x_jy_i\forall i,j=1,\dots,n\}</math>.
물론 다음과 같은 자연스러운 사영 사상이 존재한다.
:<math>\pi\colon\operatorname{Bl}_0\mathbb A^n\to\mathbb A^n</math>
:<math>(x_1,\dots,x_n,y_1,\dots,y_n)\mapsto(x_1,\dots,x_n)</math>.
이 사상은 체가 [[복소수]]일 경우 정칙사상(regular map)이다.

이 사상의 올은 다음 두 가지 경우가 있다.
* 원점이 아닌 점 위의 올: 이 경우 올의 유일한 점은 <math>[y_1:\dotsb:y_n] = [x_1:\dotsb:x_n]</math>이다. 즉, 올은 [[한원소 공간]]이다.
<div class="mw-collapsible mw-collapsed toccolours">
'''증명:'''
<div class="mw-collapsible-content">
이 경우 <math>x_k \ne 0</math>인 <math>k\in\{1,\dotsc,n\}</math>가 존재한다. 그렇다면 임의의 <math>i\in\{1,\dotsc,n\}</math>에 대하여
:<math>y_i = \frac{x_i}{x_k} y_k</math>
이다. 즉, <math>y_k</math>에 의하여 모든 <math>y</math>들이 결정된다. 사영 공간의 동차 좌표는 모두 0일 수 없으므로, <math>y_k \ne 0</math>이다. 그렇다면 임의로 <math>y_k = x_k</math>로 놓을 수 있으며, 그렇다면 <math>y_i = x_i</math>이다.
</div></div>
* 원점 위의 올: 이 경우 올은 (자명하게) <math>\{0\}\times\mathbb P^{n-1}_K</math>이다.
이 사상은 [[쌍유리 사상]]이며, 구체적으로 원점을 제외하면 대수다양체의 [[동형 사상]]이다. <math>0\in\mathbb A^n</math>에서는 <math>E=\pi^{-1}(0)\cong\mathbb P^{n-1}</math>이다. 즉, <math>\operatorname{Bl}_0\mathbb A^n</math>은 <math>\mathbb A^n</math>에서 원점만을 [[사영 공간]] <math>\mathbb P^{n-1}</math>로 대체하여 얻는 공간이며, 예외 인자는 이 사영 공간이다.

마찬가지로, 아핀 공간 속의 임의의 아핀 대수다양체 역시 위와 같이 부풀려질 수 있다. 구체적으로, 아핀 공간 속의 부분 대수다양체 <math>V \subseteq \mathbb A^n</math>의 원점에서의 부풀리기는 사영 사상
:<math>\pi \colon \operatorname{Bl}_0\mathbb A^n \to \mathbb A^n</math>
아래, 부풀리기를 한 점을 제외한 나머지의 [[원상]] <math>\pi^{-1}(V \setminus\{0\})</math>의 자리스키 폐포이다.

=== 아핀 스킴의 부풀리기 ===
[[아핀 스킴]] <math>\operatorname{Spec}R</math>을 생각하자. 이 경우, 그 위의 [[준연접층|준연접]] [[아이디얼 층]]은 [[아이디얼]]
:<math>\mathfrak i \subseteq R</math>
이다. 이 경우, 상대 사영 스펙트럼은 다음과 같은 가환 [[등급환]]의 [[사영 스펙트럼]]이다.
:<math>B = \bigoplus_{n=0}^\infty \mathfrak i^n = R \oplus \mathfrak i \oplus \mathfrak i^2 \oplus \dotsb = R[t\mathfrak i] \subseteq R[t]\qquad(\deg t=1)</math>
만약 <math>\operatorname{Spec}R</math>가 추가로 [[뇌터 스킴]]이라면, 그 위의 [[연접층|연접]] [[아이디얼 층]]은 [[유한 생성 아이디얼]]
:<math>\mathfrak i = (r_1,\dotsc,r_n)\subseteq R</math>
이며, 이 경우 부풀리기를 정의하는 가환 [[등급환]]은 다음과 같다.
:<math>B = R[r_1t,r_2t,\dotsc,r_nt] \subseteq R[t]\qquad(\deg t=1)</math>

특히, 만약 <math>\mathfrak i = 0</math>([[영 아이디얼]])인 경우, <math>B = R</math>이다. 반대로, <math>\mathfrak i = (1) = R</math>인 경우, <math>B = R[t]</math>이다.

=== 자명한 경우 ===
스킴 <math>X</math>를 [[공집합]]에서 부풀린다면, 이는 <math>X</math>와 같다. 이에 대응하는 [[준연접층|준연접]] [[아이디얼 층]]은 <math>\mathcal O_X</math>이다. 구체적으로
:<math>\operatorname{\underline{Proj}}_X\mathcal O_X[t] = \mathbb P_X(\mathcal O_X) = X</math>
이다. 보다 일반적으로, 스킴을 (<math>\mathcal O_X</math> 등의) [[가역층]]에서 부풀린다면, 원래 스킴을 얻는다. 이 사실은 부풀리기의 [[보편 성질]]에 의하여 자동적으로 성립한다.

스킴 <math>X</math>를 <math>X</math> 전체에서 부풀린다면, 이는 [[공집합]]이다. 이에 대응하는 [[준연접층|준연접]] [[아이디얼 층]]은 0이다. 구체적으로
:<math>\operatorname{\underline{Proj}}_X(\mathcal O_X \oplus 0 \oplus 0 \oplus \dotsb ) = \operatorname{\underline{Proj}}_X\mathcal O_X = \mathbb P_X(0) = \varnothing</math>
이다.

== 역사 ==
부풀리기는 [[대수다양체]]의 내재적인 변환이다. 역사적으로 이 구성은 ‘모노이드 변환’({{llang|en|monoidal transformation}}) 또는 ‘시그마 과정’({{llang|en|σ-process}}) 따위로 불렸으며, 외재적으로 (즉, [[사영 공간]] 속으로의 구체적 매장을 통하여) 정의되었지만, 사실 이 구성은 대수다양체의 [[사영 공간]]이나 [[아핀 공간]]으로의 매장에 의존하지 않는다.

부풀리기에 대하여 헤르비히 하우저({{llang|de|Herwig Hauser}})는 다음과 같이 적었다.
{{인용문2|
“그 당시 수학자들은 특이점의 해소를 위하여 부풀리기 따위의 서투른 방법을 사용하였다.”라고 21세기 후반의 한 수학자 J.H.Φ. 라이히트는 언젠가 적을 수 있을지 모른다. 그러나 우리 시대에는 여전히 해소를 위하여 주로 부풀리기를 사용한다.
<br>
{{lang|en|“''At that time, blowups were the poor man’s tool to resolve singularities.''” This phrase of the late 21st century mathematician J.H.Φ. Leicht could become correct.  In our days, however, blowups are still the main device for resolution purposes.}}
|<ref>{{서적 인용|장url=http://www.gokovagt.org/proceedings/2005/ggt05-hauser.pdf|날짜=2005|장=Seven short stories on blowups and resolutions | 이름=Herwig | 성=Hauser | 제목=Proceedings of 12th Gökova Geometry–Topology Conference | 쪽=1–48 | 언어=en}}</ref>}}

== 각주 ==
{{각주}}

== 외부 링크 ==
* {{eom|title=Monoidal transformation}}
* {{eom|title=Blow-up algebra}}
* {{웹 인용|url= https://commalg.subwiki.org/wiki/Blowup_algebra | 제목=Blowup algebra | 웹사이트=Commalg }}
* {{웹 인용|url=http://www.claymath.org/library/2012/Projective_Blow_up.pdf | 제목=Projective schemes and blow-ups | 이름=A. | 성=Bravo | 이름2=Orlando E. | 성2=Villamayor U.|날짜=2012-05 | 언어=en}}

{{전거 통제}}

[[분류:대수기하학]]