Hodge Theory and Symplectic Boundary Conditions

We study symplectic Laplacians on compact symplectic manifolds with boundary. These Laplacians are associated with symplectic cohomologies of differential forms and can be of fourth-order. We introduce several natural boundary conditions on differential forms and use them to establish Hodge theory by proving various form decomposition and also isomorphisms between the symplectic cohomologies and the spaces of harmonic fields. These novel boundary conditions can be applied in certain cases to study relative symplectic cohomologies and Lefschetz maps between relative de Rham cohomologies. As an application, our results are used to solve boundary value problems of differential forms.

Non-Kaehler SYZ mirror symmetry

We study SYZ mirror symmetry in the context of non-Kaehler Calabi-Yau manifolds. In particular, we study the six-dimensional Type II supersymmetric $SU(3)$ systems with Ramond-Ramond fluxes, and generalize them to higher dimensions. We show that Fourier-Mukai transform provides the mirror map between these Type IIA and Type IIB supersymmetric systems in the semi-flat setting. This is concretely exhibited by nilmanifolds.

Cohomology and Hodge Theory on Symplectic Manifolds: III

We introduce filtered cohomologies of differential forms on symplectic manifolds. They generalize and include the cohomologies discussed in Paper I and II as a subset. The filtered cohomologies are finite-dimensional and can be associated with differential elliptic complexes. Algebraically, we show that the filtered cohomologies give a two-sided resolution of Lefschetz maps, and thereby, they are directly related to the kernels and cokernels of the Lefschetz maps. We also introduce a novel, non-associative product operation on differential forms for symplectic manifolds. This product generates an A-infinity algebra structure on forms that underlies the filtered cohomologies and gives them a ring structure. As an application, we demonstrate how the ring structure of the filtered cohomologies can distinguish different symplectic four-manifolds in the context of a circle times a fibered three-manifold.

Generalized Cohomologies and Supersymmetry

We show that the complex cohomologies of Bott, Chern, and Aeppli and the symplectic cohomologies of Tseng and Yau arise in the context of type II string theory. Specifically, they can be used to count a subset of scalar moduli fields in Minkowski compactification with RR fluxes in the presence of either O5/D5 or O6/D6 brane sources, respectively. Further, we introduce a new set of cohomologies within the generalized complex geometry framework which interpolate between these known complex and symplectic cohomologies. The generalized complex cohomologies play the analogous role for counting massless fields for a general supersymmetric Minkowski type II compactification with Ramond-Ramond flux.

Cohomology and Hodge Theory on Symplectic Manifolds: II

We show that the exterior derivative operator on a symplectic manifold has a natural decomposition into two linear differential operators, analogous to the Dolbeault operators in complex geometry. These operators map primitive forms into primitive forms and therefore lead directly to the construction of primitive cohomologies on symplectic manifolds. Using these operators, we introduce new primitive cohomologies that are analogous to the Dolbeault cohomology in the complex theory. Interestingly, the finiteness of these primitive cohomologies follows directly from an elliptic complex. We calculate the known primitive cohomologies on a nilmanifold and show that their dimensions can vary depending on the class of the symplectic form.

New Heterotic Non-Kahler Geometries

New heterotic torsional geometries are constructed as orbifolds of T^2 bundles over K3. The discrete symmetries considered can be freely-acting or have fixed points and/or fixed curves. We give explicit constructions when the base K3 is Kummer or algebraic. The orbifold geometries can preserve N=1,2 supersymmetry in four dimensions or be non-supersymmetric.

Local Heterotic Torsional Models

We present a class of smooth supersymmetric heterotic solutions with a non-compact Eguchi-Hanson space. The non-compact geometry is embedded as the base of a six-dimensional non-Kahler manifold with a non-trivial torus fiber. We solve the non-linear anomaly equation in this background exactly. We also define a new charge that detects the non-Kahlerity of our solutions.