[논문 리뷰] Shadows of characteristic cycles, Verma modules, and positivity of Chern-Schwartz-MacPherson classes of Schubert cells

Paolo Aluffi, Leonardo C. Mihalcea외 2명|arXiv (Cornell University)|2017. 09. 25.

Geometry and complex manifolds참고 문헌 3인용 수 37

한 줄 요약

이 논문은 등변 코hom올로지의 '그림자' 개념을 통해 플라그 다양체에서의 샤우베르트 세포의 초전도-스미스-맥퍼슨(CSM) 클래스와 힐버트-버마 모듈의 특성 주기 사이의 깊은 연결을 수립한다. 동차화된 등변 CSM 클래스는 코탄젠트 번들의 영단면을 통해 특성 주기의 역상임을 증명하며, 이는 CSM 클래스에 대한 양성 결과를 이끌어내며 알루피와 마할체아의 추측을 확인한다. 이 결과는 카즈한-루스트리츠-클래스와 메이어 클래스로 확장되며, 플라그 다양체 설정에서 CSM 클래스와 안정적 캐리어를 동일시한다.

ABSTRACT

Chern-Schwartz-MacPherson (CSM) classes generalize to singular and/or noncompact varieties the classical total homology Chern class of the tangent bundle of a smooth compact complex manifold. The theory of CSM classes has been extended to the equivariant setting by Ohmoto. We prove that for an arbitrary complex projective manifold $X$, the homogenized, torus equivariant CSM class of a constructible function $φ$ is the restriction of the characteristic cycle of $φ$ via the zero section of the cotangent bundle of $X$. This extends to the equivariant setting results of Ginzburg and Sabbah. We specialize $X$ to be a (generalized) flag manifold $G/B$. In this case CSM classes are determined by a Demazure-Lusztig (DL) operator. We prove a `Hecke orthogonality' of CSM classes, determined by the DL operator and its Poincar{é} adjoint. We further use the theory of holonomic $\mathcal{D}_X$-modules to show that the characteristic cycle of a Verma module, restricted to the zero section, gives the CSM class of the corresponding Schubert cell. Since the Verma characteristic cycles naturally identify with the Maulik and Okounkov's stable envelopes, we establish an equivalence between CSM classes and stable envelopes; this reproves results of Rim{á}nyi and Varchenko. As an application, we obtain a Segre type formula for CSM classes. In the non-equivariant case this formula is manifestly positive, showing that the expansion in the Schubert basis of the CSM class of a Schubert cell is effective. This proves a previous conjecture by Aluffi and Mihalcea, and it extends previous positivity results by J. Huh in the Grassmann manifold case. Finally, we generalize all of this to partial flag manifolds $G/P$.

연구 동기 및 목표

• 플라그 다양체에서의 샤우베르트 세포의 등변 초전도-스미스-맥퍼슨(CSM) 클래스의 기하적 실현을 특성 주기를 통해 수립한다.
• CSM 클래스의 양성을 증명하여 알루피와 마할체아의 추측을 확인한다.
• 특성 주기의 그림자를 이용해 매크슨의 변환의 라그랑주 모델을 등변 설정으로 확장한다.
• 플라그 다양체 및 부분 플라그 다양체 설정에서 CSM 클래스와 안정적 캐리어를 통합한다.
• 세그레-맥퍼슨 및 CSM 클래스에 관한 결과를 일반적인 플라그 다양체로 일반화하고, 데마주-루스트리츠 연산자를 통해 수직 관계를 수립한다.

제안 방법

• 저자는 등변 코hom올로지에서 특성 주기의 '그림자'를 정의하고, 코탄젠트 번들의 영단면을 통해의 역상에 의해 동차화된 CSM 클래스와 연결한다.
• 그들은 CSM 클래스와 관련된 D-모듈의 특성 주기를 연결하기 위해 세그레 연산자를 사용한다.
• 핵심 기술적 도구로는 대각선 포함에 의한 특성 주기의 비특성적 역상이며, 이는 교차 이론적 계산을 가능하게 한다.
• 이 이론은 CSM 클래스가 데마주-루스트리츠 연산자와 그 수반 연산자를 통해 계산되는 플라그 다양체 $G/B$ 에 특화된다.
• 저자들은 CSM 클래스와 세그레-맥퍼슨 클래스 사이의 '헤케 수직 관계'와 '기하학적 수직 관계'를 증명하며, CSM 클래스가 특성 주기의 세그레 클래스로 표현되는 공식을 이끌어낸다.
• 국소화와 특성 주기 기법을 통해 CSM 클래스와 안정적 캐리어 사이의 동치관계를 확립하며, 리만니와 바르체노의 결과를 특성 주기 방법으로 재증명한다.

실험 결과

연구 질문

• RQ1 플라그 다양체에서의 샤우베르트 세포의 등변 CSM 클래스는 관련 D-모듈의 특성 주기와 어떻게 관련이 있는가?
• RQ2 동차화된 CSM 클래스의 정확한 기하학적 의미는 코탄젠트 번들의 영단면을 통한 역상으로서 무엇인가?
• RQ3 특성 주기 이론과 버마 모듈을 이용해 샤우베르트 세포의 CSM 클래스의 양성을 증명할 수 있는가?
• RQ4 플라그 다양체와 부분 플라그 다양체 설정에서 CSM 클래스는 안정적 캐리어와 어떻게 관련이 있는가?
• RQ5 데마주-루스트리츠 연산자와 그 수반 연산자는 CSM 클래스와 세그레-맥퍼슨 클래스의 수직 관계 및 대칭성에서 어떤 역할을 하는가?

주요 결과

• 구성 가능 함수의 동차화된 등변 CSM 클래스는 그 특성 주기를 코탄젠트 번들의 영단면을 통해의 역상과 같다.
• 샤우베르트 세포의 CSM 클래스는 힐버트-버마 $\mathcal{D}_X$-모듈의 특성 주기의 세그레 클래스로 표현된다.
• 논문은 플라그 다양체에서의 샤우베르트 세포에 대해 CSM 클래스의 양성을 증명하며, 알루피와 마할체아의 추측을 확인한다.
• 샤우베르트 다양체의 카즈한-루스트리츠 클래스가 효과적임을 보이며, 이는 양성 결과를 이러한 불변량으로 확장한다.
• CSM 클래스와 세그레-맥퍼슨 클래스 사이의 기하학적 수직 관계를 확립하며, 샤우베르트 클래스와 CSM 클래스 사이의 전이 행렬 공식을 이끌어낸다.
• 저자들은 플라그 다양체 설정에서 CSM 클래스와 안정적 캐리어 사이의 동치관계를 확립하며, 리만니와 바르체노의 결과를 특성 주기 방법을 통해 재증명한다.