Showing 1–50 of 83 results for author: Katzarkov, L

A Gromov-Witten approach to $G$-equivariant birational invariants

Authors: Leonardo F. Cavenaghi, Lino Grama, Ludmil Katzarkov

Abstract: In arXiv:2404.19088, we initiated a program linking birational invariants with smooth ones and offering new interpretations of classical invariants, such as the Kervaire-Milnor invariants. Here, we rely on the profound geometric reasoning provided by Lupercio and Uribe in the early 00s to establish a connection between Chen-Ruan cohomology and several $G$-birational invariants introduced in the pi… ▽ More In arXiv:2404.19088, we initiated a program linking birational invariants with smooth ones and offering new interpretations of classical invariants, such as the Kervaire-Milnor invariants. Here, we rely on the profound geometric reasoning provided by Lupercio and Uribe in the early 00s to establish a connection between Chen-Ruan cohomology and several $G$-birational invariants introduced in the pioneering works Kontsevich, Kresch, Pestun, Tschinkel, along with presenting applications. Combined with the theory of atoms by Katzarkov, Kontsevich, Pantev, and Yu, the proposal in this paper program will lead to a theory of equivariant atoms. △ Less

Submitted 23 June, 2024; v1 submitted 12 May, 2024; originally announced May 2024.

Comments: a) Clarified what kind of group actions we are considering. b) Recalled birationality for Deligne-Mumford (DM) stacks and explained how they still contain information on finite group actions. c) Explained the role of gerbes in twisting Chen-Ruan cohomology and presented details on how they can be useful in obstructing birational types of certain DM stacks. 32 pages. 1 Appendix

New look at Milnor Spheres

Authors: Leonardo Cavenaghi, Lino Grama, Ludmil Katzarkov

Abstract: S. Donaldson disproved the smooth $\mathrm{h}$-cobordism conjecture in dimension $4$ by studying invariants coming from the moduli space of connections on $\mathrm{SO}(3)$-bundles over smooth $4$-dimension manifolds $X$. In this paper, we reverse his point of view in dimension $8$. Namely, we consider fibrations coming from diffeomorphisms classes of homotopy Hopf manifolds… ▽ More S. Donaldson disproved the smooth $\mathrm{h}$-cobordism conjecture in dimension $4$ by studying invariants coming from the moduli space of connections on $\mathrm{SO}(3)$-bundles over smooth $4$-dimension manifolds $X$. In this paper, we reverse his point of view in dimension $8$. Namely, we consider fibrations coming from diffeomorphisms classes of homotopy Hopf manifolds $Σ^7\times\mathrm{S}^1$, i.e., $Σ^7$ is a homotopy sphere, seeing the bases as moduli spaces for additional structures. Our overarching objective is to establish a correspondence between the smooth invariants of Kervaire--Milnor and categorical invariants. One interprets pairwise non-diffeomorphic smooth structures on $Σ^7\times\mathrm{S}^1$ in terms of non-rationality. This paper's contributions are diverse, each carrying its significance. We believe profound connections exist between the themes addressed, which connect hypersurface singularity theory, Homological Mirror Symmetry, Topological Modular forms ($\mathrm{tmf}$), and Spherical T-duality. △ Less

Submitted 29 April, 2024; originally announced April 2024.

Comments: 71 pages, 2 appendixes. Comments are welcome

Shifted symplectic structures on derived Quot-stacks II -- Derived Quot-schemes as dg manifolds

Authors: Dennis Borisov, Ludmil Katzarkov, Artan Sheshmani

Abstract: It is proved that derived Quot-schemes, as defined by Ciocan-Fontanine and Kapranov, are represented by dg manifolds of finite type. This is the second part if a work aimed to analyze shifted symplectic structures on moduli spaces of coherent sheaves on Calabi--Yau manifolds. The first part related dg manifolds to derived schemes as defined by Toën and Vezzosi. It is proved that derived Quot-schemes, as defined by Ciocan-Fontanine and Kapranov, are represented by dg manifolds of finite type. This is the second part if a work aimed to analyze shifted symplectic structures on moduli spaces of coherent sheaves on Calabi--Yau manifolds. The first part related dg manifolds to derived schemes as defined by Toën and Vezzosi. △ Less

Submitted 5 December, 2023; originally announced December 2023.

MSC Class: 14A20; 14N35; 14J35; 14F05; 55N22; 53D30

Exceptional collections and phantoms of special Dolgachev surfaces

Authors: Ilya Karzhemanov, Ludmil Katzarkov

Abstract: We provide an explicit description of exceptional collection of maximal length in the derived category $D^b(Y)$ for a particular class of elliptic surfaces $Y$. The existence of non\,-\,trivial semiorthogonal complement (a "\,phantom\,") of this collection is also established. We provide an explicit description of exceptional collection of maximal length in the derived category $D^b(Y)$ for a particular class of elliptic surfaces $Y$. The existence of non\,-\,trivial semiorthogonal complement (a "\,phantom\,") of this collection is also established. △ Less

Submitted 20 October, 2023; originally announced October 2023.

Comments: 29 pages, 3 figures, 1 table

Modularity of Landau-Ginzburg models

Authors: Charles Doran, Andrew Harder, Ludmil Katzarkov, Mikhail Ovcharenko, Victor Przyjalkowski

Abstract: For each Fano threefold, we construct a family of Landau-Ginzburg models which satisfy many expectations coming from different aspects of mirror symmetry; they are log Calabi-Yau varieties with proper potential maps; they admit open algebraic torus charts on which the potential function $w$ restricts to a Laurent polynomial satisfying a deformation of the Minkowski ansatz; the general fibres of… ▽ More For each Fano threefold, we construct a family of Landau-Ginzburg models which satisfy many expectations coming from different aspects of mirror symmetry; they are log Calabi-Yau varieties with proper potential maps; they admit open algebraic torus charts on which the potential function $w$ restricts to a Laurent polynomial satisfying a deformation of the Minkowski ansatz; the general fibres of $w$ are Dolgachev-Nikulin dual to the anticanonical hypersurfaces in $X$. To do this, we study the deformation theory of Landau-Ginzburg models in arbitrary dimension, following the third-named author, Kontsevich, and Pantev, specializing to the case of Landau-Ginzburg models obtained from Laurent polynomials. Our proof of Dolgachev-Nikulin mirror symmetry is by detailed case-by-case analysis, refining work of Cheltsov and the fifth-named author. △ Less

Submitted 28 July, 2023; originally announced July 2023.

Comments: 252 pages, 12 figures

MSC Class: 14J45; 14J32

Reductive Shafarevich Conjecture

Authors: Ya Deng, Katsutoshi Yamanoi, Ludmil Katzarkov

