Left Modular Lattices: Theory & Applications

• Left modular lattices are finite bounded lattices with a maximal chain where every element satisfies a modular condition, generalizing distributive behaviors.
• They employ explicit edge-labeling techniques that establish EL-shellability and Cohen–Macaulay properties in their order complexes.
• Their structural framework connects semidistributivity, extremality, and congruence uniformity, with significant applications in group theory and representation.

A left modular lattice is a finite bounded lattice equipped with a maximal chain whose elements satisfy a modularity condition from the left. Concretely, an element $a$ is left modular if for all $b<c$, the equality $(b \vee a) \wedge c = b \vee (a \wedge c)$ holds. Such lattices admit strong combinatorial and topological properties, including EL-shellability and Cohen–Macaulay type order complexes. Left modularity unifies and generalizes key distributivity-like behaviors across lattice theory, with deep connections to extremality, semidistributivity, congruence uniformity, and applications in representation theory and algebraic group theory.

1. Formal Definition and Characterizations

Let $(L, \le)$ be a finite, bounded lattice. A pair $(x, y)$ is a modular pair if for every $z \ge y$,

$(y \vee x) \wedge z = y \vee (x \wedge z).$

An element $x$ is left modular if $(x, y)$ is a modular pair for every $y \in L$ (Woodroofe, 2011), equivalently, for every cover $b<c$0, either $b<c$1 or $b<c$2. The modular element (sometimes called two-sided modular) requires the analogous property for $b<c$3.

A chain $b<c$4 is left modular if each $b<c$5 is left modular; a lattice admitting at least one such maximal chain is called left modular (Mühle, 2021, Segovia, 7 Oct 2025). For join-semidistributive lattices, left modularity has a tight relation with join-extremality (Mühle, 2021); an element $b<c$6 avoids certain pentagon sublattice $b<c$7 embeddings (cf. condition 3 in (Segovia, 23 Nov 2025)).

2. Edge-Labelling Criteria and EL-Shellability

The existence of a left modular chain in $b<c$8 admits equivalent edge-labelling characterizations, which immediately yield shellability and topological control (Segovia, 23 Nov 2025). Given a chain $b<c$9, let $(b \vee a) \wedge c = b \vee (a \wedge c)$0 be the smallest $(b \vee a) \wedge c = b \vee (a \wedge c)$1 with $(b \vee a) \wedge c = b \vee (a \wedge c)$2 (for $(b \vee a) \wedge c = b \vee (a \wedge c)$3 join-irreducible), and $(b \vee a) \wedge c = b \vee (a \wedge c)$4 the largest $(b \vee a) \wedge c = b \vee (a \wedge c)$5 with $(b \vee a) \wedge c = b \vee (a \wedge c)$6 (for $(b \vee a) \wedge c = b \vee (a \wedge c)$7 meet-irreducible).

For any cover $(b \vee a) \wedge c = b \vee (a \wedge c)$8, define four labellings: $(b \vee a) \wedge c = b \vee (a \wedge c)$9 Theorem 3.12 (Segovia, 23 Nov 2025) asserts $(L, \le)$0 with equality $(L, \le)$1 if and only if every $(L, \le)$2 on $(L, \le)$3 is left modular. When these labelings coincide, they constitute an EL-labelling; thus, the existence of a left modular chain directly yields shellability (Mühle, 2021, Segovia, 7 Oct 2025).

3. Structural Relationships: Semidistributivity, Extremality, Congruence Uniformity

Semidistributivity and extremality occupy a central place in the theory of left modular lattices. The Thomas–Williams theorem establishes that every semidistributive extremal lattice is left modular (Mühle, 2021, Segovia, 23 Nov 2025). Moreover, Mühle proves the converse: every join-semidistributive left modular lattice is join-extremal (Mühle, 2021). For congruence uniform lattices, extremality, left modularity, EL-labelling, and shellability are all equivalent (Segovia, 23 Nov 2025). Distributive lattices are entirely left modular due to the absence of $(L, \le)$4 sublattices (Segovia, 23 Nov 2025, Mühle, 2021).

4. Day Doubling, Congruence Normal Lattices, and Uniform Testing

