arXiv research

Invariant obstructs separating coassociative 4-folds.

New formulas for coassociative submanifolds' volume variation.

Article constructs coassociative submanifolds in Joyce's $G_2$-manifolds.

McLean proved that the moduli space of coassociative deformations of a compact coassociative 4-submanifold C in a G_2-manifold (M,phi,g) is a smooth manifold of dimension equal to b^2_+(C). In this paper, we show that the moduli space of coassociative deformations of a noncompact, asymptotically cylindrical coassociati…

It is shown that coassociative cones in R^7 that are r-oriented and ruled by 2-planes are equivalent to CR-holomorphic curves in the oriented Grassmanian of 2-planes in R^7. The geometry of these CR-holomorphic curves is studied and related to holomorphic curves in S^6. This leads to an equivalence between associative …

Coassociative submanifolds are 4-dimensional calibrated submanifolds in $G_{2}$-manifolds. In this paper, we construct explicit examples of coassociative submanifolds in $Λ^{2}_{-} S^{4}$, which is the complete $G_{2}$-manifold constructed by Bryant and Salamon. Classifying the Lie groups which have 3- or 4-dimensional…

Given a coassociative 4-fold N with a conical singularity in a varphi-closed 7-manifold M (a manifold endowed with a distinguished closed 3-form varphi), we construct a smooth family, {N'(t): t\in(0,tau)} for some tau>0, of (smooth, nonsingular,) compact coassociative 4-folds in M which converge to N in the sense of cu…

We study the problem of desingularizing coassociative conical singularities via gluing, allowing for topological and analytic obstructions, and discuss applications. This extends the author's earlier work on the unobstructed case. We interpret the analytic obstructions geometrically via the obstruction theory for defor…

We study the stability of coassociative 4-folds with conical singularities under perturbations of the ambient G_2 structure by defining an integer invariant of a coassociative cone which we call the stability index. The stability index of a coassociative cone is determined by the spectrum of the curl operator acting on…

We study the problem of counting instantons with coassociative boundary condition in (almost) G_(2)-manifolds. This is analog to the open Gromov-Witten theory for counting holomorphic curves with Lagrangian boundary condition in Calabi-Yau manifolds. We explain its relationship with the Seiberg-Witten invariants for co…

We study the natural structure on the moduli space of deformations of compact coassociative submanifolds. We show that a G2-manifold with a T^4-action of isomorphisms such that the orbits are coassociative tori is locally equivalent to a minimal 3-manifold in R^{3,3} = H^2(T^4,R) with positive induced metric. By studyi…

We study coassociative 4-folds N in R^7 which are asymptotically conical to a cone C with rate lambda<1. If lambda is in the interval [-2,1) and generic, we show that the moduli space of coassociative deformations of N which are also asymptotically conical to C with rate lambda is a smooth manifold, and we calculate it…

We derive formulas for the mean curvature of associative 3-folds, coassociative 4-folds, and Cayley 4-folds in the general case where the ambient space has intrinsic torsion. Consequently, we are able to characterize those G2-structures (resp., Spin(7)-structures) for which every associative 3-fold (resp. coassociative…

Bryant-Salamon constructed three 1-parameter families of complete manifolds with holonomy $\mathrm{G}_2$ which are asymptotically conical to a holonomy $\mathrm{G}_2$ cone. For each of these families, including their asymptotic cone, we construct a fibration by asymptotically conical and conically singular coassociativ…

Study strict stability of cones with isolated singularities.

Coassociative 4-folds are a particular class of 4-dimensional submanifolds which are defined in a 7-dimensional manifold M with a G_2 structure given by a `positive' differential 3-form, sometimes called G_2-form. Assuming that a G_2-form on M is closed, we study deformations of a compact coassociative submanifold N wi…

In an earlier paper, we proved that given an asymptotically cylindrical G_2-manifold M with a Calabi-Yau boundary X, the moduli space of coassociative deformations of an asymptotically cylindrical coassociative 4-fold C in M with a fixed special Lagrangian boundary L in X is a smooth manifold of dimension dim(V_+), whe…

Inspired by a string duality, we construct a deformation family for $G_2$-orbifolds given as total spaces of coassociative fibrations by ADE singularities over a closed and oriented smooth three-manifold $Q$. The deformations are parametrized by sections of a fiber bundle on $Q$ that can be interpreted as spectral/came…

This paper studies the formal adiabatic limit of coassociative K3 fibred torsion free $G_2$ manifolds fibred over a contractible base, shows how to put this structure on a different fibration obtained by fibrewise performing Mukai duality of K3 surfaces, and furthermore relates the gauge theories on both fibrations by …

In G2 manifolds, 3-dimensional associative submanifolds (instantons) play a role similar to J-holomorphic curves in symplectic geometry. In [21], instantons in G2 manifolds were constructed from regular J-holomorphic curves in coassociative submanifolds. In this exposition paper, after reviewing the background of G2 ge…

A class of examples of Riemannian metrics with holonomy G_2 on compact 7-manifolds was constructed by the author in arXiv:math.DG/0012189 and later in a joint work with N.-H. Lee in arXiv:0810.0957, using a certain `generalized connected sum' of two asymptotically cylindrical manifolds with holonomy SU(3). We consider,…

On a projective complex manifold, the Abelian group of Divisors maps surjectively onto that of holomorphic line bundles (the Picard group). On a $G_2$-manifold we use coassociative submanifolds to define an analogue of the first, and a gauge theoretical equation for a connection on a gerbe to define an analogue of the …

Every closed, oriented, real analytic Riemannian 3-manifold can be isometrically embedded as a special Lagrangian submanifold of a Calabi-Yau 3-fold, even as the real locus of an antiholomorphic, isometric involution. Every closed, oriented, real analytic Riemannian 4-manifold whose bundle of self-dual 2-forms is trivi…

We study the Hitchin component in the space of representations of the fundamental group of a Riemann surface into a split real simple Lie group in the rank 2 case. We prove that such representations are described by a conformal structure and class of Higgs bundle we call cyclic and we show cyclic Higgs bundles correspo…

In this paper we investigate the geometry of Calibrated submanifolds and study relations between their moduli-space and geometry of the ambient manifold. In particular for a Calabi-Yau manifold we define Special Lagrangian submanifolds for any Kahler metric on it. We show that for a choice of Kahler metric the Borcea-V…

The paper constructs calibrated submanifolds in Euclidean spaces with specific symmetries.

We extend the construction of the Hennings TQFT for ribbon Hopf algebras to the case of ribbon quasi-Hopf algebras as defined by Drinfeld. Calculations proceed in a similar fashion to the ordinary Hopf algebra case, but also require the handling of the non-trivial coassociator in the triple tensor product of the algebr…

This paper treats the theory of Mukai duality on K3 surfaces from the differential geometric perspective, taylored to the need of the author's companion paper about Mukai duality of adiabatic coassociative K3 fibrations.

This paper is dedicated to the study of deformations of coassociative 4-folds in a G_2 manifold which have conical singularities. We stratify the types of deformations allowed into three problems. The main result for each problem states that the moduli space is locally homeomorphic to the kernel of a smooth map between…

For two nearby disjoint coassociative submanifolds C and C' in a G_2-manifold, we construct thin instantons with boundaries lying on C and C' from regular J-holomorphic curves in C. We explain their relationship with the Seiberg-Witten invariants for C.

The paper proves Hodge decompositions and partial bar partial lemmas for G2 and Calabi-Yau manifolds.

Third in a series, this paper constructs non-trivial Cayley fibrations with conical singularities.

We prove long-time existence and convergence results for spacelike solutions to mean curvature flow in the pseudo-Euclidean space $\mathbb{R}^{n,m}$, which are entire or defined on bounded domains and satisfying Neumann or Dirichlet boundary conditions. As an application, we prove long-time existence and convergence of…

Let M^7 a manifold with holonomy in G_2, and Y^3 an associative submanifold with boundary in a coassociative submanifold. In [5], the authors proved that M_{X,Y}, the moduli space of its associative deformations with boundary in the fixed X, has finite virtual dimension. Using Bochner's technique, we give a vanishing t…

We construct calibrated submanifolds of R^7 and R^8 by viewing them as total spaces of vector bundles and taking appropriate sub-bundles which are naturally defined using certain surfaces in R^4. We construct examples of associative and coassociative submanifolds of R^7 and of Cayley submanifolds of R^8. This construct…

We first review the notion of a $G_2$-manifold, defined in terms of a principal $G_2$ ("gauge") bundle over a $7$-dimensional manifold, before discussing their relation to supergravity. In a second thread, we focus on associative submanifolds and present their deformation theory. In particular, we elaborate on a deform…

The principal theory of this paper comprises a technique for constructing associative, coassociative and Cayley submanifolds of Euclidean space with symmetries, using first-order ordinary differential equations. Explicit examples of U(1)-invariant associative cones in R^7 and SU(2)-invariant Cayley 4-folds in R^8 are t…

This article studies the geometry of moduli spaces of G2-manifolds, associative cycles, coassociative cycles and deformed Donaldson-Thomas bundles. We introduce natural symmetric cubic tensors and differential forms on these moduli spaces. They correspond to Yukawa couplings and correlation functions in M-theory. We ex…

We show that if a compact, oriented 4-manifold admits a coassociative-free immersion into the Euclidean 7-space then its Euler characteristic and signature vanish. Moreover, in the spin case the Gauss map is contractible, so that the immersed manifold is parallelizable. The proof makes use of homotopy theory in particu…

The paper solves Bernstein problems for specific submanifolds in high-dimensional spaces.

We study the moduli space of torsion-free G2-structures on a fixed compact manifold, and define its associated universal intermediate Jacobian J. We define the Yukawa coupling and relate it to a natural pseudo-Kahler structure on J. We consider natural Chern-Simons type functionals, whose critical points give associati…

While the study of bordered (pseudo-)holomorphic curves with boundary on Lagrangian submanifolds has a long history, a similar problem that involves (special) Lagrangian submanifolds with boundary on complex surfaces appears to be largely overlooked in both physics and math literature. We relate this problem to geometr…

We argue that G_2 manifolds for M-theory admitting string theory Calabi-Yau duals are fibered by coassociative submanifolds. Dual theories are constructed using the moduli space of M5-brane fibers as target space. Mirror symmetry and various string and M-theory dualities involving G_2 manifolds may be incorporated into…

Let $M$ be a topological $G_2$-manifold. We prove that the space of infinitesimal associative deformations of a compact associative submanifold $Y$ with boundary in a coassociative submanifold $X$ is the solution space of an elliptic problem. For a connected boundary $\partial Y$ of genus $g$, the index is given by $\i…

We construct examples of exponentially asymptotically cylindrical Riemannian 7-manifolds with holonomy group equal to G_2. To our knowledge, these are the first such examples. We also obtain exponentially asymptotically cylindrical coassociative calibrated submanifolds. Finally, we apply our results to show that one of…

Study of ACM(3)S structures on manifolds with G2 structure.

We introduce the notion of a manifold admitting a simple compact Cartan 3-form $\om^3$. We study algebraic types of such manifolds specializing on those having skew-symmetric torsion, or those associated with a closed or coclosed 3-form $\om^3$. We prove the existence of an algebra of multi-symplectic forms $φ^l$ on th…

We construct a compact formal 7-manifold with a closed $G_2$-structure and with first Betti number $b_1=1$, which does not admit any torsion-free $G_2$-structure, that is, it does not admit any $G_2$-structure such that the holonomy group of the associated metric is a subgroup of $G_2$. We also construct associative ca…