SearcharxivSearch

arXiv subjects

Karin M. Jacobsen

Publications and source records attributed to Karin M. Jacobsen.

9 recordsLinked to original sources

Higher torsion classes, $τ_d$-tilting theory and silting complexes

Initiated in work by Adachi, Iyama and Reiten, the area known as $τ$-tilting theory plays a fundamental role in contemporary representation theory. In this paper we explore a higher-dimensional analogue of this theory, formulated with respect to the higher Auslander-Reiten translation $τ_d$. In particular, we associate to any functorially finite $d$-torsion class a maximal $τ_d$-rigid pair and a $(d+1)$-term silting complex. In the case $d=1$, the notions of maximal $τ_d$-rigid and support $τ$-tilting pairs coincide, and our theory recovers the classical bijections. However, the proof strategies for $d>1$ differ significantly. As an intermediate step, we prove that a $d$-cluster tilting subcategory of a module category induces a $d$-cluster tilting subcategory of the category of $(d+1)$-term complexes, producing novel examples of $d$-exact categories. We introduce the notion of a $d$-torsion class in the exact setup, and use this to obtain the aforementioned $(d+1)$-term silting complex. We moreover apply our theory to study $d$-APR tilting modules and slices. To illustrate our results, we provide explicit combinatorial descriptions of maximal $τ_d$-rigid pairs and $(d+1)$-term silting complexes for higher Auslander and higher Nakayama algebras.

math.RT

Higher homological algebra for one-point extensions of bipartite hereditary algebras and spectral graph theory

In this article we study higher homological properties of $n$-levelled algebras and connect them to properties of the underlying graphs. Notably, to each $2$-representation-finite quadratic monomial algebra $Λ$ we associate a bipartite graph $\overline{B_Λ}$ and we classify all such algebras $Λ$ for which $\overline{B_Λ}$ is regular or edge-transitive. We also show that if $\overline{B_Λ}$ is semi-regular, then it is a reflexive graph.

math.RT

A characterisation of higher torsion classes

Let $\mathcal{A}$ be an abelian length category containing a $d$-cluster tilting subcategory $\mathcal{M}$. We prove that a subcategory of $\mathcal{M}$ is a $d$-torsion class if and only if it is closed under $d$-extensions and $d$-quotients. This generalises an important result for classical torsion classes. As an application, we prove that the $d$-torsion classes in $\mathcal{M}$ form a complete lattice. Moreover, we use the characterisation to classify the $d$-torsion classes associated to higher Auslander algebras of type $\mathbb{A}$, and give an algorithm to compute them explicitly. The classification is furthermore extended to the setup of higher Nakayama algebras.

math.RT

A geometric model for semilinear locally gentle algebras

We consider certain generalizations of gentle algebras that we call semilinear locally gentle algebras. These rings are examples of semilinear clannish algebras as introduced by the second author and Crawley-Boevey. We generalise the notion of a nodal algebra from work of Burban and Drozd and prove that semilinear gentle algebras are nodal by adapting a theorem of Zembyk. We also provide a geometric realization of Zembyk's proof, which involves cutting the surface into simpler pieces in order to endow our locally gentle algebra with a semilinear structure. We then consider this surface glued back together, with the seams in place, and use it to give a geometric model for the finite-dimensional modules over the semilinear locally gentle algebra.

math.RT

Admissible ideals for k-linear categories

We generalize the notion of an admissible ideal from path algebras to (small) k-linear categories that satisfy the Krull--Remak--Schmidt--Azumaya assumption. In our treatment we first prove some general results that are analogous to general results for path algebras and admissible ideals. We then cover generalizations of relations generated by paths of length two, which we call point relations, and more general length relations. We conclude the paper with several examples and an appendix containing further discussion on length relations.

math.RT

The role of gentle algebras in higher homological algebra

We investigate the role of gentle algebras in higher homological algebra. In the first part of the paper, we show that if the module category of a gentle algebra $Λ$ contains a $d$-cluster tilting subcategory for some $d \geq 2$, then $Λ$ is a radical square zero Nakayama algebra. This gives a complete classification of weakly $d$-representation finite gentle algebras. In the second part, we use a geometric model of the derived category to prove a similar result in the triangulated setup. More precisely, we show that if $\mathcal{D}^b(Λ)$ contains a $d$-cluster tilting subcategory that is closed under $[d]$, then $Λ$ is derived equivalent to an algebra of Dynkin type $A$. Furthermore, our approach gives a geometric characterization of all $d$-cluster tilting subcategories of $\mathcal{D}^b(Λ)$ that are closed under $[d]$.

math.RT

Infinite friezes and triangulations of annuli

It is known that any infinite frieze comes from a triangulation of an annulus by Baur, Parsons and Tschabold. In this paper we show that each periodic infinite frieze determines a triangulation of an annulus in essentially a unique way. Since each triangulation of an annulus determines a pair of friezes, we study such pairs and show how they determine each other. We study associated module categories and determine the growth coefficient of the pair of friezes in terms of modules as well as their quiddity sequences.

math.CO

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

$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