Congruence normal lattices arise via successive Day doublings of convex subsets. The main criterion (Segovia, 23 Nov 2025, Segovia, 7 Oct 2025) for a congruence normal lattice $(L, \le)$5 to be left modular is that at each doubling step $(L, \le)$6, the heart $(L, \le)$7 must meet some maximal left modular chain of the intermediate lattice $(L, \le)$8,

$(L, \le)$9

In the congruence uniform case, it suffices that each $(x, y)$0 intersects the "spine," i.e., a maximal chain (Segovia, 23 Nov 2025, Segovia, 7 Oct 2025).

The table below organizes these relationships for congruence-normal lattices:

Construction Step	Left Modular Condition	Extremality Condition
Arbitrary Doubling (convex $(x, y)$1)	Heart $(x, y)$2 hits left modular chain	n/a
Doubling Intervals (uniform)	Each $(x, y)$3 hits spine	Each $(x, y)$4 hits spine

5. Topological Properties: Shellability and Depth

Left modular chains are foundational in demonstrating shellability and computing depth bounds for order complexes. For a graded lattice admitting a left modular chain of length $(x, y)$5, the $(x, y)$6-skeleton of its order complex is vertex-decomposable (and hence shellable): $(x, y)$7 is vertex-decomposable (Woodroofe, 2011). If the left modular chain alternates in a maximal chain of length $(x, y)$8, the entire lattice is shellable. Shellability implies Cohen–Macaulayness and precise control of Möbius invariants.

The applicability extends to subgroup lattices of finite groups: for a solvable group $(x, y)$9 with chief length $z \ge y$0, the subgroup lattice $z \ge y$1 admits a modular chain yielding $z \ge y$2 vertex-decomposable (and all of $z \ge y$3 shellable) (Woodroofe, 2011). This establishes a topological characterization of solvability: $z \ge y$4 is solvable iff $z \ge y$5.

6. Applications and Examples: $z \ge y$6-Tamari Lattices, Higher Torsion Class Lattices

$z \ge y$7-Tamari lattices exemplify the left modular paradigm in a broad family arising from posets $z \ge y$8 and chains $z \ge y$9 (Segovia, 7 Oct 2025). For such $(y \vee x) \wedge z = y \vee (x \wedge z).$0, edge-labelling techniques as in Theorem 3.2 guarantee left modularity, and thus shellability and strong semidistributive properties. Higher torsion class lattices for higher Auslander and Nakayama algebras of type $(y \vee x) \wedge z = y \vee (x \wedge z).$1 can be realized as $(y \vee x) \wedge z = y \vee (x \wedge z).$2-Tamari lattices and inherit left modularity, join-congruence uniformity, and extremality.

For $(y \vee x) \wedge z = y \vee (x \wedge z).$3, the $(y \vee x) \wedge z = y \vee (x \wedge z).$4-torsion class lattice $(y \vee x) \wedge z = y \vee (x \wedge z).$5 for the higher Auslander algebra of type $(y \vee x) \wedge z = y \vee (x \wedge z).$6 is isomorphic to a $(y \vee x) \wedge z = y \vee (x \wedge z).$7-Tamari lattice where $(y \vee x) \wedge z = y \vee (x \wedge z).$8 is the product poset $(y \vee x) \wedge z = y \vee (x \wedge z).$9 and $x$0, with $x$1 possessing left modular, join-semidistributive, join-congruence uniform, and extremal properties.

7. Homotopical Aspects: Discrete Morse Theory, Weakly Descending Chains

The homotopy type of the order complex of a left modular lattice is determined via Babson–Hersh lexicographic discrete Morse theory, applied to the EL-labelling induced by the left modular chain (Woodroofe, 2011). Critical cells arise precisely from weakly descending chains, with strict ascent intervals creating Morse matchings that reduce the complex to a CW-complex with cells indexed by such chains. For modular lattices, this recovers Thévenaz’s result: the order complex is a wedge of $x$2-spheres indexed by chains of complements to a chief series.

---

Left modular lattices unify major distributivity-like phenomena in the combinatorial, algebraic, and topological theory of finite lattices, with explicit labelling criteria for structure recognition and generative constructions. The commutativity of shellability, extremality, and congruence uniformity for large classes enables uniform testing, depth control, and broad applicability, particularly in the topology of group lattices and representation-theoretic contexts (Woodroofe, 2011, Mühle, 2021, Segovia, 23 Nov 2025, Segovia, 7 Oct 2025).