Searcharxiv⌕ Search

arXiv subjects

Ludmil Katzarkov

Publications and source records attributed to Ludmil Katzarkov.

At least 73 records · Page 4Linked to original sources
arXiv2014

Variation of geometric invariant theory quotients and derived categories

We study the relationship between derived categories of factorizations on gauged Landau-Ginzburg models related by variations of the linearization in Geometric Invariant Theory. Under assumptions on the variation, we show the derived categories are comparable by semi-orthogonal decompositions and describe the complementary components. We also verify a question posed by Kawamata: we show that $D$-equivalence and $K$-equivalence coincide for such variations. The results are applied to obtain a simple inductive description of derived categories of coherent sheaves on projective toric Deligne-Mumford stacks. This recovers Kawamata's theorem that all projective toric Deligne-Mumford stacks have full exceptional collections. Using similar methods, we prove that the Hassett moduli spaces of stable symmetrically-weighted rational curves also possess full exceptional collections. As a final application, we show how our results recover Orlov's $σ$-model/Landau-Ginzburg model correspondence.

math.AG↗
arXiv2014

Orlov spectra as a filtered cohomology theory

This paper presents a new approach to the dimension theory and Orlov spectra of triangulated categories by considering natural filtrations that arise in the pretriangulated setting.

math.KT↗
arXiv2014

Resolutions in factorization categories

Generalizing Eisenbud's matrix factorizations, we define factorization categories. Following work of Positselski, we define their associated derived categories. We construct specific resolutions of factorizations built from a choice of resolutions of their components. We use these resolutions to lift fully-faithfulness statements from derived categories of Abelian categories to derived categories of factorizations and to construct a spectral sequence computing the morphism spaces in the derived categories of factorizations from Ext-groups of their components in the underlying Abelian category.

math.CT↗
arXiv2014

A category of kernels for equivariant factorizations, II: further implications

We leverage the results of the prequel in combination with a theorem of D. Orlov to yield some results in Hodge theory of derived categories of factorizations and derived categories of coherent sheaves on varieties. In particular, we provide a conjectural geometric framework to further understand M. Kontsevich's Homological Mirror Symmetry conjecture. We obtain new cases of a conjecture of Orlov concerning the Rouquier dimension of the bounded derived category of coherent sheaves on a smooth variety. Further, we introduce actions of $A$-graded commutative rings on triangulated categories and their associated Noether-Lefschetz spectra as a new invariant of triangulated categories. They are intended to encode information about algebraic classes in the cohomology of an algebraic variety. We provide some examples to motivate the connection.

math.AG↗
arXiv2014

Compactifications of spaces of Landau-Ginzburg models

This paper reviews results and techniques from the authors' previous work "Symplectomorphism group relations and degenerations of Landau-Ginzburg models" and applies them in basic examples. The main example is the $A_n$ category where we observe a relationship to stability conditions and directed quiver representations. We conclude with a brief survey of applications to the birational geometry of del Pezzo surfaces.

math.AG↗
arXiv2013

Harmonic Maps to Buildings and Singular Perturbation Theory

The notion of a universal building associated with a point in the Hitchin base is introduced. This is a building equipped with a harmonic map from a Riemann surface that is initial among harmonic maps which induce the given cameral cover of the Riemann surface. In the rank one case, the universal building is the leaf space of the quadratic differential defining the point in the Hitchin base. The main conjectures of this paper are: (1) the universal building always exists; (2) the harmonic map to the universal building controls the asymptotics of the Riemann-Hilbert correspondence and the non-abelian Hodge correspondence; (3) the singularities of the universal building give rise to Spectral Networks; and (4) the universal building encodes the data of a 3d Calabi-Yau category whose space of stability conditions has a connected component that contains the Hitchin base. The main theorem establishes the existence of the universal building, conjecture (3), as well as the Riemann-Hilbert part of conjecture (2), in the case of the rank two example introduced in the seminal work of Berk-Nevins-Roberts on higher order Stokes phenomena. It is also shown that the asymptotics of the Riemann-Hilbert correspondence is always controlled by a harmonic map to a certain building, which is constructed as the asymptotic cone of a symmetric space.

math.AG↗
arXiv2013

Non-semistable exceptional objects in hereditary categories

