Rank varieties over the generic hypersurface I

기술적 요약: 일반 초곡면 위의 랭크 다양체 I

문제 제기
본 논문은 가환 국소 완전 교차 (lci) 환 위의 모듈 및 복합체에 대한 랭크 다양체와 지지 다양체 (support varieties) 의 이론을 다룬다. lci 환에 대한 지지 다양체는 '허용 가능한 초곡면'(형태가 $Q/(a_1f_1 + \dots + a_cf_c)$인 환) 으로의 스칼라 제한을 통해 잘 확립되어 있으나, 본 연구는 일반 초곡면 $R$ 자체에 초점을 맞춘다. 일반 초곡면은 $Q$가 정칙 국소 환이고 $f_1, \dots, f_c$가 정칙 수열일 때, $R = Q[x_1, \dots, x_c]/(f_1x_1 + \dots + f_cx_c)$로 정의된다.

핵심 문제는 $R$ 위의 대상 (구체적으로 등급이 부여된 완전히 아시클릭 복합체와 모듈) 에 대한 랭크 다양체를 정의하고 연구하는 것이다. 저자는 랭크 다양체에 대한 기존 프레임워크가 스칼라 제한에 의존한다고 지적한다. 이에 반해 본 논문은 lci 환의 특이점 범주와 해당 일반 초곡면의 특이점 범주 사이의 동치 (Orlov [22], Buchweitz [7]) 에 영감을 받아, 스칼라 확장에 기반한 프레임워크를 탐구한다.

방법론
본 논문은 등급 환과 복합체의 맥락에서 호몰로지 대수 기법을 활용한다. 핵심 방법론은 다음과 같다:

1. 스칼라 확장: 사영 공간 $\mathbb{P}^{c-1}_k$ 내의 점 $\alpha = (\alpha_1, \dots, \alpha_c)$에 대해, 저자는 특수화된 환 $R_\alpha = R/(x_1-a_1, \dots, x_c-a_c)$를 정의한다. 여기서 $a_i$는 $Q$ 내의 $\alpha_i$의 원상이다. 이 환은 허용 가능한 초곡면 $Q/(a_1f_1 + \dots + a_cf_c)$와 동형이다.
2. 랭크 다양체의 정의: $R$ 위의 등급이 부여된 완전히 아시클릭 복합체 $C$에 대해, 랭크 다양체 $V(C)$는 특수화된 복합체 $C_\alpha = C \otimes_R R_\alpha$가 축약 가능하지 않은 점 $\alpha \in \mathbb{P}^{c-1}_k$들의 집합으로 정의된다.
3. 호모토피와 최소성: 분석은 국소 환 위의 최소 복합체의 성질과 호모토피 동치 하에서의 축약 가능성 거동에 크게 의존한다. 논문은 $R$이 정역이라는 사실을 이용하여 미분 (differentials) 의 소행렬식 (minors) 을 통해 랭크를 정의한다.
4. 자리스키 위상: 논문은 $C$의 미분에 대한 소행렬식으로 생성된 특정 아이디얼들의 소멸과 $C_\alpha$의 축약 가능성을 연관시킴으로써, 이러한 다양체들이 자리스키 닫힌 집합임을 입증한다.

주요 기여 및 결과

• 잘 정의됨 (Well-Definedness): 논문은 랭크 다양체의 정의가 $\alpha_i$에 대한 원상 $a_i$의 선택에 무관하며 (정리 3.4), 복합체의 호모토피 동치 하에서 불변임을 증명한다 (명제 3.5).
• 자리스키 닫힘: $V(C)$가 $\mathbb{P}^{c-1}_k$의 자리스키 닫힌 부분집합임이 보인다. 구체적으로, $V(C)$는 $C$의 미분에 대한 소행렬식으로 생성된 아이디얼들의 교집합의 영집합이다 (정리 3.6).
• 랭크 다양체의 성질: 저자는 스칼라 제한 맥락의 표준 성질들과 유사한 여러 성질을 확립한다:
  • 시프트 불변성: $V(C) = V(\Sigma C)$.
  • 가법성: $V(C \oplus C') = V(C) \cup V(C')$.
  • 쌍대성: $V(C) = V(\text{Hom}(C, R))$.
  • 삼각 부등식: 완전열 삼각형 (exact triangle) 에 대해, 한 항의 다양체는 나머지 두 항의 다양체의 합집합에 포함된다 (정리 3.8).
