Showing 1–25 of 25 results for author: Ballard, M

Rootfinding and Optimization Techniques for Solving Nonlinear Systems of Equations Arising from Cohesive Zone Models

Authors: Alberto Cattaneo, Varun Shankar, M. Keith Ballard

Abstract: While approaches to model the progression of fracture have received significant attention, methods to find the solution to the associated nonlinear equations have not. In general, nonlinear solution methods and optimization methods have a rich body of work spanning back to at least the first century, providing the opportunity for advancement in the field of computational discrete damage modeling.… ▽ More While approaches to model the progression of fracture have received significant attention, methods to find the solution to the associated nonlinear equations have not. In general, nonlinear solution methods and optimization methods have a rich body of work spanning back to at least the first century, providing the opportunity for advancement in the field of computational discrete damage modeling. In this paper, we explore the performance of established methods when applied to problems involving cohesive zone models to identify promising methods for further improvement in this specialized application. We first use a simple 1D example problem with low degrees of freedom (DoF) to compare nonlinear solution methods, thereby allowing for both straightforward and intuitive visualization of the residual space and reasoning about the cause for each method's performance. We then explore the impact of higher DoF discretizations of the same problem on the performance of the solution methods. Finally, we discuss techniques to improve performance or to overcome limitations of the various methods. △ Less

Submitted 26 February, 2025; originally announced February 2025.

King's Conjecture and Birational Geometry

Authors: Matthew R. Ballard, Christine Berkesch, Michael K. Brown, Lauren Cranton Heller, Daniel Erman, David Favero, Sheel Ganatra, Andrew Hanlon, Jesse Huang

Abstract: We state and prove a birational realization of King's Conjecture for a category glued from the derived categories of all birational models in the GKZ fan of a toric variety. Our perspective extends ideas of Beilinson and Bondal to all semiprojective toric varieties. As a result, we obtain new and birationally-uniform applications to resolutions of the diagonal, categorical and noncommutative resol… ▽ More We state and prove a birational realization of King's Conjecture for a category glued from the derived categories of all birational models in the GKZ fan of a toric variety. Our perspective extends ideas of Beilinson and Bondal to all semiprojective toric varieties. As a result, we obtain new and birationally-uniform applications to resolutions of the diagonal, categorical and noncommutative resolutions, monads, Frobenius generation, and window categories. △ Less

Submitted 30 December, 2024; originally announced January 2025.

Comments: 54 pages, 7 figures

MSC Class: 14M25; 14F08; 13D02; 14J33; 16E35

High Frobenius pushforwards generate the bounded derived category

Authors: Matthew R. Ballard, Srikanth B. Iyengar, Pat Lank, Alapan Mukhopadhyay, Josh Pollitz

Abstract: This work concerns generators for the bounded derived category of coherent sheaves over a noetherian scheme $X$ of prime characteristic. The main result is that when the Frobenius map on $X$ is finite, for any compact generator $G$ of $\mathsf{D}(X)$ the Frobenius pushforward $F ^e_*G$ generates the bounded derived category whenever $p^e$ is larger than the codepth of $X$, an invariant that is a m… ▽ More This work concerns generators for the bounded derived category of coherent sheaves over a noetherian scheme $X$ of prime characteristic. The main result is that when the Frobenius map on $X$ is finite, for any compact generator $G$ of $\mathsf{D}(X)$ the Frobenius pushforward $F ^e_*G$ generates the bounded derived category whenever $p^e$ is larger than the codepth of $X$, an invariant that is a measure of the singularity of $X$. The conclusion holds for all positive integers $e$ when $X$ is locally complete intersection. The question of when one can take $G=\mathcal{O}_X$ is also investigated. For smooth projective complete intersections it reduces to a question of generation of the Kuznetsov component. △ Less

Submitted 13 April, 2023; v1 submitted 31 March, 2023; originally announced March 2023.

Comments: 31 pages. Minor edits

MSC Class: 14A30 (primary); 13A35; 14G17; 13D09

Consequences of the existence of exceptional collections in arithmetic and rationality

Authors: Matthew R. Ballard, Alexander Duncan, Alicia Lamarche, Patrick K. McFaddin

Abstract: A well-known conjecture of Orlov asks whether the existence of a full exceptional collection implies rationality of the underlying variety. We prove this conjecture for arithmetic toric varieties over general fields. We also investigate a slight generalization of this conjecture, where the endomorphism algebras of the exceptional objects are allowed to be separable field extensions of the base fie… ▽ More A well-known conjecture of Orlov asks whether the existence of a full exceptional collection implies rationality of the underlying variety. We prove this conjecture for arithmetic toric varieties over general fields. We also investigate a slight generalization of this conjecture, where the endomorphism algebras of the exceptional objects are allowed to be separable field extensions of the base field. We show this generalization is false by exhibiting a geometrically rational, smooth, projective threefold over the the field of rational numbers that possesses a full étale-exceptional collection but not a rational point. The counterexample comes from twisting a non-retract rational variety with a rational point and full étale-exceptional collection by a torsor that is invisible to Brauer invariants. Along the way, we develop some tools for linearizing objects, including a group that controls linearizations. △ Less