For a given stability condition $σ$ on a triangulated category we define a $σ$-exceptional collection as an Ext-exceptional collection, whose elements are $σ$-semistable with phases contained in an open interval of length one. If there exists a full $σ$-exceptional collection, then $σ$ is generated by this collection in a procedure described by E. Macrì. Constructing $σ$-exceptional collections of length at least three in $D^b(\mathcal A)$ from a non-semistable exceptional object, where $\mathcal A$ is a hereditary hom-finite abelian category, we introduce certain conditions on the Ext-nontrivial couples (couples of exceptional objects $X,Y\in \mathcal A$ with ${\rm Ext}^1(X,Y)\neq 0$ and ${\rm Ext}^1(Y,X)\neq 0$). After a detailed study of the exceptional objects of two tame quivers $Q_1$ and $Q_2$ with three and four vertices, respectively, we observe that the needed conditions do hold in $Rep_k(Q_1)$, $Rep_k(Q_2)$, where $k$ is an algebraically closed field. Combining these findings, we prove that for each $σ\in {\rm Stab}(D^b(Q_1))$ there exists a full $σ$-exceptional collection. It follows that ${\rm Stab}(D^b(Q_1))$ is connected.

math.CT↗
arXiv2013

Non-commutative Toric Varieties

In this note we introduce a new family of non-commutative spaces that we call non-commutative toric varieties and we describe some of their main properties. The main technical tool in this investigation is a natural extension of LVM-theory for the irrational case. In order to introduce the moduli space of (non-commutative) toric varieties we use variations on the notion of diffeology as models for non-commutative spaces.

math.SG↗
arXiv2013

Minifolds and Phantoms

A minifold is a smooth projective $n$-dimensional variety such that its bounded derived category of coherent sheaves $\D^b(X)$ admits a semi-orthogonal decomposition into an exceptional collection of $n+1$ exceptional objects. In this paper we classify minifolds of dimension $n \leq 4$. We conjecture that the derived category of fake projective spaces have a similar semi-orthogonal decomposition into a collection of $n+1$ exceptional objects and a category with vanishing Hochschild homology. We prove this for fake projective planes with non-abelian automorphism group. We construct new examples of phantom categories with both Hochschild homology and Grothendieck group vanishing.

math.AG↗
arXiv2013

Orlov spectra: bounds and gaps

The Orlov spectrum is a new invariant of a triangulated category. It was introduced by D. Orlov building on work of A. Bondal-M. van den Bergh and R. Rouquier. The supremum of the Orlov spectrum of a triangulated category is called the ultimate dimension. In this work, we study Orlov spectra of triangulated categories arising in mirror symmetry. We introduce the notion of gaps and outline their geometric significance. We provide the first large class of examples where the ultimate dimension is finite: categories of singularities associated to isolated hypersurface singularities. Similarly, given any nonzero object in the bounded derived category of coherent sheaves on a smooth Calabi-Yau hypersurface, we produce a new generator by closing the object under a certain monodromy action and uniformly bound this new generator's generation time. In addition, we provide new upper bounds on the generation times of exceptional collections and connect generation time to braid group actions to provide a lower bound on the ultimate dimension of the derived Fukaya category of a symplectic surface of genus greater than one.

math.AG↗
arXiv2013

Dynamical systems and categories

We study questions motivated by results in the classical theory of dynamical systems in the context of triangulated and A-infinity categories. First, entropy is defined for exact endofunctors and computed in a variety of examples. In particular, the classical entropy of a pseudo-Anosov map is recovered from the induced functor on the Fukaya category. Second, the density of the set of phases of a Bridgeland stability condition is studied and a complete answer is given in the case of bounded derived categories of quivers. Certain exceptional pairs in triangulated categories, which we call Kronecker pairs, are used to construct stability conditions with density of phases. Some open questions and further directions are outlined as well.

math.CT↗
arXiv2013

The Mori Program and Non-Fano Toric Homological Mirror Symmetry

In the case of toric varieties, we continue the pursuit of Kontsevich's fundamental insight, Homological Mirror Symmetry, by unifying it with the Mori program. We give a refined conjectural version of Homological Mirror Symmetry relating semi-orthogonal decompositions of the $B$-model on toric varieties to semi-orthogonal decompositions on the $A$-model on the mirror Landau-Ginzburg models. As evidence, we prove a new case of Homological Mirror Symmetry for a toric surface whose anticanonical bundle is not nef, namely a certain blow-up of $¶^2$ at three infinitesimally near points.

