[논문 리뷰] The dimension of jet schemes of singular varieties

Mircea Mustaţă|arXiv (Cornell University)|2014. 04. 30.

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

한 줄 요약

이 논문은 특이성 있는 대수기하학적 다양체의 일반화된 제트 스킴의 차원을 조사하며, 이러한 차원이 로그 캐논리컬 임계값과 최소 로그 불일치성과 같은 비라시오널 불변량을 어떻게 반영하는지에 초점을 맞춘다. 이는 동역학적 통합과 제트 스킴 구성에 의해 특이성 이론과 대수기하학을 연결하는 필요 조건인 d^r ≤ n을 제안하며, 동차 초평면의 r중 반복 제트 스킴이 순수 차원임을 보장한다.

ABSTRACT

Given a scheme X over a field k, a generalized jet scheme parametrizes maps from Spec(A) to X, where A is a finite-dimensional, local algebra over k. We give an overview of known results concerning the dimensions of these schemes when A has embedding dimension one, when they are related to invariants of singularities in birational geometry. We end with a discussion of more general jet schemes.

연구 동기 및 목표

• 제트 스킴의 차원이 대수기하학에서 특이성에 대해 어떤 정보를 담고 있는지 이해하기.
• 표준 제트 스킴에 대한 고전적 결과를 국소 유한 체 A에 의해 매개화된 일반화된 제트 스킴으로 확장하기.
• 지역적으로 완전 교차 다양체에 대해 반복 제트 스킴의 기약성과 순수 차원성 탐구하기.
• 임베딩 차원 2인 대수의 수열을 통해 제트 스킴 차원의 渐진적 행동에 기반한 새로운 불변량 제안하기.
• d^r ≤ n 조건이 동차 초평면의 고립된 특이성을 가진 r중 제트 스킴의 순수 차원성 또는 기약성에 충분한지 조사하기.

제안 방법

• 모든 국소 유한 k-대수 A에 대해 J_A(X)를 정의하기 위해 제트 스킴의 보편 성질을 사용하며, 표준 제트 스킴 J_m(X) = J_{k[t]/(t^{m+1})}(X)를 일반화한다.
• 동역학적 통합의 변수 변경 공식을 적용하여 J_m(X)의 차원을 쌍 (Y,X)의 로그 해소에서 유도된 불변량과 연결한다.
• 프로젝티브 극한을 사용하여 J_{k[[t]]}(X)를 J_m(X)의 역극한으로 정의하며, 이는 동역학적 통합에 핵심적이다.
• 제트 스킴에서 원점 위의 섹션을 분석하기 위해 f(u_1,…,u_n) = 0 조건을 적용하며, u_i ∈ tR[t]/(t^{m+1})로 정의되며, 이는 정의 다항식의 차수 d와 연결된다.
• r개 변수에서 차수 jd인 단항식으로 정의된 부분다양체 Z_j ⊂ J_{A_j}(X)의 차원 추정을 통해 n과 d에 대한 추정치 유도하기.
• 차원 공식에서 이항계수의 渐진적 분석을 적용하여 불등식 n ≥ d·∏_{i=1}^{r-1} (jd+i)/(j+i) 유도하고, 이로부터 극한 조건 d^r ≤ n 도출하기.

실험 결과

연구 질문

• RQ1 어떤 조건에서 동차 초평면의 r중 반복 제트 스킴이 순수 차원인지?
• RQ2 d^r ≤ n 조건이 고립된 특이성을 가진 동차 초평면의 r중 제트 스킴이 기약임을 보장하는가?
• RQ3 d^2 ≤ n일 때 일반적인 동차 다항식에 대해 반복 제트 스킴의 기약성을 확립할 수 있는가?
• RQ4 제트 스킴 차원의 경계와 체에 대한 Lang의 C_r 조건 사이에 연결 고리가 존재하는가?
• RQ5 임베딩 차원 2인 대수에 대해 일반화된 제트 스킴의 渐진적 차원이 특이성의 새로운 불변량을 제공하는가?

주요 결과

• 정의 다항식의 차수가 d인 동차 초평면 X ⊂ A^n에 대해, r중 반복 제트 스킴이 순수 차원이 되기 위해서는 반드시 d^r ≤ n여야 한다.
• r중 제트 스킴이 기약이라면 동일한 불등식 d^r ≤ n이 성립하며, 차원 추정에서 엄밀한 부등호가 성립하면 d^r < n임을 의미한다.
• d^2 ≤ n 이며 정의 다항식의 계수가 Q 위에서 대수적으로 독립일 경우, 2중 반복 제트 스킴은 기약임이 입증되었으며, 이는 양의 특성에서 F-특이성에 의해 도출된다.
• 비가чёт수 체에 대해, d^2 ≤ n인 매우 일반적인 동차 다항식은 2중 제트 스킴이 기약임을 가진다.
• d^r ≤ n 조건은 제트 스킴의 부분다양체에 대한 차원 공식에서 이항계수의 渐진적 분석을 통해 도출된다.
• d^r ≤ n 조건은 고립된 특이성을 가진 동차 초평면의 r중 제트 스킴이 순수 차원이 되기 위한 필수 조건이다.