arXiv++ Combinatorics

We study universal derived equivalences between diagram categories indexed by finite posets. Starting from a construction of Ladkani, we give an intrinsic criterion for determining when a finite poset admits a decomposition to which this construction can be applied. This leads to the notion of an admissible cut, formulated entirely in terms of the order structure of the poset. Our main result therefore provides a method for producing, from a given finite poset admitting such a cut, a new poset that is universally derived equivalent to it. The construction is reversible once the partition is retained, so that the original mixed order relations can be recovered from the transformed poset. As applications, we show that every finite poset of height at most one is universally derived equivalent to its opposite, give a criterion characterizing source-to-sink transformations at minimal elements, and recover the universal derived equivalence of all orientations of a finite tree through sequences of such local transformations. These results are also applied to persistence modules indexed by finite posets and to extensions obtained by adjoining further finite parameters.

Originating in ergodic structure theory, nilspace theory is concerned with the study of cubical spaces. A first key result in this theory, the weak structure theorem, is the representation of a concrete fibrant compact cubespace as a tower of its canonical truncations, exhibiting each step over the previous one as a principal bundle by a compact abelian group. We present a categorical proof of the weak structure theorem by systematically interpreting the relevant concepts in an appropriate context.

In this paper, we study certain categories of labeled finite rooted ordered trees over a fixed set of labels where each label is equipped with an arity: a fixed number of children that the vertex with the given label must have. Equivalently, these are expression trees for operations in a free non-symmetric operad. A morphism between these trees matches a pruning of one tree (a prefix) with an entire subtree of another (a suffix). We characterize such categories, up to isomorphism, in terms of suitable exactness properties. It turns out that these categories exhibit strong algebraic behavior, in the sense that every such category, when appended with a strict initial object, has a particularly nice noetherian form.

Let $\mathsf{P}$ be a finite graded poset and $Δ_a^{\mathsf{P}}$ the height-$a$ thickening of its diagonal. We study the \emph{window convolution} $C_a=q_{1\sharp}(k_{Δ_a^{\mathsf{P}}}\otimes^{\mathbf L}q_2^\ast(-))$ on $\mathrm{Shv}(\mathsf{P};k)$. An interleaving distance needs the left derived $\mathbb{L}C_a$ to compose as a flow, $\mathbb{L}C_a\mathbb{L}C_b\simeq\mathbb{L}C_{a+b}$; the total meet functor $Φ$ gives rise to the canonical comparison. Finality is sufficient, and necessary where the finality defect of $Φ$ is essential; where $Φ$ is total at a minimal apex with unit windows, it is the failure of a length-two interval to have a single interior element. The flow fails at every branching length-two interval, and with it on the face poset of every finite regular cell complex of dimension $\ge2$. It survives on tame posets, where $\mathrm{id}\Rightarrow\mathbb{L}C_a$ gives a canonical extended interleaving pseudometric on $\operatorname{D^{b}}(\mathrm{Shv}(\mathsf{P};k))$; in the saturation cases computed here it takes no finite value above the length of $\mathsf{P}$, and is finite if and only if the derived colimits agree.

Polygon equations form a family of equations generalizing the pentagon equation. In this paper, we construct semi-simplicial sets of permitted colorings associated with set-theoretic solutions of polygon equations and use them to define the corresponding (co)homology groups. We investigate several properties of these groups and establish an equivalence of categories between set-theoretic solutions of polygon equations and higher Segal semi-simplicial sets satisfying certain conditions. As a special case, our result recovers the correspondence between bijective set-theoretic solutions of the pentagon equation and $2$-Segal semi-simplicial sets proved by Dyckerhoff--Kapranov.

We develop a theory of proper spaces and proper maps in the context of finite posets.

We introduce the chain replacement of a poset flow: it is obtained by considering the simplicial nerves of the posets of strictly increasing chains in the given poset, ordered by refinement. It maps finite posets to q-cofibrant flows and inclusions of finite posets to q-cofibrations. Using the combinatorial properties of the chain replacement, we prove that pushouts along the chain replacement of an order-reflecting inclusion of finite posets preserve spaces of execution paths. By introducing the Hurewicz model structure on flows (or H-model structure), we deduce the same property for any q-cofibrant replacement of an order-reflecting inclusion of finite posets.

Graphs that change over time arise throughout applications, but there is no single standard way to decompose them into smaller pieces. In this paper, we propose a systematic categorical method for doing so. The main idea is to combine structured decompositions, which generalize graph decompositions, such as tree-decompositions, with persistent narratives, which model time-varying data as diagrams. We prove that, under suitable categorical hypotheses, any static theory of decompositions can be lifted to a corresponding temporal theory. As case studies, we apply this construction to time-varying graphs and recover natural temporal analogues of ordinary tree-width, complemented tree-width, and the tree-independence number.

