Searcharxiv⌕ Search

arXiv subjects

Peter Jorgensen

Publications and source records attributed to Peter Jorgensen.

At least 37 records · Page 2Linked to original sources
arXiv2020

Friezes, weak friezes, and T-paths

Frieze patterns form a nexus between algebra, combinatorics, and geometry. T-paths with respect to triangulations of surfaces have been used to obtain expansion formulae for cluster variables. This paper will introduce the concepts of weak friezes and T-paths with respect to dissections of polygons. Our main result is that weak friezes are characterised by satisfying an expansion formula which we call the T-path formula. We also show that weak friezes can be glued together, and that the resulting weak frieze is a frieze if and only if so was each of the weak friezes being glued.

math.CO↗
arXiv2020

Tropical friezes and the index in higher homological algebra

Cluster categories and cluster algebras encode two dimensional structures. For instance, the Auslander--Reiten quiver of a cluster category can be drawn on a surface, and there is a class of cluster algebras determined by surfaces with marked points. Cluster characters are maps from cluster categories (and more general triangulated categories) to cluster algebras. They have a tropical shadow in the form of so-called tropical friezes, which are maps from cluster categories (and more general triangulated categories) to the integers. This paper will define higher dimensional tropical friezes. One of the motivations is the higher dimensional cluster categories of Oppermann and Thomas, which encode $( d+1 )$-dimensional structures for an integer $d \geqslant 1$. They are $( d+2 )$-angulated categories, which belong to the subject of higher homological algebra. We will define higher dimensional tropical friezes as maps from higher cluster categories (and more general $( d+2 )$-angulated categories) to the integers. Following Palu, we will define a notion of $( d+2 )$-angulated index, establish some of its properties, and use it to construct higher dimensional tropical friezes.

math.RT↗
arXiv2019

Wide subcategories of $d$-cluster tilting subcategories

A subcategory of an abelian category is wide if it is closed under sums, summands, kernels, cokernels, and extensions. Wide subcategories provide a significant interface between representation theory and combinatorics. If $Φ$ is a finite dimensional algebra, then each functorially finite wide subcategory of $\operatorname{mod}( Φ)$ is of the form $ϕ_{ * }\big( \operatorname{mod}( Γ) \big)$ in an essentially unique way, where $Γ$ is a finite dimensional algebra and $Φ\stackrel{ ϕ}{ \longrightarrow } Γ$ is an algebra epimorphism satisfying $\operatorname{Tor}^{ Φ}_1( Γ,Γ) = 0$. Let ${\mathcal F} \subseteq \operatorname{mod}( Φ)$ be a $d$-cluster tilting subcategory as defined by Iyama. Then ${\mathcal F}$ is a $d$-abelian category as defined by Jasso, and we call a subcategory of ${\mathcal F}$ wide if it is closed under sums, summands, $d$-kernels, $d$-cokernels, and $d$-extensions. We generalise the above description of wide subcategories to this setting: Each functorially finite wide subcategory of ${\mathcal F}$ is of the form $ϕ_{ * }( {\mathcal G} )$ in an essentially unique way, where $Φ\stackrel{ ϕ}{ \longrightarrow } Γ$ is an algebra epimorphism satisfying $\operatorname{Tor}^{ Φ}_d( Γ,Γ) = 0$, and ${\mathcal G} \subseteq \operatorname{mod}( Γ)$ is a $d$-cluster tilting subcategory. We illustrate the theory by computing the wide subcategories of some $d$-cluster tilting subcategories ${\mathcal F} \subseteq \operatorname{mod}( Φ)$ over algebras of the form $Φ= kA_m / (\operatorname{rad}\,kA_m )^{ \ell }$.

math.RT↗
arXiv2019

$c$-vectors of 2-Calabi--Yau categories and Borel subalgebras of ${\mathfrak{sl}}_{\infty}$

We develop a general framework for $c$-vectors of 2-Calabi--Yau categories, which deals with cluster tilting subcategories that are not reachable from each other and contain infinitely many indecomposable objects. It does not rely on iterative sequences of mutations. We prove a categorical (infinite-rank) generalization of the Nakanishi--Zelevinsky duality for $c$-vectors and establish two formulae for the effective computation of $c$-vectors -- one in terms of indices and the other in terms of dimension vectors for cluster tilted algebras. In this framework, we construct a correspondence between the $c$-vectors of the cluster categories ${\mathscr{C}}(A_{\infty})$ of type $A_{\infty}$ due to Igusa--Todorov and the roots of the Borel subalgebras of ${\mathfrak{sl}}_{\infty}$. Contrary to the finite dimensional case, the Borel subalgebras of ${\mathfrak{sl}}_{\infty}$ are not conjugate to each other. On the categorical side, the cluster tilting subcategories of ${\mathscr{C}}(A_{\infty})$ exhibit different homological properties. The correspondence builds a bridge between the two classes of objects.

