네프 가역층

틀:위키데이터 속성 추적 대수기하학에서 네프 가역층(nef可逆層, 틀:Llang)은 부분 대수 곡선에 제한하였을 때 그 차수가 항상 음이 아닌 정수가 되는 가역층이다.

정의

체 $K$ 위의 완비 대수다양체 $X$ 위의 가역층 $ℒ$이 다음 조건을 만족시킨다면, 네프 가역층이라고 한다.

모든 기약 완비 대수 곡선 $C\subset X$에 대하여, $\underset{X}{\int }{\mathrm{c}}_1(ℒ)\ge 0$

여기서

${\mathrm{c}}_1(ℒ)\in {\mathrm{A}}^1(X)$

은 1차 천 특성류이다.

네프 가역층에 대응하는 카르티에 인자를 네프 인자(틀:Llang)라고 한다.

성질

모든 풍부한 가역층은 네프 가역층이다.

역사

“네프”(틀:Llang)라는 용어는 마일스 앤서니 리드(틀:Llang)가 도입하였으며, “수치 효과적”(틀:Llang) 또는 “수치적 결과적 자유”(틀:Llang)의 머리글자이다.