math.AG↗
arXiv2012

On the Griffiths Groups of Fano Manifolds of Calabi-Yau Hodge Type

A deep result of Voisin asserts that the Griffiths group of a general non-rigid Calabi-Yau (CY) 3-fold is infinitely generated. This theorem builds on an earlier method of hers which was implemented by Albano and Collino to prove the same result for a general cubic sevenfold. In fact, Voisin's method can be utilized precisely because the variation of Hodge structure on a cubic 7-fold behaves just like the variation of Hodge structure of a Calabi-Yau 3-fold. We explain this relationship concretely using Kontsevitch's noncommutative geometry. Namely, we show that for a cubic 7-fold, there is a noncommutative CY 3-fold which has an isomorphic Griffiths group. Similarly, one can consider other examples of Fano manifolds with with the same type of variation of Hodge structure as a Calabi-Yau threefold (FCYs). Among the complete intersections in weighted projective spaces, there are only three classes of smooth FCY manifolds; the cubic 7-fold, the fivefold quartic double solid, and the fivefold intersection of a quadric and a cubic. We settle the two remaining cases, following Voisin's method to demonstrate that the Griffiths group for a smooth general complete intersection FCY manifolds, is also infinitely generated. In the case of the fivefold quartic double solid, we also show that there is a noncommutative CY 3-fold with an isomorphic Griffiths group. Finally, for the fivefold intersection of a quadric and a cubic there is a noncommutative CY 3-fold, such that the Griffiths group of the intersection surjects on to the Griffiths group of noncommutative 3-fold. We finish by discussing some examples of noncommutative covers which relate our noncommutative CYs back to honest algebraic varieties such as products of elliptic curves and K3-surfaces.

math.AG↗
arXiv2012

Determinantal Barlow surfaces and phantom categories

We prove that the bounded derived category of the surface S constructed by Barlow admits a length 11 exceptional sequence consisting of (explicit) line bundles. Moreover, we show that in a small neighbourhood of S in the moduli space of determinantal Barlow surfaces, the generic surface has a semiorthogonal decomposition of its derived category into a length 11 exceptional sequence of line bundles and a category with trivial Grothendieck group and Hochschild homology, called a phantom category. This is done using a deformation argument and the fact that the derived endomorphism algebra of the sequence is constant. Applying Kuznetsov's results on heights of exceptional sequences, we also show that the sequence on S itself is not full and its (left or right) orthogonal complement is also a phantom category.

math.AG↗
arXiv2011

Super Landau-Ginzburg mirrors and algebraic cycles

We investigate the super Landau-Ginzburg mirrors of gauged linear sigma models which, in an appropriate low energy limit, reduce to nonlinear sigma models with Kaehler supermanifold target spaces of nonnegative super-first Chern class.

hep-th↗
arXiv2006

A degree doubling formula for braid monodromies and Lefschetz pencils

Every compact symplectic 4-manifold can be realized as a branched cover of the complex projective plane branched along a symplectic curve with cusp and node singularities; the covering map is induced by a triple of sections of a "very ample" line bundle. In this paper, we give an explicit formula describing the behavior of the braid monodromy invariants of the branch curve upon degree doubling of the linear system (from a very ample bundle $L^k$ to $L^{2k}$). As a consequence, we derive a similar degree doubling formula for the mapping class group monodromy of Donaldson's symplectic Lefschetz pencils.

math.SG↗
arXiv2005

Mirror symmetry for Del Pezzo surfaces: Vanishing cycles and coherent sheaves

We study homological mirror symmetry for Del Pezzo surfaces and their mirror Landau-Ginzburg models. In particular, we show that the derived category of coherent sheaves on a Del Pezzo surface X_k obtained by blowing up CP^2 at k points is equivalent to the derived category of vanishing cycles of a certain elliptic fibration W_k:M_k\to\C with k+3 singular fibers, equipped with a suitable symplectic form. Moreover, we also show that this mirror correspondence between derived categories can be extended to noncommutative deformations of X_k, and give an explicit correspondence between the deformation parameters for X_k and the cohomology class [B+iω]\in H^2(M_k,C).

math.AG↗