[논문 리뷰] A realization theorem for modules of constant Jordan type and vector bundles

David J. Benson, Julia Pevtsova|arXiv (Cornell University)|2010. 07. 22.

Advanced Algebra and Geometry참고 문헌 4인용 수 4

한 줄 요약

이 논문은 초등 아벨 $ p $-군의 군 대수 위에서 상수 조르당 유형을 가진 유한 생성 모듈러스와 $ \mathbb{P}^{r-1} $ 위의 벡터 번들의 사이에 실현 정리를 확립한다. 이 정리는 임의의 랭크 $ s $의 벡터 번들 $ \mathcal{F} $에 대해, $ p = 2 $이면 $ \mathcal{F}_1(M) \cong \mathcal{F} $를 만족하는 $ kE $-모듈러스 $ M $가 존재하고, $ p $가 홀수이면 $ \mathcal{F}_1(M) \cong F^*(\mathcal{F}) $임을 보여준다. 여기서 $ F $는 프로베니우스 사상이다. 이 결과는 날카롭게 최적화되어 있으며, $ p $가 홀수일 경우 $ \mathcal{F}_1(M) $의 채르 수 $ c_1, \dots, c_{p-2} $ 는 항상 $ p $로 나누어 떨어지므로, 이 정리는 향상될 수 없다.

ABSTRACT

Let E be an elementary abelian p-group of rank r and let k be a field of characteristic p. We introduce functors F_i from finitely generated kE-modules of constant Jordan type to vector bundles over projective space of dimension r-1. The fibers of these functors encode complete information about the Jordan type of the module. We prove that given any vector bundle of rank s on P^{r-1}, there is a kE-module M of stable constant Jordan type [1]^s such that the functor F_1 applied to M yields the original vector bundle for p=2 and the Frobenius twist of the original vector bundle for p>2. We also prove that the theorem cannot be improved if p is odd, because if M is any module of stable constant Jordan type [1]^s then the Chern numbers c_1, ... ,c_{p-2} of F_1(M) are divisible by p.

연구 동기 및 목표

• 초등 아벨 $ p $-군 $ E $와 특성 $ p $의 체 $ k $에 대해, 상수 조르당 유형을 가진 유한 생성 $ kE $-모듈러스와 $ \mathbb{P}^{r-1} $ 위의 대수적 벡터 번들 사이의 대응을 수립하는 것.
• 조르당 블록의 구조를 캡슐화하는 정보를 담은, $ \mathcal{F}_i $를 정의하고 연구하는 것.
• 모든 $ \mathbb{P}^{r-1} $ 위의 벡터 번들이 어떤 안정적 상수 조르당 유형 $[1]^s$을 가진 모듈러스 $ M $에 대해 $ \mathcal{F}_1(M) $로 나타남을 보여주는 것. 단, $ p $가 홀수일 경우 프로베니우스 당김을 고려한다.
• 홀수 $ p $에 대해 이 정리가 향상될 수 없는 이유를 밝히는 것. 이는 결과로 얻어지는 번들의 채르 클래스에 대한 산술적 제약 때문이며, 이는 정리의 강도를 제한한다.

제안 방법

• $ kE $-모듈러스에서 $ \mathbb{P}^{r-1} $ 위의 코herent 층으로 가는 함자 $ \mathcal{F}_i $를 정의하며, 이는 길이 $ i $인 조르당 블록들의 사회의 합을 포착한다.
• 모듈러스 위에서 증강 아이디얼 $ J(kE) $의 작용을 사용하며, 원소 $ X_\alpha = \sum \lambda_i X_i $ 는 모두 니르포텐트 작용한다.
• 함자 $ \mathcal{F}_i $는 $ X_i $ 가 $ M $ 위에 작용하는 방식을 담은 사상 $ \theta_M $ 를 통해, 자명한 번들 $ \widetilde{M} $ 의 부분몫으로 정의된다.
• 상수 조르당 유형을 가진 모듈러스에 대해 $ \mathcal{F}_i $ 는 대수적 벡터 번들을 생성하며, 헬러 슬라이스와 쌍대성에 대한 행동이 분석된다.
• 주요 정리의 증명은 벡터 번들의 트위스트에 대한 채르 클래스 공식과 항등식 $ x(x+1)\cdots(x+p-1) \equiv x^p - x \pmod{p} $ 을 사용한다.
• 핵심 단계는 $ \widetilde{M} $ 의 필터링 몫들의 채르 클래스의 곱이 $ c(\widetilde{M}, h) \equiv c(\mathcal{F}_1(M), h) \pmod{(p, h^{p-1})} $ 를 만족함을 보여주는 것으로, 이는 채르 수가 $ p $로 나누어 떨어짐을 이끌어낸다.

실험 결과

연구 질문

• RQ1 모든 $ \mathbb{P}^{r-1} $ 위의 벡터 번들 $ \mathcal{F} $ 는 어떤 안정적 상수 조르당 유형 $[1]^s$ 을 가진 $ kE $-모듈러스 $ M $ 에 대해 $ \mathcal{F}_1(M) $ 로 실현될 수 있는가?
• RQ2 프로베니우스 사상은 상수 조르당 유형을 가진 모듈러스의 맥락에서, 벡터 번들의 실현 가능성에 어떤 영향을 미치는가?
• RQ3 모듈러스 $ M $ 가 안정적 상수 조르당 유형 $[1]^s$ 을 가질 경우, $ \mathcal{F}_1(M) $ 의 채르 클래스에 어떤 산술적 제약이 존재하는가?
• RQ4 왜 홀수 $ p $ 에 대해 실현 정리는 $ p = 2 $ 에 비해 반드시 더 약한가? 그 강도를 제한하는 요소는 무엇인가?
• RQ5 일부 벡터 번들을 $ \mathcal{F}_1(M) $ 로 실현하는 데 장애물이 존재하는가? 만약 그렇다면, 그 장애물은 무엇인가?

주요 결과

• $ p = 2 $ 일 때, $ \mathbb{P}^{r-1} $ 위의 랭크 $ s $인 모든 벡터 번들 $ \mathcal{F} $ 는 안정적 상수 조르당 유형 $[1]^s$ 을 가진 어떤 $ kE $-모듈러스 $ M $ 에 대해 $ \mathcal{F}_1(M) $ 로 실현된다.
• 홀수 $ p $ 일 때, 모든 벡터 번들 $ \mathcal{F} $ 는 $ \mathcal{F}_1(M) \cong F^*(\mathcal{F}) $ 로 실현되며, 여기서 $ F $ 는 프로베니우스 사상이다.
• 홀수 $ p $ 에 대해 이 정리는 향상될 수 없다. 왜냐하면 모든 $ 1 \leq m \leq p-2 $ 에 대해 $ c_m(\mathcal{F}_1(M)) $ 가 항상 $ p $ 로 나누어지기 때문이다.
• 이 나눗셈 조건은 날카롭게 최적화되어 있다. $ p \geq 7 $ 일 경우, 호로크스–멈포드 번들과 그 트위스트는 어떤 $[1]^2$ 유형의 $ M $ 에 대해서도 $ \mathcal{F}_1(M) $ 로 실현될 수 없다.
• 벡터 번들의 트위스트에 대한 채르 클래스 공식과 모듈로 $ p $ 에서의 페르마의 소정리를 조합함으로써, 채르 클래스의 나눗셈이 증명의 기초가 된다.
• 이 결과는 상수 조르당 유형을 가진 모듈러스에서 유래하는 벡터 번들의 기하학적 장애를 본질적으로 드러내며, 특히 홀수 특성에서 중요한 의미를 가진다.