Quiver products
$\gdef\badDispatch#1{\textbf{\textcolor{e1432d}{#1}}} \gdef\noKatexForm#1{\badDispatch{#1}} \gdef\largeDot{\raisebox{0.06em}{\tiny∙}} \gdef\rarrbar{{\raisebox{-0.05em}{→}\mkern{-0.13em}{\large\shortmid}}} \gdef\larrbar{{{\large\shortmid}\mkern{-0.13em}{\raisebox{-0.05em}{←}}}} \gdef\suptrans{^\mathsf{T}} \gdef\supdagger{^\dagger} \gdef\cardinalRewrite#1#2{\rewrite{#1}{#2}} \gdef\primed#1{{#1}^{\prime}} \gdef\tinybullet{{\tiny●}} \gdef\factsym#1{\mathord{#1}} \gdef\forwardFactor{\factsym{\uparrow}} \gdef\backwardFactor{\factsym{\downarrow}} \gdef\forwardBackwardFactor{\factsym{\updownarrow}} \gdef\forwardBackwardNeutralFactor{\factsym{\mathrlap{\downarrow}{\mathrlap{\uparrow}{\endash} } }} \gdef\neutralFactor{\factsym{\shornarrow}} \gdef\edgedot{↫} \gdef\desym{\mathbin{↣}} \gdef\uesym{\mathbin{↢}} \gdef\de#1#2{{{#1}\desym{#2}}} \gdef\ue#1#2{{{#1}\uesym{#2}}} \gdef\shifttag#1{\raisebox{-1em}{#1}} \gdef\shifttag#1{#1} \gdef\tde#1#2#3{{#1}\:\xrightedge{\shifttag{#3}}\;{#2}} \gdef\tue#1#2#3{{#1}\;\xundirectededge{\shifttag{#3}}\;{#2}} \gdef\shiftunderset#1#2{\underset{\raisebox{0.15em}{\scriptsize #1}}{#2}} \gdef\mdtde#1#2#3#4{{#1}\,\;\shiftunderset{#4}{\xrightedge{#3}}\;{#2}} \gdef\mtue#1#2#3#4{{#1}\,\;\shiftunderset{#4}{\xundirectededge{#3}}\;\,{#2}} \gdef\mtde#1#2#3#4{{#1}\,\;\operatornamewithlimits{\xrightedge{#3}}\limits_{#4} \;{#2}} \gdef\mapsfrom{\htmlClass{hreflect}{\mapsto}} \gdef\longmapsfrom{\htmlClass{hreflect}{\longmapsto}} \gdef\diffd{𝕕} \gdef\partialdof#1{\partial {#1}} \gdef\textAnd{\text{\,and\,}} \gdef\identicallyEqualSymbol{\equiv} \gdef\congruentSymbol{\equiv} \gdef\isomorphicSymbol{\simeq} \gdef\homeomorphicSymbol{\cong} \gdef\homotopicSymbol{\simeq} \gdef\approxEqualSymbol{\approx} \gdef\bijectiveSymbol{\approx} \gdef\defeq{\mathrel{≝}} \gdef\defEqualSymbol{\mathrel{≝}} \gdef\syntaxEqualSymbol{\mathrel{\textcolor{888888}{\equiv}}} \gdef\tailEqualSymbol{\underdot{=}} \gdef\headEqualSymbol{\dot{=}} \gdef\ruledelayed{:\to} \gdef\mathdollar{\text{\textdollar}} \gdef\hyphen{\text{-}} \gdef\endash{\text{--}} \gdef\emdash{\text{---}} \gdef\updownarrows{\uparrow\!\downarrow} \gdef\vthinspace{\mkern{1pt}} \gdef\dlq{\text{\textquotedblleft}} \gdef\drq{\text{\textquotedblright}} \gdef\dprime{{\prime\prime}} \gdef\inverse#1{{{#1}^{-1}}} \gdef\inverseSymbol{\inverse{□}} \gdef\groupDirectProduct#1{#1} \gdef\groupDirectProductSymbol{\times} \gdef\groupInverse{\inverse} \gdef\groupPower#1#2{{#1}^{#2}} \gdef\groupCommutator#1#2{\left[{#1},{#2}\right]} \gdef\groupoidInverse{\inverse} \gdef\latticeBFS#1{\textrm{bfs}({#1})} \gdef\pathHomomorphism#1{#1} \gdef\groupoidFunction#1{#1} \gdef\groupoidHomomorphism#1{#1} \gdef\affineModifier#1{\overrightharpoon{#1}} \gdef\supercirc#1{#1^{\circ}} \gdef\supercircb#1{#1^{\bullet}} \gdef\blackCircleModifier#1{\supercircb{#1}} \gdef\whiteCircleModifier#1{\supercirc{#1}} \gdef\totalSpaceStyle#1{\piFo{#1}} \gdef\baseSpaceStyle#1{\blFo{#1}} \gdef\fiberSpaceStyle#1{\reFo{#1}} \gdef\totalSpaceElementStyle#1{\daPiFo{#1}} \gdef\baseSpaceElementStyle#1{\daBlFo{#1}} \gdef\fiberSpaceElementStyle#1{\daReFo{#1}} \gdef\bundleProjectionStyle#1{\daGrFo{#1}} \gdef\bundleGraphStyle#1{\piFo{#1}} \gdef\bundleSectionStyle#1{\daOrFo{#1}} \gdef\bundleFunctionStyle#1{\daPiFo{#1}} \gdef\graphFunctionStyle#1{\totalSpaceStyle{#1}} \gdef\projectionFunctionStyle#1{\totalSpaceStyle{#1}} \gdef\sectionFunctionStyle#1{\totalSpaceStyle{#1}} \gdef\functionGraph#1{G_{#1}} \gdef\toroidalModifier#1{\supercirc{#1}} \gdef\modulo#1{\supercirc{#1}} \gdef\dividesSymbol{\mathrel{|}} \gdef\groupFunction#1{#1} \gdef\groupHomomorphism#1{#1} \gdef\automorphisms{\operatorname{Aut}} \gdef\endomorphisms{\operatorname{End}} \gdef\transportMap#1{\transportMapSymbol_{#1}} \gdef\transportMapSymbol{\tau} \gdef\action#1{#1} \gdef\selfAction#1{\hat{#1}} \gdef\actionGroupoid#1{\utilde{#1}} \gdef\cardinalGroup#1{G^*({#1})} \gdef\signed#1{{#1}^*} \gdef\transportAtlas#1{T_{#1}} \gdef\inverted#1{\underline{#1}} \gdef\mirror#1{\overline{#1}} \gdef\pathComposeSymbol{\mathbin{∷}} \gdef\pathCompose#1#2{{#1}\pathComposeSymbol{#2}} \gdef\translateSymbol{\mathbin{\uparrow}} \gdef\backwardTranslateSymbol{\mathbin{\downarrow}} \gdef\pathHead#1{\pathHeadVector{#1}} \gdef\pathTail#1{\pathTailVector{#1}} \gdef\pathHeadVector#1{{#1}^{\bullet}} \gdef\pathTailVector#1{{#1}_{\bullet}} \gdef\pathReverse#1{{#1}^{\dagger}} \gdef\pathIntegral#1#2{{#1} \int {#2}} \gdef\pathIntegralSymbol{{\int}} \gdef\pathDot#1#2{{#1} \cdot {#2}} \gdef\pathDotSymbol{{\cdot}} \gdef\compactBasis#1{\mathscr{B}} \gdef\length{\operatorname{len}} \gdef\signedLength{\operatorname{len^*}} \gdef\andFn{\operatorname{and}} \gdef\orFn{\operatorname{or}} \gdef\notFn{\operatorname{not}} \gdef\vertexList{\operatorname{vertices}} \gdef\vertexList{\operatorname{vertices}} \gdef\edgeList{\operatorname{edges}} \gdef\pathList{\operatorname{paths}} \gdef\cardinalList{\operatorname{cards}} \gdef\signedCardinalList{\operatorname{cards^*}} \gdef\wordOf{\operatorname{word}} \gdef\headVertex{\operatorname{head}} \gdef\tailVertex{\operatorname{tail}} \gdef\basis{\operatorname{basis}} \gdef\split{\operatorname{split}} \gdef\lcm{\operatorname{lcm}} \gdef\minimalContractionSets{\operatorname{MCSets}} \gdef\minimalContractions{\operatorname{MC}} \gdef\grade{\operatorname{grade}} \gdef\support{\operatorname{support}} \gdef\coefficient{\operatorname{coeff}} \gdef\domain{\operatorname{domain}} \gdef\codomain{\operatorname{codomain}} \gdef\modFunction{\operatorname{mod}} \gdef\clip{\operatorname{clip}} \gdef\sign{\operatorname{sign}} \gdef\step{\operatorname{step}} \gdef\projection{\operatorname{proj}} \gdef\lift{\operatorname{lift}} \gdef\identity{\operatorname{id}} \gdef\total{\operatorname{total}} \gdef\torus{\operatorname{torus}} \gdef\mobius{\operatorname{mobius}} \gdef\stateCompose{\operatorname{glue}} \gdef\infixStateComposeSymbol{\_} \gdef\stateDecompose{\operatorname{melt}} \gdef\stateJoin{\operatorname{conj}} \gdef\stateMeet{\operatorname{disj}} \gdef\stateExtent{\operatorname{extent}} \gdef\stateIntent{\operatorname{intent}} \gdef\infixStateJoinSymbol{\sqcup} \gdef\infixStateMeetSymbol{\sqcap} \gdef\isPrime#1{#1\textrm{ prime}} \gdef\blank{\_} \gdef\emptyWord{} \gdef\multiwordSymbol#1{\mathbf{#1}} \gdef\wordSymbol#1{\mathtt{#1}} \gdef\word#1{#1} \gdef\pathMap#1{#1} \gdef\function#1{#1} \gdef\imageModifier#1{{#1}^{\rightarrow}} \gdef\preimageModifier#1{{#1}^{\leftarrow}} \gdef\multiImageColorModifier#1{\msetCol{#1}} \gdef\multiImageModifier#1{{#1}^{\Rightarrow}} \gdef\multiPreimageModifier#1{{#1}^{\Leftarrow}} \gdef\functionComposition#1{#1} \gdef\functionCompositionSymbol{\mathbin{\small ∘}} \gdef\rightFunctionComposition#1{#1} \gdef\rightFunctionCompositionSymbol{\mathbin{\tiny ●}} \gdef\route#1#2#3{[{#1}\!:\!{#2}\!:\!{#3}]} \gdef\multiroute#1#2#3{[{#1}\!:\!{#2}\!:\!{#3}]} \gdef\pathWord#1#2#3{{#1}\!:\!{#2}\!:\!{#3}} \gdef\parenPathWord#1#2#3{\left(\pathWord{#1}{#2}{#3}\right)} \gdef\nullPath{\bot} \gdef\nullElement{\bot} \gdef\path#1{#1} \gdef\vert#1{#1} \gdef\underdot#1{\underset{\raisebox{0.3em}{.}}{#1}} \gdef\headVertexSymbol{◨} \gdef\tailVertexSymbol{◧} \gdef\placeholderVertexSymbol{\mathrlap{◨}{◧}} \gdef\tvert#1{\underdot{#1}} \gdef\hvert#1{\dot{#1}} \gdef\edge#1{#1} \gdef\card#1{\mathtt{#1}} \gdef\path#1{#1} \gdef\quiver#1{#1} \gdef\bindingRuleSymbol{\to} \gdef\compactBindingRuleSymbol{:} \gdef\cayleyQuiverSymbol#1{\selfAction{#1}} \gdef\bindCayleyQuiver#1#2{\selfAction{#1}[#2]} \gdef\bindActionQuiver#1#2{#1[#2]} \gdef\bindSize#1#2{#1(#2)} \gdef\bindCardSize#1#2{#1[#2]} \gdef\bindCards#1#2{#1[#2]} \gdef\subSize#1#2{#1_{#2}} \gdef\gridQuiver#1{\textrm{Grid}^{#1}} \gdef\treeQuiver#1{\textrm{Tree}^{#1}} \gdef\bouquetQuiver#1{\textrm{Bq}^{#1}} \gdef\lineQuiver{\textrm{L}} \gdef\cycleQuiver{\textrm{C}} \gdef\squareQuiver{\textrm{Sq}} \gdef\cubicQuiver{\textrm{Cbc}} \gdef\triangularQuiver{\textrm{Tri}} \gdef\hexagonalQuiver{\textrm{Hex}} \gdef\rhombilleQuiver{\textrm{Rmb}} \gdef\limit#1#2{\lim_{#2}\,#1} \gdef\realVectorSpace#1{\mathbb{R}^{#1}} \gdef\complexVectorSpace#1{\mathbb{C}^{#1}} \gdef\matrixRing#1#2{M_{#2}(#1)} \gdef\groupoid#1{#1} \gdef\group#1{#1} \gdef\field#1{#1} \gdef\ring#1{#1} \gdef\variable#1{#1} \gdef\semiring#1{#1} \gdef\sym#1{#1} \gdef\matrix#1{#1} \gdef\tupleSym#1{#1} \gdef\polynomial#1{#1} \gdef\setLetter{\mathcal{S}} \gdef\signedSetLetter{\mathcal{S^*}} \gdef\multisetLetter{\mathcal{M}} \gdef\signedMultisetLetter{\mathcal{M^*}} \gdef\multisetSemiringSymbol#1{#1} \gdef\multisetSemiring#1#2{\multisetLetter\left[#1, #2\right]} \gdef\signedMultisetRingSymbol#1{#1} \gdef\signedMultisetRing#1#2{\signedMultisetLetter\left[#1, #2\right]} \gdef\polynomialRing#1#2{#1[{#2}]} \gdef\routeSymbol#1{#1} \gdef\multirouteSymbol#1{\mathbf{#1}} \gdef\planSymbol#1{\mathbf{#1}} \gdef\ringElement#1{#1} \gdef\tuplePart#1#2{#1\llbracket{#2}\rrbracket} \gdef\matrixPart#1#2#3{#1\llbracket{#2,#3}\rrbracket} \gdef\matrixRowPart#1{#1} \gdef\matrixColumnPart#1{#1} \gdef\subMatrixPart#1#2#3{#1_{#2,#3}} \gdef\matrixDotSymbol{\cdot} \gdef\matrixPlusSymbol{+} \gdef\wordGroup#1{\wordGroupSymbol_{#1}} \gdef\wordGroupSymbol{\Omega} \gdef\wordRing#1{\wordRingSymbol_{#1}} \gdef\wordRingSymbol{\Omega\!\degree} \gdef\wordRingElement#1{#1} \gdef\wordRingBasisElement#1{e_{#1}} \gdef\linearCombinationCoefficient#1{{\textcolor{888888}{#1}}} \gdef\plan#1{#1} \gdef\planRing#1{\planRingSymbol_{#1}} \gdef\planRingSymbol{\Phi} \gdef\basisPath#1#2{\mathbf{#1}_{#2}} \gdef\basisPathWeight#1#2{{#1}_{#2}} \gdef\unitSymbol{\mathbf{e}} \gdef\unitVertexField{\unitSymbol_1} \gdef\forwardSymbol{f} \gdef\backwardSymbol{b} \gdef\symmetricSymbol{s} \gdef\antisymmetricSymbol{a} \gdef\wordVector#1#2{\unitSymbol_{#1}^{#2}} \gdef\gradOf#1{\grad\,{#1}} \gdef\grad{\nabla} \gdef\divOf#1{\div\,{#1}} \gdef\div{\dot{\nabla}} \gdef\laplacianOf#1{\laplacian\,{#1}} \gdef\laplacian{\ddot{\nabla}} \gdef\suchThat#1#2{{#1}\,\big|\,{#2}} \gdef\chart#1{\chartSymbol_{#1}} \gdef\chartSymbol{C} \gdef\graphRegionIntersectionSymbol{\cap} \gdef\graphRegionUnionSymbol{\cup} \gdef\pathIso{\simeq} \gdef\factorial#1{#1!} \gdef\power#1#2{{#1}^{#2}} \gdef\repeatedPower#1#2{{#1}^{#2}} \gdef\kroneckerDeltaForm#1{\kroneckerDeltaSymbol_{#1}} \gdef\kroneckerDeltaSymbol{\delta} \gdef\contractionLattice#1{\operatorname{Con}(#1)} \gdef\contractedRelation#1{\sim_{#1}} \gdef\isContracted#1#2{{#1} \sim {#2}} \gdef\isContractedIn#1#2#3{{#1} \sim_{#3} {#2}} \gdef\isNotContracted#1#2{{#1} \not \sim {#2}} \gdef\isNotContractedIn#1#2#3{{#1} \not \sim_{#3} {#2}} \gdef\contractionSum#1{#1} \gdef\contractionSumSymbol{\sqcup} \gdef\contractionProduct#1{#1} \gdef\contractionProductSymbol{{\cdot}} \gdef\graph#1{#1} \gdef\graphHomomorphism#1{#1} \gdef\coversSymbol{\sqsupseteq} \gdef\coveredBySymbol{\sqsubseteq} \gdef\strictlyCoversSymbol{\sqsupset} \gdef\strictlyCoveredBySymbol{\sqsubset} \gdef\graphCovering#1#2#3{{#2} \sqsupseteq_{#1} {#3}} \gdef\quiverCovering#1#2#3{{#2} \sqsupseteq^{#1} {#3}} \gdef\powerSetSymbol{\mathcal{P}} \gdef\powerSet#1{\powerSetSymbol({#1})} \gdef\existsForm#1#2{\exists\,{#1}\,:\,{#2}} \gdef\forAllForm#1#2{\forall\,{#1}\,:\,{#2}} \gdef\notted#1{\notSymbol {#1}} \gdef\andSymbol{\land} \gdef\orSymbol{\lor} \gdef\notSymbol{\lnot} \gdef\latticeSymbol#1{#1} \gdef\meetSemilatticeSymbol#1{#1} \gdef\joinSemilatticeSymbol#1{#1} \gdef\posetSymbol#1{#1} \gdef\latticeElementSymbol#1{#1} \gdef\meetSemilatticeElementSymbol#1{#1} \gdef\joinSemilatticeElementSymbol#1{#1} \gdef\posetElementSymbol#1{#1} \gdef\latticeMeetSymbol{\wedge} \gdef\latticeJoinSymbol{\vee} \gdef\latticeTop{\top} \gdef\latticeBottom{\bot} \gdef\semilatticeMeetSymbol{\wedge} \gdef\semilatticeJoinSymbol{\vee} \gdef\semilatticeTop{\top} \gdef\semilatticeBottom{\bot} \gdef\semilatticeSemimeetSymbol{\wedge} \gdef\semilatticeSemijoinSymbol{\vee} \gdef\latticeGreaterSymbol{>} \gdef\latticeGreaterEqualSymbol{\ge} \gdef\latticeLessSymbol{<} \gdef\latticeLessEqualSymbol{\le} \gdef\posetGreaterSymbol{>} \gdef\posetGreaterEqualSymbol{\ge} \gdef\posetLessSymbol{<} \gdef\posetLessEqualSymbol{\le} \gdef\posetCoversSymbol{⋗} \gdef\posetCoveredBySymbol{⋖} \gdef\grpname#1{\operatorname{\mathsf{#1}}} \gdef\mkg#1#2#3{\grpname{#1}({#2},{#3})} \gdef\mka#1#2#3{\mathfrak{#1}({#2},{#3})} \gdef\generalLinearAlgebra#1#2{\mka{gl}{#1}{#2}} \gdef\generalLinearGroup#1#2{\mkg{GL}{#1}{#2}} \gdef\specialLinearAlgebra#1#2{\mka{sl}{#1}{#2}} \gdef\specialLinearGroup#1#2{\mkg{SL}{#1}{#2}} \gdef\projectiveGeneralLinearAlgebra#1#2{\mka{pgl}{#1}{#2}} \gdef\projectiveGeneralLinearGroup#1#2{\mkg{PGL}{#1}{#2}} \gdef\projectiveSpecialLinearAlgebra#1#2{\mka{psl}{#1}{#2}} \gdef\projectiveSpecialLinearGroup#1#2{\mkg{PSL}{#1}{#2}} \gdef\orthogonalAlgebra#1#2{\mka{o}{#1}{#2}} \gdef\orthogonalGroup#1#2{\mkg{O}{#1}{#2}} \gdef\specialOrthogonalAlgebra#1#2{\mka{so}{#1}{#2}} \gdef\specialOrthogonalGroup#1#2{\mkg{SO}{#1}{#2}} \gdef\unitaryAlgebra#1{\mka{u}{#1}{#2}} \gdef\unitaryGroup#1{\mkg{U}{#1}{#2}} \gdef\specialUnitaryAlgebra#1#2{\mka{su}{#1}{#2}} \gdef\specialUnitaryGroup#1#2{\mkg{su}{#1}{#2}} \gdef\spinAlgebra#1#2{\mka{spin}{#1}{#2}} \gdef\spinGroup#1#2{\mkg{Spin}{#1}{#2}} \gdef\pinAlgebra#1#2{\mka{pin}{#1}{#2}} \gdef\pinGroup#1#2{\mkg{Pin}{#1}{#2}} \gdef\symmetricGroup#1{\grpname{Sym}({#1})} \gdef\presentation#1{#1} \gdef\groupPresentation#1#2{\left\langle\,{#1}\,\,\middle|\mathstrut\,\,{#2}\,\right\rangle} \gdef\groupRelationIso{=} \gdef\groupGenerator#1{#1} \gdef\groupRelator#1{#1} \gdef\groupElement#1{#1} \gdef\identityElement#1{#1} \gdef\groupoidElement#1{#1} \gdef\groupIdentity#1{#1} \gdef\groupoidIdentityElement#1#2{#1_{#2}} \gdef\ringIdentity#1{#1} \gdef\iconstruct#1#2{{#1}\,\,\middle|{\large\mathstrut}\,\,{#2}} \gdef\setConstructor#1#2{\left\{\,\iconstruct{#1}{#2}\,\right\}} \gdef\multisetConstructor#1#2{\left\{\mkern{-2.3pt}\left|\,\,\iconstruct{#1}{#2}\,\right|\mkern{-2.3pt}\right\}} \gdef\cardinalityConstructor#1#2{\left|\,\iconstruct{#1}{#2}\,\right|} \gdef\setToMultiset#1{{#1}^\uparrow} \gdef\multisetToSet#1{{#1}^\downarrow} \gdef\subsets#1{\setLetter({#1})} \gdef\signedSubsets#1{\signedSetLetter({#1})} \gdef\multisets#1{\multisetLetter({#1})} \gdef\signedMultisets#1{\signedMultisetLetter({#1})} \gdef\circleSpaceSymbol{S} \gdef\topologicalSpace#1{#1} \gdef\bundleSection#1{#1} \gdef\bundleProjection#1{#1} \gdef\setSymbol#1{#1} \gdef\signedSetSymbol#1{#1} \gdef\multisetSymbol#1{#1} \gdef\signedMultisetSymbol#1{#1} \gdef\setElementSymbol#1{#1} \gdef\signedSetElementSymbol#1{#1} \gdef\multisetElementSymbol#1{#1} \gdef\signedMultisetElementSymbol#1{#1} \gdef\negated#1{\bar{#1}} \gdef\positiveSignedPart#1{{#1}^+} \gdef\negativeSignedPart#1{{#1}^-} \gdef\multisetMultiplicitySymbol{\,\raisebox{.1em}{\small\#}\mkern{.1em}\,} \gdef\signedMultisetMultiplicitySymbol{\,\raisebox{.1em}{\small\#}\mkern{.1em}\,} \gdef\boundMultiplicityFunction#1{{#1}^{\sharp}} \gdef\boundSignedMultiplicityFunction#1{\operatorname{{#1}^{\sharp}}} \gdef\constructor#1#2{\left.{#1}\,\,\middle|\mathstrut\,\,{#2}\right.} \gdef\elemOf#1#2{{ {#1} \in {#2} }} \gdef\notElemOf#1#2{{ {#1} \notin {#2} }} \gdef\edgeOf#1#2{{ {#1} {\in}_E {#2} }} \gdef\vertOf#1#2{{ {#1} {\in}_V {#2} }} \gdef\pathOf#1#2{{ {#1} {\in}_P {#2} }} \gdef\pathType#1{\operatorName{path}{#1}} \gdef\vertexType#1{\operatorName{vertex}{#1}} \gdef\edgeType#1{\operatorName{edge}{#1}} \gdef\multisetType#1{\operatorName{mset}{#1}} \gdef\signedMultisetType#1{\operatorName{mset^*}{#1}} \gdef\submset{\mathbin{\dot{\subset}}} \gdef\submseteq{\mathbin{\dot{\subseteq}}} \gdef\supmset{\mathbin{\dot{\supset}}} \gdef\supmseteq{\mathbin{\dot{\supseteq}}} \gdef\unitInterval{\mathbb{I}} \gdef\fromTo#1{#1} \gdef\fromToSymbol{\mapsto} \gdef\vertexCountOf#1{|{#1}|} \gdef\vertices#1{ V_{#1} } \gdef\edges#1{ E_{#1} } \gdef\vertexField#1{#1} \gdef\edgeField#1{#1} \gdef\pathVector#1{\mathbf{#1}} \gdef\pathVectorSpace#1{\mathscr{#1}} \gdef\baseField#1{#1} \gdef\finiteField#1{\mathbb{F}_{#1}} \gdef\functionSpace#1#2{#2^{#1}} \gdef\finiteTotalFunctionSpace#1#2{#2^{\sub #1}} \gdef\pathGroupoid#1{{ \Gamma_{#1} }} \gdef\forwardPathQuiver#1#2{{\overrightharpoon{#1}_{#2}}} \gdef\backwardPathQuiver#1#2{{\overrightharpoon{#1}^{#2}}} \gdef\pathQuiver#1{{\overrightharpoon{#1}}} \gdef\mto#1#2{{#1}\mapsto{#2}} \gdef\mtoSymbol{\mapsto} \gdef\groupWordRewriting#1{\langle{#1}\rangle} \gdef\rewrite#1#2{{#1}\mapsto{#2}} \gdef\rewritingRule#1#2{{#1}\mapsto{#2}} \gdef\rewritingSystem#1{\mathcal{#1}} \gdef\multiwayBFS#1{\textrm{bfs}({#1})} \gdef\rewritingStateBinding#1#2{{\left.{#1}\!\mid\!{#2}\right.}} \gdef\rewritingRuleBinding#1#2{#1{\left[\,{#2}\,\right]}} \gdef\namedSystem#1{\mathtt{#1}} \gdef\genericRewritingSystem{\namedSystem{Sys}} \gdef\stringRewritingSystem{\namedSystem{Str}} \gdef\circularStringRewritingSystem{\namedSystem{CStr}} \gdef\turingMachineRewritingSystem{\namedSystem{TM}} \gdef\cellularAutomatonRewritingSystem{\namedSystem{CA}} \gdef\graphRewritingSystem{\namedSystem{Gr}} \gdef\hypergraphRewritingSystem{\namedSystem{HGr}} \gdef\petriNetRewritingSystem{\namedSystem{Petri}} \gdef\localStates#1{\localStatesSymbol^#1} \gdef\regionalStates#1{\regionalStatesSymbol^#1} \gdef\globalStates#1{\globalStatesSymbol^#1} \gdef\keySubStates#1{\keySubStatesSymbol^#1} \gdef\valueSubStates#1{\valueSubStatesSymbol^#1} \gdef\localState#1#2{#2_{#1}} \gdef\regionalState#1{#1} \gdef\globalState#1{#1} \gdef\keySubState#1{#1} \gdef\valueSubState#1{#1} \gdef\lhsState#1{#1_{L}} \gdef\rhsState#1{#1_{R}} \gdef\rewriteLHSRegionalState#1{#1_{L}} \gdef\rewriteRHSRegionalState#1{#1_{R}} \gdef\regionalStateForm#1{\daGFo{(}#1\daGFo{)}} \gdef\invalidRegionalState{\reFo{\times}} \gdef\emptyRegionalState{\regionalStateForm{}} \gdef\regionalSubstateSymbol{\sqsubseteq} \gdef\regionalSuperstateSymbol{\sqsupseteq} \gdef\comparableRegionalStatesSymbol{\mathbin{\square}} \gdef\incomparableRegionalStatesSymbol{\mathbin{\boxtimes}} \gdef\namedStateSet#1{\mathbf #1} \gdef\localStatesSymbol{\namedStateSet L} \gdef\regionalStatesSymbol{\namedStateSet R} \gdef\globalStatesSymbol{\namedStateSet G} \gdef\keySubStatesSymbol{\namedStateSet L_K} \gdef\valueSubStatesSymbol{\namedStateSet L_V} \gdef\localStateSymbol#1{#1} \gdef\regionalStateSymbol#1{#1} \gdef\globalStateSymbol#1{#1} \gdef\keySubStateSymbol#1{#1} \gdef\valueSubStateSymbol#1{#1} \gdef\infixComposeLocalStatesSymbol{\_} \gdef\composeLocalStatesSymbol{\operatorname{glue}} \gdef\composeLocalStatesForm#1{\composeLocalStatesSymbol(#1)} \gdef\ncard#1{\card{\inverted{#1}}} \gdef\mcard#1{\card{\mirror{#1}}} \gdef\nmcard#1{\card{\inverted{\mirror{#1}}}} \gdef\assocArray#1{\left\langle {#1} \right\rangle} \gdef\openMultiset{\lBrace} \gdef\closeMultiset{\rBrace} \gdef\set#1{\{ {#1} \}} \gdef\signedSet#1{\{ {#1} \}} \gdef\list#1{\{ {#1} \}} \gdef\multiset#1{\openMultiset {#1} \closeMultiset} \gdef\signedMultiset#1{\openMultiset {#1} \closeMultiset} \gdef\styledSet#1#2{#1\{ {#1} #1\}} \gdef\styledList#1#2{#1\{ {#1} #1\}} \gdef\styledMultiset#1#2{#1\openMultiset {#2} #1\closeMultiset} \gdef\styledSignedMultiset#1#2{\openMultiset {#2} \closeMultiset} \gdef\permutationCycle#1{#1} \gdef\permutationCycleSymbol{\to} \gdef\permutationSet#1{#1} \gdef\permutationSetSymbol{;} \gdef\transposition#1#2{{#1} \leftrightarrow {#2}} \gdef\tuple#1{( {#1} )} \gdef\concat#1{ {#1} } \gdef\paren#1{\left( {#1} \right)} \gdef\ceiling#1{\lceil{#1}\rceil} \gdef\floor#1{\lfloor{#1}\rfloor} \gdef\translationVector#1{\left[{#1}\right]_{\textrm{T}}} \gdef\quotient#1#2{{#1} / {#2}} \gdef\compactQuotient#1#2#3{{#1}\;{\upharpoonright_{#2}}\;{#3}} \gdef\multilineQuotient#1#2{\frac{#1}{#2}} \gdef\idElem#1{e_{#1}} \gdef\minus#1{-{#1}} \gdef\elem{\ \in\ } \gdef\vsp{\mkern{0.4pt}} \gdef\iGmult{\vsp} \gdef\gmult{\vsp\ast\vsp} \gdef\Gmult{\vsp\ast\vsp} \gdef\gdot{\vsp\cdot\vsp} \gdef\gDot{\vsp\mathbin{\largeDot}\vsp} \gdef\mdot{\vsp\cdot\vsp} \gdef\smallblackcirc{\vsp\raisebox{0.15em}{\tiny∙}\vsp} \gdef\smallwhitecirc{\vsp\raisebox{0.15em}{\tiny∘}\vsp} \gdef\sgdot{\mathbin{\smallwhitecirc}} \gdef\srdot{\mathbin{\smallblackcirc}} \gdef\srplus{+} \gdef\verticalEllipsis{\vdots} \gdef\appliedRelation#1{#1} \gdef\setUnionSymbol{\cup} \gdef\setIntersectionSymbol{\cap} \gdef\setRelativeComplementSymbol{-} \gdef\msetCol{\textcolor{bb4444}} \gdef\repeatedMultiset#1#2{#1\,#2} \gdef\msrdot{\mathbin{\smallblackcirc}} \gdef\msrplus{+} \gdef\smrdot{\mathbin{\smallblackcirc}} \gdef\smrplus{+} \gdef\dotminus{\mathbin{\dot{-}}} \gdef\dotcap{\mathbin{\dot{\cap}}} \gdef\dotcup{\mathbin{\dot{\cup}}} \gdef\multisetUnionSymbol{\dotcup} \gdef\multisetIntersectionSymbol{\dotcap} \gdef\multisetRelativeComplementSymbol{\dotminus} \gdef\multisetSumSymbol{\dotplus} \gdef\cartesianProductSymbol{\times} \gdef\functionType#1#2{{#1} \to {#2}} \gdef\functionSignature#1#2#3{{{#1} : {#2} \to {#3}}} \gdef\partialFunctionSignature#1#2#3{{{#1} : {#2} \rightharpoonup {#3}}} \gdef\poly#1{#1} \gdef\quiverProdPoly#1{#1} \gdef\quiverProdPower#1#2{#1^{#2}} \gdef\quiverProdTimes#1{#1} \gdef\parenLabeled#1#2{#1\ ({#2})} \gdef\parenRepeated#1#2{\parenLabeled{#1}{{#2}\text{ times}}} \gdef\underLabeled#1#2{\underbrace{#1}_{#2}} \gdef\underRepeated#1#2{\underbrace{#1}_{#2\text{ times}}} \gdef\overLabeled#1#2{\overbrace{#1}^{#2}} \gdef\overRepeated#1#2{\overbrace{#1}^{#2\text{ times}}} \gdef\modLabeled#1#2{{#1 }\textrm{ mod }{#2}} \gdef\freeGroup#1{F_{#1}} \gdef\cyclicGroup#1{\mathbb{Z}_{#1}} \gdef\componentSuperQuiverOfSymbol{\succ} \gdef\setCardinality#1{|{#1}|} \gdef\multisetCardinality#1{|{#1}|} \gdef\dependentQuiverProductSymbol{\mathbin{\times}} \gdef\rightIndependentQuiverProductSymbol{\mathbin{⋊}} \gdef\leftIndependentQuiverProductSymbol{\mathbin{⋉}} \gdef\rightStrongQuiverProductSymbol{\mathbin{⧒}} \gdef\leftStrongQuiverProductSymbol{\mathbin{⧑}} \gdef\rightFiberQuiverProductSymbol{\mathbin{⧕}} \gdef\leftFiberQuiverProductSymbol{\mathbin{⧔}} \gdef\lockedQuiverProductSymbol{\mathbin{\searrow}} \gdef\rightFreeQuiverProductSymbol{\mathbin{\smallerthan}} \gdef\leftFreeQuiverProductSymbol{\mathbin{\largerthan}} \gdef\strongIndependentQuiverProductSymbol{\mathbin{⨝}} \gdef\cartesianQuiverProductSymbol{\mathbin{□}} \gdef\strongQuiverProductSymbol{\mathbin{⊠}} \gdef\graphUnionSymbol{\sqcup} \gdef\graphProductSymbol{\times} \gdef\inlineProdSymbol{|} \gdef\serialCardSymbol{{:}} \gdef\parallelCardSymbol{{\mid}} \gdef\cardinalSequenceSymbol{{:}} \gdef\cardinalProduct#1{(#1)} \gdef\vertexProduct#1{(#1)} \gdef\edgeProduct#1{(#1)} \gdef\cardinalProductSymbol{\inlineProdSymbol} \gdef\vertexProductSymbol{\inlineProdSymbol} \gdef\edgeProductSymbol{\inlineProdSymbol} \gdef\verticalVertexProduct#1#2{\cfrac{#1}{#2}} \gdef\verticalCardinalProduct#1#2{\cfrac{#1}{#2}} \gdef\indexSum#1#2#3{{\sum_{#2}^{#3} #1}} \gdef\indexProd#1#2#3{{\prod_{#2}^{#3} #1}} \gdef\indexMax#1#2#3{{\max_{#2}^{#3} #1}} \gdef\indexMin#1#2#3{{\min_{#2}^{#3} #1}} \gdef\indexUnion#1#2#3{{\bigcup_{#2}^{#3} #1}} \gdef\indexIntersection#1#2#3{{\bigcap_{#2}^{#3} #1}} \gdef\indexGraphUnion#1#2#3{{\bigcup_{#2}^{#3} #1}} \gdef\indexGraphDisjointUnion#1#2#3{{\bigcup_{#2}^{#3} #1}} \gdef\styledIndexSum#1#2#3#4{{#1\sum_{#3}^{#4} #2}} \gdef\styledIndexProd#1#2#3#4{{#1\prod_{#3}^{#4} #2}} \gdef\styledIndexMax#1#2#3#4{{#1\max_{#3}^{#4} #2}} \gdef\styledIndexMin#1#2#3#4{{#1\min_{#3}^{#4} #2}} \gdef\indexSumSymbol{\sum} \gdef\indexProdSymbol{\prod} \gdef\indexMaxSymbol{\max} \gdef\indexMinSymbol{\min} \gdef\openInterval#1#2{(#1,#2)} \gdef\closedInterval#1#2{[#1,#2]} \gdef\openClosedInterval#1#2{(#1,#2]} \gdef\closedOpenInterval#1#2{[#1,#2)} \gdef\oneTo#1{1..{#1}} \gdef\zeroTo#1{0..{#1}} \gdef\qstring#1{\mathtt{"}{#1}\mathtt{"}} \gdef\wstring#1{\textcolor{6b6b6b}{#1}} \gdef\qchar#1{\mathtt{'}{#1}\mathtt{'}} \gdef\lstr#1{\mathtt{#1}} \gdef\lchar#1{\mathtt{#1}} \gdef\string#1{{#1}} \gdef\character#1{{#1}} \gdef\homomorphismMapping#1{\assocArray{#1}} \gdef\starModifier#1{{#1}^*} \gdef\translationPresentation#1{\textrm{Z}_{#1}} \gdef\starTranslationPresentation#1{\textrm{Z}^*_{#1}} \gdef\translationPathValuation#1{\mathcal{\overrightharpoon Z}_{#1}} \gdef\starTranslationPathValuation#1{\overrightharpoon{\mathcal{Z}^*_{#1}}} \gdef\translationWordHomomorphism#1{\mathcal{Z}_{#1}} \gdef\starTranslationWordHomomorphism#1{\mathcal{Z}^*_{#1}} \gdef\translationCardinalValuation#1{\textrm{T}_{#1}} \gdef\starTranslationCardinalValuation#1{\textrm{T}^*_{#1}} \gdef\reFo#1{\textcolor{e1432d}{#1}} \gdef\grFo#1{\textcolor{4ea82a}{#1}} \gdef\blFo#1{\textcolor{3e81c3}{#1}} \gdef\orFo#1{\textcolor{dc841a}{#1}} \gdef\piFo#1{\textcolor{c74883}{#1}} \gdef\teFo#1{\textcolor{47a5a7}{#1}} \gdef\gFo#1{\textcolor{929292}{#1}} \gdef\puFo#1{\textcolor{8b7ebe}{#1}} \gdef\liReFo#1{\textcolor{ff775e}{#1}} \gdef\liGrFo#1{\textcolor{82dd63}{#1}} \gdef\liBlFo#1{\textcolor{6caff4}{#1}} \gdef\liOrFo#1{\textcolor{ffbb5f}{#1}} \gdef\liPiFo#1{\textcolor{fb77b0}{#1}} \gdef\liTeFo#1{\textcolor{7fdbdc}{#1}} \gdef\liGFo#1{\textcolor{c5c5c5}{#1}} \gdef\liPuFo#1{\textcolor{bbaff2}{#1}} \gdef\daReFo#1{\textcolor{b50700}{#1}} \gdef\daGrFo#1{\textcolor{217f00}{#1}} \gdef\daBlFo#1{\textcolor{165e9d}{#1}} \gdef\daOrFo#1{\textcolor{ae5900}{#1}} \gdef\daPiFo#1{\textcolor{9e1f61}{#1}} \gdef\daTeFo#1{\textcolor{0e7c7e}{#1}} \gdef\daGFo#1{\textcolor{6b6b6b}{#1}} \gdef\daPuFo#1{\textcolor{665996}{#1}} \gdef\boFo#1{\mathbf{#1}} \gdef\itFo#1{\mathit{#1}} \gdef\unFo#1{\underline{#1}} \gdef\stFo#1{\struckthrough{#1}} \gdef\plTeFo#1{\textrm{#1}} \gdef\maTeFo#1{\textrm{#1}} \gdef\ZNFuFo#1{\operatorname{#1}} \gdef\ZAFo#1#2{#1(#2)} \gdef\noApSy{\gFo{\text{---}}} \gdef\unSy{\gFo{?}} \gdef\emSeSy{\gFo{ \emptyset }} \gdef\tiSy{\boFo{ \vthinspace ✓ \vthinspace }} \gdef\unIn{\mathbb{I}} \gdef\blSy{\gFo{\_}} \gdef\plSqSy{□} \gdef\baToSy{\boFo{ \vthinspace | \vthinspace }} \gdef\fiToSy{●} \gdef\fiSqToSy{■} \gdef\fiReToSy{▮} \gdef\emToSy{○} \gdef\emSqToSy{□} \gdef\emReToSy{▯} \gdef\plElSy{\,...\,} \gdef\ceElSy{\,\cdot\!\cdot\!\cdot\,} \gdef\elSy{\,\gFo{...}\,} \gdef\veElSy{\vdots} \gdef\coFo{\sqsubseteq} \gdef\CoFo#1#2{#1 \coFo #2} \gdef\coByFo{⊑} \gdef\CoByFo#1#2{#1 \coByFo #2} \gdef\stCoFo{\sqsupset} \gdef\StCoFo#1#2{#1 \stCoFo #2} \gdef\stCoByFo{\sqsubset} \gdef\StCoByFo#1#2{#1 \stCoByFo #2} \gdef\inCoFo{\sqsubseteq} \gdef\InCoFo#1#2{#1 \inCoFo #2} \gdef\InCoFoⅡ#1#2#3{#1 \inCoFo_{#3} #2} \gdef\grInCoFo{\sqsubseteq} \gdef\GrInCoFo#1#2{#1 \grInCoFo #2} \gdef\GrInCoFoⅡ#1#2#3{#1 \grInCoFo_{#3} #2} \gdef\quInCoFo{\sqsubseteq} \gdef\QuInCoFo#1#2{#1 \quInCoFo #2} \gdef\QuInCoFoⅡ#1#2#3{#1 \quInCoFo_{#3} #2} \gdef\coPrFo{\cdot} \gdef\CoPrFo#1{#1} \gdef\coSuFo{\sqcup} \gdef\CoSuFo#1{#1} \gdef\isCoFo{\sim} \gdef\IsCoFo#1#2{#1 \isCoFo #2} \gdef\IsCoFoⅡ#1#2#3{#1 \isCoFo_{#3} #2} \gdef\isNoCoFo{\nsim} \gdef\IsNoCoFo#1#2{#1 \isNoCoFo #2} \gdef\IsNoCoFoⅡ#1#2#3{#1 \isNoCoFo_{#3} #2} \gdef\coReFo{\sim} \gdef\CoReFo#1{#1} \gdef\TuFo#1{(#1)} \gdef\SeFo#1{\left\{#1\right\}} \gdef\StSeFo#1#2#3{#1#3#2} \gdef\inArSy{⏵} \gdef\arSy{⏴} \gdef\upArSy{⏶} \gdef\doArSy{⏷} \gdef\leArSy{⏴} \gdef\riArSy{⏵} \gdef\grAuFu{\operatorname{Aut}} \gdef\PaFo#1{\;#1\;} \gdef\na{\mathbb{n}} \gdef\poNa{\mathbb{N} ^+} \gdef\poRe{\mathbb{R} ^+} \gdef\pr{\mathbb{P}} \gdef\re{\mathbb{R}} \gdef\piSy{\pi} \gdef\taSy{\tau}$

