---
title: Hat-Homology Lattice Overview
url: https://www.emergentmind.com/topics/hat-homology-lattice
type: topic
---

# Hat-Homology Lattice Overview

The “hat-homology lattice” denotes a family of hat or reduced constructions in lattice-type homology theories, rather than a single universally fixed invariant. In the literature on plumbed \(3\)-manifolds, the hat flavor is obtained by setting \(U=0\) in a lattice complex generated by characteristic vectors and subsets of vertices; in string-theoretic models for sutured Floer homology it is a homology generated by string diagrams without contractible closed curves; and in analytic and filtered lattice homologies of curve and surface singularities it is realized by relative groups such as \(H_*(S_n,S_{n-1},\mathbb{Z})\). Across these settings, the common feature is a combinatorial or cubical “lattice” supporting a reduced theory that models or refines Floer-type invariants [1206.1654, 1210.7394, 2306.13889, 2307.16581].

## 1. Terminological scope and recurrent structures

In the topological lattice homology of plumbing trees, the lattice is built from pairs \([K,E]\), where \(K\) is a characteristic cohomology class and \(E\) is a subset of the vertex set. In the string-homological setting of \((D^2,F)\), the relevant combinatorial lattice is the set of noncrossing string diagrams up to isotopy, modulo bypass relations, and it is described as a lattice in the vector space sense. In the singularity-theoretic setting, the lattice is \(\mathbb{Z}^r\) together with a weight function, and the homology is extracted from a tower of cubical subcomplexes \(S_n\) [1210.7394, 2306.13889, 2307.16581].

A useful summary is as follows.

| Setting | Hat construction | Output |
|---|---|---|
| Plumbing trees | Set \(U=0\) in the lattice complex | Hat flavor of lattice homology |
| \((D^2\times S^1, F\times S^1)\) | \(\widehat{CS}(D^2,F)\) with no contractible closed curves | \(\widehat{HS}(D^2,F)\cong SFH(D^2\times S^1,F\times S^1)\) |
| Curve and surface singularities | \(\bigoplus_n H_*(S_n,S_{n-1},\mathbb{Z})\) | Hat or reduced lattice homology |

The collected literature also shows that the adjective “hat” is not implemented in a single way. In plumbing-tree lattice homology it is the \(U=0\) specialization; in filtered singularity theories it is a relative construction with trivial \(U\)-action; in string homology it is enforced by the exclusion of contractible closed curves and by a differential given by crossing resolutions. This indicates that “hat-homology lattice” is best understood as a reduced combinatorial layer within a broader lattice-homological framework [1206.1654, 1210.7394, 2306.13889].

## 2. Hat flavor in lattice homology of plumbing trees

For a plumbing tree \(G\), the lattice complex is defined by
\[
CF(G) = \prod_{K \in \Char(G)} \prod_{E \subset V} F[U]\langle [K,E]\rangle,
\]
with differential
\[
\partial [K,E]=\sum_{v \in E} U^{a_v(K,E)} [K,E-v] + \sum_{v \in E} U^{b_v(K,E)} [K+2v^*, E-v].
\]
Here \(\Char(G)\) is the set of characteristic vectors in \(H^2(X(G))\), and the exponents \(a_v\) and \(b_v\) are non-negative integers defined combinatorially [2111.14962].

In the completed theory of Ozsváth, Stipsicz, and Szabó, the chain complex is
\[
\mathbb{CF}^{-}(G)=\prod_{[K,E]\in \Char(G)\times \mathbb{P}(V)} \mathbb{F}[[U]]\langle [K,E]\rangle,
\]
with the same differential pattern. The complex has a delta-grading by \(|E|\), and for torsion Spin\(^c\) structures it carries an explicit Maslov grading. The homology splits according to Spin\(^c\) structures on \(Y_G\) [1206.1654].

The hat flavor is obtained by setting \(U=0\). In the plumbing-tree setting this produces the reduced or hat version of lattice homology. For rational homology spheres, the completed and hat versions determine each other, and analogous statements hold for the hat theory in the spectral-sequence framework [1206.1654]. In Zemke’s formulation, the reduced version is also described by setting \(U=0\) or by modding out by \(U\)-torsion; for rational homology spheres, the completion or reduction does not lose information and matches the reduced versions in both lattice homology and Heegaard Floer homology [2111.14962].

