[논문 리뷰] Decomposability of local determinantal representations of hypersurfaces

Dmitry Kerner, Victor Vinnikov|arXiv (Cornell University)|2010. 09. 13.

Commutative Algebra and Its Applications참고 문헌 31인용 수 3

한 줄 요약

이 논문은 특이점의 국소 행렬식 표현의 분해 가능성에 대한 必要 및 충분 조건을 확립하며, 특히 행렬식이 기약가능한 경우에 초점을 맞춘다. 기하학 및 교환대수학에서 흔히 나타나는 최대 생성 및 포화된 행렬식 행렬이 강력한 분해 조건을 만족하며, 동치 관계 하에서 블록 상삼각 또는 블록 대각형 정규형을 갖는다.

ABSTRACT

Let M be a matrix whose entries are power series in several variables and determinant det(M) does not vanish identically. The equation det(M)=0 defines a hypersurface singularity and the (co)-kernel of M is a maximally Cohen-Macaulay module over the local ring of this singularity. Suppose the determinant det(M) is reducible, i.e. the hypersurface is locally reducible. A natural question is whether the matrix is equivalent to a block-diagonal or at least to an upper-block-triangular. (Or whether the corresponding module is decomposable or at least is an extension.) We give various necessary and sufficient criteria. Two classes of such matrices of functions appear naturally in the study of decomposability: those with many generators (e.g. maximally generated or Ulrich maximal) and those that descend from birational modifications of the hypersurface by pushforwards (i.e. correspond to modules over bigger rings). Their properties are studied.

연구 동기 및 목표

• 행렬식이 기약가능한 경우에 국소 행렬식 표현이 분해 가능하거나 모듈의 확장인지 판단하는 조건을 규명하는 것.
• 특이점의 비특이적 변형을 통해 유도된 최대 생성 또는 기인한 행렬식 행렬의 구조를 분석하는 것.
• 특히 평면곡선의 경우에 국한하여, 국소 동치 관계 하에서 이러한 행렬의 명시적 정규형을 제공하는 것.
• 대수적 및 기하적 불변량을 바탕으로 행렬이 블록 대각형 또는 상부-블록삼각형 형태와 동치가 되는 조건을 설정하는 것.
• 특이점의 변형 맥락에서 수반 행렬의 성질과 상대 이상 조건을 연결하여 분해 가능성과 연관짓는 것.

제안 방법

• 행렬식의 역행렬 변환에 의한 국소 동치 관계 $\mathcal{M} \sim A\mathcal{M}B$ 를 사용하여 행렬을 분류하는 것, 여기서 $A,B \in GL(d, \mathcal{O}_{(k^n,0)})$.
• 수반 행렬 $\mathcal{M}^\vee$ 를 적용하여 행렬의 구조와 분해 가능성 분석을 수행하는 것, 이는 $\mathcal{M} \mathcal{M}^\vee = \det(\mathcal{M}) \cdot \mathbf{1}$ 를 만족한다.
• 최대 생성 행렬식 표현의 개념을 도입하여, $\operatorname{corank}(\mathcal{M}|_0) = \operatorname{mult}(X,0)$ 를 만족함으로써 강력한 기준이 적용 가능한 특수한 클래스를 식별하는 것.
• 비특이적 변형 $\nu: (X',0) \to (X,0)$ 에 따른 푸시포워드로부터 유도된 포화된 행렬식 표현을 연구하여, 분해 가능성과 역상 모듈의 구조를 연결하는 것.
• 열 및 행 연산(예: 상삼각 행렬에 의한 코너지션)을 사용하여 요소들을 $x_2$-차수와 차수 제약 조건을 갖는 정규형으로 감소시키는 것.
• 특히 탄성 분해의 맥락에서, 상대 수반 이상 조건 $\operatorname{Adj}_{(X',0)/(X,0)}$ 를 적용하여 분해 가능성의 특성을 기술하는 것.

실험 결과

연구 질문

• RQ1 기약가능한 특이점의 국소 행렬식 표현이 블록 대각형 행렬과 동치가 되는 조건은 무엇인가?
• RQ2 어떤 조건에서 행렬식 행렬이 상부-블록삼각형 형태와 동치가 되며, 이는 모듈의 확장과 대응하는가?
• RQ3 최대 생성 또는 포화된 행렬식 표현은 분해 가능성 기준에 따라 어떻게 행동하는가?
• RQ4 상대 수반 이상은 어떤 역할을 하여, 행렬이 비특이적 변형으로부터 유도되고 분해 가능한지 판단하는가?
• RQ5 다중 접선을 가진 평면곡선의 최대 생성 행렬식 표현에 대해 어떤 명시적 정규형을 달성할 수 있는가?

주요 결과

• 행렬식 표현이 완전히 분해 가능할 조건은 상대 수반 이상 $\operatorname{Adj}_{(X',0)/(X,0)}$ 가 $\det(\mathcal{M})$ 의 기약성분 $f_i$ 들에 의해 생성될 때이다.
• 평면곡선의 최대 생성 행렬식 표현의 경우, 행렬은 대각성분이 $f_i$ 인 상삼각형 형태와 동치이며, 비대각성분은 차수 및 차수 제약 조건을 만족한다.
• 비대각성분 $\mathcal{M}_{i,i+1}$ 의 $x_2$-차수가 $\min(l_i, l_{i+1})$ 이상일 경우, 기본 행/열 연산을 통해 제거할 수 있다.
• 남아 있는 비영인 비대각성분은 적절한 대각형 행렬 $U$ 에 의한 코너지션을 통해 $x^{n_i}$ 형태로 정규화할 수 있으며, 이때 $n_i < \min(l_i, l_{i+1})$ 이다.
• 곡선 $\{y(y^2 - x^{2l+1}) = 0\}$ 에 대해, 모든 최대 생성 행렬식 표현은 $H^0(\mathcal{O}_{\mathbb{P}^1}(m-2)) \times H^0(\mathcal{O}_{\mathbb{P}^1}(2l-m))/\sim$ 에 의해 매개변수화된 행렬과 동치이며, 이는 표현의 모듈리 공간을 보여준다.
• 이러한 표현의 공간은 유한차원이며, 주어진 차수의 동차다항식에 의해 매개변수화되며, 스케일링에 대해 모듈로 하며, 행렬의 요소에 대한 명시적 차수 상한선이 존재한다.