English

The category of a partitioned fan

Representation Theory 2025-02-26 v3

Abstract

In this paper, we introduce the notion of an admissible partition of a simplicial polyhedral fan and define the category of a partitioned fan as a generalisation of the τ\tau-cluster morphism category of a finite-dimensional algebra. This establishes a complete lattice of categories around the τ\tau-cluster morphism category, which is closely tied to the fan structure. We prove that the classifying spaces of these categories are cube complexes, which reduces the process of determining if they are K(π,1)K(\pi,1) spaces to three sufficient conditions. We characterise when these conditions are satisfied for fans in R2\mathbb{R}^2 and prove that the first one, the existence of a certain faithful functor, is satisfied for hyperplane arrangements whose normal vectors lie in the positive orthant. As a consequence we obtain a new infinite class of algebras for which the τ\tau-cluster morphism category admits a faithful functor and for which the cube complexes are K(π,1)K(\pi,1) spaces. In the final section we also offer a new algebraic proof of the relationship between an algebra and its gg-vector fan.

Keywords

Cite

@article{arxiv.2311.05444,
  title  = {The category of a partitioned fan},
  author = {Maximilian Kaipel},
  journal= {arXiv preprint arXiv:2311.05444},
  year   = {2025}
}

Comments

31 pages, comments welcome. v2: Sec. 4.4 and Thm. 6.20 added, Prop. 4.14, Thm. 6.21 removed, v3: journal accepted manuscript with major generalisations of the main theorems concerning faithful functors (Thm. 1.4 and Thm. 1.5)