인자 (대수기하학)

"오늘의AI위키"는 AI 기술로 일관성 있고 체계적인 최신 지식을 제공하는 혁신 플랫폼입니다.
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.

1. 개요
2. 정의
3. 성질
- 3.1. 카르티에 인자와의 관계
- 3.2. 함자성
4. 예
5. 역사
참조

1. 개요

인자 (대수기하학)는 대수기하학에서 사용되는 개념으로, 국소 뇌터 정역 스킴의 닫힌 부분 스킴을 의미하며, 베유 인자, 효과적 인자, 카르티에 인자 등 다양한 종류가 존재한다. 특히 베유 인자는 소인자들의 집합을 기반으로 정의되며, 베유 인자군은 이러한 베유 인자들로 생성되는 아벨 군이다. 정규 스킴에서는 유리 함수를 통해 베유 인자를 정의하고, 베유 인자 유군을 계산할 수 있다. 이러한 인자들은 카르티에 인자와 밀접한 관련을 가지며, 스킴 사상을 통해 다른 스킴으로 밂될 수 있다. 인자의 개념은 이차 곡면 뿔, 리만 곡면, 크룰 정역, 데데킨트 정역 등 다양한 대수 구조에서 구체적으로 나타나며, 수론과의 연관성을 갖는다. 인자 이론은 크로네커의 인자 이론에서 시작되어 데데킨트, 베유 등에 의해 발전되었다.

더 읽어볼만한 페이지

대수기하학 - 타원곡선
타원곡선은 체 위에서 정의되고 특이점이 없으며 종수가 1인 사영 대수 곡선으로, 유리점을 가지며, 특정 형태의 방정식으로 표현되고, 실수체 위에서는 연결 성분 개수가 판별식에 따라 달라지며, 복소수체 위에서는 원환면과 위상적으로 동형이고, 점들 간에 군 연산이 정의되어 암호학 및 정수론에 활용된다.
대수기하학 - 매끄러운 함수
매끄러운 함수는 함수의 미분 가능성을 나타내는 척도로, k번 미분 가능하고 그 미분 함수가 연속일 경우 C^k로 표기하며, 무한히 미분 가능한 함수를 의미하고, 곡선의 부드러움을 측정하는 데 활용된다.

인자 (대수기하학)
정의
정의	대수다양체의 형식적인 선형 조합
관련 개념
관련 개념	카르티에 인자
분야
분야	대수기하학

2. 정의

국소 뇌터 정역 스킴 $X$ 의 '''소인자'''(素因子, prime divisor^영어)는 여차원이 1인 닫힌 부분 스킴이며, 정역 스킴이다.^[1] 이는 가환환의 높이가 1인 소 아이디얼의 개념을 일반화한 것이다. 즉, $Z$ 의 일반점 $z\in Z$ 에서 줄기 $\mathcal O_{X,z}$ 의 크룰 차원이 1이다.

2. 1. 베유 인자

국소 뇌터 정역 스킴

X

의 '''소인자'''(素因子, prime divisor^영어)

Z\subset X

는 다음 조건을 만족시키는

X

의 닫힌 부분 스킴이다.^[1]

정역 스킴이다.
여차원이 1이다. 즉, $Z$ 의 일반점이 $z\in Z$ 라고 하면, 줄기 $\mathcal O_{X,z}$ 의 크룰 차원이 1차원이다.

이는 가환환의 높이가 1인 소 아이디얼의 개념의 일반화이다.

X

의 소인자들의 집합을

\operatorname{PrimeDiv}(X)

라고 하자. 그렇다면, 다음과 같은 아벨 군의 직접곱을 생각하자.

:

\mathbb Z^{\times \operatorname{PrimeDiv}(X)}

(이는 자유 아벨 군보다 더 큰 군이다.) 그 원소

\textstyle\sum_{Z\in\operatorname{PrimeDiv}(X)}n_ZZ

가운데 다음 조건을 만족시키는 것을 '''베유 인자'''라고 한다.