We introduce a categorical analogue of weak hypercube representations of finite posets by means of faithful embeddings into categories of subwords of finite words. For finite acyclic categories, we characterize those admitting such a weak subword representation: they are precisely the monic categories whose hom-sets carry a left-compatible local total order. The proof is constructive and gives an explicit word representation. We also introduce a query game for categories, generalizing a Boolean query game for posets, and show how winning sets produce explicit word representations and hence upper bounds for the weak word dimension.

We define an invariant of the module category of a representation-finite algebra by the magnitude of its Auslander algebra. This invariant will be called the magnitude of the module category. For bound path algebras, it can be computed as the Euler characteristic of the Auslander--Reiten quiver, in a suitable sense. To aid the computation of our invariant, we define the Auslander--Reiten--Euler characteristic of a translation quiver. We build on classical results in Auslander--Reiten theory to determine the magnitude of module categories of biserial algebras, hereditary path algebras, radical square zero bound path algebras, and self-injective bound path algebras. In these cases, we express our invariant in terms of other known quantities, notably the rank of the Grothendieck group and Coxeter numbers of Dynkin quivers. Based on our calculations and results, we obtain a conjectural characterisation of representation-finite biserial algebras in terms of the magnitude of the module category and the rank of the Grothendieck group.

We construct an acyclic augmented chain complex of abelian groups whose entry in degree $n > 0$ is free on the set of noncrossing partitions of degree $n-1$ equipped with a $\{0, 1\}$-labelling of their gaps. The definition of the differential in this complex is related, via a restricted Leibniz rule, to the gap-insertion operad of Ebrahimi-Fard, Foissy, Kock, and Patras. We conjecture that this augmented chain complex is the linearisation of a polygraph presenting a self-dual model of the coherent walking $ω$-equivalence constructed by the author, Loubaton, Ozornova, and Rovelli, and provide evidence for this conjecture.

This ArXiv preprint of my doctoral dissertation, which, at this stage, has not yet been accepted by the doctoral thesis committee, is intended both to lay the groundwork for a series of papers, and to confirm the existence of a first proposed solution to the "Dual Amplituhedron" problem posed in 2014 by Princeton physicists N. Arkani-Hamed and J. Trnka, a mathematical object which encapsulate the calculation of scattering amplitudes in high-energy particle colliders. The first part of this thesis deals with a rewriting of the positive real Grassmannian and performing the singular gluing of its positroid varieties in a new way via Spectral Algebraic Geometry of J. Lurie on "structured" spaces and a categorification of his "Tannaka Duality for Quasi-coherent Stacks", finding in this formal moduli problem, a compact yet holistic formulation via perverse intersection complexes of P. Deligne. This algebraico-geometric perspective paired with a synthetic differential-geometric perspective, namely the Differential Cohesion of B. Lawvere and U. Schreiber, subsumes infinitesimal thickenings, crystalline cohomology of De Rham stacks, the "Modalities of Structured Geometries" and the unification of their cohomologies of the underlying concrete topological etale algebraic space. The second part uses this rewriting of positive Schubert geometry and "The Cohomology of Brauer-Grothendieck Spaces" of B. Toën and B. Antieau, to show that, instead of the Grassmannian spectral Deligne-Mumford stack which is autodual in the infinity-category of prestable infinity-categories of modules on E\infty-ring spectra, the Amplituhedron, categorified in a functor between infinity topoï, possesses a concrete non-trivial dual, and has a De Rham volume, facts of interest for the expected Duality between the Standard Model of particles and String Theory. This new construction yields the Dual Amplituhedron.

We prove that a finite, connected, singly connected, locally convex higher-rank tree whose $1$-skeleton is planar and which is \emph{non-degenerate}, in the sense that every edge of each colour forms a commuting square with every other colour, has rank at most four. Under these hypotheses this establishes the planarity conjecture stated in \cite{Pask}. The obstruction side of the argument uses only the non-planarity of $K_5$; it makes no appeal to the four-colour theorem. The engine is a monotonicity property of the set of colours emitted at a vertex (``backward propagation''), which forces, in any finite singly connected non-degenerate $k$-graph, a single vertex emitting all $k$ colours; once $k\ge 5$, local convexity manufactures a subdivision of $K_5$ at such a vertex.

