The Drinfeld-Grinberg-Kazhdan theorem and embedding codimension of the arc space

기술 요약: 드린펠트-그린버그-카즈단(Drinfeld–Grinberg–Kazhdan) 정리와 호(arc) 공간의 임베딩 코디멘션

문제 정의
대수 다양체 $X$의 호 공간(arc space) $X_\infty$의 기하학은 $X$의 특이점(singularities)에 관한 중요한 정보를 담고 있다. 핵심적인 연구 대상은 특정 딜비지얼 밸류에이션(divisorial valuation) $\nu$를 유도하는 호들의 폐쇄인 최대 딜비지얼 집합(maximal divisorial set) $C_\nu(X)$이다. 드린펠트-그린버그-카즈단(DGK) 정리는 $k$-유리적 호(k-rational arc) $\alpha$가 특이점 집합(singular locus)에 포함되지 않을 때, 형식적 근방 $(X_\infty, \alpha)$가 유한 타입 스킴 $Z$(즉, "유한 형식 모델")와 형식 아핀 공간의 곱과 동형이라는 사실을 확립하였으나, 이 결과는 완벽한 체(perfect field) 위의 $k$-유리적 점들로 제한되어 있었다.

일반적인 호(임의의 잔여체를 갖는 호)의 형식 모델과 기저의 불변량 사이의 관계를 규명하는 것은 중요한 미해결 과제이다. 구체적으로, 일반적인 호(maximal divisorial set의 제너릭 호 $\alpha_\nu$의 경우)의 형식 모델이 $\alpha_\nu$의 형식 모델과 어떻게 연관되는지는 불분명하다. 또한, 호 공간의 기약 부분 집합들에 걸친 임베딩 코디멘션(embedding codimension) $ecodim(\mathcal{O}_{X_\infty, \alpha})$의 거동, 특히 그 상수성(constancy) 및 매끄러움(smoothness)과의 관계에 대한 명확한 설명이 필요하다.

방법론
본 논문은 계수체(coefficient field)의 명시적 구축이 일반화를 방해하는 문제를 피하기 위해, 임의의 잔여체를 갖는 호로 DGK 정리를 일반화하는 전략을 채택한다.

1. DGK 정리의 일반화: 저자는 임의의 잔여체를 갖는 호 $\beta \in X_\infty \setminus (\text{Sing } X)_\infty$에 대해 드린펠트[14]의 증명을 확장한다. 증명은 드린펠트의 변형 이론적 접근 방식을 따른다:

   • 완전 교차(Complete Intersections)로의 환원: 야코비안 소행렬(Jacobian minor)을 이용한 열린 근방 논증을 통해 문제를 $X$가 완전 교차인 경우로 환원한다.
   • 형식 모델의 스킴: "유한 형식 모델"을 매개하는 유한 타입 스킴 $Z$를 구축한다. 이는 다항식의 공간 $W$를 정의하고 베이유어 준비 정리(Weierstrass preparation theorem) 및 나눗셈 정리로부터 도출된 조건을 부과하는 과정을 포함한다.
   • 변형 쌍사(Deformation Bijection): 호 공간의 $\alpha$에서의 변형 펑터와 이미지 점 $\mu(\alpha)$에서의 스킴 $Z \times \mathbb{A}^\infty$ 사이의 자연스러운 쌍사를 확립한다.
   • 잔여체 확장: 비-$k$-유리적 호를 다루기 위해, 선형 투영에 의해 유도되는 잔여체의 유한 분리 확장(finite separable extensions)에 관한 [12]의 결과를 활용한다. 이를 통해 계수체의 명시적 구축 없이도 계수체의 유한 분리 확장까지 고려한 형식 근방 사이의 동형 관계를 구축한다.

2. 임베딩 코디멘션 분석: 본 논문은 비-노터(non-Noetherian) 환(구체적으로 pro-object 범주 내의 quasi-adic ring)에 대한 임베딩 코디멘션을 정의하고 그 거동을 조사한다.

   • 상반 연속성(Upper Semicontinuity): 유한 타입 스킴에 대해 임베딩 코디멘션은 일반적으로 상반 연속적이지 않지만, 특이점 집합에 포함되지 않는 임의의 기약 닫힌 부분 집합 위의 비어 있지 않은 열린 부분 집합에서는 상수임을 보인다.
   • 최대 딜비지얼 집합에 대한 적용: 일반화된 DGK 정리를 최대 딜비지얼 집합 $C_\nu(X)$에 적용하여, $C_\nu(X)$ 내 일반적인 호의 임베딩 코디멘션과 제너릭 호의 임베딩 코디멘션 사이의 관계를 규명한다.