(국소 유한성) 임의의 $x\in X$ 에 대하여, 집합 $\{Z\in\operatorname{PrimeDiv}(X)\colon n_Z\ne0,\;U\cap Z\ne\varnothing\}$ 이 유한 집합이 되는 근방 $U\ni x$ 가 존재한다.

베유 인자들은

\mathbb Z^{\times \operatorname{PrimeDiv}(X)}

의 부분군을 이루며, 이를

X

의 '''베유 인자군'''(Weil因子群, Weil divisor group^영어)

\operatorname{Div}(X)

라고 한다.

만약

X

가 유한한 열린 덮개를 갖는다면, 베유 인자군은

X

의 소인자들로 생성되는 자유 아벨 군과 같다. 특히, 만약

X

가 뇌터 스킴일 경우 이 조건이 성립한다.^[1]

2. 2. 효과적 인자

국소 뇌터 정역 스킴

X

의 '''효과적 베유 인자'''(效果的Weil因子, effective Weil divisor^영어)는 모든 계수가 음이 아닌 정수인 베유 인자이다. 이는 덧셈에 대하여 모노이드를 이룬다.

2. 3. 정규 스킴의 베유 인자 유군

뇌터 정역 스킴

(X,\mathcal O_X)

가 다음 조건을 만족시킨다고 하자.

(여차원 1에서의 정칙성) 임의의 소인자 $Z\subseteq X$ 의 일반점 $x$ 에 대하여, 구조층의 줄기 $\mathcal O_{X,x}$ 는 정칙 국소환이다. ( $\mathcal O_{X,x}$ 의 크룰 차원이 1이며, 1차원 정칙 국소환일 조건은 이산 값매김환일 조건과 동치이므로 대신 이산 값매김환을 사용해도 관계없다.)

이는 정칙 스킴의 조건을 여차원 1에 대하여 제한시킨 것이다. 즉, 만약

X

가 정역 정칙 스킴이라면 위 조건이 성립한다.

X

의 유리 함수체

:

\Gamma(X,\mathcal K_X)=\operatorname{Frac}\Gamma(X,\mathcal O_X)

를 생각하자. 임의의 유리 함수

f\in\Gamma(X,\mathcal K_X)

에 대응하는 '''베유 주인자'''(Weil主因子, Weil principal divisor^영어)는 다음과 같은 베유 인자이다.

:

(f)=\sum_{Y\in\operatorname{PrimeDiv}X}\operatorname{val}_Y(f)Y\in\operatorname{Div}(X)

여기서 기호는 다음과 같다.

$\textstyle\sum_{Y\in\operatorname{PrimeDiv}X}$ 는 $X$ 의 모든 소인자들에 대한 합이다. (오직 유한 개의 항만이 0이 아님을 보일 수 있다.)
소인자 $Y$ 의 일반점 $y\in X$ 에서의 줄기 $\mathcal O_{X,y}$ 는 이산 값매김환을 이루며, $\operatorname{val}_Y\colon \operatorname\Gamma(X,\mathcal K_X) \to\mathbb Z$ 는 $\mathcal O_{X,y}$ 의 이산 값매김이다.

그렇다면, 유리 함수를 그 주인자에 대응시키는 함수

:

\Gamma(X,\mathcal K_X)\to\operatorname{Div}(X)

는 두 아벨 군 사이의 군 준동형을 이룬다. 그 여핵을 '''베유 인자 유군'''(Weil因子類群, divisor class group^영어)이라고 한다. 즉, 다음과 같은 아벨 군의 완전열이 존재한다.

:

\Gamma(X;\mathcal K_X^\times) \to \operatorname{Div}(X) \to \operatorname{DivCl}(X) \to 0

2. 4. 일반적 스킴의 베유 인자 유군

국소 뇌터 정역 스킴

(X,\mathcal O_X)

가 주어졌다고 하자. 임의의 유리 함수

:

f\in\Gamma(X;\mathcal K_X^\times)

및 점

x\in X

에 대하여,

f

의

x

