Deformations, local freeness, and base change for higher Du Bois singularities

기술 요약: 고차 Du Bois 특이점의 변형, 국소 자유성 및 기저 변경

문제 정의
본 논문은 복소 다양체의 가족(families)에서 고차 Du Bois 특이점의 거동과 관련된 세 가지 근본적인 질문을 다룬다:

1. 기저 변경 (Base Change): 매끄러운 곡선으로의 지배 사상(dominant morphism) $f: X \to B$에 대하여, 상대적 Du Bois 복합체 $\Omega^p_{X/B}$가 파이버 $X_b$의 절대적 Du Bois 복합체 $\Omega^p_{X_b}$로 기저 변경되는가? 구체적으로, 자연스러운 사상 $\Omega^p_{X/B} \otimes^L_{\mathcal{O}_X} \mathcal{O}_{X_b} \xrightarrow{\sim} \Omega^p_{X_b}$가 성립하는가?
2. 변형 불변성 (Deformation Invariance): 카르티에 디바이저(Cartier divisor) $Z \subseteq X$가 고차 Du Bois 조건을 만족한다면, 주변 공간 $X$는 $Z$의 근방에서 해당 조건을 만족하는가?
3. 국소 자유성 (Local Freeness): 평탄한 적절한 가족(flat proper family)에 대하여, 고차 직상 층(higher direct image sheaves) $R^i f_* \Omega^p_{X/B}$는 국소 자유(locally free)하며 기저 변경과 호환되는가?

이러한 성질들은 국소 완전 교차(local complete intersection, lci) 특이점의 경우에는 잘 알려져 있으나, 일반적인 설정에서의 유효성은 여전히 미해결 상태이다. 본 논문은 다양한 고차 Du Bois 조건의 정교화된 형태들(pre-, weakly-, m-, 그리고 strict-m-Du Bois)이 이러한 성질들을 만족하는지 조사하며, 특히 어떤 조건이 가장 강력한 성질을 보장하는지 식별하는 데 중점을 둔다.

방법론
저자는 기존 문헌(예: Kovács, Kovács–Taji)에서 정의된 표준 좌측 상대적 Du Bois 복합체($\Omega^{p,-}_{X/B}$)와 대조되는, 우측 상대적 Du Bois 복합체($\Omega^{p,+}_{X/B}$)라고 명명된 대안적인 상대적 Du Bois 복합체 구성을 도입하고 활용한다.

• 구성: 우측 복합체는 기저의 정규 포락(canonical bundle)의 풀백과의 웨지 곱(wedge map)을 포함하는 콘(cone) 구성을 통해 $p=0$으로부터 "위쪽으로" 구축되는 반면, 좌측 복합체는 차원으로부터 "아래쪽으로" 구축된다.
• 비교: 본 논문은 우측 복합체가 파이버의 절대적 Du Bois 복합체와 더 직접적인 비교를 허용함을 입증한다. 핵심적인 기술적 도구는 $\Omega^{p,+}_{X/B}$, $\Omega^p_X$, 그리고 $\Omega^p_{X_b}$를 연관시키는 가환 도식(Theorem 4.11)이며, 이는 기저 변경 분석을 용이하게 한다.
• 단사성 정리 (Injectivity Theorems): 변형 불변성을 증명하기 위해, 저자는 카러 미분(Kähler differentials)에 대한 Kovács–Schwede 단사성 정리를 확장한다. 구체적으로, strict-$(m-1)$-Du Bois 특이점을 가진 다양체에 대하여, $p \le m$일 때 $H^k(D_X(\Omega^p_X)) \to H^k(D_X(\Omega^p_X))$가 단사임을 증명한다(Theorem 5.2). 이는 순환 피복(cyclic covers) 하에서의 카러 미분 분석과 Kato의 로그 미분($\Omega^p_X(\log^K H)$)을 활용한다.
• 기저 변경으로의 변형: 저자는 양방향 연결성을 입증한다: strict-m-Du Bois 특이점의 변형 불변성은 우측 복합체에 대한 기저 변경을 함의하며, 역으로 기저 변경을 가정하면 더 약한 특이점 클래스들에 대한 변형 결과를 도출할 수 있다.

주요 기여 및 결과