Abstract: In this paper, we prove the holomorphic convexity of the covering of a complex projective {normal} variety $X$, which corresponds to the intersection of kernels of reductive representations $ρ:π_1(X)\to {\rm GL}_{N}(\mathbb{C})$, therefore answering a question by Eyssidieux, Katzarkov, Pantev, and Ramachandran in 2012. It is worth noting that Eyssidieux had previously proven this result in 2004 wh… ▽ More In this paper, we prove the holomorphic convexity of the covering of a complex projective {normal} variety $X$, which corresponds to the intersection of kernels of reductive representations $ρ:π_1(X)\to {\rm GL}_{N}(\mathbb{C})$, therefore answering a question by Eyssidieux, Katzarkov, Pantev, and Ramachandran in 2012. It is worth noting that Eyssidieux had previously proven this result in 2004 when $X$ is smooth. While our approach follows the general strategy employed in Eyssidieux's proof, it introduces several improvements and simplifications. Notably, it avoids the necessity of using the reduction mod $p$ method in Eyssidieux's original proof. Additionally, we construct the Shafarevich morphism for complex reductive representations of fundamental groups of complex quasi-projective varieties unconditionally, and proving its algebraic nature at the function field level. △ Less

Submitted 29 May, 2024; v1 submitted 5 June, 2023; originally announced June 2023.

Comments: With an appendix joint with Ludmil Katzarkov. 65 pages. V2: some improvements in both main results and proofs

$\hat{Z}_b$ for plumbed manifolds and splice diagrams

Authors: Sergei Gukov, Ludmil Katzarkov, Josef Svoboda

Abstract: We study $q$-series invariants of 3-manifolds $\hat{Z}_b$ defined by Gukov--Pei--Putrov--Vafa using techniques from the theory of normal surface singularities such as splice diagrams. This provides a link between algebraic geometry with quantum topology. We show that the (suitably normalized) sum of all $\hat{Z}_b$ depends only on the splice diagram, and in particular, it agrees for manifolds with… ▽ More We study $q$-series invariants of 3-manifolds $\hat{Z}_b$ defined by Gukov--Pei--Putrov--Vafa using techniques from the theory of normal surface singularities such as splice diagrams. This provides a link between algebraic geometry with quantum topology. We show that the (suitably normalized) sum of all $\hat{Z}_b$ depends only on the splice diagram, and in particular, it agrees for manifolds with the same universal Abelian cover. Using these ideas we find simple formulas for $\hat{Z}_b$ invariants of Seifert manifolds that resemble equivariant Poincaré series of corresponding quasihomogeneous singularity. Applications include a better understanding of the vanishing of the $q$-series $\hat{Z}_b$. △ Less

Submitted 2 April, 2023; originally announced April 2023.

Comments: 39 pages, comments welcome

Shafarevich map**s and period map**s

Authors: Mark Green, Phillip Griffiths, Ludmil Katzarkov

Abstract: We shall show that a smooth, quasi-projective variety $X$ has a holomorphically convex universal covering $\wt X$ when (i) $π_1(X)$ is residually nilpotent and (ii) there is an admissable variation of \mhs\ over $X$ whose monodromy representation has a finite kernel, and where in each case a corresponding period map** is assumed to be proper. We shall show that a smooth, quasi-projective variety $X$ has a holomorphically convex universal covering $\wt X$ when (i) $π_1(X)$ is residually nilpotent and (ii) there is an admissable variation of \mhs\ over $X$ whose monodromy representation has a finite kernel, and where in each case a corresponding period map** is assumed to be proper. △ Less

Submitted 14 October, 2022; v1 submitted 28 September, 2022; originally announced September 2022.

Discriminants and toric K-theory

Authors: R. Paul Horja, Ludmil Katzarkov

Abstract: We discuss a categorical approach to the theory of discriminants in the combinatorial language introduced by Gelfand, Kapranov and Zelevinsky. Our point of view is inspired by homological mirror symmetry and provides $K$--theoretic evidence for a conjecture presented by Paul Aspinwall in a conference talk in Banff in March 2016 and later in a joint paper with Plesser and Wang. We discuss a categorical approach to the theory of discriminants in the combinatorial language introduced by Gelfand, Kapranov and Zelevinsky. Our point of view is inspired by homological mirror symmetry and provides $K$--theoretic evidence for a conjecture presented by Paul Aspinwall in a conference talk in Banff in March 2016 and later in a joint paper with Plesser and Wang. △ Less

Submitted 1 January, 2023; v1 submitted 2 May, 2022; originally announced May 2022.

Comments: v3: minor corrections and additions

MSC Class: 14M25; 14J32; 14J33; 13D09

Vector bundles on elliptic surfaces and logarithmic transformations

Authors: Ludmil Katzarkov, Kyoung-Seog Lee

Abstract: In this paper, we study how certain vector bundles on an elliptic surface are changed under logarithmic transformations. In this paper, we study how certain vector bundles on an elliptic surface are changed under logarithmic transformations. △ Less

Submitted 19 April, 2022; originally announced April 2022.

Spectral networks and stability conditions for Fukaya categories with coefficients

Authors: Fabian Haiden, Ludmil Katzarkov, Carlos Simpson

Abstract: Given a holomorphic family of Bridgeland stability conditions over a surface, we define a notion of spectral network which is an object in a Fukaya category of the surface with coefficients in a triangulated DG-category. These spectral networks are analogs of special Lagrangian submanifolds, combining a graph with additional algebraic data, and conjecturally correspond to semistable objects of a s… ▽ More Given a holomorphic family of Bridgeland stability conditions over a surface, we define a notion of spectral network which is an object in a Fukaya category of the surface with coefficients in a triangulated DG-category. These spectral networks are analogs of special Lagrangian submanifolds, combining a graph with additional algebraic data, and conjecturally correspond to semistable objects of a suitable stability condition on the Fukaya category with coefficients. They are closely related to the spectral networks of Gaiotto--Moore--Neitzke. One novelty of our approach is that we establish a general uniqueness results for spectral network representatives. We also verify the conjecture in the case when the surface is disk with six marked points on the boundary and the coefficients category is the derived category of representations of an $A_2$ quiver. This example is related, via homological mirror symmetry, to the stacky quotient of an elliptic curve by the cyclic group of order six. △ Less

Submitted 27 December, 2021; originally announced December 2021.

Comments: 85 pages, 24 figures. Comments welcome!

Lagrangian Floer theory for trivalent graphs and homological mirror symmetry for curves

Authors: Denis Auroux, Alexander I. Efimov, Ludmil Katzarkov

Abstract: Mirror symmetry for higher genus curves is usually formulated and studied in terms of Landau-Ginzburg models; however the critical locus of the superpotential is arguably of greater intrinsic relevance to mirror symmetry than the whole Landau-Ginzburg model. Accordingly, we propose a new approach to the A-model of the mirror, viewed as a trivalent configuration of rational curves together with som… ▽ More Mirror symmetry for higher genus curves is usually formulated and studied in terms of Landau-Ginzburg models; however the critical locus of the superpotential is arguably of greater intrinsic relevance to mirror symmetry than the whole Landau-Ginzburg model. Accordingly, we propose a new approach to the A-model of the mirror, viewed as a trivalent configuration of rational curves together with some extra data at the nodal points. In this context, we introduce a version of Lagrangian Floer theory and the Fukaya category for trivalent graphs, and show that homological mirror symmetry holds, namely, that the Fukaya category of a trivalent configuration of rational curves is equivalent to the derived category of a non-Archimedean generalized Tate curve. To illustrate the concrete nature of this equivalence, we show how explicit formulas for theta functions and for the canonical map of the curve arise naturally under mirror symmetry. △ Less

