[논문 리뷰] On Subvarieties of Abelian Varieties with degenerate Gauss mapping

Rainer Weissauer|arXiv (Cornell University)|2011. 10. 01.

Advanced Differential Equations and Dynamical Systems참고 문헌 11인용 수 8

한 줄 요약

이 논문은 아벨 다양체의 부분다양체에 대한 접공간의 가우스 사상과 코타نغ언트 번들의 가우스 사상 사이의 이중성을 수립한다. 만약 코노멀 번들의 사영 $\Lambda_Y$ 가 이중 리 대수 $T_0^*(X)$ 에서 전형적이지 않다면, 부분다양체 $Y$ 는 열화되어 있음을 증명한다. 즉, 양성 차원의 아벨 부분다양체에 의한 이동에 대해 불변이다. 이 결과는 D-모듈 기반의 특성다양체 이론을 사용하여 아브라모비치의 고전적 가우스 사상 정리의 일반화이다.

ABSTRACT

We show that for an irreducible subvariety Y of an abelian variety X the Gauss mapping, from the conormal bundle of $Y$ to the dual of the tangent space of $X$ at the origin, is not dominant if and only if Y is degenerate in the sense that there exists a nontrivial abelian subvariety A of X such that A+Y=Y holds

연구 동기 및 목표

• 아벨 다양체의 부분다양체에 대해 고전적 접공간 가우스 사상과 코타نغ언트 공간 가우스 사상 사이의 이중성을 수립한다.
• 코노멀 번들의 가우스 사상의 비전형성 조건을 통해 열화된 부분다양체를 특성화한다.
• 가우스 사상 $\gamma: \Lambda_Y \to T_0^*(X)$ 의 일반적 차수와 $Y$ 의 특이점 및 휘어진 오일러-포이아르체 특성의 관계를 규명한다.
• 일반적인 양성 다발의 심플렉틱 다발의 경우, 교차 코hom로지 D-모듈의 특성다양체 내에서 유일한 특성다양체는 $Y$ 자체임을 보인다.

제안 방법

• 기약 부분다양체 $Y \subset X$ 와 관련된 기약 라그랑주 부분다양체로서 $\Lambda_Y \subset T^*(X) \cong X \times T_0^*(X)$ 를 정의한다.
• 사영 $\gamma: \Lambda_Y \to T_0^*(X)$ 의 전형성과 일반적 유한성을 분석한다.
• 리만-힐버트 대응을 통해 휘어진 교차 코호몰로지 층 $IC_Y[d]$ 와 특성다양체 $Ch(K)$ 를 가진 정규 D-모듈 간의 연결 고리를 설정한다.
• D-모듈 이론의 결과를 적용하여 오일러-포이아르체 특성 $\chi_Y$ 를 특성다양체 $Ch(IC_Y[d])$ 내의 구성요소 $\Lambda_{Y_\nu}$ 의 일반적 차수 $d(Y_\nu)$ 합으로 표현한다.
• 귀납법과 몫사상 $q: X \to B = X/A$ 를 통한 섬세한 분석을 통해 $\gamma$ 의 상을 분석하고, 차원 가정에 기반한 모순을 이끌어낸다.
• 가우스 사상 $\gamma$ 가 일반적으로 유한하지 않으면서도 $Y$ 가 양성 차원의 아벨 부분다양체에 의해 이동 불변이 아닐 경우, 이는 모순을 야기함을 이용한다.

실험 결과

연구 질문

• RQ1 코노멀 번들의 가우스 사상 $\gamma: \Lambda_Y \to T_0^*(X)$ 는 언제 전형적이지 않은가?
• RQ2 가우스 사상 $\gamma$ 의 비전형성은 $X$ 내에서 $Y$ 의 기하학적 구조와 어떻게 관련이 있는가?
• RQ3 특성다양체 $Ch(IC_Y[d])$ 는 $Y$ 의 특이점 규명에 어떤 역할을 하는가?
• RQ4 일반적인 양성 다발의 심플렉틱 다발의 경우, 특성다양체 $Ch(IC_Y[d])$ 내에서 $Y$ 외에 다른 특성다양체가 존재하는가?
• RQ5 가우스 사상 $\gamma: \Lambda_{Y_\nu} \to T_0^*(X)$ 의 일반적 차수 $d(Y_\nu)$ 는 오일러-포이아르체 특성 $\chi_Y$ 와 어떻게 관련이 있는가?

주요 결과

• 가우스 사상 $\gamma: \Lambda_Y \to T_0^*(X)$ 가 전형적이지 않음과 동시에 $Y$ 가 아벨 다양체 $X$ 의 양성 차원 부분다양체에 의해 이동 불변임은 동치이다.
• 이 결과는 D-모듈 이론적 방법을 사용하여 아브라모비치의 고전적 가우스 사상 $\Gamma: S \to Gr(d, T_0(X))$ 정리의 일반화이다.
• 일반적인 곡선의 양성 다발의 심플렉틱 다발인 $Y$ 의 경우, 특성다양체 $Ch(IC_Y[d])$ 내에서 존재하는 특성다양체는 $Y$ 자체뿐이며, 따라서 $\chi_Y = d(Y)$ 이다.
• 부분다양체 $Y$ 의 교차 코호몰로지의 오일러-포이아르체 특성 $\chi_Y$ 는 특성다양체 $Ch(IC_Y[d])$ 내 구성요소 $\Lambda_{Y_\nu}$ 의 일반적 차수 $d(Y_\nu)$ 합과 같다.
• 코노멀 번들 $\Lambda_Y$ 는 $Y$ 가 양성 차원 아벨 부분다양체에 의해 이동 불변이 아닐 경우에만 $T_0^*(X)$ 로 전형적으로 사영된다. 이는 섬세한 차원 분석과 유한 사상의 성질을 통해 모순을 이끌어내어 증명된다.
• 증명은 몫 구조 $X \to X/A$ 와 사상 $\varphi = (q \circ p_S, T^*(i) \circ \gamma)$ 를 통한 분석을 활용하며, $\gamma$ 가 전형적이지 않으면서도 유한한 섬세한 차원이 존재할 경우, 이는 양성 차원의 섬세한 차원과 모순됨을 보여준다.