Massey Inner Products in A∞ Structures

• Massey inner products are higher pairing operations defined on A∞ algebras/modules, using cyclic triangular systems to capture additional homotopy data beyond classical Massey products.
• They extend ordinary Massey products by incorporating two module-corners and a homotopy inner product, thereby detecting cap-product phenomena in cohomology.
• Applications include lens spaces, links, and 4-manifolds, offering refined obstructions to formality, Poincaré duality, and enhancing invariants in cyclic A∞ settings.

Massey inner products are Massey-type operations attached to a homotopy inner product on an $A_\infty$ algebra or $A_\infty$ module. In the formulation of Poirier–Tradler–Wilson, a homotopy inner product is an $A_\infty$-module morphism $I:M\to M^*$ over $\mathrm{id}_A$, and the resulting operations are defined by cyclic triangular systems rather than by the single triangular systems used for ordinary Massey products. Their values lie in the ground ring $R$, or in top-degree cohomology in geometric situations, and they are intended to capture homotopy data carried by the pairing $I$ in addition to the higher multiplications of the underlying $A_\infty$ structure (Poirier et al., 21 Jul 2025).

1. Conceptual position among Massey-type operations

Ordinary Massey products arise from null-homotopies of cup-products in a DGA and, after homotopy transfer, are encoded by the higher multiplications of an induced minimal $A_\infty$-structure on cohomology. In one standard formulation, the class $[m_n([x_1],\dots,[x_n])]$ is exactly one of the possible values of the classical $A_\infty$0-fold Massey product, and under the stated vanishing hypotheses one has equality with the Massey value determined by $A_\infty$1 (Moreno-Fernández, 2017). In the stronger minimal-model perspective, the triple Massey product is described as an invariant manifestation of $A_\infty$2, and under reasonable assumptions the higher product $A_\infty$3 is the set of all values $A_\infty$4 as $A_\infty$5 varies over isotopic canonical minimal models (Markl, 2024).

Massey inner products extend this philosophy from higher multiplications to higher pairings. Ordinary Massey products live purely in the cohomology ring $A_\infty$6. Massey inner products detect “cap-product” phenomena: one cochain in $A_\infty$7 is paired with another cochain and evaluated on a cycle $A_\infty$8 in $A_\infty$9; when $A_\infty$0, the same mechanism specializes to the cyclic case. The new feature is the presence of two module-corners rather than only $A_\infty$1-slots, so the operation is not merely an ordinary Massey product with a post hoc evaluation but a separate cyclic construction built into the $A_\infty$2-module and inner-product data (Poirier et al., 21 Jul 2025).

2. $A_\infty$3-algebras, modules, and homotopy inner products

An $A_\infty$4-algebra over a commutative ring $A_\infty$5 is a graded $A_\infty$6-module

$A_\infty$7

equipped with multilinear maps

$A_\infty$8

satisfying the Stasheff identities

$A_\infty$9

In shifted notation, each $I:M\to M^*$0 has degree $I:M\to M^*$1.

An $I:M\to M^*$2-module $I:M\to M^*$3 over $I:M\to M^*$4 is a graded $I:M\to M^*$5-bimodule with structure maps

$I:M\to M^*$6

of total degree $I:M\to M^*$7, satisfying the corresponding $I:M\to M^*$8-module equations. The dual $I:M\to M^*$9 inherits an $\mathrm{id}_A$0-module structure. A homotopy inner product on $\mathrm{id}_A$1, or on the module $\mathrm{id}_A$2, is precisely a morphism of $\mathrm{id}_A$3-modules

$\mathrm{id}_A$4

over $\mathrm{id}_A$5. Equivalently, it is a collection of maps

$\mathrm{id}_A$6

of degree $\mathrm{id}_A$7 satisfying the $\mathrm{id}_A$8-module-morphism equations (Poirier et al., 21 Jul 2025).

This framework is the minimal algebraic input for Massey inner products. The role of $\mathrm{id}_A$9 is to encode higher associativity data, the role of $R$0 is to encode higher module structure, and the role of $R$1 is to encode the homotopy-coherent pairing that will close the cyclic defining system.

3. Ordinary Massey products in the $R$2 setting

The construction of Massey inner products presupposes an $R$3 version of ordinary Massey products. Fix cocycles $R$4 in $R$5. A triangular system $R$6 is a choice of homogeneous elements $R$7 of degree

$R$8

with no condition on $R$9. Its staircase product is defined as a sum over all chains

$I$0

of terms involving the higher multiplications $I$1. A triangular system is a defining system if, for every $I$2,

$I$3

Then $I$4 is automatically a cocycle, and the $I$5-fold Massey product set is

$I$6

This construction depends only on the cohomology classes $I$7, not on the chosen cocycle representatives, and it is natural under $I$8-maps $I$9 in the sense that

$A_\infty$0

The ordinary $A_\infty$1-Massey construction is therefore the algebraic prototype from which the cyclic construction is built (Poirier et al., 21 Jul 2025).

4. Cyclic triangular systems and the definition of Massey inner products

Given a homotopy inner product $A_\infty$2, the defining system becomes cyclic. One mixes two staircase constructions—one “forward” and one “backward”—to form a cyclic triangular system. To massy-pair $A_\infty$3 copies of $A_\infty$4 with one $A_\infty$5 and $A_\infty$6 copies of $A_\infty$7 with one $A_\infty$8 again, one chooses two triangular systems that agree on the overlap and omit only the top-left corner in each. The same bounding conditions are imposed as in the ordinary case:

$A_\infty$9

The Massey inner product is then the element of $A_\infty$0 obtained by plugging this cyclic system into the higher pairing maps $A_\infty$1. In shifted form it is a sum over $A_\infty$2 of terms built from the entries of the two triangular systems and the operations $A_\infty$3. The outcome is a set

$A_\infty$4

depending only on the cohomology classes of the diagonal data (Poirier et al., 21 Jul 2025).

The defining feature is the cyclic closure. In an ordinary Massey product, the staircase terminates in cohomology. In a Massey inner product, the staircase is fed into the homotopy inner product and closed by the second module corner. This is the mechanism by which the operation detects higher compatibility between multiplication, module structure, and pairing.

5. Structural properties, vanishing, and comparison with ordinary Massey products

The basic structural results are well-definedness, naturality, and vanishing under exactness or strict formality. A cyclic system satisfying the bounding equations always produces a closed element in $A_\infty$5, and changing any diagonal by an exact term does not affect the result. If $A_\infty$6 is a morphism of $A_\infty$7, then the induced pullback satisfies

$A_\infty$8

and a quasi-inverse morphism gives equality. Exact inner-products give only the trivial value $A_\infty$9 (Poirier et al., 21 Jul 2025).

There is also a precise vanishing criterion for the strictly formal case used in the paper: if the $[m_n([x_1],\dots,[x_n])]$0-structure has only $[m_n([x_1],\dots,[x_n])]$1, $[m_n([x_1],\dots,[x_n])]$2, $[m_n([x_1],\dots,[x_n])]$3, and $[m_n([x_1],\dots,[x_n])]$4 nonzero, then all inner-products vanish. This locates Massey inner products among obstruction-type invariants. They vanish in the absence of higher homotopies and can therefore witness non-formality not at the level of the algebra alone but at the level of the algebra together with module and pairing data (Poirier et al., 21 Jul 2025).

The comparison with ordinary Massey products is exact. Ordinary Massey products live purely in $[m_n([x_1],\dots,[x_n])]$5. Massey inner products detect “cap-product” phenomena. Cyclic systems “wrap around” to feed the output of $[m_n([x_1],\dots,[x_n])]$6 back into the input. Where ordinary $[m_n([x_1],\dots,[x_n])]$7-fold Massey products detect non-strict associativity of $[m_n([x_1],\dots,[x_n])]$8 in $[m_n([x_1],\dots,[x_n])]$9, inner-products detect the higher homotopies that link $A_\infty$00 with the cap-module structure $A_\infty$01 and the pairing $A_\infty$02 (Poirier et al., 21 Jul 2025).

6. Examples, applications, and adjacent refinements

The principal examples currently emphasized in the literature come from lens spaces, links, and low-dimensional manifolds. They are used to show that Massey inner products contain information beyond ordinary Massey products (Poirier et al., 21 Jul 2025).

Setting	Input data	Outcome
Lens spaces $A_\infty$03 over $A_\infty$04, with $A_\infty$05 prime and $A_\infty$06	Minimal $A_\infty$07 model of $A_\infty$08 with generator $A_\infty$09 in degree $A_\infty$10 and $A_\infty$11 in degree $A_\infty$12	Nontrivial $A_\infty$13-fold ordinary Massey product $A_\infty$14 and nontrivial cyclic $A_\infty$15-inner product; recovers $A_\infty$16
$A_\infty$17-component link in $A_\infty$18	No triple link occurs but there is a nonzero $A_\infty$19-fold Milnor $A_\infty$20-invariant; cochains $A_\infty$21 dual to meridians	Nonzero integer pairing $A_\infty$22 even though all ordinary Massey products vanish over $A_\infty$23
$A_\infty$24-manifolds with filiform fundamental group	Sullivan minimal model	Nontrivial $A_\infty$25-cyclic Massey inner products in degree $A_\infty$26 cohomology

These examples delimit the practical significance of the theory. In the lens-space case, the cyclic inner product parallels a classical homotopy-equivalence obstruction. In the link case, it survives when ordinary integral Massey products vanish. In the $A_\infty$27-manifold case, it interacts naturally with Sullivan minimal-model techniques. A plausible implication is that Massey inner products are most useful precisely where a homotopy-coherent pairing is geometrically intrinsic and ordinary Massey products are too coarse.

Massey inner products also sit beside other refinements of the classical theory. Restricted triple Massey products in binomial cup-one DGAs have smaller indeterminacy than classical triple products and give stronger homotopy type invariants (Porter et al., 2021). Differential Massey products via stacks extend the theory to Deligne and differential cohomology (Grady et al., 2015). Derived universal Massey products package operadic Massey operations into a derived operadic cohomology class that determines all operadic Massey products induced on homology (Muro, 2021). Within this broader landscape, the distinctive feature of Massey inner products is that the extra datum is neither reduced indeterminacy nor differential refinement, but a homotopy-coherent inner product itself. Potential applications noted in the current literature include obstructions to Poincaré duality in singular spaces, formality questions for $A_\infty$28-algebras with pairing, and invariants in symplectic or Fukaya-theoretic settings where cyclic $A_\infty$29-structures are standard (Poirier et al., 21 Jul 2025).