교차로에 있는 부분 집합 Zgiven= 1 이(가) 있으면 교차로에 있는 Z의 보완을 이해하십시오. 즉,잔차가 Z로 설정됨.
교차점은 주변 공간의 차우 에서 교차로 제품인 클래스⋯ X r) 를 결정하며, 이 상황에서 문제는 Z:에 대한 클래스, 잔류클래스를 이해하는 것이다.
여기서- 는 Z에서 지지되는 부분을 의미하며, 고전적으로 Z에서 지지되는 부품의 정도를 Z의 동등성이라고 한다.
두 가지 주요한 응용은 열거형 기하학(예: Steiner의 원뿔형 문제)의 문제에 대한 해결책이며, 다점 공식의 파생으로, 극소수적으로 가까운 경우에도 섬유로 점을 계수하거나 열거할 수 있는 공식이다.
잔류 교차로 문제는 19세기로 거슬러 올라간다.[citation needed]문제들과 해결책들의 현대적인 공식화는 Fulton과 MacPherson 때문이다.정확히 말하면, 그들은 잔존 교차로 문제를 해결하는 방법으로 교차로 이론을 발전시킨다(이름대로, 일반 원뿔의 세그렐 계급을 교차로에 사용함으로써).정기적 임베딩에 대한 가정이 약화되는 상황에 대한 일반화는 클레이만(1981년) 때문이다.
자, 우리에게 Y″ → Y'가 주어진다고 가정하고 i':X' = X ×YY' → Y'는 이전과 같이!I를 정의할 수 있도록 codimension d'의 규칙적인 것이라고 가정해보자.F는 I와 i의' 초과 묶음이 되게 하라. 즉, I'의 정상 묶음으로 N의 몫의 X″에 대한 후퇴다.e(F)를 F의 오일러급(상위 체르누스급)으로 하자, 우리는 Ak−d'(X)에서 Ak−d(X)까지의 동형성으로 본다.그러면
초과 교차로 공식—
여기서 나는! 형태론 Y″ → Y' → Y에 의해 결정된다.
마지막으로, 교차로 형태론을 완성하기 위해 위의 구조와 공식을 일반화할 수 있다. 이 확장은 § 6.6과 로크 시트의 17장에서 논의된다.
증명: 다소 노골적인 형태의 기신 동형성으로부터 교차로 공식을 추론할 수 있다.E를 r과 q의 X에 벡터다발이 되게 하라: P(E 1 1) → X 투사다발(여기서 1은 사소한 선다발을 의미한다).평소와 같이 우리는 P(E)와 E의 분리 결합으로 P(E ⊕ 1)를 식별한다.그리고 tautological의 정확한 순서가 있다.
P(E ⊕ 1)에.우리는 기신 동형성이 다음과 같이 주어진다고 주장한다.
여기서 e(ξ) = cr(ξ)는 ξ의 오일러 등급이고의 는 x로 제한되는 Ak(P)의 요소다. 주사q*k−r: A(X) → Ak(P(E) 1)가 갈라지기 때문에 우리는 쓸 수 있다.
여기서 z는 P(E)에서 지원되는 사이클의 클래스다.Whitney sum 공식에 따르면, c(qE*) = (11 - c(O(1))c(c) 등
그 후 다음과 같은 결과를 얻으십시오.
여기서 sI(E ⊕ 1)는 i번째 세그리 클래스다.세그르 계급의 제로트 용어는 정체성이고 부정적인 용어는 0이므로 위의 표현은 y와 같다.다음으로, ξ에서 P(E)까지의 제한은 무반복 구간이 있고, z는 P(E)에서 지원되는 사이클의 등급이므로, e(()z= 0을 따른다.따라서 E와 j의 투영 지도에 E에서 P(E⊕1)까지의 포함에 대해 π을 작성하면 다음과 같은 결과를 얻을 수 있다.
이전과 같은 지지 이유 때문에 두 번째에서 마지막 평등이 이루어지는 경우.이로써 기신 동형주의라는 명시적 형태의 증거가 완성된다.
나머지는 형식적이고 직설적이다.우리는 정확한 순서를 사용한다.
여기서 r은 의 투영 지도 입니다. Whitney sum 공식과 투영 공식에 의해, V의 전문화를 마무리하기 위해 P를 작성하고, 우리는 다음과 같다.
공식의 한 가지 특별한 경우는 자기 절개 공식으로, 다음과 같다: 규칙적인 내장 i: X → Y를 일반 묶음 N과 함께 부여한다.
(이것을 얻으려면 Y' = Y' = X를 취한다.)예를 들어 이것과 투영 공식에서 X, Y가 매끄러울 때 다음과 같은 공식을 추론할 수 있다.
Y의 차우 링에서 말이야
f: ~→ Y f은(는) 닫힌 하위 체임 X, ~ 을(를) 따라 블로우업되고 예외적인 디비소더 및 : ~~→ X {g}:f의 제한은{\ X이다.f는 부드러운 형태론(예: Y는 준프로젝티브)이 뒤따르는 폐쇄적 몰입으로 쓰여질 수 있다고 가정한다.그러면 = ! f 다음 중 하나를 얻는다.
주아놀루의 주요 공식 —f i= i ′ e() g {\
예
예시 섹션 전체에 걸쳐 베이스 필드는 대수적으로 닫히고 특성 0을 갖는다.아래의 모든 예(첫 번째 예 제외)는 풀턴(1998년)에서 나온 것이다.
예제: 동일한 성분을 포함하는 두 평면 곡선의 교차점
Let and be two plane curves in . Set theoretically, their intersection
포인트와 내장된 의 조합이다Bézout의 정리로는 이 교차점이 두 원뿔의 교차점이기 때문에 4을(를) 포함할 것으로 예상되므로 이 교차점을 해석하려면 잔류 교차점이 필요하다.그러면
,}} 모두 2 과급기이므로, 이들의 정상적인 번들은 ( 2) 의 풀백이므로 두 개의 잔류 성분의 분자는
}은는) 소멸 위치 , Z에 의해 주어지기 때문에, 정상 번들은 ( 1) O( )}(1mathcal}(1)}(1)}(1)}(1)}(1)}(1)}}(1)}(1)}(1{.
}는 0 이므로 마찬가지로 도 1{\이므로, }는 소멸 Z)에 의해 주어진 완전한 교차점이기 때문에 잔류 교차점은 대로 1{\1}이다) Z 또한 사라져가는 Z)에 의해 주어졌기 때문에}}의 정상적인 번들은 ( ) {1)이므로
/ X) 을(를) 뒤집으면 영상 시리즈가 제공됨
이 때문에
}}에 대해 [의 잔여 교차점 부여 이 두 클래스를 앞으로 누르면 의[ 42}}가 주어진다
예제: 세 표면의 곡선 정도
,,X 을 세 개의 표면으로 한다.계획-이론적 교차점 i 이(가) 매끄러운 곡선 C와 0차원 스키마 S의 분리된 결합이라고 가정한다.S의 정도가 얼마인가?이것은 #포뮬라로 대답할 수 있다.
예제: 주어진 5개의 선에 접하는 원뿔
The plane conics are parametrized by . Given five general lines , let 는 }} i _에 접하는 원뿔의 하이퍼서페이스로, 이 하이퍼서페이서는 2도가 있음을 알 수 있다.
교차로 i 에는 이중 선으로 구성된베론 표면 Z Z개가 들어 있으며, i 의 계획-이론적 연결 성분이다. h= c ( ) 1)}은는) 하이퍼플레인 클래스 = Z의 차우링에서 O(1)의 첫 번째 체르누 클래스다.Now, such that pulls-back to and so the normal bundle to Z로 제한되는은(는)
일반적인 위치에 5개의 평면 원뿔 ,}}개가 주어진다고 가정합시다.하나는 앞의 예와 같이 정확하게 진행할 수 있다.따라서 H 을(를) i{\에 접하는 원뿔의 과외면이 되도록 한다 6도가 있음을 나타낼 수 있다.교차로 i 에는 이중 선의 베로네즈 표면 Z가 포함되어 있다.