The proposed research program provides an approach to Kontsevich?s homological mirror symmetry conjectures (HMS) for the large class of mirror pairs of toric hypersurfaces discovered by Batyrev and Borisov. The approach uses constructible sheaves, especially the microlocal theory of sheaves developed by Kashiwara and Schapira, in a fundamental way, and leads to new constructions in sheaf theory. At the large volume limit of the symplectic side of HMS, the project aims to exhibit an explicit combinatorial skeleton over which the Fukaya category is expected to localize -- i.e. form a sheaf of dg categories. Another aim is to show that these spaces, and more general singular Lagrangians and Legendrians, all carry a canonical sheaf of dg categories, the "Kashiwara-Schapira sheaf." It is defined by microlocal sheaf techniques, and amenable to computations. Thus the conjectural "sheaf of Fukaya categories" can be defined and computed even in advance of a rigorous symplectic geometry construction, which is expected to be equivalent. A third aim is to show that the global category of the Kashiwara-Schapira sheaf is equivelent to the category of perfect complexes on the large complex structure limit of the complex side of HMS.

The proposed research program provides an approach to Kontsevich?s homological mirror symmetry conjectures (HMS) for the large class of mirror pairs of toric ypersurfaces discovered by Batyrev and Borisov. The approach uses constructible sheaves, especially the microlocal theory of sheaves developed by Kashiwara and Schapira, in a fundamental way, and leads to new constructions in sheaf theory. At the large volume limit of the symplectic side of HMS, the project aims to exhibit an explicit combinatorial skeleton over which the Fukaya category is expected to localize -- i.e. form a sheaf of dg categories. Another aim is to show that these spaces, and more general singular Lagrangians and Legendrians, all carry a canonical sheaf of dg categories, the "Kashiwara-Schapira sheaf." It is defined by microlocal sheaf techniques, and amenable to computations. Thus the conjectural "sheaf of Fukaya categories" can be defined and computed even in advance of a rigorous symplectic geometry construction, which is expected to be equivalent. A third aim is to show that the global category of the Kashiwara-Schapira sheaf is equivelent to the category of perfect complexes on the large complex structure limit of the complex side of HMS.

Agency
National Science Foundation (NSF)
Institute
Division of Mathematical Sciences (DMS)
Type
Standard Grant (Standard)
Application #
1206520
Program Officer
Linda Chen
Project Start
Project End
Budget Start
2012-09-01
Budget End
2013-01-31
Support Year
Fiscal Year
2012
Total Cost
$105,479
Indirect Cost
Name
Northwestern University at Chicago
Department
Type
DUNS #
City
Chicago
State
IL
Country
United States
Zip Code
60611