Quiver products #

Motivation #

In this section we will consider how we can form product spaces in quiver geometry, which we call quiver products: quivers constructed as products of two or more factor quivers. Quiver products will be important in a latter section, where we will need them to define the local trivializations used in fibre bundles, but they'll also give us a new perspective on transitive quivers.

Quiver products #

What is a quiver product? Speaking informally, a quiver product between two quivers $$\quiver{\reFo{R}}$$ and $$\quiver{\blFo{S}}$$ is another quiver $$\quiver{\piFo{Q}}$$ with the following properties:

\begin{aligned} \vertexList(\quiver{\piFo{Q}})&= \vertexList(\quiver{\reFo{R}})\cartesianProductSymbol \vertexList(\quiver{\blFo{S}})\\ \edgeList(\quiver{\piFo{Q}})&\subseteq \pathList(\quiver{\reFo{R}})\cartesianProductSymbol \pathList(\quiver{\blFo{S}})\end{aligned}

There are many possible products $$\quiver{\piFo{Q}}$$, corresponding to systematic ways to choose the subsets of the Cartesian product $$\pathList(\quiver{\reFo{R}})\cartesianProductSymbol \pathList(\quiver{\blFo{S}})$$. We will gradually introduce the formalism to do this.

Of course, we must also attach a cardinal structure to the product $$\quiver{\piFo{Q}}$$, defining how the so-called product cardinals label its edges.

