SearcharxivSearch

arXiv subjects

Martin Kalck

Publications and source records attributed to Martin Kalck.

At least 19 recordsLinked to original sources

Categorical absorptions of cone singularities

We study Kuznetsov-Shinder's categorical absorption for certain cone singularities, generalizing their results for nodal singularities. In particular, we give explicit descriptions of the endomorphism algebras of tilting objects for categorical absorptions of cones over certain Fano varieties admitting a geometric exceptional sequence, in the sense of Bridgeland and Stern. In the simplest ``split case'', these algebras are truncations of certain Calabi-Yau completions in the sense of Keller. The split case occurs for anticanonical projective cones over many Fano varieties (like projective spaces, smooth quadrics, del Pezzo surfaces of degree greater than $4$, smooth del Pezzo threefolds of degree five, and finite products of these varieties). In general, the algebras are deformations of the split case. As a consequence, we obtain triangle equivalances between singularity categories of finite dimensional algebras and singularity categories of certain cone singularities, which also yields vanishing results in negative $\mathsf{K}$-theory. In a joint appendix with Yujiro Kawamata, we give an explicit description of tilting objects for weighted projective spaces $\mathbb{P}(1^d, m)$.

math.AG

Magnitude of module categories

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.

math.RT

Dimension formulas for period spaces via motives and species

We apply the structure theory of finite dimensional algebras in order to deduce dimension formulas for spaces of period numbers, i.e., complex numbers defined by integrals of algebraic nature. We get a complete and conceptually clear answer in the case of $1$-periods, generalising classical results like Baker's theorem on the logarithms of algebraic numbers and partial results in Huber--W{\"u}stholz \cite{huber-wuestholz}. The application to the case of Mixed Tate Motives (i.e., Multiple Zeta Values) recovers the dimension estimates of Deligne--Goncharov \cite{deligne-goncharov}.

math.NT

Length of triangulated categories

We introduce the notion of composition series of triangulated categories, which generalizes full exceptional sequences. The lengths of composition series yield invariants for triangulated categories. We study composition series of derived categories for some classes of projective varieties and finite-dimensional algebras. We prove that certain negative rational curves on rational surfaces cause composition series of different lengths in the derived categories of the surfaces. On the other hand, we show that for derived categories of finite-dimensional hereditary algebras, for nontrivial admissible subcategories of ${\rm D}^{\rm b}(\mathbb{P}^2)$ and for derived categories of some singular varieties, all composition series have the same length.

math.AG

Obstructions to semiorthogonal decompositions for singular projective varieties II: Representation theory

We show that odd-dimensional projective varieties with tilting objects and only ADE-hypersurface singularities are nodal, i.e. they only have $A_1$-singularities. This is a very special case of more general obstructions to the existence of semiorthogonal decompositions for projective Gorenstein varieties. More precisely, for many isolated hypersurface singularities, we show that Kuznetsov-Shinder's categorical absorptions of singularities cannot contain tilting objects. The key idea is to compare singularity categories of projective varieties to singularity categories of finite-dimensional associative Gorenstein algebras. The former often contain special generators, called cluster-tilting objects, which typically have loops and $2$-cycles in their quivers. In contrast, quivers of cluster-tilting objects in the latter categories, can never have loops or $2$-cycles.

math.AG

Cluster categories for completed infinity-gons I: Categorifying triangulations

Paquette and Y{\i}ld{\i}r{\i}m recently introduced triangulated categories of arcs in completed infinity-gons, which are discs with an infinite closed set of marked points on their boundary. These categories have many features in common with the cluster categories associated to discs with different sets of marked points. In particular, they have (weak) cluster-tilting subcategories, which Paquette and Y{\i}ld{\i}r{\i}m show are in bijection with very special triangulations of the disc. This is in contrast to Igusa and Todorov's earlier work in the uncompleted case, in which every triangulation corresponds to a weak cluster-tilting subcategory. In this paper, we replace the triangulated structure of Paquette and Y{\i}ld{\i}r{\i}m's category by an extriangulated substructure and prove that, with this structure, the weak cluster-tilting subcategories are once again in bijection with triangulations. We further show that functorial finiteness of a weak cluster-tilting subcategory is equivalent to a very mild condition on the triangulation, which also appears in \c{C}anak\c{c}{\i} and Felikson's study of infinite rank cluster algebras from Teichm\"uller theory. By comparison with the combinatorics of triangulations, we are also able to characterise when weak cluster-tilting subcategories can be mutated in this new extriangulated category.

