[논문 리뷰] A formula for the conductor of a semimodule of a numerical semigroup with two generators

Patricio Almirón, Julio José Moyano‐Fernández|arXiv (Cornell University)|2020. 07. 20.

Commutative Algebra and Its Applications참고 문헌 8인용 수 4

한 줄 요약

이 논문은 두 생성자를 가진 수치적 반군 위의 반모듈러에 대한 도전자(conductor)에 대한 폐형 공식을 제시한다. 이 공식은 싸이지지 모듈러의 최대 생성자와 반군의 생성자들로 표현하며, 핵심 결과는 반모듈러의 도전자가 싸이지지 최대 생성자에서 α와 β를 빼고 1을 더한 값과 같다는 것이다. 또한 반군과 반모듈러의 도전자 간의 차이는 반군 자체에 속해 있다. 이 공식은 또한 반모듈러의 쌍대 반모듈러의 최소 생성자들로 재표현된다.

ABSTRACT

We provide an expression for the conductor $c(\Delta)$ of a semimodule $\Delta$ of a numerical semigroup $\Gamma$ with two generators in terms of the syzygy module of $\Delta$ and the generators of the semigroup. In particular, we deduce that the difference between the conductor of the semimodule and the conductor of the semigroup is an element of $\Gamma$, as well as a formula for $c(\Delta)$ in terms of the dual semimodule of $\Delta$.

연구 동기 및 목표

• Γ가 두 개의 생성자를 가질 때 Γ-반모듈러의 도전자에 대한 폐형 표현을 유도하는 것.
• 반모듈러의 도전자와 그 최소 생성자들의 싸이지지 모듈러 간의 관계를 규명하는 것.
• 반모듈러의 도전자와 반군의 도전자 간의 차이가 반군 자체에 속해 있음을 입증하는 것.
• 쌍대 반모듈러의 최소 생성자들로 도전자를 표현하여 다른 계산 방법을 제공하는 것.

제안 방법

• Γ-반모듈러의 도전자를 c(∆) = max(N \ ∆) + 1로 정의한다.
• s = α + β에 대한 Apéry 집합을 사용하여 Proposition 2.1을 통해 도전자를 특성화한다.
• 싸이지지 모듈러 Syz(∆)의 최소 생성자들을 특정한 모듈로 및 순서 조건을 갖는 린 세트 J = [h₀, ..., hₙ]로 식별한다.
• J에 속한 원소 중에서 가장 큰 값 M = max≤N{h ∈ J}를 도전자 공식의 핵심 구성요소로 특성화한다.
• 쌍대성 적용: x ↦ αβ − x 사상으로 Syz(∆)의 생성자들과 쌍대 반모듈러 ∆∗의 생성자들을 연결한다.
• 도전자 공식 c(∆) = M − α − β + 1과 그 쌍대 형태 c(∆) = αβ − min≤N{x₀, ..., xₙ} − α − β + 1을 유도한다.

실험 결과

연구 질문

• RQ1 두 생성자를 가진 Γ-반모듈러의 도전자는 싸이지지 모듈러 데이터를 사용해 폐형으로 표현할 수 있는가?
• RQ2 반모듈러의 도전자와 반군의 도전자 간의 차이는 실제로 반군의 원소인가?
• RQ3 쌍대 반모듈러의 최소 생성자들을 사용해 반모듈러의 도전자를 어떻게 계산할 수 있는가?
• RQ4 가장 큰 싸이지지 생성자에 대한 기하학적 해석은 격자 경로 관점에서 어떻게 설명될 수 있는가?

주요 결과

• Γ = ⟨α, β⟩인 Γ-반모듈러 ∆의 도전자는 c(∆) = M − α − β + 1로 주어지며, 여기서 M은 싸이지지 모듈러 Syz(∆)의 최대 생성자이다.
• Corollary 3.4에 의해 c(Γ) − c(∆)는 Γ의 원소임을 보여준다.
• Γ = ⟨5, 7⟩이고 ∆의 최소 생성자가 [0, 9, 11, 8]일 경우, 도전자는 c(∆) = 7로 계산되며, 이는 M = 18에서 유도된다.
• ∆의 쌍대 반모듈러 ∆∗의 최소 생성자는 [20, 17, 19, 21]이며, c(∆) = 35 − 17 − 12 + 1 = 7로 계산되어 Corollary 3.6에 의해 공식이 확인된다.
• 가장 큰 싸이지지 생성자 M은 Ap(∆, α + β)의 원소 중에서 가장 큰 값을 나타내며, 이는 도전자와 Apéry 집합을 연결한다.
• 공식 c(∆) = c(Γ) − m₁α − m₂β는 (m₁, m₂)가 M의 갭 표현에서의 격자 좌표일 때 성립한다.