은 의 동차 좌표 환라고 한다. 차수와 차원 같은 의 기본 불변량은 이 등급환의 힐베르트 다항식에서 읽을 수 있다.
사영적 다형체는 여러 가지 방식으로 만들어 진다. 사영 다형체는 완비인데, 여기서 완비란 "누락된" 점이 없음을 의미한다고 대략적으로 설명할 수 있다. 그 반대는 일반적으로 사실이 아니지만 저우 보조 정리는 이 두 개념의 밀접한 관계를 설명한다. 다형체가 사영임을 보여주는 것은 에서 선다발 또는 약수를 연구하여 수행된다.
사영 다형체의 두드러진 특징은 층 코호몰로지에 대한 유한성 제약이다. 매끄러운 사영 다형체의 경우 세르 쌍대성은 푸앵카레 쌍대성과 비슷하다고 볼 수 있다. 또한 사영 곡선, 즉 1차원 사영 다형체에 대한 리만-로흐 정리로 이어진다. 사영 곡선 이론은 특히 풍부하며 곡선의 산술 종수에 따른 분류를 포함한다. 더 높은 차원을 가진 사영 다형체에 대한 분류는 자연스럽게 사영 다형체의 모듈라이 공간으로 이어진다.[1]힐베르트 스킴은 정해진 힐베르트 다항식으로 의 닫힌 부분 스킴를 매개변수화한다. 힐베르트 스킴은 그라스마니안을 특수한 경우로 포함하며, 힐베르트 스킴도 그 자체로 사영 스킴이다. 기하 불변 이론은 또 다른 접근법을 제공한다. 고전적인 접근 방식에는 타이히뮐러 공간과 저우 다형체가 포함된다.
고전 수학으로 거슬러 올라가는 특히 풍부한 이론은 복소 사영 다형체, 즉 를 정의하는 다항식이 복소 계수를 가질 때 사용할 수 있다. 대체로 GAGA 정리는 사영 복소 해석 공간(또는 다양체)의 기하학이 사영 복소 다형체의 기하학과 동일하다고 말한다. 예를 들어, 에 대한 정칙 선형 다발(보다 일반적으로 해석적 연접층)이론은 대수 선형 다발 이론과 일치한다. 저우 정리는 사영 공간의 부분 집합이 동차 다항식의 영점 집합임과 정칙 함수 족의 영점 집합임이 동치라고 말한다. 복소 사영 다형체에 대한 해석적 및 대수적 방법의 조합은 호지 이론과 같은 영역으로 이어진다.
더욱이, 사영 다형체 는 대수 다형체이며, 이는 열린 아핀 부분다형체들에 의해 덮이고 분리 공리를 만족한다는 것을 의미한다. 따라서 의 국소적 연구(예: 특이점)는 아핀 다형체의 연구로 귀결된다. 이에 대한 명시적 구조는 다음과 같다. 사영 공간 는 표준 열린 아핀 좌표 조각들
로 덮인다. 이 좌표 조각들 자체는 각각 좌표 환이
인 차원 아핀 공간이다. 표기의 단순성을 위해 이라하고 위 첨자(0)를 삭제한다. 그러면 는 의 모든 에 대해 들로 생성된 의 이데알로 정의되는 의 닫힌 부분 다형체이다.
따라서 는 차원 열린 아핀 좌표 조각 들에 덮이는 대수적 다형체이다.
는 안의 아핀 다형체 의 폐포임을 주의하라. 반대로, 어떤 닫힌(아핀) 다형체 에서 시작하여, 안에서 의 폐포는 의 사영 완비화라고 불리는 사영 다형체이다. 만약에 가 를 정의하면 이 폐포를 정의하는 이데알은 의 모든 에 대해 들로 생성된 의 동차 이데알[3]이다.
예를 들어, 가 과 같이 주어진 아핀 곡선이라면, 아핀 평면에서, 사영 평면에서의 사영 완비화는 과 같이 주어진다.
다양한 응용을 위해 사영적 다형체, 즉 사영 스킴보다 더 일반적인 대수기하학적 객체를 고려할 필요가 있다. 사영 스킴을 향한 첫 번째 단계는 대수 다형체로서의 사영 공간에 대한 위의 설명을 정제하는 방식으로 사영 공간에 스킴 구조를 부여하는 것이다. 는 개의 아핀 n 차원 공간 들를 합집합 한 스킴이다. 보다 일반적으로,[4] 환 위의 사영 공간은 아핀 스킴
들의 합집합이다. 이러한 방식으로 변수가 예상대로 일치한다. 대수적으로 닫힌 체 의 경우, 의 닫힌 점들의 집합은 일반적인 의미에서 사영 공간 이다.
동일하지만 효율적인 구성은 Proj 구성에 의해 제공되며, 이는 아핀 스킴을 정의하는 "Spec"으로 표시되는 환 스펙트럼과 비슷하다.[5] 예를 들어 가 환이라면
을 유도한다. 사영 다형체에 비해 이데알 가 소 이데알이라는 조건이 없어졌다. 이는 훨씬 더 유연한 개념으로 이어진다. 한편으로는 위상 공간에 여러 개의 기약 성분이 있을 수 있다. 더욱이 에는 멱영원 함수가 있을 수 있다.
의 닫힌 부분 스킴은 의 포화된 동차 이데알 에 1대1 대응한다; 즉, [6] 이 사실은 사영 영점 정리의 세련된 버전으로 간주될 수 있다.
위의 개념에 대해 좌표 없는 아날로그를 제공할 수 있다. 즉, 유한차원 벡터 공간 V over k 가 주어지면
여기서 는 의 대칭 대수이다.[7] 그것은 의 사영이다. 즉, 의 직선들을 매개변수화한다. 위에서 설명한 좌표 조각을 사용하여 정의되는 정규 전사 사상 이 있다.[8] 구성의 한 가지 중요한 용도는 다음과 같다(§ Duality and linear system 참조). 사영 다형체 의 약수 는 선다발 에 해당한다. 그러면
으로 정의할 수 있다. 만약에 가 세르의 비틀린 층이면, 를 로 당긴 것을 로 나타낸다.; 즉, 표준 사상 에 대해 .
스킴 가 로의 사영이 따르는 닫힌 몰입
으로서 분해되면 위에서 사영적이라고 한다.
-스킴 위의 선다발(또는 가역 다발) 은 어떤 n 에 대해 이 로 당겨지도록 하는 몰입(즉, 닫힌 몰입이 따라오는 열린 몰입)
이 있는 경우, 에아주 풍부하다고 한다. 그러면 -스킴 는 그것이 적절하고 에 비해 에 아주 풍부한 다발이 존재하는 경우에, 그리고 그때에만 사영적이다. 실제로 가 적절하면 아주 풍부한 선다발에 해당하는 몰입이 필연적으로 닫힌다. 반대로, 가 사영이면, 의 닫힌 몰입 아래에서 의 사영 공간으로의 당김은 아주 풍부하다. "사영"이 "적절한"을 의미한다는 것은 더 깊은 의미를 지닌다: 소거론의 주요 정리.
정의에 따르면 다형체는 에 대해 적절할 경우 완비다. 적합성의 판별 기준은 적절한 다형체에 "누락된" 점이 없다는 직관을 표현한다.
완비 다형체와 사영 다형체 사이에는 밀접한 관계가 있다. 한편으로는, 사영적 공간, 따라서 모든 사영 다형체가 완비이다. 그 반대는 일반적으로 사실이 아니다. 하지만:
매끄러운 곡선 는 완비인 경우에만 사영적이다. 이는 에 대한 함수체의 이산 값매김 환 집합으로 를 식별함으로써 증명된다. 이 집합에는 자리스키-리만 공간이라고 하는 자연스러운 자리스키 위상이 있다.
저우 보조 정리는 모든 완비 다형체 에 대해 사영 다형체 와 쌍유리 사상 가 있음을 나타낸다.[9] (또한 정규화를 통해 이 사영 다형체가 정규라고 가정할 수 있다.)
사영 다형체의 일부 성질은 완비성에서 비롯된다. 예를 들어, 모든 사영 다형체 X over k 에 대해,
[10] 이 사실은 리우빌 정리(콤팩트 연결 복소 다양체의 모든 정칙 함수는 상수함수)의 대수학적 유사체이다. 사실, 복소 사영 다형체에 대한 복소 해석적 기하학과 대수 기하학 사이의 유사성은 아래에서 설명하는 것처럼 이보다 훨씬 더 나아간다.
준 사영 다형체는, 정의 상, 사영 다형체의 열린 부분 다형체이다. 이 종류의 다형체에는 아핀 다형체가 포함된다. 거의 모든 아핀 다형체는 완비(또는 사영)가 아니다. 사실, 아핀 다형체의 사영 부분 다형체는 0차원 이여야 한다. 이는 상수함수만이 사영 다형체에 대한 대역적 정규 함수이기 때문이다.
정의에 따르면, 다항식 환의 모든 동차 이데알은 사영 스킴을 생성한다(다형체를 제공하려면 소 이데알이어야 함). 이런 의미에서 사영적 다형체의 예는 많다. 다음 목록은 특히 집중적으로 연구되었기 때문에 주목할 만한 다양한 종류의 사영 다형체를 언급한다. 복소 사영 다형체의 중요한 부류, 즉, 인 경우, 아래에서 더 자세히 설명한다.
모든 충분히 큰 에 대해, 과 같은 다항식 가 존재한다. 이 다항식을 의 힐베르트 다항식이라고 한다. 이는 의 외적 기하학을 인코딩하는 불변량이다. 의 차수는 의 차원 이고, 의 선행 계수에 을 곱하면 다형체 의 차수가 된다. 가 매끄러울 때 의 산술 종수는 이다.
예를 들어, 의 동차 좌표 환은 이고 힐베르트 다항식은 ; 산술 종수는 0이다.
동차 좌표 환 은 정수적으로 닫힌 정역이다. 그래서 사영 다형체 는 사영적으로 정규라고 한다. 스킴의 정규성과는 달리, 사영적 정규성은 에 따라 다르다.의 사영 공간으로의 매장. 사영 다형체의 정규화는 사영적이다; 사실, 그것은 의 동차 좌표 환의 정수적 폐포의 Proj이다.
를 사영 다형체라 하자. 매장을 기준으로 의 차수를 정의하는 방법에는 적어도 두 가지가 있다. 첫 번째 방법은 유한 집합의 기수로 정의하는 것이다.
여기서 는 의 차원이고 는 "일반 위치"에 있는 초평면이다. 이 정의는 차수에 대한 직관에 해당한다. 실제로 가 초곡면이면 의 차수는 를 정의하는 동차 다항식의 차수이다. "일반 위치"는 예를 들어 교차 이론에 의해 정확해질 수 있다. 교집합이 적절하고 기약 성분의 중복도가 모두 1이라는 것을 요구한다.
이전 적에서 언급한 다른 정의는 의 차수가 의 힐베르트 다항식의 선행 계수와 의 곱이라는 것이다. 기하학적으로 이 정의는 의 차수가 에 대한 아핀 원뿔의 꼭지점의 중복도임을 의미한다.[12]
가 적절히 교차하는 순수 차원의 닫힌 부분 스킴이라 하자(일반적인 위치에 있음). 가 교차에서 기약 성분 의 중복도를 나타내는 경우(즉, 교차 중복도), 베주 정리의 일반화는 다음과 같이 말한다.[13]
1차원 사영 스킴을 사영 곡선이라고 한다. 사영 곡선 이론의 대부분은 매끄러운 사영 곡선에 관한 것이다. 곡선의 특이점은 정규 함수 환의 정수적 폐포를 국소적으로 취하는 정규화로 해결할 수 있기 때문이다. 매끄러운 사영 곡선은 함수체가 동형인 경우에만 동형이다.
의 유한 확장에 대한 연구 또는 동등하게 위의 매끄러운 사영 곡선은 대수적 수론에서 중요한 주제이다.[15]
종수 1인 매끄러운 사영 곡선을 타원 곡선이라고 한다. 리만-로흐 정리의 결과로 이러한 곡선은 의 닫힌 부분 다형체로 매장될 수 있다. 일반적으로 모든 (매끄러운) 사영 곡선은 에 매장 될 수 있다. (증명은 Secant 다형체#Examples 참조). 반대로, 안의 매끄러운 닫힌 3차 곡선은 종수- 차원 공식에 의해 종수 1을 가지므로 타원 곡선이다.
2보다 크거나 같은 종수의 매끄러운 완비 곡선은 유한 사상 이 있는 경우 2차 초타원 곡선이라고 한다.[16]
사영 다형체 의 또 다른 중요한 불변량은 의 피카르 군이다. 는 에 있는 선다발들의 동치류 집합이며, 와 동형이다. 따라서 내재적 성질(매장과 무관)이다. 예를 들어 의 피카르 군은 차수 사상를 통해 와 동형이다 의 핵은 아벨 군일 뿐만 아니라, 의 아코비 다형체라는 다형체가 있으며, 그의 점은 이 군과 같다. (매끄러운) 곡선의 야코비 다형체는 곡선 연구에서 중요한 역할을 한다. 예를 들어, 타원 곡선 의 야코비 다형체는 자체이다. 종수 인 곡선 의 경우 의 차원은 이다.
아코비안 다형체처럼 완비이고 군 구조를 갖는 다형체는 닐스 헨리크 아벨을 기리기 위해 아벨 다형체로 알려져 있다. 이는 과 같은 아핀 대수 군과 뚜렷한 대조를 이룬다. 아벨 다형체의 군은 그 이름처럼 항상 가환이다. 더욱이 그들은 풍부한 선다발을 허용하므로 사영적이다. 반면에, 아벨 스킴은 사영적이지 않을 수 있다. 아벨 다형체의 예로는 타원 곡선, 야코비 다형체 및 K3 곡면이 있다.
각 L에 대해 구성은 의 L 점들의 집합과 위의 초평면 집합 사이의 1대1 대응이다. 이 때문에 쌍대 사영 공간 는 의 초평면의 모듈라이 공간이라고 한다. .
의 직선은 연필이라고 불린다. 이는 에 의해 매개변수화되는 위의 초평면 족이다.
V가 유한차원 k-벡터 공간이면 위와 같은 이유로 는 의 초평면들의 공간이다. V가 선다발의 단면으로 구성되는 경우는 중요한 경우이다. 즉, 를 대수적 다형체, L을 의 선다발, 를 유한 차원 부분 벡터 공간이라 하자. 그러면 선형계 V에 의해 결정되는 다음 사상이 있다:[21]
여기서 기저 궤적이라고 하는 B는 V 에서 0이 아닌 단면의 약수들의 교집합이다( 제수의 선형 시스템#A 사상 구성을 위한 선형 시스템에 의해 결정됨 참조).
(매끄러운 사영) 곡선 의 경우, H2과 그 이상은 차원적인 이유로 사라지고, 구조 층의 전역 단면의 공간은 1차원이다. 따라서 의 산술 종수는 의 차원이다. 정의에 따르면 의 기하 종수는 의 차원이다. 따라서 세르 쌍대성은 산술 종수와 기하 종수의 일치성을 의미한다. 그들은 단순히 의 종수라고 불릴 것이다.
세르 쌍대성은 또한 리만-로흐 정리 증명의 핵심 요소이다. 가 매끄럽기 때문에 주요 약수를 법으로 (Weil) 약수군에서 선다발의 동형 클래스 군으로 가는 군동형사상
이 있다.. ωX 에 해당하는 약수는 표준 약수라고 하며 K로 표시된다. l ( D )를 의 차원으로 하자. 그러면 리만-로흐 정리는 다음과 같이 말한다. g가의 종수인 경우, 의 임의의 약수 D에 대해,
힐베르트 스킴은 H의 점(함자적 의미에서)이 의 닫힌 부분 스킴에 해당한다는 의미에서 사영 스킴 의 모든 닫힌 부분 다형체를 매개변수화한다. 이와 같이 힐베르트 스킴은 모듈라이 공간, 즉 점들이 다른 기하학적 대상을 매개변수화하는 기하학적 대상의 예이다. 보다 정확하게, 힐베르트 스킴은 힐베르트 다항식이 주어진 다항식 P와 같은 닫힌 부분 다형체를 매개변수화한다.[26]임의의 k -스킴 T 에 대해 전단사
가 있는 k-스킴 이 존재한다는 것은 그로텐디크의 심층적인 정리이다.[27] 항등 사상에 해당하는 의 닫힌 부분 스킴을 보편족이라고 한다.
에 대해, 힐베르트 스킴 는 안의 r-평면의 그라스마니안이라고 한다. 그리고 가 사영 스킴인 경우, 는 에서 r-평면의 파노 스킴이라고 한다.[28]
이 절에서 모든 대수 다형체는 복소 대수 다형체이다. 복소 사영 다형체 이론의 핵심 특징은 대수적 방법과 해석적 방법의 조합이다. 이러한 이론 사이의 전환은 다음 연결고리에 의해 제공된다: 모든 복소 다항식은 정칙 함수이기도 하므로 모든 복소 다형체 는 복소 해석 공간을 산출한다. 또한 의 기하학적 특성은 의 특성에 의해 반영된다. 예를 들어, 후자는 가 매끄러움과 복소 다양체임이 동치이다. 그리고 가 위에서 적절함과 콤팩트함이 동치이다.
저우 정리는 해석 기하학에서 대수 기하학으로 나아가는 놀라운 방법을 제공한다. 이 정리는 복소 사영 공간의 모든 해석적 부분 다형체가 대수적이라고 한다. 저우 정리는 특정 성장 조건을 만족하는 정칙 함수가 필연적으로 대수적이라고 말하는 것으로 해석될 수 있다. "사영"은 이 성장 조건을 제공한다. 이 정리에서 다음을 추론할 수 있다.
복소 사영 공간 위에서 유리형 함수들은 유리함수이다.
대수 다형체들 사이의 대수적 사상이 해석적 동형사상인 경우, 이는 (대수적) 동형사상이다. (이 부분은 복소 해석학에서 기본적인 사실이다.) 특히 저우 정리는 사영 다형체 사이의 정칙 사상이 대수적이라는 것을 암시한다. (이러한 사상의 그래프를 고려. )
근본적인 고다이라 소멸 정리는 풍부한 선다발 에 대해 다음과 같이 말한다. 표수 0인 체 위의 매끄러운 사영 다형체 에서, i인 경우
또는 동등하게 세르 쌍대성에 의해 에 대해 .[34] 이 정리의 첫 번째 증명은 켈러 기하학의 해석학적 방법을 사용했고, 순수 대수적 증명은 나중에 발견되었다. 일반적으로 고다이라 소멸은 양수인 표수의 매끄러운 사영 다형체에서 성립하지 않는다. 고다이라의 정리는 사라지는 고차 층 코호몰로지에 대한 판정법을 제공하는 다양한 소멸 정리들 중 하나이다. 층의 오일러 특성(위 참조)은 종종 개별 코호몰로지 군보다 더 다루기 쉬우므로 이는 종종 사영 다형체의 기하학에 중요한 결과를 가져온다.[35]
↑Mumford 1999, pg. 111 괄호 없는 하버드 인용 error: 대상 없음: CITEREFMumford1999 (help)
↑This definition differs from Eisenbud & Harris 2000, III.2.3 괄호 없는 하버드 인용 error: 대상 없음: CITEREFEisenbudHarris2000 (help) but is consistent with the other parts of Wikipedia.
↑Hartshorne 1977, Ch I, Exercise 2.8; this is because the homogeneous coordinate ring of is a unique factorization domain and in a UFD every prime ideal of height 1 is principal.
↑Shafarevich 1994, Ch. I. § 4.4. Example 1. 괄호 없는 하버드 인용 error: 대상 없음: CITEREFShafarevich1994 (help)