대수 기하학에서 대수 다형체들 사이의 사상은 다항식에 의해 국소적으로 주어진 다형체 사이의 함수이다. 정규 사상 또는 정칙 사상(복소 함수론의 정칙 사상과 혼돈의 여지가 있다)이라고도 한다. 대수 다형체에서 아핀 직선으로 가는 사상은 정규 함수라고도 한다. 역도 규칙적인 정규 사상을 쌍정규라고 하며 쌍정규 사상은 대수 다형체의 동형사상이다. 정규와 쌍정규는 매우 제한적인 조건이기 때문에 – 사영 다형체 위에서는 모든 정규 함수가 상수 함수다. – 유리 및 쌍유리 사상의 개념도 널리 사용된다. 그들은 다항식 대신 유리 분수에 의해 국소적으로 정의되는 부분 함수이다.
대수 다형체는 자연스럽게 국소적으로 환 달린 공간 구조를 가진다. 대수 다형체 사이의 사상은 정확히 기반이 되는 국소적으로 환 달린 공간의 사상이다.
가 각각 과 의 닫힌 부분 다형체(즉 는 아핀 다형체)이면, 정규 사상 는 다항식 사상 의 제한이다. 명시적으로[1]
형태를 가진다. 여기서 들은 의 좌표 환에 있다.
여기서 는 를 정의하는 이데알이다. (참고: 두 개의 다항식 가 에서 동일한 함수를 정의함과 가의 원소임은 동치이다). 상 는 에 있으므로 의 정의 방정식을 충족한다. 즉, 정규 사상 구성 원소가 다음 정의 방정식을 만족하는 다항식 사상의 제한과 동일하다. .
보다 일반적으로, 및 제한된 함수 를 충족하는 의 이웃 와 의 이웃 가 있는 경우 두 다형체 사이의 사상 는 점x에서 규칙적이다. 는와 의 일부 아핀 좌표 조각에서 함수로 규칙적이다. 그런 다음 가의 모든 지점에서 규칙적이라면 를 정규라고 한다.
참고: 두 정의가 일치한다는 것이 즉시 명백하지는 않다. 와 가 아핀 다형체인 경우 사상 는 첫 번째 의미에서 규칙적이다. [a] 또한 규칙성이 아핀 좌표 조각의 선택에 따라 달라지는지 즉시 명확하지 않다(그렇지 않다.[b]). 그러나 이러한 종류의 일관성 문제는 공식 정의를 채택하면 사라진다. (추상적) 대수 다형체는 특정 종류의 국소적으로 환 달린 공간으로 정의된다. 이 정의가 사용될 때 다형체의 사상은 국소적으로 환 달린 공간의 사상일 뿐이다.
정규 사상의 구성은 다시 정규이다. 따라서 대수 다형체는 사상이 정규 사상인 대수 다형체 범주를 형성한다.
아핀 다형체 사이의 정규 사상은 좌표 환 사이의 대수 동형에 대해 일대일로 반변적으로 대응한다. 가 아핀 다형체의 동형이면 대수 준동형 사상
을 정의한다. 여기서 는 각각 와 의 좌표 환이다. 가 의 원소들로 이뤄진 다항식이므로 이는 잘 정의되어 있다.이다. 반대로, 만약 가 대수 준동형사상이면, 그것은 사상
을 유도한다. 주어진 : 쓰기
여기서 는 들의 상들이다.[c]이고 임을 주의하라. [d] 특히, 가 좌표 환의 동형사상인 경우에만 는 아핀 다형체의 동형사상이다.
예를 들어, 가 아핀 다형체 의 닫힌 부분 다형체이고 가 포함 사상이면 는 에서 로의 정규 함수 제한이다.
인 특별한 경우 정규 사상 은 정규 함수라고 한다. 정규 함수들이 이루는 환 (즉, 좌표 환 또는, 보다 추상적으로, 층 구조의 대역 단면 환)은 아핀 대수 기하학의 기본 대상이다. 사영 다형체에 대한 유일한 정규 함수는 상수 함수이다(복소 해석학에서 리우빌 정리의 대수적 아날로그로 볼 수 있음).
스칼라 함수 는, 어떤 의 열린 아핀 이웃에서, 에서 정규인 유리 함수일 때 점 에서 정규이다. 즉, 의 이웃에서 이고 가에서 0이 아닌 정규 함수 가 있다.[e] 주의: 조건은 모든 쌍에 대한 것이 아니라 일부 쌍 에 대한 것이다.
가 준사영 다형체이면, 즉, 사영 다형체의 열린 부분 다형체인 경우, 함수 체 는 의 폐포 와 동일하다. 따라서 위의 유리 함수는 의 동차 좌표 환 에서 동일한 차수의 어떤 동차 원소 에 대해 형태이다. 그러면, 위의 유리 함수 는 점 에서 정규임과 이고 는에서 사라지지 않는 안의 차수가 같은 동차 원소 가 존재함과 동치다. 이는 때때로 정규 함수의 정의로 본다.[2]
이 사실은 아핀 다형체의 범주가 에 대한 아핀 스킴의 전체 부분 범주로 식별될 수 있음을 의미한다. 다형체의 사상은 아핀 스킴의 사상을 붙여서 스킴의 사상를 얻는 것과 같은 방식으로 아핀 다형체의 사상를 붙여서 얻으므로 다형체의 범주는 에 대한 스킴 범주의 전체 부분 범주가 된다.
앞의 예를 계속해서 이라 놓자. 는 초평면 t = 1의 여집합이므로 는 아핀이다. 제한 은 전단사이다. 그러나 해당 환 준동형 사상은 다음 포함 사상 이다. 이는 동형이 아니므로 제한 는 동형이 아니다.
를 아핀 곡선 ,
로 두자. 그러면 는 위에서 정의된 유리 함수이다. 는 유리식으로 표현 되었음에도 (0,1)에서 정규이다. 왜냐하면, 위에서 정의된 유리 함수로서, 는
로 쓸 수 있기 때문이다.
라 놓자. 그러면 는 다형체의 열린 부분집합이기 때문에 대수 다형체이다. 가 에서 정규 함수이면, 는 에서 정규 함수이고 에서도 정규 함수이다. 마찬가지로, 에서도 정규 함수이다. 따라서 다음과 같이 쓸 수 있다:
여기서 . 하지만 이는 가 으로 나누어 떨어지고 따라서 는 사실 다항식임을 뜻한다. 즉, 위의 정규 함수 환은 이다.(이는 또한 가 아핀일 수 없음을 뜻한다. 왜냐하면, 만약 가 아핀이라면, 는 그것의 좌표 환으로 결정되고 따라서 이어야 하기 때문이다.)
를 점 (x : 1)들을 의 점 x로 보고 로 보자. 로 주어지는 의 자기동형사상 가 있다. 특히 는 0과 를 바꾼다. 가 에서 정의된 유리 함수인 경우,
이고, 는 에서 정규임과 가 영에서 정규임이 동치이다.
기약 대수 곡선의 함수체를 취하면 함수 체의 함수 는 모두 에서 k에 대한 사영 직선 으로의 사상으로 실현될 수 있다. (참조. #속성 ) 이미지는 단일 지점이거나 전체 사영 직선이 된다(이것은 사영 다형체의 완전성의 결과이다). 즉, 가 실제로 상수가 아닌 경우 의 일부 점에서 에 값 를 부여해야 한다.
다형체 사상의 상은 열려 있거나 닫혀 있을 필요가 없다(예를 들어, 열려 지도 닫혀 있지도 않다). 그러나 여전히 다음과 같이 말할 수 있다. 가 다형체 사이의 사상이면 의 상은 폐포의 열린 조밀 부분 집합을 포함한다. (cf. 구성 가능한 집합 . )
대수 다형체의 사상 가 조밀한 상을 가지면 지배적이라고 한다. 이러한 에 대해 가 의 비어 있지 않은 열린 아핀 부분 집합이면 가 되는 의 비어 있지 않은 열린 아핀 부분 집합 가 있고 다음 단사이다. 따라서 지배적 사상 는 함수 체 수준에서 단사를 유도한다.
여기서 제한은 의 비어 있지 않은 모든 열린 아핀 부분 집합에 대해 실행된다. (보다 추상적으로, 이것은 의 일반점의 잉여류체에서 의 점으로 유도된 사상이다.) 반대로, 체의 모든 포함 사상 은 에서 로의 우세한 유리 사상에 의해 유도된다.[3] 따라서, 위의 구성은 체 에 대한 대수 다형체의 범주와 그들 사이의 지배적 유리적 사상과 의 유한하게 생성된 체 확대의 범주 사이의 반변 동치 관계를 결정한다. [2]
가 매끄러운 완비 곡선(예: P1 )이고 가에서 사영 공간 로 가는 유리 사상인 경우 는 정규 사상 이다. [2] 특히, 가 매끄러운 완비 곡선일 때, 에 대한 임의의 유리 함수는 사상 으로 볼 수 있고, 반대로 에 대한 유리 함수와 같은 사상으로 볼 수 있다.
이 사영 다형체에서 사영 공간으로의 사상이고, 가 의 점이라고 하자. 그런 다음 의 i 번째 동차 좌표는 0이 아니다. 단순화를 위해 i = 0이라고 말한다. 그러면 연속성에 의해 다음과 같은 의 열린 아핀 이웃 가 있다.
는 사상이며, 여기서 는 동차 좌표이다. 대상 공간은 을 통해 아핀 공간 임을 참고하라. 따라서 정의에 따라 제한 는
로 주어진다. 여기서 는 의 정규 함수이다. 는 사영이기 때문에 각 는 의 동차 좌표 환 에서 같은 차수의 동차 원소의 비율이다. 우리는 모든 분수가 동일한 동차 분모 를 갖도록 분수를 배열할 수 있다. 그러면 의 어떤 동차 원소 에 대해 을 쓸 수 있다. 따라서 동차 좌표로 돌아가서, 의 모든 에 대해, 가 에서 모두 영이 아니면 의 모든 에 대한 연속성에 의해
의 점 에서 모두 영이면 위의 절차에 따라 에서 모두 영은 아닌 들의 집합을 선택할 수 있다.
사실, 위의 설명은 사영 다형체 의 열린 부분 다형체인 모든 준사영 다형체 에 유효하다. 차이점은 가의 동차 좌표 환에 있다는 것이다.
참고 : 위에서는 사영 다형체에서 사영 공간으로의 사상이 단일 다항식 집합에 의해 제공된다고 말하지 않다(아핀인 경우와 달리). 예를 들어, 를 에서 원뿔곡선 이라고 하자. 그러면 두 개의 사상 그리고 은 의 열린 부분 집합 에서 같다. (왜냐하면 ) 그래서 사상 를 정의한다.
따름 정리.가 다형체들의 사상이고 의 각 점 에 대해,라 하자. 그러면 e는 위쪽 준연속 함수이다. 각 정수 n에 대해, 집합
는 닫힌 집합이다.
멈포드의 빨간 책에서 정리는 뇌터 정규화 보조정리를 통해 증명된다. 한편, 일반 자유도가 중요한 역할을 하고 " 보편 현수환"의 개념이 증명의 핵심인 대수적 접근에 대해서는 Eisenbud, Ch. 14 of "Commutative algebra with a view toward algebraic geometry."참조하라. 사실, 거기에 있는 증명은 f가 평탄하면 정리 2의 차원 등식이 일반적으로 유지됨을 보여준다(generically만이 아님).
를 체 k에 대한 대수 다형체 사이의 유한 전사적 사상라고 한다. 그러면 정의에 따라 의 차수는 에 대한 함수 체 의 유한 체 확대의 차수이다. 일반 자유도에 의해, 구조 층 의로의 제한이 -가군으로서 자유 가군이 되는 공집합이 아닌 열린 부분 집합 가 존재한다. 의 차수는 이 자유 가군의 랭크이다.
↑Here is the argument showing the definitions coincide. Clearly, we can assume Y = A1. Then the issue here is whether the "regular-ness" can be patched together; this answer is yes and that can be seen from the construction of the structure sheaf of an affine variety as described at affine variety#Structure sheaf.
↑It is not clear how to prove this, though. If X, Y are quasi-projective, then the proof can be given. The non-quasi-projective case strongly depends on one's definition of an abstract variety
↑The image of lies in Y since if g is a polynomial in J, then, a priori thinking is a map to the affine space, since g is in J.
↑Proof: Let A be the coordinate ring of such an affine neighborhood of x. If f = g/h with some g in A and some nonzero h in A, then f is in A[h−1] = k[D(h)]; that is, f is a regular function on D(h).
↑Proof: it's enough to consider the case when the variety is affine and then use the fact that a Noetherian integrally closed domain is the intersection of all the localizations at height-one prime ideals.