The Tschantz and the alvin higher conditions are equivalent in congruence distributive varieties

We show that, under the assumption of congruence distributivity, a condition by S. Tschantz characterizing congruence modularity is equivalent to a variant of the classical Jónsson condition. Here equivalence is intended in a strong sense, to the effect that the corresponding sequences of terms have exactly the same length.


Introduction
Characterizations of congruence modularity Alan Day [2] showed, in equivalent form, that a variety V is congruence modular if and only if there is some natural number n such that V satisfies the congruence inclusion In the above formula juxtaposition denotes intersection and αγ • αβ • n . . . is a shorthand for αγ • αβ • αγ • αβ . . . with n − 1 occurrences of •. As usual, we say that a variety V satisfies some congruence inclusion if the inclusion is satisfied in every algebra in V.
Later H.-P. Gumm [5] found another characterization. A congruence identity equivalent to Gumm condition asserts that a variety V is congruence modular if and only if there is some natural number p ≥ 2 such that V satisfies the congruence inclusion While identities (D r ) and (G) are formally incomparable, usually the latter is considered to be stronger and anyway it has found many applications that seem out of reach using (D r ) alone. S. Tschantz [11] has found a common generalization. It will be convenient for our purposes to recall the two equivalent forms of Tschantz condition. (1) The following congruence inclusion holds in V: (2) V has a sequence t 0 , . . . , t n of Tschantz terms, that is, 4-ary terms such that the following equations are satisfied in all algebras in V: t h (x, y, y, w) = t h+1 (x, y, y, w), for h even, 0 ≤ h < n, t h (x, x, w, w) = t h+1 (x, x, w, w), for h odd, 0 ≤ h < n, (T4) t n (x, y, z, w) = w.
Within a variety, identities (D r ) and (G), too, can be equivalently expressed by means of the existence of certain terms, in a way similar to Theorem 1.1. We shall briefly recall the condition equivalent to (D r ) below, but we shall not need it here.

Connections with congruence distributivity
Obviously, a congruence distributive variety is congruence modular. As already pointed out by Day [2], it is interesting to see how this implication works at the level of terms, equivalently, at the level of congruence identities. B. Jónsson [6] showed that a variety is congruence distributive if and only if there is some p such that Vol. 82 (2021) The Tschantz and the alvin higher conditions...

Page 3 of 12 4
This is a slightly different formulation, equivalent to a condition appeared in [10]. It has been called the alvin condition in [4]. (The expression ALVIN, possibly an acronym, has been informally used to refer to the book [10] since at least 2007.) See [8] for a full discussion and further references.
Comparing (G) and (A), we immediately see that congruence distributivity implies congruence modularity also from this point of view. In this way we can also appreciate the strength of Gumm's condition: congruence modularity falls short of being equivalent to congruence distributivity just for a factor of the form α(γ • β) which cannot be factored out as αγ • αβ. As a side remark, for the reader who knows the characterizations by means of terms, we mention that the terms arising from Gumm condition can be seen in two ways. First, as the combination of a term witnessing congruence permutability with a sequence of Jónsson terms. Second, as a "defective" version of (a longer sequence of) alvin terms. In the latter sense, the fact that α(β • γ) cannot be turned into αβ • αγ corresponds to one missing equation. See [8], in particular, the comments at the beginning of Section 7 and references there for more details.
In [9] we proved the quite unexpected result that if some congruence distributive variety V satisfies (G), for some given p, then V satisfies (A) for the very same p. In more detail, we proved the following theorem.
Of course, the assumption that V is congruence distributive is necessary in Theorem 1.2, since there is a congruence modular variety W which is not congruence distributive. In particular, such a W satisfies (G), for some p, but W fails to satisfy (A), no matter the value of p. However, it follows from [9] that if V has terms witnessing (G), for some given p, and V is congruence distributive, hence V has a (possibly much longer than p) sequence of terms witnessing (A), then all the above terms can be combined in order to obtain a sequence witnessing (A) for the given p. From the point of view of congruence identities, under the assumption of congruence distributivity, we can factor out α(γ • β) in (G) to αγ • αβ. Obviously, congruence distributivity implies that α(γ • β) ⊆ αγ • αβ • αγ . . . The point is that, under the above assumptions, we need not enlarge the number of factors on the right-hand side of (A). More suggestively, we can partially work as if we were in an arithmetical variety.

A "higher" alvin condition
In this note we prove a result parallel to Theorem 1.2, but dealing with the identity (T). In order to state the result, we need to mention a condition equivalent to congruence distributivity and which is stronger than (T). Of course, every congruence distributive variety satisfies It is standard to see that if some variety V satisfies (1), then there is some n depending on V such that V satisfies On the other hand, if V satisfies (H), then V satisfies (A) with p = n, hence V is congruence distributive, by Jónsson's Theorem. Classical arguments then give a proof of the following proposition. See, e. g., [7] for full details and for more general notions and arguments.

