Cardinality of intervals between successive Sc-varieties

Determine the cardinality of the intervals [V(Sc(a1⋯ak)), V(Sc(a1⋯ak+1))] for every integer k≥3, and in particular establish whether each such interval contains continuum many varieties.

Background

The paper proves that several intervals in the subvariety lattice associated with S7 have cardinality continuum, including the intervals [V(Sc(a1⋯ak)), Nk+1] for k>2 and, by further discussion, the intervals [Nk+1, Nk+2] for k≥3. These results describe substantial portions of the lattice of subvarieties of the variety generated by S7.

However, the authors do not determine the size of the distinct intervals lying directly between successive varieties V(Sc(a1⋯ak)) and V(Sc(a1⋯ak+1)) when k≥3. They indicate that continuum cardinality is plausible but leave it unresolved.

References

However, we do not know the cardinality of the intervals [V(Sc(a1 . . . ak)), V(Sc(a1 . . . ak+1))] for k ≥ 3. It is quite possible that all of these intervals also contain 2ℵ0 varieties.

The finite basis problem for additively idempotent semirings that relate to S_7  (2501.19049 - Gao et al., 31 Jan 2025) in Section 5, Conclusion, p. 21