Pullback Algebras in Categorical Algebra

• Pullback algebras are defined as the fibered product of algebras over a common base using compatible morphisms, satisfying a universal property.
• They model gluing, reduction, and extension phenomena in operator algebras, graph C*-algebras, and noncommutative topology.
• Their framework extends to multi-pullbacks and nonlinear constructions, supporting equivariant, graded, and homotopical applications in modern algebra.

A pullback algebra is a universal construction in categorical algebra that produces an object equipped with morphisms to two given objects, subject to compatibility over a third. In operator algebras, particularly $C^*$-algebras and their relatives, pullback algebras encode the fibered product structure over a common "base," providing a powerful framework for modeling gluing, reduction, and extension phenomena in noncommutative geometry, $K$-theory, and representation theory. In graph algebra and noncommutative topology contexts, pullbacks serve as the algebraic counterpart of topological gluing or fibered products of quantum spaces.

1. Categorical and Algebraic Definition

Given $*$-homomorphisms $\varphi:A \to C$, $\psi: B \to C$ between unital $C^*$-algebras, the pullback algebra $A \times_C B$ is defined as

$$A \times_C B = \{ (a,b) \in A \oplus B \mid \varphi(a) = \psi(b) \}$$

with the coordinate projections to $A$ and $B$. This construction satisfies the universal property:

• For any $K$0-algebra $K$1 and $K$2-homomorphisms $K$3, $K$4 such that $K$5, there exists a unique $K$6-homomorphism $K$7 making the diagram commute (Antoine et al., 2011).

In arbitrary algebraic categories, the fibered product is the limit of the diagram $K$8. This definition extends to multi-pullbacks (over multiple objects), with the object consisting of tuples constrained by compatibility under families of morphisms (Hajac et al., 2012).

2. Pullbacks in Graph $K$9-Algebras and Relative Toeplitz Algebras

In the theory of graph $*$0-algebras, pullbacks arise naturally when gluing graphs along subgraphs or hereditary sets. For a pushout diagram of graphs

$*$1

where $*$2 are relative graphs and morphisms are injective graph maps with suitable hereditary and regularity conditions, the pushout graph $*$3 induces a square of quotient maps: $*$4 commuting over $*$5. This diagram is a pullback of $*$6-algebras if and only if the admissibility condition $*$7 holds. Equivalently, the sum of certain gauge-invariant ideals equals the kernel ideal controlling the hereditary data (Brooker et al., 2022).

In the acyclic (AF) case, pushouts of admissible inclusions correspond to pullbacks of the associated AF graph $*$8-algebras (Chirvasitu et al., 2019).

3. Equivariant, Graded, and Topological Variations

When the algebras are equipped with group actions (e.g., gauge $*$9 or $\varphi:A \to C$0 actions), the pullback construction must respect equivariance. For example, pullbacks of Leavitt path algebras graded by $\varphi:A \to C$1 (via the gauge action) induce pullbacks in the category of graded or equivariant $\varphi:A \to C$2-algebras upon completion (Hajac et al., 2018, Chirvasitu, 2019, Arici et al., 2017). The fixed-point subalgebra under such group actions often inherits a pullback structure of AF-algebras, facilitating explicit $\varphi:A \to C$3-theory computations.

