[논문 리뷰] On the Grinberg - Kazhdan formal arc theorem

Vladimir Drinfeld|ArXiv.org|2002. 03. 25.

Computability, Logic, AI Algorithms참고 문헌 1인용 수 27

한 줄 요약

이 논문은 그린버그-카즈단 형식적 호의 정리에 대해 특성에 관계없이 간결한 증명을 제공하며, 스킴 내의 매끄러운 호의 형식적 이웃이 가чёт무한 형식적 디스크와 유한형 스킴 위의 점의 형식적 이웃의 곱과 동형임을 보여준다. 핵심 기여는 웨이어스트라스 나눗셈과 변형 이론을 이용한 구축적 방법으로, 무한차원 호 공간을 다항방정식의 체계를 통해 유한형 기반으로 환원하는 것이다.

ABSTRACT

Let X be an algebraic variety over a field k, and L(X) be the scheme of formal arcs in X. Let f be an arc whose image is not contained in the singularities of X. Grinberg and Kazhdan proved that if k has characteristic 0 then the formal neighborhood of f in L(X) admits a decomposition into a product of an infinite-dimensional smooth piece and a piece isomorphic to the formal neighborhood of a closed point of a scheme of finite type. We give a short proof of this theorem without the characteristic 0 assumption.

연구 동기 및 목표

• 그린버그-카즈단 형식적 호의 정리에 대해 자가 포함적이고 특성에 관계없는 증명을 제공하는 것.
• 변형이론적 기법을 통해 매끄러운 호의 형식적 이웃의 구조를 명확히 하는 것.
• 형식적 호 이웃과 유한형 스킴 위의 점의 형식적 이웃 및 무한 형식적 디스크의 곱 사이의 명시적 동형을 확립하는 것.
• 기존에 그린버그와 카즈단이 특성 0에서 증명한 결과를 특성 0 이외의 경우로 일반화하는 것.
• 다항방정식 체계를 통해 유한형 스킴과 기저 점을 명시적으로 특정함으로써 구축을 명시화하는 것.

제안 방법

• 시험환 A를 이용해 매끄러운 호 γ₀의 형식적 호 이웃을 분석하며, A-점은 A[[t]] 위에서 γ₀의 변형과 대응된다.
• 웨이어스트라스 나눗셈 정리를 적용하여 야코비안 행렬식 ∂p/∂y를 모닉 다항식 q(t)와 단위 u(t)로 인수분해하며, q(t)는 극대 아이디얼 모odulo에서 t^d 와 합동이다.
• 변형 문제를 q(t), x(t), ȳ(t) 모듈로 q^r에 대한 방정식 체계로 재표현하여 원래 방정식 p(x(t),y(t)) = 0 및 det(∂p/∂y) ≡ 0 mod q와의 호환성을 확보한다.
• x(t)를 q^{r+1} 모듈로로 잘라내어 무한차원 문제를 유한형 문제로 환원함으로써 체계가 유한형임을 보인다.
• 스킴 Y는 q, ȳ 모듈로 q^2 및 q, ȳ 모듈로 q에 대한 방정식의 해공간으로 구성되며, 야코비안과 p-이deals에 대한 조건이 포함된다.
• 변형 공간이 유한형 스킴 Y 위에 피브어링되어 있으며, 그 피브어가 무한 형식적 디스크 D^∞ 와 동형임을 보여 D^∞ × Y_y 와의 동형 L(X)_{γ₀} ≅ D^∞ × Y_y 를 확립한다.

실험 결과

연구 질문

• RQ1 그린버그-카즈단 형식적 호의 정리가 특성 0에 의존하지 않고도 재증명될 수 있는가?
• RQ2 유한형 스킴에서 매끄러운 호의 형식적 이웃의 정확한 대수적 구조는 무엇인가?
• RQ3 무한차원 형식적 호 공간은 어떻게 표준적 무한 형식적 디스크와 유한형 스킴의 곱으로 분해될 수 있는가?
• RQ4 야코비안 행렬식 ∂p/∂y 에 어떤 조건이 있어야 이러한 분해가 가능할 수 있는가?
• RQ5 변형 공간을 매개변수화하는 유한형 스킴 Y와 점 y ∈ Y(k)의 표준적 구축은 존재하는가?

주요 결과

• 매끄러운 호 γ₀가 스킴 X에 있을 때, 그 형식적 이웃 L(X)_{γ₀} 는 D^∞ × Y_y 와 동형이며, 여기서 D^∞ 는 형식적 디스크의 가산무한곱이고 Y_y 는 유한형 k-스킴 Y 위의 k-유리점 y의 형식적 이웃이다.
• 스킴 Y 는 q, ȳ, ȳ에 대한 다항방정식의 유한체계의 해공간으로 명시적으로 구성되며, q 는 차수 d 의 모닉이며, ȳ 는 q^2 모듈로, ȳ 는 q 모듈로이다.
• 기저 점 y ∈ Y(k) 는 q = t^d, ȳ = x⁰(t) mod t^{2d}, ȳ = y⁰(t) mod t^d 와 대응된다.
• 증명은 모든 시험환 A 에 대해 A-변형과 잘라낸 체계 (3)-(4)의 해 사이에 전단사 대응을 확립한다.
• 이 구축은 기저 체의 특성과 무관하며, 원래 그린버그와 카즈단의 결과(특성 0 가정)를 초월하여 일반화된다.
• 이 방법은 X 위에 암묵적으로 존재하는 스무스 군oids 작용을 드러내며, det(∂p/∂y) = 0 으로 정의된 초면의 여부를 제외한 궤도는 전형적이다. 변형 공간은 불변 부분스킴 Y 로 매개변수화된다.