Submitted 5 July, 2024; v1 submitted 5 July, 2021; originally announced July 2021.

Comments: 59 pages, 6 figures; v3: revision after referee comments, added comparison to toric mirror construction (section 2.2) and clarified proof of A_infty relations (section 3.3)

Global shifted potentials for moduli stacks of sheaves on Calabi-Yau four-folds

Authors: Dennis Borisov, Ludmil Katzarkov, Artan Sheshmani, Shing-Tung Yau

Abstract: It is shown that there are globally defined Lagrangian distributions on the stable loci of derived Quot-stacks of coherent sheaves on Calabi--Yau four-folds. Dividing by these distributions produces perfectly obstructed smooth stacks with globally defined $-1$-shifted potentials, whose derived critical loci give back the stable loci of smooth stacks of sheaves in global Darboux form. It is shown that there are globally defined Lagrangian distributions on the stable loci of derived Quot-stacks of coherent sheaves on Calabi--Yau four-folds. Dividing by these distributions produces perfectly obstructed smooth stacks with globally defined $-1$-shifted potentials, whose derived critical loci give back the stable loci of smooth stacks of sheaves in global Darboux form. △ Less

Submitted 10 January, 2022; v1 submitted 26 July, 2020; originally announced July 2020.

Comments: 33 pages, title and abstract are modified. Some improvements have been made in the body of the article and main proofs. Comments are very welcome

MSC Class: 14A20; 14N35; 14J35; 14F05; 55N22; 53D30

Quantum (Non-commutative) Toric Geometry: Foundations

Authors: Ludmil Katzarkov, Ernesto Lupercio, Laurent Meersseman, Alberto Verjovsky

Abstract: In this paper, we will introduce Quantum Toric Varieties which are (non-commutative) generalizations of ordinary toric varieties where all the tori of the classical theory are replaced by quantum tori. Quantum toric geometry is the non-commutative version of the classical theory; it generalizes non-trivially most of the theorems and properties of toric geometry. By considering quantum toric variet… ▽ More In this paper, we will introduce Quantum Toric Varieties which are (non-commutative) generalizations of ordinary toric varieties where all the tori of the classical theory are replaced by quantum tori. Quantum toric geometry is the non-commutative version of the classical theory; it generalizes non-trivially most of the theorems and properties of toric geometry. By considering quantum toric varieties as (non-algebraic) stacks, we define their category and show that it is equivalent to a category of quantum fans. We develop a Quantum Geometric Invariant Theory (QGIT) type construction of Quantum Toric Varieties. Unlike classical toric varieties, quantum toric varieties admit moduli and we define their moduli spaces, prove that these spaces are orbifolds and, in favorable cases, up to homotopy, they admit a complex structure. △ Less

Submitted 10 February, 2020; originally announced February 2020.

Comments: 93 pages, 4 figures

MSC Class: 53D20 (Primary) 81S10; 53D37 (Secondary)

On pseudo-Anosov autoequivalences

Authors: Yu-Wei Fan, Simion Filip, Fabian Haiden, Ludmil Katzarkov, Yijia Liu

Abstract: Motivated by results of Thurston, we prove that any autoequivalence of a triangulated category induces a filtration by triangulated subcategories, provided the existence of Bridgeland stability conditions. The filtration is given by the exponential growth rate of masses under iterates of the autoequivalence, and only depends on the choice of a connected component of the stability manifold. We then… ▽ More Motivated by results of Thurston, we prove that any autoequivalence of a triangulated category induces a filtration by triangulated subcategories, provided the existence of Bridgeland stability conditions. The filtration is given by the exponential growth rate of masses under iterates of the autoequivalence, and only depends on the choice of a connected component of the stability manifold. We then propose a new definition of pseudo-Anosov autoequivalences, and prove that our definition is more general than the one previously proposed by Dimitrov, Haiden, Katzarkov, and Kontsevich. We construct new examples of pseudo-Anosov autoequivalences on the derived categories of quintic Calabi-Yau threefolds and quiver Calabi-Yau categories. Finally, we prove that certain pseudo-Anosov autoequivalences on quiver 3-Calabi-Yau categories act hyperbolically on the space of Bridgeland stability conditions. △ Less

Submitted 7 November, 2023; v1 submitted 27 October, 2019; originally announced October 2019.

Comments: 36 pages; mistakes fixed

Journal ref: Adv. Math., Vol. 384 (2021)

Shifted symplectic structures on derived Quot-stacks I: Differential graded manifolds

Authors: Dennis Borisov, Ludmil Katzarkov, Artan Sheshmani

Abstract: A theory of dg schemes is developed so that it becomes a homotopy site, and the corresponding infinity category of stacks is equivalent to the infinity category of stacks, as constructed by Toen and Vezzosi, on the site of dg algebras whose cohomologies have finitely many generators in each degree. Stacks represented by dg schemes are shown to be derived schemes under this correspondence. A theory of dg schemes is developed so that it becomes a homotopy site, and the corresponding infinity category of stacks is equivalent to the infinity category of stacks, as constructed by Toen and Vezzosi, on the site of dg algebras whose cohomologies have finitely many generators in each degree. Stacks represented by dg schemes are shown to be derived schemes under this correspondence. △ Less

Submitted 29 July, 2021; v1 submitted 8 August, 2019; originally announced August 2019.

Comments: 34 pages

Report number: 108369 MSC Class: 14A20; 14J35; 14J40; 14F05

Journal ref: Advances in Mathematics, Volume 403, 16 July 2022

Strictification and gluing of Lagrangian distributions on derived schemes with shifted symplectic forms

Authors: Dennis Borisov, Ludmil Katzarkov, Artan Sheshmani, Shing-Tung Yau

Abstract: A strictification result is proved for isotropic distributions on derived schemes equipped with negatively shifted homotopically closed $2$-forms. It is shown that any derived scheme over $\mathbb{C}$ equipped with a $-2$-shifted symplectic structure, and having a Hausdorff space of classical points, admits a globally defined Lagrangian distribution as a dg $\mathbb{C}^{\infty}$-manifold. A strictification result is proved for isotropic distributions on derived schemes equipped with negatively shifted homotopically closed $2$-forms. It is shown that any derived scheme over $\mathbb{C}$ equipped with a $-2$-shifted symplectic structure, and having a Hausdorff space of classical points, admits a globally defined Lagrangian distribution as a dg $\mathbb{C}^{\infty}$-manifold. △ Less

Submitted 10 January, 2022; v1 submitted 1 August, 2019; originally announced August 2019.

Comments: 35 pages, updated the title of the article and the abstract, added fixations and content to main body of the article and improved some of the proofs. We appreciate any comments

