Lê Modules: Linking Singularity & Module Theory

• Lê Modules are algebraic structures that capture local topological invariants of analytic hypersurfaces and generalize module theory through lattice-ordered semigroups.
• They refine classical vanishing cycle techniques by providing explicit cohomological resolutions and Betti number bounds, thus offering precise topological insights.
• Lê Modules facilitate generalized primary decomposition in commutative algebra, ensuring unique factorization and robust structural theorems.

Lê modules are algebraic structures arising both in singularity theory, where they encapsulate local topological invariants of analytic hypersurfaces with one-dimensional singular sets, and in module theory over commutative rings, where they generalize modules to the setting of lattice-ordered semigroups with distributivity and completeness properties. In singularity theory, the Lê module formalism refines classical vanishing cycle methods, yielding explicit cohomological resolutions and Betti number bounds for Milnor fibers, while in algebra it mediates generalized primary decomposition and uniqueness properties analogous to those in classical module theory.

1. Geometric Origins: Lê Numbers and Cycles

Given a reduced analytic function $f: (U,0) \to (\mathbb{C},0)$ on a small open neighborhood $U \subset \mathbb{C}^{n+1}$, suppose the critical locus $\Sigma f$ has dimension one at $0$. For a generic choice of $z_0$ among local coordinates $(z_0, ..., z_n)$, the condition $\dim_{0} \Sigma(f|_{V(z_0)}) = 0$ ensures proper intersection of each irreducible component $C$ of $\Sigma f$ with the hyperplane $V(z_0)$. The analytic 1-cycle $U \subset \mathbb{C}^{n+1}$0 near $U \subset \mathbb{C}^{n+1}$1 decomposes as $U \subset \mathbb{C}^{n+1}$2, where $U \subset \mathbb{C}^{n+1}$3 (relative polar curve) has components not contained in $U \subset \mathbb{C}^{n+1}$4, and $U \subset \mathbb{C}^{n+1}$5 (1-dimensional Lê cycle) collects those contained in $U \subset \mathbb{C}^{n+1}$6.

The Lê-numbers at $U \subset \mathbb{C}^{n+1}$7, which are intersection multiplicities,

$U \subset \mathbb{C}^{n+1}$8

provide crucial local invariants. If $U \subset \mathbb{C}^{n+1}$9 with $\Sigma f$0 the Milnor number of the slice $\Sigma f$1 at a nearby smooth point of $\Sigma f$2, then

$\Sigma f$3

This encoding links geometric intersection phenomena to local topological data (Massey, 28 Dec 2025).

2. Sheaf-Theoretic Construction and Definition of Lê Modules

Fix a principal ideal domain $\Sigma f$4, e.g., $\Sigma f$5 or a field. The ambient space $\Sigma f$6 carries the shifted constant sheaf complex $\Sigma f$7, perverse on $\Sigma f$8. The shifted vanishing cycle complex

$\Sigma f$9

is again perverse. Applying the nearby and vanishing cycle functors in $0$0 yields, after shifting, $0$1 and $0$2, each supported only at $0$3. The canonical morphism

$0$4

induces $0$5-module identities in degree zero: $0$6 and a differential

$0$7

on these free modules. These objects are termed the Lê modules (Massey, 28 Dec 2025).

3. The Lê-Module Exact Sequence and Monodromy

The perverse sheaf construction yields a short exact sequence

$0$8

where

$0$9

with $z_0$0 the Milnor fiber at $z_0$1. The Milnor monodromy induces automorphisms $z_0$2 on $z_0$3 and $z_0$4 on $z_0$5, commuting with $z_0$6, i.e., $z_0$7. The eigenvalues of $z_0$8 are all roots of unity, with characteristic polynomials admitting cyclotomic factorization.

Through A'Campo's trace formula, the traces satisfy: $z_0$9 where $(z_0, ..., z_n)$0 is the sum of multiplicities of the reduced critical curve at $(z_0, ..., z_n)$1. The resulting inequality

$(z_0, ..., z_n)$2

provides an explicit bound on the number of local branches of $(z_0, ..., z_n)$3 (Massey, 28 Dec 2025).

4. Betti Number Bounds via Lê Modules

For $(z_0, ..., z_n)$4, reduced Milnor-fiber cohomology is

$(z_0, ..., z_n)$5

with $(z_0, ..., z_n)$6 a torsion group, and for prime $(z_0, ..., z_n)$7 let $(z_0, ..., z_n)$8 be the number of $(z_0, ..., z_n)$9-power cyclic summands in $\dim_{0} \Sigma(f|_{V(z_0)}) = 0$0. By the universal coefficient theorem,

