A characterization of virtually free actions via arc spaces and its application to the lower semi-continuity conjecture

기술 요약: 아크 공간(Arc Spaces)을 통한 준자유 작용(Virtually Free Actions)의 특성화 및 하한 반연속성 추측에 대한 응용

문제 제식
본 논문은 생사 기하학(birational geometry)의 두 가지 핵심 추측인 최소 로그 불변량(minimal log discrepancy, mld)에 관한 하한 반연속성(Lower Semi-Continuity, LSC) 추측과 정밀 부가(Precise Inversion of Adjunction, PIA) 추측을 다룬다. 이러한 추측들은 몫 특이점(quotient singularities) 및 하이퍼 quotient 특이점(hyperquotient singularities)을 포함한 다양한 범주의 특이점에 대해 klt(Kawamata log terminal) 조건 하에서 이미 입증되었다.

저자들의 이전 연구([NS22, NS25])는 다양체가 klt인 경우 하이퍼 quotient 특이점에 대해 LSC 추측이 성립함을 증명하였다. 그러나 log canonical이지만 klt는 아닌 하이퍼 quotient 특이점에 대해서는 PIA 추측에 대한 반례가 이전에 확인된 바 있다. 하이퍼 quotient 특이점의 비 klt 설정에서 나타난 이 PIA 추측의 실패는 LSC 추측을 증명하기 위해 사용되는 표준적인 축소 전략을 가로막았으며, 이는 LSC 추측이 비 klt 하이퍼 quotient 특이점에서도 실패할 수 있다는 의구심을 불러일으켰다. 본 연구의 주요 목적은 PIA 반례의 메커니즘을 밝히고, klt 조건의 역할을 명확히 하며, 하이퍼 quotient 특이점에 대해 LSC 추측이 무조건적으로 성립하는지 여부를 결정하는 것이다.

방법론
저자들은 quotient 다양체의 기하학을 분석하기 위해 Denef와 Loeser가 개발한 아크 공간(arc spaces) 이론을 활용한다. 핵심적인 방법론적 혁신은 **준자유 작용(virtually free actions)**과 아크 공간을 통한 이들의 국소화된 버전을 도입하고 특성화하는 것이다.

1. 준자유 작용: 저자들은 어떤 equivariant proper birational modification 이후에도 군 작용이 코차원 1(codimension one)에서 자유로운(free) 작용인 "준자유" 작용의 개념을 활용한다. 이 개념은 자유 작용과 코차원 1에서 자유로운 작용 사이의 중간 단계 역할을 한다.
2. 아크 공간을 통한 특성화: 저자들은 $X \times \text{Spec } k[t^{1/d'}]$를 순환 군 $\langle \gamma \rangle$로 나눈 몫으로 구성된 새로운 $k[t]$-스키마 $X[\gamma]$를 도입한다. 저자들은 점 $x$에서의 작용이 "준자유"인지 여부와 quotient 다양체의 아크 공간 내 특정 부분집합의 "얇음(thinness)" 사이의 대응 관계를 확립한다.
   • 구체적으로, 저자들은 원소 $\gamma$의 작용이 점 $x$에서 준자유가 아닌 것은 $\gamma$와 관련된 국소 아크 공간이 quotient의 전체 아크 공간 내에서 얇은 집합(thin set)이 아닌 것과 동치임을 증명한다.
3. 스키마 비교: 저자들은 고전적인 구성 $X(\gamma)$(Denef와 Loeser가 사용하였으며, canonical divisor 계산에 대수적으로 용이함)와 새로운 함자적(functorial) 구성 $X[\gamma]$(해소(resolution)와 호환됨) 사이의 간극을 메운다. $X(\gamma)$의 대수적 장점과 $X[\gamma]$의 기하학적 함자성을 결합함으로써, 저자들은 두 구조 사이의 자연스러운 전단사(bijection)를 입증한다.

주요 기여 및 결과

• PIA 실패의 특성화: 본 논문은 임의의 하이퍼 quotient 특이점에 대해 PIA 추측이 성립하기 위한 필요충분조건을 제공한다(정리 1.6). 이 추측은 작용이 준자 자유가 아닌 원소 $\gamma$들에 대해 취해진 최소 로그 불변량의 최솟값이, 동시에 $D$ 위에서 또한 준자 자유가 아닌 원소 $\gamma$에 의해 달성될 때 성립한다. 이 특성화는 알려진 반례의 메커니서는 정확히 설명한다: 즉, 최솟값이 ambient space에서는 준자 자유이지만 $D$ 위에서는 그렇지 않은 원소, 혹은 그 반대의 경우에 의해 달성되어 등식을 깨뜨리는 것이다.
• mld 공식의 정교화: 저자들은 quotient 다양점의 최소 로그 불변량 공식을 정교화한다. 저자들은 모든 군 원소 $G$에 대한 최솟값을 $NVF(X, x)$(점$x$에서 작용이 준자 자유가 아닌 원소들의 집합)의 부분집합으로 제한할 수 있음을 보여준다. 이는 모든$G$에 대해 최솟값을 고려했던 이전 결과보다 더 강력한 진술이다.
• LSC 추측의 무조건적 증명: 비 klt 하이퍼 quotient 특이점이 LSC 추측의 반례가 될 수 있다는 비관적인 예상과 달리, 저자들은 임의의 하이퍼 quotient 특이점에 대해 LSC 추측이 무조건적으로 성립함을 증명한다(정리 1.3).
  • 이 증명은 PIA 추측을 축소 도구로 사용하는 대신, 준자 자유 작용의 국소적 특성화와 준자 자유가 아닌 원소들의 반연속성을 활용하여 mld를 하한 반연속 함수들의 유한한 최솟값으로 표현하는 방식을 취한다.

의의
본 논문은 생사 기하학의 특이점 연구에 있어 중요한 장애물을 해결했다고 주장한다. 아크 공간을 통해 준자 자유 작용을 특성화함으로써, 저자들은 PIA 추측에서 klt 조건이 갖는 근본적인 역할을 명확히 한다. 즉, "준자 자유" 성질이 최소 로그 불변량 계산에 영향을 미치는 방식으로 무너질 때 PIA 추측이 실패한다는 것을 보여준다.

가장 중요한 점은, 본 연구가 하이퍼 quotient 특이점에 대한 LSC 추측에서 제한적이었던 klt 가정을 제거했다는 것이다. 이는 다양체가 klt일 필요 없이, 광범위한 특이점 클래스(완전 교차(complete intersections)의 유한 군 몫)에 대해 최소 로그 불변량의 하한 반연속성을 확립한다. 이 결과는 PIA 추측을 확장함으로써 얻어진 것이 아니라, quotient 다양체의 아크 공간을 직접 분석하는 새로운 접근법을 개발함으로써, PIA 반례가 드러낸 한계를 우회하여 달성되었다.