Journal ref: Advances in Mathematics Volume 438, February 2024, 109477

P=W Phenomena

Authors: Andrew Harder, Ludmil Katzarkov, Victor Przyjalkowski

Abstract: In this paper, we describe recent work towards the mirror P=W conjecture, which relates the weight filtration on a cohomology of a log Calabi--Yau manifold to the perverse Leray filtration on the cohomology of the homological mirror dual log Calabi--Yau manifold, taken with respect to the affinization map. This conjecture extends the classical relationship between Hodge numbers of mirror dual comp… ▽ More In this paper, we describe recent work towards the mirror P=W conjecture, which relates the weight filtration on a cohomology of a log Calabi--Yau manifold to the perverse Leray filtration on the cohomology of the homological mirror dual log Calabi--Yau manifold, taken with respect to the affinization map. This conjecture extends the classical relationship between Hodge numbers of mirror dual compact Calabi--Yau manifolds, incorporating tools and ideas which appear in the fascinating and groundbreaking works of de Cataldo, Hausel, and Migliorini, and de Cataldo and Migliorini. We give a broad overview of the motivation for this conjecture, recent results towards it, and describe how this result might arise from the SYZ formulation of mirror symmetry. This interpretation of the mirror P=W conjecture provides a possible bridge between the mirror P=W conjecture and the well-known P=W conjecture in nonabelian Hodge theory. △ Less

Submitted 1 October, 2019; v1 submitted 21 May, 2019; originally announced May 2019.

Comments: 11 pages

Journal ref: Math. Notes, 108:1 (2020), 39--49

Projecting Fanos in the mirror

Authors: Alexander Kasprzyk, Ludmil Katzarkov, Victor Przyjalkowski, Dmitrijs Sakovics

Abstract: In the paper "Birational geometry via moduli spaces" by I. Cheltsov, L. Katzarkov, and V. Przyjalkowski a new structure connecting toric degenerations of smooth Fano threefolds by projections was introduced; using Mirror Symmetry these connections were transferred to the side of Landau--Ginzburg models. In the paper mentioned above a nice way to connect of Picard rank one Fano threefolds was found… ▽ More In the paper "Birational geometry via moduli spaces" by I. Cheltsov, L. Katzarkov, and V. Przyjalkowski a new structure connecting toric degenerations of smooth Fano threefolds by projections was introduced; using Mirror Symmetry these connections were transferred to the side of Landau--Ginzburg models. In the paper mentioned above a nice way to connect of Picard rank one Fano threefolds was found. We apply this approach to all smooth Fano threefolds, connecting their degenerations by toric basic links. In particular, we find a lot of Gorenstein toric degenerations of smooth Fano threefolds we need. We implement mutations in the picture as well. It turns out that appropriate chosen toric degenerations of the Fanos are given by toric basic links from a few roots. We interpret the relations we found in terms of Mirror Symmetry. △ Less

Submitted 3 April, 2019; originally announced April 2019.

Comments: 87 pages

More finite sets coming from non-commutative counting

Authors: George Dimitrov, Ludmil Katzarkov