에서의 차수(order^영어)

\operatorname{ord}_x\colon \Gamma(X;\mathcal K_X^\times)\to\mathbb Z

는 다음과 같은 군 준동형이다.

:

\operatorname{ord}_x\colon K^\times\to\mathbb Z

:

\operatorname{ord}_x(a/b)=\operatorname{length}_{\mathcal O_{X,x}}(\Gamma(X;\mathcal O_X)/(a))-\operatorname{length}_{\mathcal O_{X,x}}(\Gamma(X;\mathcal O_X)/(a))\qquad\forall a,b\in\Gamma(X;\mathcal O_X)\setminus\{0\}

여기서

\operatorname{length}

는 가군의 길이를 뜻한다.

유리 함수

f\in\Gamma(X;\mathcal K_X^\times)

에 대응하는 '''주인자'''는 다음과 같다.

:

(f)=\sum_Z\operatorname{ord}_z(f)

여기서

z

는

Z

의 일반점이다. 이는 군 준동형

:

\Gamma(X;\mathcal K_X^\times)\to\operatorname{Div}(X)

을 정의하며, 그 여핵을 '''베유 인자 유군'''

\operatorname{DivCl}(X)

이라고 한다. 즉, 다음과 같은 아벨 군의 완전열이 존재한다.

:

\Gamma(X;\mathcal K_X^\times) \to \operatorname{Div}(X) \to \operatorname{DivCl}(X) \to 0

3. 성질

베유 인자는 대수다양체의 기하학적, 대수적 성질을 연구하는 데 중요한 도구로 사용된다.

3. 1. 카르티에 인자와의 관계

임의의 뇌터 분리 정규 스킴

X

에 대하여, 카르티에 인자군에서 베유 인자군으로 가는 표준적인 단사 군 준동형이 존재한다.^[1]

:

\operatorname{CaDiv}(X)\to\operatorname{Div}(X)

이에 따라, 카르티에 인자군은 베유 인자군의 부분군이며, 이 부분군은 구체적으로 다음 조건을 만족시키는 베유 인자

D

로 구성된다.^[1]

$X$ 의 충분히 섬세한 열린 덮개 $\{U_i\}_{i\in I}$ 에 대하여, $D|_{U_i}$ 는 $U_i$ 의 베유 주인자이다.

즉, 카르티에 인자는 국소적으로 베유 주인자가 되는 베유 인자이다. 이 준동형이 동형을 이룰 필요 충분 조건은

X

의 구조층의 모든 줄기가 유일 인수 분해 정역인 것이다. 특히, 비특이 대수다양체의 경우에는 카르티에 인자군과 베유 인자군이 서로 동형이다.

구체적으로, 주어진 카르티에 인자에 대응하는 베유 인자는 다음과 같다.^[1]

X

가 정역 스킴이므로, 그 유리 함수층은 어떤 체

K

에 대한 상수층이다.

:

\mathcal K_X\cong\underline K

:

\mathcal K_X^\times\cong\underline{K^\times}

X

위의 모든 베유 소인자

Y\subset X

에 대하여, 그 일반점에서의 줄기

\mathcal O_{Y,X}

는 이산 값매김환이며, 그 값매김을

:

\operatorname{val}_Y\colon\mathcal K^\times_{Y,X}/\mathcal O^\times_{Y,X}\to\mathbb Z

라고 하자. 또한,

\mathcal K_X^\times

의 모든 단면군이

K^\times

가 될 정도로 섬세한

X

의 열린 덮개

\{U_i\}_{i\in I}

를 고르자.

:

X=\bigcup_{i\in I}U_i

:

\Gamma(U_i,\mathcal K_X^\times)\cong K^\times

X

위의 카르티에 인자

f\in\Gamma(X,\mathcal K_X^\times/\mathcal O_X^\times)

가 주어졌다고 하자. 그렇다면, 임의의

i,j\in I

에 대하여, 만약

Y\cap U_i\cap U_j\ne\varnothing

이라면

