대수기하학에서 사영 스펙트럼(射影spectrum, 영어: projective spectrum)은 등급환으로부터 스킴을 만드는 한 방법이다.[1]:76–77 이를 다항식들의 등급환에 적용하면 통상적인 사영 공간을 얻는다. 기호는 Proj(R).
가환환
위에 자연수 등급이 주어져 등급환
![{\displaystyle R=\bigoplus _{i=0}^{\infty }R_{i}=R_{0}\oplus R_{1}\oplus R_{2}\oplus \dotsb }](//wikimedia.org/api/rest_v1/media/math/render/svg/a0a5190f3f55c7637d40f2502254116236597df8)
을 이룬다고 하자. (즉, 등급 가환이 아니라 가환이다.) 이 등급환의 무관 아이디얼
을 생각하자. 그렇다면,
의 사영 스펙트럼
는 집합으로서 다음 조건들을 만족시키는
의 소 아이디얼
들의 집합이다.
- 동급이다. 즉, 임의의
에 대하여, 그 성분들을
라고 하면,
이다.
- 무관 아이디얼을 부분 집합으로 포함하지 않는다. 즉,
이다.
여기서 두 번째 조건은 (고전적) 사영 공간에서 무관 아이디얼을 포함하는 아이디얼의 영점의 집합은 공집합이기 때문이다.
구조층
에 다음과 같은 가환환 값의 층
를 주어, 환 달린 공간으로 만들 수 있다. 임의의 열린 집합
에 대하여,
는 다음과 같은 두 성질들을 만족시키는 함수들
![{\displaystyle f\colon {\mathcal {O}}(U)\to \bigcup _{{\mathfrak {p}}\in U}R_{\mathfrak {p}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/960c329d7c3aa37ddb08933cf55be4331a9213e7)
이 이루는 가환환이다. 여기서
를
의 원소가 아닌 모든 동급 원소들의 부분 집합이라고 하면,
는
의
에서의 국소화이다. 모든
에 대하여,
![{\displaystyle f({\mathfrak {p}})\in R_{({\mathfrak {p}})}}](//wikimedia.org/api/rest_v1/media/math/render/svg/3101cf2beed182a5891229a5bf611997404399eb)
는 국소적으로 동급 원소들의 비이다. 즉, 근방
가 존재하여, 모든
에 대해서 다음 두 조건을 만족시키는 원소
가 존재한다.
![{\displaystyle f({\mathfrak {q}})=r/s}](//wikimedia.org/api/rest_v1/media/math/render/svg/fa8b8ed6e56170a5896efd9706abfeb49a498247)
와
는 둘 다 동급 원소이며, 그 등급이 서로 같다. 즉,
인
이 존재한다.
.
이렇게 층을 주면,
는 스킴의 구조를 이루는 것을 보일 수 있다.
사영 스펙트럼 위의 가군층
등급환
위에 등급 가군
이 주어졌다고 하자. 그렇다면 사영 스펙트럼의 정의와 유사하게,
위의 가군층
을 정의할 수 있다. 구체적으로, 임의의 열린집합
에 대하여,
는 다음과 같은 두 성질들을 만족시키는 함수들
![{\displaystyle f\colon {\mathcal {O}}_{\tilde {M}}(U)\to \bigcup _{{\mathfrak {p}}\in U}M_{\mathfrak {p}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/293ec84d05c04bc6376d5212840d711393680d4b)
이 이루는 가환환이다. 여기서
를
의 원소가 아닌 모든 동급 원소들의 부분 집합이라고 하면,
는
의
에서의 국소화이다. 모든
에 대하여,
![{\displaystyle f({\mathfrak {p}})\in M_{({\mathfrak {p}})}}](//wikimedia.org/api/rest_v1/media/math/render/svg/82f3b58699a1c4ba677dcfd342f8f8dfdd4c31b1)
는 국소적으로 동급 원소들의 비이다. 즉, 근방
가 존재하여, 모든
에 대해서 다음 두 조건을 만족시키는 원소
,
가 존재한다.
![{\displaystyle f({\mathfrak {q}})=m/s}](//wikimedia.org/api/rest_v1/media/math/render/svg/cac3f38cf051a627bc12004ac110ede4e46e4e3f)
과
는 동급 원소이며, 그 등급이 서로 같다. 즉,
,
인
이 존재한다.
.
특히,
자체를
의 등급 가군으로 간주하면,
는
의 구조층이다.
임의의 등급 가군
가 주어지면, 임의의 정수
에 대하여 그 뒤틀림(twist)
은
![{\displaystyle M(l)_{i}=M_{i+l}}](//wikimedia.org/api/rest_v1/media/math/render/svg/4a99c8992b4c96e60a4096a62ac19245d8444c6c)
인 등급 가군이다. 즉, 등급을 단순히
만큼 이동시킨 것이다. 이 연산을 층에 정의하면, 층
의 뒤틀림
을 정의할 수 있다. 구조층
의 뒤틀림
은 세르 뒤틀림 층(영어: Serre twisting sheaf)이라고 한다. 이는 항상 가역층이며, 장피에르 세르의 이름을 딴 것이다.
대역적 사영 스펙트럼
다음 데이터가 주어졌다고 하자.
- 스킴
![{\displaystyle (X,{\mathcal {O}}_{X})}](//wikimedia.org/api/rest_v1/media/math/render/svg/46716c1fec068ffe9981107a5a215fa1fc9e7d5f)
-준연접층들의 족
. 또한,
로 놓자.
- 각 열린집합
에 대하여,
위의
-등급
-결합 대수 구조
그렇다면, 각 아핀 열린집합
에 대하여 다음과 같은 스킴을 정의하자.
![{\displaystyle Y_{U}=\operatorname {Proj} \Gamma (U,{\mathcal {S}})}](//wikimedia.org/api/rest_v1/media/math/render/svg/54e31a45402be2f4ad9b8c0dc85bdaa4561271e6)
이제, 자연스러운 스킴 사상
![{\displaystyle \pi _{U}\colon Y_{U}\to U}](//wikimedia.org/api/rest_v1/media/math/render/svg/3b6ff19f4f8194b8c0ccb21424208aa42a9117d5)
이 존재한다. (이는
가
-등급 대수이기 때문이다.) 이에 따라, 위 스킴 사상들을 통해
들을 짜깁기할 수 있다. 이렇게 하여 얻는 스킴을 대역적 사영 스펙트럼(大譯的射影spectrum영어: global projective spectrum) 또는 상대 사영 스펙트럼(相對射影spectrum, 영어: relative projective spectrum)
라고 한다. (이 단계에서 준연접층 조건이 필요하다.)
의 구조층
의
에서의 줄기
이다.[1]:76 여기서
는
의 원소가 아닌 동급 원소들에 대한 국소화다. 이러한 환은 항상 국소환이다.
함자성의 실패
아핀 스펙트럼은 가환환의 범주의 반대 범주에서 스킴의 범주로 가는 함자를 이룬다. 반면, 사영 스펙트럼은 함자를 이루지 않는다. 즉, 등급환 사이의 등급 준동형은 일반적으로 그 사영 스펙트럼 사이의 스킴 사상을 정의할 필요가 없다.
다만, 가환 등급환
의 동차 아이디얼
이 주어졌을 때, 몫 사상
는 사영 스펙트럼 사이의 닫힌 몰입
![{\displaystyle \operatorname {Proj} {\frac {R}{\mathfrak {i}}}\to \operatorname {Proj} R}](//wikimedia.org/api/rest_v1/media/math/render/svg/0392bf616953ed1c22f6f34d222d642b57d393a7)
을 정의한다.[2]:100, §Ⅲ.2.2
아핀 스펙트럼의 경우 서로 다른 아이디얼은 서로 다른 닫힌 부분 스킴에 대응하지만, 사영 스펙트럼의 경우 서로 다른 동차 아이디얼이 같은 닫힌 부분 스킴에 대응될 수 있다.[2]:100, §Ⅲ.2.2, Exercise Ⅲ-15 예를 들어, 체
에 대한 사영 공간
에 대하여, 임의의 동차 아이디얼
가 주어졌을 때,
와
은 같은 닫힌 부분 스킴을 정의한다 (
은 임의의 자연수).
사영 공간
가 (단위원을 가진) 가환환이라고 하자. 그렇다면
에 대한 n차원 사영 공간
은 등급환
의 사영 스펙트럼이다.[1]:77
사영 공간
의 경우, 세르 뒤틀림 층
의 단면은 1차 동차다항식
![{\displaystyle \sum _{i}c_{i}x_{i}}](//wikimedia.org/api/rest_v1/media/math/render/svg/b6a06aed44a2f3e5aece5402ca47e1597a8e7b4b)
의 꼴의 함수들이다. 즉, 세르 뒤틀림 층은 일종의 좌표들의 층으로 볼 수 있다. 이 경우, 세르 뒤틀림 층은 가역층이고, 그 역은 사영 공간의 표준 선다발이다.
특히, 0차원 사영 공간은 아핀 스펙트럼과 같다. 즉, 임의의 가환환
에 대하여
![{\displaystyle \operatorname {Proj} K[x]=\operatorname {Spec} K}](//wikimedia.org/api/rest_v1/media/math/render/svg/aa31460b2cb6c27741ef823819000ebf86c2d53c)
이다.