[논문 리뷰] Chern Classes Of Logarithmic Vector Fields For Locally-Homogenous Free Divisors

Xia Liao|arXiv (Cornell University)|2012. 05. 17.

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

한 줄 요약

이 논문은 국소적으로 준동차인 자유 분할자에 대해, 그 보 complement의 Chern-Schwartz-MacPherson 클래스와 그 로그 유도자층의 총 Chern 클래스 사이의 수치적 동치성을 증명한다. 이는 프로젝티브 공간으로의 투영 이후 성립하며, Riemann-Roch와 로그 비교 정리를 이용해, 이 관계가 프로젝티브 공간 내 모든 국소적으로 준동차인 자유 분할자에 대해 성립함을 증명한다. 이는 이전의 초평면 배치에 대한 결과를 일반화하고, 이 설정에서의 추측을 확인한다.

ABSTRACT

Let $X$ be a nonsingular complex projective variety and $D$ a locally quasi-homogeneous free divisor in $X$. In this paper we study a numerical relation between the Chern class of the sheaf of logarithmic derivations on $X$ with respect to $D$, and the Chern-Schwartz-MacPherson class of the complement of $D$ in $X$. Our result confirms a conjectural formula for these classes, at least after push-forward to projective space; it proves the full form of the conjecture for locally quasi-homogeneous free divisors in $\mathbb P^n$. The result generalizes several previously known results. For example, it recovers a formula of M. Mustata and H. Schenck for Chern classes for free hyperplane arrangements. Our main tools are Riemann-Roch and the logarithmic comparison theorem of Calderon-Moreno, Castro-Jimenez, Narvaez-Macarro, and David Mond. As a subproduct of the main argument, we also obtain a schematic Bertini statement for locally quasi-homogeneous divisors.

연구 동기 및 목표

• 분할자의 보 complement의 Chern-Schwartz-MacPherson 클래스와 그 로그 유도자층의 총 Chern 클래스 사이의 관계를 연결하는 추측을 해결하기 위해.
• 프로젝티브 공간으로의 투영 이후 수치적으로 이 클래스 등식이 성립하는 정확한 조건을 규명하기 위해.
• 자유 초평면 배열과 고립된 초곡면 특이점에 대한 기존 결과를 더 넓은 범주로 일반화하기 위해.
• 주된 추론의 부산물로 국소적으로 준동차인 분할자에 대한 개략적 Bertini 유사 정리를 확립하기 위해.

제안 방법

• 로그 유도자층의 Chern 클래스와 보 complement의 CSM 클래스가 같은 차수를 가짐을 보장하기 위해 로그 비교 정리(LCT)를 적용한다.
• 차우 링 내 관련 클래스의 차수를 비교하기 위해 Riemann-Roch를 사용한다.
• 초평면 절단에서의 로그 유도자층과 정규(bundle) 및 원래의 유도자층 사이의 정확한 수열을 활용하여 귀납적 감소를 가능하게 한다.
• 투영 공식과 Chern 클래스 항등식을 활용해 초평면에서의 클래스의 투영을 원래 다양체의 클래스와 연결한다.
• 환경 프로젝티브 다양체의 차원에 대한 귀납을 사용하며, 낮은 차원의 경우에 결과가 성립한다고 가정한다.
• GAGA와 해석 기하학을 활용해, 해석적 및 대수적 카테고리에서 일관된 코herent 유도자층 수열의 정확성을 확보한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 분할자의 보 complement의 Chern-Schwartz-MacPherson 클래스가 차우 링에서 그 로그 유도자층의 총 Chern 클래스와 동일한가?
• RQ2 CSM 클래스와 로그 유도자층의 Chern 클래스 사이의 추측적 공식이 프로젝티브 공간 내 국소적으로 준동차인 자유 분할자에 대해 성립하는가?
• RQ3 로그 비교 정리를 이용해 CSM 클래스와 로그 유도자층의 Chern 클래스의 차수 동치를 확립할 수 있는가?
• RQ4 자기적으로 자유롭고 준동차성을 유지하는 초평면 절단에 대한 개략적 Bertini 유사 정리는 존재하는가?
• RQ5 로그 유도자층의 Chern 클래스와 CSM 클래스는 초평면 절단에 대해 어떻게 행동하는가?

주요 결과

• 모든 국소적으로 준동차인 자유 분할자 $ D $ 에 대해, 비특이 프로젝티브 다양체 $ X o b{P}^N $ 내에서, $ b{P}^N $ 으로의 투영 이후에 수치적으로 공식 $ c_{SM}(1_U) = c( ext{Der}_X(- ext{log } D)) imes [X] $ 가 성립한다.
• $ X = b{P}^n $ 인 경우, 차우 링 내에서 전체 공식이 성립하며, 이 경우에 대해 추측이 완전히 확인된다.
• 로그 비교 정리와 Riemann-Roch를 통해 CSM 클래스와 로그 유도자층의 Chern 클래스의 차수는 동일하다.
• 개략적 Bertini 정리가 증명되었다: 일반적인 초평면과의 교차에서 $ (X,D) $ 의 자유성과 준동차성은 유지된다.
• CSM 클래스와 로그 유도자층의 Chern 클래스는 모두 동일한 투영 공식과 Chern 클래스 항등식에 의해 초평면 절단에 대한 행동이 규정된다.
• 귀납적 증명 구조는 CSM 클래스와 로그 유도자층의 Chern 클래스가 초평면 절단에 대해 제대로 작동함을 보장하며, 유한한 차원 단위로 검증이 가능하게 한다.