[논문 리뷰] A note on the number of terms witnessing congruence modularity

Paolo Lipparini|arXiv (Cornell University)|2017. 09. 18.

Advanced Algebra and Logic참고 문헌 17인용 수 3

한 줄 요약

이 논문은 Day 및 Gumm 항목을 사용하여 호환성 모듈러 다항식에서 새로운 호환성 항등식을 확립한다. $k+1$개의 Day 항목과 짝수 $κ$일 때, 좌변에 $2^{q+1}-1$개의 인자가, 우변에 $Π^{q-1}}$개의 인자가 있는 항등식이 도출된다. $n+2$개의 Gumm 항목과 $q \geq 2$일 경우, 우변은 $(2^{q+1}-2q-2)n+3$개의 인자를 가지며, 이는 기존의 경계를 향상시키고 항목 유형 간의 더 깊은 구조적 관계를 시사한다.

ABSTRACT

We show that if $\kappa$ is even and some variety $\mathcal V$ is congruence modular as witnessed by $k+1$ Day terms then, for every $q \geq 1$, $\mathcal V$ satisfies the congruence identity $ \alpha ( \beta \circ \alpha \gamma \circ \beta \circ \dotsc \circ \alpha \gamma \circ \beta ) \subseteq \alpha \beta \circ \alpha \gamma \circ \alpha \beta \circ \dots$, with $2 ^{q+1}-1 $ factors on the left-hand side and $ \frac{ k^q}{2 ^{q-1} }$ factors on the right-hand side. Here juxtaposition denotes intersection and terms as $\alpha \gamma $ are counted as a single factor. If $\mathcal V$ has $n+2$ Gumm terms and $q \geq 2$, then the above identity holds with $2^q -1 $ factors on the left and $ (2^{q+1}-2q-2)n+3$ factors on the right. So far, in general, the best evaluation is obtained by combining the two methods. It is an open problem whether there is a better way. Other open problems related to similar identities are discussed. The results might shed new light to the problem of the relationship between the number of Day terms and the number of Gumm terms for a congruence modular variety. By the way, we use Gumm terms also in order to give bounds of the form $ \alpha (\beta \circ \gamma \circ \beta \circ \dots ) \subseteq \alpha ( \gamma \circ \beta ) \circ (\alpha \gamma \circ \alpha \beta \circ \alpha \gamma \circ \dots )$, with appropriate numbers of factors. This extends ideas of S. Tschantz. We also slightly improve a result by A. Day, to the effect that if $n$ is even, then every variety with $n+2$ J\'onsson terms has $2n+1$ Day terms.

연구 동기 및 목표

• 호환성 모듈러 다항식의 호환성 항등식에서 인자의 수에 대한 더 날카로운 경계를 유도하기 위해.
• 이러한 다항식에서 Day 항목과 Gumm 항목의 수 사이의 관계를 탐색하기 위해.
• Gumm 항목을 사용하여 Tschantz의 호환성 항등식 아이디어를 확장하기 위해.
• 특히 짝수 $n$에 대해 Day의 Jonsson 항목이 Day 항목을 암시한다는 결과를 개선하기 위해.
• 호환성 항등식에서 최적의 항목 수에 관한 열린 문제를 조사하기 위해.

제안 방법

• 짝수 $κ$일 때, $k+1$개의 Day 항목을 사용하여 좌변에 $2^{q+1}-1$개의 인자가, 우변에 $\frac{k^q}{2^{q-1}}$개의 인자가 있는 호환성 항등식을 유도한다.
• Gumm 항목을 적용하여 $\alpha(\beta \circ \alpha\gamma \circ \cdots) \subseteq \alpha\beta \circ \alpha\gamma \circ \cdots$ 형태의 항등식을 유도하며, 인자의 수를 제어한다.
• Day 항목과 Gumm 항목의 방법을 조합하여 각각 독립적으로 사용할 때보다 더 나은 경계를 달성한다.
• 호환성 항등식의 구조를 활용하여 호환성 모듈러 다항식에서 항목 유형 간의 상호작용을 분석한다.
• Jonsson 항목에 대한 기존 결과를 활용하여, $n$이 짝수일 때 $n+2$개의 Jonsson 항목이 $2n+1$개의 Day 항목을 암시한다는 Day의 정리를 강화한다.
• 항목 수열에서 인자의 조합적 수를 계산하여 항등식 복잡도에 대한 정량적 경계를 도출한다.

실험 결과

연구 질문

• RQ1 만약 $k+1$개의 Day 항목이 호환성 모듈러성을 증명한다면, 호환성 항등식의 우변에 필요한 최소 인자 수는 얼마인가?
• RQ2 Gumm 항목은 기존의 호환성 항등식 인자 수 경계를 어떻게 개선하거나 정밀화하는가?
• RQ3 Day 항목과 Gumm 항목의 방법을 조합하면, 각각 독립적으로 사용할 때보다 더 나은 경계를 도출할 수 있는가?
• RQ4 현재의 방법보다 호환성 항등식의 인자 수를 더 효율적으로 경계 짓는 방법이 존재하는가?
• RQ5 호환성 모듈러 다항식에서 Day 항목과 Gumm 항목의 수 사이의 정확한 관계는 무엇인가?

주요 결과

• 짝수 $κ$일 때 $k+1$개의 Day 항목이 존재하면, 항등식 $\alpha(\beta \circ \alpha\gamma \circ \cdots) \subseteq \alpha\beta \circ \alpha\gamma \circ \cdots$ 가 좌변에 $2^{q+1}-1$개의 인자가, 우변에 $\frac{k^q}{2^{q-1}}$개의 인자가 있는 형태로 성립한다.
• $n+2$개의 Gumm 항목과 $q \geq 2$일 경우, 항등식의 좌변에 $2^q - 1$개의 인자가, 우변에 $(2^{q+1}-2q-2)n+3$개의 인자가 있다.
• Day 항목과 Gumm 항목을 함께 사용하면 일반적인 호환성 모듈러 다항식에 대해 현재까지 알려진 가장 좋은 경계를 달성한다.
• 논문은 Day의 결과를 개선하여, $n$이 짝수이면 $n+2$개의 Jonsson 항목이 $2n+1$개의 Day 항목을 암시한다는 것을 보여준다.
• 유도된 항등식은 Gumm 항목을 인자 수 계산에 통합함으로써 Tschantz의 프레임워크를 확장한다.
• 결과적으로, 호환성 모듈러성을 증명하기 위해 필요한 항목의 수가 이전에 알려진 것보다 더 엄격하게 제약을 받을 수 있음을 시사한다.