## 3. Spectral sequences, equivalence with Heegaard Floer homology, and \(H_1\)-actions

A central structural result is the spectral sequence from lattice homology to Heegaard Floer homology of the plumbed \(3\)-manifold. For a plumbing tree \(G\), there is a spectral sequence whose \(E_2\) page is isomorphic to lattice homology and which converges to \(HF^{-}(Y_G)\); the construction is based on the link surgery formula and respects the Spin\(^c\) splitting. For torsion Spin\(^c\) structures the identification preserves absolute Maslov grading, and for non-torsion structures it preserves relative grading [1206.1654].

Ozsváth, Stipsicz, and Szabó showed that if \(G\) is type-\(2\), equivalently in particular if it has at most two bad vertices, then the spectral sequence collapses at \(E_2=E_\infty\), giving an isomorphism between lattice homology and Heegaard Floer homology. Zemke later proved Némethi’s conjecture in full generality: if \(Y\) is the boundary of a plumbing of a tree of disk bundles over \(S^2\), then the lattice homology of \(Y\) coincides with the Heegaard Floer homology of \(Y\), and if \(b_1(Y(G))=0\), the isomorphism is relatively graded [1206.1654, 2111.14962].

For \(b_1(Y(G))>0\), Zemke also gave a conjectural description of the \(\Lambda^*(H_1(Y(G))/\mathrm{Tors})\)-action on lattice homology. If \(\mu_i\) denotes the meridian corresponding to a vertex \(i\), then the endomorphism
\[
A_{\mu_i}([K,E]) = U^{a_{v_i}(K,E)} [K, E-v_i]
\]
is extended \(U\)-equivariantly, and for \(\gamma=a_1\mu_1+\cdots + a_\ell\mu_\ell\) one sets
\[
A_\gamma := a_1A_{\mu_1}+\cdots+a_\ell A_{\mu_\ell}.
\]
The paper proves that \(A_\gamma\) depends only on the class of \(\gamma\) in \(H_1(Y(G))/\mathrm{Tors}\), up to chain homotopy, and conjectures that the isomorphism
\[
HF^-(Y(G)) \cong \mathbb{HF}(G)
\]
respects the structure of modules over \(F[U]\otimes \Lambda^*H_1(Y(G))/\mathrm{Tors}\) [2111.14962].

## 4. String-homological realization and the bypass lattice

A distinct use of the hat construction occurs in dimensionally reduced sutured Floer homology for \((D^2\times S^1, F\times S^1)\). Here \((D^2,F)\) is a marked surface with \(2n\) alternating points on \(\partial D^2\), and string diagrams are immersed oriented \(1\)-manifolds in \(D^2\) with boundary on \(F\), up to homotopy with endpoints fixed. The hat string complex is
\[
\widehat{CS}(D^2,F)=Z_2\langle \text{homotopy classes of string diagrams on }(D^2,F)\text{ with no contractible closed curves}\rangle,
\]
and its differential is
\[
\partial s=\sum_{x\in \text{crossings of }s} r_x(s),
\]
where \(r_x(s)\) is obtained by resolving the crossing \(x\), while resolutions that introduce contractible closed curves are set to zero. The complex satisfies \(\partial^2=0\), and it is filtered by minimal intersection number among representatives [1210.7394].

Its homology,
\[
\widehat{HS}(D^2,F):=H(\widehat{CS}(D^2,F),\partial),
\]
has a particularly rigid form. All cycles are represented by non-crossing string diagrams, that is, by sets of sutures, and the only relation among these generators is the bypass relation:
\[
[\Gamma_1]+[\Gamma_2]+[\Gamma_3]=0
\]
for every bypass triple \((\Gamma_1,\Gamma_2,\Gamma_3)\). Consequently,
\[
\widehat{HS}(D^2,F)\cong \frac{Z_2\langle \text{isotopy classes of sutures on }(D^2,F)\rangle}{\text{Bypass relations}},
\]
and this homology is canonically isomorphic to the sutured Floer homology \(SFH(D^2\times S^1,F\times S^1)\). For \(|F|=2n\), the space is isomorphic to \((Z_2\oplus Z_2)^{\otimes(n-1)}\), hence is \(2^{n-1}\)-dimensional over \(Z_2\). The paper also states that for non-alternating markings the complex is acyclic, so \(\widehat{HS}=0\) [1210.7394].

