arXiv research

Defines special Joyce structures for ASK manifolds encoding real HK structures.

Computes a $ν$-invariant for Joyce's $G_2$-manifolds.

New spectral invariants distinguish Joyce orbifolds from other manifolds.

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

Study on holonomy of Obata connection on Joyce hypercomplex manifolds.

New $Spin(7)$-instantons constructed on Joyce's manifold.

Study constructs associative submanifolds in $G_2$-manifolds from orbifolds.

Study verifies Joyce's conjectures for circle-invariant Lagrangian surfaces.

The article confirms Joyce's examples of G2-holonomy are formal spaces.

Previously the two of the authors defined a notion of dual Calabi-Yau manifolds in a G_2 manifold, and described a process to obtain them. Here we apply this process to a compact G_2 manifold, constructed by Joyce, and as a result we obtain a pair of Borcea-Voisin Calabi-Yau manifolds, which are known to be mirror dual…

The present paper deals with mirror symmetry aspects of compact ``barely'' $G_2$ manifolds, that is, $G_2$ manifolds of the form (CY$\times S^1)/\mathbb{Z}_2$. We propose that the mirror of any barely $G_2$ manifold is another barely one and which is constructed as a fibration of the \emph{mirror} of the CY base. Also,…

This paper connects complex hyperkähler structures to Donaldson-Thomas invariants.

We find new examples of compact Spin(7)-manifolds using a construction of Joyce. The essential ingredient in Joyce's construction is a Calabi-Yau 4-orbifold with particular singularities admitting an antiholomorphic involution, which fixes the singularities. We search the class of well-formed quasismooth hypersurfaces …

We consider the mapping properties of generalized Laplace-type operators ${\mathcal L} = \nabla^* \nabla + {\mathcal R}$ on the class of quasi-asymptotically conical (QAC) spaces, which provide a Riemannian generalization of the QALE manifolds considered by Joyce. Our main result gives conditions under which such opera…

We provide a simple algebraic construction of the twistor spaces of arbitrary Joyce's self-dual metrics on the 4-manifold H^2 x T^2 that extend smoothly to nCP^2, the connected sum of complex projective planes. Indeed, we explicitly realize projective models of the twistor spaces of arbitrary Joyce metrics on nCP^2 in …

We find calibrated submanifolds in neck manifolds. Particularly, we obtain a calibrated submanifold in the Lagrangian self-expander constructed by Joyce, Lee and Tsui.

Resurgence of Joyce structures gauged to a standard form using gauge transformations.

This paper constructs hyper-Kähler metrics and hyper-Lagrangian foliations for a class of complex manifolds.

We explicitly construct the twistor spaces of Joyce metrics with torus action that are not treated in Part I (math.DG/0603242). This finishes a construction of all the twistor spaces of Joyce metrics on the connected sum of four complex projective planes.

The study of fibrations of the target manifolds of string/M/F-theories has provided many insights to the dualities among these theories or even as a tool to build up dualities since the work of Strominger, Yau, and Zaslow on the Calabi-Yau case. For M-theory compactified on a Joyce manifold $M^7$, the fact that $M^7$ i…

We conjecture that the Joyce-Song wall-crossing formula for Donaldson-Thomas invariants arises naturally from an asymptotic expansion in the field theoretic work of Gaiotto, Moore and Neitzke. This would also give a new perspective on how the formulae of Joyce-Song and Kontsevich-Soibelman are related. We check the con…

Alternative proof and description of orientations for instanton moduli spaces.

New geometric Joyce structures on moduli spaces of quadratic differentials.

We give a topological interpretation of the space of $L^2$ harmonis forms of some QALE manifolds introduced by D. Joyce. We introduce a analytical criterium which make possible the used of Mayer-Vietoris sequence.

In 1995 D. Joyce explicitly constructed a series of self-dual metrics with torus action on the connected sums of complex projective planes. In this paper we explicitly construct the twistor spaces of some of Joyce's self-dual metrics. Starting from a fiber space whose fibers are compact singular toric surfaces, we appl…

The paper connects $G_2$-manifolds to Coulomb and Higgs phases of gauge theories.

