[논문 리뷰] Two observations about normal functions

Christian Schnell|ArXiv.org|2009. 04. 01.

Algebraic Geometry and Number Theory참고 문헌 8인용 수 3

한 줄 요약

이 논문은 정상 함수에 관한 두 가지 기본 결과를 확립한다: (1) 원시 호지 클래스에 관련된 정상 함수가 대수적 곡선에서 0이 되면, 그 곡선이 쌍대 다양체의 판별집합의 경계와 만날 점에서 반드시 특이점을 가져야 한다; (2) 충분히 넓은 매장(차수 ≥3)의 경우, 쌍대 다양체의 교차(cohomology)는 원래 다양체의 코homology를 직접 합성분으로 포함한다. 이러한 결과들은 정상 함수의 특이성 이론과 쌍대 다양체의 기하학을 연결한다.

ABSTRACT

Two simple observations are made: (1) If the normal function associated to a Hodge class has a zero locus of positive dimension, then it has a singularity. (2) The intersection cohomology of the dual variety contains the cohomology of the original variety, if the degree of the embedding is large.

연구 동기 및 목표

• 정상 함수의 0의 위치와 그 특이성 사이의 관계를 명확히 하기.
• 매우 넓은 매장 하에서 매끄러운 사영 다양체의 코homology가 그 쌍대 다양체의 교차 코homology에 어떻게 통합되는지 조사하기.
• 호지 이론과 정상 함수의 특이성에 관해 알려진 결과를 명확히 하거나 확장할 수 있는 간단하지만 비자명한 관찰을 제공하기.
• 쌍대 다양체의 교차 코homology가 원래 다양체의 코homology를 직접 합성분으로 포함하는 조건을 설정하기.

제안 방법

• Leray 스펙트럴 시퀀스를 사용하여 호지 클래스 η를 정상 함수 ν의 코homology 클래스 [η]와 연결한다.
• 스펙트럴 시퀀스의 호환성을 적용하여, ν의 0의 위치에 있는 곡선으로의 η의 역상이 가족의 매끄러운 부분에서 0이 되도록 한다.
• Poincaré 대칭성과 교차 쌍대를 사용하여, η가 매끄러운 부분에서 0이 되는 것과 상대 코hom로의 클래스 α의 비자명성을 연결한다.
• 가족 π: X → P의 섬세한 특이점 집합을 분석하여 쌍대 다양체 X∨에서의 계층의 코드미너션을 결정한다.
• Dimca와 Saito의 결과를 적용하여, d ≥ 3일 때 사상 φ: Xsing → X∨가 특이점의 소형 해소임을 보인다.
• 소형 해소가 교차 코homology에 대해 동형을 유도한다는 사실을 이용하여, IH*(X∨, ℚ) ≅ H*(Xsing, ℚ)임을 결론내리고, 따라서 H*(X, ℚ)이 IH*(X∨, ℚ)에 통합됨을 유도한다.

실험 결과

연구 질문

• RQ1 정상 함수가 대수적 곡선에서 0이 되면, 기저 공간의 경계에서 특이점이 존재하게 되는 조건은 무엇인가?
• RQ2 매끄러운 사영 다양체의 쌍대 다양체의 교차 코homology가 원래 다양체의 코homology를 직접 합성분으로 포함하는 조건은 무엇인가?
• RQ3 정상 함수의 특이점과 쌍대 다양체의 판별집합 기하학 사이의 정확한 관계는 무엇인가?
• RQ4 매우 넓은 선다발의 차수는 쌍대 다양체의 특이점 해소와 원래 다양체의 코homological 통합에 어떻게 영향을 미치는가?

주요 결과

• 비 토퍼션 원시 호지 클래스 η에 관련된 정상 함수 ν의 0의 위치에 대수적 곡선이 포함되어 있으면, ν는 그 곡선의 폐포가 판별집합 X∨와 만날 점에서 반드시 특이점을 가진다.
• very 넓은 선다발 H = dA를 사용하고 d ≥ 3이면, 사상 φ: Xsing → X∨는 특이점의 소형 해소이다.
• 결과적으로, 쌍대 다양체의 교차 코hom로는 IH*(X∨, ℚ) ≅ H*(Xsing, ℚ)을 만족한다.
• Xsing은 X 위의 사영 번들의 구조를 가지므로, H*(X, ℚ)은 H*(Xsing, ℚ)의 직접 합성분이며, 따라서 IH*(X∨, ℚ)의 직접 합성분이 된다.
• 조건 d ≥ 3는 섬세한 부분의 코드미너션을 충분히 크게 유지하여 해소가 소형임을 보장한다.
• 결과는 매끄러운 섬세한 부분의 0 코homology가 비자명하다는 가정 하에 성립하며, 이는 Dimca와 Saito의 결과에 의해 d ≥ 3일 때 성립한다.