math.RT

A finite dimensional algebra with a phantom (a corollary of an example by J. Krah)

We observe that there exists an associative finite dimensional $\mathbb{C}$-algebra $A$ of finite global dimension, such that the bounded derived category $D^b(A)$ of finite dimensional $A$-modules admits an admissible subcategory $\mathcal{P}$ with vanishing Grothendieck group $K_0(\mathcal{P})$. In other words, $\mathcal{P} \subseteq D^b(A)$ is a phantom. Using tilting theory, this follows directly from a very recent example of a phantom for a smooth rational surface due to Krah. By work of Aihara & Iyama, this also leads to new examples of presilting objects that cannot be completed to silting objects.

math.RT

Classifying dg-categories of matrix factorizations

We give a complete classification of differential $\mathbb{Z}$-graded homotopy categories of matrix factorizations of isolated singularities up to quasi-equivalence. This answers a question of Bernhard Keller and Evgeny Shinder. More generally, we show that a quasi-equivalence between the dg singularity category of a Gorenstein isolated singularity $R$ and the dg singularity category of a complete local Noetherian $\mathbb{C}$-algebra $S$ of different Krull dimension can always be realized by Kn\"orrer's periodicity -- in particular, the existence of such an equivalence implies that $R$ and $S$ are hypersurface singularities. This uses and is complemented by a recent categorical version of the Mather--Yau theorem for hypersurfaces of the same Krull dimension due to Hua & Keller, which completes the classification mentioned above.

math.AG

A new equivalence between singularity categories of commutative algebras

We construct a triangle equivalence between the singularity categories of two isolated cyclic quotient singularities of Krull dimensions two and three, respectively. This is the first example of a singular equivalence involving connected commutative algebras of odd and even Krull dimension. In combination with Orlov's localization result, this gives further singular equivalences between certain quasi-projective varieties of dimensions two and three, respectively.

math.AG

Relative singularity categories III: Cluster resolutions

We build foundations of an approach to study canonical forms of $2$-Calabi--Yau triangulated categories with cluster-tilting objects, using dg algebras and relative singularity categories. This is motivated by cluster theory, singularity categories, Wemyss's Homological Minimal Model Program and the relations between these topics.

math.RT

Obstructions to semiorthogonal decompositions for singular threefolds I: K-theory

We investigate necessary conditions for Gorenstein projective varieties to admit semiorthogonal decompositions introduced by Kawamata, with main emphasis on threefolds with isolated compound $A_n$ singularities. We introduce obstructions coming from Algebraic $\mathrm{K}$-theory and translate them into the concept of maximal nonfactoriality. Using these obstructions we show that many classes of nodal threefolds do not admit Kawamata type semiorthogonal decompositions. These include nodal hypersurfaces and double solids, with the exception of a nodal quadric, and del Pezzo threefolds of degrees $1 \le d \le 4$ with maximal class group rank. We also investigate when does a blow up of a smooth threefold in a singular curve admit a Kawamata type semiorthogonal decomposition and we give a complete answer to this question when the curve is nodal and has only rational components.

math.AG

Relative singularity categories II: DG models

We study the relationship between singularity categories and relative singularity categories and discuss constructions of differential graded algebras of relative singularity categories. As consequences, we obtain structural results, which are known or generalise known results, on singularity categories of algebras with radical square zero, of non-commutative deformations of Kleinian singularities, of $SL_3(\mathbb{C})$-quotient singularities and of Gorenstein toric threefolds.

math.AG