\operatorname{val}_Y(f|_{U_i})=\operatorname{val}_Y(f|_{U_j})

이다. 그렇다면 다음과 같은 베유 인자를 정의할 수 있다.

:

D_f=\sum_{Y\subset X}\operatorname{val}_Y(f|_{U_i})Y

X

가 뇌터 스킴이므로, 이 합은 유한하다.

3. 2. 함자성

다음이 주어졌다고 하자.

두 국소 뇌터 정역 스킴 $X$ , $Y$ . 또한, $X$ 가 자리스키 위상에서 콤팩트 공간이라고 하자.
스킴 사상 $f\colon X\to Y$
$X$ 의 베유 소인자 $Z$

그렇다면, 닫힌 기약 부분 스킴

\overline{f(Z)} \hookrightarrow Y

을 정의할 수 있다. 이는 일반적으로 베유 소인자가 아닐 수 있으며, 아닐 경우 이를 0으로 놓는다.

:

f_* \colon Z \mapsto \begin{cases}\overline{f(Z)} & \overline{f(Z)} \in \operatorname{PrimeDiv}Y \\0 & \overline{f(Z)} \not\in \operatorname{PrimeDiv}Y\end{cases}

이는 베유 인자군 사이의 군 준동형

:

f_* \colon \operatorname{Div}X \to \operatorname{Div}Y

을 정의한다. 이를 베유 인자의 '''밂'''(pushforward^영어)이라고 한다. (콤팩트성을 가정하지 않으면 밂의 상이 국소 유한성을 충족하지 못할 수 있다.)

4. 예

리만 곡면에서는 베유 인자와 카르티에 인자가 일치하며, 이는 곡면의 모든 점들로 생성되는 자유 아벨 군이다. 예를 들어, 리만 곡면 $\Sigma$ 에서 $z_0\in \Sigma$ 일 때, $nz_0$ ( $n\in\mathbb Z$ )는 베유 인자로 생각할 수 있다. 카르티에 인자로는, 이를 (국소 복소좌표계에서 정의된) 함수 $z\mapsto(z-z_0)^n$ 으로 정의한다.

뇌터 환 크룰 정역의 스펙트럼에는 다음과 같은 대응이 존재한다.

대수기하학	수론
베유 소인자	높이 1의 소 아이디얼
베유 인자의 아벨 군	인자 아이디얼의 아벨 군 (높이 1의 소 아이디얼로 생성되는 아벨 군)
베유 주인자	(가역) 주 분수 아이디얼의 아벨 군
베유 인자 유군	인자 아이디얼 / 주 분수 아이디얼
카르티에 인자 유군 = 피카르 군	아이디얼 유군

데데킨트 정역은 크룰 차원이 1 이하인 크룰 정역이다. 모든 소 아이디얼의 높이는 1 이하이므로, 인자 아이디얼과 가역 분수 아이디얼 개념이 일치한다. 따라서 베유 인자 유군과 피카르 군이 같다. 데데킨트 정역의 스펙트럼을 통해 대수기하학과 수론의 대응 관계를 다음과 같이 표로 나타낼 수 있다.

대수기하학	수론
유리 함수체	분수체
소인자	소 아이디얼
인자	가역 분수 아이디얼
주인자	(가역) 주 분수 아이디얼
인자 유군 = 피카르 군	아이디얼 유군
인자 유군이 자명함	주 아이디얼 정역임

4. 1. 카르티에 인자가 아닌 베유 인자

특이점이 존재하는 이차 곡면 뿔

\operatorname{Spec}\mathbb C[x,y,z]/(xy-z^2)

에서는 베유 인자와 카르티에 인자가 일치하지 않는 경우가 있다.^[1] 이 경우,

x

축

:

\operatorname{Spec}\mathbb C[x,y,z]/((y)\cap(z))\subset \operatorname{Spec}\mathbb C[x,y,z]/(xy-z^2)

은 이차 뿔의 1차원 부분 다양체이므로 베유 인자를 이룬다. 그러나 이는 국소 주인자가 아니므로 카르티에 인자가 아니다.

