Showing 1–27 of 27 results for author: Favero, D

Rouquier dimension is Krull dimension for normal toric varieties

Authors: David Favero, Jesse Huang

Abstract: We prove that for any normal toric variety, the Rouquier dimension of its bounded derived category of coherent sheaves is equal to its Krull dimension. Our proof uses the coherent-constructible correspondence to translate the problem into the study of Rouquier dimension for certain categories of constructible sheaves. We prove that for any normal toric variety, the Rouquier dimension of its bounded derived category of coherent sheaves is equal to its Krull dimension. Our proof uses the coherent-constructible correspondence to translate the problem into the study of Rouquier dimension for certain categories of constructible sheaves. △ Less

Submitted 28 February, 2023; v1 submitted 17 February, 2023; originally announced February 2023.

Comments: 9 pages. Added acknowledgements and additional citations. Small errors and typos fixed

MSC Class: 14M25; 32S60; 14F08; 14J33

Journal ref: Eur. J. Math. 9, 91 (2023)

Impact of Do** and Geometry on Breakdown Voltage of Semi-Vertical GaN-on-Si MOS Capacitors

Authors: D. Favero, C. De Santi, K. Mukherjee, M. Borga, K. Geens, U. Chatterjee, B. Bakeroot, S. Decoutere, F. Rampazzo, G. Meneghesso, E. Zanoni, M. Meneghini