Terminology #

To talk clearly about the vertices, edges, and cardinals of $$\quiver{\piFo{Q}}$$, and contrast them with the vertices, edges, and cardinals of $$\quiver{\reFo{R}}$$ and $$\quiver{\blFo{S}}$$, we will use the following terms:

z z
factor quiver $$\quiver{\reFo{R}}$$ or $$\quiver{\blFo{S}}$$
factor vertex vertex of $$\quiver{\reFo{R}}$$ or $$\quiver{\blFo{S}}$$
factor transition path in $$\quiver{\reFo{R}}$$ or $$\quiver{\blFo{S}}$$
factor cardinal cardinal of $$\quiver{\reFo{R}}$$ or $$\quiver{\blFo{S}}$$

These ingredients will be combined to form the vertices, edges, and cardinals of $$\quiver{\piFo{Q}}$$, as follows:

z z z
product quiver $$\quiver{\piFo{Q}}$$ constructed from factor quivers
product vertex vertex of $$\quiver{\piFo{Q}}$$ constructed from tuples of factor vertices
product cardinal cardinal of $$\quiver{\piFo{Q}}$$ constructed from tuples of factor transitions

We will use $$\vertexProduct{\vert{\reFo{u}},\vert{\blFo{v}}}$$ to represent the product vertex consisting of factor vertices $$\vert{\reFo{u}}$$ and $$\vert{\blFo{v}}$$ from factor quivers $$\quiver{\reFo{R}}$$ and $$\quiver{\blFo{S}}$$, and similarly $$\cardinalProduct{\reFo{\card{r}},\blFo{\card{b}}}$$ to represent the product cardinal consisting of factor cardinals $$\reFo{\card{r}}$$ and $$\blFo{\card{b}}$$.