In this setting, the phrase “hat-homology lattice” refers very explicitly to the quotient of noncrossing string diagrams by bypass relations. The paper further notes that this quotient has a standard basis given by basis chord diagrams, linking the hat theory to contact-topological bypass exactness and to combinatorial models inspired by string topology [1210.7394].

## 5. Filtered hat lattices for curve and surface singularities

For an isolated curve singularity \((C,o)\) with \(r\) irreducible components, filtered lattice homology is built on the lattice \(\mathbb{Z}^r\) with weight
\[
w(\mathbf{l})=2h(\mathbf{l})-|\mathbf{l}|,
\]
where \(h\) is the multivariable Hilbert function and \(|\mathbf{l}|=l_1+\cdots + l_r\). For each \(n\), one defines
\[
S_n=\bigcup_{Q: w(Q)\leq n} Q,
\]
and then
\[
{\mathbb H}_*(C,o)=\bigoplus_{q\geq 0}\bigoplus_n H_q(S_n,\mathbb{Z}).
\]
The \(U\)-action is induced by inclusions \(S_{n-1}\hookrightarrow S_n\). The hat version is
\[
\widehat{\mathbb H}_*(C,o)=\bigoplus_n H_*(S_n,S_{n-1},\mathbb{Z}),
\]
and it is presented as the analogue of the hat version in Heegaard Floer theory, with trivial \(U\)-action. For each fixed \(n\), the level filtration \(S_n\cap X_{\ge d}\) induces a homological spectral sequence with
\[
E^1_{-d,q}(n)=H_{-d+q}(S_n\cap X_{\ge d}, S_n\cap X_{\ge d+1};\mathbb{Z}),
\]
converging to the graded pieces of \(H_*(S_n,\mathbb{Z})\). The collection of first pages is equivalent to the motivic Poincaré series of \((C,o)\), and for plane curve singularities the first page can be identified with the Heegaard Floer link homology of the link of the singularity [2306.13889].

For normal surface singularities with rational homology sphere link \(M\), the homological version is again built from a tower \(S_n\), now using a Riemann–Roch type weight function
\[
X_h(\ell):=-\frac{1}{2}(\ell,\ell+k_h),
\]
and cube weights
\[
w_h(\square):=\max\{X_h(v): v \text{ vertex of } \square\}.
\]
The homology is
\[
H_q=\bigoplus_{n\ge m_w} H_q(S_n,\mathbb{Z}),
\]
with \(U\) acting by inclusion \(H_q(S_n,\mathbb{Z})\to H_q(S_{n+1},\mathbb{Z})\). If an embedded curve singularity \((C,o)\subset (X,o)\) is fixed, the embedded link \(L_C\subset M\) induces a filtration \(S_n\cap x_{-d}(s)\), and hence a spectral sequence
\[
E_1^{d,q}=H_{d+q}(S_n\cap x_{-d},\, S_n\cap x_{-d-1};\,\mathbb{Z}) \implies H_{d+q}(S_n,\mathbb{Z}).
\]
Each page is a triple graded \(\mathbb{Z}[U]\)-module, and all entries on all pages are new invariants of the decorated pair \((M,L_C)\). The hat version is
\[
\widehat{H}_b=\bigoplus_n H_b(S_n,S_{n-1},\mathbb{Z}),
\]
which is bigraded by homological degree and weight, has trivial \(U\)-action, and has graded Euler characteristic \(1\) [2307.16581].

These singularity-theoretic constructions show that hat-homology lattices can be substantially finer than an unfiltered lattice homology. In the curve case, the first page already encodes motivic data and, for plane curves, Heegaard Floer link homology; in the surface case, the filtration by embedded curve data produces new triple-graded invariants and multivariable Poincaré series, with further connections to Jacobi theta series [2306.13889, 2307.16581].

