[논문 리뷰] Rees algebras and $p_g$-ideals in a two-dimensional normal local domain

Tomohiro Okuma, Kei-ichi Watanabe외 1명|arXiv (Cornell University)|2015. 11. 03.

Commutative Algebra and Its Applications참고 문헌 11인용 수 15

한 줄 요약

이 논문은 대수적으로 닫힌 체 위의 이차원 정규 국소 도메인에서 $p_g$-이디얼의 링 이론적 특성화를 제시한다. $\mathcal{R}(I)$가 코hen-Macaulay 정규 도메인임을 증명함으로써, 이러한 이디얼을 그들의 Rees 대수와 정규 Hilbert 계수를 통해 식별하는 핵심 대수적 기준을 제공한다.

ABSTRACT

The authors introduced the notion of $p_g$-ideals for two-dimensional excellent normal local domain over an algebraicaly closed field in terms of resolution of singularities. In this note, we give several ring-theoretic characterization of $p_g$-ideals. For instance, an $m$-primary ideal $I \subset A$ is a $p_g$-ideal if and only if the Rees alegbra $\mathcal{R}(I)$ is a Cohen-Macaulay normal domain.

연구 동기 및 목표

• 이차원 정규 국소 도메인에서 $p_g$-이디얼의 링 이론적 특성화를 제공한다.
• 해석적 특성화를 넘어서 순수 대수적 조건으로 $p_g$-이디얼 이론을 확장한다.
• Rees 대수와 정규 Hilbert 계수를 사용하여 $p_g$-이디얼에 대한 동치 조건을 수립한다.
• 유리 특이점에 대한 알려진 결과를 정수 기하학적 종수를 가진 임의의 정규 국소 도메인으로 일반화한다.

제안 방법

• 특이점의 해소와 반-비음성 사이클을 사용하여 $h^1(\mathcal{O}_X(-Z)) = p_g(A)$ 조건을 통해 $p_g$-이디얼을 정의한다.
• 특히 $\overline{e}_2(I)$를 포함한 정규 Hilbert 계수 이론을 적용하여 $p_g$-이디얼을 특성화한다.
• 모든 $n \geq 1$에 대해 $I^2 = QI$ 및 $\overline{I^n} = I^n$ 조건을 만족할 때 $I$가 $p_g$-이디얼임을 증명한다.
• 공동 감소와 이중부정 Rees 대수를 사용하여 결과를 다수의 이디얼로 확장한다.
• Cohen-Macaulay성과 $\mathcal{R}(I)$의 정규성은 정수적으로 닫힌 이디얼과 제2 정규 Hilbert 계수의 영함을 암시하므로 이를 활용한다.
• 준-동차 초곡면을 사용한 구체적 예제를 구성하여 주어진 기하학적 종수를 갖는 $p_g$-이디얼을 실현한다.

실험 결과

연구 질문

• RQ1 이차원 정규 국소 도메인에서 $\mathfrak{m}$-주기적 이디얼 $I$가 언제 $p_g$-이디얼인가?
• RQ2 Rees 대수 $\mathcal{R}(I)$에 대한 어떤 대수적 조건이 $I$가 $p_g$-이디얼임을 암시하는가?
• RQ3 제2 정규 Hilbert 계수 $\overline{e}_2(I)$의 영함은 $p_g$-이디얼 성질과 어떻게 관련되는가?
• RQ4 두 $p_g$-이디얼 $I,J$에 대해 이중부정 Rees 대수 $\mathcal{R}(I,J)$가 언제 코hen-Macaulay인가?
• RQ5 기하학적 종수가 주어진 초곡면 특이점에서 $p_g$-이디얼을 명시적으로 구성할 수 있는가?

주요 결과

• $\mathfrak{m}$-주기적 이디얼 $I$는 그 Rees 대수 $\mathcal{R}(I)$가 코hen-Macaulay 정규 도메인일 때이고, 그 때에만 $p_g$-이디얼이다.
• $I^2 = QI$ (최소 감소 $Q$에 대해) 및 모든 $n \geq 1$에 대해 $\overline{I^n} = I^n$ 조건은 $p_g$-이디얼을 특성화한다.
• $\overline{e}_2(I) = 0$이 성립하는 것은 $I$가 $p_g$-이디얼임과 동치이다.
• 모든 $p_g$-이디얼 $I$와 $J$에 대해 일반 원소 $a \in I$, $b \in J$가 존재하여 $IJ = aJ + bI$를 만족하며, 이는 이중부정 Rees 대수 $\mathcal{R}(I,J)$가 코hen-Macaulay임을 보장한다.
• 확장된 Rees 대수 $\mathcal{R}'(I)$가 정규 도메인임은 $I$가 $p_g$-이디얼임과 동치이며, $p_g(A) = p$인 구체적 예제에서 이를 보였다.
• 모든 $p \geq 1$에 대해 $p_g(A) = p$인 초곡면의 예를 구성하였으며, 이 경우 $\mathfrak{m}$이 $p_g$-이디얼임은 Rees 대수가 코hen-Macaulay임과 동치이며, 이러한 이디얼은 모든 $p \geq 1$에 대해 존재한다.