We prove that any invariant hypercomplex structure on a homogeneous space $M = G/L$ where $G$ is a compact Lie group is obtained via the Joyce's construction, provided that there exists a hyper-Hermitian naturally reductive invariant metric on $M$.

We show that, on the connected sum of complex projective planes, any toric LeBrun metric can be identified with a Joyce metric admitting a semi-free circle action through an explicit conformal equivalence. A crucial ingredient of the proof is an explicit connection form for toric LeBrun metrics.

We explore a number of examples of special Lagrangian fibrations on non-compact Calabi-Yau manifolds invariant under torus actions. These include fibrations on crepant resolutions of canonical toric singularities (already found by Goldstein), proper versions of these fibrations, and fibrations on flat deformations of c…

We construct new examples of self-similar solutions and translating solitons for Lagrangian mean curvature flow by extending the method of Joyce, Lee and Tsui. Those examples include examples in which the Lagrangian angle is arbitrarily small as the examples of Joyce, Lee and Tsui.

Proves existence of Lagrangian mean curvature flow solutions.

Non-formal G2 manifold found with holonomy.

We construct smooth families of compact special Lagrangian submanifolds embedded in some toric hyper-K\"ahler manifolds, which never become holomorphic Lagrangian submanifolds via any hyper-Kähler rotations. These families converge to special Lagrangian immersions with self-intersection points in the sense of current…

We construct a family of compact almost Calabi--Yau manifolds of complex dimension 3 and therein a corresponding family of compact special Lagrangians with one-point singularities modelled upon that T^2-cone constructed by Harvey--Lawson and characterized by Haskins as a stable T^2-cone in the terminology by Joyce.

Study virtual fundamental classes of derived manifolds, proving invariant vanishes.

Research on formality problem for special holonomy manifolds.

The paper extends Alexander invariant and medial quandle equivalence to links.

We construct examples of asymptotically cylindrical Riemannian 8-manifolds with holonomy group Spin(7). To our knowledge, these are the first such examples. The construction uses an extension to asymptotically cylindrical setting of Joyce's existence result for torsion-free Spin(7)-structures. One source of examples ar…

Using a hyperKähler rotation on complex structures of a Calabi-Yau 2-fold and rolling of an isotropic 2-submanifold in a symplectic 6-manifold, we construct, by gluing, a natural family of immersed Lagrangian deformations of a branched covering of a special Lagrangian 3-sphere in a Calabi-Yau 3-fold and study how they …

Suppose $(X, g)$ is a compact, spin Riemannian 7-manifold, with Dirac operator $D$. Let $G$ be SU$(m)$ or U$(m)$, and $E\to X$ be a rank $m$ complex bundle with $G$-structure. Write ${\mathcal B}_E$ for the infinite-dimensional moduli space of connections on $E$, modulo gauge. There is a natural principal ${\mathbb Z}_…

In this article we introduce a method to construct $\rm{G}_2$-instantons on $\rm{G}_2$-manifolds arising from Joyce's generalised Kummer construction. The method is based on gluing ASD instantons over ALE spaces to flat bundles on $\rm{G}_2$-orbifolds of the form $T^7/ Γ$. We use this construction to produce non-trivia…

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…

Generalizes Thomas-Yau theorem for special and minimal Lagrangians.

We prove the existence of singular harmonic ${\bf Z}_2$ spinors on $3$-manifolds with $b_1 > 1$. The proof relies on a wall-crossing formula for solutions to the Seiberg-Witten equation with two spinors. The existence of singular harmonic ${\bf Z}_2$ spinors and the shape of our wall-crossing formula shed new light on …

We resolve Spin(7)-orbifolds using algebraic and symplectic techniques.

Abreu-Sena-Dias have constructed two distinct families of scalar-flat Kähler non-compact toric metrics using Donaldson's rephrasing of Joyce's construction in action-angle coordinates. In this paper and using the same set-up, we show that these are the only J-complete scalar-flat Kähler metrics on any given strictly un…

Smooth family of G2-instantons over a Kummer construction.

We construct a functor from the category of manifolds with generalized corners to the category of complexes of toric monoids, and for every `refinement' of the complex associated to a manifold, we show there is a unique `blow-up', i.e., a new manifold mapping to the original one, which satisfies a universal property an…