Color #

To ease the notational burden and avoid unnecessary use of subscripts, we'll use color to associate vertices, edges, and cardinals with their corresponding graphs in a product. For example, for quivers $$\quiver{\reFo{R}},\quiver{\blFo{S}}$$ we'll refer generically to particular vertices belonging to $$\quiver{\reFo{R}}$$ and $$\quiver{\blFo{S}}$$ with symbols $$\vert{\reFo{r}}$$ and $$\vert{\blFo{s}}$$. Likewise we'll refer to particulars edges with $$\edge{\reFo{e}},\edge{\blFo{f}}$$ , and refer to particular cardinals with $$\card{\reFo{c}},\card{\blFo{d}}$$.

We'll also use color to relate the product vertices with factor vertices, similar to the role of color in our explanation of coverings. Using this convention the product vertex such as $$\vertexProduct{\vert{\reFo{\fiToSy}},\vert{\grFo{\fiToSy}}}$$ is displayed as the additive color blend of the two factor vertex colors, giving $$\vert{\teFo{\fiToSy}}$$. Similarly, the product cardinal $$\cardinalProduct{\reFo{\card{r}},\grFo{\card{g}}}$$ will be displayed with the colored arrowhead $$\teFo{\arSy}$$.

Transitions #

We will now define a large family of binary quiver products by choosing how to combine transitions in the factor quivers $$\quiver{\reFo{R}}$$ and $$\quiver{\blFo{S}}$$ into product edges. Transitions in the factor quivers are paths, rather than edges. For the products defined in this section, we will consider paths of maximal length 1.

As we stated above , the vertices of $$\quiver{\piFo{P}}$$ are all the possible pairs $$\vertexProduct{\vert{\reFo{u}},\vert{\blFo{v}}}$$, where $$\vert{\reFo{u}}$$ is a vertex from $$\quiver{\reFo{R}}$$ and $$\vert{\blFo{s}}$$ is a vertex from $$\quiver{\blFo{S}}$$.

Our only freedom in defining a product then comes from how we construct the edges of $$\quiver{\piFo{P}}$$ from the paths in $$\quiver{\reFo{R}}$$ and $$\quiver{\blFo{S}}$$, which we will call transitions. We will construct product edges from pairs of transitions from $$\quiver{\reFo{R}}$$ and $$\quiver{\blFo{S}}$$, where we can restrict each the $$\quiver{\reFo{R}}$$-transition and $$\quiver{\blFo{S}}$$-transition to one of three types: forward, backward, and neutral:

• A forward $$\quiver{\reFo{R}}$$-transition is a 1-path in $$\quiver{\reFo{R}}$$ containing a forward (non-inverted) cardinal $$\reFo{\card{r}}$$.

• A backward $$\quiver{\reFo{R}}$$-transition is a 1-path in $$\quiver{\reFo{R}}$$ containing a backward (inverted) cardinal $$\reFo{\inverted{\card{r}}}$$.

• A neutral $$\quiver{\reFo{R}}$$-transition is a 0-path in $$\quiver{\reFo{R}}$$, labeled with the special factor cardinal $$\reFo{\card{1}}$$ that is not part of the cardinal set of $$\quiver{\reFo{R}}$$.

The same definitions are used for $$\quiver{\blFo{S}}$$-transitions, of course.

Here are the 9 possible product edges we can form that correspond to pairs of these transitions. These will form the primitive constructors that will generate the edges of the quiver product. Any combinations of these constructors will yield a distinct quiver product.

$\begin{csarray}{ccc}{aii} \mtde{\verticalVertexProduct{\vert{\reFo{t}}}{\vert{\blFo{t}}}}{\verticalVertexProduct{\vert{\reFo{h}}}{\vert{\blFo{h}}}}{\reFo{\card{r}}}{\blFo{\card{b}}} & \mtde{\verticalVertexProduct{\vert{\reFo{t}}}{\vert{\blFo{b}}}}{\verticalVertexProduct{\vert{\reFo{h}}}{\vert{\blFo{b}}}}{\reFo{\card{r}}}{\blFo{\card{1}}} & \mtde{\verticalVertexProduct{\vert{\reFo{t}}}{\vert{\blFo{h}}}}{\verticalVertexProduct{\vert{\reFo{h}}}{\vert{\blFo{t}}}}{\reFo{\card{r}}}{\blFo{\inverted{\card{b}}}}\\[2em] \mtde{\verticalVertexProduct{\vert{\reFo{r}}}{\vert{\blFo{t}}}}{\verticalVertexProduct{\vert{\reFo{r}}}{\vert{\blFo{h}}}}{\reFo{\card{1}}}{\blFo{\card{b}}} & \mtde{\verticalVertexProduct{\vert{\reFo{r}}}{\vert{\blFo{b}}}}{\verticalVertexProduct{\vert{\reFo{r}}}{\vert{\blFo{b}}}}{\reFo{\card{1}}}{\blFo{\card{1}}} & \mtde{\verticalVertexProduct{\vert{\reFo{r}}}{\vert{\blFo{h}}}}{\verticalVertexProduct{\vert{\reFo{r}}}{\vert{\blFo{t}}}}{\reFo{\card{1}}}{\blFo{\inverted{\card{b}}}}\\[2em] \mtde{\verticalVertexProduct{\vert{\reFo{h}}}{\vert{\blFo{t}}}}{\verticalVertexProduct{\vert{\reFo{t}}}{\vert{\blFo{h}}}}{\reFo{\inverted{\card{r}}}}{\blFo{\card{b}}} & \mtde{\verticalVertexProduct{\vert{\reFo{h}}}{\vert{\blFo{b}}}}{\verticalVertexProduct{\vert{\reFo{t}}}{\vert{\blFo{b}}}}{\reFo{\inverted{\card{r}}}}{\blFo{\card{1}}} & \mtde{\verticalVertexProduct{\vert{\reFo{h}}}{\vert{\blFo{h}}}}{\verticalVertexProduct{\vert{\reFo{t}}}{\vert{\blFo{t}}}}{\reFo{\inverted{\card{r}}}}{\blFo{\inverted{\card{b}}}} \end{csarray}$

