[논문 리뷰] On resurgence via asymptotic resurgence

Michael DiPasquale, Ben Drabkin|arXiv (Cornell University)|2020. 03. 16.

Commutative Algebra and Its Applications참고 문헌 28인용 수 6

한 줄 요약

이 논문은 Noetherian symbolic Rees 대수를 가진 이상에서 정수적 복귀가 성립하며, 단일 포함관계로부터 점점 더 큰 복귀에 대한 경계를 도출하여 기대되는 복귀에 대한 새로운 기준을 제시한다—여기서 복귀는 큰 높이보다 엄격히 작다. 핵심 기여는 복귀와 점점 더 큰 복귀가 다를 경우에 그 둘을 연결하는 최대 조건을 특성화하는 것이다.

ABSTRACT

The resurgence and asymptotic resurgence of an ideal in a polynomial ring are two statistics which measure the relationship between its regular and symbolic powers. We address two aspects of resurgence which can be studied via asymptotic resurgence. First, we show that if an ideal has Noetherian symbolic Rees algebra then its resurgence is rational. Second, we derive two bounds on asymptotic resurgence given a single known containment between a symbolic and regular power. From these bounds we recover and extend criteria for the resurgence of an ideal to be strictly less than its big height recently derived by Grifo, Huneke, and Mukundan. We achieve the reduction to asymptotic resurgence by showing that if the asymptotic resurgence and resurgence are different, then resurgence is a maximum instead of a supremum.

연구 동기 및 목표

• Noetherian symbolic Rees 대수를 가진 이상의 복귀가 반드시 유리수인지 여쭤본다.
• 이상의 복귀가 그 큰 높이보다 엄격히 작을 조건을 조사한다 (기대되는 복귀).
• 기본적으로 알려진 포함관계 $I^{(s)} \not\bigsubset I^r$ 에 기반해 점점 더 큰 복귀에 대한 경계를 개발한다.
• 특히 복귀와 점점 더 큰 복귀가 다를 경우에 그 둘 사이의 관계를 명확히 한다.
• Grifo, Huneke, 그리고 Mukundan의 최근 기준을 점점 더 큰 복귀를 통해 확장하고 일반화한다.

제안 방법

• DiPasquale 등 [12]의 적분 폐쇄를 통한 점점 더 큰 복귀의 특성화를 사용하여 포함관계 성질을 분석한다.
• Proposition 2.2를 도입하여, 복귀와 점점 더 큰 복귀가 다를 경우 복귀가 상한이 아니라 최대값임을 증명한다.
• Johnson의 정밀화된 균일 포함 정리를 적용하여, 단일 포함관계 $I^{(s)} \not\bigsubset I^r$ 에 기반해 점점 더 큰 복귀에 대한 두 개의 상한을 도출한다.
• 기본적으로 상징적 Rees 대수가 Noetherian이면 점점 더 큰 복귀가 유리수이며, 이는 최대 조건을 통해 복귀의 유리수성을 이끌어낸다.
• 기본적으로 $b(I)$, 즉 최소 감소에서 $I$ 의 생성자 수의 최댓값을 사용해 점점 더 큰 복귀를 경계함으로써 두 개의 새로운 기준을 도출한다.
• 이 경계를 적용하여, 제곱 자유 단항 이상이 기대되는 복귀를 만족함을 보였다.

실험 결과

연구 질문

• RQ1 Noetherian 상징적 Rees 대수를 가진 이상의 복귀가 반드시 유리수일까?
• RQ2 단일 포함관계 $I^{(s)} \not\bigsubset I^r$ 가 점점 더 큰 복귀에 대한 경계를 이끌 수 있는 조건은 무엇인가?
• RQ3 이상의 복귀가 점점 더 큰 복귀를 엄격히 초월할 때, 어떤 구조적 결과가 따라오는가?
• RQ4 점점 더 큰 복귀를 사용하여 기대되는 복귀, 즉 $ ho(I) < h$ 를 위한 새로운 기준을 도출할 수 있는가?
• RQ5 Chudnovsky 유형 부등식과 상징적 거듭제곱의 포함 패tern이 점점 더 큰 복귀와 얼마나 연결될 수 있는가?

주요 결과

• 이상의 상징적 Rees 대수가 Noetherian이면, 그 복귀는 유리수이다.
• $\rho(I) < \rho^{\rm{asy}}(I)$ 일 때, 복귀 $\rho(I)$ 는 유한한 비율 $s/r$ 의 최대값이 되며, 단지 상한이 아니게 된다.
• 점점 더 큰 복귀에 대한 두 개의 상한이 도출된다: $\frac{\rho(I)}{1 + b(I)/2} \to \rho(I)$ as $r \to \infty$, 그리고 $\frac{\rho(I) + h}{r}(1 + b(I)/2)$, 여기서 $b(I)$ 는 최소 감소에서 생성자 수의 최댓값이다.
• 경계 $\rho(I) \neq \rho^{\rm{asy}}(I)$ 는 $\rho(I)$ 가 유한한 비율에서 도달됨을 의미하며, 이는 유리수 결과를 가능하게 한다.
• 기대되는 복귀를 위한 기준은 Grifo, Huneke, Mukundan의 기준을 회복하고 확장하며, 새로운 경계는 단일 포함관계에만 의존한다.
• 제곱 자유 단항 이상은 유도된 점점 더 큰 복귀 경계를 통해 기대되는 복귀를 만족한다.