3. 매끄러움의 특징 규명: 저자는 임베딩 코디멘션이 0인 호를 특징짓는 Bourqui와 Sebag[6]의 정리를 확장한다. 임베딩 코한의 상수성과 유리적 점의 존재성(체(field)의 비가산성 또는 호의 안정성에 의해 보장됨)을 결합함으로써, 임베딩 코디멘션의 소멸과 기저 다양체의 매끄러움 사이의 관계를 밝힌다.

핵심 기여 및 결과

• 정리 A (일반화된 DGK 정리): 완벽한 체 $k$ 위의 국소적으로 유한 타입인 스킴 $X$와 $\beta \notin (\text{Sing } X)_\infty$인 호에 대하여, $\beta$를 포함하는 국소 닫힌 부분 스킴 $V$, 유한 타입 스킴 $Z$, 그리고 $\mu: V \to Z \times \mathbb{A}^N$인 사상이 존재하여, 모든 $\alpha \in V$에 대해 $(X_\infty, \alpha)$의 형식 근방은 계수체의 유한 분리 확장까지 고려했을 때 $(Z \times \mathbb{A}^N, \mu(\alpha))$와 동형이다. 이는 $k$-유리적 점들에 대한 기존 DGK 정리를 완전히 회복한다.
• 정리 B (임베딩 코디멘션의 상수성): $(\text{Sing } X)_\infty$에 포함되지 않는 임의의 기약 닫힌 부분 집합 $W \subset X_\infty$에 대하여, 함수 $\alpha \mapsto ecodim(\mathcal{O}_{X_\infty, \alpha})$는 유한하며 $W$의 비어 있지 않은 열린 부분 집합 위에서 상수이다. 결과적으로, 임의의 최대 딜비지얼 집합 $C_\nu(X)$에 대해, 일반적인 $k$-유리적 호의 유한 형식 모델의 임베딩 코디멘션은 제너릭 호 $\alpha_\nu$의 국소 환의 임베딩 코디멘션과 같다.
• 정리 C (매끄러움의 특징 규명): $k$가 완벽한 체이고 $X$가 다양체이며 $\alpha \in X_\infty$일 때, $k$가 비가산적이거나 $\alpha$가 안정적(stable)이라고 가정하면, $X$가 $\alpha(0)$에서 기하학적으로 유니브랜치(geometrically unibranch)인 경우 $ecodim(\mathcal{O}_{X_\infty, \alpha}) = 0$은 $X$가 $\alpha(0)$에서 매끄러운 것과 동치이다. 이는 비-$k$-유리적 호에 대해 Bourqui와 Sebag의 결과를 특정 조건 하에 일반화한 것이다.

의의 및 한계
본 논문은 임의의 잔여체를 갖는 호에 대한 호 공간의 국소 기하학을 연구하기 위한 엄밀한 틀을 제공하며, 기존 연구의 제약이었던 $k$-유리적 점에 대한 제한을 제거하였다. 임베딩 코디멘션의 상수성을 확립함으로써, 유한 형식 모델과 특이점 불변량(Mather discrepancy 등) 사이의 정확한 관계를 이해하기 위한 발판을 마련하였다.

그러나 저자는 일반적인 호의 형식 모델과 제너릭 호의 형식 모델 사이의 관계가 여전히 미묘하다는 점을 명시적으로 언급한다. 임베딩 코디멘션은 일정하지만, 최소 유한 형식 모델의 차원(dimension)과 임베딩 차원(embedding dimension)은 일반적인 호와 제너릭 호 사이에서 서로 다를 수 있다(곡선에 관한 선행 연구에서 관찰된 바와 같이). 본 논문은 질문 3.18을 제기한다: $C_\nu(X)$ 내의 일반적인 $k$-유리적 호의 최소 유한 형식 모델의 임베딩 차원이 제너릭 호 $\alpha_\nu$의 최소 유한 형식 모델의 임베딩 차원과 같은가? 저자는 정리 A가 필요한 도구를 제공하기는 하지만, 이에 대한 정확한 답은 아직 명확하지 않다고 시사한다.

또한, 본 논문은 안정적인 호에서의 국소 환의 정칙성(regularity)에 관한 Reguera의 질문 2.10을 다룬다. 정리 3.23은 $X$가 기하학적으로 유니브랜치라는 더 강한 가정 하에 이에 대한 긍정적인 답을 제공한다. 본 논문은 명제 3.24를 통해, 만약 $X$가 (기하학적으로 유니브랜치가 아니라 단지) 유니브랜치이기만 하다면, $\mathcal{O}_{X_\infty, \alpha}$가 정칙적이거나 심지어 축약(reduced)되지 않으면서도 임베딩 코디멘션 0을 가질 수 있음을 보여줌으로써, Reguera의 원래 질문이 다중 기하학적 브랜치(multiple geometric branches)의 경우에는 여전히 미해결 상태임을 나타낸다.