Tensor product surfaces and graded syzygies

"텐서 곱 곡면과 등급화된 시조지" (Matthew Weaver 저) 의 기술적 요약

문제 제기
본 논문은 텐서 곱 곡면의 암시화 (implicitization) 문제를 다룬다. 구체적으로, 이동차 다항식 기저 $\{p_0, p_1, p_2, p_3\}$를 갖는 4 차원 벡터 공간 $U \subseteq H^0(\mathcal{O}_{\mathbb{P}^1 \times \mathbb{P}^1}(a, b))$가 주어졌을 때, 유리 사상 $\phi_U: \mathbb{P}^1 \times \mathbb{P}^1 \dashrightarrow \mathbb{P}^3$의 암시 방정식을 결정하는 것이 목표이다. 이 사상의 상인 $X_U$는 $\mathbb{P}^3$ 내의 곡면이다. 표준적인 소거 기법 (그뢰브너 기저, 결과식) 이 존재하지만, 특히 $\mathbb{P}^1 \times \mathbb{P}^1$의 다중 등급 설정에서 계산 비용이 매우 많이 든다. 본 논문은 이상 $I_U = (p_0, p_1, p_2, p_3)$이 "단일 등급" 시조지 (singly graded syzygy) 를 허용하는 경우에 초점을 맞추는데, 이는 선행 연구에서 암시화 과정을 단순화하는 조건으로 입증된 바 있다.

방법론
저자는 아이디얼의 Rees 대수와 그 대칭 대수 사이의 관계를 규명한 Herzog, Simis, Vasconcelos 가 개발한 근사 복합체 (approximation complex) $\mathcal{Z}$를 활용한다. 핵심 전략은 $\mathcal{Z}$의 한 가닥 (strand) 에 속하는 첫 번째 미분 $d_1$의 특정 행렬 표현의 행렬식으로부터 $X_U$의 암시 방정식을 복원할 수 있다는 사실에 기반한다. 다만, 해당 가닥이 특정 차수에서 정사각형이고 순환적 (acyclic) 이어야 한다.

방법론은 다음과 같이 진행된다:

1. 단일 등급 시조지: 논문은 $I_U$가 단일 등급 이차수인 최소 시조지 $S$를 갖는다고 가정한다. 구체적으로 $(0, n)$ (또는 대칭적으로 $(n, 0)$) 이며, 여기서 $n \ge 1$이다.
2. 관련 부분공간 $V$: 시조지 $S$로부터 저자는 $K$-벡터 부분공간 $V \subseteq U$를 구성한다. $S = \sum_{j=0}^n (\sum_{i=0}^3 a_{ij} p_i) u^{n-j}v^j$라면, $V$는 다항식 $f_j = \sum_{i=0}^3 a_{ij} p_i$들에 의해 생성된다.
3. 차원에 따른 사례 분석: 논문은 $V$의 차원 (2, 3, 또는 4 임이 증명됨) 에 따라 세 가지 구별된 사례를 분석한다:
   • 사례 $\dim V = 2$: $S$의 성분들이 정규 열 (regular sequence) 을 이룬다. 저자는 이러한 성분들이 생성하는 아이디얼의 Hilbert-Burch 구조를 이용하여 두 개의 추가 시조지 ($S_1, S_2$) 를 구성한다.
   • 사례 $\dim V = 3$: $S$의 성분들이 코차원 2 인 아르틴 아이디얼을 생성한다. 저자는 Hilbert-Burch 정리를 이용하여 이러한 성분들의 시조지 행렬을 기술하고, $I_U$의 나머지 생성자와 관련된 관계를 들어올려 (lifting) 두 개의 추가 시조지 ($S_2, S_3$) 를 구성한다.
   • 사례 $\dim V = 4$: 여기서 $V = U$이므로, $V$의 기저는 전체 아이디얼 $I_U$를 생성한다. $S$의 성분들은 더 복잡한 분해 (resolution) 를 갖는 아르틴 아이디얼을 생성한다. 저자는 Hilbert-Burch 행렬과 이에 연관된 시조지 행렬의 위계 (hierarchy) 를 사용하여 세 개의 추가 시조지 ($S_1, S_2, S_3$) 를 구성한다.
