[논문 리뷰] Regularity of quotients by an automorphism of order $p$

Stefan Wewers|arXiv (Cornell University)|2010. 01. 05.

Finite Group Theory Research참고 문헌 8인용 수 3

한 줄 요약

이 논문은 정규 국소환 $ B $ 와 순서 $ p $ 의 순환군 $ G $ 가 $ B $ 에 작용할 때, $ A = B^G $ 의 정규성을 보장하는 충분조건을 확립한다. 여기서 $ p $ 는 $ B $ 의 잔여체의 특성과 같다. 주요 결과는 $ \mathfrak{m} \setminus \mathfrak{m}^2 $ 에 속하는 정규 매개변수 $ \pi $ 가 존재하고, $ G $-불변 이상수 $ \mathcal{I}_\sigma = (\pi^\delta) $ 를 만족하며, $ \mathcal{I}_\sigma = (\sigma(\pi) - \pi) $ 이거나 $ \sigma(\pi) - \pi \in (\pi^{\delta+1}) $ 라면, $ A $ 는 정규임을 보여주며, 이는 야생 몫 특이점이 정규임을 판단하는 기준을 제공한다.

ABSTRACT

Let $B$ be a regular local ring and $G\subset\Aut(B)$ a finite group of local automorphisms. Assume that $G$ is cyclic of prime order $p$, where $p$ is equal to the residue characteristic of $B$. We give conditions under which the ring of invariants $A=B^G$ is again regular.

연구 동기 및 목표

• G 가 순서 $ p $ 의 순환군이고, $ B $ 의 잔여체 특성이 $ p $ 와 일치할 때, 불변환 $ A = B^G $ 가 정규가 되는 조건을 규명하는 것.
• G 가 정규 국소환 $ B $ 에 작용할 때, 야생 경우의 몫 스킴 $ X/G $ 의 정규성을 판단하는 기준을 제공하는 것. 이는 기존의 온화한 경우에 알려진 결과를 확장한다.
• 기존의 야생 몫 특이점에 대한 조합론적 연구를 보완하여, 차원 2 이상에 적용 가능한 코homological 및 이상수 이론 기반 기준을 제시하는 것.
• 정규 국소환을 야생 $ p $-군 작용으로 몫을 취했을 때도 여전히 정규임을 보장하는 충분조건을, 극대 이상수와 그 승수에 대한 작용 성질을 이용하여 수립하는 것.

제안 방법

• 핵심은 $ B $ 에서의 군 작용의 비자명성을 측정하는 $ G $-불변 이상수 $ \mathcal{I}_\sigma = \langle \sigma(x) - x \mid x \in B \rangle_B $ 의 분석에 있다.
• 특정 정규 매개변수 $ \pi \in \mathfrak{m} \setminus \mathfrak{m}^2 $ 가 존재하여 $ \mathcal{I}_\sigma = (\pi^\delta) $ 를 만족함을 이용하여, 이상수의 구조를 군 작용의 차수와 고정점과 연결한다.
• 거듭제곱 급수환에서의 귀납적 업그레이드 과정을 통해 $ u \in B^\times $ 인 $ \lambda = u\pi $ 와 같은 $ G $-불변 원소를 구성하고, $ \sigma(\lambda) - \lambda $ 의 값매기기 조건을 만족시킨다.
• 특정 $ \theta_\pi $ 사상(작용에 의해 정의됨)을 활용하여 문제를 $ \pi $ 모odulo에서의 선형방정식으로 환원하며, 잔여체에서의 $ \theta_\pi $ 의 전성에 기반한다.
• $ \bar{A} = A/A\lambda $ 가 $ \bar{B} \cap \bar{K} $ 와 같음을 보이고, 이를 통해 $ \bar{A} $ 가 정규임을 증명하며, 이는 $ A $ 가 정규임을 의미한다.
• $ \theta_\pi $ 가 $ \bar{B} $ 에서 전성임은 $ p $-진체의 정수환에서의 특정 업그레이드 존재성에서 유도되며, 이를 바탕으로 보조정리 2.2를 적용하여 필요한 방정식을 해결한다.

실험 결과

연구 질문

• RQ1 G 가 순서 $ p $ 의 순환군이고, $ B $ 의 잔여체 특성이 $ p $ 와 일치할 때, 불변환 $ A = B^G $ 가 정규가 되는 조건은 무엇인가?
• RQ2 군의 차수가 잔여체에서 가역적이지 않을 때, 즉 야생 경우에서 몫 스킴 $ X/G $ 의 정규성을 보장하는 충분조건을 제시할 수 있는가?
• RQ3 특히 $ \mathcal{I}_\sigma $ 가 정규 매개변수의 거듭제곱일 경우, $ G $-불변 이상수 $ \mathcal{I}_\sigma $ 의 구조는 불변환 $ A = B^G $ 의 정규성과 어떻게 관련되는가?
• RQ4 $ \sigma $ 가 정규 매개변수 $ \pi $ 에 작용할 때, $ \sigma(\pi) - \pi \in (\pi^{\delta+1}) $ 라면, 이는 $ A $ 가 정규임을 결정하는 데 어떤 역할을 하는가?
• RQ5 특히 코 tangent 공간에서 자명한 자기동형사상이 유도되는 경우에도, $ A $ 의 정규성을 보장하는 코homological 또는 이상수 이론 기반 기준이 존재하는가?

주요 결과

• 정규 매개변수 $ \pi \in \mathfrak{m} \setminus \mathfrak{m}^2 $ 가 존재하고 $ \mathcal{I}_\sigma = (\pi^\delta) $ 를 만족한다면, $ G $-불변 이상수는 $ \pi $ 의 거듭제곱으로 생성되며, 이는 군 작용과 $ B $ 의 국소 구조를 연결한다.
• $ \mathcal{I}_\sigma = (\sigma(\pi) - \pi) $ 이거나 $ \sigma(\pi) - \pi \in (\pi^{\delta+1}) $ 라면, 작용이 충분히 제어되어 있어 불변환 $ A $ 가 정규임을 보장한다.
• $ u \in B^\times $ 인 $ G $-불변 원소 $ \lambda = u\pi $ 가 존재하면 잔여체로의 환원이 가능해져, $ \bar{B} = B/B\pi $ 에서 코homological 기법을 적용할 수 있다.
• $ \bar{A} = A/A\lambda $ 가 $ \bar{B} \cap \bar{K} $ 와 같음을 보였으며, 이는 $ \bar{A} $ 와 따라서 $ A $ 의 정규성을 증명하는 데 핵심 단계이다.
• $ \bar{A} $ 의 정규성은 $ \theta_\pi $ 가 잔여체에서 전성임에 기반하며, 이는 $ p $-진체의 정수환에서의 업그레이드 기법을 통해 확립된다.
• 최종적으로, 제시된 조건 하에서 $ A = B^G $ 는 정규임을 보였으며, 이는 양의 특성에서 야생 몫 특이점이 정규임을 판단하는 새로운 기준을 제공한다.