$\dim_{0} \Sigma(f|_{V(z_0)}) = 0$1

The sharp Betti-bound theorem distinguishes the isolated singularity case ($\dim_{0} \Sigma(f|_{V(z_0)}) = 0$2, $\dim_{0} \Sigma(f|_{V(z_0)}) = 0$3 smooth at $\dim_{0} \Sigma(f|_{V(z_0)}) = 0$4), for which

$\dim_{0} \Sigma(f|_{V(z_0)}) = 0$5

from cases where $\dim_{0} \Sigma(f|_{V(z_0)}) = 0$6, and for all $\dim_{0} \Sigma(f|_{V(z_0)}) = 0$7: $\dim_{0} \Sigma(f|_{V(z_0)}) = 0$8 This provides universal bounds for ranks and torsion in Milnor fiber cohomology in terms of intersection-theoretic Lê numbers (Massey, 28 Dec 2025).

5. Example: Isolated Line Singularity

For $\dim_{0} \Sigma(f|_{V(z_0)}) = 0$9, the critical set $C$0 is the $C$1-axis, smooth at $C$2, and the plane slice $C$3 has Milnor number $C$4. Thus, $C$5 (where $C$6 is the axis), so $C$7; $C$8 so $C$9. Explicit calculation yields $\Sigma f$0. The differential $\Sigma f$1 is injective, so $\Sigma f$2, $\Sigma f$3, and the Milnor fiber has the homotopy type of a bouquet of $\Sigma f$4-spheres, with

$\Sigma f$5

This agrees with general bouquet theorems for line singularities and demonstrates sharp realization of the Betti-bound (Massey, 28 Dec 2025).

6. Lê Modules in Lattice-Ordered Module Theory

An $\Sigma f$6–le-module $\Sigma f$7, as developed in the context of commutative algebra, is a lattice-ordered semigroup enriched with an $\Sigma f$8-action satisfying five compatibility axioms:

• (M1) $\Sigma f$9,
• (M2) $V(z_0)$0,
• (M3) $V(z_0)$1,
• (M4) $V(z_0)$2, $V(z_0)$3, $V(z_0)$4,
• (M5) $V(z_0)$5.

Submodule elements $V(z_0)$6 are those with $V(z_0)$7 and $V(z_0)$8 for all $V(z_0)$9; these are idempotent and satisfy $U \subset \mathbb{C}^{n+1}$00. Classical examples include the complete lattice of submodules of a module $U \subset \mathbb{C}^{n+1}$01, and the lattice of ideals of $U \subset \mathbb{C}^{n+1}$02 itself (Bhuniya et al., 2018).

7. Primary Decomposition and Uniqueness in Laskerian le-Modules

A submodule element $U \subset \mathbb{C}^{n+1}$03 is called primary if for all $U \subset \mathbb{C}^{n+1}$04, $U \subset \mathbb{C}^{n+1}$05,

$U \subset \mathbb{C}^{n+1}$06

If $U \subset \mathbb{C}^{n+1}$07 (the radical of the ideal $U \subset \mathbb{C}^{n+1}$08), then $U \subset \mathbb{C}^{n+1}$09 is $U \subset \mathbb{C}^{n+1}$10-primary. Similarly, a prime submodule element $U \subset \mathbb{C}^{n+1}$11 satisfies $U \subset \mathbb{C}^{n+1}$12 or $U \subset \mathbb{C}^{n+1}$13.

A Laskerian le-module is one in which every submodule element admits a reduced primary decomposition into a meet of primary elements with distinct radicals. Associated primes and isolated components are determined canonically. Uniqueness theorems assert that the set of associated primes is independent of the decomposition, and the meet of isolated components associated to a subset of primes is canonical (i.e., independent of the reduced decomposition). Minimal components are unique, and the primeness of the radical is equivalent to having a unique isolated prime divisor.

The explicit characterization of annihilators states that for submodule element $U \subset \mathbb{C}^{n+1}$14 and $U \subset \mathbb{C}^{n+1}$15,

$U \subset \mathbb{C}^{n+1}$16

This recovers and generalizes classical primary decomposition theory in module settings (Bhuniya et al., 2018).

---

A plausible implication is that Lê modules serve as a unifying formalism connecting topological invariants of singularities and the algebraic structure of subobjects in module theory, with their exact sequences, Betti-number bounds, and decomposition theorems providing robust tools for both singularity theory and commutative algebra. Open questions persist concerning the existence of torsion phenomena and the realization of certain Lê-number pairs, as well as deeper connections to perverse sheaf theory and vanishing cycle techniques in modern singularity analysis (Massey, 28 Dec 2025, Bhuniya et al., 2018).