math.RA↗
arXiv2019

Green groupoids of 2-Calabi--Yau categories, derived Picard actions, and hyperplane arrangements

We present a construction of (faithful) group actions via derived equivalences in the general categorical setting of algebraic 2-Calabi--Yau triangulated categories. To each algebraic 2-Calabi--Yau category $\mathscr{C}$ satisfying standard mild assumptions, we associate a groupoid $\mathscr{G}_{ \mathscr{C} }$, named the green groupoid of $\mathscr{C}$, defined in an intrinsic homological way. Its objects are given by a set of representatives $\operatorname{mrig} \mathscr{C}$ of the equivalence classes of basic maximal rigid objects of $\mathscr{C}$, arrows are given by mutation, and relations are given by equating monotone (green) paths in the silting order. In this generality we construct a homomorphsim from the green groupoid $\mathscr{G}_{ \mathscr{C} }$ to the derived Picard groupoid of the collection of endomorphism rings of representatives of $\operatorname{mrig} \mathscr{C}$ in a Frobenius model of $\mathscr{C}$; the latter canonically acts by triangle equivalences between the derived categories of the rings. We prove that the constructed representation of the green groupoid $\mathscr{G}_{ \mathscr{C} }$ is faithful if the index chamber decompositions of the split Grothendieck groups of basic maximal rigid objects of $\mathscr{C}$ come from hyperplane arrangements. If $Σ^2 \cong \operatorname{id}$ and $\mathscr{C}$ has finitely many equivalence classes of basic maximal rigid objects, we prove that $\mathscr{G}_{ \mathscr{C} }$ is isomorphic to a Deligne groupoid of a hyperplane arrangement and that the representation of this groupoid is faithful.

math.RT↗
arXiv2019

Maximal $τ_d$-rigid pairs

Let $\mathscr T$ be a $2$-Calabi--Yau triangulated category, $T$ a cluster tilting object with endomorphism algebra $Γ$. Consider the functor $\mathscr T( T,- ) : \mathscr T \rightarrow \mod Γ$. It induces a bijection from the isomorphism classes of cluster tilting objects to the isomorphism classes of support $τ$-tilting pairs. This is due to Adachi, Iyama, and Reiten. The notion of $( d+2 )$-angulated categories is a higher analogue of triangulated categories. We show a higher analogue of the above result, based on the notion of maximal $τ_d$-rigid pairs.

math.RT↗
arXiv2019

Model categories of quiver representations

Gillespie's Theorem gives a systematic way to construct model category structures on $\mathscr{C}( \mathscr{M} )$, the category of chain complexes over an abelian category $\mathscr{M}$. We can view $\mathscr{C}( \mathscr{M} )$ as the category of representations of the quiver $\cdots \rightarrow 2 \rightarrow 1 \rightarrow 0 \rightarrow -1 \rightarrow -2 \rightarrow \cdots$ with the relations that two consecutive arrows compose to $0$. This is a self-injective quiver with relations, and we generalise Gillespie's Theorem to other such quivers with relations. There is a large family of these, and following Iyama and Minamoto, their representations can be viewed as generalised chain complexes. Our result gives a systematic way to construct model category structures on many categories. This includes the category of $N$-periodic chain complexes, the category of $N$-complexes where $\partial^N = 0$, and the category of representations of the repetitive quiver $\mathbb{Z} A_n$ with mesh relations.

math.RT↗
arXiv2019

Frieze patterns with coefficients

Frieze patterns, as introduced by Coxeter in the 1970's, are closely related to cluster algebras without coefficients. A suitable generalization of frieze patterns, linked to cluster algebras with coefficients, has only briefly appeared in an unpublished manuscript by Propp. In this paper we study these frieze patterns with coefficients systematically and prove various fundamental results, generalizing classic results for frieze patterns. As a consequence we see how frieze patterns with coefficients can be obtained from classic frieze patterns by cutting out subpolygons from the triangulated polygons associated to classic Conway-Coxeter frieze patterns. We address the question of which frieze patterns with coefficients can be obtained in this way and solve this problem completely for triangles. Finally, we prove a finiteness result for frieze patterns with coefficients by showing that for a given boundary sequence there are only finitely many (non-zero) frieze patterns with coefficients with entries in a discrete subset of the complex numbers.