Here we have laid out the product edges vertically, so that the left and right factors vertices and cardinals now appear on the top and bottom respectively:

$\tde{\vertexProduct{\vert{\reFo{t}},\vert{\blFo{t}}}}{\vertexProduct{\vert{\reFo{h}},\vert{\blFo{h}}}}{\cardinalProduct{\reFo{\card{r}},\blFo{\card{b}}}}\syntaxEqualSymbol \mtde{\verticalVertexProduct{\vert{\reFo{t}}}{\vert{\blFo{t}}}}{\verticalVertexProduct{\vert{\reFo{h}}}{\vert{\blFo{h}}}}{\reFo{\card{r}}}{\blFo{\card{b}}}$

Let's examine some constructors from this table to understand them better.

The top left entry in the table above is $$\tde{\vertexProduct{\vert{\reFo{t}},\vert{\blFo{t}}}}{\vertexProduct{\vert{\reFo{h}},\vert{\blFo{h}}}}{\cardinalProduct{\reFo{\card{r}},\blFo{\card{b}}}}$$, a product edge constructor that combines two factor transitions $$\parenPathWord{\vert{\reFo{t}}}{\reFo{\word{\card{r}}}}{\vert{\reFo{h}}}$$ and $$\parenPathWord{\vert{\blFo{t}}}{\blFo{\word{\card{b}}}}{\vert{\blFo{h}}}$$. This product edge is labeled with a product cardinal $$\cardinalProduct{\reFo{\card{r}},\blFo{\card{b}}}$$ which expresses that these transitions involve forward (non-inverted) cardinals $$\reFo{\card{r}}$$ and $$\blFo{\card{b}}$$.

The bottom right entry is $$\tde{\vertexProduct{\vert{\reFo{h}},\vert{\blFo{h}}}}{\vertexProduct{\vert{\reFo{t}},\vert{\blFo{t}}}}{\cardinalProduct{\reFo{\inverted{\card{r}}},\blFo{\inverted{\card{b}}}}}$$, a product edge constructor formed from two factor transitions $$\parenPathWord{\vert{\reFo{h}}}{\reFo{\word{\inverted{\card{r}}}}}{\vert{\reFo{t}}}$$ and $$\parenPathWord{\vert{\blFo{h}}}{\blFo{\word{\inverted{\card{b}}}}}{\vert{\blFo{t}}}$$, which correspond to edges from $$\quiver{\reFo{R}}$$ and $$\quiver{\blFo{S}}$$ that have been traversed backwards. Again, the product cardinal $$\cardinalProduct{\reFo{\inverted{\card{r}}},\blFo{\inverted{\card{b}}}}$$ expresses this fact.

Now consider the top-right entry $$\tde{\vertexProduct{\vert{\reFo{t}},\vert{\blFo{h}}}}{\vertexProduct{\vert{\reFo{h}},\vert{\blFo{t}}}}{\cardinalProduct{\reFo{\card{r}},\blFo{\inverted{\card{b}}}}}$$. Here we have a forward factor transition $$\parenPathWord{\vert{\reFo{t}}}{\reFo{\word{\card{r}}}}{\vert{\reFo{h}}}$$ from $$\quiver{\reFo{R}}$$ and a backward factor transition $$\parenPathWord{\vert{\blFo{h}}}{\blFo{\word{\inverted{\card{b}}}}}{\vert{\blFo{t}}}$$ from $$\quiver{\blFo{S}}$$, hence the product cardinal $$\cardinalProduct{\reFo{\card{r}},\blFo{\inverted{\card{b}}}}$$.

The top middle entry is $$\tde{\vertexProduct{\vert{\reFo{t}},\vert{\blFo{b}}}}{\vertexProduct{\vert{\reFo{h}},\vert{\blFo{b}}}}{\cardinalProduct{\reFo{\card{r}},\blFo{\card{1}}}}$$, which corresponds to a forward factor transition $$\parenPathWord{\vert{\reFo{t}}}{\reFo{\word{\card{r}}}}{\vert{\reFo{h}}}$$, and an empty factor transition $$\parenPathWord{\vert{\blFo{b}}}{\emptyWord{}}{\vert{\blFo{b}}}$$.

These constructors tell us how to manufacture product edges from the factor quivers. To understand the situation a bit better, we will now visualize the product quivers these constructors produce.

Visualizing graph products #

We can visualize the graph product in ways that help clarify the product structure. We'll use two methods to do this:

• We will color vertices of the product by additive blending of the constituent vertices. For example, the product vertex $$\vertexProduct{\vert{\emToSy},\vert{\daTeFo{\fiToSy}}}$$ will be displayed as $$\vert{\textcolor{b0d1d2}{\fiToSy}}$$, and $$\vertexProduct{\vert{\reFo{\fiToSy}},\blFo{\vert{\fiToSy}}}$$ as $$\vert{\orFo{\fiToSy}}$$.

• For graphs that can be laid out in one dimension, we will derive the $$\sym{y}$$ coordinate of $$\vertexProduct{\vert{u},\vert{v}}$$ from the one-dimensional coordinate of $$\vert{u}$$ and the $$\sym{x}$$ coordinate of $$\vertexProduct{\vert{u},\vert{v}}$$ from the one-dimensional coordinate of $$\vert{v}$$.

Let's examine the products we can form from $$\quiver{R} = \quiver{S} = \subSize{\lineQuiver }{2}$$. These are the simplest factor quivers we can use that will yield a non-trivial result.

First we'll consider the product defined by $$\tde{\vertexProduct{\vert{\reFo{t}},\vert{\blFo{t}}}}{\vertexProduct{\vert{\reFo{h}},\vert{\blFo{h}}}}{\cardinalProduct{\reFo{\card{r}},\blFo{\card{b}}}}$$:

Since there is only one edge and therefore one 1-path in each factor quiver, there there is only one possible product edge. The orientation of this product edge matches the orientations of the factor edges.

Now consider the product defined by $$\tde{\vertexProduct{\vert{\reFo{t}},\vert{\blFo{b}}}}{\vertexProduct{\vert{\reFo{h}},\vert{\blFo{b}}}}{\cardinalProduct{\reFo{\card{r}},\blFo{\card{1}}}}$$:

There are of course two 0-paths in $$\quiver{\blFo{S}}$$, one for each vertex, and hence two possible product edges.

Lastly, consider the product defined by $$\tde{\vertexProduct{\vert{\reFo{r}},\vert{\blFo{b}}}}{\vertexProduct{\vert{\reFo{r}},\vert{\blFo{b}}}}{\cardinalProduct{\reFo{\card{1}},\blFo{\card{1}}}}$$. This product does not depend on which edges are present in either quiver! It produces only self-loops:

Let's revisit the original table of the 9 possible primitive product edge constructors:

$\begin{csarray}{ccc}{aii} \mtde{\verticalVertexProduct{\vert{\reFo{t}}}{\vert{\blFo{t}}}}{\verticalVertexProduct{\vert{\reFo{h}}}{\vert{\blFo{h}}}}{\reFo{\card{r}}}{\blFo{\card{b}}} & \mtde{\verticalVertexProduct{\vert{\reFo{t}}}{\vert{\blFo{b}}}}{\verticalVertexProduct{\vert{\reFo{h}}}{\vert{\blFo{b}}}}{\reFo{\card{r}}}{\blFo{\card{1}}} & \mtde{\verticalVertexProduct{\vert{\reFo{t}}}{\vert{\blFo{h}}}}{\verticalVertexProduct{\vert{\reFo{h}}}{\vert{\blFo{t}}}}{\reFo{\card{r}}}{\blFo{\inverted{\card{b}}}}\\[2em] \mtde{\verticalVertexProduct{\vert{\reFo{r}}}{\vert{\blFo{t}}}}{\verticalVertexProduct{\vert{\reFo{r}}}{\vert{\blFo{h}}}}{\reFo{\card{1}}}{\blFo{\card{b}}} & \mtde{\verticalVertexProduct{\vert{\reFo{r}}}{\vert{\blFo{b}}}}{\verticalVertexProduct{\vert{\reFo{r}}}{\vert{\blFo{b}}}}{\reFo{\card{1}}}{\blFo{\card{1}}} & \mtde{\verticalVertexProduct{\vert{\reFo{r}}}{\vert{\blFo{h}}}}{\verticalVertexProduct{\vert{\reFo{r}}}{\vert{\blFo{t}}}}{\reFo{\card{1}}}{\blFo{\inverted{\card{b}}}}\\[2em] \mtde{\verticalVertexProduct{\vert{\reFo{h}}}{\vert{\blFo{t}}}}{\verticalVertexProduct{\vert{\reFo{t}}}{\vert{\blFo{h}}}}{\reFo{\inverted{\card{r}}}}{\blFo{\card{b}}} & \mtde{\verticalVertexProduct{\vert{\reFo{h}}}{\vert{\blFo{b}}}}{\verticalVertexProduct{\vert{\reFo{t}}}{\vert{\blFo{b}}}}{\reFo{\inverted{\card{r}}}}{\blFo{\card{1}}} & \mtde{\verticalVertexProduct{\vert{\reFo{h}}}{\vert{\blFo{h}}}}{\verticalVertexProduct{\vert{\reFo{t}}}{\vert{\blFo{t}}}}{\reFo{\inverted{\card{r}}}}{\blFo{\inverted{\card{b}}}} \end{csarray}$

Notice that we can fully describe a product edge constructor by with the product cardinal labelling each product edge, since they fully determine the transitions corresponding to each product edge. Here we reproduce the above table using only these product cardinals:

$\begin{csarray}{ccc}{aii} \cardinalProduct{\reFo{\card{r}},\blFo{\card{b}}} & \cardinalProduct{\reFo{\card{r}},\blFo{\card{1}}} & \cardinalProduct{\reFo{\card{r}},\blFo{\inverted{\card{b}}}}\\[2em] \cardinalProduct{\reFo{\card{1}},\blFo{\card{b}}} & \cardinalProduct{\reFo{\card{1}},\blFo{\card{1}}} & \cardinalProduct{\reFo{\card{1}},\blFo{\inverted{\card{b}}}}\\[2em] \cardinalProduct{\reFo{\inverted{\card{r}}},\blFo{\card{b}}} & \cardinalProduct{\reFo{\inverted{\card{r}}},\blFo{\card{1}}} & \cardinalProduct{\reFo{\inverted{\card{r}}},\blFo{\inverted{\card{b}}}} \end{csarray}$

Below we show the corresponding table of product quivers:

Arrow notation #

The disadvantage of using product cardinals like $$\cardinalProduct{\reFo{\card{r}},\blFo{\inverted{\card{b}}}}$$ to describe product edge constructors is that we are relying on a redundant kind of notational convention: both the color (red) and the letter $$\reFo{\card{r}}$$ is used to communicate the same idea -- that we are taking a forward transition in both of the factor quivers. We instead propose a simpler and more compact notation, called arrow notation, which uses only color.

Using arrow notation, a binary quiver product between $$\quiver{\reFo{R}}$$ and $$\quiver{\blFo{S}}$$ can be written as a kind of polynomial in the "variables" in two colors, being $$\reFo{\forwardFactor },\reFo{\backwardFactor },\reFo{\neutralFactor }$$ and $$\blFo{\forwardFactor },\blFo{\backwardFactor },\blFo{\neutralFactor }$$, which denote the different kinds of possible factor transitions from $$\quiver{\reFo{R}}$$ and $$\quiver{\blFo{S}}$$ respectively:

z z z z
$$\reFo{\forwardFactor }$$ forward $$\quiver{\reFo{R}}$$-transition: 1-path from $$\quiver{\reFo{R}}$$ $$\blFo{\forwardFactor }$$ forward $$\quiver{\blFo{S}}$$-transition: 1-path from $$\quiver{\blFo{S}}$$
$$\reFo{\backwardFactor }$$ backward $$\quiver{\reFo{R}}$$-transition: 1-path from $$\quiver{\reFo{R}}$$ $$\blFo{\backwardFactor }$$ backward $$\quiver{\blFo{S}}$$-transition: 1-path from $$\quiver{\blFo{S}}$$
$$\reFo{\neutralFactor }$$ neutral $$\quiver{\reFo{R}}$$-transition: 0-path from $$\quiver{\reFo{R}}$$ $$\blFo{\neutralFactor }$$ neutral $$\quiver{\blFo{S}}$$-transition: 0-path from $$\quiver{\blFo{S}}$$

Each term of the polynomial is a degree-two monomial with one red variable and one blue variable, and represents a primitive product edge constructor.

Let's use this new notation to label the 9 primitive products of our two 2-line quivers, which are the 9 possible degree-2 monomials:

Sums of monomials #

