[논문 리뷰] Totally invariant divisors of endomorphisms of projective spaces

Hoering, Andreas|arXiv (Cornell University)|2016. 01. 24.

Algebraic Geometry and Number Theory참고 문헌 15인용 수 4

한 줄 요약

이 논문은 프로젝티브 공간의 엔도모르피즘에 대한 완전히 관계된 소다발의 비정규 위치의 차수에 하한을 설정한다. 로그 미분형과 체른 클래스 계산을 사용하여, P³에서 어떤 완전히 관계된 소다발도 초평면이어야 하며, 이는 이 경우 선형성 추측을 확인하고 고차수의 다발이 특이성 제약으로 인해 완전히 관계될 수 없음을 보여준다.

ABSTRACT

Totally invariant divisors of endomorphisms of the projective space are expected to be always unions of linear spaces. Using logarithmic differentials we establish a lower bound for the degree of the non-normal locus of a totally invariant divisor. As a consequence we prove the linearity of totally invariant divisors for $P^3$.

연구 동기 및 목표

• 엔도모르피즘 f: Pⁿ → Pⁿ의 완전히 관계된 부분다양체가 항상 선형 부분공간임을 증명하는 추측을 해결하는 것, 특히 다발의 경우에 중점을 두고.
• 프로젝티브 공간에서 완전히 관계된 소다발의 기하학적 및 코homological 제약 조건을 이해하는 것.
• P³에서 어떤 완전히 관계된 소다발도 반드시 초평면이어야 하며, 이는 선형성 추측을 3차원에서 확인하는 것.
• 이러한 다발의 비정규 위치의 차수에 대한 날카운 하한을 설정하여, 고차수의 다발은 제어된 방식으로 특이성이 있어야만 완전히 관계될 수 있음을 보여주는 것.

제안 방법

• 완전히 관계된 소다발 D의 특이성을 분석하기 위해 로그 코탄제트층 ΩPⁿ(log D)을 사용한다.
• 로그 미분형의 분해를 적용하여 Pⁿ의 카누니컬 다발을 다발의 역상과 분기 다발 R로 연결한다.
• 잔여 정렬열과 정규화 사상 ν: ˜D → D를 사용하여 ΩPⁿ(log D) ⊗ OPⁿ(1)의 첫 번째 및 두 번째 체른 클래스를 계산한다.
• 보트의 정리와 ΩPⁿ(log D) ⊗ OPⁿ(1)의 전역 단면을 활용하여 O⊕ⁿ⁺¹Pⁿ에서 로그 밀도로의 사상 구축.
• sheaf 사상의 체른 클래스에 관한 핵심 보조정리를 적용하여 일반 표면 S = f⁻¹(P²)에서 원래 군대와 역상 군대의 c₂를 비교한다.
• f가 극화된다는 사실(f*H ≡ mH)과 f를 반복 적용함으로써 비정규 위치 Z의 관계성을 확보하고, 차수 계산을 통해 체른 클래스를 비교한다.

실험 결과

연구 질문

• RQ1 Pⁿ에서 차수 d ≥ 2인 완전히 관계된 소다발이 비선형인가, 특히 P³에서 그런 경우가 가능한가?
• RQ2 로그 미분형과 체른 클래스가 이러한 다발의 비정규 위치에 어떤 제약을 가하는가?
• RQ3 차수 d = n인 초평면이 Pⁿ의 엔도모르피즘에 의해 완전히 관계될 수 있는가?
• RQ4 완전히 관계된 다발의 비정규 위치의 차수는 n과 d의 함수로 하한이 존재하는가?
• RQ5 완전히 관계된 부분다양체에 대한 선형성 추측이 P³에서 확인될 수 있는가?

주요 결과

• 완전히 관계된 소다발 D ⊂ Pⁿ의 비정규 위치 Z의 차수는 deg(Z) > (d − 1)² − n(n − 1)/2를 만족한다.
• P³에서 어떤 완전히 관계된 소다발도 반드시 초평면이어야 하며, 이는 부등식이 deg(Z) > 1을 유도하기 때문이며, d = 4일 경우 평면 곡선의 deg(Z) 상한이 1이므로, D가 매끄럽거나 선형인 경우 외에는 모순이 발생한다.
• d = n일 경우, deg(Z) > ½(n − 2)(n − 1)이라는 부등식은 기존의 불등식 deg(Z) ≤ ½(n − 1)(n − 2)와 모순되며, 이는 비가역적 평면 곡선에 대해 임의의 차수 n의 비가역적 다발이 완전히 관계될 수 없음을 증명한다.
• 이 결과는 이전 연구를 향상시켜, 차수 n의 정규 특이 초평면이 Pⁿ에서 유도된 엔도모르피즘을 가질 수 없음을 보여준다.
• 차수 경계의 엄밀한 부등식은 필수적이다. 등호가 성립하면 체른 클래스 항의 渐近적 행동에서 모순이 발생하므로, 이 경계가 날카로움을 증명한다.
• 이 방법은 P³에서 선형성 추측을 확인하고, 로그 기하학과 층 이론적 불변량을 통해 완전히 관계된 부분다양체를 연구하는 일반적 프레임워크를 제공한다.