산술종수

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

1. 개요
2. 정의
3. 성질
참조

1. 개요

산술 종수는 사영 스킴, 복소 사영 다양체, 켈러 다양체 등에서 정의되는 불변량이다. 사영 스킴의 경우 구조층의 오일러 지표를 사용하여 정의되며, 복소 사영 다양체와 켈러 다양체의 경우 호지 수를 통해 정의된다. 표수 0인 대수적으로 닫힌 체 위의 비특이 대수다양체의 산술 종수는 쌍유리 불변량이며, 특이점을 갖는 대수다양체의 경우 쌍유리 불변량이 아니다.

2. 정의

$n$ 차원 복소 대수다양체의 호지 수(Hodge number)가 $h^{p,q}$ 라고 할 때, 이 대수다양체의 산술 종수 $p_a$ 는 다음과 같이 정의된다.

: $p_a=h^{n,0}-h^{n-1,0}+h^{n-2,0}-\dotsb+(-1)^{n-1}h^{1,0}$ .

이는 리만 곡면의 종수 정의와 호환되게 하기 위해 마지막 항 $(-1)^nh^{0,0}$ 을 포함하지 않는다.

이 정의는 다른 일부 국소환 달린 공간에도 적용할 수 있다.^[1]

2. 1. 사영 스킴

''X''를 체 ''k'' 위의 차원 ''r''인 사영 스킴이라고 하자. 이때 ''X''의 산술 종수

p_a

는 다음과 같이 정의된다.

:

p_a(X)=(-1)^r (\chi(\mathcal{O}_X)-1).

여기서

\chi(\mathcal{O}_X)

는 구조 층

\mathcal{O}_X

의 오일러 지표이다.^[1]

2. 2. 복소 사영 다양체

호지 수(Hodge number)가

h^{p,q}

인 ''n''차원 복소 대수다양체의 산술 종수

p_a

는 다음과 같이 정의된다.

:

p_a=h^{n,0}-h^{n-1,0}+h^{n-2,0}-\dotsb+(-1)^{n-1}h^{1,0}

.

이는 리만 곡면의 종수 정의와 호환되게 하기 위해 마지막 항

(-1)^nh^{0,0}

을 포함하지 않는다.

복소 사영 다양체의 차원이 ''n''인 산술 종수는 호지 수의 조합으로 정의할 수 있는데, 다음과 같다.

:

p_a=\sum_{j=0}^{n-1} (-1)^j h^{n-j,0}.

''n''=1일 때, 공식은

p_a=h^{1,0}

이 된다. 호지 정리에 따르면,

h^{0,1}=h^{1,0}

이다. 따라서

h^{0,1}=h^1(X)/2=g

인데, 여기서 ''g''는 곡면의 종수의 일반적인 (위상수학적) 의미이며, 따라서 정의는 일치한다.

''X''가 콤팩트 켈러 다양체일 때, ''h''^''p'',''q'' = ''h''^''q'',''p''를 적용하면 사영 다양체의 이전 정의가 복구된다.

2. 3. 켈러 다양체

콤팩트 켈러 다양체의 경우 ''h''^''p'',''q'' = ''h''^''q'',''p''를 사용하여 이를 구조층

\mathcal{O}_M

에 대한 코히어런트 코호몰로지에서의 오일러 지표로 재구성할 수 있다.

:

p_a=(-1)^n(\chi(\mathcal{O}_M)-1).

따라서 이 정의는 다른 일부 국소환 달린 공간에 적용될 수 있다.

3. 성질

표수가 0인 대수적으로 닫힌 체 위의 비특이 대수다양체의 산술 종수는 쌍유리 불변량이다.^[2] 임의의 표수의 대수적으로 닫힌 체 위에서, 고전적으로는 3차원 이하의 비특이 대수다양체의 산술 종수 역시 쌍유리 불변량이라는 사실이 알려져 있었다. 임의의 표수 및 임의의 차원의 비특이 대수다양체의 산술종수가 쌍유리 불변량이라는 사실은 최근에 증명되었다.^[3]

특이점을 갖는 대수다양체의 경우, 산술 종수는 쌍유리 불변량이 아니다. 예를 들어, 특이점을 갖는 대수 곡선에서 특이점을 부풀리면 산술 종수는 감소한다.^[2]

복소 사영 다양체의 차원이 ''n''인 산술 종수는 호지 수의 조합으로 정의할 수 있는데, 다음과 같다.

: $p_a=\sum_{j=0}^{n-1} (-1)^j h^{n-j,0}.$

''n''=1일 때, 공식은 $p_a=h^{1,0}$ 이 된다. 호지 정리에 따르면, $h^{0,1}=h^{1,0}$ 이다. 따라서 $h^{0,1}=h^1(X)/2=g$ 인데, 여기서 ''g''는 곡면의 종수의 일반적인 (위상수학적) 의미이며, 따라서 정의는 일치한다.

''X''가 콤팩트 켈러 다양체일 때, ''h''^''p'',''q'' = ''h''^''q'',''p''를 적용하면 사영 다양체의 이전 정의가 복구된다.

콤팩트 켈러 다양체의 경우 ''h''^''p'',''q'' = ''h''^''q'',''p''을 사용하여 이를 구조층 $\mathcal{O}_M$ 에 대한 코히어런트 코호몰로지에서의 오일러 지표로 재구성할 수 있다.

: $p_a=(-1)^n(\chi(\mathcal{O}_M)-1).\,$

따라서 이 정의는 다른 일부 국소환 달린 공간에 적용될 수 있다.

참조

_[1] 서적 Algebraic Geometry http://link.springer[...] Springer New York 1977
_[2] 서적
_[3] 논문

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

문의하기 : help@durumis.com