1. Strict-m-Du Bois 특이점의 변형 불변성:
   본 논문은 만약 카르티에 디바이저 $Z \subseteq X$가 strict-m-Du Bois 특이점을 가진다면, $X$는 $Z$의 근방에서 strict-m-Du Bois 특이점을 가짐을 증명한다(Theorem 6.5). 이는 단사성 정리의 확장과 Elkik 유형의 논증을 통해 확립된다.

2. 기저 변경 정리 (Base Change Theorem):
   본 논문의 주요 결과는 Kovács–Taji의 질문에 답한다: 만약 파이버 $X_b$가 strict-m-Du Bois 특이점을 가진다면, $X_b$는 우측 상대적 Du Bois 복합체에 대해 기저 변경을 만족한다. 구체적으로, 모든 $p \le m$에 대하여:
   $$\Omega^{p,+}_{X/B} \otimes^L_{\mathcal{O}_X} \mathcal{O}_{X_b} \simeq_{qis} \Omega^p_{X_b}$$
   나아가, 만약 $X_b$가 모든 $m \in \mathbb{N}$에 대해 strict-m-Du Bois 특이점을 가진다면, $X_b$는 모든 $p$에 대해 좌측 상대적 Du Bois 복합체에 대한 기저 변경을 만족한다(Theorem 7.3). 고정된 $m$에 대해서는, 파이버가 strict-m-Du Bois임에도 불구하고 좌측 복합체는 반드시 기저 변경을 만족하는 것은 아니다.

3. 최적성(Sharpness) 및 약한 조건들의 실패:
   본 논문은 "strict" 조건이 본질적으로 최적임을 보여준다.

• 우측 기저 변경: 파이버가 right-m-base change를 만족하는 것은 그것이 strict-m-Du Bois인 것과 동치이다(Proposition 9.3).
• 좌측 기저 변경: 좌측-m-base change는 단순히 m-Du Bois이거나 weakly-m-Du Bois인 파이버들에 대해 실패한다. 명시적인 반례들(Example 9.5, Proposition 9.7)은 파이버가 Du Bois (0-Du Bois)이거나 weakly-m-Du-Bois인 경우에도 0차 또는 그 이상의 차수에서 기저 변경이 실패할 수 있음을 보여준다.
• 변형 실패: 본 논문은 카르티에 디바이저 $Z$가 1-Du Bois이지만 전체 공간 $X$는 pre-1-Du Bois조차 되지 않는 예시를 구성하여(Proposition 9.14), m-Du Bois 조건에 대한 변형 불변성이 실패함을 보여준다.

4. 국소 자유성 및 호지 수의 상수성:
   기저 변경 결과를 사용하여, 본 논문은 lci 설정을 넘어 Friedman–Laza의 국소 자유성 정리를 일반화한다. 매끄러운 곡선 위의 평탄한 적절한 가족에 대하여, 만약 파이버 $X_b$가 strict-m-Du Bois 특이점을 가진다면, $0 \le p \le m$인 모든 $p$에 대해 $R^i f_* \Omega^p_{X/B}$는 국소 자유이며 기저 변경과 호환된다(Theorem 8.7).
   또한, 곡선 슬라이싱(curve-slicing) 논증을 통해, 파이버가 strict-m-Du Bois인 경우 임의의 기저 위의 가족에 대해 호지 수 $h^{p,q}$의 상수성을 증명한다(Theorem 8.8).

의의
본 논문은 strict-m-Du Bois 특이점이 lci 설정을 넘어선 고차 Du-Bois 조건의 가장 적합한 일반화임을 확립한다. 이 조건은 기존의 다른 개념들(m-Du Bois 또는 weakly-m-Du Bois 등)보다 더 제한적이지만, 변형 불변성, 기저 변경, 그리고 코호몰로지 층의 국소 자유성이라는 세 가지 바람직한 성질을 보장하는 유일한 조건이다. 우측 상대적 Du-Bois 복합체의 도입은 상대적 복합체와 절대적 복합체 사이의 비교를 단순화하는 새로운 기술적 틀을 제공하며, 특이한 다양체들의 가족에서 호지 이론적 불변성의 안정성에 관한 열린 질문들을 해결한다. 본 연구의 결과는 더 약한 특이점 정의들의 한계를 명확히 하며, strictness 조건(또는 좌측 복합체의 경우 모든 $m$에 대해 성립하는 조건)이 없다면 기저 변경이나 변형 불변성과 같은 근본적인 성질들이 비교적 완만한 특이점들에 대해서도 실패할 수 있음을 보여준다.