If we allow sums of these monomials, such as $$\quiverProdPoly{\reFo{\forwardFactor }\,\blFo{\neutralFactor }+\reFo{\neutralFactor }\,\blFo{\forwardFactor }}$$, we can express quiver products that contain the union of the corresponding primitive products:

Application notation #

If we wish to form a quiver product defined by a particular arrow polynomial, we would like to able to communicate which factor quivers are bound to which arrows. To do this, we will use a notation in which the factor quivers appear as the bottom row of a vertical expression, and the arrow appears as the top row. Color will then serve as the way in which we bind the factor quivers, written as symbols, with the arrows of the polynomial.

Here are several examples of products of two factor quivers named $$\quiver{R}$$ and $$\quiver{S}$$:

$\frac{\quiverProdPoly{\reFo{\forwardFactor }\,\blFo{\forwardFactor }}} {\quiver{\reFo{R}},\quiver{\blFo{S}}} \kern{20pt} \frac{\quiverProdPoly{\reFo{\forwardFactor }\,\blFo{\backwardFactor }}} {\quiver{\reFo{R}},\quiver{\blFo{S}}} \kern{20pt} \frac{\quiverProdPoly{\reFo{\forwardFactor }\,\blFo{\neutralFactor }+\reFo{\neutralFactor }\,\blFo{\forwardFactor }}} {\quiver{\reFo{R}},\quiver{\blFo{S}}}$

The actual colors used do not matter -- they effectively act as local variables. The above products are identical to those shown below, which use two different colors that denote the same bindings between factor quivers and arrows:

$\frac{\quiverProdPoly{\piFo{\forwardFactor }\,\orFo{\forwardFactor }}} {\quiver{\piFo{R}},\quiver{\orFo{S}}} \kern{20pt} \frac{\quiverProdPoly{\piFo{\forwardFactor }\,\orFo{\backwardFactor }}} {\quiver{\piFo{R}},\quiver{\orFo{S}}} \kern{20pt} \frac{\quiverProdPoly{\piFo{\forwardFactor }\,\orFo{\neutralFactor }+\piFo{\neutralFactor }\,\orFo{\forwardFactor }}} {\quiver{\piFo{R}},\quiver{\orFo{S}}}$

We will also sometimes write an application in a compact form:

${\quiverProdPoly{\piFo{\forwardFactor }\,\orFo{\forwardFactor }}} / {(\quiver{\piFo{R}},\quiver{\orFo{S}})} \kern{20pt} {\quiverProdPoly{\piFo{\forwardFactor }\,\orFo{\backwardFactor }}} / {(\quiver{\piFo{R}},\quiver{\orFo{S}})} \kern{20pt} {\paren{\quiverProdPoly{\piFo{\forwardFactor }\,\orFo{\neutralFactor }+\piFo{\neutralFactor }\,\orFo{\forwardFactor }}}} / {(\quiver{\piFo{R}},\quiver{\orFo{S}})}$

Symmetries under reversal #

At this point, it is useful to observe that the 9 constructors we enumerated are related to one another under edge reversal of the resulting products.

For example, the product defined by $$\quiverProdPoly{\reFo{\forwardFactor }\,\blFo{\forwardFactor }}$$ is the edge reversal of the product defined by $$\quiverProdPoly{\reFo{\backwardFactor }\,\blFo{\backwardFactor }}$$:

The explicit edges of these two products are given by $$\tde{\vert{\daPiFo{\fiToSy}}}{\vert{\liTeFo{\fiToSy}}}{\cardinalProduct{\reFo{\card{r}},\blFo{\card{b}}}}$$ and $$\tde{\vert{\liTeFo{\fiToSy}}}{\vert{\daPiFo{\fiToSy}}}{\cardinalProduct{\reFo{\inverted{\card{r}}},\blFo{\inverted{\card{b}}}}}$$. This suggests the structural property of product edges that the inversion of the product cardinal $$\cardinalProduct{\reFo{\card{r}},\blFo{\card{b}}}$$ is the product cardinal $$\cardinalProduct{\reFo{\inverted{\card{r}}},\blFo{\inverted{\card{b}}}}$$ -- in other words, that inversion distributes across the product.

Here we show the 9 constructors in columns, placed above their inverses:

We can use notation to "pre-apply" inversion to the product polynomial rather than to the resulting product quiver. In other words, we can write the inversion of the product resulting from given quivers as the product of an inverted polynomial. The algebraic properties of this inversion operation on polynomials are:

\begin{aligned} \inverted{\forwardFactor }&= \backwardFactor \\ \inverted{\neutralFactor }&= \neutralFactor \\ \inverted{\backwardFactor }&= \forwardFactor \\ \inverted{\quiverProdPoly{\sym{ \alpha }+\sym{ \beta }}}&= \quiverProdPoly{\inverted{\sym{ \alpha }}+\inverted{\sym{ \beta }}}\\ \inverted{\paren{\quiverProdPoly{\sym{ \alpha }\,\sym{ \beta }}}}&= \quiverProdPoly{\inverted{\sym{ \alpha }}\,\inverted{\sym{ \beta }}}\end{aligned}

Here, $$\sym{ \alpha }$$ and $$\sym{ \beta }$$ represent arbitrary arrows, whether forward, backward, or neutral.

Distributivity #

We briefly examine the validity of the following distributivity law:

$\quiverProdPoly{\paren{\sym{ \alpha }+\sym{ \beta }}\,\sym{ \gamma }} = \quiverProdPoly{\quiverProdPoly{\sym{ \alpha }\,\sym{ \gamma }}+\quiverProdPoly{\sym{ \beta }\,\sym{ \gamma }}}$

As an example, taking $$\sym{ \alpha } = \reFo{\forwardFactor },\sym{ \beta } = \reFo{\backwardFactor },\sym{ \gamma } = \blFo{\forwardFactor }$$, this manifests as the identity $$\quiverProdPoly{\paren{\reFo{\forwardFactor }+\reFo{\backwardFactor }}\,\blFo{\forwardFactor }} = \quiverProdPoly{\quiverProdPoly{\reFo{\forwardFactor }\,\blFo{\forwardFactor }}+\quiverProdPoly{\reFo{\backwardFactor }\,\blFo{\forwardFactor }}}$$. What is the meaning of this identity? To unpack this, we will have to understand how we can evaluate this product in stages, first evaluating the part $$\quiverProdPoly{\reFo{\forwardFactor }+\reFo{\backwardFactor }}$$ and then evaluating the product $$\quiverProdPoly{\plSqSy+\blFo{\forwardFactor }}$$.

We can understand an arrow polynomial as a tree of evaluations -- the formal mathematical structure being known as an operad, which we will not elucidate here. For example, the product $${\quiverProdPoly{\reFo{\forwardFactor }\,\blFo{\forwardFactor }}} / {\paren{\quiver{\reFo{R}},\quiver{\blFo{S}}}}$$ can be understood as the following tree, where the leaves of the tree are the quivers that are used as inputs to the arrow polynomial:

The factorization $$\quiverProdPoly{\paren{\reFo{\forwardFactor }+\reFo{\backwardFactor }}\,\blFo{\forwardFactor }}$$ is depicted graphically below, in which we first evaluate a univariate product $${\paren{\quiverProdPoly{\grFo{\forwardFactor }+\grFo{\backwardFactor }}}} / {\quiver{\grFo{R}}}$$ and then use the result as the left factor for the product $$\quiverProdPoly{\reFo{\forwardFactor }\,\blFo{\forwardFactor }}$$:

This corresponds to how we can factor the polynomial $$\sym{x} \, \sym{y} + \inverse{\sym{x}} \, \sym{y}$$ into the product $$\paren{\sym{x} + \inverse{\sym{x}}} \, \sym{y}$$, which can be evaluated on particular inputs in a staged fashion

Again, notice that the colors and symbols $$\sym{a},\sym{b},\sym{c}$$ serve a purely notational role, depicting how to bind the inputs of each polynomial evaluation. We can replace these symbols and colors with any others we like to describe the exact same product.

Unary products #

It is interesting to examine the three products we can form from a single quiver using the monomials $$\forwardFactor ,\neutralFactor ,\backwardFactor$$. They are shown below for a finite line quiver in the first row and a finite square quiver in the second row:

In short, the forward constructor $$\forwardFactor$$ acts like the identity, the backward constructor $$\backwardFactor$$ reverses all edges, and the neutral constructor $$\neutralFactor$$ has the effect of disconnecting the quiver, creating self-loops for each vertex. Let's make this explicit for the line quiver:

\begin{aligned} {\quiverProdPoly{\quiver{\forwardFactor }}} / {\bindCardSize{\subSize{\lineQuiver }{4}}{\reFo{\card{r}}}}&= \bindCardSize{\subSize{\lineQuiver }{4}}{\cardinalProduct{\reFo{\card{r}}}}\\[1em] {\quiverProdPoly{\quiver{\backwardFactor }}} / {\bindCardSize{\subSize{\lineQuiver }{4}}{\reFo{\card{r}}}}&= \bindCardSize{\subSize{\lineQuiver }{4}}{\cardinalProduct{\reFo{\inverted{\card{r}}}}}\\[1em] {\quiverProdPoly{\quiver{\neutralFactor }}} / {\bindCardSize{\subSize{\lineQuiver }{4}}{\reFo{\card{r}}}}&= \indexGraphDisjointUnion{\bindCardSize{\subSize{\cycleQuiver }{1}}{\cardinalProduct{\reFo{\card{1}}}}}{4}{}\end{aligned}

We can write this behavior for a general quiver as:

\begin{aligned} {\quiverProdPoly{\quiver{\forwardFactor }}} / {\quiver{Q}}&\homeomorphicSymbol\quiver{Q}\\[1em] {\quiverProdPoly{\quiver{\backwardFactor }}} / {\quiver{Q}}&\homeomorphicSymbol\inverted{\quiver{Q}}\\[1em] {\quiverProdPoly{\quiver{\neutralFactor }}} / {\quiver{Q}}&\homeomorphicSymbol\indexGraphDisjointUnion{\subSize{\cycleQuiver }{1}}{\vertexCountOf{\quiver{Q}}}{}\end{aligned}

Named binary products #

Equipped with our new, compact notation for building products out of sums of primitive edge constructors, we will now enumerate and name some of the possible binary products.

Locked product #

We'll introduce a binary quiver product called the locked quiver product, denoted $$\lockedQuiverProductSymbol$$. This product is related to the notion of the tensor graph product $$\otimes$$ of undirected graphs.

The locked quiver product $$\quiver{R}\lockedQuiverProductSymbol \quiver{S}$$ of two quivers $$\quiver{R},\quiver{S}$$ is defined to be:

$\quiver{R}\lockedQuiverProductSymbol \quiver{S}\defEqualSymbol \frac{\quiverProdPoly{\reFo{\forwardFactor }\,\blFo{\forwardFactor }}} {\quiver{\reFo{R}},\quiver{\blFo{S}}}$

We use the word locked to indicate that the transitions of the two factor quivers are locked together in the same, forward orientation.

Let's examine $$\quiver{R}\lockedQuiverProductSymbol \quiver{S}$$, where $$\quiver{R} = \quiver{S} = \subSize{\lineQuiver }{2}$$:

Let's enlarge $$\quiver{S}$$, setting $$\quiver{S} = \subSize{\lineQuiver }{3}$$:

Finally let's enlarge $$\quiver{R}$$, setting $$\quiver{R} = \subSize{\lineQuiver }{3}$$:

Free products #

We now introduce the right-free quiver product $$\quiver{R}\rightFreeQuiverProductSymbol \quiver{S}$$, which involves always taking the forward transition for the left factor and taking either the forward, neutral, or backward transition for the right factor. Explicitly:

$\quiver{R}\rightFreeQuiverProductSymbol \quiver{S}\defEqualSymbol \frac{\quiverProdPoly{\reFo{\forwardFactor }\,\blFo{\forwardFactor }+\reFo{\forwardFactor }\,\blFo{\neutralFactor }+\reFo{\forwardFactor }\,\blFo{\backwardFactor }}} {\quiver{\reFo{R}},\quiver{\blFo{S}}} = \frac{\quiverProdPoly{\reFo{\forwardFactor }\,\paren{\blFo{\forwardFactor }+\blFo{\neutralFactor }+\blFo{\backwardFactor }}}} {\quiver{\reFo{R}},\quiver{\blFo{S}}} = \frac{\quiverProdPoly{\reFo{\forwardFactor }\,\blFo{\forwardBackwardNeutralFactor }}} {\quiver{\reFo{R}},\quiver{\blFo{S}}}$

Here we are using the notation $$\forwardBackwardNeutralFactor \syntaxEqualSymbol \paren{\quiverProdPoly{\quiver{\forwardFactor }+\quiver{\neutralFactor }+\quiver{\backwardFactor }}}$$.

The left-free quiver product is defined how you would expect:

$\quiver{R}\leftFreeQuiverProductSymbol \quiver{S}\defEqualSymbol \frac{\quiverProdPoly{\reFo{\forwardBackwardNeutralFactor }\,\blFo{\forwardFactor }}} {\quiver{\reFo{R}},\quiver{\blFo{S}}}$

Cartesian product #

The Cartesian product $$\quiver{R}\cartesianQuiverProductSymbol \quiver{S}$$ is defined by taking only one factor transition, taken from either factor, combined with the neutral factor from the other factor. Explicitly:

