[논문 리뷰] $F$-Invariants of Stanley-Reisner Rings

Wágner Badilla-Céspedes|arXiv (Cornell University)|2020. 03. 30.

Advanced Topics in Algebra참고 문헌 31인용 수 5

한 줄 요약

이 논문은 정의 아이디얼이 근기이거나 단항식일 경우, 스탠리-라이스너 링에서 아이디얼의 카르티에 임계값과 F-임계값이 유리수라는 것을 증명한다. 국소화, 완비화, 그리고 카르티에 코어를 통한 정규 몫으로의 환원을 이용하여, 그라디에이션 성분과 a-불변량을 분석함으로써 유리성과 증명하며, 이는 F-순수 임계값과 프로베누스 거듭제곱 설정에서 캐스텔누오보-무디 포지티브 정규성의 응용을 포함한다.

ABSTRACT

In prime characteristic there are important invariants that allow us to measure singularities. For certain cases, it is known that they are rational numbers. In this article, we show this property for Stanley-Reisner rings in several cases.

연구 동기 및 목표

• 스탠리-라이스너 링, 즉 미약한 특이성을 가진 조합적 교환환의 클래스에서 F-임계값과 카르티에 임계값의 유리성을 확립하는 것.
• 정규 링에서 알려진 F-순수 임계값의 유리성 결과를 더 일반적인 스탠리-라이스너 링 설정으로 확장하는 것.
• a-불변량을 사용하여 프로베누스 거듭제곱의 아이디얼에 대한 캐스텔누오보-무디 포지티브 정규성의 渐近적 행동을 분석하는 것.
• 스탠리-라이스너 링에서 reg(R/J[pe])/pe의 극한에 대한 공식을 제시하여 이것이 정수임을 보이는 것.
• 국소화와 카르티에 코어에 의한 몫을 통해 카르티에 임계값의 계산을 단항식 아이디얼의 경우로 환원하는 것.

제안 방법

• 국소화와 완비화를 사용하여 ctJ(a)의 계산을 정규 설정으로 환원하는 것.
• 카르티에 코어 구성법을 적용하여 특이성을 제거하고, 임계값을 계산하기 쉬운 정규 링으로 환원하는 것.
• q = p^e일 때 R^{1/q} ≅ ⊕_{α∈A} S/J_α (x^α)^{1/q}의 동형을 활용하여 프로베누스 거듭제곱을 분석하는 것.
• F-임계값의 정의인 lim_{e→∞} ν_J^a(p^e)/p^e를 사용함. 여기서 ν_J^a(p^e) = max{m | a^m ⊄ J^{[p^e]}}.
• 국소 코hom로 a-불변량을 통해 R/J^{[p^e]}의 정규성을 표현: reg(M) = max_i {a_i(M) + i}.
• R^{1/p^e}의 분해에서 등장하는 단항식의 지지와 차수를 분석하여 lim_{e→∞} reg(R/J^{[p^e]})/p^e의 극한을 계산하는 것.

실험 결과

연구 질문

• RQ1 정의 아이디얼이 단항식이고, 임계값이 근기 아이디얼에 대해 취해질 경우, 스탠리-라이스너 링에서 F-임계값이 유리수인가?
• RQ2 스탠리-라이스너 링에서 근기 아이디얼에 대해 어떤 아이디얼 a의 카르티에 임계값이 유리수인가?
• RQ3 R/J^{[p^e]}의 정규화된 캐스텔누오보-무디 포지티브 정규성의 극한은 단항식 성분에 대한 유한한 최댓값으로 표현될 수 있는가?
• RQ4 정규 링에서 F-임계값의 유리성이 정규 몫으로의 환원을 통해 스탠리-라이스너 링으로 확장되는가?
• RQ5 스탠리-라이스너 링에서 lim_{e→∞} reg(R/J^{[p^e]})/p^e의 정확한 공식은 무엇인가?

주요 결과

• J가 근기 아이디얼이고 a ⊆ J일 경우, 스탠리-라이스너 링 R의 임의의 아이디얼 a, J에 대해 카르티에 임계값 ct_J(a)는 유리수이다.
• a ⊆ √J 이고 J가 스탠리-라이스너 링에서 단항식 아이디얼일 경우, F-임계값 c_J(a)는 유리수이다.
• lim_{e→∞} reg(R/J^{[p^e]})/p^e의 극한은 존재하며, max_{1≤i≤d, α∈A'} {a_i(S/(J_α + J)) + |α|} 와 같으며, 이는 정수이다.
• 카르티에 임계값 ct_J(a)는 국소화와 완비화에 대해 보존되며, 국소 사례로의 환원이 가능하다.
• 적절한 스탠리-라이스너 링의 완비화에서 단항식 소 아이디얼 q에 대해 ct_q(a) = c_q(a)이며, 이 둘 모두 유리수이다.
• 특히, R이 F-순수이고 국소일 경우 fpt(a) = c_m(a) 이므로, 스탠리-라이스너 링의 임의의 아이디얼 a에 대해 F-순수 임계값 fpt(a)는 유리수이다.