For any acyclic quiver $Q$ without multiple edges, we construct a monoidal category $\mathcal{R}_Q$ whose indecomposable objects are tensor products (over the base field) of finite-dimensional modules over the path algebra of $Q$. We show the existence and uniqueness up to homotopy of certain distinguished chain complexes satisfying good homological properties (higher almost split complexes) preserved under tensoring by objects in $\mathcal{R}_Q$. As a crucial ingredient for this construction, we establish the existence of a family of complete exceptional sequences in $\mathrm{mod}\,\mathbf{k}Q$ satisfying many good properties, which we believe might be of independent interest. We then prove that when $Q$ admits a height function, the Euler characteristics of (the images under certain additive functor of) these complexes coincide with the truncated $q$-characters of the standard modules in Hernandez-Leclerc's category $\mathcal{C}^{(1)}$. Applying our results to the case where the underlying graph of $Q$ is a Dynkin diagram of type $A_n, n \geq 1$, we also interpret the cluster characters of all cluster variables in the finite type cluster algebra $\mathcal{A}_Q$ as Euler characteristics of certain chain complexes in $\mathcal{R}_Q$.

We consider three categories arising from the higher Auslander algebras of type $A$ in relation to $d$-dimensional cluster combinatorics: $d$-exact subcategory of the module category of $A^d_{n+1}$ generated by the $d$-cluster-tilting object, the $(d+2)$-angulated cluster category, and the $d$-almost positive subcategory of the derived category (the higher analogue of the category of two-term complexes of projectives). We show that the third one, introduced by the second-named author, is the $d$-exangulated quotient of the other two, introduced by Oppermann and Thomas, by the ideals generated by morphisms factoring through morphisms from injective to projective objects, thus providing an algebraic connection between the two models of Oppermann-Thomas. This is a $d$-exangulated version in type $A$ of a result of Brüstle and Yang and its interpretation by the first-named author together with Fang, Palu, Plamondon and Pressland. It also explains a well-known coincidence between the number of 2-term silting complexes in type $A_{n}$ and of tilting modules in type $A_{n+1}$ from the $0$-Auslander perspective. We expect this to serve as a prototypical example of the $0$-Auslander correspondence in higher homological algebra.

We study generalized splines from the perspective of the representation theory of the category of graphs with contractions. Our main theorem proves a kind of finite generation, which in turn implies the existence of a ``universal generating set'' for the module of splines over any graph with fixed combinatorial genus. This theorem holds over any Noetherian commutative ring with a chosen finite list of ideals for edge-labels. We then give several applications of this theorem, including showing that a particular generating function associated to splines on trees is algebraic when the base ring satisfies certain finiteness conditions. We illustrate our technical theorems explicitly by giving a classification of splines on graphs with combinatorial genus one and two.

We develop a homotopical framework for small categories that extends classical invarints of algebraic topology to the categorical setting. Our approach is based on the construction of genuine path category, obtained trough a localization procedure, which allows us to define strong and weak fibrations for functor. We establish their basic properties, introduce a fibrant replacement for functors, and extend homotopical invariants such as the Svarc genus and sectional category to small categories. Finally, we apply this framework to motion planning in small categories, providing categorical analogues of Farber's topological complexity while removing finiteness constraints typical of existing approaches.

We develop a homotopy theory of directed graphs based on cubical homotopy groups, also referred to as A-groups or reduced GLMY homotopy groups. Localizing the category of directed graphs at morphisms that induce isomorphisms on these groups yields an $\infty$-category, which we denote by ${\sf DGra}_\infty$. Our main result shows that ${\sf DGra}_\infty$ is equivalent to the $\infty$-category of spaces.

Coherence in a monoidal category asserts that all morphisms built from structural isomorphisms with a fixed source and target coincide. These structural isomorphisms include, in particular, the associators. Linearly distributive categories carry two tensor products, with structural morphisms given by associators and distributors relating the two tensor products. In several examples, including Grothendieck--Verdier categories, also known as $\ast$-autonomous categories, these distributors need not be invertible. We give a self-contained proof that linearly distributive categories without units are coherent, while units may obstruct coherence. With the same techniques, we also establish an analogous coherence result for Frobenius linearly distributive functors without units. These results admit a reformulation in terms of directed paths in associahedra and multiplihedra.

The generalized composition graph is used by Cardoso and some researchers for factorization of the adjacency spectrum and Laplacian of a simple graph. Because the generalized composition graph is an example of a set-theoretic linear operad, this operation can be iterated at more than one level, where the complex language of partition refinement in the iteration is represented in terms of Schr"oder trees. This allows us to generalize the factorization of the adjacency spectrum and Laplacian of a simple graph presented by Cardoso in terms of Schr"oder trees and colorings over the edges of a graph. Cardoso's technique has been generalized by other authors for the universal adjacency matrix of a graph. This work also presents generalized factorizations in terms of Schr"oder trees and colorings on the edges of a graph for the universal adjacency spectrum, the characteristic polynomial of the universal adjacency matrix, and the generalized characteristic polynomial of a graph.