Abstract: In our previous papers we introduced categorical invariants, which are, roughly speaking, sets of triangulated subcategories in a given triangulated category and their quotients. Here is extended the list of examples, where these sets are finite. Using results by Geigle, Lenzning, Meltzer, Hübner for weighted projective lines we show that for any two affine acyclic quivers $Q$, $Q'$ (i.e. quivers… ▽ More In our previous papers we introduced categorical invariants, which are, roughly speaking, sets of triangulated subcategories in a given triangulated category and their quotients. Here is extended the list of examples, where these sets are finite. Using results by Geigle, Lenzning, Meltzer, Hübner for weighted projective lines we show that for any two affine acyclic quivers $Q$, $Q'$ (i.e. quivers of extended Dynkin type) there are only finitely many full triangulated subctegories in $D^b(Rep_{\mathbb K}(Q))$, which are equivalent to $D^b(Rep_{\mathbb K}(Q'))$, where ${\mathbb K}$ is an algebraically closed field. Some of the numbers counting the elements in these finite sets are explicitly determined. △ Less

Submitted 30 July, 2019; v1 submitted 1 March, 2019; originally announced March 2019.

Comments: 16 pages, In v3 Corollary 5.6 does not depend on any additional conditions, because in a private communication Professor Helmut Lenzing confirmed that (21) is correct. The last section 6 and the introduction in the new version are slightly extended. The reference list is also updated

Symplectic Surgeries Along Certain Singularities and New Lefschetz Fibrations

Authors: Anar Akhmedov, Ludmil Katzarkov

Abstract: We define a new 4-dimensional symplectic cut and paste operations arising from the generalized star relations $(t_{a_0}t_{a_1}t_{a_2} \cdots t_{a_{2g+1}})^{2g+1} = t_{b_1} t_{b_2}^{g}t_{b_3}$, also known as the trident relations, in the map** class group $Γ_{g,3}$ of an orientable surface of genus $g\geq1$ with $3$ boundary components. We also construct new families of Lefschetz fibrations by ap… ▽ More We define a new 4-dimensional symplectic cut and paste operations arising from the generalized star relations $(t_{a_0}t_{a_1}t_{a_2} \cdots t_{a_{2g+1}})^{2g+1} = t_{b_1} t_{b_2}^{g}t_{b_3}$, also known as the trident relations, in the map** class group $Γ_{g,3}$ of an orientable surface of genus $g\geq1$ with $3$ boundary components. We also construct new families of Lefschetz fibrations by applying the (generalized) star relations and the chain relations to the families of words $(t_{c_1}t_{c_2} \cdots t_{c_{2g-1}}t_{c_{2g}}t_{c_{2g+1}}^2t_{c_{2g}}t_{c_{2g-1}} \cdots t_{c_2}t_{c_1})^{2n} = 1$, $(t_{c_1}t_{c_2} \cdots t_{c_{2g}}t_{c_{2g+1}})^{(2g+2)n} = 1$ and $(t_{c_1}t_{c_2} \cdots t_{c_{2g-1}}t_{c_{2g}})^{2(2g+1)n} = 1$ in the map** class group $Γ_{g}$ of the closed orientable surface of genus $g \geq 1$ and $n \geq 1$. Furthemore, we show that the total spaces of some of these Lefschetz fibraions are irreducible exotic symplectic $4$-manifolds. Using the degenerate cases of the generalized star relations, we also realize all elliptic Lefschetz fibrations and genus two Lefschetz fibrations over $\mathbb{S}^{2}$ with non-separating vanishing cycles. △ Less

Submitted 25 December, 2018; v1 submitted 17 December, 2018; originally announced December 2018.

Comments: 23 pages, 5 figures. In this version, we added to examples in Section 5 and added a reference

Journal ref: Advances in Mathematics, Volume 360, 22 January 2020

Non-commutative counting invariants and curve complexes

Authors: George Dimitrov, Ludmil Katzarkov

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 equival… ▽ More 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({\mathbb P}^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. △ Less

Submitted 20 February, 2020; v1 submitted 1 May, 2018; originally announced May 2018.

Comments: In v4, 65 pages, we have reorganized the paper and removed some inaccuracies. Sections 2 to 7 are dedicated to general theory and then follow sections with examples. In the previous version the letter $\mathcal J$ in the definition of $C_{\mathcal J, P}(\mathcal T)$ was a set of non-trivial pairwise non-equivalent triangulated categories. Now we remove the restriction of non-triviality

Iterated logarithms and gradient flows

Authors: Fabian Haiden, Ludmil Katzarkov, Maxim Kontsevich, Pranav Pandit

Abstract: We consider applications of the theory of balanced weight filtrations and iterated logarithms, initiated in arXiv:1706.01073, to PDEs. The main result is a complete description of the asymptotics of the Yang--Mills flow on the space of metrics on a holomorphic bundle over a Riemann surface. A key ingredient in the argument is a monotonicity property of the flow which holds in arbitrary dimension.… ▽ More We consider applications of the theory of balanced weight filtrations and iterated logarithms, initiated in arXiv:1706.01073, to PDEs. The main result is a complete description of the asymptotics of the Yang--Mills flow on the space of metrics on a holomorphic bundle over a Riemann surface. A key ingredient in the argument is a monotonicity property of the flow which holds in arbitrary dimension. The A-side analog is a modified curve shortening flow for which we provide a heuristic calculation in support of a detailed conjectural picture. △ Less

Submitted 12 February, 2018; originally announced February 2018.

Comments: 29 pages, comments encouraged

Partially wrapped Fukaya categories of simplicial skeleta

Authors: Ludmil Katzarkov, Gabriel Kerr

Abstract: A class of partially wrapped Fukaya categories in $T^* N$ are proven to be well defined and then studied. In the case of $N$ diffeomorphic to $\mathbb{R}^m \times \mathbb{T}^n$, it is shown that these categories provide homological mirrors to equivariant and non-equivariant categories of coherent sheaves on toric varieties. This gives a new Floer theoretic formulation of mirror symmetry in the non… ▽ More A class of partially wrapped Fukaya categories in $T^* N$ are proven to be well defined and then studied. In the case of $N$ diffeomorphic to $\mathbb{R}^m \times \mathbb{T}^n$, it is shown that these categories provide homological mirrors to equivariant and non-equivariant categories of coherent sheaves on toric varieties. This gives a new Floer theoretic formulation of mirror symmetry in the non-complete case. △ Less

Submitted 20 August, 2017; originally announced August 2017.

MSC Class: 53D37

Perverse sheaves of categories and some applications

Authors: Andrew Harder, Ludmil Katzarkov

Abstract: We study perverse sheaves of categories their connections to classical algebraic geometry. We show how perverse sheaves of categories encode naturally derived categories of coherent sheaves on $\mathbb{P}^1$ bundles, semiorthogonal decompositions, and relate them to a recent proof of Segal that all autoequivalences of triangulated categories are spherical twists. Furthermore, we show that perverse… ▽ More We study perverse sheaves of categories their connections to classical algebraic geometry. We show how perverse sheaves of categories encode naturally derived categories of coherent sheaves on $\mathbb{P}^1$ bundles, semiorthogonal decompositions, and relate them to a recent proof of Segal that all autoequivalences of triangulated categories are spherical twists. Furthermore, we show that perverse sheaves of categories can be used to represent certain degenerate Calabi--Yau varieties. △ Less

Submitted 28 June, 2019; v1 submitted 3 August, 2017; originally announced August 2017.

Comments: Material on mirror symmetry and noncommutative projective planes removed. Many other changes made at referee's request. Comments still welcome! 40 pages

Journal ref: Adv. Math., Volume 352, 20 August 2019, Pages 1155-1205

Semistability, modular lattices, and iterated logarithms

Authors: Fabian Haiden, Ludmil Katzarkov, Maxim Kontsevich, Pranav Pandit

Abstract: We provide a complete description of the asymptotics of the gradient flow on the space of metrics on any semistable quiver representation. This involves a recursive construction of approximate solutions and the appearance of iterated logarithms and a limiting filtration of the representation. The filtration turns out to have an algebraic definition which makes sense in any finite length modular la… ▽ More We provide a complete description of the asymptotics of the gradient flow on the space of metrics on any semistable quiver representation. This involves a recursive construction of approximate solutions and the appearance of iterated logarithms and a limiting filtration of the representation. The filtration turns out to have an algebraic definition which makes sense in any finite length modular lattice. This is part of a larger project by the authors to study iterated logarithms in the asymptotics of gradient flows, both in finite and infinite dimensional settings. △ Less

Submitted 10 September, 2020; v1 submitted 4 June, 2017; originally announced June 2017.

Comments: v2: new introduction, typos corrected

Journal ref: J. Differential Geom. 123 (1), 21-66, (2023)

Generators in formal deformations of categories

Authors: Anthony Blanc, Ludmil Katzarkov, Pranav Pandit

Abstract: In this paper we use the theory of formal moduli problems developed by Lurie in order to study the space of formal deformations of a $k$-linear $\infty$-category for a field $k$. Our main result states that if $\mathcal{C}$ is a $k$-linear $\infty$-category which has a compact generator whose groups of self extensions vanish for sufficiently high positive degrees, then every formal deformation of… ▽ More In this paper we use the theory of formal moduli problems developed by Lurie in order to study the space of formal deformations of a $k$-linear $\infty$-category for a field $k$. Our main result states that if $\mathcal{C}$ is a $k$-linear $\infty$-category which has a compact generator whose groups of self extensions vanish for sufficiently high positive degrees, then every formal deformation of $\mathcal{C}$ has zero curvature and moreover admits a compact generator. △ Less

Submitted 1 May, 2017; originally announced May 2017.

Comments: Preliminary version. Comments are welcome. 40p

Journal ref: Compositio Math. 154 (2018) 2055-2089

Calabi-Yau Structures, Spherical Functors, and Shifted Symplectic Structures

Authors: Ludmil Katzarkov, Pranav Pandit, Theodore Spaide

Abstract: A categorical formalism is introduced for studying various features of the symplectic geometry of Lefschetz fibrations and the algebraic geometry of Tyurin degenerations. This approach is informed by homological mirror symmetry, derived noncommutative geometry, and the theory of Fukaya categories with coefficients in a perverse Schober. The main technical results include (i) a comparison between t… ▽ More A categorical formalism is introduced for studying various features of the symplectic geometry of Lefschetz fibrations and the algebraic geometry of Tyurin degenerations. This approach is informed by homological mirror symmetry, derived noncommutative geometry, and the theory of Fukaya categories with coefficients in a perverse Schober. The main technical results include (i) a comparison between the notion of relative Calabi-Yau structures and a certain refinement of the notion of a spherical functor, (ii) a local-to-global gluing principle for constructing Calabi-Yau structures, and (iii) the construction of shifted symplectic structures and Lagrangian structures on certain derived moduli spaces of branes. Potential applications to a theory of derived hyperkähler geometry are sketched. △ Less

Submitted 3 September, 2017; v1 submitted 26 January, 2017; originally announced January 2017.

Comments: 60 pages; extensively revised and expanded version with new results; submitted

Reduction for $SL(3)$ pre-buildings

Authors: Ludmil Katzarkov, Pranav Pandit, Carlos Simpson

Abstract: Given an $SL(3)$ spectral curve over a simply connected Riemann surface, we describe in detail the reduction steps necessary to construct the core of a pre-building with versal harmonic map whose differential is given by the spectral curve. Given an $SL(3)$ spectral curve over a simply connected Riemann surface, we describe in detail the reduction steps necessary to construct the core of a pre-building with versal harmonic map whose differential is given by the spectral curve. △ Less

Submitted 25 November, 2016; originally announced November 2016.

Tropical Homology

Authors: Ilia Itenberg, Ludmil Katzarkov, Grigory Mikhalkin, Ilia Zharkov

Abstract: Given a tropical variety X and two non-negative integers p and q we define homology group $H_{p,q}(X)$. We show that if X is a smooth tropical variety that can be represented as the tropical limit of a 1-parameter family of complex projective varieties, then $\dim H_{p,q}(X)$ coincides with the Hodge number $h^{p,q}$ of a general member of the family. Given a tropical variety X and two non-negative integers p and q we define homology group $H_{p,q}(X)$. We show that if X is a smooth tropical variety that can be represented as the tropical limit of a 1-parameter family of complex projective varieties, then $\dim H_{p,q}(X)$ coincides with the Hodge number $h^{p,q}$ of a general member of the family. △ Less

Submitted 7 December, 2020; v1 submitted 6 April, 2016; originally announced April 2016.

Comments: 42 PAGES, 1 figure, introduction expanded and references added, publication status added

Journal ref: Mathematische Annalen, 374 (1-2), pp. 963-1006 (2019)

Some new categorical invariants

Authors: George Dimitrov, Ludmil Katzarkov

Abstract: We introduce several notions and give examples. We prove that ${\rm Stab}(D^b(K(l)))\cong {\mathbb C}\times \mathcal H$ for $l\geq 3$, where $K(l)$ is $l$-Kronecker quiver. This is an example of SOD, where ${\rm Stab}( \langle \mathcal T_1,\mathcal T_2\rangle )\not \cong{\rm Stab}(\mathcal T_1)\times {\rm Stab}(\mathcal T_2)$. This example suggest a new notion of a norm, strictly increasing on… ▽ More We introduce several notions and give examples. We prove that ${\rm Stab}(D^b(K(l)))\cong {\mathbb C}\times \mathcal H$ for $l\geq 3$, where $K(l)$ is $l$-Kronecker quiver. This is an example of SOD, where ${\rm Stab}( \langle \mathcal T_1,\mathcal T_2\rangle )\not \cong{\rm Stab}(\mathcal T_1)\times {\rm Stab}(\mathcal T_2)$. This example suggest a new notion of a norm, strictly increasing on $\{D^b(K(l))\}_{l\geq 2}$. To a triangulated category $\mathcal T$ which has property of a phase gap we attach a non-negative number $\Vert \mathcal T \Vert_{\varepsilon}$. Natural assumptions on a SOD imply $ \Vert \langle \mathcal T_1,\mathcal T_2\rangle \Vert_{\varepsilon}\geq {\rm max}\{ \Vert \mathcal T_1 \Vert_{\varepsilon}, \Vert\mathcal T_2 \Vert_{\varepsilon}\}$. Using this we define a topology on the set of equivalence classes of triangulated categories with a phase gap, where the set of discrete derived categories is a discrete subset and the rationality of a smooth surface $S$ ensures that $[D^b(point)] \in {\rm Cl}([D^b(S)])$. Viewing $D^b(K(l))$ as a non-commutative curve, we observe that it is reasonable to count non-commutative curves in any category in a small neighborhood of $D^b(K(l))$. Examples show that this idea (non-commutative curve-counting) opens directions to new categorical structures and connections to number theory and classical geometry. We give a definition, which specializes to the non-commutative curve-counting invariants. In an example arising on the A side we specialize our definition to non-commutative Calabi-Yau curve-counting, where the entities we count are a Calabi-Yau modification of $D^b(K(l))$. Finally we speculate that one might consider a holomorphic family of categories, introduced by Kontsevich, as a non-commutative extension with the norm playing a role similar to the classical notion of degree of an extension in Galois theory. △ Less

Submitted 21 November, 2017; v1 submitted 29 February, 2016; originally announced February 2016.

Comments: v3 is a new paper with new title, which subsumes the second version v2

Constructing Buildings and Harmonic Maps

Authors: Ludmil Katzarkov, Alexander Noll, Pranav Pandit, Carlos Simpson

Abstract: In a continuation of our previous work, we outline a theory which should lead to the construction of a universal pre-building and versal building with a $φ$-harmonic map from a Riemann surface, in the case of two-dimensional buildings for the group $SL_3$. This will provide a generalization of the space of leaves of the foliation defined by a quadratic differential in the classical theory for… ▽ More In a continuation of our previous work, we outline a theory which should lead to the construction of a universal pre-building and versal building with a $φ$-harmonic map from a Riemann surface, in the case of two-dimensional buildings for the group $SL_3$. This will provide a generalization of the space of leaves of the foliation defined by a quadratic differential in the classical theory for $SL_2$. Our conjectural construction would determine the exponents for $SL_3$ WKB problems, and it can be put into practice on examples. △ Less

Submitted 3 March, 2015; originally announced March 2015.

Comments: 61 pages, 24 figures. Comments are welcome

Bridgeland stability conditions on the acyclic triangular quiver

Authors: George Dimitrov, Ludmil Katzarkov

Abstract: Using results in a previous paper "Non-semistable exceptional objects in hereditary categories", we focus here on studying the topology of the space of Bridgeland stability conditions on $D^b(Rep_k(Q ))$, where $Q$ is the acyclic triangular quiver (the underlying graph is the extended Dynkin diagram $\widetilde{\mathbb A}_2$). In particular, we prove that this space is contractible (in the previou… ▽ More Using results in a previous paper "Non-semistable exceptional objects in hereditary categories", we focus here on studying the topology of the space of Bridgeland stability conditions on $D^b(Rep_k(Q ))$, where $Q$ is the acyclic triangular quiver (the underlying graph is the extended Dynkin diagram $\widetilde{\mathbb A}_2$). In particular, we prove that this space is contractible (in the previous paper it was shown that it is connected). △ Less

Submitted 3 October, 2014; originally announced October 2014.

Comments: 51 pages

Flat surfaces and stability structures

Authors: Fabian Haiden, Ludmil Katzarkov, Maxim Kontsevich

Abstract: We identify spaces of half-translation surfaces, equivalently complex curves with quadratic differential, with spaces of stability structures on Fukaya-type categories of punctured surfaces. This is achieved by new methods involving the complete classification of objects in these categories, which are defined in an elementary way. We also introduce a number of tools to deal with surfaces of infini… ▽ More We identify spaces of half-translation surfaces, equivalently complex curves with quadratic differential, with spaces of stability structures on Fukaya-type categories of punctured surfaces. This is achieved by new methods involving the complete classification of objects in these categories, which are defined in an elementary way. We also introduce a number of tools to deal with surfaces of infinite area, where structures similar to those in cluster algebra appear. △ Less

Submitted 8 September, 2015; v1 submitted 30 September, 2014; originally announced September 2014.

Comments: 67 pages, 7 figures, v2: expanded from previous version following feedback, new title

Journal ref: Publ.math.IHES 126, 247--318 (2017)

Bogomolov-Tian-Todorov theorems for Landau-Ginzburg models

Authors: Ludmil Katzarkov, Maxim Kontsevich, Tony Pantev

Abstract: In this paper we prove the smoothness of the moduli space of Landau-Ginzburg models. We formulate and prove a Tian-Todorov theorem for the deformations of Landau-Ginzburg models, develop the necessary Hodge theory for varieties with potentials, and prove a double degeneration statement needed for the unobstructedness result. We discuss the various definitions of Hodge numbers for non-commutative H… ▽ More In this paper we prove the smoothness of the moduli space of Landau-Ginzburg models. We formulate and prove a Tian-Todorov theorem for the deformations of Landau-Ginzburg models, develop the necessary Hodge theory for varieties with potentials, and prove a double degeneration statement needed for the unobstructedness result. We discuss the various definitions of Hodge numbers for non-commutative Hodge structures of Landau-Ginzburg type and the role they play in mirror symmetry. We also interpret the resulting families of de Rham complexes attacted to a potential in terms of mirror symmetry for one parameter families of symplectic Fano manifolds and argue that modulo a natural triviality property the moduli spaces of Landau-Ginzburg models posses canonical special coordinates. △ Less

Submitted 6 October, 2014; v1 submitted 21 September, 2014; originally announced September 2014.

Comments: LaTeX, 74 pages, new corrected title, missing references restored, typos fixed, new references added

On the Derived Categories of Degree d Hypersurface Fibrations

Authors: Matthew Ballard, Dragos Deliu, David Favero, M. Umut Isik, Ludmil Katzarkov

Abstract: We provide descriptions of the derived categories of degree $d$ hypersurface fibrations which generalize a result of Kuznetsov for quadric fibrations and give a relative version of a well-known theorem of Orlov. Using a local generator and Morita theory, we re-interpret the resulting matrix factorization category as a derived-equivalent sheaf of dg-algebras on the base. Then, applying homological… ▽ More We provide descriptions of the derived categories of degree $d$ hypersurface fibrations which generalize a result of Kuznetsov for quadric fibrations and give a relative version of a well-known theorem of Orlov. Using a local generator and Morita theory, we re-interpret the resulting matrix factorization category as a derived-equivalent sheaf of dg-algebras on the base. Then, applying homological perturbation methods, we obtain a sheaf of $A_\infty$-algebras which gives a new description of homological projective duals for (relative) $d$-Veronese embeddings, recovering the sheaf of Clifford algebras obtained by Kuznetsov in the case when $d=2$. △ Less

Submitted 19 September, 2014; originally announced September 2014.

Comments: 30 pages, expanded from arXiv:1306.3957, submitted

Birational geometry via moduli spaces

Authors: Ivan Cheltsov, Ludmil Katzarkov, Victor Przyjalkowski

Abstract: In this paper we connect degenerations of Fano threefolds by projections. Using Mirror Symmetry we transfer these connections to the side of Landau--Ginzburg models. Based on that we suggest a generalization of Kawamata's categorical approach to birational geometry enhancing it via geometry of moduli spaces of Landau--Ginzburg models. We suggest a conjectural application to Hasset--Kuznetsov--Tsch… ▽ More In this paper we connect degenerations of Fano threefolds by projections. Using Mirror Symmetry we transfer these connections to the side of Landau--Ginzburg models. Based on that we suggest a generalization of Kawamata's categorical approach to birational geometry enhancing it via geometry of moduli spaces of Landau--Ginzburg models. We suggest a conjectural application to Hasset--Kuznetsov--Tschinkel program based on new nonrationality "invariants" we consider --- gaps and phantom categories. We make several conjectures for these invariants in the case of surfaces of general type and quadric bundles. △ Less

Submitted 14 May, 2014; originally announced May 2014.

Comments: arXiv admin note: text overlap with arXiv:1405.2953

Journal ref: Birational geometry, rational curves, and arithmetic, Simons symposium 2012, Springer, 2013, 93--132

Landau-Ginzburg models -- old and new

Authors: Ludmil Katzarkov, Victor Przyjalkowski

Abstract: In the last three years a new concept -- the concept of wall crossing has emerged. The current situation with wall crossing phenomena, after papers of Seiberg-Witten, Gaiotto-Moore-Neitzke, Vafa-Cecoti and seminal works by Donaldson-Thomas, Joyce-Song, Maulik-Nekrasov-Okounkov-Pandharipande, Douglas, Bridgeland, and Kontsevich-Soibelman, is very similar to the situation with Higgs Bundles after th… ▽ More In the last three years a new concept -- the concept of wall crossing has emerged. The current situation with wall crossing phenomena, after papers of Seiberg-Witten, Gaiotto-Moore-Neitzke, Vafa-Cecoti and seminal works by Donaldson-Thomas, Joyce-Song, Maulik-Nekrasov-Okounkov-Pandharipande, Douglas, Bridgeland, and Kontsevich-Soibelman, is very similar to the situation with Higgs Bundles after the works of Higgs and Hitchin -- it is clear that a general "Hodge type" of theory exists and needs to be developed. Nonabelian Hodge theory did lead to strong mathematical applications -- uniformization, Langlands program to mention a few. In the wall crossing is is also clear that some "Hodge type" of theory exists -- Stability Hodge Structure (SHS). This theory needs to be developed in order to reap some mathematical benefits --- solve long standing problems in algebraic geometry. In this paper we look at SHS from the perspective of Landau--Ginzburg models and we look at some applications. We consider simple examples and explain some conjectures these examples suggest. △ Less

Submitted 16 May, 2014; v1 submitted 12 May, 2014; originally announced May 2014.

Comments: 29 pages; some references are added or updated

Journal ref: Proceedings of the 18th Gökova geometry-topology conference, Gökova, Turkey. Cambridge, MA: International Press. 97--124 (2011)

Non-semistable exceptional objects in hereditary categories: some remarks and conjectures

Authors: George Dimitrov, Ludmil Katzarkov

Abstract: In our previous paper we studied non-semistable exceptional objects in hereditary categories and introduced the notion of regularity preserving category, but we obtained quite a few examples of such categories. Certain conditions on the Ext-nontrivial couples (exceptional objects $X,Y\in \mathcal A$ with ${\rm Ext}^1(X,Y)\neq 0$ and ${\rm Ext}^1(Y,X)\neq 0$) were shown to imply regularity-preservi… ▽ More In our previous paper we studied non-semistable exceptional objects in hereditary categories and introduced the notion of regularity preserving category, but we obtained quite a few examples of such categories. Certain conditions on the Ext-nontrivial couples (exceptional objects $X,Y\in \mathcal A$ with ${\rm Ext}^1(X,Y)\neq 0$ and ${\rm Ext}^1(Y,X)\neq 0$) were shown to imply regularity-preserving. This paper is a brief review of the previous paper (with emphasis on regularity preserving property) and we add some remarks and conjectures. It is known that in Dynkin quivers ${\rm Hom}(ρ,ρ')=0$ or ${\rm Ext}^1(ρ,ρ')=0$ for any two exceptional representations. In the present paper we use this property to show that for any Dynkin quiver $Q$ there are no Ext-nontrivial couples in $Rep_k(Q)$, which implies regularity preserving of $Rep_k(Q)$, where $k$ is an algebraically closed field. We study this property in other quivers. In particular in any star quiver with three arms $Q$ for any two exceptional representations $ρ, ρ'$ we have ${\rm Hom}(ρ,ρ')=0$ or ${\rm Ext}^1(ρ,ρ')=0$ provided that $ρ$ or $ρ'$ is a thin representation. In the previous version we asserted falsely that this holds for any two exceptional representations (without imposing the restriction that one of them is thin) for extended Dynkin quivers $\widetilde{\mathbb E}_6, \widetilde{\mathbb E}_7, \widetilde{\mathbb E}_8 $. △ Less

Submitted 31 May, 2018; v1 submitted 12 May, 2014; originally announced May 2014.

Comments: Lemma 5.5 in version 2 is false, Claus M. Ringel pointed a counterexample to us. The claim in the proof "Now the arguments are the same as the arguments after Figure (46) in the proof of Lemma 5.4." is false: one of the arguments is not applicable. Here we have done the necessary corrections. We have already proved conjecture 7.3 in the previous version 2, it is removed in this version

Non-semistable exceptional objects in hereditary categories

Authors: George Dimitrov, Ludmil Katzarkov

Abstract: 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… ▽ More 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. △ Less

Submitted 27 November, 2013; originally announced November 2013.

Comments: 65 pages

Harmonic Maps to Buildings and Singular Perturbation Theory

Authors: Ludmil Katzarkov, Alexander Noll, Pranav Pandit, Carlos Simpson

Abstract: 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… ▽ More 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. △ Less

Submitted 27 November, 2013; originally announced November 2013.

Comments: Preliminary version. Comments are welcome

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

Authors: Matthew Ballard, David Favero, Ludmil Katzarkov

Abstract: 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 c… ▽ More 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. △ Less

Submitted 12 May, 2014; v1 submitted 9 October, 2013; originally announced October 2013.

Comments: v2: Updated references and addresses. Cleaved off a part. 54 pages. v1: Expanded version of the latter half of arXiv:1105.3177. 92 pages. Comments very welcome!

Non-commutative Toric Varieties

Authors: Ludmil Katzarkov, Ernesto Lupercio, Laurent Meersseman, Alberto Verjovsky

Abstract: 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… ▽ More 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. △ Less

Submitted 8 November, 2013; v1 submitted 13 August, 2013; originally announced August 2013.

Comments: 25 pages, 5 figures, dedicated to the 60th birthdays of Ralph L. Cohen and Gunnar Carlsson and the 70th birthday of Ib Madsen

MSC Class: 14K10; 37F20

Dynamical systems and categories

Authors: George Dimitrov, Fabian Haiden, Ludmil Katzarkov, Maxim Kontsevich

Abstract: 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 B… ▽ More 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. △ Less

Submitted 31 July, 2013; originally announced July 2013.

Comments: 35 pages

Journal ref: Con. Math. vol 621 (2014), pages 133-170

Homological Projective Duality via Variation of Geometric Invariant Theory Quotients

Authors: Matthew Ballard, Dragos Deliu, David Favero, M. Umut Isik, Ludmil Katzarkov

Abstract: We provide a geometric approach to constructing Lefschetz collections and Landau-Ginzburg Homological Projective Duals from a variation of Geometric Invariant Theory quotients. This approach yields homological projective duals for Veronese embeddings in the setting of Landau Ginzburg models. Our results also extend to a relative Homological Projective Duality framework. We provide a geometric approach to constructing Lefschetz collections and Landau-Ginzburg Homological Projective Duals from a variation of Geometric Invariant Theory quotients. This approach yields homological projective duals for Veronese embeddings in the setting of Landau Ginzburg models. Our results also extend to a relative Homological Projective Duality framework. △ Less

Submitted 19 September, 2014; v1 submitted 17 June, 2013; originally announced June 2013.

Comments: 32 pages, expanded the original into two parts, accepted for publication in JEMS

Minifolds and Phantoms

Authors: Sergey Galkin, Ludmil Katzarkov, Anton Mellit, Evgeny Shinder

Abstract: 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 i… ▽ More 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. △ Less

Submitted 17 October, 2013; v1 submitted 20 May, 2013; originally announced May 2013.

Comments: 20 pages. New material in version 2: Theorem 1.2 proves Conjecture 3.1 in case of fake projective planes with non-abelian automorphism group, Proposition 3.10 provides new K-phantoms (admissible categories with vanishing Grothendieck group)

Report number: IPMU13-0102

The Mori Program and Non-Fano Toric Homological Mirror Symmetry

Authors: Matthew Ballard, Colin Diemer, David Favero, Ludmil Katzarkov, Gabriel Kerr

Abstract: 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 e… ▽ More 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. △ Less

Submitted 4 February, 2013; originally announced February 2013.

Comments: 40 pages, uses Tikz, 7 additional figures

Resolutions in factorization categories

Authors: Matthew Ballard, Dragos Deliu, David Favero, M. Umut Isik, Ludmil Katzarkov

Abstract: 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… ▽ More 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. △ Less

Submitted 12 May, 2014; v1 submitted 13 December, 2012; originally announced December 2012.

Comments: v2: Expanded further for enjoyment. 41 pages. v1: 24 pages, expanded from a section in arXiv:1203.6643, comments welcome

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

Authors: David Favero, Atanas Iliev, Ludmil Katzarkov

Abstract: 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… ▽ More 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. △ Less

Submitted 11 December, 2012; originally announced December 2012.

Comments: 40 pages

MSC Class: 14C25; 18E30

Orlov spectra as a filtered cohomology theory

Authors: Ludmil Katzarkov, Gabriel Kerr

Abstract: 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. 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. △ Less

Submitted 12 May, 2014; v1 submitted 5 October, 2012; originally announced October 2012.

Comments: 27 pages, 2 figures

MSC Class: 18G20 (Primary) 16E45; 16E35 (Secondary)