arXiv research

Invariant obstructs separating coassociative 4-folds.

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 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…

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…

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 …

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…

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…

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…

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…

Constructs new coassociative fibrations for G2 manifolds.

The paper extends the Hopf differential concept to associative submanifolds in G2-manifolds.

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…

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…

In this paper we introduce the area of 2-ruled 4-folds in R^n (n=7 or 8), that is, submanifolds M of R^n that admit a fibration over some 2-fold Sigma such that each fibre is an affine 2-plane in R^n. This is motivated by the paper math.DG/0012060 by Joyce on ruled special Lagrangian 3-folds in C^3 and the work of the …

The exceptional holonomy groups are G2 in 7 dimensions, and Spin(7) in 8 dimensions. Riemannian manifolds with these holonomy groups are Ricci-flat. This is a survey paper on exceptional holonomy, in two parts. Part I introduces the exceptional holonomy groups, and explains constructions for compact 7- and 8-manifolds …

First steps towards a classification of irreducible symplectic 4-folds whose integral 2-cohomology with 4-tuple cup product is isomorphic to that of Hilb^2(K3). We prove that any such 4-fold deforms to an irreducible symplectic 4-fold of Type A or Type B. A 4-fold of Type A is a double cover of a (singular) sextic hype…

New formulas for coassociative submanifolds' volume variation.

The study examines K-polystability on Fano 4-folds with specific Lefschetz defects.

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

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…

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…

Given a complex 4-fold $X$ with an (Calabi-Yau 3-fold) anti-canonical divisor $Y$, we study relative Donaldson-Thomas invariants for this pair, which are elements in the Donaldson-Thomas cohomologies of $Y$. We also discuss gluing formulas which relate relative invariants and $DT_{4}$ invariants for Calabi-Yau 4-folds.

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…

Let $X$ be a compact complex Calabi-Yau 4-fold. Under certain assumptions, we define Donaldson-Thomas type deformation invariants ($DT_{4}$ invariants) by studying moduli spaces of solutions to the Donaldson-Thomas equations on $X$. We also study sheaves counting problems on local Calabi-Yau 4-folds. We relate $DT_{4}$…

Study positive characteristic Fano 4-folds with nef tangent bundles.

Infinite Klein bottles with 4-fold meridians found.

Motivated by Strominger-Yau-Zaslow's mirror symmetry proposal and Kontsevich's homological mirror symmetry conjecture, we study mirror phenomena (in A-model) of certain results from Donaldson-Thomas theory for Calabi-Yau 4-folds.

Study strict stability of cones with isolated singularities.

We address the problem of classification of hyper-Kähler fourfolds with $b_2=23$. In particular we prove some special cases of the Conjecture of O'Grady about hyper-Kähler $4$-folds numerically equivalent to the Hilbert scheme of two points on a $K3$ surface.

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…

The paper extends orientability results for DT invariants on Calabi-Yau 4-folds.

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…

Having fixed a Kaehler class and the unique corresponding hyperkaehler metric, we prove that all special Lagrangian submanifolds of an irreducible symplectic 4-fold X are bi-Lagrangian and that they are obtained by complex submanifolds via a sort of "hyperkaehler rotation trick"; thus they retain part of the rigidity o…

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 …

We prove the existence of a finite set of moves sufficient to relate any two representations of the same 3-manifold as a 4-fold simple branched covering of S^3. We also prove a stabilization result: after adding a fifth trivial sheet two local moves suffice. These results are analogous to results of Piergallini in degr…

Eisenbud Popescu and Walter have constructed certain special 4-dimensional sextic hypersurfaces as Lagrangian degeneracy loci. We prove that the natural double cover of a generic EPW-sextic is a deformation of the Hilbert square of a K3-surface and that the family of such varieties is locally complete for deformations …

This paper extends to dimension 4 the results in the article "Second Order Families of Special Lagrangian 3-folds" by Robert Bryant. We consider the problem of classifying the special Lagrangian 4-folds in C^4 whose fundamental cubic at each point has a nontrivial stabilizer in SO(4). Points on special Lagrangian 4-fol…

For a generic anti-canonical hypersurface in each smooth toric Fano 4-fold with rank 2 Picard group, we prove there exist three isolated rational curves in it. Moreover, for all these 4-folds except one, the contractions of generic anti-canonical hypersurfaces along the three rational curves can be deformed to smooth t…

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.

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.