잔차교차

Residual intersection

대수 기하학에서 잔차 교차로 문제는 다음과 같이 묻는다.

교차로에 있는 부분 집합 Zgiven = 1 이(가) 있으면 교차로에 있는 Z의 보완을 이해하십시오. 즉, 잔차가 Z로 설정.

교차점은 주변 공간의 차우 에서 교차로 제품인 클래스⋯ X r) 를 결정하며, 이 상황에서 문제는 Z:에 대한 클래스, 잔류 클래스를 이해하는 것이다.

여기서- Z에서 지지되는 부분을 의미하며, 고전적으로 Z에서 지지되는 부품의 정도를 Z동등성이라고 한다.

두 가지 주요한 응용은 열거형 기하학(예: Steiner의 원뿔형 문제)의 문제에 대한 해결책이며, 다점 공식의 파생으로, 극소수적으로 가까운 경우에도 섬유로 점을 계수하거나 열거할 수 있는 공식이다.

잔류 교차로 문제는 19세기로 거슬러 올라간다.[citation needed]문제들과 해결책들의 현대적인 공식화는 Fulton과 MacPherson 때문이다.정확히 말하면, 그들은 잔존 교차로 문제를 해결하는 방법으로 교차로 이론을 발전시킨다(이름대로, 일반 원뿔의 세그렐 계급을 교차로에 사용함으로써).정기적 임베딩에 대한 가정이 약화되는 상황에 대한 일반화는 클레이만(1981년) 때문이다.

포뮬라과

퀼렌의 초과간격식

위상학적 설정의 공식은 퀼렌(1971년) 때문이다.

자, 우리에게 Y″Y'가 주어진다고 가정하고 i':X' = X ×Y Y'Y'는 이전과 같이 !I를 정의할 수 있도록 codimension d'의 규칙적인 것이라고 가정해보자.FIi' 초과 묶음이 되게 하라. 즉, I'의 정상 묶음으로 N의 의 X에 대한 후퇴다.e(F)를 F오일러급(상위 체르누스급)으로 하자, 우리는 Akd'(X)에서 Akd(X)까지의 동형성으로 본다.그러면

초과 교차로 공식

여기서 ! 형태론 Y″Y'Y에 의해 결정된다.

마지막으로, 교차로 형태론을 완성하기 위해 위의 구조와 공식을 일반화할 수 있다. 이 확장은 § 6.6과 로크 시트의 17장에서 논의된다.

증명: 다소 노골적인 형태의 기신 동형성으로부터 교차로 공식을 추론할 수 있다.ErqX에 벡터다발이 되게 하라: P(E 1 1) → X 투사다발(여기서 1은 사소한 선다발을 의미한다).평소와 같이 우리는 P(E)와 E의 분리 결합으로 P(E ⊕ 1)를 식별한다.그리고 tautological의 정확한 순서가 있다.

P(E ⊕ 1)에.우리는 기신 동형성이 다음과 같이 주어진다고 주장한다.

여기서 e(ξ) = cr(ξ)는 ξ의 오일러 등급이고 x로 제한되는 Ak(P)요소다. 주사 q*kr: A(X) Ak(P(E) 1)가 갈라지기 때문에 우리는 쓸 수 있다.

여기서 zP(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을 따른다.따라서 Ej의 투영 지도에 E에서 P(E⊕1)까지의 포함에 대해 π을 작성하면 다음과 같은 결과를 얻을 수 있다.

이전과 같은 지지 이유 때문에 두 번째에서 마지막 평등이 이루어지는 경우.이로써 기신 동형주의라는 명시적 형태의 증거가 완성된다.

나머지는 형식적이고 직설적이다.우리는 정확한 순서를 사용한다.

여기서 r은 의 투영 지도 입니다. Whitney sum 공식과 투영 공식에 의해, V의 전문화를 마무리하기 위해 P를 작성하고, 우리는 다음과 같다.

공식의 한 가지 특별한 경우는 자기 절개 공식으로, 다음과 같다: 규칙적인 내장 i: XY를 일반 묶음 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로 제한되는 은(는)

그래서 체르누스 수업의 총계급이다.

Similarly, using that the normal bundle to a regular is as well as the Euler sequence, we get that the total Chern class of the normal bundle to is

따라서 세그르 등급은 다음과 같다.

따라서 Z의 등가성은 다음과 같다.

베주트의 정리로는 i 의 정도.은(는) 5= 2이므로 잔차 집합은 주어진 5개 라인에 모두 접하는 고유 원뿔에 해당하는 단일 점으로 구성된다.

또는 Z의 등가성은 #공식을 통해 계산할 수 있는가?; since ( 1( P) = ( 2(P )=3 {\1})(}}) 이후(와) = 다음과 같다.

예제: 주어진 5개의 원뿔에 접하는 원뿔

일반적인 위치에 5개의 평면 원뿔 , }}개가 주어진다고 가정합시다.하나는 앞의 예와 같이 정확하게 진행할 수 있다.따라서 H 을(를) i{\에 접하는 원뿔의 과외면이 되도록 한다 6도가 있음을 나타낼 수 있다.교차로 i 에는 이중 선의 베로네즈 표면 Z가 포함되어 있다.

예: 정제된 기신 동형성 구축의 functorality

기능성은 섹션 제목을 가리킨다: 두 개의 정기 X J

평등이 다음과 같은 의미를 갖는 경우:

메모들

참조

  • Fulton, William (1998). "Chapter 9 as well as Section 17.6". Intersection theory. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. Vol. 2 (2nd ed.). Berlin: Springer-Verlag. ISBN 978-3-540-62046-4. MR 1644323.
  • Kleiman, Steven L. (1981). "Multiple-point formulas I: Iteration". Acta Mathematica. 147 (1): 13–49. doi:10.1007/BF02392866. ISSN 0001-5962. OCLC 5655914077.
  • Quillen, Daniel (1971). "Elementary proofs of some results of cobordism theory using Steenrod operations". Advances in Mathematics. 7 (1): 29–56. doi:10.1016/0001-8708(71)90041-7. ISSN 0001-8708. OCLC 4922300265.
  • 지브 란, 1983년 시카고 대학교 프리프린트의 "커비린어 열거 기하학"

추가 읽기