Skip to content

References

The curated, verified bibliography that quiverlab cites, rendered from the single packaged source src/quiverlab/citations/references.bib.

Algorithms

[bardzell] Bardzell, Michael J. (1997). The alternating syzygy behavior of monomial algebras. Journal of Algebra 188, 69-89. The minimal projective bimodule resolution for monomial algebras (quiverlab's Bardzell engine and the truncated/radical-square-zero families). [chouhy_solotar] Chouhy, Sergio; Solotar, Andrea (2015). Projective resolutions of associative algebras and ambiguities. Journal of Algebra 432, 22-61. The general kQ/I bimodule resolution from a reduction system -- quiverlab's Chouhy-Solotar engine for non-monomial algebras. [bracket_liftings] Negron, Cris; Witherspoon, Sarah (2016). An alternate approach to the Lie bracket on Hochschild cohomology. Homology, Homotopy and Applications 18, 265-285. The Gerstenhaber bracket computed directly on a non-bar resolution (with Volkov2019), transported onto bar representatives. [bracket_liftings_volkov] Volkov, Yury (2019). Gerstenhaber bracket on the Hochschild cohomology via an arbitrary resolution. Proceedings of the Edinburgh Mathematical Society. Series II 62, 817-836. A bracket formula valid on any projective bimodule resolution (companion to Negron-Witherspoon). [oke_koszul] Oke, Femi Emmanuel (2021). Bracket structure on Hochschild cohomology of Koszul quiver algebras using homotopy liftings. Communications in Algebra. The homotopy-lifting bracket formulation quiverlab's native CS bracket implements (Plan 51); source of the section-7 Koszul-quiver worked tables. [minimal_resolution] Green, Edward L.; Solberg, Oyvind; Zacharia, Dan (2001). Minimal projective resolutions. Transactions of the American Mathematical Society 353, 2915-2939. The Green-Solberg-Zacharia minimal module resolution algorithm (quiverlab's minimal engine and module Ext). [module_ext] Green, Edward L.; Solberg, Oyvind; Zacharia, Dan (2001). Minimal projective resolutions. Transactions of the American Mathematical Society 353, 2915-2939. Module-level Ext^n over minimal resolutions (Plan 05 module engine). [hodge] Gerstenhaber, Murray; Schack, Samuel D. (1987). A Hodge-type decomposition for commutative algebra cohomology. Journal of Pure and Applied Algebra 48, 229-247. The eigenspace splitting HH^n = (+) HH^{n,(i)} of commutative/tensor and incidence-algebra pieces. [cyclic] Connes, Alain (1985). Non-commutative differential geometry. Publications Math'ematiques de l'IH'ES 62, 41-144. Connes' B-operator and the SBI sequence -- quiverlab's cyclic homology. [barakat_homalg] Barakat, Mohamed; Lange-Hegermann, Markus (2011). An axiomatic setup for algorithmic homological algebra and an alternative approach to localization. Journal of Algebra and Its Applications 10, 269-293. The Grothendieck spectral sequence over general module categories (the homalg framing) -- quiverlab's Grothendieck / Cartan-Eilenberg change-of-rings preset. [cup] Gerstenhaber, Murray (1963). The cohomology structure of an associative ring. Annals of Mathematics. Second Series 78, 267-288. The associative cup product on HH^ (Gerstenhaber-algebra structure). [bracket] Gerstenhaber, Murray (1963). The cohomology structure of an associative ring. Annals of Mathematics. Second Series 78, 267-288. The graded Lie bracket making HH^ a Gerstenhaber algebra. [bv_tradler] Tradler, Thomas (2008). The Batalin-Vilkovisky algebra on Hochschild cohomology induced by infinity inner products. Annales de l'Institut Fourier 58, 2351-2379. The symmetric-algebra BV operator Delta on HH^ induced by a symmetric, invariant, nondegenerate inner product -- quiverlab's symmetric (nu-inner) BV route (Plan 54). [bv_lzz] Lambre, Thierry; Zhou, Guodong; Zimmermann, Alexander (2016). The Hochschild cohomology ring of a Frobenius algebra with semisimple Nakayama automorphism is a Batalin-Vilkovisky algebra. Journal of Algebra 446, 103-131. The Frobenius-algebra BV operator under the semisimple-nu hypothesis -- quiverlab's semisimple-nu / twisted BV route (Plan 54). [bv_volkov] Volkov, Yury (2016). BV-differential on Hochschild cohomology of Frobenius algebras. The BV differential under ord(nu) coprime to char k (over GF(p): the squarefree-minpoly / p does not divide ord(nu) phrasing recorded in quiverlab's provenance) -- Plan 54. [bv_biklz] Bian, Xiaojun; Itagaki, Tomohiro; Kou, Cuili; Lyu, Junjun; Zhou, Guodong (2026). The Hochschild cohomology ring of a self-injective Nakayama algebra is a Batalin-Vilkovisky algebra. The self-injective Nakayama BV structure; Sec 3.2 (e=1) gives the explicit k[x]/(x^N) Delta values that back quiverlab's char-sensitivity + Delta-rank literature oracle (Plan 54). [priddy] Priddy, Stewart B. (1970). Koszul resolutions. Transactions of the American Mathematical Society 152, 39-60. The Priddy PBW / G-quadratic certifier: a quadratic Gröbner basis (all reduction tips length 2) proves the algebra is Koszul (Plan 27). [froberg_koszul] Fr"oberg, Ralf (1999). Koszul algebras. Advances in Commutative Ring Theory (Fez, 1997) 205, 337-350. The Hilbert-series Koszulity criterion P(t)C_A(-t) = I -- quiverlab's Fröberg numeric Koszulity falsifier (Plan 27). [green_hartman_marcos_solberg] Green, Edward L.; Hartman, Gregory; Marcos, Eduardo N.; Solberg, Oyvind (2005). Resolutions over Koszul algebras. Arch. Math. (Basel) 85, 118-127. Green-Hartman-Marcos-Solberg: the minimal graded A^e-resolution P_n = A (x)_S K_n (x)_S A of a Koszul algebra with the comultiplicative differential; K_n = the intersection of V^i (x) R (x) V^j, and dim K_n is the n-th Koszul-dual Hilbert coefficient. The GHMS fast-HH engine (Plan 75). [clms_bounded_extensions] Cibils, Claude; Lanzilotta, Marcelo; Marcos, Eduardo N.; Solotar, Andrea (2022). Han's conjecture for bounded extensions. Journal of Algebra. CLMS: B subset A left/right bounded (A/B tensor-nilpotent, finite pd over B^e, one-sided B-projective) implies B satisfies Han iff A does (Thm 4.6). Examples 5.3 (bounded) / 5.5 (not bounded) are the P73 oracles. [igusa_todorov] Igusa, Kiyoshi; Todorov, Gordana (2005). On the finitistic global dimension conjecture for Artin algebras. Representations of algebras and related topics 45, 201-204. The Igusa-Todorov functions phi/psi on the finite K0 + syzygy operator (phi = pd for finite projective dimension) -- quiverlab's Plan-40 IT engine. [butler_ringel] Butler, M. C. R.; Ringel, Claus Michael (). Auslander-Reiten sequences with few middle terms and applications to string algebras. Communications in Algebra. Butler-Ringel: the string/band module classification and the hook/cohook description of the AR translate -- the ground truth for the string subsystem. [suarez_alvarez] Su'arez-'Alvarez, Mariano (). A Simple Homological Characterization of String Algebras of Finite Representation Type. Algebras and Representation Theory 26}, number = {5}, pages = {1759--1772}, year = {2023. Suarez-Alvarez: among rep-finite algebras, string <=> the middle term of EVERY extension of indecomposables has <= 2 summands (all Ext^1 classes, not just AR sequences) -- the homological string test. [avella_geiss] Avella-Alaminos, Diana; Geiss, Christof (). Combinatorial derived invariants for gentle algebras. Journal of Pure and Applied Algebra. The AG-invariant: a multiset of (n,m) pairs from permitted/forbidden threads; a DERIVED invariant, provably NOT complete. [amiot_skew_gentle] Amiot, Claire (). Indecomposable objects in the derived category of a skew-gentle algebra using orbifolds. arXiv preprint (ICRA 2020 proceedings). Amiot: skew-gentle as Z2-skew-group of a gentle algebra; the orbifold/double-cover geometric model backing the geometric-vs-engine tau-tilting cross-check. [garcia_lavoue] Garcia, Monica; Lavou'e, L'ea (). Brick-finite skew-gentle algebras are representation-finite. arXiv preprint. Garcia-Lavoue Thm 3.1 (char != 2): brick-finite <=> rep-finite for skew-gentle -- composed with DIJ (brick-finite <=> tau-tilting-finite) gives the rep-type certificate. [buan_marsh_tau_exceptional] Buan, Aslak Bakke; Marsh, Robert J. (2021). \(tau\)-exceptional sequences. J. Algebra 585, 36-68. Buan-Marsh: signed tau-exceptional sequences via the Jasso tau-perpendicular reduction; bijection with ordered support tau-tilting modules (#signed = n!*#sTt) -- the Plan-65 / R27 count oracle. [degraaf_lie] de Graaf, Willem A. (2000). Lie Algebras: Theory and Algorithms. Elsevier 56. de Graaf: the algorithms behind the char-0 classification -- solvable radical rad = [L,L]^perp, Levi-Malcev decomposition, and direct-sum-of-simple-ideals type of a semisimple Lie algebra.

Families

[quantum_ci] Buchweitz, Ragnar-Olaf; Green, Edward L.; Madsen, Dag; Solberg, Oyvind (2005). Finite Hochschild cohomology without finite global dimension. Mathematical Research Letters 12, 805-816. The algebra k/(x^2, y^2, xy + q yx): finite Hochschild cohomology with infinite global dimension (the QuantumCI family). [qci_hh_oracle] Bergh, Petter Andreas; Erdmann, Karin (2008). Homology and cohomology of quantum complete intersections. Algebra & Number Theory 2, 501-522. Explicit HH^ / HH_ of quantum complete intersections -- the literature oracle QuantumCI results are checked against. [tensor_product] Cartan, Henri; Eilenberg, Samuel (1956). Homological Algebra. Princeton University Press 19. The Kunneth isomorphism HH^n(A(x)B) = (+){i+j=n} HH^i(A)(x)HH^j(B) that makes HH multiplicative on tensor factors -- the anchor for TensorProduct(A, B). [path_algebra] Assem, Ibrahim; Simson, Daniel; Skowro'nski, Andrzej (2006). Elements of the Representation Theory of Associative Algebras. Volume 1: Techniques of Representation Theory. Cambridge University Press 65. The path-algebra / bound-quiver formalism for PathAlgebra and the catalog. [nakayama] Assem, Ibrahim; Simson, Daniel; Skowro'nski, Andrzej (2006). Elements of the Representation Theory of Associative Algebras. Volume 1: Techniques of Representation Theory. Cambridge University Press 65. Serial algebras by Kupisch series -- the NakayamaAlgebra family. [incidence] Assem, Ibrahim; Simson, Daniel; Skowro'nski, Andrzej (2006). Elements of the Representation Theory of Associative Algebras. Volume 1: Techniques of Representation Theory. Cambridge University Press 65. The incidence algebra kP realized as a bound quiver -- the IncidenceAlgebra family. [preprojective] Assem, Ibrahim; Simson, Daniel; Skowro'nski, Andrzej (2006). Elements of the Representation Theory of Associative Algebras. Volume 1: Techniques of Representation Theory. Cambridge University Press 65. The preprojective algebra of a Dynkin quiver -- the PreprojectiveAlgebra family. [lenzing_meltzer_ruan] Lenzing, Helmut; Meltzer, Hagen; Ruan, Shiquan (2022). Nakayama algebras and Fuchsian singularities. Exact Coxeter polynomials of the uniserial Nakayama algebras N_n(r) -- the spectral oracle for the Nakayama family (Plan 29). [redondo_roman_2014] Redondo, Mar'ia Julia; Rom'an, Lucrecia (2014). Hochschild cohomology of triangular string algebras and its ring structure. Journal of Pure and Applied Algebra 218, 925-936. HH^ of the triangular string algebras A_n (with the degree-(2m+1) revival) and its trivial positive-degree cup product -- the string-algebra HH oracle. [taillefer_taft] Taillefer, Rachel (2001). Cyclic homology of the Taft algebras and of their Auslander algebras. K-Theory 24. HH_ and HC of the cyclic Nakayama (Taft) algebras in characteristic zero -- the cyclic-homology oracle. [cibils_radsq] Cibils, Claude (1998). Hochschild cohomology algebra of radical square zero algebras. Algebras and Modules II (Geiranger, 1996) 24, 93-101. The parallel-path cochain complex for kQ/J^2 (with the characteristic-2 doubling of k[x]/(x^2)) -- the radical-square-zero HH oracle. [cibils_incidence] Cibils, Claude (1989). Cohomology of incidence algebras and simplicial complexes. Journal of Pure and Applied Algebra 56, 221-232. HH^n of an incidence algebra equals the simplicial cohomology of the poset order complex -- the incidence-vs-nerve HH oracle. [redondo_incidence] Redondo, Mar'ia Julia (2008). Hochschild cohomology via incidence algebras. Journal of the London Mathematical Society. Second Series 77, 465-480. The simplicial-cohomology identification of HH^ underpinning the incidence-vs-nerve oracle (with Cibils 1989). [barrios_mata] Barrios, Marcos; Mata, Gustavo; Rama, Gustavo (2020). The Igusa-Todorov \(phi\) function for truncated path algebras. Algebras and Representation Theory 23, 1051-1063. Closed forms for the phi/psi-dimension of truncated path algebras kQ/J^k (via kQ/J^2) -- the Plan-40 Igusa-Todorov literature oracle. [ivanov_volkov] Ivanov, Sergei O.; Volkov, Yury (2014). Stable Calabi-Yau dimension of self-injective algebras of finite type. Journal of Algebra 413, 72-99. The Serre functor S = Omega.nu, suspension Sigma = Omega^{-1}, and the criterion Omega^{n+1} ~ nu^{-1} -- the Plan-53 fractional-CY ground truth (Table 1 deferred). [geiss_leclerc_schroer] Geiss, Christof; Leclerc, Bernard; Schr"oer, Jan (2006). Rigid modules over preprojective algebras. Inventiones Mathematicae 165, 589-632. The stable category of a Dynkin preprojective algebra is 2-Calabi-Yau -- the Plan-53 Pi(Delta) fractional-CY (2,1) literature oracle. [alsolotar_toupie] Artenstein, Dalia; Lanzilotta, Marcelo; Solotar, Andrea (). Gerstenhaber structure on Hochschild cohomology of toupie algebras. Algebras and Representation Theory 23}, number = {2}, pages = {421--456}, year = {2020. Artenstein-Lanzilotta-Solotar: toupie = unique source/sink + a parallel branches; a-Kronecker HH^* = [1, a^2-1, 0, ..]; HH^1 contains sl_a (char 0), a = # direct source->sink arrows. [schroll_brauer] Schroll, Sibylle (). Brauer graph algebras. Homological Methods, Representation Theory, and Cluster Algebras. The presentation of a Brauer graph algebra from a ribbon graph + multiplicities; the dimension and symmetric structure. [he_zhou_zhu] He, Ping; Zhou, Yu; Zhu, Bin (). A geometric model for the module category of a skew-gentle algebra. arXiv preprint. He-Zhou-Zhu: the skew-gentle triple (Q,Sp,I), the idempotent specialization eps^2=eps, the split/doubled quiver, and support tau-tilting via the orbifold model -- the primary skew-gentle source. [chen_skew_gentle] Chen, Yiping (). A characteristic free approach to skew-gentle algebras. arXiv preprint. Chen: the char-free idempotent split construction (sec 3), the selfinjective classification (Sp=empty & gentle selfinjective), the K-theory/dim relation, and Gorensteinness -- the split constructor's binding source, valid in char 2. [derksen_weyman_zelevinsky] Derksen, Harm; Weyman, Jerzy; Zelevinsky, Andrei (2008). Quivers with potentials and their representations I: Mutations. Selecta Mathematica (New Series) 14, 59-119. The Jacobian algebra kQ/(cyclic derivatives) of a quiver with potential (Q, W) -- quiverlab's JacobianAlgebra constructor (Plan 44 / C7). [labardini] Labardini-Fragoso, Daniel (2009). Quivers with potentials associated to triangulated surfaces. Proceedings of the London Mathematical Society (3) 98, 797-839. Surface quivers with potentials whose Jacobian algebras are finite-dimensional (the framework for the Plan-44 Jacobian constructor; surface QPs land in P48). [abcp] Assem, Ibrahim; Br"ustle, Thomas; Charbonneau-Jodoin, Gabrielle; Plamondon, Pierre-Guy (2010). Gentle algebras arising from surface triangulations. Algebra & Number Theory 4, 201-229. For an unpunctured surface with boundary the Jacobian Jac(Q(T),W(T)) is a GENTLE algebra -- the Plan-48 v1 certifiability theorem (with Labardini 2009). [hughes_waschbusche] Hughes, D.; Waschb"usch, J. (1983). Trivial extensions of tilted algebras. Proceedings of the London Mathematical Society (3) 46, 347-364. The repetitive algebra hat(A) and its connecting D(A) bimodule -- the source of quiverlab's finite repetitive-algebra slices (Plan 44 / C7).

Finite fields

[conway] L"ubeck, Frank (). Conway polynomials for finite fields. Lubeck's Conway-polynomial tables fixing canonical generators of GF(p^n). [finite_fields] L"ubeck, Frank (). Conway polynomials for finite fields. Deterministic cross-compatible GF(q) arithmetic via Conway polynomials.

Foundations

[witherspoon_gsm204] Witherspoon, Sarah J. (2019). Hochschild Cohomology for Algebras. American Mathematical Society 204. The textbook derivation of the homotopy-lifting Gerstenhaber bracket (the expository anchor for quiverlab's native CS bracket). [bar] Hochschild, Gerhard (1945). On the cohomology groups of an associative algebra. Annals of Mathematics. Second Series 46, 58-67. Hochschild's original definition of the cohomology of an associative algebra; the normalized bar complex is quiverlab's HH^/HH_ oracle in any characteristic. [happel_question] Happel, Dieter (1989). Hochschild cohomology of finite-dimensional algebras. S'eminaire d'Alg`ebre Paul Dubreil et Marie-Paul Malliavin (Paris, 1987/1988) 1404, 108-126. Whether finite global dimension is equivalent to eventual vanishing of HH^n -- the motivating question for the hereditary and truncated families. [weibel_homological] Weibel, Charles A. (1994). An Introduction to Homological Algebra. Cambridge University Press 38. The section-5.4 spectral-sequence page formulas and the strong-convergence theorem -- quiverlab's spectral-sequence engine (Plan 42). [cartan_eilenberg] Cartan, Henri; Eilenberg, Samuel (1956). Homological Algebra. Princeton University Press 19. The change-of-rings spectral sequence -- quiverlab's Cartan-Eilenberg preset (Plan 42). [gerstenhaber] Gerstenhaber, Murray (1963). The cohomology structure of an associative ring. Annals of Mathematics. Second Series 78, 267-288. The definitional source of the cup product and Gerstenhaber bracket. [assem_book] Assem, Ibrahim; Simson, Daniel; Skowro'nski, Andrzej (2006). Elements of the Representation Theory of Associative Algebras. Volume 1: Techniques of Representation Theory. Cambridge University Press 65. The standard reference for bound quivers and the representation theory quiverlab implements. [ars_book] Auslander, Maurice; Reiten, Idun; Smalo, Sverre O. (1995). Representation Theory of Artin Algebras. Cambridge University Press 36. The Auslander-Reiten theory reference: almost-split sequences, irreducible maps, the AR quiver, and the Nakayama functor -- the ground truth for Plan 41. [liu_degrees] Liu, Shiping (1992). Degrees of irreducible maps and the shapes of Auslander-Reiten quivers. Journal of the London Mathematical Society. Second Series 45, 32-54. Liu's left/right degrees of irreducible morphisms and their control of the AR-quiver shape -- the R21 degree theory Plan 57 computes on the knit. [liu_semistable] Liu, Shiping (1993). Semi-stable components of an Auslander-Reiten quiver. Journal of the London Mathematical Society. Second Series 47, 405-416. Liu's component classification (sectional paths, semistable/directed components) underlying Plan 57's partition and rep-directed recognizer. [chaio_liu_radical] Chaio, Claudia; Liu, Shiping (2013). A note on the radical of a module category. Communications in Algebra 41, 4419-4424. Chaio-Liu: rep-finiteness through the infinite radical; the nilpotency of rad(mod A) in the rep-finite case is the maximal depth of composites -- the theorem behind Plan 57's nilpotency index and rad^inf=0 gate. [cmms_radsq] Coelho, Fl'avio U.; Marcos, Eduardo N.; Merklen, H'ector A.; Skowro'nski, Andrzej (1994). Module categories with infinite radical square zero are of finite type. Communications in Algebra 22, 4511-4517. CMMS: (rad^inf)^2 = 0 implies representation-finite -- the class oracle justifying Plan 57's finite-nilpotency-index rep-finiteness certificate (documented, not a per-instance decider off the rep-finite domain). [ringel_tame] Ringel, Claus Michael (1984). Tame Algebras and Integral Quadratic Forms. Springer 1099. Ringel LNM 1099: directing modules, the postprojective/regular/preinjective trichotomy -- the R21 component-invariant reference. [han_conjecture] Han, Yang (2006). Hochschild (co)homology dimension. Journal of the London Mathematical Society. Second Series 73, 657-668. Finite global dimension iff finite Hochschild homology dimension -- the conjecture the zoo scans probe. [polishchuk_positselski] Polishchuk, Alexander; Positselski, Leonid (2005). Quadratic Algebras. American Mathematical Society 37. The quadratic-dual conventions (A^! = kQ^op/R^perp) behind quiverlab's Koszul dual and the E(A) = (A^!)^op cross-check (Plan 27). [amiot_cluster_category] Amiot, Claire (2009). Cluster categories for algebras of global dimension 2 and quivers with potential. Annales de l'Institut Fourier 59, 2525-2590. The generalized cluster category C_(Q,W) of a quiver with potential: when (Q,W) is Jacobi-FINITE it carries a cluster-tilting object whose endomorphism algebra IS the Jacobian algebra Jac(Q,W). quiverlab CITES this identification -- it computes the Jacobian side and never forms Hom_C (no dg engine) -- and certifies the algebra-level statement (Plan 79). [bmrrt_cluster] Buan, Aslak Bakke; Marsh, Robert; Reineke, Markus; Reiten, Idun; Todorov, Gordana (2006). Tilting theory and cluster combinatorics. Advances in Mathematics 204, 572-618. The cluster category C_Q = D^b(kQ)/tau^-1[1] and its FUNDAMENTAL DOMAIN ind(mod kQ) || {P_v[1]} -- the finite model quiverlab computes on, giving #indec(C_Q) = #ind(mod kQ) + n (the almost-positive roots) and the reduction Ext^1_C(X,Y) = Ext^1_A(X,Y) (+) D Ext^1_A(Y,X) behind the 2-CY certificate (Plan 79). [bmr_cluster_tilted] Buan, Aslak Bakke; Marsh, Robert; Reiten, Idun (2007). Cluster-tilted algebras. Transactions of the American Mathematical Society 359, 323-332. End{C_Q}(T) for a cluster-tilting object T is the cluster-tilted algebra; with Amiot it is the Jacobian algebra of the cluster-tilted quiver-with-potential. quiverlab certifies the QUIVER step by Fomin-Zelevinsky matrix mutation and verifies the Jacobian algebra's presentation (Plan 79). [keller_reiten_gorenstein] Keller, Bernhard; Reiten, Idun (2007). Cluster-tilted algebras are Gorenstein and stably Calabi-Yau. Advances in Mathematics 211, 123-151. Cluster-tilted algebras are Gorenstein of dimension at most one, and hereditary iff of finite global dimension -- quiverlab's self-certificate on every cluster-tilted algebra it builds (Plan 79). [ginzburg_cy] Ginzburg, Victor (2006). Calabi-Yau algebras. The Ginzburg dg algebra Gamma(Q,W) underlying the generalized cluster category. OUT-OF-SCOPE machinery for quiverlab -- cited only to name what a general non-acyclic C_(Q,W) would need (Plan 79 honest scope). [keller_yang_mutation] Keller, Bernhard; Yang, Dong (2011). Derived equivalences from mutations of quivers with potential. Advances in Mathematics 226, 2118-2168. The 'Keller' half of Amiot-Keller: derived equivalences from QP mutation. OUT-OF-SCOPE machinery (no dg engine ships) -- cited at the scope boundary (Plan 79). [berger_nonquadratic] Berger, Roland (2001). Koszulity for nonquadratic algebras. Journal of Algebra 239, 705-734. Berger's N-Koszul property for N-homogeneous algebras: the minimal resolution of the trivial module is PURE, generated in the single internal degree delta(n) = (N/2)n (n even) / (N/2)(n-1)+1 (n odd) -- the 2-N alternation quiverlab's n_koszul_certificate checks. For N >= 3 the property is equivalent to the Yoneda algebra being generated in degrees 0, 1, 2 (Plan 77). [cassidy_shelton] Cassidy, Thomas; Shelton, Brad (2008). Generalizing the notion of Koszul algebra. Mathematische Zeitschrift 260, 93-114. The K2 property: E(A) = Ext(k,k) is generated as an algebra in cohomological degrees 1 and 2. K2 generalizes BOTH Koszul and N-Koszul and allows relations in several degrees -- quiverlab's k2_certificate, decided through an explicit certified window (Plan 77). [brenner_butler_king] Brenner, Sheila; Butler, Michael C. R.; King, Alastair D. (2002). Periodic algebras which are almost Koszul. Algebras and Representation Theory 5, 331-368. (p,q)-almost-Koszul: A is concentrated in degrees 0..p and a linear complex of projectives resolves the simple up to an error in internal degree p+q. The Dynkin preprojective algebras are (h-2, 2)-Koszul (h = Coxeter number) and periodic of period 2(h-1) -- quiverlab's almost_koszul_certificate reproduces the (p,q) label via p = top degree, q = e - p (Plan 77). [herscovich_multikoszul] Herscovich, Estanislao (2013). On the multi-Koszul property for connected algebras. Multi-Koszul for locally finite-dimensional nonnegatively graded CONNECTED (A_0 = k) algebras, generalizing N-Koszul to relations in several degrees. Prop. 3.30: a finitely generated multi-Koszul algebra with a finite-dimensional relation space has Yoneda algebra generated in degrees 1 and 2, i.e. is K2 -- the transfer quiverlab reports for multi-vertex kQ/I, whose A_0 = k^{Q_0} is semisimple, not connected (Plan 77). [herscovich_ainfty_ext] Herscovich, Estanislao (2019). Applications of one-point extensions to compute the \(A_infty\)-(co)module structure of several Ext (resp., Tor) groups. Journal of Pure and Applied Algebra 223, 1054-1072. The A-infinity structure on the Yoneda algebra of a multi-Koszul algebra. CONTEXT for Plan 77's multi-Koszul scope -- quiverlab computes no A-infinity structure. [chouhy_degenerations] Chouhy, Sergio (2019). On geometric degenerations and Gerstenhaber formal deformations. Bulletin of the London Mathematical Society 51, 787-797. For finite-dimensional associative algebras the N-Koszul property is preserved under the degeneration relation, for every N >= 2. CONTEXT for the robustness of Plan 77's N-Koszul verdict -- quiverlab computes no degenerations. [green_marcos_martinezvilla_zhang] Green, Edward L.; Marcos, Eduardo N.; Mart'inez-Villa, Roberto; Zhang, Pu (2004). D-Koszul algebras. Journal of Pure and Applied Algebra 193, 141-162. N-Koszul (delta-Koszul) theory over a SEMISIMPLE base A_0 = k^{Q_0} -- the several-vertex foundation that legitimizes Plan 77's N-Koszul recognizer on multi-vertex kQ/I, where Berger's connected-graded setting does not apply verbatim. [happel_trace] Happel, Dieter (1997). The trace of the Coxeter matrix and Hochschild cohomology. Linear Algebra and its Applications 258, 169-177. Happel's trace identity tr(Coxeter) = sum (-1)^i dim HH^i for finite global dimension -- the Hochschild/Coxeter cross-invariant consistency oracle (Plan 29). [keller_cyclic_invariance] Keller, Bernhard (1998). Invariance and localization for cyclic homology of DG algebras. Journal of Pure and Applied Algebra 123, 223-273. Derived invariance of cyclic homology (with HH^/HH_): reflection-equivalent orientations of one graph share HH^/HH_/HC_ -- the derived-invariance oracle scheme. [rickard_derived] Rickard, Jeremy (1989). Morita theory for derived categories. Journal of the London Mathematical Society. Second Series 39, 436-456. Derived-equivalent algebras (e.g. a Brauer tree and its Brauer star) share Hochschild and cyclic homology -- the derived-invariance oracle. [lenzing_delapena_spectral] Lenzing, Helmut; de la Pe na, Jos'e Antonio (2008). Spectral analysis of finite dimensional algebras and singularities. Trends in Representation Theory of Algebras and Related Topics (ICRA XII), 541-588. The Dynkin / extended-Dynkin / canonical Coxeter-polynomial tables and Happel's trace identity -- the spectral-invariant oracle. [delapena_mahler] de la Pe na, Jos'e Antonio (2014). On the Mahler measure of the Coxeter polynomial of an algebra. Advances in Mathematics. The wild star [2,3,7] realizes Lehmer's polynomial -- the spectral_radius / mahler_measure oracle (Plan 29). [dlPena2014mahler] de la Pe na, Jos'e Antonio (2014). On the Mahler measure of the Coxeter polynomial of an algebra. Advances in Mathematics. de la Pena's class-conditional Mahler-measure dichotomy for accessible algebras (M = 1 or M >= mu_0, mu_0 = Lehmer's number) -- the Plan-58 Lehmer-class documentation note (shares the dlPena2014mahler eprint with the Plan-29 delapena_mahler oracle key). [dlPena2013cyclotomic] de la Pe na, Jos'e Antonio (2013). Algebras whose Coxeter polynomials are products of cyclotomic polynomials. de la Pena's separation of periodic (finite-order) Coxeter transformations from merely cyclotomic-type (quasi-unipotent) ones -- the Plan-58 quasi-unipotent / finite-order verdict. [dlPenaTakane1990spectral] de la Pe na, Jos'e Antonio; Takane, Martha (1990). Spectral properties of Coxeter transformations and applications. Archiv der Mathematik 55, 120-134. de la Pena-Takane: reality of the dominant Coxeter eigenvalue on the wild-hereditary locus -- the Plan-58 real-dominant spectral-radius foundation (Arch. Math. 55 (1990) 120-134). [gerstenhaber_schack_1983] Gerstenhaber, Murray; Schack, Samuel D. (1983). Simplicial cohomology is Hochschild cohomology. J. Pure Appl. Algebra 30, 143-156. Gerstenhaber-Schack: HH^(kP) is isomorphic to the simplicial cohomology of the order complex of P AS A RING (cup product). The ring source for the incidence-vs-nerve oracle (with Cibils 1989 / Redondo 2008). Proves the CUP iso for the FACE POSET of a simplicial complex; Cibils 1989 extends it to an ARBITRARY finite poset. NB: makes no bracket-vanishing claim. [wang_singular_hh] Wang, Zhengfang (2015). Singular Hochschild cohomology and Gerstenhaber algebra structure. Wang: the DEFINITIONAL origin of singular (= Tate) Hochschild cohomology HH_sg^i(A,A) = Hom_{D_sg(A (x) A^op)}(A, A[i]) for every i in Z, with its Gerstenhaber (and, for symmetric A, BV) structure. The object Plan 76 computes. [keller_singular_hh] Keller, Bernhard (2018). Singular Hochschild cohomology via the singularity category. C. R. Math. Acad. Sci. Paris 356, 1106-1111. Keller: singular Hochschild cohomology is isomorphic, as a graded algebra, to the Hochschild cohomology of the dg singularity category. The singularity-category identification (building on Wang) -- context for Plan 76, not its computational recipe. [usui_tate_periodic] Usui, Satoshi (2021). Tate-Hochschild cohomology rings for eventually periodic Gorenstein algebras. Usui: for a GORENSTEIN algebra, eventual periodicity is equivalent to the existence of an INVERTIBLE homogeneous element of the Tate-Hochschild cohomology ring; also that eventually periodic algebras need NOT be Gorenstein (so such an algebra has no complete resolution and no Tate ring -- the honest refusal). The source of Plan 76's periodicity certificate. [bergh_jorgensen_tate] Bergh, Petter Andreas; Jorgensen, David A. (2013). Tate-Hochschild homology and cohomology of Frobenius algebras. J. Noncommut. Geom. 7, 907-937. Bergh-Jorgensen: the computational reference for Plan 76 -- the definition via a complete resolution over A^e; the THRESHOLD (Gorenstein dimension d of the enveloping algebra => HHhat^n = Ext^n_{A^e}(A,B) for n >= d+1, so n >= 1 when A is self-injective); the Frobenius duality dim HHhat^n(L,L) = dim HHhat^{-(n+1)}(L, {}{nu^2}L_1), symmetric when nu^2 = id; and the explicit quantum-complete-intersection computation (1,2,1 in degrees 0,1,2 and 0 elsewhere, q not a root of unity). [cmrs_split] Cibils, Claude; Marcos, Eduardo; Redondo, Mar'ia Julia; Solotar, Andrea (2003). Cohomology of split algebras and of trivial extensions. Glasgow Mathematical Journal 45, 21-40. HH^1(T(A)) is never zero -- Z(A) is always a summand -- for every finite-dimensional A; the trivial-extension HH^1 oracle. [crs_trivial_ext_hh1] Cibils, Claude; Redondo, Mar'ia Julia; Saor'in, Manuel (2004). The first cohomology group of the trivial extension of a monomial algebra. Journal of Algebra and its Applications 3, 143-159. The HH^1(T(A)) decomposition and Example 2.20 (the Z_5 cycle) -- the trivial-extension first-cohomology oracle. [clms_arrow_removal] Cibils, Claude; Lanzilotta, Marcelo; Marcos, Eduardo N.; Solotar, Andrea (2020). Deleting or adding arrows of a bound quiver algebra and Hochschild (co)homology. Proceedings of the American Mathematical Society 148, 2421-2432. Inert-arrow deletion (Def. 3.1) gives a clean HH_n isomorphism for n >= 2 (Thm 3.2) and a cohomology Ext-correction (Thm 4.2); arrow addition = the tensor algebra T_B(N), finite iff no relative cycle (Thm 3.5/3.6) -- the Plan-72 certified arrow-removal reduction and the P73 Han-conjecture seam. [clms_jacobi_zariski] Cibils, Claude; Lanzilotta, Marcelo; Marcos, Eduardo N.; Solotar, Andrea (2022). Jacobi-Zariski long nearly exact sequences for associative algebras. Bulletin of the London Mathematical Society 54. CLMS: the Jacobi-Zariski long nearly exact sequence relating HH(A), HH_(B), HH_(A|B) ('exact twice in three') -- the computational tool + self-cert gate for the P73 Han transport. [kaygun_jacobi_zariski] Kaygun, Atabey (2012). Jacobi-Zariski Exact Sequence for Hochschild Homology and Cyclic (Co)Homology. Homology, Homotopy and Applications 14, 65-78. Kaygun: the classical noncommutative Jacobi-Zariski sequence (B subset A with A/B flat) -- the origin CLMS credit for the noncommutative case; CLMS 2009.05017 is the 'long nearly exact / exact twice in three' refinement P73 computes with. [clms_split_bounded] Cibils, Claude; Lanzilotta, Marcelo; Marcos, Eduardo N.; Solotar, Andrea (2020). Split bounded extension algebras and Han's conjecture. Pacific Journal of Mathematics 307, 63-77. CLMS: the split-case predecessor of the bounded-extension theory (context). [wang_recollement_han] Wang, Ren; Xu, Xiaoxiao; Zhang, Jinbi; Zhou, Guodong (2024). A recollement approach to Han's conjecture. Wang-Xu-Zhang-Zhou: an independent recollement/derived reduction of Han's conjecture (also proves Han for skew-gentle algebras -- ties to P68). Authorship verified. [chaparro_schroll_solotar] Chaparro, Cristian; Schroll, Sibylle; Solotar, Andrea (2020). On the Lie algebra structure of the first Hochschild cohomology of gentle algebras and Brauer graph algebras. Journal of Algebra 558, 293-326. Determines HH^1(A, M) with different coefficients for gentle algebras via ribbon-graph combinatorics -- the Plan-52 gentle HH^1-with-coefficients provenance (numeric pin BLOCKED-until-transcribed). [lindell_rubio_relative] Lindell, Jonathan; Rubio y Degrassi, Lleonard (2024). On the first relative Hochschild cohomology and the contracted fundamental group. arXiv preprint. The Lie-algebra structure of the first RELATIVE (vertex-relative, E = kQ_0) Hochschild cohomology, with radical-square-zero computations -- the Plan-52 relative HH provenance (numeric pin BLOCKED-until-transcribed). [xhj_truncated] Xu, Yunge; Han, Yang; Jiang, Wenfeng (2007). Hochschild cohomology of truncated quiver algebras. Science in China Series A: Mathematics 50, 727-736. For a truncated algebra kQ/R^N, dim HH^ is finite iff Q is acyclic -- the truncated finiteness boolean oracle. [cibils_acyclic] Cibils, Claude (1986). Hochschild homology of an algebra whose quiver has no oriented cycles. Representation Theory I (Ottawa, 1984) 1177, 55-59. An acyclic quiver has HH_n = 0 for n >= 1 -- the acyclic Hochschild-homology vanishing oracle. [skowronski_yamagata] Skowro'nski, Andrzej; Yamagata, Kunio (2011). Frobenius Algebras I: Basic Representation Theory. European Mathematical Society. Symmetric and Frobenius representation theory, incl. the symmetric Nakayama criterion n | (L-1) -- the is_symmetric regression oracle. [happel_trivial_extension] Happel, Dieter (1988). Triangulated Categories in the Representation Theory of Finite Dimensional Algebras. Cambridge University Press 119. The trivial extension T(A) = A |x D(A) is symmetric for every finite-dimensional A; the repetitive-algebra framework -- the anchor for the certified double-quiver TrivialExtension presentation (Plan 31). [happel_triangulated] Happel, Dieter (1988). Triangulated Categories in the Representation Theory of Finite Dimensional Algebras. Cambridge University Press 119. The derived-category reference: the Serre functor / AR triangles of D^b(mod A) exist iff gl.dim < infinity, tau_{D^b} = nu[-1] -- the ground truth for the Plan-43 derived surface. [schremmer_wpl] Schremmer, Felix (2025). Weighted projective lines and Hochschild cohomology. HH^ of the canonical algebras (dim HH^2 = t-3, after Happel LNM 1404) -- the canonical-algebra Hochschild oracle. [gelinas_delooping] G'elinas, Vincent (2022). The depth, the delooping level and the finitistic dimension. Advances in Mathematics 394, 108052. The delooping level dell(A) as an upper bound for the finitistic dimension -- the deferred Plan-40 Task-F invariant (honest-scope note). [fernandes_lanzilotta_mendoza] Fernandes, Sonia; Lanzilotta, Marcelo; Mendoza, Octavio (2015). The \(Phi\)-dimension: a new homological measure. Algebras and Representation Theory 18, 463-476. phidim(A) = sup phi(M) as an algebra invariant + derived-equivalence invariance of its finiteness -- the Plan-53 phidim/psidim ground truth. [bravo_lanzilotta_mendoza_vivero] Bravo, Diego; Lanzilotta, Marcelo; Mendoza, Octavio; Vivero, Jos'e (2021). Generalised Igusa-Todorov functions and Lat-Igusa-Todorov algebras. Journal of Algebra 580, 63-83. The LIT algebras + the proof-carrying finitistic bound psi_D(V) + n + 1 -- the Plan-53 LIT finitistic certificate. [erdmann_skowronski_scy] Erdmann, Karin; Skowro'nski, Andrzej (2006). The stable Calabi-Yau dimension of tame symmetric algebras. Journal of the Mathematical Society of Japan 58, 97-128. Introduced the stable Calabi-Yau dimension of a self-injective algebra as the weak CY dimension of mod-bar A -- the Plan-53 fractional-CY foundation. [wald_waschbusch] Wald, Burkhard; Waschb"usch, Josef (). Tame biserial algebras. Journal of Algebra. Biserial / special-biserial structure underlying string and Brauer graph algebras. [geiss_delapena] Geiss, Christof; de la Pe na, Jos'e Antonio (). Auslander-Reiten components for clans. Bolet'in de la Sociedad Matem'atica Mexicana. Tercera Serie. Geiss-de la Pena: the original skew-gentle / clan definition (char != 2). [crawley_boevey_clans] Crawley-Boevey, William (). Functorial filtrations II: clans and the Gelfand problem. Journal of the London Mathematical Society. Crawley-Boevey: the classification of indecomposables for clans, underlying the special-string re-gluing (the +/- forms). [bongartz_tilting] Bongartz, Klaus (1981). Tilted algebras. Representations of Algebras (Puebla, 1980) 903, 26-38. Bongartz's count criterion for tilting modules (# non-iso indecomposable summands = # vertices, given pd<=1 and self-Ext vanishing) and the Bongartz completion of a partial tilting module (Plan 44 / C7). [fomin_shapiro_thurston] Fomin, Sergey; Shapiro, Michael; Thurston, Dylan (2008). Cluster algebras and triangulated surfaces. Part I: Cluster complexes. Acta Mathematica 201, 83-146. The arc/triangulation combinatorics: the ideal-arc count n=6g-6+3(b+p)+Sum k_i, the admissibility exclusion list, and flip<->mutation -- the ground truth for the Plan-48 surface subsystem. [fomin_zelevinsky_ca1] Fomin, Sergey; Zelevinsky, Andrei (2002). Cluster algebras I: Foundations. Journal of the American Mathematical Society 15, 497-529. The skew-symmetric matrix mutation mu_k that surface flip is certified against (Plan 48). [kac_canonical] Kac, Victor G. (1980). Infinite root systems, representations of graphs and invariant theory. Inventiones Mathematicae 56, 57-92. Kac's roots, Schur roots, and the canonical decomposition of a dimension vector -- the ground truth for Plan 49's canonical_decomposition. [schofield_general_reps] Schofield, Aidan (1992). General representations of quivers. Proceedings of the London Mathematical Society. Third Series 65, 46-64. Schofield's generic hom/ext and the general-representation identities hom - ext = underlying the canonical decomposition. [derksen_weyman_canonical] Derksen, Harm; Weyman, Jerzy (2002). On the canonical decomposition of quiver representations. Compositio Mathematica 133, 245-265. The Derksen-Weyman recursive algorithm for the canonical decomposition (Plan 49 ships the Dynkin case; Euclidean/wild is the named deferral). [zwara_degenerations] Zwara, Grzegorz (2000). Degenerations of finite-dimensional modules are given by extensions. Compositio Mathematica 121, 205-218. Zwara: the degeneration order equals the extension order for Artin algebras -- half of Plan 49's degeneration_order theorem. [bongartz_degenerations] Bongartz, Klaus (1996). On degenerations and extensions of finite dimensional modules. Advances in Mathematics 121, 245-287. Bongartz: degeneration = hom order for representation-finite algebras -- the computable form Plan 49's degeneration_order uses. [voigt_rigidity] Voigt, Detlef (1977). Induzierte Darstellungen in der Theorie der endlichen, algebraischen Gruppen. Springer 592. Voigt's lemma: Ext^1(M,M) = 0 => the orbit of M is open (rigid => open orbit); the codim = dim Ext^1(M,M) equality on hereditary algebras. [dlab_ringel] Dlab, Vlastimil; Ringel, Claus Michael (1989). Quasi-hereditary algebras. Illinois Journal of Mathematics 33, 280-291. The definition of quasi-hereditary algebras, standard modules Delta(i), and the quasi-heredity test used in Plan 47; qh => finite gl.dim. [ringel_dual] Ringel, Claus Michael (1991). The category of modules with good filtrations over a quasi-hereditary algebra has almost split sequences. Mathematische Zeitschrift 208, 209-223. The characteristic tilting module and the Ringel dual R(A) = End_A(T)^op (Plan 47). [cps] Cline, E.; Parshall, B.; Scott, L. (1988). Finite-dimensional algebras and highest weight categories. Journal f"ur die reine und angewandte Mathematik 391, 85-99. Highest weight categories and the idempotent recollement (eAe, A/AeA) of Plan 47. [bbd] Beuilinson, A. A.; Bernstein, J.; Deligne, P. (1982). Faisceaux pervers. Soci'et'e Math'ematique de France 100. The origin of recollement and the six-functor formalism (Plan 47). [air_tau_tilting] Adachi, Takahide; Iyama, Osamu; Reiten, Idun (2014). \(tau\)-tilting theory. Compositio Mathematica 150, 415-452. Adachi-Iyama-Reiten: support tau-tilting pairs, mutation, the exchange graph, g-vectors, and the bijection with functorially finite torsion classes -- the ground truth for the Plan-45 / C4 tau-tilting engine. [demonet_iyama_jasso] Demonet, Laurent; Iyama, Osamu; Jasso, Gustavo (2019). \(tau\)-tilting finite algebras, bricks, and \(g\)-vectors. International Mathematics Research Notices 2019, 852-892. DIJ: tau-tilting-finiteness <=> finite g-fan <=> finitely many bricks; the counting identities and the wall-and-chamber / g-vector fan (Plan 45 / C4). [king_stability] King, A. D. (1994). Moduli of representations of finite-dimensional algebras. The Quarterly Journal of Mathematics. Oxford. Second Series 45, 515-530. King's theta-(semi)stability and GIT walls -- the wall-and-chamber structure the Plan-45 / C4 engine draws. [dirrt_lattice_torsion] Demonet, Laurent; Iyama, Osamu; Reading, Nathan; Reiten, Idun; Thomas, Hugh (2023). Lattice theory of torsion classes: Beyond \(tau\)-tilting theory. Transactions of the American Mathematical Society, Series B 10, 542-612. Demonet-Iyama-Reading-Reiten-Thomas: tors A is a complete, bialgebraic, completely semidistributive, completely congruence-uniform lattice; the brick labelling of its Hasse quiver; the representation-theoretic forcing order and the congruence lattice Con(tors A). The Plan-64 congruence + forcing ground truth. [barnard_carroll_zhu] Barnard, Emily; Carroll, Andrew; Zhu, Shijie (2019). Minimal inclusions of torsion classes. Algebraic Combinatorics 2, 879-901. Barnard-Carroll-Zhu: cover relations of tors A characterized by indecomposables; the completely join-irreducible torsion classes are in bijection with bricks; faces of the canonical join complex read representation-theoretically. Plan 64's join-irreducibles <-> bricks and canonical join representations. [enomoto_wide_ice] Enomoto, Haruhisa (2023). From the lattice of torsion classes to the posets of wide subcategories and ICE-closed subcategories. Algebras and Representation Theory. Enomoto: the kappa order (extended kappa map of Barnard-Todorov-Zhu) and the core label order on a completely semidistributive lattice coincide and are isomorphic to the poset of wide subcategories. Plan 64's core-label-order = wide-subcategory computation. [marks_stovicek] Marks, Frederik; vSvtov'ivcek, Jan (2017). Torsion classes, wide subcategories and localisations. Bulletin of the London Mathematical Society 49, 405-416. Marks-Stovicek: the Ingalls-Thomas maps between torsion classes and wide subcategories; wide A injects into tors A, and the two are in BIJECTION iff A is REPRESENTATION-FINITE (not merely hereditary). Plan 64's #wide <= #torsion bound and the honest-scope statement that the count discriminates only off the representation-finite case. [brustle_smith_treffinger] Br"ustle, Thomas; Smith, David; Treffinger, Hipolito (2019). Wall and chamber structure for finite-dimensional algebras. Advances in Mathematics 354, 106746. Brustle-Smith-Treffinger: the wall D(M) = {theta : M theta-semistable} (Def 3.1-3.3), chambers <-> support tau-tilting pairs (Thm 1.2 / Cor 3.29), one wall = many facets (Rem 3.19) -- the ground truth for Plan 63. NB walls=D(brick) is DIJ, not BST. [asai_semibricks] Asai, Sota (2020). Semibricks. International Mathematics Research Notices 2020, 4993-5054. Asai: semibricks <-> functorially finite torsion classes <-> support tau-tilting modules (Thm 1.3 / Prop 1.6) -- the brick/semibrick INDEXING that labels walls and chambers (Plan 63). Contains no g-vector/fan/wall/chamber content -- do not cite for the geometry. [kaipel_treffinger] Kaipel, Maximilian; Treffinger, Hipolito (2023). Wall-and-chamber structures for finite-dimensional algebras and \(tau\)-tilting theory. Kaipel-Treffinger: the definition + torsion-class/tau-tilting relationship, with the worked kA2 (Ex 13: D(P1) a ray) and cyclic rad^2-Nakayama N3^2 (Ex 15: 14 chambers) examples -- Plan 63 literature oracles. [aihara_iyama_silting] Aihara, Takuma; Iyama, Osamu (2012). Silting mutation in triangulated categories. Journal of the London Mathematical Society 85, 633-668. Aihara-Iyama: silting/presilting objects (Hom(T,T[>0])=0 + generation), silting mutation via one approximation triangle, the silting quiver = Hasse quiver, and transitivity for local/hereditary/canonical -- the ground truth for Plan 67. [oppermann_silting_quivers] Oppermann, Steffen (2017). Quivers for silting mutation. Advances in Mathematics 307, 684-714. Oppermann: the quiver of the derived endomorphism ring of a left/right silting mutation -- the End(muT) quiver-mutation rule (Plan 67 oracle). [jorgensen_cotstructures] Jorgensen, Peter (2016). Co-t-structures: the first decade. Jorgensen's survey: bounded co-t-structures <-> silting subcategories via coheart = add(silting) -- the co-t-structure dictionary reference (Plan 67). [assem_delapena] Assem, Ibrahim; de la Pe na, Jos'e Antonio (1996). The fundamental groups of a triangular algebra. Communications in Algebra 24, 187-208. The fundamental group pi1(Q,I) of a presentation and the Hom(pi1, k+) embedding into HH^1 for triangular algebras -- the Plan-56 pi1 + Hurewicz foundation. [martinez_villa_delapena] Mart'inez-Villa, Roberto; de la Pe na, Jos'e Antonio (1983). The universal cover of a quiver with relations. Journal of Pure and Applied Algebra 30, 277-292. The original homotopy relation ~I on walks (minimal relations glue parallel paths) that quiverlab's pi1^ab computes by exact linear algebra on I/(rad.I + I.rad). [le_meur_pi1] Le Meur, Patrick (2005). The fundamental group of a triangular algebra without double bypasses. Comptes Rendus Math'ematique. Acad'emie des Sciences. Paris 341, 211-216. Thm 1.1: a char-0 triangular algebra with no double bypasses has a privileged presentation whose pi1 surjects onto every other -- the Plan-56 no-bypass True route. [crs_hurewicz] Cibils, Claude; Redondo, Mar'ia Julia; Solotar, Andrea (2010). Fundamental group of Schurian categories and the Hurewicz isomorphism. arXiv preprint. For a Schurian category the Hurewicz map Hom(pi1, k+) -> HH^1 is an isomorphism -- the equality case of the Plan-56 Hom(pi1,k+) <= dim HH^1 cross-check. [crs_gradings] Cibils, Claude; Redondo, Mar'ia Julia; Solotar, Andrea (2010). Connected gradings and the fundamental group. Algebra & Number Theory 4, 625-648. The intrinsic pi1 (inverse limit over connected gradings) and the oracle pi1(k[x]/(x^p)) = Z x C_p in char p -- documents WHY the presentation group (Z) is not the algebra invariant (Plan-56 intrinsic refusal). [crs_intrinsic] Cibils, Claude; Redondo, Mar'ia Julia; Solotar, Andrea (2012). The intrinsic fundamental group of a linear category. Algebras and Representation Theory 15, 735-753. The intrinsic fundamental group of a linear category -- the not-bounded-computable invariant quiverlab refuses loudly in favour of the presentation pi1 (Plan 56). [briggs_ryd_tori] Briggs, Benjamin; Rubio y Degrassi, Lleonard (2023). Maximal tori in \(HH^1\) and the fundamental group. International Mathematics Research Notices 2023, 5538-5568. Every maximal torus of HH^1(A) is dual to some fundamental group of A -- the maximal-torus refinement of the Plan-56 Hurewicz cross-check. [skowronski_ssc] Skowro'nski, Andrzej (1993). Simply connected algebras and Hochschild cohomologies. Representations of Algebras (Ottawa, ON, 1992) 14, 431-447. A triangular algebra is strongly simply connected iff every full convex subcategory satisfies the separation condition -- the Plan-56 R16 recognizer (the P62 tame/wild gate). [act_left_right] Assem, Ibrahim; Coelho, Fl'avio U.; Trepode, Sonia (2004). The left and the right parts of a module category. Journal of Algebra 281, 518-534. Assem-Coelho-Trepode: L_A / R_A via predecessor/successor closure of pd<=1 / id<=1, the Ext-injective criterion tau^{-1}X notin L_A, and the support algebra A_lambda = End of the projectives in L_A -- the ground truth for Plan 55. [aclv_supports] Assem, Ibrahim; Castonguay, Diane; Lanzilotta, Marcelo; Vargas, Rosana R. S. (2011). Algebras determined by their supports. Assem-Castonguay-Lanzilotta-Vargas: A_lambda / A_rho are products of tilted algebras for ada algebras (quasi-tilted in general), D L_A = R{A^op}, and the laura complement ind A minus (L_A u R_A) -- non-empty even for ada; feeds P60 (tilted) and P61 (laura/ada). [organising_module_category] Alvares, Edson Ribeiro; Assem, Ibrahim; Castonguay, Diane; Vargas, Rosana R. S. (2022). Organising the module category. S ao Paulo Journal of Mathematical Sciences 16, 62-82. Alvares-Assem-Castonguay-Vargas survey of the left/right parts, supports, and the quasi-tilted/laura/ada organisation of mod A -- Plan 55's secondary reference. [liu_tilted_1993] Liu, Shiping (1993). Tilted algebras and generalized standard Auslander-Reiten components. Archiv der Mathematik 61, 12-19. Liu (independently with Skowronski): A is tilted iff Gamma_A has a faithful generalized-standard component with a section -- the criterion Plan 60 searches for. Venue verified (Arch. Math. 61 (1993) 12-19). [liu_another_2014] Liu, Shiping (2014). Another characterization of tilted algebras. Liu: A is tilted iff Gamma_A contains a FAITHFUL CUT Delta with Hom(X, tau Y)=0 (Thm 2.6); the cut is a finite/local object (weakly convex), the documented rep-infinite extension path. Ringel's slice theorem (Thm 1.9(2)) is the reconstruction certificate Plan 60 uses. [happel_ringel_tilted] Happel, Dieter; Ringel, Claus Michael (1982). Tilted algebras. Transactions of the American Mathematical Society 274, 399-443. Happel-Ringel: the origin of tilted algebras A = End_H(T) (H hereditary, T tilting); tilted => gl.dim <= 2 -- the theorem gate Plan 60 uses to refute high-gl.dim algebras. [hrs_quasitilted] Happel, Dieter; Reiten, Idun; Smalo, Sverre O. (1996). Tilting in Abelian Categories and Quasitilted Algebras. American Mathematical Society 120. Happel-Reiten-Smalo: quasi-tilted = (QT1) gl.dim <= 2 AND (QT2) every indec pd<=1 or id<=1; QT2 alone => gl.dim <= 3. The definitional ground truth for Plan 61's quasi-tilted rung. [coelho_lanzilotta_weakly_shod] Coelho, Fl'avio U.; Lanzilotta, Marcelo A. (2003). Weakly shod algebras. Journal of Algebra 265, 379-403. Coelho-Lanzilotta: shod = every indec pd<=1 or id<=1 (=> gl.dim <= 3); weakly shod = bounded irreducible-morphism paths from an injective to a projective (WSA). Plan 61's shod + weakly-shod rungs. [assem_coelho_laura] Assem, Ibrahim; Coelho, Fl'avio U. (2003). Two-sided gluings of tilted algebras. Journal of Algebra 269, 456-479. Assem-Coelho: laura = ind A minus (L_A u R_A) is finite. Plan 61's laura rung (trivially true in representation-finite scope; the finite complement is the reported datum). [smith_almost_laura] Smith, David (2007). Almost laura algebras. Smith: the almost-laura generalisation of laura algebras -- context for the laura landscape; Plan 61 cites it for the class, not for the elementary rep-finite triviality. [bft_quasitilted_quiver] Bordino, Natalia; Fern'andez, Elsa; Trepode, Sonia (2017). On the quiver with relations of a quasitilted algebra and applications. Communications in Algebra 45, 4050-4061. Bordino-Fernandez-Trepode: the quiver-with-relations structure of quasitilted algebras -- a secondary reference on Plan 61's quasi-tilted rung. [bongartz_criterion] Bongartz, Klaus (1984). A criterion for finite representation type. Mathematische Annalen 269, 1-12. Bongartz: a simply connected algebra is representation-finite iff its Tits form is weakly positive (iff it has no critical convex subcategory) -- the Plan-62 rep-finite axis of the tame/wild trichotomy. [bdps_tame_tits] Br"ustle, Thomas; de la Pe na, Jos'e Antonio; Skowro'nski, Andrzej (2011). Tame algebras and Tits quadratic forms. Advances in Mathematics 226, 887-951. Bruestle-de la Pena-Skowronski: a strongly simply connected algebra over an algebraically closed field is tame iff its Tits form is weakly nonnegative -- the Plan-62 tame axis (the theorem gated on the P56 strong-simple-connectivity certificate). [kasjan_skowronski] Kasjan, Stanislaw; Skowro'nski, Andrzej (2019). On the tame-wild dichotomy for strongly simply connected algebras. Kasjan-Skowronski (arXiv:1905.06028): the tame/wild dichotomy statements Plan 62 consumes for strongly simply connected algebras (companion source to BdlPS). [ovsienko_forms] Ovsienko, Sergeui A. (1978). Integral weakly positive forms. Schur Matrix Problems and Quadratic Forms, 3-17. Ovsienko: every positive root of a weakly positive unit form has coordinates <= 6 -- the cited complete decision behind Plan-62 weak positivity (the box-6 branch-and-bound). [vonhohne_wnn] von H"ohne, Hans-Joachim (1996). On weakly non-negative unit forms and tame algebras. Proceedings of the London Mathematical Society (3) 73, 47-67. von Hohne: the classified hypercritical unit forms driving the Plan-62 weak-nonnegativity decision (the primary route; NOT bounded to <= 9 variables -- T_{2,3,7} is a 10-variable hypercritical form). [delapena_banach26] de la Pe na, Jos'e Antonio (1990). Algebras with hypercritical Tits form. Topics in Algebra, Part 1 (Warsaw, 1988) 26, 353-369. de la Pena (Banach Center Publ. 26): the printed hypercritical Tits-form list -- the Plan-62 weak-nonnegativity cross-oracle for the classified data. [bjp_quadratic_forms] Barot, Michael; Jim'enez Gonz'alez, Jes'us Arturo; de la Pe na, Jos'e Antonio (2019). Quadratic Forms: Combinatorics and Numerical Results. Springer 25. Barot-Jimenez-Gonzalez-de la Pena: the combinatorics of critical / hypercritical unit forms and the search-box exposition underpinning Plan 62. [jasso_reduction] Jasso, Gustavo (2015). Reduction of \(tau\)-tilting modules and torsion pairs. Int. Math. Res. Not. IMRN, 7190-7237. Jasso: the tau-perpendicular category J(U) ~ mod C(U), rank n-|U| (the DIJ idempotent quotient) -- the recursion engine for tau-exceptional sequences. [crawley_boevey_exceptional] Crawley-Boevey, William (1993). Exceptional sequences of representations of quivers. Representations of algebras (Ottawa, ON, 1992) 14, 117-124. Crawley-Boevey: the braid group acts transitively on complete exceptional sequences of a hereditary algebra (Ottawa 1992). [ringel_braid] Ringel, Claus Michael (1994). The braid group action on the set of exceptional sequences of a hereditary Artin algebra. Abelian group theory and related topics (Oberwolfach, 1993) 171, 339-352. Ringel: the braid B_n action on complete exceptional sequences (transitive), with the sigma_i mutation constructions -- the case-(d) two-step module realization. Contemp. Math. 171 (1994). [buan_hanson_marsh] Buan, Aslak Bakke; Hanson, Eric J.; Marsh, Robert J. (2024). Mutation of \(tau\)-exceptional pairs and sequences. Buan-Hanson-Marsh: mutation transitivity proven only in rank 2 -- why enumeration at rank >= 3 goes through the ordered-sTt bijection, not mutation-BFS. [obaid_dynkin_count] Obaid, Mustafa A. A.; Nauman, S. Khalid; Al-Shammakh, Wafaa S. M.; Fakieh, Wafaa M.; Ringel, Claus Michael (2013). The number of complete exceptional sequences for a Dynkin algebra. Colloq. Math. 133, 197-210. Obaid et al.: #CES(Delta) = n! h^n / |W|; A_n = (n+1)^{n-1}, D_4 = 162 -- the closed-form count oracle. [escolar_hiraoka] Escolar, Emerson G.; Hiraoka, Yasuaki (2016). Persistence Modules on Commutative Ladders of Finite Type. Discrete Comput. Geom. 55, 100-157. Representation theory of the commutative ladder CL(n) = A_n [] A_2: rep-finite iff n <= 4 (the P69 scope boundary), with explicit AR quivers for n <= 4. TDA gloss: the generalized persistence diagram of a ladder persistence module is its AR-quiver-indexed Krull-Schmidt decomposition. [botnan_crawley_boevey] Botnan, Magnus Bakke; Crawley-Boevey, William (2020). Decomposition of persistence modules. Proc. Amer. Math. Soc. 148, 4581-4596. A pointwise-finite-dimensional persistence module over a totally ordered or zigzag poset decomposes uniquely into interval modules (Krull-Remak-Schmidt-Azumaya) -- the theorem that 'barcode = interval decomposition' is well-defined for A_n and zigzag lines. [igusa_rock_todorov] Igusa, Kiyoshi; Rock, Job D.; Todorov, Gordana (2019). Continuous quivers of type A (I): foundations. The continuous-limit representation theory of type-A persistence -- the conceptual bridge (representation theory <-> persistence); cited as context, not a computed oracle (quiverlab is finite/exact). [gabriel] Gabriel, Peter (1972). Unzerlegbare Darstellungen I. Manuscripta Math. 6, 71-103. Gabriel's theorem: the indecomposable representations of a type-A_n quiver are the interval (thin) modules = positive roots, each a brick (End = k) -- why the A_n / zigzag barcode is field-robust over every exact domain. [rss_hh1_lie] Rubio y Degrassi, Lleonard; Schroll, Sibylle; Solotar, Andrea (2023). The first Hochschild cohomology as a Lie algebra. Quaest. Math.. Rubio y Degrassi-Schroll-Solotar: the no-loops/no-parallel-arrows Ext-quiver criterion => HH^1 solvable, in arbitrary characteristic (Plan 70's RSS solvability certificate). [css_gentle_hh1_lie] Chaparro, Cristian; Schroll, Sibylle; Solotar, Andrea (2020). On the Lie algebra structure of the first Hochschild cohomology of gentle algebras and Brauer graph algebras. J. Algebra 558. Chaparro-Schroll-Solotar: HH^1 of gentle / Brauer graph algebras is solvable except one low-dimensional case (T(kK2) = k semidirect sl2, sl2-count 1). [eisele_raedschelders] Eisele, Florian; Raedschelders, Theo (2019). On solvability of the first Hochschild cohomology of a finite-dimensional algebra. Eisele-Raedschelders: for tame/finite representation type, HH^1 = solvable (+) sum of sl2's, the sl2-count formula from Kronecker subquivers (non-wild, algebraically closed, char != 2). [strametz_hh1_lie] Strametz, Cristina (2006). The Lie algebra structure of the first Hochschild cohomology group for monomial algebras. J. Algebra Appl. 5, 245-270. Strametz: solvability / (semi)simplicity / commutativity / nilpotency criteria for HH^1 of a monomial algebra in any characteristic -- the monomial-case foundation for Plan 70. [liu_xing_hh1] Liu, Yuming; Xing, Bohan (2023). Generalized parallel paths method for computing the first Hochschild cohomology group with applications to Brauer graph algebras. J. Algebra Appl.. Liu-Xing: algebraic Morse theory for HH^1 and the comparison of Lie structures of Brauer graph algebras and their associated graded algebras. [gerstenhaber1963] Gerstenhaber, Murray (1963). The cohomology structure of an associative ring. Annals of Mathematics. Second Series 78, 267-288. Gerstenhaber: the graded Lie bracket on HH^; in degree 1 it is the commutator of derivations and descends to HH^1 = Der/Inn -- the identity that makes the field-general Der/Inn route the Gerstenhaber Lie structure. [mnprs_special_biserial] Meinel, Joanna; Nguyen, Van C.; Pauwels, Bregje; Redondo, Mar'ia Julia; Solotar, Andrea (2021). The Gerstenhaber structure on the Hochschild cohomology of a class of special biserial algebras. J. Algebra 580, 264-298. Meinel-Nguyen-Pauwels-Redondo-Solotar: HH^1 is a direct sum of copies of a subquotient of the Virasoro algebra, and each HH^n is described as a module over this Lie algebra by its decomposition into indecomposable summands -- the char-0 indecomposable-summand deliverable of Plan 71. [csss_gentle_tt] Chaparro, Cristian; Schroll, Sibylle; Solotar, Andrea; Su'arez-'Alvarez, Mariano (2026). The Hochschild cohomology and the Tamarkin-Tsygan calculus of gentle algebras. J. Algebra 708, 138-231. Chaparro-Schroll-Solotar-Suarez-Alvarez: the whole Tamarkin-Tsygan calculus of gentle algebras -- HH^ as a graded-commutative algebra and a graded Lie algebra, with HH_ a module over HH^; the Lie-module-over-HH^1 structure Plan 71 computes is one facet, and gentle algebras are its literature anchor. [stefan_hopf_galois] cStefan, Dragocs (1995). Hochschild cohomology on Hopf Galois extensions. J. Pure Appl. Algebra 103, 221-233. Stefan: the spectral sequence for a Hopf-Galois extension; for H = kG a group algebra it decomposes along the conjugacy classes of G -- the origin of the skew-group HH conjugacy-class decomposition (Plan 74). [shepler_witherspoon_group_actions] Shepler, Anne V.; Witherspoon, Sarah (2012). Group actions on algebras and the graded Lie structure of Hochschild cohomology. J. Algebra 351, 350-381. Shepler-Witherspoon: the additive conjugacy-class decomposition of HH^(A rtimes G) with the Z(g)-invariants -- the load-bearing anchor for quiverlab's Stefan decomposition (Plan 74). [cibils_marcos_smash] Cibils, Claude; Marcos, Eduardo N. (2006). Skew category, Galois covering and smash product of a \(k\)-category. Proc. Amer. Math. Soc. 134, 39-50. Cibils-Marcos: the smash-product / skew-category construction, the free action, and the Galois covering -- the constructor + free-action anchor for A rtimes G (Plan 74). [marcos_mv_invariants] Marcos, Eduardo N.; Mart'inez-Villa, Roberto; Martins, Maria Izabel Ramalho (2004). Hochschild cohomology of skew group rings and invariants. Marcos-Martinez-Villa-Martins: the ring monomorphism HH^(A)^G into HH^(A rtimes G) -- the identity-summand self-certificate for the skew-group decomposition (Plan 74). [buan_marsh_wide] Buan, Aslak Bakke; Marsh, Robert J. (2021). A category of wide subcategories. Int. Math. Res. Not. IMRN 2021, 10278-10338. Buan-Marsh: DEFINES the tau-cluster morphism category W(A) -- objects are the tau-perpendicular wide subcategories, morphisms are support tau-rigid pairs of the source with target the tau-perpendicular category (via the Jasso reduction), morphisms factor as signed tau-exceptional sequences. Plan 66's category-structure ground truth. [hanson_igusa] Hanson, Eric J.; Igusa, Kiyoshi (2021). \(tau\)-cluster morphism categories and picture groups. Comm. Algebra 49, 4376-4415. Hanson-Igusa: the classifying space of W(A) is a cube complex (one n-cube per support tau-tilting object); it is a K(pi,1) for Nakayama algebras; pi_1 is the picture group. Plan 66's cube-complex face vector, the Nakayama K(pi,1) verdict, and the picture group. [igusa_todorov_weyman] Igusa, Kiyoshi; Todorov, Gordana; Weyman, Jerzy (2016). Picture groups of finite type and cohomology in type \(A_n\). arXiv preprint. Igusa-Todorov-Weyman: the picture group PRESENTATION -- one generator x(beta) per brick (positive real Schur root), relations per rank-2 configuration (commutation for k x k, the atom/pentagon relation for connected rank-2 wides); the CW complex with cells in bijection with cluster-tilting objects (Catalan-many). Plan 66's presentation ground truth. [igusa_todorov_cat0] Igusa, Kiyoshi; Todorov, Gordana (2022). Which cluster morphism categories are CAT(0). arXiv preprint. Igusa-Todorov: the cluster morphism category is a CAT(0) category for hereditary algebras of finite (Dynkin) or tame type with only small tubes, so its classifying space is locally CAT(0) hence a K(pi,1). Plan 66's specific anchor for the HEREDITARY-DYNKIN K(pi,1) verdict (distinct from the ITW type-A_n presentation paper), and the honest-scope context for why the general tau-tilting-finite case is delicate (CAT(0) is proven only for hereditary finite/tame type, not the general algebra). [rrb_linfty_bardzell] Redondo, Mar'ia Julia; Rossi Bertone, Fiorela (2022). \(L_infty\)-structure on Bardzell's complex for monomial algebras. J. Pure Appl. Algebra 226, Paper No. 106935. Redondo-Rossi Bertone: the explicit L-infinity structure on B(A) for a monomial char-0 algebra (weakly equivalent to the Hochschild complex C(A)), the Maurer-Cartan equation in degree 2, and the rad^2=0 => B(A) is a dg-Lie algebra collapse -- Plan 78's rad^2=0 dg-Lie certificate and the higher-l_n route. [mrrs_mc_gentle] M"uller, Monique; Redondo, Mar'ia Julia; Rossi Bertone, Fiorela; Suarez, Pamela (2025). Maurer-Cartan equation for gentle algebras. Comm. Algebra 53, 3984-4007. Muller-Redondo-Rossi Bertone-Suarez: under quiver hypotheses on a gentle A=kQ/I the L-infinity structure on B(A)[1] is nilpotent and the Maurer-Cartan set equals the 2-cocycles Z^2 (every infinitesimal deformation integrates) -- Plan 78's nilpotent-regime MC=Z^2 gate. [rrrv_morita_deform] Redondo, Mar'ia Julia; Rom'an, Lucrecia; Rossi Bertone, Fiorela; Verdecchia, Melina (2020). Morita invariance for infinitesimal deformations. Redondo-Roman-Rossi Bertone-Verdecchia: the transfer of infinitesimal deformations HH^2(A)<->HH^2(B) under Morita equivalence, and (over an algebraically closed field) the presentation by quiver and relations of the infinitesimal deformations -- Plan 78's presented deformed algebra A_alpha. [rrr_ext_deform] Redondo, Mar'ia Julia; Rom'an, Lucrecia; Rossi Bertone, Fiorela (2022). The Ext-algebra for infinitesimal deformations. Redondo-Roman-Rossi Bertone (three authors): the algebra structure of the Ext-algebra of an infinitesimal deformation A_f, described (under conditions on f) in terms of the Ext-algebra of A -- Plan 78's Ext-algebra handoff on A_alpha. [chouhy_degeneration] Chouhy, Sergio (2019). On geometric degenerations and Gerstenhaber formal deformations. Bull. Lond. Math. Soc.. Chouhy: the degeneration relation on associative-algebra varieties described via Gerstenhaber formal deformations, with N-Koszulity preserved under degeneration -- the geometric reading of A ~> A_alpha in Plan 78.

Raw BibTeX

@article{Hochschild1945,
  author  = {Hochschild, Gerhard},
  title   = {On the cohomology groups of an associative algebra},
  journal = {Annals of Mathematics. Second Series},
  volume  = {46},
  number  = {1},
  year    = {1945},
  pages   = {58--67},
  doi     = {10.2307/1969145},
}

@article{Bardzell1997,
  author  = {Bardzell, Michael J.},
  title   = {The alternating syzygy behavior of monomial algebras},
  journal = {Journal of Algebra},
  volume  = {188},
  number  = {1},
  year    = {1997},
  pages   = {69--89},
  doi     = {10.1006/jabr.1996.6813},
}

@article{ChouhySolotar2015,
  author  = {Chouhy, Sergio and Solotar, Andrea},
  title   = {Projective resolutions of associative algebras and ambiguities},
  journal = {Journal of Algebra},
  volume  = {432},
  year    = {2015},
  pages   = {22--61},
  doi     = {10.1016/j.jalgebra.2015.02.019},
  note    = {arXiv:1406.2300},
}

@article{NegronWitherspoon2016,
  author  = {Negron, Cris and Witherspoon, Sarah},
  title   = {An alternate approach to the {L}ie bracket on {H}ochschild cohomology},
  journal = {Homology, Homotopy and Applications},
  volume  = {18},
  number  = {1},
  year    = {2016},
  pages   = {265--285},
  doi     = {10.4310/HHA.2016.v18.n1.a14},
  note    = {arXiv:1406.0036},
}

@article{Volkov2019,
  author  = {Volkov, Yury},
  title   = {Gerstenhaber bracket on the {H}ochschild cohomology via an arbitrary resolution},
  journal = {Proceedings of the Edinburgh Mathematical Society. Series II},
  volume  = {62},
  number  = {3},
  year    = {2019},
  pages   = {817--836},
  doi     = {10.1017/S0013091518000901},
  note    = {arXiv:1610.05741},
}

@article{Oke2021,
  author  = {Oke, Femi Emmanuel},
  title   = {Bracket structure on {H}ochschild cohomology of {K}oszul quiver algebras using homotopy liftings},
  journal = {Communications in Algebra},
  year    = {2021},
  note    = {arXiv:2103.12331},
}

@book{WitherspoonGSM204,
  author    = {Witherspoon, Sarah J.},
  title     = {Hochschild Cohomology for Algebras},
  series    = {Graduate Studies in Mathematics},
  volume    = {204},
  publisher = {American Mathematical Society},
  address   = {Providence, RI},
  year      = {2019},
  isbn      = {9781470449315},
}

@article{GSZ2001,
  author  = {Green, Edward L. and Solberg, {\O}yvind and Zacharia, Dan},
  title   = {Minimal projective resolutions},
  journal = {Transactions of the American Mathematical Society},
  volume  = {353},
  number  = {7},
  year    = {2001},
  pages   = {2915--2939},
  doi     = {10.1090/S0002-9947-01-02687-3},
}

@incollection{Happel1989,
  author    = {Happel, Dieter},
  title     = {Hochschild cohomology of finite-dimensional algebras},
  booktitle = {S\'eminaire d'Alg\`ebre Paul Dubreil et Marie-Paul Malliavin (Paris, 1987/1988)},
  series    = {Lecture Notes in Mathematics},
  volume    = {1404},
  publisher = {Springer},
  address   = {Berlin},
  year      = {1989},
  pages     = {108--126},
  doi       = {10.1007/BFb0084073},
}

@book{Happel1988,
  author    = {Happel, Dieter},
  title     = {Triangulated Categories in the Representation Theory of Finite Dimensional Algebras},
  series    = {London Mathematical Society Lecture Note Series},
  volume    = {119},
  publisher = {Cambridge University Press},
  year      = {1988},
  doi       = {10.1017/CBO9780511629228},
}

@article{BGMS2005,
  author  = {Buchweitz, Ragnar-Olaf and Green, Edward L. and Madsen, Dag and Solberg, {\O}yvind},
  title   = {Finite {H}ochschild cohomology without finite global dimension},
  journal = {Mathematical Research Letters},
  volume  = {12},
  number  = {6},
  year    = {2005},
  pages   = {805--816},
  doi     = {10.4310/MRL.2005.v12.n6.a2},
  note    = {arXiv:math/0407108},
}

@article{BerghErdmann2008,
  author  = {Bergh, Petter Andreas and Erdmann, Karin},
  title   = {Homology and cohomology of quantum complete intersections},
  journal = {Algebra \& Number Theory},
  volume  = {2},
  number  = {5},
  year    = {2008},
  pages   = {501--522},
  doi     = {10.2140/ant.2008.2.501},
  note    = {arXiv:0709.3029},
}

@article{GerstenhaberSchack1987,
  author  = {Gerstenhaber, Murray and Schack, Samuel D.},
  title   = {A {H}odge-type decomposition for commutative algebra cohomology},
  journal = {Journal of Pure and Applied Algebra},
  volume  = {48},
  number  = {3},
  year    = {1987},
  pages   = {229--247},
  doi     = {10.1016/0022-4049(87)90112-5},
}

@book{CartanEilenberg1956,
  author    = {Cartan, Henri and Eilenberg, Samuel},
  title     = {Homological Algebra},
  series    = {Princeton Mathematical Series},
  volume    = {19},
  publisher = {Princeton University Press},
  address   = {Princeton, NJ},
  year      = {1956},
  isbn      = {9780691049915},
}

@book{Weibel1994,
  author    = {Weibel, Charles A.},
  title     = {An Introduction to Homological Algebra},
  series    = {Cambridge Studies in Advanced Mathematics},
  volume    = {38},
  publisher = {Cambridge University Press},
  address   = {Cambridge},
  year      = {1994},
  doi       = {10.1017/CBO9781139644136},
  isbn      = {9780521559874},
}

@article{BarakatLangeHegermann2011,
  author  = {Barakat, Mohamed and Lange-Hegermann, Markus},
  title   = {An axiomatic setup for algorithmic homological algebra and an alternative approach to localization},
  journal = {Journal of Algebra and Its Applications},
  volume  = {10},
  number  = {2},
  year    = {2011},
  pages   = {269--293},
  doi     = {10.1142/S0219498811004562},
}

@article{Connes1985,
  author  = {Connes, Alain},
  title   = {Non-commutative differential geometry},
  journal = {Publications Math\'ematiques de l'IH\'ES},
  volume  = {62},
  year    = {1985},
  pages   = {41--144},
  doi     = {10.1007/BF02698807},
}

@article{Gerstenhaber1963,
  author  = {Gerstenhaber, Murray},
  title   = {The cohomology structure of an associative ring},
  journal = {Annals of Mathematics. Second Series},
  volume  = {78},
  number  = {2},
  year    = {1963},
  pages   = {267--288},
  doi     = {10.2307/1970343},
}

@article{Tradler2008,
  author  = {Tradler, Thomas},
  title   = {The {B}atalin--{V}ilkovisky algebra on {H}ochschild cohomology induced by infinity inner products},
  journal = {Annales de l'Institut Fourier},
  volume  = {58},
  number  = {7},
  year    = {2008},
  pages   = {2351--2379},
  doi     = {10.5802/aif.2417},
}

@article{LambreZhouZimmermann2016,
  author  = {Lambre, Thierry and Zhou, Guodong and Zimmermann, Alexander},
  title   = {The {H}ochschild cohomology ring of a {F}robenius algebra with semisimple {N}akayama automorphism is a {B}atalin--{V}ilkovisky algebra},
  journal = {Journal of Algebra},
  volume  = {446},
  year    = {2016},
  pages   = {103--131},
  doi     = {10.1016/j.jalgebra.2015.09.018},
  eprint  = {1405.5325},
  archivePrefix = {arXiv},
}

@misc{Volkov2016bv,
  author  = {Volkov, Yury},
  title   = {{BV}-differential on {H}ochschild cohomology of {F}robenius algebras},
  year    = {2016},
  eprint  = {1405.5155},
  archivePrefix = {arXiv},
  primaryClass = {math.KT},
}

@misc{BianItagakiKouLyuZhou2026,
  author  = {Bian, Xiaojun and Itagaki, Tomohiro and Kou, Cuili and Lyu, Junjun and Zhou, Guodong},
  title   = {The {H}ochschild cohomology ring of a self-injective {N}akayama algebra is a {B}atalin--{V}ilkovisky algebra},
  year    = {2026},
  eprint  = {2603.04834},
  archivePrefix = {arXiv},
  primaryClass = {math.RT},
}

@misc{Luebeck_ConwayPolynomials,
  author       = {L{\"u}beck, Frank},
  title        = {Conway polynomials for finite fields},
  howpublished = {\url{https://www.math.rwth-aachen.de/~Frank.Luebeck/data/ConwayPol/index.html}},
  note         = {Online database; accessed 2026-07-18},
}

@book{ASS2006,
  author    = {Assem, Ibrahim and Simson, Daniel and Skowro\'nski, Andrzej},
  title     = {Elements of the Representation Theory of Associative Algebras.
               Volume 1: Techniques of Representation Theory},
  series    = {London Mathematical Society Student Texts},
  volume    = {65},
  publisher = {Cambridge University Press},
  address   = {Cambridge},
  year      = {2006},
  isbn      = {9780521586313},
  doi       = {10.1017/CBO9780511614309},
}

@book{ARS1995,
  author    = {Auslander, Maurice and Reiten, Idun and Smal{\o}, Sverre O.},
  title     = {Representation Theory of {A}rtin {A}lgebras},
  series    = {Cambridge Studies in Advanced Mathematics},
  volume    = {36},
  publisher = {Cambridge University Press},
  year      = {1995},
}

@article{Liu1992degrees,
  author  = {Liu, Shiping},
  title   = {Degrees of irreducible maps and the shapes of {A}uslander-{R}eiten quivers},
  journal = {Journal of the London Mathematical Society. Second Series},
  volume  = {45},
  number  = {1},
  pages   = {32--54},
  year    = {1992},
}

@article{Liu1993semistable,
  author  = {Liu, Shiping},
  title   = {Semi-stable components of an {A}uslander-{R}eiten quiver},
  journal = {Journal of the London Mathematical Society. Second Series},
  volume  = {47},
  number  = {3},
  pages   = {405--416},
  year    = {1993},
}

@article{ChaioLiu2013,
  author  = {Chaio, Claudia and Liu, Shiping},
  title   = {A note on the radical of a module category},
  journal = {Communications in Algebra},
  volume  = {41},
  number  = {12},
  pages   = {4419--4424},
  year    = {2013},
}

@article{CMMS1994radsq,
  author  = {Coelho, Fl{\'a}vio U. and Marcos, Eduardo N. and Merklen, H{\'e}ctor A. and Skowro{\'n}ski, Andrzej},
  title   = {Module categories with infinite radical square zero are of finite type},
  journal = {Communications in Algebra},
  volume  = {22},
  number  = {11},
  pages   = {4511--4517},
  year    = {1994},
}

@book{Ringel1984tame,
  author    = {Ringel, Claus Michael},
  title     = {Tame Algebras and Integral Quadratic Forms},
  series    = {Lecture Notes in Mathematics},
  volume    = {1099},
  publisher = {Springer},
  year      = {1984},
}

@article{Han2006,
  author  = {Han, Yang},
  title   = {Hochschild (co)homology dimension},
  journal = {Journal of the London Mathematical Society. Second Series},
  volume  = {73},
  number  = {3},
  year    = {2006},
  pages   = {657--668},
  doi     = {10.1112/S002461070602299X},
  note    = {arXiv:math/0408402},
}

@article{Priddy1970,
  author  = {Priddy, Stewart B.},
  title   = {Koszul resolutions},
  journal = {Transactions of the American Mathematical Society},
  volume  = {152},
  number  = {1},
  year    = {1970},
  pages   = {39--60},
  doi     = {10.2307/1995637},
}

@incollection{Froberg1999,
  author    = {Fr{\"o}berg, Ralf},
  title     = {Koszul algebras},
  booktitle = {Advances in Commutative Ring Theory (Fez, 1997)},
  series    = {Lecture Notes in Pure and Applied Mathematics},
  volume    = {205},
  publisher = {Dekker},
  address   = {New York},
  year      = {1999},
  pages     = {337--350},
  isbn      = {9780824771478},
}

@book{PolishchukPositselski2005,
  author    = {Polishchuk, Alexander and Positselski, Leonid},
  title     = {Quadratic Algebras},
  series    = {University Lecture Series},
  volume    = {37},
  publisher = {American Mathematical Society},
  address   = {Providence, RI},
  year      = {2005},
  isbn      = {9780821838341},
  doi       = {10.1090/ulect/037},
}

@article{Happel1997,
  author  = {Happel, Dieter},
  title   = {The trace of the {C}oxeter matrix and {H}ochschild cohomology},
  journal = {Linear Algebra and its Applications},
  volume  = {258},
  year    = {1997},
  pages   = {169--177},
  doi     = {10.1016/S0024-3795(96)00195-4},
}

@article{Keller1998cyclic,
  author  = {Keller, Bernhard},
  title   = {Invariance and localization for cyclic homology of {DG} algebras},
  journal = {Journal of Pure and Applied Algebra},
  volume  = {123},
  number  = {1-3},
  year    = {1998},
  pages   = {223--273},
  doi     = {10.1016/S0022-4049(96)00085-0},
}

@article{Rickard1989,
  author  = {Rickard, Jeremy},
  title   = {Morita theory for derived categories},
  journal = {Journal of the London Mathematical Society. Second Series},
  volume  = {39},
  number  = {3},
  year    = {1989},
  pages   = {436--456},
  doi     = {10.1112/jlms/s2-39.3.436},
}

@article{LenzingMeltzerRuan2022nakayama,
  author  = {Lenzing, Helmut and Meltzer, Hagen and Ruan, Shiquan},
  title   = {Nakayama algebras and {F}uchsian singularities},
  year    = {2022},
  note    = {arXiv:2112.15587},
}

@incollection{LenzingdlPena2008spectral,
  author    = {Lenzing, Helmut and de la Pe\~na, Jos\'e Antonio},
  title     = {Spectral analysis of finite dimensional algebras and singularities},
  booktitle = {Trends in Representation Theory of Algebras and Related Topics (ICRA XII)},
  series    = {EMS Congress Reports},
  publisher = {European Mathematical Society},
  pages     = {541--588},
  year      = {2008},
  note      = {arXiv:0805.1018},
}

@article{dlPena2014mahler,
  author  = {de la Pe\~na, Jos\'e Antonio},
  title   = {On the {M}ahler measure of the {C}oxeter polynomial of an algebra},
  journal = {Advances in Mathematics},
  year    = {2014},
  note    = {arXiv:1310.1910},
}

@article{dlPena2013cyclotomic,
  author  = {de la Pe\~na, Jos\'e Antonio},
  title   = {Algebras whose {C}oxeter polynomials are products of cyclotomic polynomials},
  year    = {2013},
  note    = {arXiv:1310.1557},
}

@article{dlPenaTakane1990spectral,
  author  = {de la Pe\~na, Jos\'e Antonio and Takane, Martha},
  title   = {Spectral properties of {C}oxeter transformations and applications},
  journal = {Archiv der Mathematik},
  volume  = {55},
  year    = {1990},
  pages   = {120--134},
}

@article{RedondoRoman2014,
  author  = {Redondo, Mar\'ia Julia and Rom\'an, Lucrecia},
  title   = {Hochschild cohomology of triangular string algebras and its ring structure},
  journal = {Journal of Pure and Applied Algebra},
  volume  = {218},
  number  = {5},
  year    = {2014},
  pages   = {925--936},
  doi     = {10.1016/j.jpaa.2013.10.011},
  note    = {arXiv:1301.0516},
}

@article{taillefer2001taft,
  author  = {Taillefer, Rachel},
  title   = {Cyclic homology of the {T}aft algebras and of their {A}uslander algebras},
  journal = {K-Theory},
  volume  = {24},
  year    = {2001},
  note    = {arXiv:math/0009214},
}

@incollection{cibils1998radsq,
  author    = {Cibils, Claude},
  title     = {Hochschild cohomology algebra of radical square zero algebras},
  booktitle = {Algebras and Modules II (Geiranger, 1996)},
  series    = {CMS Conference Proceedings},
  volume    = {24},
  publisher = {American Mathematical Society},
  pages     = {93--101},
  year      = {1998},
}

@article{cibils1989incidence,
  author  = {Cibils, Claude},
  title   = {Cohomology of incidence algebras and simplicial complexes},
  journal = {Journal of Pure and Applied Algebra},
  volume  = {56},
  number  = {3},
  year    = {1989},
  pages   = {221--232},
}

@article{redondo2008incidence,
  author  = {Redondo, Mar\'ia Julia},
  title   = {Hochschild cohomology via incidence algebras},
  journal = {Journal of the London Mathematical Society. Second Series},
  volume  = {77},
  number  = {2},
  year    = {2008},
  pages   = {465--480},
  note    = {arXiv:math/0611542},
}

@article{cibilsmarcosredondosolotar2003,
  author  = {Cibils, Claude and Marcos, Eduardo and Redondo, Mar\'ia Julia and Solotar, Andrea},
  title   = {Cohomology of split algebras and of trivial extensions},
  journal = {Glasgow Mathematical Journal},
  volume  = {45},
  number  = {1},
  year    = {2003},
  pages   = {21--40},
  doi     = {10.1017/S0017089502008948},
  note    = {arXiv:math/0102194},
}

@article{cibilsredondosaorin2004,
  author  = {Cibils, Claude and Redondo, Mar\'ia Julia and Saor\'in, Manuel},
  title   = {The first cohomology group of the trivial extension of a monomial algebra},
  journal = {Journal of Algebra and its Applications},
  volume  = {3},
  number  = {2},
  year    = {2004},
  pages   = {143--159},
  doi     = {10.1142/S0219498804000769},
  note    = {arXiv:math/0210284},
}

@article{cibilslanzilottamarcossolotar2020,
  author  = {Cibils, Claude and Lanzilotta, Marcelo and Marcos, Eduardo N. and Solotar, Andrea},
  title   = {Deleting or adding arrows of a bound quiver algebra and Hochschild (co)homology},
  journal = {Proceedings of the American Mathematical Society},
  volume  = {148},
  number  = {6},
  year    = {2020},
  pages   = {2421--2432},
  doi     = {10.1090/proc/14936},
  note    = {arXiv:1812.07655},
}

@article{ChaparroSchrollSolotar2020,
  author  = {Chaparro, Cristian and Schroll, Sibylle and Solotar, Andrea},
  title   = {On the Lie algebra structure of the first Hochschild cohomology of gentle algebras and Brauer graph algebras},
  journal = {Journal of Algebra},
  volume  = {558},
  year    = {2020},
  pages   = {293--326},
  doi     = {10.1016/j.jalgebra.2020.04.008},
  note    = {arXiv:1811.02211},
}

@article{LindellRubio2024,
  author  = {Lindell, Jonathan and Rubio y Degrassi, Lleonard},
  title   = {On the first relative Hochschild cohomology and the contracted fundamental group},
  journal = {arXiv preprint},
  year    = {2024},
  note    = {arXiv:2411.03080},
}

@article{xuhanjiang2007truncated,
  author  = {Xu, Yunge and Han, Yang and Jiang, Wenfeng},
  title   = {Hochschild cohomology of truncated quiver algebras},
  journal = {Science in China Series A: Mathematics},
  volume  = {50},
  number  = {5},
  year    = {2007},
  pages   = {727--736},
  note    = {arXiv:math/0509202},
}

@incollection{cibils1986nocycles,
  author    = {Cibils, Claude},
  title     = {Hochschild homology of an algebra whose quiver has no oriented cycles},
  booktitle = {Representation Theory I (Ottawa, 1984)},
  series    = {Lecture Notes in Mathematics},
  volume    = {1177},
  publisher = {Springer},
  pages     = {55--59},
  year      = {1986},
}

@book{SkowronskiYamagata2011,
  author    = {Skowro\'nski, Andrzej and Yamagata, Kunio},
  title     = {Frobenius Algebras I: Basic Representation Theory},
  series    = {EMS Textbooks in Mathematics},
  publisher = {European Mathematical Society},
  year      = {2011},
  isbn      = {9783037190906},
  doi       = {10.4171/102},
}

@article{Schremmer2025wpl,
  author  = {Schremmer, Felix},
  title   = {Weighted projective lines and {H}ochschild cohomology},
  year    = {2025},
  note    = {arXiv:2512.08414},
}

@article{armenta_coxeter_calculus,
  author  = {Armenta, Marco},
  title   = {The {C}oxeter transformation as an automorphism of the {T}amarkin--{T}sygan calculus},
  year    = {2026},
  note    = {arXiv:2606.15595},
}

@incollection{IgusaTodorov2005,
  author    = {Igusa, Kiyoshi and Todorov, Gordana},
  title     = {On the finitistic global dimension conjecture for {A}rtin algebras},
  booktitle = {Representations of algebras and related topics},
  series    = {Fields Institute Communications},
  volume    = {45},
  pages     = {201--204},
  publisher = {American Mathematical Society},
  year      = {2005},
}

@article{BarriosMataRama2020,
  author  = {Barrios, Marcos and Mata, Gustavo and Rama, Gustavo},
  title   = {The {I}gusa-{T}odorov $\phi$ function for truncated path algebras},
  journal = {Algebras and Representation Theory},
  volume  = {23},
  number  = {3},
  pages   = {1051--1063},
  year    = {2020},
  note    = {arXiv:1707.04774},
}

@article{Gelinas2022,
  author  = {G\'elinas, Vincent},
  title   = {The depth, the delooping level and the finitistic dimension},
  journal = {Advances in Mathematics},
  volume  = {394},
  pages   = {108052},
  year    = {2022},
  note    = {arXiv:2004.04828},
}

@misc{qpa,
  author = {Green, Edward L. and Solberg, {\O}yvind},
  title  = {{QPA} -- {Quivers}, path algebras and representations, a {GAP} package, Version 1.37},
  year   = {2026}, howpublished = {\url{https://folk.ntnu.no/oyvinso/QPA/}}
}

@manual{gap4,
  key = {GAP}, organization = {The GAP Group},
  title = {{GAP -- Groups, Algorithms, and Programming}, Version 4.16.0}, year = {2026},
  note = {\url{https://www.gap-system.org}}
}

@misc{sagemath,
  author = {{The Sage Developers}}, title = {{SageMath}, the {Sage} {Mathematics} {Software} {System}},
  year = {2026}, note = {\url{https://www.sagemath.org}}
}

@software{quiverlab,
  author = {Armenta, Marco}, title = {quiverlab: exact Hochschild theory for quivers with relations},
  year = {2026}, version = {0.1.0}, url = {https://github.com/MarcoArmenta/quiverlab}
}

@article{ButlerRingel1987,
  author  = {Butler, M. C. R. and Ringel, Claus Michael},
  title   = {Auslander-{R}eiten sequences with few middle terms and applications
             to string algebras},
  journal = {Communications in Algebra},
  volume  = {15}, number = {1-2}, pages = {145--179}, year = {1987}
}

@article{SuarezAlvarez2023,
  author  = {Su\'arez-\'Alvarez, Mariano},
  title   = {A Simple Homological Characterization of String Algebras of Finite
             Representation Type},
  journal = {Algebras and Representation Theory},
  volume  = {26}, number = {5}, pages = {1759--1772}, year = {2023},
  doi     = {10.1007/s10468-022-10154-1}, note = {arXiv:2105.02948}
}

@article{ArtensteinLanzilottaSolotar2020,
  author  = {Artenstein, Dalia and Lanzilotta, Marcelo and Solotar, Andrea},
  title   = {Gerstenhaber structure on {H}ochschild cohomology of toupie algebras},
  journal = {Algebras and Representation Theory},
  volume  = {23}, number = {2}, pages = {421--456}, year = {2020},
  doi     = {10.1007/s10468-019-09854-y},
  note    = {arXiv:1803.10310; dimension bases in the Artenstein thesis, Colibri UdelaR}
}

@article{AvellaAlaminosGeiss2008,
  author  = {Avella-Alaminos, Diana and Gei{\ss}, Christof},
  title   = {Combinatorial derived invariants for gentle algebras},
  journal = {Journal of Pure and Applied Algebra},
  volume  = {212}, number = {1}, pages = {228--243}, year = {2008}
}

@incollection{Schroll2018,
  author    = {Schroll, Sibylle},
  title     = {Brauer graph algebras},
  booktitle = {Homological Methods, Representation Theory, and Cluster Algebras},
  series    = {CRM Short Courses}, publisher = {Springer}, pages = {177--223},
  year      = {2018}
}

@article{WaldWaschbusch1985,
  author  = {Wald, Burkhard and Waschb{\"u}sch, Josef},
  title   = {Tame biserial algebras},
  journal = {Journal of Algebra},
  volume  = {95}, number = {2}, pages = {480--500}, year = {1985}
}

@article{HeZhouZhu2020,
  author  = {He, Ping and Zhou, Yu and Zhu, Bin},
  title   = {A geometric model for the module category of a skew-gentle algebra},
  journal = {arXiv preprint},
  eprint  = {2004.11136}, archivePrefix = {arXiv}, primaryClass = {math.RT},
  year    = {2020}
}

@article{Chen2022skewgentle,
  author  = {Chen, Yiping},
  title   = {A characteristic free approach to skew-gentle algebras},
  journal = {arXiv preprint},
  eprint  = {2212.06467}, archivePrefix = {arXiv}, primaryClass = {math.RT},
  year    = {2024}
}

@article{Amiot2021skewgentle,
  author  = {Amiot, Claire},
  title   = {Indecomposable objects in the derived category of a skew-gentle algebra using orbifolds},
  journal = {arXiv preprint (ICRA 2020 proceedings)},
  eprint  = {2107.02646}, archivePrefix = {arXiv}, primaryClass = {math.RT},
  year    = {2021}
}

@article{GarciaLavoue2026,
  author  = {Garcia, Monica and Lavou{\'e}, L{\'e}a},
  title   = {Brick-finite skew-gentle algebras are representation-finite},
  journal = {arXiv preprint},
  eprint  = {2601.01744}, archivePrefix = {arXiv}, primaryClass = {math.RT},
  year    = {2026}
}

@article{GeissDeLaPena1999,
  author  = {Gei{\ss}, Christof and de la Pe{\~n}a, Jos{\'e} Antonio},
  title   = {Auslander-{R}eiten components for clans},
  journal = {Bolet\'in de la Sociedad Matem\'atica Mexicana. Tercera Serie},
  volume  = {5}, number = {2}, pages = {307--326}, year = {1999}
}

@article{CrawleyBoevey1989,
  author  = {Crawley-Boevey, William},
  title   = {Functorial filtrations {II}: clans and the {G}elfand problem},
  journal = {Journal of the London Mathematical Society},
  volume  = {40}, number = {1}, pages = {9--30}, year = {1989}
}

@incollection{Bongartz1981,
  author    = {Bongartz, Klaus},
  title     = {Tilted algebras},
  booktitle = {Representations of Algebras (Puebla, 1980)},
  series    = {Lecture Notes in Mathematics},
  volume    = {903},
  publisher = {Springer},
  address   = {Berlin-New York},
  year      = {1981},
  pages     = {26--38},
  doi       = {10.1007/BFb0092982},
}

@article{DWZ2008,
  author  = {Derksen, Harm and Weyman, Jerzy and Zelevinsky, Andrei},
  title   = {Quivers with potentials and their representations {I}: Mutations},
  journal = {Selecta Mathematica (New Series)},
  volume  = {14},
  number  = {1},
  year    = {2008},
  pages   = {59--119},
  doi     = {10.1007/s00029-008-0057-9},
}

@article{LabardiniFragoso2009,
  author  = {Labardini-Fragoso, Daniel},
  title   = {Quivers with potentials associated to triangulated surfaces},
  journal = {Proceedings of the London Mathematical Society (3)},
  volume  = {98},
  number  = {3},
  year    = {2009},
  pages   = {797--839},
  doi     = {10.1112/plms/pdn051},
}

@article{FominShapiroThurston2008,
  author  = {Fomin, Sergey and Shapiro, Michael and Thurston, Dylan},
  title   = {Cluster algebras and triangulated surfaces. {P}art {I}:
             {C}luster complexes},
  journal = {Acta Mathematica},
  volume  = {201},
  number  = {1},
  year    = {2008},
  pages   = {83--146},
  doi     = {10.1007/s11511-008-0030-7},
}

@article{FominZelevinsky2002,
  author  = {Fomin, Sergey and Zelevinsky, Andrei},
  title   = {Cluster algebras {I}: {F}oundations},
  journal = {Journal of the American Mathematical Society},
  volume  = {15},
  number  = {2},
  year    = {2002},
  pages   = {497--529},
  doi     = {10.1090/S0894-0347-01-00385-X},
}

@article{ABCP2010,
  author  = {Assem, Ibrahim and Br{\"u}stle, Thomas and
             Charbonneau-Jodoin, Gabrielle and Plamondon, Pierre-Guy},
  title   = {Gentle algebras arising from surface triangulations},
  journal = {Algebra \& Number Theory},
  volume  = {4},
  number  = {2},
  year    = {2010},
  pages   = {201--229},
  doi     = {10.2140/ant.2010.4.201},
}

@article{HughesWaschbusch1983,
  author  = {Hughes, D. and Waschb{\"u}sch, J.},
  title   = {Trivial extensions of tilted algebras},
  journal = {Proceedings of the London Mathematical Society (3)},
  volume  = {46},
  number  = {2},
  year    = {1983},
  pages   = {347--364},
  doi     = {10.1112/plms/s3-46.2.347},
}

@article{Kac1980,
  author  = {Kac, Victor G.},
  title   = {Infinite root systems, representations of graphs and invariant theory},
  journal = {Inventiones Mathematicae},
  volume  = {56},
  number  = {1},
  pages   = {57--92},
  year    = {1980},
}

@article{Schofield1992,
  author  = {Schofield, Aidan},
  title   = {General representations of quivers},
  journal = {Proceedings of the London Mathematical Society. Third Series},
  volume  = {65},
  number  = {1},
  pages   = {46--64},
  year    = {1992},
}

@article{DerksenWeyman2002,
  author  = {Derksen, Harm and Weyman, Jerzy},
  title   = {On the canonical decomposition of quiver representations},
  journal = {Compositio Mathematica},
  volume  = {133},
  number  = {3},
  pages   = {245--265},
  year    = {2002},
}

@article{Zwara2000,
  author  = {Zwara, Grzegorz},
  title   = {Degenerations of finite-dimensional modules are given by extensions},
  journal = {Compositio Mathematica},
  volume  = {121},
  number  = {2},
  pages   = {205--218},
  year    = {2000},
}

@article{Bongartz1996,
  author  = {Bongartz, Klaus},
  title   = {On degenerations and extensions of finite dimensional modules},
  journal = {Advances in Mathematics},
  volume  = {121},
  number  = {2},
  pages   = {245--287},
  year    = {1996},
}

@book{Voigt1977,
  author    = {Voigt, Detlef},
  title     = {Induzierte Darstellungen in der Theorie der endlichen, algebraischen Gruppen},
  series    = {Lecture Notes in Mathematics},
  volume    = {592},
  publisher = {Springer},
  year      = {1977},
}

@article{DlabRingel1989,
  author  = {Dlab, Vlastimil and Ringel, Claus Michael},
  title   = {Quasi-hereditary algebras},
  journal = {Illinois Journal of Mathematics},
  volume  = {33},
  number  = {2},
  year    = {1989},
  pages   = {280--291},
  doi     = {10.1215/ijm/1255988725},
}

@article{Ringel1991,
  author  = {Ringel, Claus Michael},
  title   = {The category of modules with good filtrations over a quasi-hereditary algebra has almost split sequences},
  journal = {Mathematische Zeitschrift},
  volume  = {208},
  number  = {2},
  year    = {1991},
  pages   = {209--223},
  doi     = {10.1007/BF02571521},
}

@article{CPS1988,
  author  = {Cline, E. and Parshall, B. and Scott, L.},
  title   = {Finite-dimensional algebras and highest weight categories},
  journal = {Journal f{\"u}r die reine und angewandte Mathematik},
  volume  = {391},
  year    = {1988},
  pages   = {85--99},
  doi     = {10.1515/crll.1988.391.85},
}

@book{BBD1982,
  author    = {Be{\u\i}linson, A. A. and Bernstein, J. and Deligne, P.},
  title     = {Faisceaux pervers},
  series    = {Ast{\'e}risque},
  volume    = {100},
  publisher = {Soci{\'e}t{\'e} Math{\'e}matique de France},
  year      = {1982},
}

@article{AIR2014,
  author  = {Adachi, Takahide and Iyama, Osamu and Reiten, Idun},
  title   = {{$\tau$}-tilting theory},
  journal = {Compositio Mathematica},
  volume  = {150},
  number  = {3},
  pages   = {415--452},
  year    = {2014},
  doi     = {10.1112/S0010437X13007422},
}

@article{AiharaIyama2012,
  author  = {Aihara, Takuma and Iyama, Osamu},
  title   = {Silting mutation in triangulated categories},
  journal = {Journal of the London Mathematical Society},
  volume  = {85},
  number  = {3},
  pages   = {633--668},
  year    = {2012},
  doi     = {10.1112/jlms/jdr055},
}

@article{Oppermann2017,
  author  = {Oppermann, Steffen},
  title   = {Quivers for silting mutation},
  journal = {Advances in Mathematics},
  volume  = {307},
  pages   = {684--714},
  year    = {2017},
  doi     = {10.1016/j.aim.2016.11.030},
}

@misc{Jorgensen2016cotstructures,
  author  = {J{\o}rgensen, Peter},
  title   = {Co-t-structures: the first decade},
  note    = {arXiv:1603.09379},
  year    = {2016},
}

@article{DIJ2019,
  author  = {Demonet, Laurent and Iyama, Osamu and Jasso, Gustavo},
  title   = {{$\tau$}-tilting finite algebras, bricks, and {$g$}-vectors},
  journal = {International Mathematics Research Notices},
  volume  = {2019},
  number  = {3},
  pages   = {852--892},
  year    = {2019},
  doi     = {10.1093/imrn/rnx135},
}

@article{King1994,
  author  = {King, A. D.},
  title   = {Moduli of representations of finite-dimensional algebras},
  journal = {The Quarterly Journal of Mathematics. Oxford. Second Series},
  volume  = {45},
  number  = {180},
  pages   = {515--530},
  year    = {1994},
  doi     = {10.1093/qmath/45.4.515},
}

@article{DIRRT2023,
  author  = {Demonet, Laurent and Iyama, Osamu and Reading, Nathan and Reiten, Idun and Thomas, Hugh},
  title   = {Lattice theory of torsion classes: Beyond {$\tau$}-tilting theory},
  journal = {Transactions of the American Mathematical Society, Series B},
  volume  = {10},
  pages   = {542--612},
  year    = {2023},
  doi     = {10.1090/btran/100},
}

@article{BCZ2019,
  author  = {Barnard, Emily and Carroll, Andrew and Zhu, Shijie},
  title   = {Minimal inclusions of torsion classes},
  journal = {Algebraic Combinatorics},
  volume  = {2},
  number  = {5},
  pages   = {879--901},
  year    = {2019},
  doi     = {10.5802/alco.72},
}

@article{Enomoto2023wide,
  author  = {Enomoto, Haruhisa},
  title   = {From the lattice of torsion classes to the posets of wide subcategories and {ICE}-closed subcategories},
  journal = {Algebras and Representation Theory},
  year    = {2023},
  doi     = {10.1007/s10468-023-10214-0},
  note    = {arXiv:2201.00595},
}

@article{MarksStovicek2017,
  author  = {Marks, Frederik and {\v{S}}{\v{t}}ov{\'\i}{\v{c}}ek, Jan},
  title   = {Torsion classes, wide subcategories and localisations},
  journal = {Bulletin of the London Mathematical Society},
  volume  = {49},
  number  = {3},
  pages   = {405--416},
  year    = {2017},
  doi     = {10.1112/blms.12033},
}

@article{FernandesLanzilottaMendoza2015,
  author  = {Fernandes, Sonia and Lanzilotta, Marcelo and Mendoza, Octavio},
  title   = {The {$\Phi$}-dimension: a new homological measure},
  journal = {Algebras and Representation Theory},
  volume  = {18},
  number  = {2},
  pages   = {463--476},
  year    = {2015},
  doi     = {10.1007/s10468-014-9504-9},
  note    = {arXiv:1304.0754},
}

@article{BravoLanzilottaMendozaVivero2021,
  author  = {Bravo, Diego and Lanzilotta, Marcelo and Mendoza, Octavio and Vivero, Jos\'e},
  title   = {Generalised {I}gusa-{T}odorov functions and {L}at-{I}gusa-{T}odorov algebras},
  journal = {Journal of Algebra},
  volume  = {580},
  pages   = {63--83},
  year    = {2021},
  doi     = {10.1016/j.jalgebra.2021.03.038},
  note    = {arXiv:2002.07866},
}

@article{IvanovVolkov2012,
  author  = {Ivanov, Sergei O. and Volkov, Yury},
  title   = {Stable {C}alabi-{Y}au dimension of self-injective algebras of finite type},
  journal = {Journal of Algebra},
  volume  = {413},
  pages   = {72--99},
  year    = {2014},
  doi     = {10.1016/j.jalgebra.2014.04.025},
  note    = {arXiv:1212.2619},
}

@article{ErdmannSkowronski2006,
  author  = {Erdmann, Karin and Skowro\'nski, Andrzej},
  title   = {The stable {C}alabi-{Y}au dimension of tame symmetric algebras},
  journal = {Journal of the Mathematical Society of Japan},
  volume  = {58},
  number  = {1},
  pages   = {97--128},
  year    = {2006},
  doi     = {10.2969/jmsj/1145287094},
}

@article{GeissLeclercSchroer2006,
  author  = {Gei\ss, Christof and Leclerc, Bernard and Schr\"oer, Jan},
  title   = {Rigid modules over preprojective algebras},
  journal = {Inventiones Mathematicae},
  volume  = {165},
  number  = {3},
  pages   = {589--632},
  year    = {2006},
  doi     = {10.1007/s00222-006-0507-y},
}

@article{AssemDelaPena1996,
  author  = {Assem, Ibrahim and de la Pe\~na, Jos\'e Antonio},
  title   = {The fundamental groups of a triangular algebra},
  journal = {Communications in Algebra},
  volume  = {24},
  number  = {1},
  pages   = {187--208},
  year    = {1996},
  doi     = {10.1080/00927879608825561},
}

@article{MartinezVillaDelaPena1983,
  author  = {Mart\'inez-Villa, Roberto and de la Pe\~na, Jos\'e Antonio},
  title   = {The universal cover of a quiver with relations},
  journal = {Journal of Pure and Applied Algebra},
  volume  = {30},
  number  = {3},
  pages   = {277--292},
  year    = {1983},
  doi     = {10.1016/0022-4049(83)90064-0},
}

@article{LeMeur2005,
  author  = {Le Meur, Patrick},
  title   = {The fundamental group of a triangular algebra without double bypasses},
  journal = {Comptes Rendus Math\'ematique. Acad\'emie des Sciences. Paris},
  volume  = {341},
  number  = {4},
  pages   = {211--216},
  year    = {2005},
  doi     = {10.1016/j.crma.2005.07.005},
  note    = {arXiv:math/0503302},
}

@article{CibilsRedondoSolotar2010hurewicz,
  author  = {Cibils, Claude and Redondo, Mar\'ia Julia and Solotar, Andrea},
  title   = {Fundamental group of {S}churian categories and the {H}urewicz isomorphism},
  journal = {arXiv preprint},
  year    = {2010},
  note    = {arXiv:1010.6296},
}

@article{CibilsRedondoSolotar2010gradings,
  author  = {Cibils, Claude and Redondo, Mar\'ia Julia and Solotar, Andrea},
  title   = {Connected gradings and the fundamental group},
  journal = {Algebra \& Number Theory},
  volume  = {4},
  number  = {5},
  pages   = {625--648},
  year    = {2010},
  doi     = {10.2140/ant.2010.4.625},
  note    = {arXiv:0906.3069},
}

@article{CibilsRedondoSolotar2009intrinsic,
  author  = {Cibils, Claude and Redondo, Mar\'ia Julia and Solotar, Andrea},
  title   = {The intrinsic fundamental group of a linear category},
  journal = {Algebras and Representation Theory},
  volume  = {15},
  number  = {4},
  pages   = {735--753},
  year    = {2012},
  doi     = {10.1007/s10468-010-9265-z},
  note    = {arXiv:0706.2491},
}

@article{BriggsRubioyDegrassi2023,
  author  = {Briggs, Benjamin and Rubio y Degrassi, Lleonard},
  title   = {Maximal tori in $HH^1$ and the fundamental group},
  journal = {International Mathematics Research Notices},
  volume  = {2023},
  number  = {7},
  pages   = {5538--5568},
  year    = {2023},
  doi     = {10.1093/imrn/rnac059},
  note    = {arXiv:2109.03704},
}

@incollection{Skowronski1993,
  author    = {Skowro\'nski, Andrzej},
  title     = {Simply connected algebras and {H}ochschild cohomologies},
  booktitle = {Representations of Algebras (Ottawa, ON, 1992)},
  series    = {CMS Conference Proceedings},
  volume    = {14},
  publisher = {American Mathematical Society},
  pages     = {431--447},
  year      = {1993},
}

@article{ACT2004,
  author  = {Assem, Ibrahim and Coelho, Fl{\'a}vio U. and Trepode, Sonia},
  title   = {The left and the right parts of a module category},
  journal = {Journal of Algebra},
  volume  = {281},
  number  = {2},
  pages   = {518--534},
  year    = {2004},
}

@misc{ACLV2011,
  author        = {Assem, Ibrahim and Castonguay, Diane and Lanzilotta, Marcelo and Vargas, Rosana R. S.},
  title         = {Algebras determined by their supports},
  year          = {2011},
  eprint        = {1102.1188},
  archivePrefix = {arXiv},
  primaryClass  = {math.RT},
}

@article{AACV2021,
  author  = {Alvares, Edson Ribeiro and Assem, Ibrahim and Castonguay, Diane and Vargas, Rosana R. S.},
  title   = {Organising the module category},
  journal = {S{\~a}o Paulo Journal of Mathematical Sciences},
  volume  = {16},
  number  = {1},
  pages   = {62--82},
  year    = {2022},
  doi     = {10.1007/s40863-021-00241-4},
}

@article{BST2019,
  author  = {Br{\"u}stle, Thomas and Smith, David and Treffinger, Hipolito},
  title   = {Wall and chamber structure for finite-dimensional algebras},
  journal = {Advances in Mathematics},
  volume  = {354},
  pages   = {106746},
  year    = {2019},
  doi     = {10.1016/j.aim.2019.106746},
}

@article{Asai2020,
  author  = {Asai, Sota},
  title   = {Semibricks},
  journal = {International Mathematics Research Notices},
  volume  = {2020},
  number  = {16},
  pages   = {4993--5054},
  year    = {2020},
  doi     = {10.1093/imrn/rny150},
}

@misc{KT2023,
  author        = {Kaipel, Maximilian and Treffinger, Hipolito},
  title         = {Wall-and-chamber structures for finite-dimensional algebras and {$\tau$}-tilting theory},
  year          = {2023},
  eprint        = {2302.12699},
  archivePrefix = {arXiv},
  primaryClass  = {math.RT},
}

@article{Liu1993,
  author  = {Liu, Shiping},
  title   = {Tilted algebras and generalized standard {A}uslander--{R}eiten components},
  journal = {Archiv der Mathematik},
  volume  = {61},
  number  = {1},
  pages   = {12--19},
  year    = {1993},
  doi     = {10.1007/BF01258050},
}

@misc{Liu2014,
  author        = {Liu, Shiping},
  title         = {Another characterization of tilted algebras},
  year          = {2014},
  eprint        = {1409.2054},
  archivePrefix = {arXiv},
  primaryClass  = {math.RT},
}

@article{HappelRingel1982,
  author  = {Happel, Dieter and Ringel, Claus Michael},
  title   = {Tilted algebras},
  journal = {Transactions of the American Mathematical Society},
  volume  = {274},
  number  = {2},
  pages   = {399--443},
  year    = {1982},
}

@book{HRS1996,
  author    = {Happel, Dieter and Reiten, Idun and Smal{\o}, Sverre O.},
  title     = {Tilting in Abelian Categories and Quasitilted Algebras},
  series    = {Memoirs of the American Mathematical Society},
  volume    = {120},
  number    = {575},
  publisher = {American Mathematical Society},
  year      = {1996},
}

@article{CL2003weaklyshod,
  author  = {Coelho, Fl{\'a}vio U. and Lanzilotta, Marcelo A.},
  title   = {Weakly shod algebras},
  journal = {Journal of Algebra},
  volume  = {265},
  number  = {2},
  pages   = {379--403},
  year    = {2003},
}

@article{AC2003laura,
  author  = {Assem, Ibrahim and Coelho, Fl{\'a}vio U.},
  title   = {Two-sided gluings of tilted algebras},
  journal = {Journal of Algebra},
  volume  = {269},
  number  = {2},
  pages   = {456--479},
  year    = {2003},
}

@misc{Smith2007almostlaura,
  author        = {Smith, David},
  title         = {Almost laura algebras},
  year          = {2007},
  eprint        = {math/0702562},
  archivePrefix = {arXiv},
  primaryClass  = {math.RT},
}

@article{BFT2017quasitilted,
  author  = {Bordino, Natalia and Fern{\'a}ndez, Elsa and Trepode, Sonia},
  title   = {On the quiver with relations of a quasitilted algebra and applications},
  journal = {Communications in Algebra},
  volume  = {45},
  number  = {9},
  pages   = {4050--4061},
  year    = {2017},
}

@article{Bongartz1984,
  author  = {Bongartz, Klaus},
  title   = {A criterion for finite representation type},
  journal = {Mathematische Annalen},
  volume  = {269},
  number  = {1},
  pages   = {1--12},
  year    = {1984},
  doi     = {10.1007/BF01455993},
}

@article{BrustleDlPSkowronski2011,
  author  = {Br{\"u}stle, Thomas and de la Pe{\~n}a, Jos{\'e} Antonio and Skowro\'nski, Andrzej},
  title   = {Tame algebras and {T}its quadratic forms},
  journal = {Advances in Mathematics},
  volume  = {226},
  number  = {1},
  pages   = {887--951},
  year    = {2011},
  doi     = {10.1016/j.aim.2010.07.007},
}

@misc{KasjanSkowronski2019,
  author        = {Kasjan, Stanis\l{}aw and Skowro\'nski, Andrzej},
  title         = {On the tame-wild dichotomy for strongly simply connected algebras},
  year          = {2019},
  eprint        = {1905.06028},
  archivePrefix = {arXiv},
  primaryClass  = {math.RT},
}

@incollection{Ovsienko1978,
  author    = {Ovsienko, Serge{\u\i} A.},
  title     = {Integral weakly positive forms},
  booktitle = {Schur Matrix Problems and Quadratic Forms},
  series    = {Preprint 78.25},
  publisher = {Inst. Mat. Akad. Nauk Ukrain. SSR, Kiev},
  pages     = {3--17},
  year      = {1978},
}

@article{vonHohne1996,
  author  = {von H{\"o}hne, Hans-Joachim},
  title   = {On weakly non-negative unit forms and tame algebras},
  journal = {Proceedings of the London Mathematical Society (3)},
  volume  = {73},
  number  = {1},
  pages   = {47--67},
  year    = {1996},
  doi     = {10.1112/plms/s3-73.1.47},
}

@incollection{DelaPenaBanach26,
  author    = {de la Pe{\~n}a, Jos{\'e} Antonio},
  title     = {Algebras with hypercritical {T}its form},
  booktitle = {Topics in Algebra, Part 1 (Warsaw, 1988)},
  series    = {Banach Center Publications},
  volume    = {26},
  publisher = {PWN, Warsaw},
  pages     = {353--369},
  year      = {1990},
  doi       = {10.4064/-26-1-353-369},
}

@book{BarotJimenezDlP2019,
  author    = {Barot, Michael and Jim{\'e}nez Gonz{\'a}lez, Jes{\'u}s Arturo and de la Pe{\~n}a, Jos{\'e} Antonio},
  title     = {Quadratic Forms: Combinatorics and Numerical Results},
  series    = {Algebra and Applications},
  volume    = {25},
  publisher = {Springer},
  year      = {2019},
  doi       = {10.1007/978-3-030-05627-8},
}

@article{BuanMarsh2021,
  author  = {Buan, Aslak Bakke and Marsh, Robert J.},
  title   = {{$\tau$}-exceptional sequences},
  journal = {J. Algebra},
  volume  = {585},
  pages   = {36--68},
  year    = {2021},
  doi     = {10.1016/j.jalgebra.2021.05.001},
  note    = {arXiv:1802.01169},
}

@article{Jasso2015,
  author  = {Jasso, Gustavo},
  title   = {Reduction of {$\tau$}-tilting modules and torsion pairs},
  journal = {Int. Math. Res. Not. IMRN},
  year    = {2015},
  number  = {16},
  pages   = {7190--7237},
  doi     = {10.1093/imrn/rnu163},
}

@incollection{CrawleyBoevey1993,
  author    = {Crawley-Boevey, William},
  title     = {Exceptional sequences of representations of quivers},
  booktitle = {Representations of algebras (Ottawa, ON, 1992)},
  series    = {CMS Conf. Proc.},
  volume    = {14},
  pages     = {117--124},
  publisher = {Amer. Math. Soc.},
  year      = {1993},
}

@incollection{RingelBraid1994,
  author    = {Ringel, Claus Michael},
  title     = {The braid group action on the set of exceptional sequences of a hereditary {A}rtin algebra},
  booktitle = {Abelian group theory and related topics (Oberwolfach, 1993)},
  series    = {Contemp. Math.},
  volume    = {171},
  pages     = {339--352},
  publisher = {Amer. Math. Soc.},
  year      = {1994},
}

@misc{BuanHansonMarsh2024,
  author = {Buan, Aslak Bakke and Hanson, Eric J. and Marsh, Robert J.},
  title  = {Mutation of {$\tau$}-exceptional pairs and sequences},
  year   = {2024},
  note   = {arXiv:2402.10301},
}

@article{Obaid2013,
  author  = {Obaid, Mustafa A. A. and Nauman, S. Khalid and Al-Shammakh, Wafaa S. M. and Fakieh, Wafaa M. and Ringel, Claus Michael},
  title   = {The number of complete exceptional sequences for a {D}ynkin algebra},
  journal = {Colloq. Math.},
  volume  = {133},
  number  = {2},
  pages   = {197--210},
  year    = {2013},
}

@article{EscolarHiraoka2016,
  author  = {Escolar, Emerson G. and Hiraoka, Yasuaki},
  title   = {Persistence Modules on Commutative Ladders of Finite Type},
  journal = {Discrete Comput. Geom.},
  volume  = {55},
  number  = {1},
  pages   = {100--157},
  year    = {2016},
  doi     = {10.1007/s00454-015-9746-2},
  note    = {arXiv:1404.7588},
}

@article{BotnanCrawleyBoevey2020,
  author  = {Botnan, Magnus Bakke and Crawley-Boevey, William},
  title   = {Decomposition of persistence modules},
  journal = {Proc. Amer. Math. Soc.},
  volume  = {148},
  number  = {11},
  pages   = {4581--4596},
  year    = {2020},
  note    = {arXiv:1811.08946},
}

@misc{IgusaRockTodorov2019,
  author = {Igusa, Kiyoshi and Rock, Job D. and Todorov, Gordana},
  title  = {Continuous quivers of type {A} {(I)}: foundations},
  year   = {2019},
  note   = {arXiv:1909.10499},
}

@article{Gabriel1972,
  author  = {Gabriel, Peter},
  title   = {Unzerlegbare {D}arstellungen {I}},
  journal = {Manuscripta Math.},
  volume  = {6},
  pages   = {71--103},
  year    = {1972},
}

@article{RSS2023hh1lie,
  author  = {Rubio y Degrassi, Lleonard and Schroll, Sibylle and Solotar, Andrea},
  title   = {The first {H}ochschild cohomology as a {L}ie algebra},
  journal = {Quaest. Math.},
  year    = {2023},
  note    = {arXiv:1903.12145},
}

@article{CSS2020gentlehh1,
  author  = {Chaparro, Cristian and Schroll, Sibylle and Solotar, Andrea},
  title   = {On the {L}ie algebra structure of the first {H}ochschild cohomology of gentle algebras and {B}rauer graph algebras},
  journal = {J. Algebra},
  volume  = {558},
  year    = {2020},
  note    = {arXiv:1811.02211},
}

@misc{EiseleRaedschelders2019,
  author = {Eisele, Florian and Raedschelders, Theo},
  title  = {On solvability of the first {H}ochschild cohomology of a finite-dimensional algebra},
  year   = {2019},
  note   = {arXiv:1903.07380},
}

@article{Strametz2006,
  author  = {Strametz, Cristina},
  title   = {The {L}ie algebra structure of the first {H}ochschild cohomology group for monomial algebras},
  journal = {J. Algebra Appl.},
  volume  = {5},
  number  = {3},
  pages   = {245--270},
  year    = {2006},
  note    = {arXiv:math/0111060},
}

@article{LiuXing2023,
  author  = {Liu, Yuming and Xing, Bohan},
  title   = {Generalized parallel paths method for computing the first {H}ochschild cohomology group with applications to {B}rauer graph algebras},
  journal = {J. Algebra Appl.},
  doi     = {10.1142/S021949882650297X},
  year    = {2023},
  note    = {arXiv:2306.14372},
}

@article{Gerstenhaber1963,
  author  = {Gerstenhaber, Murray},
  title   = {The cohomology structure of an associative ring},
  journal = {Ann. of Math. (2)},
  volume  = {78},
  pages   = {267--288},
  year    = {1963},
}

@book{deGraaf2000,
  author    = {de Graaf, Willem A.},
  title     = {Lie Algebras: Theory and Algorithms},
  series    = {North-Holland Mathematical Library},
  volume    = {56},
  publisher = {Elsevier},
  year      = {2000},
}

@article{MeinelNguyenPauwelsRedondoSolotar2021,
  author  = {Meinel, Joanna and Nguyen, Van C. and Pauwels, Bregje and
             Redondo, Mar\'ia Julia and Solotar, Andrea},
  title   = {The {G}erstenhaber structure on the {H}ochschild cohomology of a class of special biserial algebras},
  journal = {J. Algebra},
  volume  = {580},
  pages   = {264--298},
  year    = {2021},
  note    = {arXiv:1803.10909; vol/pages from a ScienceDirect search hit (S0021869321002015), pending a landing-page re-confirm},
}

@article{ChaparroSchrollSolotarSuarezAlvarez2026,
  author  = {Chaparro, Cristian and Schroll, Sibylle and Solotar, Andrea and
             Su\'arez-\'Alvarez, Mariano},
  title   = {The {H}ochschild cohomology and the {T}amarkin--{T}sygan calculus of gentle algebras},
  journal = {J. Algebra},
  volume  = {708},
  pages   = {138--231},
  year    = {2026},
  note    = {arXiv:2311.08003},
}

@article{StefanHopfGalois1995,
  author  = {{\c{S}}tefan, Drago{\c{s}}},
  title   = {Hochschild cohomology on {H}opf {G}alois extensions},
  journal = {J. Pure Appl. Algebra},
  volume  = {103},
  number  = {3},
  pages   = {221--233},
  year    = {1995},
}

@article{SheplerWitherspoonGroupActions,
  author  = {Shepler, Anne V. and Witherspoon, Sarah},
  title   = {Group actions on algebras and the graded {L}ie structure of {H}ochschild cohomology},
  journal = {J. Algebra},
  volume  = {351},
  pages   = {350--381},
  year    = {2012},
  note    = {arXiv:0911.0938},
}

@article{CibilsMarcosSmash2006,
  author  = {Cibils, Claude and Marcos, Eduardo N.},
  title   = {Skew category, {G}alois covering and smash product of a $k$-category},
  journal = {Proc. Amer. Math. Soc.},
  volume  = {134},
  number  = {1},
  pages   = {39--50},
  year    = {2006},
  note    = {arXiv:math/0312214},
}

@article{MarcosMartinezVillaMartinsInvariants,
  author = {Marcos, Eduardo N. and Mart{\'\i}nez-Villa, Roberto and Martins, Maria Izabel Ramalho},
  title  = {Hochschild cohomology of skew group rings and invariants},
  note   = {arXiv:math/0312460},
  year   = {2004},
}

@article{BuanMarsh2021wide,
  author  = {Buan, Aslak Bakke and Marsh, Robert J.},
  title   = {A category of wide subcategories},
  journal = {Int. Math. Res. Not. IMRN},
  volume  = {2021},
  number  = {13},
  pages   = {10278--10338},
  year    = {2021},
  doi     = {10.1093/imrn/rnz082},
  note    = {author field matches the printed IMRN record (Aslak Bakke Buan and Robert J. Marsh)},
}

@article{HansonIgusa2021,
  author  = {Hanson, Eric J. and Igusa, Kiyoshi},
  title   = {{$\tau$}-cluster morphism categories and picture groups},
  journal = {Comm. Algebra},
  volume  = {49},
  number  = {10},
  pages   = {4376--4415},
  year    = {2021},
  doi     = {10.1080/00927872.2021.1921184},
  note    = {arXiv:1809.08989},
}

@article{IgusaTodorovWeyman2016,
  author  = {Igusa, Kiyoshi and Todorov, Gordana and Weyman, Jerzy},
  title   = {Picture groups of finite type and cohomology in type {$A_n$}},
  journal = {arXiv preprint},
  year    = {2016},
  note    = {arXiv:1609.02636},
}

@article{IgusaTodorov2022cat0,
  author  = {Igusa, Kiyoshi and Todorov, Gordana},
  title   = {Which cluster morphism categories are {CAT(0)}},
  journal = {arXiv preprint},
  year    = {2022},
  note    = {arXiv:2203.16679},
}

@article{RedondoRossiBertone2022linfty,
  author  = {Redondo, Mar\'ia Julia and Rossi Bertone, Fiorela},
  title   = {{$L_\infty$}-structure on {B}ardzell's complex for monomial algebras},
  journal = {J. Pure Appl. Algebra},
  volume  = {226},
  number  = {5},
  pages   = {Paper No. 106935},
  year    = {2022},
  note    = {arXiv:2008.08122; article no. 106935 / DOI pending a ScienceDirect landing-page re-confirm},
}

@article{MullerRedondoRossiBertoneSuarez2025,
  author  = {M\"uller, Monique and Redondo, Mar\'ia Julia and Rossi Bertone, Fiorela and
             Suarez, Pamela},
  title   = {{M}aurer--{C}artan equation for gentle algebras},
  journal = {Comm. Algebra},
  volume  = {53},
  number  = {9},
  pages   = {3984--4007},
  year    = {2025},
  note    = {arXiv:2309.02582; DOI 10.1080/00927872.2025.2473029},
}

@misc{RedondoRomanRossiBertoneVerdecchia2020,
  author  = {Redondo, Mar\'ia Julia and Rom\'an, Lucrecia and Rossi Bertone, Fiorela and
             Verdecchia, Melina},
  title   = {{M}orita invariance for infinitesimal deformations},
  year    = {2020},
  note    = {arXiv:2003.10366; journal ref pending},
}

@misc{RedondoRomanRossiBertone2022ext,
  author  = {Redondo, Mar\'ia Julia and Rom\'an, Lucrecia and Rossi Bertone, Fiorela},
  title   = {The {E}xt-algebra for infinitesimal deformations},
  year    = {2022},
  note    = {arXiv:2202.01199; three authors; journal ref pending (v2 2024-03-15)},
}

@article{Chouhy2019degeneration,
  author  = {Chouhy, Sergio},
  title   = {On geometric degenerations and {G}erstenhaber formal deformations},
  journal = {Bull. Lond. Math. Soc.},
  year    = {2019},
  note    = {arXiv:1708.02933; DOI 10.1112/blms.12277; vol/pages pending a landing-page re-confirm},
}

@article{CLMSbounded2022,
  author  = {Cibils, Claude and Lanzilotta, Marcelo and Marcos, Eduardo N. and Solotar, Andrea},
  title   = {Han's conjecture for bounded extensions},
  journal = {Journal of Algebra},
  year    = {2022},
  doi     = {10.1016/j.jalgebra.2022.01.022},
  note    = {arXiv:2101.02597},
}

@article{CLMSjacobiZariski2022,
  author  = {Cibils, Claude and Lanzilotta, Marcelo and Marcos, Eduardo N. and Solotar, Andrea},
  title   = {Jacobi--Zariski long nearly exact sequences for associative algebras},
  journal = {Bulletin of the London Mathematical Society},
  volume  = {54},
  number  = {3},
  year    = {2022},
  doi     = {10.1112/blms.12516},
  note    = {arXiv:2009.05017},
}

@article{Kaygun2012,
  author  = {Kaygun, Atabey},
  title   = {Jacobi--Zariski Exact Sequence for {H}ochschild Homology and Cyclic (Co)Homology},
  journal = {Homology, Homotopy and Applications},
  volume  = {14},
  number  = {1},
  year    = {2012},
  pages   = {65--78},
  note    = {arXiv:1103.4377},
}

@article{CLMSsplitBounded2020,
  author  = {Cibils, Claude and Lanzilotta, Marcelo and Marcos, Eduardo N. and Solotar, Andrea},
  title   = {Split bounded extension algebras and {H}an's conjecture},
  journal = {Pacific Journal of Mathematics},
  volume  = {307},
  number  = {1},
  year    = {2020},
  pages   = {63--77},
  doi     = {10.2140/pjm.2020.307.63},
  note    = {arXiv:1908.11130},
}

@misc{WangXuZhangZhou2024,
  author = {Wang, Ren and Xu, Xiaoxiao and Zhang, Jinbi and Zhou, Guodong},
  title  = {A recollement approach to {H}an's conjecture},
  year   = {2024},
  note   = {arXiv:2409.00945},
}

@article{GerstenhaberSchack1983,
  author  = {Gerstenhaber, Murray and Schack, Samuel D.},
  title   = {Simplicial cohomology is {H}ochschild cohomology},
  journal = {J. Pure Appl. Algebra},
  volume  = {30},
  number  = {2},
  pages   = {143--156},
  year    = {1983},
  note    = {the RING (cup-product) isomorphism, for the face poset of a simplicial complex},
}

@article{GHMS2005,
  author  = {Green, Edward L. and Hartman, Gregory and Marcos, Eduardo N. and Solberg, {\O}yvind},
  title   = {Resolutions over {K}oszul algebras},
  journal = {Arch. Math. (Basel)},
  volume  = {85},
  pages   = {118--127},
  year    = {2005},
  note    = {arXiv:math/0508177; DOI 10.1007/s00013-005-1299-9 -- pages/DOI pending a landing-page re-confirm},
}

@misc{Wang2015singular,
  author = {Wang, Zhengfang},
  title  = {Singular {H}ochschild cohomology and {G}erstenhaber algebra structure},
  year   = {2015},
  note   = {arXiv:1508.00190}
}

@article{Keller2018singular,
  author  = {Keller, Bernhard},
  title   = {Singular {H}ochschild cohomology via the singularity category},
  journal = {C. R. Math. Acad. Sci. Paris},
  volume  = {356},
  number  = {11-12},
  pages   = {1106--1111},
  year    = {2018},
  note    = {arXiv:1809.05121}
}

@misc{Usui2021tate,
  author = {Usui, Satoshi},
  title  = {Tate--{H}ochschild cohomology rings for eventually periodic {G}orenstein algebras},
  year   = {2021},
  note   = {arXiv:2107.03326}
}

@article{BerghJorgensen2013tate,
  author  = {Bergh, Petter Andreas and Jorgensen, David A.},
  title   = {Tate--{H}ochschild homology and cohomology of {F}robenius algebras},
  journal = {J. Noncommut. Geom.},
  volume  = {7},
  number  = {4},
  pages   = {907--937},
  year    = {2013},
  doi     = {10.4171/JNCG/139}
}

@article{Berger2001nonquadratic,
  author  = {Berger, Roland},
  title   = {Koszulity for nonquadratic algebras},
  journal = {Journal of Algebra},
  volume  = {239},
  number  = {2},
  pages   = {705--734},
  year    = {2001},
  doi     = {10.1006/jabr.2000.8703},
}

@article{CassidyShelton2008,
  author  = {Cassidy, Thomas and Shelton, Brad},
  title   = {Generalizing the notion of {K}oszul algebra},
  journal = {Mathematische Zeitschrift},
  volume  = {260},
  number  = {1},
  pages   = {93--114},
  year    = {2008},
  doi     = {10.1007/s00209-007-0266-5},
  note    = {arXiv:0704.3752},
}

@article{BrennerButlerKing2002,
  author  = {Brenner, Sheila and Butler, Michael C. R. and King, Alastair D.},
  title   = {Periodic algebras which are almost {K}oszul},
  journal = {Algebras and Representation Theory},
  volume  = {5},
  number  = {4},
  pages   = {331--368},
  year    = {2002},
  doi     = {10.1023/A:1020146502185},
}

@misc{Herscovich2013multikoszul,
  author = {Herscovich, Estanislao},
  title  = {On the multi-{K}oszul property for connected algebras},
  year   = {2013},
  note   = {arXiv:1305.1678},
}

@article{Herscovich2019onepoint,
  author  = {Herscovich, Estanislao},
  title   = {Applications of one-point extensions to compute the
             {$A_\infty$}-(co)module structure of several {E}xt (resp., {T}or) groups},
  journal = {Journal of Pure and Applied Algebra},
  volume  = {223},
  number  = {3},
  pages   = {1054--1072},
  year    = {2019},
}

@article{Chouhy2019degenerations,
  author  = {Chouhy, Sergio},
  title   = {On geometric degenerations and {G}erstenhaber formal deformations},
  journal = {Bulletin of the London Mathematical Society},
  volume  = {51},
  number  = {5},
  pages   = {787--797},
  year    = {2019},
  doi     = {10.1112/blms.12277},
  note    = {arXiv:1708.02933},
}

@article{GreenMarcosMartinezVillaZhang2004,
  author  = {Green, Edward L. and Marcos, Eduardo N. and Mart{\'\i}nez-Villa, Roberto
             and Zhang, Pu},
  title   = {{D}-{K}oszul algebras},
  journal = {Journal of Pure and Applied Algebra},
  volume  = {193},
  number  = {1--3},
  pages   = {141--162},
  year    = {2004},
}

@article{Amiot2009cluster,
  author  = {Amiot, Claire},
  title   = {Cluster categories for algebras of global dimension 2 and quivers with
             potential},
  journal = {Annales de l'Institut Fourier},
  volume  = {59},
  number  = {6},
  pages   = {2525--2590},
  year    = {2009},
  note    = {arXiv:0805.1035},
}

@article{BMRRT2006,
  author  = {Buan, Aslak Bakke and Marsh, Robert and Reineke, Markus and Reiten, Idun
             and Todorov, Gordana},
  title   = {Tilting theory and cluster combinatorics},
  journal = {Advances in Mathematics},
  volume  = {204},
  number  = {2},
  pages   = {572--618},
  year    = {2006},
  doi     = {10.1016/j.aim.2005.06.003},
  note    = {arXiv:math/0402054},
}

@article{BMR2007clustertilted,
  author  = {Buan, Aslak Bakke and Marsh, Robert and Reiten, Idun},
  title   = {Cluster-tilted algebras},
  journal = {Transactions of the American Mathematical Society},
  volume  = {359},
  number  = {1},
  pages   = {323--332},
  year    = {2007},
  note    = {arXiv:math/0402075},
}

@article{KellerReiten2007,
  author  = {Keller, Bernhard and Reiten, Idun},
  title   = {Cluster-tilted algebras are {G}orenstein and stably {C}alabi--{Y}au},
  journal = {Advances in Mathematics},
  volume  = {211},
  number  = {1},
  pages   = {123--151},
  year    = {2007},
  note    = {arXiv:math/0512471},
}

@misc{Ginzburg2006cy,
  author = {Ginzburg, Victor},
  title  = {Calabi--{Y}au algebras},
  year   = {2006},
  note   = {arXiv:math/0612139},
}

@article{KellerYang2011,
  author  = {Keller, Bernhard and Yang, Dong},
  title   = {Derived equivalences from mutations of quivers with potential},
  journal = {Advances in Mathematics},
  volume  = {226},
  number  = {3},
  pages   = {2118--2168},
  year    = {2011},
  note    = {arXiv:0906.0761},
}