Ringel duality for certain strongly quasi-hereditary algebras

We introduce quasi-hereditary endomorphism algebras defined over a new class of finite dimensional monomial algebras with a special ideal structure. The main result is a uniform formula describing the Ringel duals of these quasi-hereditary algebras. As special cases, we obtain a Ringel-duality formula for a family of strongly quasi-hereditary algebras arising from a type A configuration of projective lines in a rational, projective surface as recently introduced by Hille and Ploog, for certain Auslander-Dlab-Ringel algebras, and for Eiriksson and Sauter's nilpotent quiver algebras when the quiver has no sinks and no sources. We also recover Tan's result that the Auslander algebras of self-injective Nakayama algebras are Ringel self-dual.

math.RT

Relative Singularity Categories

We study the following generalization of singularity categories. Let X be a quasi-projective Gorenstein scheme with isolated singularities and A a non-commutative resolution of singularities of X in the sense of Van den Bergh. We introduce the relative singularity category as the Verdier quotient of the bounded derived category of coherent sheaves on A modulo the category of perfect complexes on X. We view it as a measure for the difference between X and A. The main results of this thesis are the following. (i) We prove an analogue of Orlov's localization result in our setup. If X has isolated singularities, then this reduces the study of the relative singularity categories to the affine case. (ii) We prove Hom-finiteness and idempotent completeness of the relative singularity categories in the complete local situation and determine its Grothendieck group. (iii) We give a complete and explicit description of the relative singularity categories when X has only nodal singularities and the resolution is given by a sheaf of Auslander algebras. (iv) We study relations between relative singularity categories and classical singularity categories. For a simple hypersurface singularity and its Auslander resolution, we show that these categories determine each other. (v) The developed technique leads to the following `purely commutative' application: a description of Iyama & Wemyss triangulated category for rational surface singularities in terms of the singularity category of the rational double point resolution. (vi) We give a description of singularity categories of gentle algebras.

math.RT

A remark on Leclerc's Frobenius categories

Leclerc recently studied certain Frobenius categories in connection with cluster algebra structures on coordinate rings of intersections of opposite Schubert cells. We show that these categories admit a description as Gorenstein projective modules over an Iwanaga-Gorenstein ring of virtual dimension at most two. This is based on a Morita type result for Frobenius categories.

math.RT

Noncommutative Kn\"orrer type equivalences via noncommutative resolutions of singularities

We construct Kn\"orrer type equivalences outside of the hypersurface case, namely, between singularity categories of cyclic quotient surface singularities and certain finite dimensional local algebras. This generalises Kn\"orrer's equivalence for singularities of Dynkin type A (between Krull dimensions $2$ and $0$) and yields many new equivalences between singularity categories of finite dimensional algebras. Our construction uses noncommutative resolutions of singularities, relative singularity categories, and an idea of Hille & Ploog yielding strongly quasi-hereditary algebras which we describe explicitly by building on Wemyss's work on reconstruction algebras. Moreover, K-theory gives obstructions to generalisations of our main result.

math.AG

Derived categories of graded gentle one-cycle algebras

Let $A$ be a graded algebra. It is shown that the derived category of dg modules over $A$ (viewed as a dg algebra with trivial differential) is a triangulated hull of a certain orbit category of the derived category of graded $A$-modules. This is applied to study derived categories of graded gentle one-cycle algebras.

math.RT

Derived categories of quasi-hereditary algebras and their derived composition series

We study composition series of derived module categories in the sense of Angeleri H\"ugel, K\"onig & Liu for quasi-hereditary algebras. More precisely, we show that having a composition series with all factors being derived categories of vector spaces does not characterise derived categories of quasi-hereditay algebras. This gives a negative answer to a question of Liu & Yang and the proof also confirms part of a conjecture of Bobi\'nski & Malicki. In another direction, we show that derived categories of quasi-hereditary algebras can have composition series with lots of different lengths and composition factors. In other words, there is no Jordan-H\"older property for composition series of derived categories of quasi-hereditary algebras.

math.RT