평탄 가군

대수 구조 환론에서 **평탄 가군**(平坦加群, 플랫 모듈)은 단사 가군 준동형에 텐서곱을 하여도 단사성이 보존되는 가군이다. 대수기하학에서 **평탄 사상**(平坦寫像, flat morphism)은 공역의 줄기가 정의역의 줄기의 평탄 가군이 되도록 하는 스킴 사상이다. 기하학적으로, 평탄 사상은 그 올들이 "연속적으로" 변한다는 것을 뜻한다. 임의의 스킴 사상에서는 올의 크룰 차원이나 힐베르트 다항식 등이 임의로 변할 수 있지만, 평탄성을 가정하면 이러한 성질들이 일정하다는 것을 보일 수 있다.
# 정의

## 평탄 가군
(곱셈 항등원을 가진) 환 R 위의 임의의 왼쪽 가군 _RM에 대하여, _RM과의 R-텐서곱으로 정의되는 가법 함자 :-\otimes_RM\colon\operatorname{Mod}_R\to\operatorname{Ab} :-\otimes_RM\colon N_R\mapsto N\otimes_RM 는 일반적으로 오른쪽 완전 함자이지만, (양쪽) 완전 함자가 아닐 수 있다. (여기서 \operatorname{Mod}_R는 R-오른쪽 가군들의 범주이며, \operatorname{Ab}는 아벨 군들의 범주이다.) (곱셈 항등원을 가진) 환 R 위의 왼쪽 가군 _RM에 대하여 다음 조건들이 서로 동치이며, 이를 만족시키는 왼쪽 가군을 **평탄 왼쪽 가군**(flat left module)이라고 한다. * _RM과의 R-텐서곱으로 정의되는 가법 함자 -\otimes_RM\colon\operatorname{Mod}_R\to\operatorname{Ab}는 완전 함자이다.언어=en122, Definition 4.0 * 임의의 두 R-오른쪽 가군 N_R, N'_R 및 임의의 단사 함수인 R-가군 준동형 f\colon N\to N'에 대하여, f\otimes M\colon N\otimes_RM\to N'\otimes_RM은 단사 함수인 군 준동형이다.122, Definition 4.0 (이는 완전 함자의 정의를 그대로 풀어 쓴 것에 불과하다.) * 임의의 R-오른쪽 가군 N_R에 대하여, \operatorname{Tor}^R_1(N,M)=0이다. (여기서 \operatorname{Tor}는 Tor 함자이다.) * 임의의 R-유한 생성 오른쪽 아이디얼 \mathfrak A_R=Rr_1+\cdots+Rr_k에 대하여, \operatorname{Tor}^R_1(\mathfrak A,M)=0이다. * 임의의 R-오른쪽 아이디얼 _R\mathfrak A에 대하여, 자연스러운 포함 사상 \mathfrak A\otimes_RM\to \mathfrak AM은 아벨 군의 동형 사상이다.125, Theorem 4.12 * 임의의 유한 생성 R-오른쪽 아이디얼 _R\mathfrak A=Rr_1+Rr_2+\cdots+Rr_k에 대하여, 자연스러운 포함 사상 \mathfrak A\otimes_RM\to \mathfrak AM=Rr_1M+Rr_2M+\cdots+Rr_kM은 아벨 군의 동형 사상이다.125, Theorem 4.12 * R-오른쪽 가군 \hom_{\mathbb Z}(M,\mathbb Q/\mathbb Z)이 R-단사 오른쪽 가군이다.125, Theorem 4.9언어=en * 꼬임 없는 왼쪽 가군이며, 임의의 오른쪽 아이디얼 \mathfrak A_R,\mathfrak B_R\subseteq R에 대하여, \mathfrak AM\cap\mathfrak BM=(\mathfrak A\cap\mathfrak B)M이다.언어=en84, Proposition 2.8.5 * 꼬임 없는 왼쪽 가군이며, 임의의 유한 생성 오른쪽 아이디얼 \mathfrak A_R,\mathfrak B_R\subseteq R에 대하여, \mathfrak AM\cap\mathfrak BM=(\mathfrak A\cap\mathfrak B)M이다.84, Proposition 2.8.5 * 임의의 유한 표시 가군 _RN 및 R-가군 준동형 f\colon N\to M에 대하여, f=h\circ g가 되는 유한 생성 자유 왼쪽 가군 _RR^n과 R-가군 준동형 g\colon N\to R^n과 R-가군 준동형 h\colon R^n\to M이 존재한다.Theorem 4.32 * (평탄성의 방정식적 조건 equational criterion for flatness) 임의의 자연수 m,n\in\mathbb N 및 R-계수 m\times n-행렬 T\in\operatorname{Mat}(m,n;R) 및 M-계수 n-벡터 \vec u\in M^n에 대하여, 만약 T\vec u=\vec0\in R^m이라면, \vec u=U\vec u'이며 TU=0\in\operatorname{Mat}(m,n';R)이 되는 자연수 n'\in\mathbb N 및 M-계수 n'-벡터 \vec u'\in M^{n'} 및 n\times n'-행렬 U\in\operatorname{Mat}(n,n';R)가 존재한다.130, Theorem 4.24(3) * (위 조건과 같지만, 항상 m=1인 경우)130, Theorem 4.24(2) * (라자르-고보로프 조건 Lazard–Govorov criterion) R-유한 생성 자유 왼쪽 가군들의 (R-왼쪽 가군 범주 속에서의) 귀납적 극한이다.134, Theorem 4.34언어=fr언어=ru 여기서 :\mathfrak AM=\\{a_1m_1+a_2m_2+\cdots+a_km_k\colon k\in\mathbb N,\;\vec a\in\mathfrak A^k,\;\vec m\in M^k\\} 이며, 꼬임 없는 왼쪽 가군 _RM은 임의의 r\in R에 대하여 \operatorname{Tor}^R_1(R/rR,M)=0인 것이다. 마찬가지로 **평탄 오른쪽 가군**(flat right module)의 개념을 정의할 수 있다. 그 정의는 평탄 왼쪽 가군의 정의에서 "오른쪽 완전 함자"를 제외한 나머지에서 왼쪽·오른쪽을 바뀌어 얻는다. (완전 함자에서 왼쪽·오른쪽은 짧은 완전열의 왼쪽·오른쪽에 대한 것이므로, 왼쪽 가군·오른쪽 가군의 관계와 무관하다.) 위의 서로 동치인 조건들 가운데, "아이디얼 \mathfrak a에 대하여 \mathfrak a\otimes_RM\cong \mathfrak aM"인 것은 (가환환의 경우) 다음과 같이 대수기하학적으로 해석할 수 있다. * 가군 M은 아핀 스킴 X=\operatorname{Spec}R 위의 준연접층을 정의한다. * 아이디얼 \mathfrak a는 X의 닫힌 부분 스킴 Z=\operatorname{Spec}(R/\mathfrak a)\to\operatorname{Spec}R=X를 정의한다. * 준연접층 M을 닫힌 부분 스킴 Z로 제한할 경우 얻는 준연접층은 몫가군 M\otimes_R(R/\mathfrak a)=M/\mathfrak aM이다. (이는 임의의 가군에 대하여 성립한다.) 즉, \mathfrak aM은 Z에서 0이 되는 가군의 단면들로 생각할 수 있다. * 일반적으로, \mathfrak a\otimes_RM\to\mathfrak aM은 전사 함수이지만 전단사 함수가 아니다. 즉, M을 Z로 제한할 때, Z에서 0이 되는 단면들은 단순히 \mathfrak a\otimes_RM이 아니라, 이들 사이에 추가 관계들이 발생한다. * 즉, M이 평탄 가군이라는 것은 임의의 아핀 닫힌 부분 스킴 Z에 대하여, Z에서 0이 되는 단면들이 "자명한" 경우이다. 위의 서로 동치인 조건들 가운데, 평탄성의 방정식적 조건은 대략 다음과 같이 생각할 수 있다. 130, §4C
## 평탄 가군층
평탄 가군의 개념은 **평탄 가군층**(flat sheaf of modules, 平坦加群層)으로 일반화된다. 환 달린 공간 (X,\mathcal O_X) 위의 가군층의 아벨 범주를 \operatorname{Mod}_{\mathcal O_X}라고 하자. (X,\mathcal O_X)-가군층 \mathcal F가 주어졌을 때, 만약 가법 함자 :\operatorname{Mod}_{\mathcal O_X}\to\operatorname{Mod}_{\mathcal O_X} :\mathcal G\mapsto \mathcal G_{\mathcal O_X}\mathcal F 가 완전 함자라면, M을 **평탄 가군층**이라고 한다.
## 평탄 사상
두 가환환 R, S 사이의 **평탄 준동형**(flat homomorphism) f\colon R\to S는 이로 인하여 S가 R의 평탄 가군이 되게 만드는 환 준동형이다. 두 스킴 X, Y 사이의 **평탄 스킴 사상**(flat morphism of schemes) f\colon X\to Y는 임의의 p\in X에 대하여 구조층의 줄기인 국소환의 준동형 :f^\\#_p\colon \mathcal O_{Y,f(p)}\to\mathcal O_{X,p} 이 평탄 준동형인 스킴 사상이다.url-status = dead5, (IV.2.1.1)254
# 성질
R가 (곱셈 항등원을 가진) 가환환이며, M이 R-가군이라고 하자. 그렇다면, 다음 두 조건들이 서로 동치이다. * M은 평탄 가군이다. * (평탄성의 국소성) R의 모든 소 아이디얼 \mathfrak p\in\operatorname{Spec}R에 대하여, 가군의 국소화 M_{\mathfrak p}는 R_{\mathfrak p}에 대하여 평탄 가군이다.
## 함의 관계
다음이 성립한다. * 모든 사영 왼쪽 가군은 평탄 왼쪽 가군이다. 반대로, 모든 왼쪽 완전환 위의 모든 평탄 왼쪽 가군은 사영 왼쪽 가군이다. * 모든 평탄 왼쪽 가군은 꼬임 없는 왼쪽 가군이다. 반대로, 오른쪽 베주 환 위의 모든 꼬임 없는 왼쪽 가군은 평탄 왼쪽 가군이다. (※왼쪽이 아니라 오른쪽 베주 환인 것에 주의)
## 평탄 사상
평탄 사상들의 합성은 평탄 사상이다.Corollaire 2.1.6 평탄 사상은 밑 변환에 대하여 불변이다.(IV.2.1.4), Corollaire IV.2.2.13(i)issn=0072-5285254, Proposition III.9.2(b) 즉, 평탄 사상 f\colon X\to Y 및 g\colon Y'\to Y가 주어졌을 때, 올곱 f\times g\colon X\times_YY'\to Y'은 평탄 사상이다.
### 함의 관계
다음과 같은 함의 관계가 성립한다. :스킴 사상 ⊇ 평탄 사상 ⊇ 국소 유한 표시 사상 ∩ 평탄 사상 ⊇ 매끄러운 사상 ⊇ 평탄 사상 ∩ 비분기 사상 = 매끄러운 사상 ∩ 비분기 사상 = 에탈 사상 ⊇ 열린 몰입
### 평탄성의 일반성
다음과 같은 데이터가 주어졌다고 하자. * X는 국소 뇌터 스킴이다. * Y는 정역 스킴이자 국소 뇌터 스킴이다. * f\colon X\to Y는 유한형 사상이다. 그렇다면 다음이 성립한다.Théorème IV.6.9.1 * 공집합이 아닌 어떤 열린집합 U\subseteq Y에 대하여, f|_{f^{-1}(U)}\colon f^{-1}(U)\to Y는 평탄 사상이다. 이를 **평탄성의 일반성**(genericity of flatness)이라고 하며, 평탄성의 가장 중요한 성질 가운데 하나이다. 이는 알렉산더 그로텐디크가 데비사주(dévissage)를 통하여 증명하였다.
### 올의 차원과 힐베르트 다항식의 일정성
다음과 같은 데이터가 주어졌다고 하자. * X는 국소 뇌터 스킴이다. * Y는 국소 뇌터 스킴이다. * f\colon X\to Y는 평탄 사상이다. 그렇다면, 다음이 성립한다.Corollaire IV.6.1.2 * \forall x\in X\colon\quad\dim\mathcal O_{X,x}=\dim\mathcal O_{Y,f(x)}+\dim\mathcal O_{f^{-1}(f(x)),x} 다음과 같은 데이터가 주어졌다고 하자. * X는 코언-매콜리 국소 뇌터 스킴이다. * Y는 정칙 국소 뇌터 스킴이다. * f\colon X\to Y는 스킴 사상이다. 그렇다면, 다음 두 조건이 서로 동치이다.Corollaire IV.6.1.5 * f는 평탄 사상이다. * \forall x\in X\colon\quad\dim\mathcal O_{X,x}=\dim\mathcal O_{Y,f(x)}+\dim\mathcal O_{f^{-1}(f(x)),x} 따라서, 평탄성은 올의 차원이 국소적으로 일정하다는 것과 (적절한 조건 아래) 동치이다. 정역 뇌터 스킴 S에 의하여 매개화되는 사영 스킴의 족 X를 생각하자. 즉, 사영 공간 \mathbb P^n_S의 닫힌 부분 스킴 :X\subseteq\mathbb P^n_S 를 생각하자. 여기에 구조 사상 \mathbb P^n_S\to S을 합성하여, :f\colon X\to S 를 정의할 수 있다. 그렇다면 s\in S에 대하여 f^{-1}(s)는 \mathbb P^n_{k(s)} 속의 닫힌 부분 스킴을 이룬다. 이 경우, 다음 두 조건이 서로 동치이다.261, Theorem III.9.9 * f는 평탄 사상이다. * 모든 점에서 힐베르트 다항식들이 같다. 즉, s\mapsto\operatorname{HP}f^{-1}(s)는 상수 함수이다.
# 예
(곱셈 항등원을 가진) 가환환 R의, 임의의 곱셈에 대하여 닫힌 부분집합 S\subseteq R에 대한 국소화 S^{-1}R는 R-평탄 가군이다. 정수환은 데데킨트 환이므로, 아벨 군이 \mathbb Z-평탄 가군인 것은 꼬임 부분군이 자명군인 것과 동치이다. 따라서, 순환군 \mathbb Z/n은 평탄 \mathbb Z-가군이 아니다. 예를 들어, n\cdot\colon\mathbb Z\to\mathbb Z는 단사 함수이지만, \mathbb Z/n과의 텐서곱을 취하면 \mathbb Z/n\to\mathbb Z/n은 더 이상 단사 함수가 아니다.
## 매끄럽지 않은 평탄 사상
체 K 위의 스킴의 족 :\operatorname{Spec}K[x,y,t]/(xy-t)\twoheadrightarrow\operatorname{Spec}K[t] 를 생각하자. 이 경우, t\ne0에서는 올이 아핀 타원 곡선 y=x/t이지만, t=0에서 올은 두 아핀 직선(x축과 y축)의 합집합으로 퇴화하게 된다. 따라서 이는 매끄러운 사상이 아니지만, 이는 평탄 사상을 이룬다.
## 평탄 사상이 아닌 사상
체 K 위의 스킴의 족 :\operatorname{Spec}[x,t]/(t(x-1))\twoheadrightarrow\operatorname{Spec}K[t] 를 생각하자. 이 경우, t\ne0에서 올은 한 점으로 구성되지만, t=0에서 올은 아핀 직선을 이룬다. 이에 따라 이는 평탄 사상이 아니다. 다른 예로, 결절점을 가진 삼차 대수 곡선 C을 생각하자.258, Example III.9.7.1 대수 곡선의 특이점은 정규화로 해소되며, 그 정규화를 \tilde C라고 하자. 그렇다면 표준적인 사상 \pi\colon\tilde C\to C가 존재한다. 이는 비분기 사상이지만 평탄 사상이 아니며, 따라서 에탈 사상이 아니다. 평탄성의 실패는 결절점 밖에서는 올이 한 점으로 구성되지만, 결절점에서는 올이 갑자기 ("불연속적으로") 두 개의 점으로 바뀌기 때문이다.
# 역사
평탄성의 개념은 장피에르 세르가 1956년 논문에서 도입하였다.언어=fr34, Définition 3 이 논문에서 세르는 복소수체 위의 대수다양체 X의 해석화 X^{\operatorname{an가 주어졌을 때, X^{\operatorname{an의 구조층의 줄기는 X의 구조층의 줄기 위의 평탄 가군을 이룸을 보였다. 이후 알렉산더 그로텐디크는 평탄성이 대수기하학에서 매우 중요함을 알아차렸고, 이를 《대수기하학 원론》에서 널리 사용하였다. 데이비드 멈퍼드는 평탄성에 대하여 다음과 같이 적었다. 214, §III.10 마찬가지로, 로빈 하츠혼은 평탄성에 대하여 다음과 같이 적었다. 256