4. 2. 리만 곡면에서의 인자

리만 곡면(1차원 복소수 비특이 대수다양체)에서는 베유 인자와 카르티에 인자가 일치하며, 곡면의 모든 점들로 생성되는 자유 아벨 군이다. 예를 들어, 리만 곡면

\Sigma

에서

z_0\in \Sigma

일 때,

nz_0

(

n\in\mathbb Z

)는 (베유) 인자로 여길 수 있다. 카르티에 인자로는, 이를 (국소 복소좌표계에서 정의된) 함수

z\mapsto(z-z_0)^n

으로 정의한다.

보다 일반적으로,

M

위에 정의된 유리형 함수

f\colon M\to\hat{\mathbb C}

가 주어지면, 이에 대응하는 주인자

(f) \in \operatorname{PDiv}(\Sigma)

를 정의할 수 있다. 이는

f

의 극점들과 영점들의 선형 결합이며, 선형 결합에서

n

차 영점(

(z-z_0)^n

꼴의 영점)의 계수는

n

으로,

n

차 극점(

(z-z_0)^{-n}

꼴의 극점)의 계수는

-n

으로 한다.

이 경우, 리만 곡면

\Sigma

의 인자

:

D = \sum_{x\in\Sigma} n_xx \qquad(|\{x\in \Sigma\colon n_x\ne0\}| < \infty)

에 대응하는 가역층(정칙 선다발)

\mathcal O(D)

의, (매끄러운 다양체 위상에서) 열린집합

U

에서의 단면의 공간은 유리형 함수

f \colon U \to \hat{\mathbb C}

가운데,

|f| + D

가 효과적 인자인 것들로 구성된다. 다시 말해, 그 단면은 유리형 함수 가운데

x\in U

에서,

n_x

차의 영점을 갖는 것이다. (음의 차수의 영점은 극점으로 간주한다.)

반대로, 가역층

\mathcal L

이 주어졌으며, 이 가역층이 유한 개의 영점만을 갖는 대역적 단면

:

s\in\Gamma(\Sigma\mathcal L)

:

|\{z\in\Sigma\colon s|_z = 0\}| < \infty

을 갖는다면, 이에 대응되는 인자는

:

D = \sum_{z\in\Sigma} \deg_zs

가 된다. (

\deg_zs

는

s

의

z

에서의 영점의 차수이다.) 서로 다른 대역적 단면을 사용하였을 경우, 이는 일반적으로 서로 다른 인자를 정의하지만, 그 인자의 차는 항상 주인자이며, 이는 항상 같은 인자류를 정의한다.

리만 곡면 위의 모든 가역층은 유한 개의 영점을 갖는 대역적 단면을 가진 가역층들과 이러한 가역층의 역원들의 텐서곱으로 표현될 수 있다. (다시 말해, 유효 인자의 가환 모노이드는 인자 유군 전체를 생성한다.) 또는, 이러한 대역적 단면을 갖지 않은 가역층의 경우, ‘유리형’ 단면의 개념을 도입하여, 유한 개의 극점과 영점을 갖는 유리형 단면으로써 그 인자를 정의할 수 있다.

4. 3. 크룰 정역에서의 인자

뇌터 환 크룰 정역

D

의 스펙트럼

X=\operatorname{Spec}D

에는 다음과 같은 대응이 존재한다.

대수기하학	수론
베유 소인자	높이 1의 소 아이디얼
베유 인자의 아벨 군	인자 아이디얼의 아벨 군 $\operatorname{DivIdeal}(D)$ (높이 1의 소 아이디얼로 생성되는 아벨 군)
베유 주인자	(가역) 주 분수 아이디얼의 아벨 군 $\operatorname{PrFracIdeal}(D)^\times$
베유 인자 유군	$\operatorname{DivIdeal}(D)/\operatorname{PrFracIdeal}(D)^\times$
카르티에 인자 유군 = 피카르 군	아이디얼 유군 $\operatorname{FracIdeal}(D)^\times/\operatorname{PrFracIdeal}(D)^\times$

