[논문 리뷰] Dynamics and entropy in local algebra

Mahdi Majidi-Zolbanin, Nikita Miasnikov외 1명|arXiv (Cornell University)|2011. 09. 29.

Mathematical Dynamics and Fractals참고 문헌 11인용 수 3

한 줄 요약

이 논문은 Noetherian 국소환의 유한 길이 자기사상에 대해 대수적 엔트로피를 도입하며, 위상수학적 엔트로피와 유사한 성질을 확립한다. 특성에 의존하지 않는 Hilbert-Kunz 계수의 해석을 제공하고, 지도의 인덱스 수열이 유계이면 대수적 엔트로피가 0이 되며, 이는 링의 차원과 아이디얼의 성장과 연결된다.

ABSTRACT

We introduce and study a notion of algebraic entropy for self-maps of finite length of Noetherian local rings, and develop its properties. We show that it shares the standard properties of topological entropy. For finite self-maps we explore the connection between the degree of the map and its algebraic entropy, when the ring is a Cohen-Macaulay domain. As an application of algebraic entropy, we give a characteristic-free interpretation of the definition of Hilbert-Kunz multiplicity.

연구 동기 및 목표

• Noetherian 국소환의 유한 길이 자기사상에 대해 대수적 엔트로피를 정의하고 연구하는 것.
• 위상수학적 엔트로피와 유사한 성질(예: 반복에 따른 스케일링 및 동형사상에 대한 불변성)을 대수적 엔트로피에 확립하는 것.
• 대수적 엔트로피를 사용하여 Hilbert-Kunz 계수에 대해 특성에 의존하지 않는 해석을 제공하는 것.
• Cohen-Macaulay 도메인에서 유한 자기사상의 차수와 대수적 엔트로피 사이의 관계를 탐색하는 것.
• 반복에 따른 아이디얼 성장에 기반하여 대수적 엔트로피의 상한 및 하한을 유도하는 것.

제안 방법

• 반복된 사상에 의해 최대 이상수의 거듭제곱으로 나눈 링의 길이의 로그 성장률로 대수적 엔트로피를 정의한다.
• $ v(\varphi^n) $ 및 $ w(\varphi^n) $의 개념을 사용하여, $ \varphi^n(\mathfrak{m})^k \subseteq \mathfrak{m} $ 이 되는 최소 및 최대 정수 $ k \geq v(\varphi^n) $ 및 $ \mathfrak{m}^{w(\varphi^n)} \subseteq \varphi^n(\mathfrak{m}) $ 를 나타낸다.
• Hilbert-Samuel 다항식을 적용하여 $ \ell_R(R/\mathfrak{m}^{v(\varphi^n)}) $ 및 $ \ell_R(R/\mathfrak{m}^{w(\varphi^n)}) $ 의 길이를 추정하고, 링의 차원 $ d $ 에 따라 다항식의 차수 $ d $ 로 성장함을 보인다.
• 대수적 엔트로피에 대한 상한 및 하한을 로그 성장률 $ v_h(\varphi) $ 및 $ w_h(\varphi) $ 를 통해 확립하여 $ 0 \leq d \cdot v_h(\varphi) \leq h_{\mathrm{alg}}(\varphi,R) \leq d \cdot w_h(\varphi) < \infty $ 를 이끌어낸다.
• 만약 $ w(\varphi^n) $ 이 유계이면 $ h_{\mathrm{alg}}(\varphi,R) = 0 $ 임을 보이며, 이는 $ c' $ 이 유계일 경우 $ \ell_R(R/\mathfrak{m}^{c'}) $ 가 유한함을 이용한다.
• 최소 소수 이상수의 구조와 몫에 대한 유도된 사상의 성질을 사용하여, 링의 엔트로피가 최소 소수 이상수에 대한 몫의 엔트로피 중 최댓값과 같음을 보인다.

실험 결과

연구 질문

• RQ1 Noetherian 국소환의 유한 길이 자기사상에 대해 대수적 엔트로피는 어떻게 정의할 수 있는가?
• RQ2 대수적 엔트로피는 반복에 따른 스케일링 및 동형사상에 대한 불변성과 같은 위상수학적 엔트로피와 유사한 성질을 만족하는가?
• RQ3 대수적 엔트로피를 통해 Hilbert-Kunz 계수에 대해 특성에 의존하지 않는 해석을 제공할 수 있는가?
• RQ4 Cohen-Macaulay 도메인에서 대수적 엔트로피와 유한 자기사상의 차수 사이의 관계는 무엇인가?
• RQ5 반복에 따른 아이디얼 성장에 기반하여 대수적 엔트로피의 상한 및 하한은 무엇인가?

주요 결과

• 대수적 엔트로피는 스케일링 성질을 만족한다: 모든 $ k \in \mathbb{N} $ 에 대해 $ h_{\mathrm{alg}}(\varphi^k, R) = k \cdot h_{\mathrm{alg}}(\varphi, R) $ 이다.
• 만약 $ \mathfrak{a} $ 가 $ \varphi $-불변 이상수이면, $ h_{\mathrm{alg}}(\overline{\varphi}, R/\mathfrak{a}) \leq h_{\mathrm{alg}}(\varphi, R) $ 를 만족하며, 이는 위상수학적 엔트로피의 불변 부분공간과 유사하다.
• 대수적 엔트로피는 링의 동형사상에 대해 불변이다: $ h_{\mathrm{alg}}(f \circ \varphi \circ f^{-1}, R') = h_{\mathrm{alg}}(\varphi, R) $.
• 모든 최소 소수 이상수가 $ \varphi $-불변이면, 링의 엔트로피는 최소 소수 이상수에 대한 몫의 엔트로피 중 최댓값과 같다: $ h_{\mathrm{alg}}(\varphi, R) = \max_i h_{\mathrm{alg}}(\overline{\varphi}_i, R/\mathfrak{p}_i) $.
• 만약 $ w(\varphi^n) $ 이 유계이면 $ h_{\mathrm{alg}}(\varphi, R) = 0 $ 이며, 일반적으로 $ 0 \leq d \cdot v_h(\varphi) \leq h_{\mathrm{alg}}(\varphi, R) \leq d \cdot w_h(\varphi) < \infty $ 이다. 여기서 $ d $ 는 $ R $ 의 차원이다.
• 양의 특성에서 프로베니우스 준동형사상의 대수적 엔트로피는 $ d \cdot \log p $ 이며, 그 위상수학적 엔트로피는 0 이다. 이는 두 개념 간의 핵심적 차이를 보여준다.