Proposition 1.3. A variety V is congruence distributive if and only
if there is some natural number n ≥ 2 such that V satisfies one of the following equivalent conditions.
(1) The following congruence inclusion holds in V: (2) V has a sequence t 0 , . . . , t n of higher alvin terms, that is, 4-ary terms satisfying conditions (T2)-(T5) from Theorem 1.1(2), as well as we ask for the equation to be valid also in the case h = 1.) The smallest n given by Proposition 1.3 for a congruence distributive variety V is J V (2) + 1 in the notation from [7].

Statement of the main result
Recall the definition of Tschantz terms from clause (2) in the statement of Theorem 1.1. The definition of higher alvin terms appears in clause (2) in the above Proposition 1.3.
We can now state our main result.

Theorem 1.4.
Suppose that V is a congruence distributive variety. Then, for every natural number n ≥ 2, V has a sequence t 0 , . . . , t n of Tschantz terms if and only if V has a sequence t 0 , . . . , t n of higher alvin terms.
In order to prove Theorem 1.4 we need some auxiliary results of independent interest. For the most part, the results do not need the assumption of congruence distributivity, the existence of Tschantz terms, namely, congruence modularity, is enough.

Day terms
Day terms correspond to identity (D r ) when β and γ are exchanged on the right. Reversed Day terms, as we call them, correspond to (D r ) as it stands. We shall not use Day terms in this note; however, Lemmata 2.1 and 2.3 below hold for Day terms, too, and this fact might be of interest and find subsequent applications. In detail, reversed Day terms are terms satisfying equations (T2)-(T5) from Theorem 1.1, as well as In comparison with (T1) the equations (D1) depend only on two variables. Day terms are defined in a similar way, except that even and odd are exchanged in (T3) and (T4). See [8] for further details.
The terms t * 0 and t * n satisfy (T2) and (T5) since t 0 and t n satisfy these equations. Then compute: where superscripts indicate the equations we have used and (I) indicates that we have used idempotence. The above computations take care of both Tschantz and higher alvin terms.
To deal with the case of Day and reversed Day terms, exchange even and odd above when appropriate and perform the following additional computation: In passing, for possible further applications, we notice that Lemma 2.1 holds in a much more general context, namely, for identities involving "modular quadruplets". In [8] we defined a modular quadruplet as one of the following quadruplets of variables Compare also [3,Corollary 3.5]. By slightly modifying the position (*), we do not even need idempotence. The next proposition shall not be used in what follows.  (s(x, x, x, x), s(x, y, y, y), s(x, y, z, z), s(x, y, z, w)) (**) and define t * correspondingly. Then holds in V, as well.
The other cases are treated in a similar way. See also Lemma 2.1.
Once we have given the definition (*), the remaining parts of this section follow [9] 1 (a, s 1 (a, a, b, b), s 1 (a, a, b, b), s 1 (a, a, d, d)) a, a, s 1 (a, a, d, d), s 1 (a, a, d, d) a, a, d, d), where underlined elements are those moved by Θ. In the above formula we have used (T2)-(T3), the assumption that Θ is reflexive and compatible and the inductive hypothesis, to the effect that a Θ s 1 (a, a, b, b), by (U m ), hence s 1 (a, a, b, b) Θ a, since Θ is symmetric. and q = (n−2) +1 2 . Suppose further that A is an algebra belonging to a variety with Tschantz terms t 0 , . . . , t n . If α, β, γ are congruences and Θ, Ψ are tolerances on A, then the following inclusions hold. ( Proof. The proof is very similar to the proof of [9, Corollary 6]. We present explicit details for (1) and only sketch the proofs of (2)-(4). In any case, (2)-(4) shall not be used in what follows.
Proof of Theorem 1.4 A sequence of higher alvin terms is a sequence of Tschantz terms, hence one implication is obvious.
On the other hand, suppose that V is congruence distributive and has a sequence t 0 , . . . , t n of Tschantz terms. We shall show that V satisfies identity (H), thus V has higher alvin terms t 0 , . . . , t n , by Proposition 1.3.

Generalizations and problems
In this section we prove some generalizations of Theorem 1.4; in particular, we deal with conditions weaker than Tschantz'. For simplicity, we generally state the results in the form of a congruence identity. As in Theorem 1.1 and Proposition 1.3, the results admit reformulations by means of sequences of terms. Proofs, too, use terms.

Proposition 3.1. A variety V is congruence modular if and only if
there is some natural number ≥ 1 such that V satisfies the following congruence inclusion: If V is congruence distributive and V satisfies (Tvar), then V satisfies for the same .
Proof. If V is congruence modular, then, by Theorem 1.1, V satisfies (T), for some n, hence V satisfies the weaker identity (Tvar), taking ≥ n 2 . Conversely, if V satisfies (Tvar), then, by taking αγ in place of γ, we get the identity (D r ) mentioned at the beginning of the introduction, with n = 2 . Hence V is congruence modular by [2].
In order to prove the second statement, let n = 2 . The Maltsev condition associated to (Tvar) involves a sequence t 0 , . . . , t n of 4-ary terms satisfying equations (T2)-(T5), as well as x = t h (x, y, z, x) the same equations and such that s 1 enjoys the property (U m ). Finally, using congruence distributivity, the arguments in the proof of Proposition 2.4(1) give (a, s 2 (a, b, c, d)) ∈ αγ •αβ, since the equations involving s 3 , s 4 , . . . are not used to prove this relation. Using such additional equations, it is standard to see that (s 2 (a, b, c, d), d) ∈ α(γ • β) −1 . Hence (Hvar) holds.
Notice a difference between Proposition 3.1 and Theorem 1.4 (through the corresponding identities given by Theorem 1.1 and Proposition 1.3). The existence of some n for which (H) holds is equivalent to congruence distributivity. On the other hand, the existence of some for which (Hvar) holds is equivalent to congruence modularity. The latter assertion is proved using the same arguments we have used for (Tvar).
There is a common generalization of Theorem 1.4 and Proposition 3.1. In both cases we have started with an identity whose right-hand side begins with a block of the form α(γ • β), followed by blocks either of the same form, or of the forms αγ or αβ. In both cases we have proved that, within congruence distributive varieties, the first block can be factored out as αγ • αβ. We now show that the sequence of the "blocks" after the first one can be taken to be somewhat arbitrary. We also get a "bilateral" version.
Theorem 3.2. Suppose that r ≥ 1 and, for each i with 1 < i ≤ r, A i has one of the following forms: If V is a congruence distributive variety and V satisfies If in addition r ≥ 2 and A r = α(β • γ), then V satisfies Proof. In order to prove (Hgen), apply the arguments in the second part of the proof of Proposition 3.1. Simply adjust the set of those indices h such that the equation x = t h (x, y, z, x) is required, according to the specific forms of the A i 's. Possibly, adjust also the indices for which (T3) and (T4) are assumed, though it seems that the most interesting cases are those in which the two equations alternate as in clause (2) in Theorem 1.1. Notice that, due to the form of (Tgen), the equation x = t 2 (x, y, z, x) always holds, hence x = s 2 (x, y, z, x), a fact which is needed in the proof of Proposition 2.4. Now we get (Hgen + ) by applying the symmetrical arguments to (Hgen), or just observing that if A r = α(β • γ), then, taking converses, (Hgen) is where denotes converse. Then apply the first statement of the theorem and take converses again.
In particular, a congruence distributive variety satisfying Theorems 1.2, 1.4, 3.2 and Proposition 3.1 imply that in a congruence distributive variety the first occurrence of α(γ • β) in certain identities can be substituted for αγ •αβ, and possibly symmetrical facts hold. Can we substitute more occurrences?
. . holds in V for n = 2 . (b) Is the following true? If V is a congruence distributive variety and Of course, (a) and (b) admit a reformulation dealing with sequences of terms, as in Theorem 1.1 and Proposition 1.3. Stating problems and results in the form of congruence identities appears simpler and intuitively clearer.
The above problems might be difficult. Our present methods work only for the terms t 1 and t n−1 , the terms lying at the "edges" of the sequence. On one hand, if the answer to the above problems is positive, one needs some significant improvements on the available methods in order to prove it. On the other hand, the work [8] presents many examples of congruence distributive varieties, but none of them is a counterexample to (b). This suggests that if counterexamples do indeed exist, it might be not obvious to find them. (c) We do not know whether, for n ≥ 6, the congruence identity implies congruence modularity within a variety. We do not claim that the above problem is difficult. Notice that, on the other hand, the existence of some n ≥ 2 such that is equivalent to congruence modularity. One direction is immediate from Theorem 1.1. In order to get congruence modularity from (TvarC), just take αγ in place of γ. (d) Is it true that in a congruence distributive variety each of the identities (TvarB) and (TvarC) is equivalent to the corresponding identity in which α(γ • β) is factored out as αγ • αβ?
Vol. 82 (2021) The Tschantz and the alvin higher conditions... Page 11 of 12 4 In this respect, the methods in the present note fail to work, since the Maltsev conditions associated to (TvarB) and (TvarC) involve also equations of the form t h (x, y, z, x) = t h+1 (x, y, z, x), for the appropriate indices. However, it seems that Lemma 2.1 does not apply to such equations. (e) If in the inclusions (G) and (Gvar) we exchange β and γ on the righthand side, we get trivial inclusions. In particular, the variant of Theorem 1.2 badly fails, if such an exchange is made. However, it is an open problem whether a version of Theorem 1.4 still holds when we exchange even and odd in the definitions of Tschantz and alvin higher terms, for n ≥ 4. This corresponds to exchanging β and γ on the right-hand side in the inclusions (T) and (H). A similar problem can be asked for the second statement in Proposition 3.1 if ≥ 2, as well as for Theorem 3.2. The above problems in (a) and (d), too, can be modified in this way. (f) Can we generalize the results of the present note to terms of larger arity?