Non-commutative counting invariants and curve complexes

DOI10.1093/IMRN/RNAA374zbMATH Open1524.14006arXiv1805.00294MaRDI QIDQ6301022FDOQ6301022

G. Dimitrov, Ludmil Katzarkov

Publication date: 1 May 2018

Abstract: In our previous paper, viewing $D^b(K(l))$ as a non-commutative curve, where $K(l)$ is the Kronecker quiver with $l$-arrows, we introduced categorical invariants via counting of non-commutative curves. Roughly, these invariants are sets of subcategories in a given category and their quotients. The non-commutative curve-counting invariants are obtained by restricting the subcategories to be equivalent to $D^b(K(l))$. The general definition defines much larger class of invariants and many of them behave properly with respect to fully faithful functors. Here, after recalling the definition, we focus on examples and extend our studies beyond counting. We enrich our invariants with structures: the inclusion of subcategories makes them partially ordered sets, and considering semi-orthogonal pairs of subcategories as edges amount to directed graphs. In addition to computing the non-commutative curve-counting invariants in $D^b(Q)$ for two affine quivers, for $A_n$ and $D_4$ we derive formulas for counting of the subcategories of type $D^b(A_k)$ in $D^b(A_n)$, whereas for the two affine quivers and for $D_4$ we determine and count all generated by an exceptional collection subcategories. Estimating the numbers counting non-commutative curves in $D^b({mathbbP}^2)$ modulo group action we prove finiteness and that an exact determining of these numbers leads to proving (or disproving) of Markov conjecture. Regarding the mentioned structure of a partially ordered set we initiate intersection theory of non-commutative curves. Via the structure of a directed graph we build an analogue to the classical curve complex used in Teichmueller and Thurston theory. The paper contains many pictures of graphs and presents an approach to Markov Conjecture via counting of subgraphs in a graph associated with $D^b(P^2)$. Some of the results proved here were announced in the previous work.

Mathematics Subject Classification ID

Noncommutative algebraic geometry (14A22) Representations of quivers and partially ordered sets (16G20) Preorders, orders, domains and lattices (viewed as categories) (18B35) Derived categories, triangulated categories (18G80) Derived categories of sheaves, dg categories, and related constructions in algebraic geometry (14F08)

This page was built for publication: Non-commutative counting invariants and curve complexes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6301022)