Foliated and Mather-Jacobian discrepancies via tangential arcs

기술 요약: 접선 호(Tangential Arcs)를 통한 엽상(Foliated) 및 마테르-제이콥(Mather–Jacobian) 불일치(Discrepancies)

문제 정의
본 논문은 3차원에서의 co-rank 1 엽상(foliation)에 대한 엽상 불일치(foliated discrepancies)의 계산 문제를 다루며, 특히 엽상 최소 모델 프로그램(foliated Minimal Model Program, MMP)의 맥락 내에서 이를 다룬다. 일반적인 특이 다양체의 경우 로그 불일치(log discrepancies)와 arc space에서의 divisorial cylinder의 코디멘션(codimension) 사이의 관계는 Ein–Mustaţ˘a–Yasuda의 정리를 통해 잘 확립되어 있으며, Mather–Jacobian 이론(Ishii, Ein–Ishii, de Fernex–Docompact)을 통해 국소 완전 교차(locally complete intersection)가 아닌 경우로도 확장되었다. 그러나 엽상의 경우 이에 대응하는 "접선적(tangential)" 유사체가 결여되어 있었다.

핵심적인 어려움은 엽상 특이점의 본질에 있다. 일반적인 특이점과 달리, 엽상 불일치는 호(arc)가 엽상에 대해 갖는 접함(tangency)에 의존한다. 본 논문은 고정된 불변 노멀-크로싱(normal-crossing) 분리자(separatrix) 디바이저(divisor)에 대한 로그 단순 co-rank 1 엽상에 초점을 맞춘다. 과제는 비공명(non-resonant) 로그 특이점 상황에서 호들이 불변 디바이저 내에 갇혀 있을 때, 접선적 arc cylinder의 코디멘션과 엽상 불일치를 연결하는 공식을 확립하는 것이다.

방법론
본 논문은 생사론적 곡선 가족(formal curve families)과 생사론적(birational) 기하학을 연결하는 "접선적 arc-space 접근법"을 개발한다. 방법론은 다음과 같은 주요 단계로 진행된다:

1. 로그 단순 적응 설정(Logarithmic Simple Adapted Setting): 분석은 Cano의 축소 정리(reduction theorem)로부터 유도된 특정 모델 클래스 내에서 수행된다. 이들은 엽상이 양의 비공명 잔차(residues)를 가진 로그 1-form에 의해 국소적으로 생성되는 "로그 단순 적응" 모델들이다. 이 설정은 엽상이 특이점 중심에서의 블로업(blow-ups)을 통해 단순 특이점으로의 해상(resolution)을 가짐을 보장하며, 이는 계산을 위한 안정적인 국소 formal 모델을 제공한다.

2. 호의 구속 및 표현 가능성(Arc Confinement and Representability): 핵심적인 기술적 결과(정리 4.1)는 비공명 로그의 경우, 규정된 접선적 위치(tangential locus)에 중심을 둔 축소된 접선적 formal arc들이 불변 노멀-크로싱 디바이저 $D_{inv}$에 엄격히 구속됨을 보여준다. 결과적으로, 축소된 접선적 arc functor는 불변 디바이저의 축소된 arc functor와 동형(isomorphic)이다. 이는 접선적 불일치를 계산하는 문제를 불변 디바이저 상의 일반적인 불일치를 계산하는 문제로 환원시킨다.

3. 분지-전도체 시스템(Branch–Conductor System): 불변 디바이저의 기하학(노멀-크로싱일 수 있음)을 처리하기 위해, 본 논문은 "정규화된 분리자-전도체 시스템(normalised separatrix–conductor system)"을 구축한다. 여기에는 다음이 포함된다:

   • 기약 불변 분지($S^\nu_\alpha$)의 정규화.
   • 쌍을 이루는 교차 곡선인 전도체($C^\nu_{\alpha\beta}$)의 정규화.
   • 분지들과 전도체들의 구조 층(structure sheaves)의 등식자(equaliser)를 통해 준정규(seminormal) 분리자 공간 $S^{sn}_W$를 정의.
     이 시스템을 통해 접선 섹터(tangential sector)를 정규화된 분지 및 전도체 상의 일반적인 arc space로 표현할 수 있다.

4. 엽상 부가(Foliated Adjunction): 본 논문은 엽상 부가(Cascini–Spicer, Spicer–Svaldi)를 활용하여 불일치 계산을 3차원에서 정규화된 분지 및 전도체로 전달한다. 이는 정규화된 곡면들에 "분지 경계(branch boundaries, $\Theta$)"를, 곡선들에 "전도체 경계(conductor boundaries)"를 설정하며, 이는 적응된 블로업 하에서 crepant 호환성을 보장한다.