• 실현 가능성 (Realizability): 주요 결과는 $\mathbb{P}^{c-1}_k$ 내의 모든 사영 다양체가 $R$ 위의 어떤 등급이 부여된 완전히 아시클릭 복합체의 랭크 다양체로 실현될 수 있다는 것이다 (정리 4.3). 이는 잉여체 (residue field) 의 완전 분해 (complete resolution) 에 대한 곱셈 사상의 사상 원뿔 (mapping cones) 을 통해 복합체를 구성함으로써 달성된다.
• 데의 보조정리 (Dade's Lemma) 유사체: 논문은 랭크 다양체가 공집합이 되는 조건을 제공한다. $V(C) = \emptyset$인 것은 $C$가 축약 가능하거나, 미분의 최대 소행렬식들의 아이디얼의 근 (radical) 이 무관 아이디얼 (irrelevant ideal) 일 때와 동치이다 (명제 3.9).
• 연결성의 실패: 군 대수와 lci 환 위의 지지 다양체 (여기서 기약성은 연결성을 함의함) 의 거동과 대조적으로, 논문은 일반 초곡면 위의 랭크 다양체가 기저 대상이 기약적임에도 불구하고 비연결적일 수 있음을 보여준다 (예 5.1). 이는 일반 초곡면 설정과 특수화된 lci 설정 사이의 근본적인 차이를 부각시킨다.
• 모듈로의 확장: 이론은 유한 생성 등급 모듈로 확장된다. 모듈 $M$의 랭크 다양체는 $R_\alpha$ 위의 $M_\alpha$의 무한 사영 차원을 통해 정의된다. $C$가 $M$의 완전 분해일 때 $V(M) = V(C)$임이 보이며, 이로써 복합체 경우의 성질들을 계승한다 (정리 6.3, 6.4, 6.5).
• 아핀 패치: 논문은 비유한 생성 모듈을 사용하여 연관된 완전 교차 환 $S$ 위의 사영 다양체의 아핀 패치들의 실현 가능성에 대해 간략히 다룬다 (정리 6.6).

의의 및 주장
본 논문은 전통적인 스칼라 제한에 비해 스칼라 확장을 일반 초곡면 위에서 적용하는 프레임워크가 닫힘 성질과 실현 가능성 결과를 증명하는 데 더 간단하고 직접적인 접근법을 제공한다고 주장한다.

저자는 lci 환의 맥락 (특이점 범주 동치를 통해) 에서 랭크 다양체와 지지 다양체가 동치임에도 불구하고, 일반 초곡면 위에서 직접 연구함으로써 구별되는 구조적 성질이 드러난다고 강조한다. 구체적으로, 이 설정에서 "기약성은 연결성을 함의한다"는 정리의 실패는 일반 초곡면 위의 랭크 다양체의 기하학이 이전까지 생각했던 것보다 더 풍부하고 덜 제약받았음을 시사한다. 본 논문은 이러한 랭크 다양체를 등급 행렬 인자분해 (graded matrix factorizations) 와 완전히 아시클릭 복합체를 위한 구체적인 불변량으로 위치시킴으로써, 초곡면의 호몰로지 대수에 대한 새로운 관점을 제시한다.

본 연구는 연관된 lci 환 $S$에 대한 실현 가능성 문제를 직접 해결한다고 주장하지는 않는다 (이는 이미 알려져 있음). 대신, 실현 가능성이 직관적이고 기약 대상에 대한 비연결 랭크 다양체와 같은 새로운 현상을 관찰할 수 있는 견고한 검증 장 (testing ground) 으로서 일반 초곡면을 확립한다.