math.CO↗
arXiv2018

$d$-abelian quotients of $(d+2)$-angulated categories

Let ${\mathscr T}$ be a triangulated category. If $T$ is a cluster tilting object and $I = [ \operatorname{add} T ]$ is the ideal of morphisms factoring through an object of $\operatorname{add} T$, then the quotient category ${\mathscr T} / I$ is abelian. This is an important result of cluster theory, due to Keller-Reiten and König-Zhu. More general conditions which imply that ${\mathscr T} / I$ is abelian were determined by Grimeland and the first author. Now let ${\mathscr T}$ be a suitable $( d+2 )$-angulated category for an integer $d \geqslant 1$. If $T$ is a cluster tilting object in the sense of Oppermann-Thomas and $I = [ \operatorname{add} T ]$ is the ideal of morphisms factoring through an object of $\operatorname{add} T$, then we show that ${\mathscr T} / I$ is $d$-abelian. The notions of $( d+2 )$-angulated and $d$-abelian categories are due to Geiss-Keller-Oppermann and Jasso. They are higher homological generalisations of triangulated and abelian categories, which are recovered in the special case $d = 1$. We actually show that if $Γ= \operatorname{End}_{ \mathscr T }T$ is the endomorphism algebra of $T$, then ${\mathscr T} / I$ is equivalent to a $d$-cluster tilting subcategory of $\operatorname{mod} Γ$ in the sense of Iyama; this implies that ${\mathscr T} / I$ is $d$-abelian. Moreover, we show that $Γ$ is a $d$-Gorenstein algebra. More general conditions which imply that ${\mathscr T} / I$ is $d$-abelian will also be determined, generalising the triangulated results of Grimeland and the first author.

math.RT↗
arXiv2018

A $p$-angulated generalisation of Conway and Coxeter's theorem on frieze patterns

Coxeter defined the notion of frieze pattern, and Conway and Coxeter proved that triangulations of polygons are in bijection with integral frieze patterns. We show a $p$-angulated generalisation involving non-integral frieze patterns. We also show that polygon dissections give rise to even more general non-integral frieze patterns.

math.CO↗
arXiv2017

All $SL_2$-tilings come from infinite triangulations

An $SL_2$-tiling is a bi-infinite matrix of positive integers such that each adjacent 2 by 2 submatrix has determinant 1. Such tilings are infinite analogues of Conway-Coxeter friezes, and they have strong links to cluster algebras, combinatorics, mathematical physics, and representation theory. We show that, by means of so-called Conway-Coxeter counting, every $SL_2$-tiling arises from a triangulation of the disc with two, three or four accumulation points. This improves earlier results which only discovered $SL_2$-tilings with infinitely many entries equal to 1. Indeed, our methods show that there are large classes of tilings with only finitely many entries equal to 1, including a class of tilings with no 1's at all. In the latter case, we show that the minimal entry of a tiling is unique.

math.CO↗
arXiv2017

Cotorsion pairs in categories of quiver representations

We study the category $\mathrm{Rep}(Q,\mathcal{M})$ of representations of a quiver $Q$ with values in an abelian category $\mathcal{M}$. Under certain assumptions, we show that every cotorsion pair $(\mathcal{A},\mathcal{B})$ in $\mathcal{M}$ induces two (explicitly described) cotorsion pairs $(Φ(\mathcal{A}),\mathrm{Rep}(Q,\mathcal{B}))$ and $(\mathrm{Rep}(Q,\mathcal{A}),Ψ(\mathcal{B}))$ in $\mathrm{Rep}(Q,\mathcal{M})$. This is akin to a result by Gillespie, which asserts that a cotorsion pair $(\mathcal{A},\mathcal{B})$ in $\mathcal{M}$ induces cotorsion pairs $(\widetilde{\mathcal{A}}, \mathrm{dg}\,\widetilde{\mathcal{B}})$ and $(\mathrm{dg}\,\widetilde{\mathcal{A}}, \widetilde{\mathcal{B}})$ in the category $\mathrm{Ch}(\mathcal{M})$ of chain complexes in $\mathcal{M}$. Special cases of our results recover descriptions of the projective and injective objects in $\mathrm{Rep}(Q,\mathcal{M})$ proved by Enochs, Estrada, and Garcia Rozas.

math.CT↗
arXiv2016

Co-t-structures: The First Decade