Abstract: For the development of reliable vertical GaN transistors, a detailed analysis of the robustness of the gate stack is necessary, as a function of the process parameters and material properties. To this aim, we report a detailed analysis of breakdown performance of planar GaN-on-Si MOS capacitors. The analysis is carried out on capacitors processed on different GaN bulk do** (6E18 Si/cc, 6E17 Si/c… ▽ More For the development of reliable vertical GaN transistors, a detailed analysis of the robustness of the gate stack is necessary, as a function of the process parameters and material properties. To this aim, we report a detailed analysis of breakdown performance of planar GaN-on-Si MOS capacitors. The analysis is carried out on capacitors processed on different GaN bulk do** (6E18 Si/cc, 6E17 Si/cc and 2.5E18 Mg/cc, p-type), different structures (planar, trench-like) and different geometries (area, perimeter and shape). We demonstrate that (i) capacitors on p-GaN have better breakdown performance; (ii) the presence of a trench structure significantly reduces breakdown capabilities; (iii) breakdown voltage is dependent on area, with a decreasing robustness for increasing dimensions; (iv) breakdown voltage is independent of shape (rectangular, circular). TCAD simulations, in agreement with the measurements, illustrate the electric field distribution near breakdown and clarify the results obtained experimentally. △ Less

Submitted 20 October, 2022; v1 submitted 19 October, 2022; originally announced October 2022.

Comments: ["European Union (EU)" & "Horizon 2020"]["Euratom" & Euratom research & training programme 2014-2018"][Research for GaN technologies, devices, packages and applications to address the challenges of the future GaN roadmap][UltimateGaN][826392]

Homotopy Path Algebras

Authors: David Favero, Jesse Huang

Abstract: We define a basic class of algebras which we call homotopy path algebras. We find that such algebras always admit a cellular resolution and detail the intimate relationship between these algebras, stratifications of topological spaces, and entrance/exit paths. As examples, we prove versions of homological mirror symmetry due to Bondal-Ruan for toric varieties and due to Berglund-Hübsch-Krawitz for… ▽ More We define a basic class of algebras which we call homotopy path algebras. We find that such algebras always admit a cellular resolution and detail the intimate relationship between these algebras, stratifications of topological spaces, and entrance/exit paths. As examples, we prove versions of homological mirror symmetry due to Bondal-Ruan for toric varieties and due to Berglund-Hübsch-Krawitz for hypersurfaces with maximal symmetry. We also demonstrate that a form of shellability implies Koszulity and the existence of a minimal cellular resolution. In particular, when the algebra determined by the image of the toric Frobenius morphism is directable, then it is Koszul and admits a minimal cellular resolution. △ Less

Submitted 1 September, 2022; v1 submitted 7 May, 2022; originally announced May 2022.

Comments: 40 pages. Mistakes in Ch. 6 of previous version corrected. Submitted

MSC Class: 18G99; 16E35; 16E05

BERT_SE: A Pre-trained Language Representation Model for Software Engineering

Authors: Eliane Maria De Bortoli Fávero, Dalcimar Casanova

Abstract: The application of Natural Language Processing (NLP) has achieved a high level of relevance in several areas. In the field of software engineering (SE), NLP applications are based on the classification of similar texts (e.g. software requirements), applied in tasks of estimating software effort, selection of human resources, etc. Classifying software requirements has been a complex task, consideri… ▽ More The application of Natural Language Processing (NLP) has achieved a high level of relevance in several areas. In the field of software engineering (SE), NLP applications are based on the classification of similar texts (e.g. software requirements), applied in tasks of estimating software effort, selection of human resources, etc. Classifying software requirements has been a complex task, considering the informality and complexity inherent in the texts produced during the software development process. The pre-trained embedding models are shown as a viable alternative when considering the low volume of textual data labeled in the area of software engineering, as well as the lack of quality of these data. Although there is much research around the application of word embedding in several areas, to date, there is no knowledge of studies that have explored its application in the creation of a specific model for the domain of the SE area. Thus, this article presents the proposal for a contextualized embedding model, called BERT_SE, which allows the recognition of specific and relevant terms in the context of SE. The assessment of BERT_SE was performed using the software requirements classification task, demonstrating that this model has an average improvement rate of 13% concerning the BERT_base model, made available by the authors of BERT. The code and pre-trained models are available at https://github.com/elianedb. △ Less

Submitted 1 December, 2021; originally announced December 2021.

Journal ref: In D. C. Wyld and D. Nagamalai (Ed.), NLPTA 2021. v.11, n.19, 2021, 115-130

SE3M: A Model for Software Effort Estimation Using Pre-trained Embedding Models

Authors: Eliane M. De Bortoli Fávero, Dalcimar Casanova, Andrey Ricardo Pimentel

Abstract: Estimating effort based on requirement texts presents many challenges, especially in obtaining viable features to infer effort. Aiming to explore a more effective technique for representing textual requirements to infer effort estimates by analogy, this paper proposes to evaluate the effectiveness of pre-trained embeddings models. For this, two embeddings approach, context-less and contextualized… ▽ More Estimating effort based on requirement texts presents many challenges, especially in obtaining viable features to infer effort. Aiming to explore a more effective technique for representing textual requirements to infer effort estimates by analogy, this paper proposes to evaluate the effectiveness of pre-trained embeddings models. For this, two embeddings approach, context-less and contextualized models are used. Generic pre-trained models for both approaches went through a fine-tuning process. The generated models were used as input in the applied deep learning architecture, with linear output. The results were very promising, realizing that pre-trained incorporation models can be used to estimate software effort based only on requirements texts. We highlight the results obtained to apply the pre-trained BERT model with fine-tuning in a single project repository, whose value is the Mean Absolute Error (MAE) is 4.25 and the standard deviation of only 0.17, which represents a result very positive when compared to similar works. The main advantages of the proposed estimation method are reliability, the possibility of generalization, speed, and low computational cost provided by the fine-tuning process, and the possibility to infer new or existing requirements. △ Less

Submitted 30 June, 2020; originally announced June 2020.

MSC Class: 68T50 ACM Class: K.6.3; I.2.7; I.5.4

General GLSM Invariants and Their Cohomological Field Theories

Authors: David Favero, Bumsig Kim

Abstract: We construct GLSM invariants for a general choice of stability in both the narrow and broad sector cases and prove they form a Cohomological Field Theory. This is obtained by forming the analogue of a virtual fundamental class which lives in the local cohomology of the twisted Hodge complex. This general construction comes from the use of two new ingredients. First, the use of the Thom-Sullivan an… ▽ More We construct GLSM invariants for a general choice of stability in both the narrow and broad sector cases and prove they form a Cohomological Field Theory. This is obtained by forming the analogue of a virtual fundamental class which lives in the local cohomology of the twisted Hodge complex. This general construction comes from the use of two new ingredients. First, the use of the Thom-Sullivan and Godement resolutions applied to matrix factorizations are introduced to handle poorly behaved (non-separated) moduli spaces. Second, a localized Chern character map built from the Atiyah class of a matrix factorization is utilized to forgo the use of Hochschild homology. △ Less

Submitted 21 March, 2021; v1 submitted 22 June, 2020; originally announced June 2020.

Comments: 81 pages, minor corrections

MSC Class: 14J33; 14F08; 14N35

A maximally-graded invertible cubic threefold that does not admit a full exceptional collection of line bundles

Authors: David Favero, Daniel Kaplan, Tyler L. Kelly

Abstract: We show that there exists a cubic threefold defined by an invertible polynomial that, when quotiented by the maximal diagonal symmetry group, has a derived category which does not have a full exceptional collection consisting of line bundles. This provides a counterexample to a conjecture of Lekili and Ueda. We show that there exists a cubic threefold defined by an invertible polynomial that, when quotiented by the maximal diagonal symmetry group, has a derived category which does not have a full exceptional collection consisting of line bundles. This provides a counterexample to a conjecture of Lekili and Ueda. △ Less

Submitted 6 June, 2020; v1 submitted 10 April, 2020; originally announced April 2020.

Comments: 8 pages, minor revision, to appear in Forum of Math, Sigma

MSC Class: 14F08

Exceptional Collections for Mirrors of Invertible Polynomials

Authors: David Favero, Daniel Kaplan, Tyler L. Kelly

Abstract: We prove the existence of a full exceptional collection for the derived category of equivariant matrix factorizations of an invertible polynomial with its maximal symmetry group. This proves a conjecture of Hirano--Ouchi. In the Gorenstein case, we also prove a stronger version of this conjecture due to Takahashi. Namely, that the full exceptional collection is strong. We prove the existence of a full exceptional collection for the derived category of equivariant matrix factorizations of an invertible polynomial with its maximal symmetry group. This proves a conjecture of Hirano--Ouchi. In the Gorenstein case, we also prove a stronger version of this conjecture due to Takahashi. Namely, that the full exceptional collection is strong. △ Less

Submitted 24 January, 2020; v1 submitted 17 January, 2020; originally announced January 2020.

Comments: 14 pages, Counterexample retracted thanks to K. Ueda. References added

MSC Class: 14F07 (Primary) 14J33; 14L24 (Secondary)

Windows for cdgas

Authors: Nitin K. Chidambaram, David Favero

Abstract: We study a Fourier-Mukai kernel associated to a GIT wall-crossing for arbitrarily singular (not necessarily reduced or irreducible) affine varieties over any field. This kernel is closely related to a derived fiber product diagram for the wall-crossing and simple to understand from the viewpoint of commutative differential graded algebras. However, from the perspective of algebraic varieties, the… ▽ More We study a Fourier-Mukai kernel associated to a GIT wall-crossing for arbitrarily singular (not necessarily reduced or irreducible) affine varieties over any field. This kernel is closely related to a derived fiber product diagram for the wall-crossing and simple to understand from the viewpoint of commutative differential graded algebras. However, from the perspective of algebraic varieties, the kernel can be quite complicated, corresponding to a complex with multiple homology sheaves. Under mild assumptions in the Calabi-Yau case, we prove that this kernel provides an equivalence between the category of perfect complexes on the two GIT quotients. More generally, we obtain semi-orthogonal decompositions which show that these categories differ by a certain number of copies of the derived category of the derived fixed locus. The derived equivalence for the Mukai flop is recovered as a very special case. △ Less

Submitted 15 January, 2021; v1 submitted 15 January, 2020; originally announced January 2020.

Comments: 30 pages; v2: updated to discuss the nature of the wall-crossing kernel and its relationship to a fiber product, v3: accepted for publication in Advances in Mathematics

MSC Class: 14F05 (Primary); 18E30 (Secondary)

Journal ref: Adv. Math. 379 (2021), 107553

Kernels for Grassmann Flops

Authors: Matthew R. Ballard, Nitin K. Chidambaram, David Favero, Patrick K. McFaddin, Robert R. Vandermolen

Abstract: We develop a generalization of the $Q$-construction of the first author, Diemer, and the third author for Grassmann flips. This generalization provides a canonical idempotent kernel on the derived category of the associated global quotient stack. The idempotent kernel, after restriction, induces a semi-orthogonal decomposition which compares the flipped varieties. Furthermore its image, after rest… ▽ More We develop a generalization of the $Q$-construction of the first author, Diemer, and the third author for Grassmann flips. This generalization provides a canonical idempotent kernel on the derived category of the associated global quotient stack. The idempotent kernel, after restriction, induces a semi-orthogonal decomposition which compares the flipped varieties. Furthermore its image, after restriction to the geometric invariant theory semistable locus, "opens" a canonical "window" in the derived category of the quotient stack. We check this window coincides with the set of representations used by Kapranov to form a full exceptional collection on Grassmannians. △ Less

Submitted 24 November, 2020; v1 submitted 27 April, 2019; originally announced April 2019.

Comments: 30 pages, expanded to identify the orthogonal for Grassmann flips, accepted for publication by Journal de Mathématiques Pures et Appliquées

MSC Class: 14F08

Journal ref: J. Math. Pures Appl. (9) 147 (2021), 29-59

Fundamental Factorization of a GLSM, Part I: Construction

Authors: Ionut Ciocan-Fontanine, David Favero, Jérémy Guéré, Bumsig Kim, Mark Shoemaker

Abstract: We define enumerative invariants associated to a hybrid Gauged Linear Sigma Model. We prove that in the relevant special cases, these invariants recover both the Gromov-Witten type invariants defined by Chang-Li and Fan-Jarvis-Ruan using cosection localization as well as the FJRW type invariants constructed by Polishchuk-Vaintrob. The invariants are defined by constructing a "fundamental factoriza… ▽ More We define enumerative invariants associated to a hybrid Gauged Linear Sigma Model. We prove that in the relevant special cases, these invariants recover both the Gromov-Witten type invariants defined by Chang-Li and Fan-Jarvis-Ruan using cosection localization as well as the FJRW type invariants constructed by Polishchuk-Vaintrob. The invariants are defined by constructing a "fundamental factorization" supported on the moduli space of Landau-Ginzburg maps to a convex hybrid model. This gives the kernel of a Fourier-Mukai transform; the associated map on Hochschild homology defines our theory. △ Less

Submitted 29 December, 2020; v1 submitted 14 February, 2018; originally announced February 2018.

Comments: Final version. To appear in Memoirs of the American Mathematical Society

MSC Class: 14N35; 14F05

Kernels from Compactifications

Authors: Matthew R. Ballard, Colin Diemer, David Favero

Abstract: To any affine scheme with a $\mathbb{G}_m$-action, we provide a Bousfield colocalization on the equivariant derived category of modules by constructing, via homotopical methods, an idempotent integral kernel. This endows the equivariant derived category with a canonical semi-orthogonal decomposition. As a special case, we demonstrate that grade-restriction windows appear as a consequence of this c… ▽ More To any affine scheme with a $\mathbb{G}_m$-action, we provide a Bousfield colocalization on the equivariant derived category of modules by constructing, via homotopical methods, an idempotent integral kernel. This endows the equivariant derived category with a canonical semi-orthogonal decomposition. As a special case, we demonstrate that grade-restriction windows appear as a consequence of this construction, giving a new proof of wall-crossing equivalences which works over an arbitrary base. The construction globalizes to yield interesting integral transforms associated to $D$-flips. △ Less

Submitted 3 October, 2017; originally announced October 2017.

Comments: 59 pages

Fractional Calabi-Yau Categories from Landau-Ginzburg Models

Authors: David Favero, Tyler L. Kelly

Abstract: We give criteria for the existence of a Serre functor on the derived category of a gauged Landau-Ginzburg model. This is used to provide a general theorem on the existence of an admissible (fractional) Calabi-Yau subcategory of a gauged Landau-Ginzburg model and a geometric context for crepant categorical resolutions. We explicitly describe our framework in the toric setting. As a consequence, we… ▽ More We give criteria for the existence of a Serre functor on the derived category of a gauged Landau-Ginzburg model. This is used to provide a general theorem on the existence of an admissible (fractional) Calabi-Yau subcategory of a gauged Landau-Ginzburg model and a geometric context for crepant categorical resolutions. We explicitly describe our framework in the toric setting. As a consequence, we generalize several theorems and examples of Orlov and Kuznetsov, ending with new examples of semi-orthogonal decompositions containing (fractional) Calabi-Yau categories. △ Less

Submitted 22 June, 2017; v1 submitted 16 October, 2016; originally announced October 2016.

Comments: 59 pages, to appear in Algebraic Geometry

MSC Class: 14F05

Derived Categories of BHK Mirrors

Authors: David Favero, Tyler L. Kelly

Abstract: We prove a derived analogue to the results of Borisov, Clarke, Kelly, and Shoemaker on the birationality of Berglund-Hubsch-Krawitz mirrors. Heavily bootstrap** off work of Seidel and Sheridan, we obtain Homological Mirror Symmetry for Berglund-Hubsch-Krawitz mirror pencils to hypersurfaces in projective space. We prove a derived analogue to the results of Borisov, Clarke, Kelly, and Shoemaker on the birationality of Berglund-Hubsch-Krawitz mirrors. Heavily bootstrap** off work of Seidel and Sheridan, we obtain Homological Mirror Symmetry for Berglund-Hubsch-Krawitz mirror pencils to hypersurfaces in projective space. △ Less

Submitted 11 June, 2019; v1 submitted 18 February, 2016; originally announced February 2016.

Comments: Minor revisions, 30 pages, to appear in Adv. Math. arXiv admin note: substantial text overlap with arXiv:1412.1354

MSC Class: 14J33

Equivalences of Families of Stacky Toric Calabi-Yau Hypersurfaces

Authors: Charles F. Doran, David Favero, Tyler L. Kelly

Abstract: Given the same anti-canonical linear system on two distinct toric varieties, we provide a derived equivalence between partial crepant resolutions of the corresponding stacky hypersurfaces. The applications include: a derived unification of toric mirror constructions, calculations of Picard lattices for linear systems of quartic surfaces, and a birational reduction of Reid's list to 81 families. Given the same anti-canonical linear system on two distinct toric varieties, we provide a derived equivalence between partial crepant resolutions of the corresponding stacky hypersurfaces. The applications include: a derived unification of toric mirror constructions, calculations of Picard lattices for linear systems of quartic surfaces, and a birational reduction of Reid's list to 81 families. △ Less

Submitted 8 March, 2018; v1 submitted 16 March, 2015; originally announced March 2015.

Comments: moderate revision, 15 pages, to appear in Proc. Amer. Math. Soc

MSC Class: 14M25; 14J33; 14J32; 14J28

Proof of a Conjecture of Batyrev and Nill

Authors: David Favero, Tyler L. Kelly

Abstract: We prove equivalences of derived categories for the various mirrors in the Batyrev-Borisov construction. In particular, we obtain a positive answer to a conjecture of Batyrev and Nill. The proof involves passing to an associated category of singularities and toric variation of geometric invariant theory quotients. We prove equivalences of derived categories for the various mirrors in the Batyrev-Borisov construction. In particular, we obtain a positive answer to a conjecture of Batyrev and Nill. The proof involves passing to an associated category of singularities and toric variation of geometric invariant theory quotients. △ Less

Submitted 16 October, 2016; v1 submitted 3 December, 2014; originally announced December 2014.

Comments: 23 pages. To appear in American Journal of Mathematics. Minor corrections

MSC Class: 14F05

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

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!

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

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

Variation of geometric invariant theory quotients and derived categories

Authors: Matthew Ballard, David Favero, Ludmil Katzarkov

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

Submitted 12 May, 2014; v1 submitted 29 March, 2012; originally announced March 2012.

Comments: Updated references and addresses

A category of kernels for equivariant factorizations and its implications for Hodge theory

Authors: Matthew Ballard, David Favero, Ludmil Katzarkov

Abstract: We provide a factorization model for the continuous internal Hom, in the homotopy category of $k$-linear dg-categories, between dg-categories of equivariant factorizations. This motivates a notion, similar to that of Kuznetsov, which we call the extended Hochschild cohomology algebra of the category of equivariant factorizations. In some cases of geometric interest, extended Hochschild cohomology… ▽ More We provide a factorization model for the continuous internal Hom, in the homotopy category of $k$-linear dg-categories, between dg-categories of equivariant factorizations. This motivates a notion, similar to that of Kuznetsov, which we call the extended Hochschild cohomology algebra of the category of equivariant factorizations. In some cases of geometric interest, extended Hochschild cohomology contains Hochschild cohomology as a subalgebra and Hochschild homology as a homogeneous component. We use our factorization model for the internal Hom to calculate the extended Hochschild cohomology for equivariant factorizations on affine space. Combining the computation of extended Hochschild cohomology with the Hochschild-Kostant-Rosenberg isomorphism and a theorem of Orlov recovers and extends Griffiths' classical description of the primitive cohomology of a smooth, complex projective hypersurface in terms of homogeneous pieces of the Jacobian algebra. In the process, the primitive cohomology is identified with the fixed subspace of the cohomological endomorphism associated to an interesting endofunctor of the bounded derived category of coherent sheaves on the hypersurface. We also demonstrate how to understand the whole Jacobian algebra as morphisms between kernels of endofunctors of the derived category. Finally, we present a bootstrap method for producing algebraic cycles in categories of equivariant factorizations. As proof of concept, we show how this reproves the Hodge conjecture for all self-products of a particular K3 surface closely related to the Fermat cubic fourfold. △ Less

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

Comments: Updates references and addresss. comments still very welcome!

Orlov spectra: bounds and gaps

Authors: Matthew Ballard, David Favero, Ludmil Katzarkov

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

Submitted 14 October, 2013; v1 submitted 3 December, 2010; originally announced December 2010.

Comments: Previous version was missing its head, 52 pages, 1 figure, uses Tikz; comments are still encouraged!

Journal ref: Invent. Math. 189 (2012), no. 2, 359--430

Hochschild dimensions of tilting objects

Authors: Matthew Ballard, David Favero

Abstract: We give a new upper bound for the generation time of a tilting object and use it to verify, in some new cases, a conjecture of Orlov on the Rouquier dimension of the derived category of coherent sheaves on a smooth variety. We give a new upper bound for the generation time of a tilting object and use it to verify, in some new cases, a conjecture of Orlov on the Rouquier dimension of the derived category of coherent sheaves on a smooth variety. △ Less

Submitted 14 October, 2013; v1 submitted 11 May, 2009; originally announced May 2009.

Comments: 21 pages. Uses the Tikz package. Published version. Comments are encouraged!

Journal ref: Int. Math. Res. Not. IMRN 2012, no. 11, 2607--2645

Some finiteness results for Fourier-Mukai partners

Authors: David Favero

Abstract: We develop some methods for studying the Fourier-Mukai partners of an algebraic variety. As applications we prove that abelian varieties have finitely many Fourier-Mukai partners and that they are uniquely determined by their derived category of coherent $D$-modules. We also generalize a famous theorem due to A. Bondal and D. Orlov. We develop some methods for studying the Fourier-Mukai partners of an algebraic variety. As applications we prove that abelian varieties have finitely many Fourier-Mukai partners and that they are uniquely determined by their derived category of coherent $D$-modules. We also generalize a famous theorem due to A. Bondal and D. Orlov. △ Less

Submitted 17 May, 2011; v1 submitted 3 December, 2007; originally announced December 2007.

Comments: 17 pages, some concessions had to be made with regards to when the autoequivalence group produces an arithmetic action on cohomology