## 6. Link lattice complexes and plumbed links

A link-level extension of the lattice-homological framework is provided by the link lattice complex for plumbed links. If \(\Gamma\) is a plumbing graph with non-arrow vertices \(V_G\) and arrow vertices \(V_\uparrow\), the link lattice complex
\[
\mathbb{CFL}(\Gamma,V_\uparrow)
\]
is defined as a quotient of the classical lattice complex \(\mathbb{CF}(\Gamma)\). It is generated by those \([K,E]\) with \(V_\uparrow\subset E\), while the differential sums only over \(v\in E\cap V_G\). The resulting complex is a module over
\[
\mathbb{F}[[U_1,V_1,\ldots,U_\ell,V_\ell]],
\]
where \(\ell=|V_\uparrow|\), and the actions satisfy \(U_iV_i=V_iU_i=U\) for all \(i\), with \(U_i\) and \(V_j\) commuting for different \(i\) and \(j\) [2210.15792].

This complex carries Maslov and Alexander gradings and an \(A_\infty\)-module structure over the coefficient ring. The main theorem states that if \(Y=Y_G\) is a rational homology sphere, then for each Spin\(^c\) structure \(s\),
\[
\mathbb{CFL}(\Gamma,V_\uparrow,s)\simeq C(Y,L,s)
\]
as \(A_\infty\)-modules over the relevant ring, where \(C(Y,L,s)\) is the completed link Floer complex. For plumbed L-space links, the link Floer complex is formal and is a free resolution of its homology, yielding an algorithm to compute link Floer complexes, in particular for algebraic links, from the multivariable Alexander polynomial [2210.15792].

Although this is not itself a hat construction in the narrow sense, it clarifies how the lattice viewpoint extends from \(3\)-manifold invariants to link Floer complexes. A plausible implication is that many “hat-homology lattice” constructions are best viewed as reduced faces of a larger module-theoretic framework in which lattice data controls Floer complexes, gradings, and resolutions [2210.15792].

## 7. General lattice-homological categorification

A further generalization replaces the geometric origin of the lattice by an arbitrary weight function on \(\mathbb{Z}^r\). The general construction assigns to a lattice \(\mathbb{Z}^r\) and a weight function \(w:\mathbb{Z}^r\to \mathbb{Z}\) a bigraded \(\mathbb{Z}[U]\)-module
\[
\mathbb{H}_*=\bigoplus_{q\ge 0}\bigoplus_{n\ge m_w} H_q(S_n,\mathbb{Z}),
\]
where \(S_n\) is the union of cubes all of whose vertices have weight at most \(n\), and \(U\) is induced by inclusion \(H_q(S_{n-1})\to H_q(S_n)\). This abstraction includes the analytic lattice homologies of singularities and shows that lattice homology is not confined to plumbing graphs or Floer-theoretic models [2603.26189].

When the weight function arises from Hilbert functions of valuative multifiltrations on a Noetherian \(k\)-algebra \(\mathcal{O}\) and a finitely generated \(\mathcal{O}\)-module \(M\), the theory applies to realizable submodules \(N\le M\), with integrally closed ideals as the basic case when \(M=\mathcal{O}\). The independence theorem states that if two collections of extended discrete valuations realize the same submodule \(N\), then the resulting lattice homology modules are isomorphic as bigraded \(\mathbb{Z}[U]\)-modules, even if the lattices and weight functions differ. Their Euler characteristic is \(\dim_k(M/N)\). In this way one associates a well-defined lattice homology to any quotient \(M/N\) with \(N\) realizable [2603.26189].

The geometric applications include categorifications of the delta invariant \(\delta(C,o)\) of a reduced curve singularity, the geometric genus \(p_g(X,o)\), the irregularity \(q(X,o)\), and various plurigenera of isolated normal singularities. This suggests that hat-type reductions belong to a broader categorification program in which reduced lattice layers record significantly more information than the numerical invariants recovered by Euler characteristic alone [2603.26189].

Source: https://www.emergentmind.com/topics/hat-homology-lattice