Submitted 26 September, 2024; v1 submitted 21 September, 2020; originally announced September 2020.

MSC Class: 14E08 (Primary) 14F08; 14L99 (Secondary)

Separable algebras and coflasque resolutions

Authors: Matthew R. Ballard, Alexander Duncan, Alicia Lamarche, Patrick K. McFaddin

Abstract: Over a non-closed field, it is a common strategy to use separable algebras as invariants to distinguish algebraic and geometric objects. The most famous example is the deep connection between Severi-Brauer varieties and central simple algebras. For more general varieties, one might use endomorphism algebras of line bundles, of indecomposable vector bundles, or of exceptional objects in their deriv… ▽ More Over a non-closed field, it is a common strategy to use separable algebras as invariants to distinguish algebraic and geometric objects. The most famous example is the deep connection between Severi-Brauer varieties and central simple algebras. For more general varieties, one might use endomorphism algebras of line bundles, of indecomposable vector bundles, or of exceptional objects in their derived categories. Using Galois cohomology, we describe a new invariant of reductive algebraic groups that captures precisely when this strategy will fail. Our main result characterizes this invariant in terms of coflasque resolutions of linear algebraic groups introduced by Colliot-Thélène. We determine whether or not this invariant is trivial for many fields. For number fields, we show it agrees with the Tate-Shafarevich group of the linear algebraic group, up to behavior at real places. △ Less

Submitted 22 February, 2024; v1 submitted 11 June, 2020; originally announced June 2020.

Comments: 31 pages; final version

MSC Class: 11E72 (Primary) 12G05; 14G25; 14G27 (Secondary)

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

Derived categories of centrally-symmetric smooth toric Fano varieties

Authors: Matthew R Ballard, Alexander Duncan, Patrick K. McFaddin

Abstract: We exhibit full exceptional collections of vector bundles on any smooth, Fano arithmetic toric variety whose split fan is centrally symmetric. We exhibit full exceptional collections of vector bundles on any smooth, Fano arithmetic toric variety whose split fan is centrally symmetric. △ Less

Submitted 16 June, 2020; v1 submitted 21 December, 2018; originally announced December 2018.

Comments: 27 pages, to appear in Math. Nachr

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

The toric Frobenius morphism and a conjecture of Orlov

Authors: Matthew R. Ballard, Alexander Duncan, Patrick K. McFaddin

Abstract: We combine the Bondal-Uehara method for producing exceptional collections on toric varieties with a result of the first author and Favero to expand the set of varieties satisfying Orlov's Conjecture on derived dimension. We combine the Bondal-Uehara method for producing exceptional collections on toric varieties with a result of the first author and Favero to expand the set of varieties satisfying Orlov's Conjecture on derived dimension. △ Less

Submitted 20 September, 2017; originally announced September 2017.

Comments: 5 pages, comments welcome

Journal ref: European Journal of Mathematics 5, 640-645 (2019)

Kernels for Noncommutative Projective Schemes

Authors: Matthew R. Ballard, Blake A. Farman

Abstract: We give a noncommutative geometric description of the internal Hom dg-category in the homotopy category of dg-categories between two noncommutative projective schemes in the style of Artin-Zhang. As an immediate application, we give a noncommutative projective derived Morita statement along lines of Rickard and Orlov. We give a noncommutative geometric description of the internal Hom dg-category in the homotopy category of dg-categories between two noncommutative projective schemes in the style of Artin-Zhang. As an immediate application, we give a noncommutative projective derived Morita statement along lines of Rickard and Orlov. △ Less

Submitted 20 February, 2018; v1 submitted 19 September, 2017; originally announced September 2017.

Comments: 26 pages; comments welcome. Revised version, minor changes

MSC Class: 14A22; 16D90; 16E35

On derived categories of arithmetic toric varieties

Authors: Matthew R. Ballard, Alexander Duncan, Patrick K. McFaddin

Abstract: We begin a systematic investigation of derived categories of smooth projective toric varieties defined over an arbitrary base field. We show that, in many cases, toric varieties admit full exceptional collections. Examples include all toric surfaces, all toric Fano 3-folds, some toric Fano 4-folds, the generalized del Pezzo varieties of Voskresenskii and Klyachko, and toric varieties associated to… ▽ More We begin a systematic investigation of derived categories of smooth projective toric varieties defined over an arbitrary base field. We show that, in many cases, toric varieties admit full exceptional collections. Examples include all toric surfaces, all toric Fano 3-folds, some toric Fano 4-folds, the generalized del Pezzo varieties of Voskresenskii and Klyachko, and toric varieties associated to Weyl fans of type $A$. Our main technical tool is a completely general Galois descent result for exceptional collections of objects on (possibly non-toric) varieties over non-closed fields. △ Less