4. 4. 데데킨트 정역에서의 인자

데데킨트 정역은 크룰 차원이 1 이하인 크룰 정역이다. 모든 소 아이디얼의 높이는 1 이하이므로, 인자 아이디얼과 가역 분수 아이디얼 개념이 일치한다. 따라서 베유 인자 유군(=인자 아이디얼/가역 주 분수 아이디얼)과 피카르 군(=가역 분수 아이디얼/가역 주 분수 아이디얼)이 같다.

데데킨트 정역

D

의 스펙트럼

X=\operatorname{Spec}D

를 통해 대수기하학과 수론의 대응 관계를 다음과 같이 표로 나타낼 수 있다.

대수기하학	수론
유리 함수체 $K(X)$	분수체 $\operatorname{Frac}D$
소인자	소 아이디얼
인자	가역 분수 아이디얼
주인자	(가역) 주 분수 아이디얼
인자 유군 = 피카르 군	아이디얼 유군
인자 유군이 자명함	주 아이디얼 정역임

베유 소인자들은 $D$ 의 소 아이디얼들에 대응한다.

: $\operatorname{Spec}D/\mathfrak p\hookrightarrow\operatorname{Spec}D$

데데킨트 정역에서는 아이디얼의 소인수 분해가 존재하므로, $D$ 의 아이디얼

: $\mathfrak a=\prod_i\mathfrak p_i^{n_i}\qquad(n_i\ge0)$

는 베유 효과적 인자

: $\sum_in_i\operatorname{Spec}(D/\mathfrak p_i)$

와 대응한다. $D$ 의 임의의 베유 인자는 $D$ 의 인자 아이디얼

: $\mathfrak a=\prod_i\mathfrak p_i^{n_i}\qquad(n_i\in\mathbb Z)$

에 대응한다.

$D$ 의 분수체의 원소 $a\in\operatorname{Frac}D$ 로 생성되는 주 분수 아이디얼 $Da$ 은 $\operatorname{Spec}D$ 의 베유 주인자에 대응한다. 따라서, $D$ 의 베유 인자 유군은 $D$ 의 아이디얼 유군과 같다.

정수환의 스펙트럼 $\operatorname{Spec}\mathbb Z$ 에서, 베유 인자들은 양의 유리수와 일대일 대응하며, 유리수

: $\prod_ip_i^{n_i}\qquad(n_i\in\mathbb Z)$

는 베유 인자

: $\sum_in_i\operatorname{Spec}\mathbb F_{p_i}$

에 대응한다. 모든 인자 아이디얼을 어떤 유리수에 대응하는 주 분수 아이디얼로 나타낼 수 있으므로, 정수환의 베유 인자 유군은 자명하다. 즉, 정수환은 주 아이디얼 정역이다.

일반적 개념	$\operatorname{Spec}\mathbb Z$ 의 경우
베유 인자	양의 유리수
소인자	소수
유효 베유 인자	양의 정수
베유 인자의 합	유리수의 곱셈
주인자	양의 유리수
베유 인자 유군	자명군

5. 역사

인자의 개념은 수론에서 유래하였다. 인자 개념의 역사는 레오폴트 크로네커의 '''인자 이론'''(Divisorentheorie^de)에서부터 시작되었으며, 이는 오늘날 환론에서 쓰이는 리하르트 데데킨트의 아이디얼 이론을 일반화하는 이론이었다. 에른스트 쿠머는 크로네커의 이론을 추상화하여 데데킨트 정역의 인자 아이디얼 개념을 도입하였다.

앙드레 베유는 데데킨트 정역의 인자 아이디얼 개념을 대수다양체에 일반화하여, 베유 인자를 도입하였다.^[2]

참조

_[1] 서적 Algebraic geometry Springer-Verlag
_[2] 서적 Introduction à l'étude des variétés kahlériennes Hermann & Cie 1958

본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.

문의하기 : help@durumis.com