[논문 리뷰] Finite determinacy of matrices over local rings.II. Tangent modules to the miniversal deformations for group-actions involving the ring automorphisms

Genrich Belitskii, Dmitry Kerner|arXiv (Cornell University)|2016. 04. 21.

Advanced Topics in Algebra참고 문헌 20인용 수 8

한 줄 요약

이 논문은 국소환 위의 행렬에 대한 유한 결정성 기준을, 체계적 자동형사상(예: 좌표 변화)을 포함하는 군 작용에 대해 확장한다. 이는 이전의 $GL(m,R) \times GL(n,R)$-작용 결과를 일반화한 것으로, 최소변형의 접선 모듈 $T^1_{(\Sigma,G,A)}$를 분석하고, 그의 소멸자에 대한 경계를 도출함으로써 대칭 및 반대칭 행렬, 모듈, 형식에 대한 유한 결정성을 결정하는 명시적 지지 조건을 제공한다.

ABSTRACT

We consider matrices with entries in a local ring, Mat(m,n;R). Fix an action of group G on Mat(m,n;R), and a subset of allowed deformations, Σin Mat(m,n;R). The standard question (along the lines of Singularity Theory) is the finite-(Σ,G)-determinacy of matrices. In our previous work this determinacy question was reduced to the study of the tangent spaces to Σand to the orbit, T_{(Σ,A)}, T_{(GA,A)}, and their quotient: the tangent module to the miniversal deformation. In particular, the order of determinacy is controlled by the annihilator of this tangent module. Then we have studied this tangent module for the group action GL(m,R) imes GL(n,R) on Mat(m,n;R) and for various natural subgroups of it. These are R-linear group actions. In the current work we study this tangent module for group actions that involve the automorphisms of the ring, or, geometrically, group-actions that involve the local coordinate changes. (These actions are not R-linear.) We obtain various bounds on the support of this module. This gives ready-to-use criteria of determinacy for matrices, (embedded) modules and (skew-)symmetric forms.

연구 동기 및 목표

• 유한 결정성 이론을 선형 작용 외에 체계적 자동형사상(예: 국소 좌표 변화)을 포함하는 군 작용으로 확장한다.
• 특히 대칭 및 반대칭 행렬의 맥락에서, 이러한 작용에 대한 접선 모듈 $T^1_{(\Sigma,G,A)}$를 분석한다.
• 접선 모듈 $T^1_{(\Sigma,G,A)}$의 지지와 그 소멸자에 기반한 유한 결정성에 대한 명시적 기준을 유도한다.
• Maranda 유형 결과를 일반화하고, 비-$R$-선형 변환을 포함하는 작용에 대해 임계 차수의 충분성 조건을 확장한다.
• 특히 열화 위치에 대한 기하학적 및 대수적 조건(특히 열화 위치)을 제공하여, 좌표 변화가 존재하는 상황에서의 유한 결정성을 보장한다.

제안 방법

• 유한 $(\Sigma,G)$-결정성을 접선 모듈 $T^1_{(\Sigma,G,A)} = T_{(\Sigma,A)} / T_{(GA,A)}$의 연구로 환원한다.
• 소수 이상수에서의 국소화와 잔여체 위에서의 랭크 계산을 통해 $T^1_{(\Sigma,G,A)}$의 지지를 분석한다.
• 합동 작용 하에서 행렬의 분해를 이용하여 문제를 $I_j(A)$ 및 $\det(A)$와 같은 불변량으로 환원한다.
• 특이점 이론의 결과(예: 합동 궤도의 코드미너스)를 적용하여 $T_{(\mathcal{G}_{\text{congr}}A,A)}$의 랭크를 경계한다.
• 국소화 및 일반점 분석에 의존하여 $T^1_{(\Sigma,G,A)}$가 원점에서만 지지되는지 여부를 판단한다.
• $\mathfrak{m}^N \subseteq \operatorname{ann}(T^1_{(\Sigma,G,A)})$ 조건이 유한 결정성과 동치임을 활용한다.

실험 결과

연구 질문

• RQ1 행렬 $A \in Mat_{m\times n}(R)$이 체계적 자동형사상 작용을 포함하는 군 작용 하에서 언제 유한 결정성이 성립하는가?
• RQ2 좌표 변화가 존재하는 상황에서 접선 모듈 $T^1_{(\Sigma,G,A)}$의 지지가 유한 결정성에 어떻게 영향을 미치는가?
• RQ3 대칭 또는 반대칭 행렬에 대해, 유한 결정성을 보장하는 열화 위치 $V(I_j(A))$의 기하학적 조건은 무엇인가?
• RQ4 접선 공간에 $\operatorname{Der}_{\mathbb{k}}(R)$가 포함될 경우, $T^1_{(\Sigma,G,A)}$의 구조에 어떤 영향을 미치는가?
• RQ5 $T^1_{(\Sigma,G,A)}$가 원점에서만 지지될 때, 즉 유한 결정성이 성립할 조건은 무엇인가?

주요 결과

• 합동군 $\mathcal{G}_{\text{congr}} = GL(m,R) \rtimes \operatorname{Aut}_{\mathbb{k}}(R)$ 작용 하에서 대칭 행렬에 대해, $\operatorname{ann}(T^1_{(\Sigma,\mathcal{G}_{\text{congr}},A)}) = \{0\}$이면 유한 결정성이 성립하며, 이는 $\operatorname{rank}(\operatorname{Der}_{\mathbb{k}}(R)) < \lfloor m/2 \rfloor$일 때 성립한다.
• $T^1_{(\Sigma,\mathcal{G}_{\text{congr}},A)}$의 소멸자는 첫 번째 순서의 열화 위치 $\operatorname{Sing}_1(\det(A))$에 지지된다.
• 반대칭 행렬의 경우, $\operatorname{ann}(T^1_{(\Sigma,\mathcal{G}_{\text{congr}},A)})$는 $\operatorname{Sing}_1(I_{m-1}(A))$에 지지된다.
• 정규적, 노에테르, 헨젤링인 경우, $A \in Mat^{\text{sym}}_{m\times m}(R)$는 $\Sigma^{\text{sym}}$ 및 $\mathcal{G}_{\text{congr}}$ 작용 하에서 유한-$(\Sigma^{\text{sym}},\mathcal{G}_{\text{congr}})$-결정적이며, 이는 모든 $V(I_j(A))$가 기대되는 차원을 가지며, $V(I_j(A)) \setminus V(I_{j-1}(A))$가 매끄럽다는 것과 동치이다.
• 만약 $\operatorname{rank}(\operatorname{Der}_{\mathbb{k}}(R)) < \lfloor m/2 \rfloor$이면, 접선 모듈 $T^1_{(\Sigma,G,A)}$는 $\operatorname{Spec}(R)$에서 일반적으로 지지되며, 이는 $\operatorname{ann}(T^1_{(\Sigma,G,A)}) = \{0\}$을 의미한다.
• 유한 결정성의 기준은 $\mathfrak{m}^N \subseteq \operatorname{ann}(T^1_{(\Sigma,G,A)})$와 동치이며, 이는 $T^1_{(\Sigma,G,A)}$가 원점에서만 지지될 때 성립한다.