Chouhy–Solotar Reduction System

• Chouhy–Solotar reduction system is a combinatorial method for constructing minimal and functorial projective bimodule resolutions of associative algebras defined by quivers with relations.
• It employs a structured reduction system and ambiguity analysis to derive explicit differentials that facilitate efficient Hochschild cohomology computations.
• The framework supports diagrammatic representations in Fukaya categories and braiding functor formulations, offering a streamlined alternative to the traditional bar resolution.

The Chouhy–Solotar reduction system is an explicit and combinatorial method for constructing projective bimodule resolutions of associative algebras defined by quivers with relations, particularly where the relations are not necessarily monomial. It yields minimal and functorial resolutions of the diagonal bimodule, enabling rigorous computations in Hochschild cohomology and the categorical study of natural transformations, as applied to the Fukaya category associated to Coulomb branches of quiver gauge theories and the diagrammatic structure of KLRW categories (Tong, 13 Nov 2025).

1. Quiver, Path Algebra, and Reduction System

Let $Q$ be a quiver with vertices $Q_0$ corresponding to idempotents $e_i$ ($i=0,\dots,N$) and arrows $Q_1$:

• $p_{i+1}$: $e_i \to e_{i+1}$,
• $q_i$: $e_{i+1} \to e_i$,
• $s_i$: $Q_0$0, for $Q_0$1. The path algebra is $Q_0$2, where $Q_0$3 encodes the KLRW relations.

A reduction system $Q_0$4 is a set of generators of $Q_0$5 of the form

$Q_0$6

where “irreducible” means no subpath is in $Q_0$7. For the KLRW category,

$Q_0$8

with

$Q_0$9

A preorder "$e_i$0" on monomials is defined by replacing any subpath $e_i$1 by $e_i$2. A path is irreducible iff it contains no $e_i$3.

2. Ambiguities and Construction of Projective Bimodules

An $e_i$4-ambiguity is a path $e_i$5 such that each length-2 subpath $e_i$6 and no smaller subpath lies in $e_i$7. Let $e_i$8 denote the set of $e_i$9-ambiguities ($i=0,\dots,N$0).

The sizes are: $i=0,\dots,N$1

Define projective $i=0,\dots,N$2–$i=0,\dots,N$3-bimodules by

$i=0,\dots,N$4

Thus, $i=0,\dots,N$5, $i=0,\dots,N$6, etc. The combinatorial structure of ambiguities forms the backbone of the resolution.

3. Differentials and Exactness

Auxiliary “split” maps on paths $i=0,\dots,N$7 are defined as

$i=0,\dots,N$8

with $i=0,\dots,N$9, $Q_1$0 denoting rightmost/leftmost decompositions.

Base cases:

• $Q_1$1,
• $Q_1$2.

For $Q_1$3:

• $Q_1$4 even: $Q_1$5,
• $Q_1$6 odd: $Q_1$7.

The differential $Q_1$8 is recursively corrected for exactness: $Q_1$9 with

$p_{i+1}$0

where $p_{i+1}$1. Theorem 4.1 in [CS] guarantees the resulting complex is exact.

4. Diagrammatics and KLRW Embedding

In the diagrammatic framework compatible with the Fukaya/KLRW embedding, arrows $p_{i+1}$2, $p_{i+1}$3 correspond to black strands crossing a fixed red line associated to a puncture. Dots $p_{i+1}$4 are decorations on stationary strands at red $p_{i+1}$5.

The four relations in $p_{i+1}$6 map directly to local moves among these strand-dot diagrams. Ambiguities are visualized as oscillations or zig-zag motions of strands around punctures, either as strand oscillations (type I) or those ending in a dot (type II).

5. Projective Resolution of the Diagonal Bimodule

The sequence

$p_{i+1}$7

with the above differentials provides a projective resolution of the diagonal bimodule $p_{i+1}$8. Each $p_{i+1}$9 is finitely generated (stabilizing for $e_i \to e_{i+1}$0), in contrast to the bar resolution, whose modules grow exponentially.

6. Hochschild Cohomology Computation

The cochain complex for Hochschild cohomology is

$e_i \to e_{i+1}$1

Given the explicit structure $e_i \to e_{i+1}$2, homomorphisms $e_i \to e_{i+1}$3 are determined by their values $e_i \to e_{i+1}$4 on each $e_i \to e_{i+1}$5-ambiguity $e_i \to e_{i+1}$6 and each dot-count $e_i \to e_{i+1}$7.

Explicit combinatorial formulas for $e_i \to e_{i+1}$8 on the coefficient-functions $e_i \to e_{i+1}$9 are given (see Theorem 7.9 in (Tong, 13 Nov 2025)). For $q_i$0, the resolution decomposes into 2-vertex blocks, yielding $q_i$1. In low degrees: $q_i$2 Cocycle representatives are labeled by sequences $q_i$3, $q_i$4, and $q_i$5.

7. Comparison with Alternative Resolutions and Minimality

The bar resolution $q_i$6 is universally applicable but large and highly redundant. Monomial-algebra resolutions (Bardzell) are limited to monomial generators.

The Chouhy–Solotar system generalizes Bardzell’s approach to arbitrary quivers with relations, yielding minimal, functorial, and combinatorially efficient resolutions, as $q_i$7 stabilizes for $q_i$8 and contains no contractible summands.

One can construct a homotopy deformation retract from $q_i$9 onto $e_{i+1} \to e_i$0, with explicit chain-maps $e_{i+1} \to e_i$1, $e_{i+1} \to e_i$2, $e_{i+1} \to e_i$3, reducing calculations in the bar complex to computations in the smaller Chouhy–Solotar complex.

8. Applications in Fukaya Categories and Braiding Functors

Morita invariance yields $e_{i+1} \to e_i$4, $e_{i+1} \to e_i$5. Low-degree cohomology classes produce explicit $e_{i+1} \to e_i$6-natural transformations $e_{i+1} \to e_i$7 and $e_{i+1} \to e_i$8, whose components $e_{i+1} \to e_i$9 are given by summations over dot-counts and strand-pictures with coefficients derived from the Hochschild cocycles.

This framework determines the higher $s_i$0-data encoded in braiding functors and their natural transformations, enabling the categorical formulation of braid cobordism actions within the Fukaya category context, specifically for the Coulomb branch $s_i$1 of the $s_i$2 quiver gauge theory (Tong, 13 Nov 2025).