arXiv research

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.

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

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.

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

New potentials found for sheaves on Calabi-Yau 4-folds.

This paper concerns orientability of moduli spaces of Spin(7)-instantons on compact 8-manifolds $X$ with Spin(7)-structure for the Lie groups SU($m$) and U($m$), and of moduli spaces of coherent sheaves on Calabi-Yau 4-folds. Such orientations are needed to define enumerative invariants 'counting' Spin(7) instantons, o…

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 …

The book develops a new bordism-theoretic approach to understanding orientations of moduli spaces.

Let $({\bf X},ω_{\bf X}^*)$ be a separated, $-2$-shifted symplectic derived $\mathbb C$-scheme, in the sense of Pantev, Toen, Vezzosi and Vaquie arXiv:1111.3209, of complex virtual dimension ${\rm vdim}_{\mathbb C}{\bf X}=n\in\mathbb Z$, and $X_{\rm an}$ the underlying complex analytic topological space. We prove that …

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…

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…

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

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…

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…

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 …

If a $Spin(7)$ manifold $N^8$ admits a free $S^1$ action preserving the fundamental $4$-form then the quotient space $M^7$ is naturally endowed with a $G_2$-structure. We derive equations relating the intrinsic torsion of the $Spin(7)$-structure to that of the $G_2$-structure together with the additional data of a Higg…

Invariant obstructs separating coassociative 4-folds.

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

Infinite Klein bottles with 4-fold meridians found.

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.

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…

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…

Our main results are: (1) The complex a Lagrangian points of a non-complex Lagrangian $2n$-dimensional submanifold $F:M\ra N$, immersed with parallel mean curvature and with equal Kaehler angles into a Kaehler-Einstein manifold $(N,J,g)$ of complex dimension $2n$, are zeros of finite order of $\sin^2θ$ and $\cos^2θ$ re…

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…

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

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…

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…

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 …

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…

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…

For any Engel 4-fold, we show that the scanning map from the space of Engel knots to the space of formal Engel knots is a weak homotopy equivalence when restricted to the complement of the orbits of the Engel kernel. This is a relative, parametric and close h-principle.

We prove the long-standing Montesinos conjecture that any closed oriented PL 4-manifold M is a simple covering of S^4 branched over a locally flat surface (cf [J M Montesinos, 4-manifolds, 3-fold covering spaces and ribbons, Trans. Amer. Math. Soc. 245 (1978) 453--467]). In fact, we show how to eliminate all the node s…

Constructs complete Calabi-Yau metrics from smoothed Calabi-Yau intersections.

Paper proves orientability of gauge theory moduli spaces using bordism theory.

New examples of Calabi-Yau 3-folds with unique properties.

Uniform estimates for Calabi-Yau degenerations proved.

We show that the mod 2 Seiberg-Witten invariant can be determined for a spin manifold X which has the same homology groups as the 4-torus. The value depends on the structure of the cohomology ring of X, and in particular on the 4-fold cup product on H^1(X). We also consider some examples of homology tori.

Study classifies Calabi-Yau threefolds with non-Gorenstein involutions.

Polyhomogeneous expansions for Calabi-Yau metrics near singularities.

New Calabi-Yau metrics constructed with detailed geometry at infinity.

We study Calabi-Yau 3-folds M_0 with a conical singularity x modelled on a Calabi-Yau cone V. We construct desingularizations of M_0, obtaining a 1-parameter family of compact, nonsingular Calabi-Yau 3-folds which has M_0 as the limit. The way we do is to choose an Asymptotically Conical Calabi-Yau 3-fold Y modelled on…

In this paper, we study the analogue of the Shafarevich conjecture for polarized Calabi-Yau varieties. We use variations of Hodge structures and Higgs bundles to establish a criterion for the {\it rigidity} of families. We then apply the criterion to obtain that some important and typical families of Calabi-Yau varieti…

Solves Calabi-Yau equation on complex manifolds with non-positive astheno-Ricci curvature.

In this paper, we construct simply connected symplectic Calabi-Yau 6-manifolds by applying Gompf's symplectic fiber sum operation along $T^4$. Using our construction, we also produce symplectic non-Kähler Calabi-Yau 6-manifolds with fundamental group $\Z$. In this paper, we also produce the first examples of simply con…

New Calabi-Yau metrics converge polynomially to Calabi model space.