[논문 리뷰] Group actions on filtered modules and finite determinacy. Finding large submodules in the orbit by linearization

Genrich Belitskii, Dmitry Kerner|arXiv (Cornell University)|2012. 12. 31.

Rings, Modules, and Algebras인용 수 7

한 줄 요약

이 논문은 국소환 위의 필터링된 모듈러에 대한 군 작용의 유한 결정성에 대한 필요 및 충분 조건을 도출한다. 궤도의 접공간 $T_{(Gz,z)}$와 변형 공간 $Σ$ 간의 관계를 분석함으로써 이루어지며, 핵심 결과는 $M_j \subseteq T_{(G^{(1)}z,z)}$이면 궤도 $Gz$가 열린 이웃 $">z"+ M_j$를 포함함을 보여주며, 선형화와 아르틴형 근사에 의해 고전적인 유한 결정성 기준을 넓은 범위의 링, 모듈러, 군 작용으로 일반화한다.

ABSTRACT

Fix a module M over a local ring R and a group action G on M, not necessarily R-linear. To understand how large is the G-orbit of an element z\in M one looks for the large submodules of M lying in Gz. We provide the corresponding (necessary/sufficient) conditions in terms of the tangent space to the orbit, T_{(Gz,z)}. This question originates from the classical finite determinacy problem of Singularity Theory. Our treatment is rather general, in particular we extend the classical criteria of Mather (and many others) to a broad class of rings, modules and group actions. When a particular `deformation space' is prescribed, Σ\subseteq M, the determinacy question is translated into the properties of the tangent spaces, T_{(Gz,z)}, T_{(\Si,z)}, and in particular to the annihilator of their quotient.

연구 동기 및 목표

• 특이점 이론에서의 고전적인 유한 결정성 기준을 임의의 국소환, 필터링된 모듈러, 비선형 군 작용으로 일반화하기.
• 필터링 위상에서 원소 $z \in M$의 $G$-궤도가 열린 이웃 $\{z\} + M_j$를 포함하는 조건을 규명하기.
• 접공간 $T_{(Gz,z)}$와 그 변형 부분공간 $\Sigma \subseteq M$과의 상호작용을 바탕으로 $G$-유한 결정성에 대한 필요 및 충분 조건을 제공하기.
• 헤네시안 링과 상대 군 작용을 사용하여 변형의 가족 이론을 확장하여 일차 가속도 가족에 대해 궤도 포함성을 보장하기.

제안 방법

• 궤도 $Gz$의 점 $z$에서의 접공간 $T_{(Gz,z)}$를 궤도 크기를 판단하는 핵심 대상으로 분석한다.
• 군 작용의 선형화를 통해 문제를 정 stabilizer 군의 항등원에서의 접공간인 $T_{(G^{(1)}z,z)}$로 환원한다.
• 아르틴형 근사 정리를 적용하여 완비화된 링 $\widehat{R}$에서의 형식적 해를 $R$의 해로 올리며, 궤도가 $\{z\} + M_j$를 포함함을 보장한다.
• 필터링된 설정에서 나카야마의 보조정리를 사용하여 $M_j \subseteq T_{(G^{(1)}z,z)}$이면 $\{z\} + M_j \subseteq Gz$임을 증명한다.
• 일차 가속도 가족 $z(t) \in SM$을 고려하며, $S = \mathbb{k}[[t]]$ 또는 $S = \mathbb{k}\{t\}$로 놓고, $z(t) \in \{z\} + T_{(Gz,z)}$이면 상대 군 작용 $G_S \subset GL_S(SM)$을 통해 $z(t) \in Gz$임을 증명한다.
• 궤도의 완비화와 $\widehat{G}^{(1)}\hat{z}$의 구조를 이용하여 $T_{(\widehat{G}^{(1)}z,z)}$와 $\widehat{M}_j$ 간의 관계를 설정함으로써, 정리 4.6과 보조정리 3.19의 적용을 가능하게 한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 $z \in M$의 $G$-궤도가 필터링 위상에서 열린 이웃 $\{z\} + M_j$를 포함하는가?
• RQ2 변형 부분공간 $\Sigma \subseteq M$이 $G$-불변일 때, 접공간 데이터를 통해 $z$의 유한 결정성을 어떻게 특징지을 수 있는가?
• RQ3 몫공간 $T_{(\Sigma,z)} / T_{(Gz,z)}$의 소멸자(annihilator)는 유한 결정성을 판단하는 데 어떤 역할을 하는가?
• RQ4 점별로 $\{z\} + T_{(Gz,z)}$에 속하는 일차 가속도 가족 $z(t) \in SM$이 궤도 $Gz$의 원소로 올라갈 수 있는가?
• RQ5 $T_{(G^{(1)}z,z)} \subseteq T_{(M,z)} \approx M$ 조건을 유지하면서도 결론 $M_j \subseteq T_{(G^{(1)}z,z)}$를 보존할 수 있는 정도는 어느 정도인가?

주요 결과

• 만약 $M_j \subseteq T_{(G^{(1)}z,z)}$이면 $\{z\} + M_j \subseteq Gz$이며, 이는 궤도가 필터링 위상에서 $z$의 열린 이웃을 포함함을 의미한다.
• $M_j \subseteq T_{(G^{(1)}z,z)}$ 조건은 $z$가 $k$-결정임과 동시에 필요 및 충분 조건이며, 고전 기준을 일반화한다.
• 유니포텐트 군 작용과 헤네시안 링 $S$에 대해, $z(t) \in SM_j$ 이면서 $z(t) \in \{z\} + T_{(Gz,z)}$이면 $z(t) \in Gz$임을 보여, 일차 가속도 가족에 대해 궤도 포함성을 보장한다.
• 아르틴형 근사의 사용을 통해 $\widehat{R}$에서의 형식적 해를 $R$로 올릴 수 있으며, 이는 $\{z\} + M_j \subseteq G^{(1)}z$를 보장한다.
• 궤도의 완비화는 $\{z\} + \widehat{M}_j \subseteq \widehat{G}^{(1)}\hat{z}$를 만족하며, 이는 $\widehat{M}_j \subseteq \overline{T_{(\widehat{G}^{(1)}z,z)}}$를 의미하여 완비화와 접공간의 구조를 연결한다.
• 비록 $T_{(G^{(1)}z,z)} \cap M_\infty$가 부분모듈러(예: 자명한 경우)일지라도 $M_j \subseteq T_{(G^{(1)}z,z)}$를 보장하지 못함을 반례($R = \mathbb{k}[[x]]$, $M = R$)로 보여준다.