네프 가역층 문서 원본 보기

{{위키데이터 속성 추적}}
[[대수기하학]]에서 '''네프 가역층'''(nef可逆層, {{llang|en|nef invertible sheaf}})은 부분 대수 곡선에 제한하였을 때 그 차수가 항상 음이 아닌 정수가 되는 [[가역층]]이다.

== 정의 ==
[[체 (수학)|체]] <math>K</math> 위의 [[완비 대수다양체]] <math>X</math> 위의 가역층 <math>\mathcal L</math>이 다음 조건을 만족시킨다면, '''네프 가역층'''이라고 한다.
:모든 기약 [[완비 대수다양체|완비]] [[대수 곡선]] <math>C\subset X</math>에 대하여, <math>\textstyle\int_X\operatorname c_1(\mathcal L)\ge0</math>
여기서
:<math>\operatorname c_1(\mathcal L)\in\operatorname A^1(X)</math>
은 1차 [[천 특성류]]이다.

네프 가역층에 대응하는 [[카르티에 인자]]를 '''네프 인자'''({{llang|en|nef divisor}})라고 한다.

== 성질 ==
모든 [[풍부한 가역층]]은 네프 가역층이다. 

== 역사 ==
“네프”({{llang|en|nef}})라는 용어는 마일스 앤서니 리드({{llang|en|Miles Anthony Reid}})가 도입하였으며,<ref>{{서적 인용 | last=Reid | first1=Miles Anthony | mr=0715649 | title=Algebraic Varieties and Analytic Varieties (Tokyo, 1981)| 장=Minimal models of canonical 3-folds | pages=131–180 | series=Advanced Studies in Pure Mathematics | volume=1 | publisher=North-Holland | year=1983 | ISBN=0-444-86612-4 | 언어=en}}</ref> “수치 효과적”({{llang|en|numerically effective}}) 또는 “수치적 결과적 자유”({{llang|en|numerically eventually free}})의 머리글자이다.

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

{{전거 통제}}

[[분류:대수기하학]]
[[분류:벡터 다발]]