Co-t-structures were introduced about ten years ago as a type of mirror image of t-structures. Like t-structures, they permit to divide an object in a triangulated category T into a "left part" and a "right part", but there are crucial differences. For instance, a bounded t-structure gives rise to an abelian subcategory of T, while a bounded co-t-structure gives rise to a so-called silting subcategory. This brief survey will emphasise three philosophical points. First, bounded t-structures are akin to the canonical example of "soft" truncation of complexes in the derived category. Secondly, bounded co-t-structures are akin to the canonical example of "hard" truncation of complexes in the homotopy category. Thirdly, a triangulated category T may be skewed towards t-structures or co-t-structures, in the sense that one type of structure is more useful than the other for studying T. In particular, we think of derived categories as skewed towards t-structures, and of homotopy categories as skewed towards co-t-structures.

math.RT↗
arXiv2015

Torsion classes and t-structures in higher homological algebra

Higher homological algebra was introduced by Iyama. It is also known as $n$-homological algebra where $n \geq 2$ is a fixed integer, and it deals with $n$-cluster tilting subcategories of abelian categories. All short exact sequences in such a subcategory are split, but it has nice exact sequences with $n+2$ objects. This was recently formalised by Jasso in the theory of $n$-abelian categories. There is also a derived version of $n$-homological algebra, formalised by Geiss, Keller, and Oppermann in the theory of $( n+2 )$-angulated categories (the reason for the shift from $n$ to $n+2$ is that angulated categories have triangulated categories as the "base case"). We introduce torsion classes and t-structures into the theory of $n$-abelian and $( n+2 )$-angulated categories, and prove several results to motivate the definitions. Most of the results concern the $n$-abelian and $( n+2 )$-angulated categories ${\mathcal M}( Λ)$ and ${\mathcal C}( Λ)$ associated to an $n$-representation finite algebra $Λ$, as defined by Iyama and Oppermann. We characterise torsion classes in these categories in terms of closure under higher extensions, and give a bijection between torsion classes in ${\mathcal M}( Λ)$ and intermediate t-structures in ${\mathcal C}( Λ)$ which is a category one can reasonably view as the $n$-derived category of ${\mathcal M}( Λ)$. We hint at the link to $n$-homological tilting theory.

math.RT↗
arXiv2015

Triangulated subcategories of extensions, stable t-structures, and triangles of recollements

In a triangulated category T with a pair of triangulated subcategories X and Y, one may consider the subcategory of extensions X*Y. We give conditions for X*Y to be triangulated and use them to provide tools for constructing stable t-structures. In particular, we show how to construct so-called triangles of recollements, that is, triples of stable t-structures of the form (X,Y), (Y,Z), (Z,X). We easily recover some triangles of recollements known from the literature.

math.RT↗
arXiv2015

Generalised friezes and a modified Caldero-Chapoton map depending on a rigid object, II

It is an important aspect of cluster theory that cluster categories are "categorifications" of cluster algebras. This is expressed formally by the (original) Caldero-Chapoton map X which sends certain objects of cluster categories to elements of cluster algebras. Let τc --> b --> c be an Auslander-Reiten triangle. The map X has the salient property that X(τc)X(c) - X(b) = 1. This is part of the definition of a so-called frieze. The construction of X depends on a cluster tilting object. In a previous paper, we introduced a modified Caldero-Chapoton map ρdepending on a rigid object; these are more general than cluster tilting objects. The map ρsends objects of sufficiently nice triangulated categories to integers and has the key property that ρ(τc)ρ(c) - ρ(b) is 0 or 1. This is part of the definition of what we call a generalised frieze. Here we develop the theory further by constructing a modified Caldero-Chapoton map, still depending on a rigid object, which sends objects of sufficiently nice triangulated categories to elements of a commutative ring A. We derive conditions under which the map is a generalised frieze, and show how the conditions can be satisfied if A is a Laurent polynomial ring over the integers. The new map is a proper generalisation of the maps X and ρ.

math.RT↗
arXiv2014

Intermediate co-t-structures, two-term silting objects, tau-tilting modules, and torsion classes

If (A,B) and (A',B') are co-t-structures of a triangulated category, then (A',B') is called intermediate if A \subseteq A' \subseteq ΣA. Our main results show that intermediate co-t-structures are in bijection with two-term silting subcategories, and also with support tau-tilting subcategories under some assumptions. We also show that support tau-tilting subcategories are in bijection with certain finitely generated torsion classes. These generalise results by Adachi, Iyama, and Reiten.

math.RT↗