Quintic threefolds and Fano elevenfolds

The derived category of coherent sheaves on a general quintic threefold is a central object in mirror symmetry. We show that it can be embedded into the derived category of a certain Fano elevenfold. Our proof also generates related examples in different dimensions.Comment: V1: 12 pages. V2: added reference to work of Iliev and Manivel. V3: persistent sign error corrected. Other minor changes following referee's suggestions. To appear in Crell

Degeneracy loci, virtual cycles and nested Hilbert schemes II

We express nested Hilbert schemes of points and curves on a smooth projective surface as "virtual resolutions" of degeneracy loci of maps of vector bundles on smooth ambient spaces. We show how to modify the resulting obstruction theories to produce the virtual cycles of Vafa-Witten theory and other sheaf-counting problems. The result is an effective way of calculating invariants (VW, SW, local PT and local DT) via Thom-Porteous-like Chern class formulae.Comment: 42 pages. Two referees' corrections. To appear in Compositi

Degeneracy loci, virtual cycles and nested Hilbert schemes I

Given a map of vector bundles on a smooth variety, consider the deepest degeneracy locus where its rank is smallest. We show it carries a natural perfect obstruction theory whose virtual cycle can be calculated by the Thom-Porteous formula. We show nested Hilbert schemes of points on surfaces can be expressed as degeneracy loci. We show how to modify the resulting obstruction theories to recover the virtual cycles of Vafa-Witten and reduced local DT theories. The result computes some Vafa-Witten invariants in terms of Carlsson-Okounkov operators. This proves and extends a conjecture of Gholampour-Sheshmani-Yau and generalises a vanishing result of Carlsson-Okounkov.Comment: Published version. 29 page

The 3-fold vertex via stable pairs

The theory of stable pairs in the derived category yields an enumerative geometry of curves in 3-folds. We evaluate the equivariant vertex for stable pairs on toric 3-folds in terms of weighted box counting. In the toric Calabi-Yau case, the result simplifies to a new form of pure box counting. The conjectural equivalence with the DT vertex predicts remarkable identities. The equivariant vertex governs primary insertions in the theory of stable pairs for toric varieties. We consider also the descendent vertex and conjecture the complete rationality of the descendent theory for stable pairs.Comment: Typos fixed. 40 pages, 8 figure

An Economic Model of Fair Use

The doctrine of fair use allows limited copying of creative works based on the rationale that copyright holders would consent to such uses if bargaining were possible. This paper develops a formal model of fair use in an effort to derive the efficient legal standard for applying the doctrine. The model interprets copies and originals as differentiated products and defines fair use as a threshold separating permissible copying from infringement. The analysis highlights the role of technology in shaping the efficient standard. Discussion of several key cases illustrates the applicability of the model.Fair use, Copyright law, Technological improvement

Density Functional Calculations On First-Row Transition Metals

The excitation energies and ionization potentials of the atoms in the first transition series are notoriously difficult to compute accurately. Errors in calculated excitation energies can range from 1--4 eV at the Hartree-Fock level, and errors as high as 1.5eV are encountered for ionization energies. In the current work we present and discuss the results of a systematic study of the first transition series using a spin-restricted Kohn-Sham density-functional method with the gradient-corrected functionals of Becke and Lee, Yang and Parr. Ionization energies are observed to be in good agreement with experiment, with a mean absolute error of approximately 0.15eV; these results are comparable to the most accurate calculations to date, the Quadratic Configuration Interaction (QCISD(T)) calculations of Raghavachari and Trucks. Excitation energies are calculated with a mean error of approximately 0.5eV, compared with \sim 1\mbox{eV} for the local density approximation and 0.1eV for QCISD(T). These gradient-corrected functionals appear to offer an attractive compromise between accuracy and computational effort.Comment: Journal of Chemical Physics, 29, LA-UR-93-425