$\quiver{R}\cartesianQuiverProductSymbol \quiver{S}\defEqualSymbol \frac{\quiverProdPoly{\reFo{\forwardFactor }\,\blFo{\neutralFactor }+\reFo{\neutralFactor }\,\blFo{\forwardFactor }}} {\quiver{\reFo{R}},\quiver{\blFo{S}}}$

Visualization #

Let's visualize the free quiver products and contrast them with the locked and Cartesian quiver product. Let's start with the same products we considered earlier:

Notice that for the free products and the Cartesian product we no longer have vertices that are totally disconnected.

Let's enlarge $$\quiver{S}$$, setting $$\quiver{S} = \subSize{\lineQuiver }{3}$$:

Now let's enlarge $$\quiver{R}$$, setting $$\quiver{R} = \subSize{\lineQuiver }{3}$$:

Summary #

The following table lists the named products we have defined above:

z z z
locked $$\quiver{\reFo{R}}\dependentQuiverProductSymbol \quiver{\blFo{S}}$$ $$\quiverProdPoly{\reFo{\forwardFactor }\,\blFo{\forwardFactor }}$$
left free $$\quiver{\reFo{R}}\leftFreeQuiverProductSymbol \quiver{\blFo{S}}$$ $$\quiverProdPoly{\reFo{\forwardBackwardNeutralFactor }\,\blFo{\forwardFactor }}$$
right free $$\quiver{\reFo{R}}\rightFreeQuiverProductSymbol \quiver{\blFo{S}}$$ $$\quiverProdPoly{\reFo{\forwardFactor }\,\blFo{\forwardBackwardNeutralFactor }}$$
Cartesian $$\quiver{\reFo{R}}\cartesianQuiverProductSymbol \quiver{\blFo{S}}$$ $$\quiverProdPoly{\reFo{\forwardFactor }\,\blFo{\neutralFactor }+\reFo{\neutralFactor }\,\blFo{\forwardFactor }}$$

Transitive quivers #

Square quiver #

The first application of the products we have defined above will be to construct the square quiver as a product of two line quivers.

Let's start with the Cartesian product $$\subSize{\lineQuiver }{ \infty }\cartesianQuiverProductSymbol \subSize{\lineQuiver }{ \infty }$$ between two infinite line lattices $$\subSize{\lineQuiver }{ \infty }$$:

We obtain the infinite square quiver: $$\subSize{\lineQuiver }{ \infty }\cartesianQuiverProductSymbol \subSize{\lineQuiver }{ \infty }\isomorphicSymbol \subSize{\squareQuiver }{ \infty }$$

Let's limit ourselves to the Cartesian product of two finite line quivers, $$\subSize{\lineQuiver }{3}\cartesianQuiverProductSymbol \subSize{\lineQuiver }{2}$$:

We obtain the finite rectangular quiver $$\bindCardSize{\squareQuiver }{3,2}$$. We can generalize to arbitrary sizes easily, and include the cardinal bindings:

$\bindCardSize{\lineQuiver }{\orFo{\card{x}}\compactBindingRuleSymbol \sym{w}}\cartesianQuiverProductSymbol \bindCardSize{\lineQuiver }{\piFo{\card{y}}\compactBindingRuleSymbol \sym{h}}\isomorphicSymbol \bindCardSize{\squareQuiver }{\orFo{\card{x}}\compactBindingRuleSymbol \sym{w},\piFo{\card{y}}\compactBindingRuleSymbol \sym{h}}$

Setting $$\sym{n} = \infty$$ we obtain the special case $$\bindCardSize{\subSize{\lineQuiver }{ \infty }}{\orFo{\card{x}}}\cartesianQuiverProductSymbol \bindCardSize{\subSize{\lineQuiver }{ \infty }}{\piFo{\card{y}}}\isomorphicSymbol \bindCardSize{\subSize{\squareQuiver }{ \infty }}{\orFo{\card{x}},\piFo{\card{y}}}$$.

Triangular quiver #

We need not limit ourselves to products between two quivers.

Let us define the triangular product $$\function{ \Delta }(\quiver{R},\quiver{G},\quiver{B})$$ between three quivers as follows:

$\function{ \Delta }(\quiver{R},\quiver{G},\quiver{B})\defEqualSymbol \frac{\quiverProdPoly{\reFo{\forwardFactor }\,\grFo{\backwardFactor }\,\blFo{\neutralFactor }+\reFo{\neutralFactor }\,\grFo{\forwardFactor }\,\blFo{\backwardFactor }+\reFo{\backwardFactor }\,\grFo{\neutralFactor }\,\blFo{\forwardFactor }}} {\quiver{\reFo{R}},\quiver{\grFo{G}},\quiver{\blFo{B}}}$

Here we show the largest connected component of the the triangular product between three finite line lattices of size 5:

We have colored the product cardinals by the additive blend of the graphs involved, so that $$\quiverProdPoly{\reFo{\forwardFactor }\,\grFo{\backwardFactor }}$$ is represented by the arrowhead $$\teFo{\arSy}$$, $$\poly{\grFo{\forwardFactor } \, \blFo{\backwardFactor }}$$ by $$\orFo{\arSy}$$, and $$\quiverProdPoly{\blFo{\forwardFactor }\,\reFo{\backwardFactor }}$$ by $$\piFo{\arSy}$$. The symbol $$\componentSuperQuiverOfSymbol$$ means "contains the connected component".

The full set of connected components correspond to slices through a larger object which we will describe in the next section.

Infinite product #

The product between three infinite line lattices, $$\function{ \Delta }(\subSize{\lineQuiver }{ \infty },\subSize{\lineQuiver }{ \infty },\subSize{\lineQuiver }{ \infty })$$, contains countably infinite connected components, each of which is isomorphic to the infinite line quiver:

$\function{ \Delta }(\bindCardSize{\subSize{\lineQuiver }{ \infty }}{\reFo{\card{r}}},\bindCardSize{\subSize{\lineQuiver }{ \infty }}{\grFo{\card{g}}},\bindCardSize{\subSize{\lineQuiver }{ \infty }}{\blFo{\card{b}}})\homeomorphicSymbol \indexGraphDisjointUnion{\subSize{\triangularQuiver }{ \infty }}{\mathbb{Z}}{}$

We depict this visually below:

Projections #

Quiver products are explicitly constructed out of combinations of transitions of their factor quivers. This means that we have a straightforward way to project from a path in the product quiver to any of its factor quivers, by simply composing the transitions for that particular factor along the given path.

Let's examine an example of the square quiver $$\bindCardSize{\subSize{\squareQuiver }{3}}{\reFo{\card{x}},\blFo{\card{y}}}$$, isomorphic to the product $$\bindCardSize{\subSize{\lineQuiver }{3}}{\reFo{\card{r}}}\cartesianQuiverProductSymbol \bindCardSize{\subSize{\lineQuiver }{3}}{\blFo{\card{b}}}$$ by identifying the cardinals $$\reFo{\card{x}}\isomorphicSymbol \cardinalProduct{\reFo{\card{r}},\blFo{1}},\blFo{\card{y}}\isomorphicSymbol \cardinalProduct{\reFo{1},\blFo{\card{b}}}$$.

Below we show a path $$\path{P_{\quiver{\piFo{Q}}}} = \pathWord{\vertexProduct{2,2}}{\word{\blFo{\card{y}}}{\reFo{\card{x}}}{\blFo{\ncard{y}}}{\blFo{\ncard{y}}}{\reFo{\card{x}}}}{\vertexProduct{4,1}}$$ in the product quiver $$\quiver{\piFo{Q}} = \quiver{\reFo{R}}\cartesianQuiverProductSymbol \quiver{\blFo{S}}$$, and the corresponding projected paths $$\path{P_{\quiver{\reFo{R}}}},\path{P_{\quiver{\blFo{S}}}}$$ in the two factors $$\quiver{\reFo{R}},\quiver{\blFo{S}}$$:

The two factor paths are obtained by writing the path $$\path{P_{\quiver{\piFo{Q}}}}$$ in terms of product cardinals $$\cardinalProduct{\reFo{\card{r}},\blFo{\card{1}}},\cardinalProduct{\reFo{\card{1}},\blFo{\card{b}}}$$ rather than the aliases $$\reFo{\card{x}},\blFo{\card{y}}$$. Then we have:

$\path{P_{\quiver{\piFo{Q}}}} = \pathWord{\vertexProduct{1,2}}{\word{\cardinalProduct{\reFo{\card{1}},\blFo{\card{b}}}}{\cardinalProduct{\reFo{\card{r}},\blFo{\card{1}}}}{\cardinalProduct{\reFo{\card{1}},\blFo{\inverted{\card{b}}}}}{\cardinalProduct{\reFo{\card{1}},\blFo{\inverted{\card{b}}}}}{\cardinalProduct{\reFo{\card{r}},\blFo{\card{1}}}}}{\vertexProduct{4,1}}$

Writing this path vertically, we can more easily see how the projections are formed:

$\path{P_{\quiver{\piFo{Q}}}} = \pathWord{\verticalVertexProduct{2}{2}}{\word{\verticalCardinalProduct{\reFo{\card{1}}}{\blFo{\card{b}}}}{\verticalCardinalProduct{\reFo{\card{r}}}{\blFo{\card{1}}}}{\verticalCardinalProduct{\reFo{\card{1}}}{\blFo{\inverted{\card{b}}}}}{\verticalCardinalProduct{\reFo{\card{1}}}{\blFo{\inverted{\card{b}}}}}{\verticalCardinalProduct{\reFo{\card{r}}}{\blFo{\card{1}}}}}{\verticalVertexProduct{4}{1}}$

The projections are the top half and bottom half of this path:

\begin{aligned} \path{P_{\quiver{\reFo{R}}}}&= \pathWord{2}{\word{\reFo{\card{1}}}{\reFo{\card{r}}}{\reFo{\card{1}}}{\reFo{\card{1}}}{\reFo{\card{r}}}}{4}&= \pathWord{2}{\word{\reFo{\card{r}}}{\reFo{\card{r}}}}{4}\\ \path{P_{\quiver{\blFo{S}}}}&= \pathWord{2}{\word{\blFo{\card{b}}}{\blFo{\card{1}}}{\blFo{\ncard{b}}}{\blFo{\ncard{b}}}{\blFo{\card{1}}}}{1}&= \pathWord{2}{\word{\blFo{\card{b}}}{\blFo{\inverted{\card{b}}}}{\blFo{\inverted{\card{b}}}}}{1}&= \pathWord{2}{\word{\blFo{\inverted{\card{b}}}}}{1}\end{aligned}

Notice that we were able to apply word reduction to the factor path words once they had been obtained, which made them shorter than the original product path word.

There are two path homomorphisms, written $$\functionSignature{\pathHomomorphism{ \pi _{\quiver{\reFo{R}}}}}{\pathGroupoid{\quiver{\piFo{Q}}}}{\pathGroupoid{\quiver{\reFo{R}}}}$$ and $$\functionSignature{\pathHomomorphism{ \pi _{\quiver{\blFo{S}}}}}{\pathGroupoid{\quiver{\piFo{Q}}}}{\pathGroupoid{\quiver{\blFo{S}}}}$$, that project any path in $$\quiver{\piFo{Q}}$$ to its factor path in $$\quiver{\reFo{R}}$$ and $$\quiver{\blFo{S}}$$ respectively. Then our examples of course illustrate $$\pathHomomorphism{ \pi _{\quiver{\reFo{R}}}}(\path{P_{\quiver{\piFo{Q}}}}) = \path{P_{\quiver{\reFo{R}}}}$$ and $$\pathHomomorphism{ \pi _{\quiver{\blFo{S}}}}(\path{P_{\quiver{\piFo{Q}}}}) = \path{P_{\quiver{\blFo{S}}}}$$.

This of course generalizes to higher-arity products. For a product with $$\sym{n}$$ factors, we can label these projection homomorphisms $$\pathHomomorphism{ \pi _1},\pathHomomorphism{ \pi _2},\elSy,\pathHomomorphism{ \pi _{\sym{n}}}$$.

Coverings? #

The projections $$\pathHomomorphism{ \pi _1},\pathHomomorphism{ \pi _2},\elSy,\pathHomomorphism{ \pi _{\sym{n}}}$$ associated with an $$\sym{n}$$-ary product $$\quiver{Q} = {\quiverProdPoly{\sym{ \gamma }}} / {\paren{\quiver{R_1},\elSy,\quiver{R_{\sym{n}}}}}$$ are by definition surjective path homomorphisms. However, they are not in general length-preserving, as we saw in the above example. This implies that $$\quiver{Q}$$ is not in general a cover of the quivers $$\quiver{R_{\sym{i}}}$$, as one might first expect.

Intransitive lattices #

Hexagonal quiver #

It might seem that we cannot construct intransitive quivers, such as the hexagonal lattice, as products of transitive quivers. And this is true. But finite line lattices are not transitive: their two end vertices are different from the others. Surprisingly, we can construct the hexagonal lattice by including one additional factor quiver, being the 2-line lattice. Here is the product that accomplishes this, which we will call the hexagonal product:

$\function{\starModifier{ \Delta }}(\quiver{R},\quiver{G},\quiver{B},\quiver{X})\defEqualSymbol \function{ \Delta }(\quiver{R},\quiver{G},\quiver{B})\lockedQuiverProductSymbol \quiver{X} = \frac{\quiverProdPoly{\reFo{\forwardFactor }\,\grFo{\backwardFactor }\,\blFo{\neutralFactor }\,\daGFo{\forwardFactor }+\reFo{\neutralFactor }\,\grFo{\forwardFactor }\,\blFo{\backwardFactor }\,\daGFo{\forwardFactor }+\reFo{\backwardFactor }\,\grFo{\neutralFactor }\,\blFo{\forwardFactor }\,\daGFo{\forwardFactor }}} {\quiver{\reFo{R}},\quiver{\grFo{G}},\quiver{\blFo{B}},\gFo{\quiver{X}}}$

Let's examine an example, taking $$\reFo{\quiver{R}},\grFo{\quiver{G}},\blFo{\quiver{B}}$$ to be copies of $$\subSize{\lineQuiver }{\sym{n}}$$ as before, with $$\gFo{\quiver{X}}$$ being $$\subSize{\lineQuiver }{2}$$. For $$\sym{n} = 8$$ we obtain:

Here is the full set of connected graph components, this time for $$\sym{n} = 6$$.

We can also interpret the factorization $$\quiverProdPoly{\reFo{\forwardFactor }\,\grFo{\backwardFactor }\,\blFo{\neutralFactor }\,\daGFo{\forwardFactor }+\reFo{\neutralFactor }\,\grFo{\forwardFactor }\,\blFo{\backwardFactor }\,\daGFo{\forwardFactor }+\reFo{\backwardFactor }\,\grFo{\neutralFactor }\,\blFo{\forwardFactor }\,\daGFo{\forwardFactor }} = \quiverProdPoly{\paren{\reFo{\forwardFactor }\,\grFo{\backwardFactor }\,\blFo{\neutralFactor }+\reFo{\neutralFactor }\,\grFo{\forwardFactor }\,\blFo{\backwardFactor }+\reFo{\backwardFactor }\,\grFo{\neutralFactor }\,\blFo{\forwardFactor }}\,\daGFo{\forwardFactor }}$$ as stating that we can obtain the hexagonal lattice quiver as the locked product of the triangular lattice quiver with the 2-line quiver. In fact, three copies of the triangular lattice are produced, shown below:

An important fact is that the number of connected components (three) does not depend on the size of the $$\reFo{\quiver{R}},\grFo{\quiver{G}},\blFo{\quiver{B}}$$ line lattices, which leads to the theorem:

$\bindCardSize{\subSize{\triangularQuiver }{ \infty }}{\reFo{\card{r}},\grFo{\card{g}},\blFo{\card{b}}}\lockedQuiverProductSymbol \bindCardSize{\subSize{\lineQuiver }{2}}{\daGFo{\card{x}}}\homeomorphicSymbol \indexGraphDisjointUnion{\bindCardSize{\subSize{\hexagonalQuiver }{ \infty }}{\reFo{\card{r}},\grFo{\card{g}},\blFo{\card{b}}}}{\sym{i}}{3}$

Since the triangular product produces countably infinite copies of the triangular lattice, we also have this property of the hexagonal product:

$\function{\starModifier{ \Delta }}(\bindCardSize{\subSize{\lineQuiver }{ \infty }}{\reFo{\card{c}}},\bindCardSize{\subSize{\lineQuiver }{ \infty }}{\grFo{\card{g}}},\bindCardSize{\subSize{\lineQuiver }{ \infty }}{\blFo{\card{b}}},\bindCardSize{\subSize{\lineQuiver }{2}}{\daGFo{\card{w}}})\homeomorphicSymbol \indexGraphDisjointUnion{\bindCardSize{\subSize{\hexagonalQuiver }{ \infty }}{\reFo{\card{r}},\grFo{\card{g}},\blFo{\card{b}}}}{\sym{i}}{ \infty }$

Rhombille quiver #

Extending $$\gFo{\quiver{X}}$$ to be a 3-line lattice yields the rhombille lattice:

Again, the factorization gives us an alternative way of building the rhombille lattice, again showing the three connected components:

Extending $$\gFo{\quiver{X}}$$ to be a 4-line lattice yields the "alternating rhombille lattice", which involves a similar motif to the rhombille lattice, in which vertices alternate between degree 3 and degree 6:

Returning to the square lattice, we apply the same technique to obtain non-transitive versions of the square lattice. Here, we compute:

$\quiverProdPoly{\reFo{\forwardFactor }\,\daGFo{\forwardFactor }+\blFo{\forwardFactor }\,\daGFo{\forwardFactor }}$

while varying $$\gFo{\quiver{X}}$$ between a 2-line lattice and a 5-line lattice:

Decomposition of products #

In the previous section we decomposed the non-transitive hexagonal and rhombille lattices into their connected components. We now extend this technique to the earlier products we examined, so we can better understand how they produce fragments of corresponding lattice quivers.

As before, we'll visualize these as by superimposing each connected component on top of the full union of all connected components, shown dimmed. Note that it may appear that the union itself is fully connected, but when this occurs it is an artefact of the projection onto two dimensions.

Square decomposition #

The Cartesian product $$\quiverProdPoly{\reFo{\forwardFactor }+\blFo{\forwardFactor }}$$ decomposition is trivial, since the Cartesian product of two line lattices yields a single connected graph.

Triangular decomposition #

The triangular product $$\quiverProdPoly{\reFo{\forwardFactor }\,\grFo{\backwardFactor }+\grFo{\forwardFactor }\,\blFo{\backwardFactor }+\blFo{\forwardFactor }\,\reFo{\backwardFactor }}$$ is more interesting, yielding a "stack" of disconnected components:

These components correspond to angled slices through the vertices of a cubic grid. Here we show a smaller fragment to avoid clutter, from an angle to emphasize the separate planes that yield the connected components:

And from another angle to emphasize the hexagonal structure of each plane:

Hexagonal decomposition #

The hexagonal product $$\quiverProdPoly{\reFo{\forwardFactor }\,\grFo{\backwardFactor }\,\daGFo{\forwardFactor }+\grFo{\forwardFactor }\,\blFo{\backwardFactor }\,\daGFo{\forwardFactor }+\blFo{\forwardFactor }\,\reFo{\backwardFactor }\,\daGFo{\forwardFactor }}$$ is similar to the triangular product, except with more slices possible:

The corresponding higher-dimensional object of which the connected components are slices is 4-dimensional, and cannot easily be visualized. Notice that the appearance of two single vertex connected components above is a reflection of the fact that there are two product vertices (corresponding to the two $$\gFo{\quiver{X}}$$-vertices) whose whose projections into 2 (and 3) dimensions coincide.

Square products #

Finally, we can decompose the product of the square lattice with a 2-line lattice:

Unlike the case with the product of the triangular lattice with the 2-line, we have a large number of connected components that depends on the size of the finite square lattice. We can see these components as slices of the following three-dimensional slab in which the $$\gFo{\quiver{X}}$$-axis has length 2, depicted going into the page:

Here the $$\gFo{\quiver{X}}$$-axis is depicted vertically, and the connected components are more easily seen:

For a 3-line lattice we obtain a "thicker stripe" that scans across the square:

This corresponds to slices of a three-dimensional slab where the $$\gFo{\quiver{X}}$$-axis has length 3, depicted going into the page.

Here the $$\gFo{\quiver{X}}$$-axis is depicted vertically, and the connected components are more easily seen as being intersections of the slab vertices with particular three-dimensional planes:

Powers #

We are ready now to consider powers of factors like $$\quiverProdPoly{\reFo{\forwardFactor }},\quiverProdPoly{\reFo{\backwardFactor }}$$ allowing terms such as $$\quiverProdPoly{\reFo{\forwardFactor }\,\reFo{\forwardFactor }},\quiverProdPoly{\reFo{\forwardFactor }\,\reFo{\forwardFactor }\,\reFo{\forwardFactor }},\elSy$$ and $$\quiverProdPoly{\reFo{\backwardFactor }\,\reFo{\backwardFactor }},\quiverProdPoly{\reFo{\backwardFactor }\,\reFo{\backwardFactor }\,\reFo{\backwardFactor }},\elSy$$. We first describe $$\quiverProdPoly{\reFo{\forwardFactor }\,\reFo{\forwardFactor }}$$ and consider an example.

For quiver $$\reFo{\quiver{R}}$$ we define the monomial $$\quiverProdPoly{\reFo{\forwardFactor }\,\reFo{\forwardFactor }}$$ to be the quiver $$\reFo{\quiver{R}_2}$$ defined as follows:

\begin{aligned} \vertexList(\reFo{\quiver{R_2}})&\defEqualSymbol \vertexList(\quiver{\reFo{R}})\\ \\ \edgeList(\reFo{\quiver{R_2}})&\defEqualSymbol \setConstructor{\tde{\tvert{r}}{\hvert{r}}{\card{c_1}\cardinalSequenceSymbol \card{c_2}}}{\elemOf{\tde{\tvert{r}}{\vert{m}}{\card{c_1}},\tde{\vert{m}}{\hvert{r}}{\card{c_2}}}{\edgeList(\quiver{\reFo{R}})}}\end{aligned}

In other words, the product edges of $$\reFo{\quiver{R}_2}$$ are 2-paths formed from (non-inverted) factor cardinals in $$\reFo{\quiver{R}}$$. The corresponding product cardinals are ordered 2-lists $$\card{c_1}\cardinalSequenceSymbol \card{c_2}$$ of the corresponding factor cardinals. This is essentially identical to taking the square of the cardinal adjacency matrix.

Line lattice #

Here is $$\reFo{\quiver{R}_2}$$ visualized for $$\reFo{\quiver{R}} = \bindCards{\subSize{\lineQuiver }{6}}{\reFo{\card{r}}}$$. It splits into two isomorphic connected components:

For length $$\reFo{\quiver{R}} = \bindCards{\subSize{\lineQuiver }{5}}{\reFo{\card{r}}}$$, the two components are not isomorphic:

For $$\reFo{\quiver{R}} = \bindCards{\subSize{\cycleQuiver }{6}}{\reFo{\card{r}}}$$, we again obtain two connected components:

For $$\reFo{\quiver{R}} = \bindCards{\subSize{\cycleQuiver }{5}}{\reFo{\card{r}}}$$, we again obtain one connected component:

This general pattern is easy to state:

z z z
finite line quiver $$\subSize{\lineQuiver }{\sym{n}}$$ $$\subSize{\lineQuiver }{\ceiling{\sym{n} / 2}}\graphUnionSymbol \subSize{\lineQuiver }{\floor{\sym{n} / 2}}$$
infinite line quiver $$\subSize{\lineQuiver }{ \infty }$$ $$\subSize{\lineQuiver }{ \infty }\graphUnionSymbol \subSize{\lineQuiver }{ \infty }$$
even cycle quiver $$\subSize{\cycleQuiver }{2 \, \sym{n}}$$ $$\subSize{\cycleQuiver }{2 \, \sym{n}}$$
odd cycle quiver $$\subSize{\cycleQuiver }{2 \, \sym{n} + 1}$$ $$\subSize{\cycleQuiver }{\sym{n}}\graphUnionSymbol \subSize{\cycleQuiver }{\sym{n}}$$

Square lattice #

For $$\quiver{Q}$$ a square quiver, which has multiple cardinals $$\cardinalList(\quiver{Q}) = \list{\reFo{\card{r}},\blFo{\card{b}}}$$, the construction for $$\quiver{Q}_2$$ is a little more complex. Here, the product cardinals are constructed from all possible pairs of non-inverted cardinals:

$\cardinalList(\quiver{Q_2}) = \list{\reFo{\card{r}}\cardinalSequenceSymbol \reFo{\card{r}},\reFo{\card{r}}\cardinalSequenceSymbol \blFo{\card{b}},\blFo{\card{b}}\cardinalSequenceSymbol \reFo{\card{r}},\blFo{\card{b}}\cardinalSequenceSymbol \blFo{\card{b}}}$

We visualize $$\quiver{Q}_2$$ for a 5,5-square lattice:

The long horizontal and vertical edges above are the product cardinals $$\reFo{\card{r}}\cardinalSequenceSymbol \reFo{\card{r}}$$ and $$\blFo{\card{b}}\cardinalSequenceSymbol \blFo{\card{b}}$$, and the short pairs of diagonal edges with identical head and tail are $$\reFo{\card{r}}\cardinalSequenceSymbol \blFo{\card{b}}$$ and $$\blFo{\card{b}}\cardinalSequenceSymbol \reFo{\card{r}}$$.

Triangular lattice #

The structure of the second power of the triangular lattice is complex and interesting, but will not be described further here.

Higher powers #

We can define the general $n^{\textrm{th}}$ forward power of a quiver similarly, written as $$\quiverProdPoly{\quiverProdPower{\reFo{\forwardFactor }}{\sym{n}}}\defEqualSymbol \parenLabeled{\quiverProdPoly{\reFo{\forwardFactor }\,\reFo{\forwardFactor }\,\quiver{\elSy}\,\reFo{\forwardFactor }}}{\sym{n} \maTeFo{ times}}$$. The same constructions work as you would imagine for $$\quiverProdPoly{\quiverProdPower{\reFo{\backwardFactor }}{\sym{n}}}$$.