5. Mather–Jacobian 정교화(Mather–Jacobian Refinement): 기저 다양체 $X$ 상의 특이한 분리자 층(strata)을 다루기 위해, 본 논문은 Mather–Jacobian 정교화를 도입한다. 이는 $X$ 상의 정준 이미지 분리자 시스템을 정의하고, 경계(boundaries)를 인코딩하기 위해 ideal의 formal product를 사용하여 고정된 대수적 이미지에 상대적인 불일치를 계산하는 과정을 포함한다. 이는 본질적인 formal separatrices와 정교화에 사용되는 대수적 이미지 시스템을 구분한다.

주요 기여 및 결과

• 접선적 Ein–Mustaţ˘a–Yasuda 공식: 본 논문은 적응된 토리데스(toroidal) 접선적 divisorial cylinder의 로그 코디멘션과 그에 대응하는 접선적 불일치를 식별하는 코디멘션 공식(정리 1.4, 따름정리 1.4)을 증명한다:
  $$\text{lcodim}^{\text{tan}}(N^{\text{tan}}_q(E)) = q \cdot a^{\text{tan}}(E; X, \mathcal{F}, \Delta)$$
  이 공식은 접선적 섹터를 일반적인 arc space로 환원하는 것에 기초한다.

• 접상 부가의 역(Inversion of Adjunction): 토리데스 형태의 접선적 부가의 역(inversion of adjunction)이 확립된다(따름정리 13.1). 이는 엽상 pair가 닫힌 접선 집합 $Y$를 따라 접상적으로 toroidal log canonical인 것은, 모든 연관된 adjunction pair가 $Y$의 역상 상에서 log canonical인 것과 동치임을 명시한다.

• 특이 궤적의 특징 묘사: 본 논문은 정규화된 분지 및 전도체 상의 특이 궤적들에 대한 분지-전도체 묘사를 제공한다(따름정리 13.3). 이러한 궤적들은 정규화된 분지 및 전도체의 상들의 합집합으로 검출된다.

• 하반 연속성(Lower Semicontinuity): 적응된 toroidal 접선적 최소 로그 불일치($tmld_{tor}$)가 적응된 접선적 중심(centre) 상에서 하반 연속적임이 증명된다(따서정리 13.5). 이는 정규화된 분지(곡면 또는 곡선) 상의 일반적인 최소 로그 불일치의 하반 연속성과 분지-전도체 시스템의 유한성으로부터 유도된다.

• Mather–Jacobian 정교화: 본 논문은 $X$ 상의 정준 이미지 분리자 시스템에 대한 접선적 Mather–Jacobian 불일치($a^{\text{tan}}_{MJ}$)를 정의한다(정의 15.4, 정리 15.7). 이는 분리자 층이 local complete intersection이 아닌 경우, 일반적인 toroidal 접선적 불일치로는 포착할 수 없는 분리자 층의 특이 결함(singularity defects)을 탐지하는 더 정밀한 도구임을 증명한다.

• 실린더 기준(Cylinder Criterion): 접선적 log canonicity에 대한 기준이 접선적 cylinder의 로그 코디멘션의 비음수성(non-negativity)을 통해 주어진다(따름정리 13.6).

의의 및 주장
본 논문은 특히 엽상 특이점의 "접선적" 성질에 맞추어 설계된, arc space를 이용한 엽상 불일치 계산을 위한 엄밀한 프레임워크를 제공한다고 주장한다. 그 의의는 다음과 같다:

1. 관점의 통합: Carter의 jet scheme(강한 접함, total separatrices)의 미분적 관점과 엽상 MMP(adjunction, inversion of adjunction)의 생사론적 관점을 결합한다.
2. 일반 이론으로의 환원: 비공명(non-resonant)의 경우 축소된 접선적 arc들이 불변 디바이저에 구속됨을 증명함으로써, 복잡한 엽상 불일치 계산을 정규화된 분지 및 전도체 상의 일반적인 arc-space 계산으로 환원시킨다.
3. 특이점을 위한 정교화: Mather–Jacobian 정교화는 분리자 층이 smooth하거나 local complete intersection이 아닌 경우에도 적용 가능하도록 하여, 불일치 이론의 적용 범위를 local complete intersection 범위를 넘어 확장한다.
4. 모델 독립성: 결과들은 고정된 범주 내의 적응된 toroidal model의 선택에 독립적이며, 이는 분지-전도체 시스템의 적응된 블로업 하에서의 함수성(functoriality)에 의존한다.

저자들은 비공명 조건이 arc-confinement 논증에 필수적임을 명시하며, 결과들이 단순한 log canonical 가정이 아니라 엽상 MMP에서의 단순성 가정 역할을 하는 "logarithmic simple adapted" 섹터에 적용됨을 밝힌다. 이 이론는 모든 엽상 특이점(예: 공명 케이스 또는 비-toroidal 해상을 요구하는 경우)을 다루겠다고 주장하는 것이 아니라, 지정된 클래스의 모델들을 위한 완전하고 효과적인 계산법을 제공하는 것이다.