Submitted 27 December, 2018; v1 submitted 11 September, 2017; originally announced September 2017.

Journal ref: Ann. K-Th. 4 (2019) 211-242

Wall crossing for derived categories of moduli spaces of sheaves on rational surfaces

Authors: Matthew Robert Ballard

Abstract: We remove the global quotient presentation input in the theory of windows in derived categories of smooth Artin stacks of finite type. As an application, we use existing results on flipping of strata for wall-crossing of Gieseker semi-stable torsion-free sheaves of rank two on rational surfaces to produce semi-orthogonal decompositions relating the different moduli stacks. The complementary pieces… ▽ More We remove the global quotient presentation input in the theory of windows in derived categories of smooth Artin stacks of finite type. As an application, we use existing results on flipping of strata for wall-crossing of Gieseker semi-stable torsion-free sheaves of rank two on rational surfaces to produce semi-orthogonal decompositions relating the different moduli stacks. The complementary pieces of these semi-orthogonal decompositions are derived categories of products of Hilbert schemes of points on the surface. △ Less

Submitted 14 December, 2014; originally announced December 2014.

Comments: Short, 17 pages - please read and feel encouraged to comment!

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

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

Equivalences of derived categories of sheaves on quasi-projective schemes

Authors: Matthew Robert Ballard

Abstract: We extend Orlov's result on representability of equivalences to schemes projective over a field. We also investigate the quasi-projective case. We extend Orlov's result on representability of equivalences to schemes projective over a field. We also investigate the quasi-projective case. △ Less

Submitted 21 September, 2009; v1 submitted 19 May, 2009; originally announced May 2009.

Comments: 28 pages. Comments are encouraged; v2: Update lazily written introduction to include previous work on dg-categories (and other related models) and important work of Lunts and Orlov

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

Sheaves on local Calabi-Yau varieties

Authors: Matthew Robert Ballard

Abstract: We investigate sheaves supported on the zero section of the total space of a locally-free sheaf E on a smooth, projective variety X when the top exterior power of E is isomorphic to the canonical bundle of X. We rephrase this construction using the language of A-infinity algebra and provide a simple characterisation of the case E is simply the canonical bundle itself. We investigate sheaves supported on the zero section of the total space of a locally-free sheaf E on a smooth, projective variety X when the top exterior power of E is isomorphic to the canonical bundle of X. We rephrase this construction using the language of A-infinity algebra and provide a simple characterisation of the case E is simply the canonical bundle itself. △ Less

Submitted 22 January, 2008; originally announced January 2008.

Comments: 23 pages. Comments are welcome

Derived categories of sheaves on singular schemes with an application to reconstruction

Authors: Matthew Robert Ballard

Abstract: We prove that the bounded derived category of coherent sheaves with proper support is equivalent to the category of locally-finite, cohomological functors on the perfect derived category of a quasi-projective scheme over a field. We introduce the notions of pseudo-adjoints and Rouquier functors and study them. As an application of these ideas and results, we extend the reconstruction result of Bon… ▽ More We prove that the bounded derived category of coherent sheaves with proper support is equivalent to the category of locally-finite, cohomological functors on the perfect derived category of a quasi-projective scheme over a field. We introduce the notions of pseudo-adjoints and Rouquier functors and study them. As an application of these ideas and results, we extend the reconstruction result of Bondal and Orlov to Gorenstein projective varieties. △ Less

Submitted 17 May, 2011; v1 submitted 16 January, 2008; originally announced January 2008.

Comments: 23 pages. Final version although comments and suggestions are always welcome

Journal ref: Advances in Mathematics, Volume 227, Issue 2, 1 June 2011, Pages 895-919

Meet homological mirror symmetry

Authors: Matthew Robert Ballard

Abstract: In this paper, we introduce the interested reader to homological mirror symmetry. After recalling a little background knowledge, we tackle the simplest cases of homological mirror symmetry: curves of genus zero and one. We close by outlining the current state of the field and mentioning what homo- logical mirror symmetry has to say about other aspects of mirror symmetry. In this paper, we introduce the interested reader to homological mirror symmetry. After recalling a little background knowledge, we tackle the simplest cases of homological mirror symmetry: curves of genus zero and one. We close by outlining the current state of the field and mentioning what homo- logical mirror symmetry has to say about other aspects of mirror symmetry. △ Less

Submitted 19 May, 2009; v1 submitted 14 January, 2008; originally announced January 2008.

Comments: 34 pages. Published version. Comments still very welcome

Journal ref: Modular forms and string duality, 191--224, Fields Inst. Commun., 54, Amer. Math. Soc., Providence, RI, 2008