4. 행렬 구성: 각 사례에서 저자는 명시적으로 시조지 집합 $\{S, S_1, S_2, S_3\}$ (또는 그 부분집합) 을 구성하는데, 이는 이차수 $(2a-1, b-1)$에서 $2ab \times 2ab$ 크기의 정사각 행렬을 형성하기에 충분한 랭크를 갖는 자유 모듈을 span 한다.

주요 기여 및 결과
주요 기여는 선형 시조지 ($n=1$) 에 대한 Duarte 와 Schenck 의 이전 결과와, 2 차 시조지 ($n=2$) 에 대한 저자 자신의 이전 연구를, 차수 $n$의 단일 등급 시조지에 대한 일반 사례로 일반화한 것이다.

• 정리 4.4 ($\dim V = 2$): $I_U$가 이차수 $(0, n)$에서 최소 시조지 $S$를 가지며 $b \ge 2n-1$이고 $\dim V = 2$라면, $I_U$는 이차수 $(a, b-n)$에서 두 개의 추가 시조지 $S_1, S_2$를 허용하며, 이차수 $(2a-1, b-1)$에서 $\{S, S_1, S_2\}$가 span 하는 공간의 차원은 $2ab$이다.
• 정리 5.11 ($\dim V = 3$): $\dim V = 3$이라면, $S$의 성분들의 분해에서 유도된 매개변수 $\mu$를 포함하는 특정 이차수를 갖는 시조지 $S_1, S_2, S_3$가 존재하여, 목표 이차수에서 $\{S, S_1, S_2, S_3\}$의 span 차원은 $2ab$이다.
• 정리 6.8 ($\dim V = 4$): $\dim V = 4$라면, $S$의 성분들의 분해에서 유도된 매개변수 $\mu_1, \mu_2$에 의해 결정되는 이차수를 갖는 시조지 $S_1, S_2, S_3$가 존재하여, $\{S, S_1, S_2, S_3\}$의 span 차원은 $2ab$이다.

모든 경우에, 이러한 시조지들로 구성된 미분 $d_1$의 $2ab \times 2ab$ 행렬 표현의 행렬식은 $X_U$의 암시 방정식의 거듭제곱이다.

의의 및 주장
본 논문은 4 변수 환 $K[s, t, u, v]$에서 전체 시조지 모듈 $\text{syz}(I_U)$을 계산하는 것에 비해 텐서 곱 곡면의 암시 방정식을 찾는 더 효율적인 계산 방법을 제공한다고 주장한다.

• 효율성: 구성된 시조지들은 명시적이고 공식적이다. 이들은 2 변수 부분환 $K[u, v]$ (또는 $K[s, t]$) 내의 아이디얼 시조지에 의존하며, 4 변수에 대한 전체 모듈을 결정하는 것보다 계산적으로 훨씬 저렴하다.
• 일반성: 이 작업은 조건 $b \ge 2n-1$이 성립하는 한, $n=1$과 $n=2$의 사례를 임의의 $n$으로 통합하고 확장한다.
• 구현: 저자는 이러한 구성이 Macaulay2 와 같은 컴퓨터 대수 시스템에서 쉽게 구현될 수 있음을 지적한다. 계산 예시들은 더 큰 매개변수의 경우 이 방법이 전체 시조지 모듈을 계산하는 것보다 빠르다는 것을 시사한다.

논문은 기저점 (basepoints) 을 갖는 곡면으로의 이러한 방법의 확장, 최소 단일 등급 시조지의 유일성, 그리고 이러한 시조지가 곡면의 특이점 (singular locus) 에 미치는 기하학적 함의에 관한 열린 질문들을 제기하며 결론을 맺는다.