For topological graph $\varphi:A \to C$4-algebras (Katsura's construction), pullbacks arise from adjunction spaces (generalized pushouts) via regular closed subgraphs and regular factor maps. The main result is that the $\varphi:A \to C$5-algebra of the adjunction graph is a $\varphi:A \to C$6-equivariant pullback of the $\varphi:A \to C$7-algebras of the pieces being glued, provided a compatibility condition on singular vertices holds (Gothe et al., 13 Jun 2025). This generalizes discrete graph cases and covers quantum spheres and related quantum CW-complex decompositions.

Table: Key Pullback Theorems in Graph and Topological Graph Algebras

Setting	Necessary Condition	Structure
Relative Toeplitz graph $\varphi:A \to C$8	$\varphi:A \to C$9 (admissibility)	Pullback (Brooker et al., 2022)
AF graph $\psi: B \to C$0	Admissible inclusion	Pullback (Chirvasitu et al., 2019)
Topological graph $\psi: B \to C$1	Regular adjunction, singular-vertex compatibility	Pullback (Gothe et al., 13 Jun 2025)

4. Homotopical and Nonlinear Pullback Algebras

Voronov introduced microformal pullbacks on algebras of functions on (super)manifolds, defined via canonical relations with generating functions. These nonlinear pullbacks constitute a formal category (microformal or thick category), extending the classical functorial pullbacks to formal, higher-derivative (nonlinear) operators (Voronov, 2014, Voronov, 2014). In this context:

• Objects are (super)manifolds, morphisms are formal canonical relations, and their composition is given by formal power series in cotangent directions.
• The pullback $\psi: B \to C$2, defined via stationary-phase equations involving a generating function $\psi: B \to C$3, is nonlinear but its linearization at any function is an ordinary algebra homomorphism.
• Such nonlinear homomorphisms form the natural morphisms between homotopy Poisson or Schouten algebras, inducing $\psi: B \to C$4-morphisms and generalizing the functoriality known from smooth maps.

The quantum analog involves Fourier-integral operators (quantum thick morphisms), with the classical pullback recovered as the semiclassical ($\psi: B \to C$5) limit.

5. Multi-Pullbacks and Cocycle Conditions

The notion of multi-pullbacks generalizes binary pullbacks to diagrams with more than two objects. For a family $\psi: B \to C$6 indexed by $\psi: B \to C$7, the multi-pullback is

$\psi: B \to C$8

For surjective homomorphisms with distributive lattices of ideals, the cocycle condition is necessary and sufficient for the full sheaf-like embedding of partial gluings into the total multi-pullback. This condition involves the commutativity and compatibility of induced isomorphisms between quotient algebras over triple overlaps and is strictly stronger than mere distributivity (Hajac et al., 2012).

Applications of multi-pullbacks include the construction of function algebras of glued topological spaces, piecewise principal comodule algebras, and quantum projective spaces.

6. Pullbacks and the Cuntz Semigroup

The Cuntz semigroup functor $\psi: B \to C$9 (from the category of $C^*$0-algebras to ordered semigroups) preserves pullbacks under suitable hypotheses. If $C^*$1 is surjective and $C^*$2 has stable rank one and vanishing $C^*$3 on ideals, then

$C^*$4

as ordered semigroups (Antoine et al., 2011). This allows explicit computation of the Cuntz semigroup for function algebras and recursive subhomogeneous $C^*$5-algebras via iterated pullbacks, and provides a concrete description: $C^*$6 when $C^*$7 has dim $C^*$8 and $C^*$9 meets the required conditions.

7. Applications and Examples

Prominent examples of pullback algebras include:

• The decomposition of quantum spheres and quantum teardrops as pullbacks of ball and sphere $A \times_C B$0-algebras, supporting Mayer–Vietoris sequences in $A \times_C B$1-theory (Chirvasitu et al., 2019, Arici et al., 2017, Gothe et al., 13 Jun 2025).
• Trimmable graph and Leavitt path algebras as pullbacks over subgraphs and gauge-twisted extensions, resulting in graded or equivariant pullbacks (Hajac et al., 2018).
• Universal factorization algebras, where the pullback along an étale map of schemes is constructed at the level of weak factorization data and then glued (inductively) to produce global factorization spaces or algebras (Cliff, 2016).

A plausible implication is that pullback techniques will continue to underpin the construction of noncommutative models for quantum spaces and facilitate classification in areas where direct methods are intractable.

---

References:

• "Relative graphs and pullbacks of relative Toeplitz graph algebras" (Brooker et al., 2022)
• "Non-surjective pullbacks of graph C*-algebras from non-injective pushouts of graphs" (Chirvasitu et al., 2019)
• "An equivariant pullback structure of trimmable graph C*-algebras" (Arici et al., 2017)
• "A graded pullback structure of Leavitt path algebras of trimmable graphs" (Hajac et al., 2018)
• "Leavitt vs. $A \times_C B$2 pullbacks" (Chirvasitu, 2019)
• "Gluing topological graph C*-algebras" (Gothe et al., 13 Jun 2025)
• "The cocycle condition for multi-pullbacks of algebras" (Hajac et al., 2012)
• "Pullbacks, $A \times_C B$3-algebras, and their Cuntz semigroup" (Antoine et al., 2011)
• "Nonlinear pullbacks" of functions and $A \times_C B$4-morphisms for homotopy Poisson structures" (Voronov, 2014)
• "Microformal geometry and homotopy algebras" (Voronov, 2014)
• "Universal factorization spaces and algebras" (Cliff, 2016)