# On the J\'onsson distributivity spectrum

## TL;DR

This paper investigates the Jf3nsson distributivity spectrum in congruence distributive varieties, establishing bounds and identities that relate different levels of distributivity and modularity.

## Contribution

It introduces a new identity involving reflexive and admissible relations and derives bounds on the spectrum based on distributivity and modularity conditions.

## Key findings

- If J_V(m)=k, then J_V(m  f6)  f6  f6  k  f6.
- In 3-distributive varieties, J_V(m)  m for all m  3.
- For m-modular varieties, J_V(2)  J_V(1) + 2m^2 - 2m - 1.

## Abstract

Suppose throughout that $\mathcal V$ is a congruence distributive variety. If $m \geq 1$, let $ J _{ \mathcal V} (m) $ be the smallest natural number $k$ such that the congruence identity $\alpha ( \beta \circ \gamma \circ \beta \dots ) \subseteq \alpha \beta \circ \alpha \gamma \circ \alpha \beta \circ \dots $ holds in $\mathcal V$, with $m$ occurrences of $ \circ$ on the left and $k$ occurrences of $\circ$ on the right. We show that if $ J _{ \mathcal V} (m) =k$, then $ J _{ \mathcal V} (m \ell ) \leq k \ell $, for every natural number $\ell$. The key to the proof is an identity which, through a variety, is equivalent to the above congruence identity, but involves also reflexive and admissible relations. If $ J _{ \mathcal V} (1)=2 $, that is, $\mathcal V$ is $3$-distributive, then $ J _{ \mathcal V} (m) \leq m $, for every $m \geq 3$ (actually, a more general result is presented which holds even in nondistributive varieties). If $\mathcal V$ is $m$-modular, that is, congruence modularity of $\mathcal V$ is witnessed by $m+1$ Day terms, then $ J _{ \mathcal V} (2) \leq J _{ \mathcal V} (1) + 2m^2-2m -1 $. Various problems are stated at various places.