Twisted Fourier-Mukai transforms for holomorphic symplectic four-folds

We apply the methods of C a?ld?raru to construct a twisted Fourier-Mukai transform between a pair of holomorphic symplectic four-folds which are fibred by Lagrangian abelian surfaces. More precisely, we obtain an equivalence between the derived category of coherent sheaves on a certain Lagrangian fibration and the derived category of twisted sheaves on its ‘mirror’ partner. As a corollary, we extend the original Fourier-Mukai transform to degenerations of abelian surfaces. Another consequence of the general theory is that the holomorphic symplectic four-fold and its mirror are connected by a one-parameter family of deformations through Lagrangian fibrations.     

On families of Lagrangian submanifolds

We study the stability of a compact Lagrangian submanifold of a symplectic manifold under perturbation of the symplectic structure. If X is a compact manifold and the ω _t are cohomologous symplectic forms on X, then by a well-known theorem of Moser there exists a family Φ _t of diffeomorphisms of X such that ω _t =Φ _t ^*(ω₀). If L⊂X is a Lagrangian submanifold for (X,ω₀), L _t =Φ _t ^-1(L) is thus a Lagrangian submanifold for (X,ω _t ). Here we show that if we simply assume that L is compact and ω _t | _L is exact for every t, a family L _t as above still exists, for sufficiently small t. Similar results are proved concerning the stability of special Lagrangian and Bohr–Sommerfeld special Lagrangian submanifolds, under perturbation of the ambient Calabi–Yau structure. Received: 29 May 2001/ Revised version: 17 October 2001     

On uniruled degenerations of algebraic varieties with trivial canonical divisor

We give a uniruledness criterion on degenerate fibers in a family of varieties whose general fiber has a numerically trivial canonical divisor. The criterion is related with the so-called non-nef locus of the canonical divisor of the total space.      

Fibred rational surfaces with extremal Mordell-Weil lattices

Slope inequalities are given for fibred rational surfaces according as the Clifford index of a general fibre. For fibred rational surfaces of Clifford index two, the Mordell-Weil lattices of maximal ranks are completely determined.Supported by The 21st Century COE Program named “Towards a new basic science: depth and synthesis”.     

Seshadri constants on rational surfaces with anticanonical pencils

We study a Seshadri constant at a general point on a rational surface whose anticanonical linear system contains a pencil. First, we describe a Seshadri constant of an ample line bundle on such a rational surface explicitly by the numerical data of the ample line bundle. Second, we classify log del Pezzo surfaces which are special in terms of the Seshadri constants of the anticanonical divisors when the anticanonical degree is between 4 and 9.     

The Gauss-Bonnet defect of complex affine hypersurfaces

We study the loss of curvature at the “ends” of a hypersurface in the affine space and we express it in terms of singularities at infinity.     

On the symplectic structures on moduli space of stable sheaves over a K3 or abelian surface and on Hilbert scheme of points

Fix a smooth very ample curve C on a K3 or abelian surface X. Let $ \mathcal{M} $ denote the moduli space of pairs of the form (F, s), where F is a stable sheaf over X whose Hilbert polynomial coincides with that of the direct image, by the inclusion map of C in X, of a line bundle of degree d over C, and s is a nonzero section of F. Assume d to be sufficiently large such that F has a nonzero section. The pullback of the Mukai symplectic form on moduli spaces of stable sheaves over X is a holomorphic 2-form on $ \mathcal{M} $. On the other hand, $ \mathcal{M} $ has a map to a Hilbert scheme parametrizing 0-dimensional subschemes of X that sends (F, s) to the divisor, defined by s, on the curve defined by the support of F. We prove that the above 2-form on $ \mathcal{M} $ coincides with the pullback of the symplectic form on the Hilbert scheme.     

Hamiltonian-minimal Lagrangian submanifolds in Kaehler manifolds with symmetries

By making use of the symplectic reduction and the cohomogeneity method, we give a general method for constructing Hamiltonian minimal Lagrangian submanifolds in Kaehler manifolds with symmetries. As applications, we construct infinitely many nontrivial complete Hamiltonian minimal Lagrangian submanifolds in CPⁿ$C{P}^n$ and Cⁿ$C^n$.     

The tangential end fibration of an aspherical Poincaré complex

We construct a sphere fibration over a finite aspherical Poincaré complex X, which we call the tangential end fibration, under the condition that the universal cover of X is forward tame and simply connected at infinity. We show that it is tangent to X if the formal dimension of X is even or, when the formal dimension is odd, if the diagonal X→X×X admits a Poincaré embedding structure.     

Lagrangian submanifolds in para-Kähler manifolds

In this paper we initiate the study of Lagrangian submanifolds in para-Kähler manifolds. In particular, we prove two general optimal inequalities for Lagrangian submanifolds of the flat para-Kähler manifold . Moreover, we completely classify Lagrangian submanifolds which satisfy the equality case of one of the two inequalities.     

On the parallel between normality and extremal disconnectedness

Several familiar results about normal and extremally disconnected (classical or pointfree) spaces shape the idea that the two notions are somehow dual to each other and can therefore be studied in parallel. This paper investigates the source of this ‘duality’ and shows that each pair of parallel results can be framed by the ‘same’ proof. The key tools for this purpose are relative notions of normality, extremal disconnectedness, semicontinuity and continuity (with respect to a fixed class of complemented sublocales of the given locale) that bring and extend to locale theory a variety of well-known classical variants of normality and upper and lower semicontinuities in an illuminating unified manner. This approach allows us to unify under a single localic proof all classical insertion, as well as their corresponding extension results.     

Geodesics of Hofer’s metric on the space of Lagrangian submanifolds

We study geodesics of Hofer’s metric on the space of Lagrangian submanifolds in arbitrary symplectic manifolds from the variational point of view. We give a characterization of length–critical paths with respect to this metric. As a result, we see that if two Lagrangian submanifolds are disjoint then we cannot join them by length-minimizing geodesics.     

A homogeneous Gibbons-Hawking ansatz and Blaschke products

A homogeneous Gibbons-Hawking ansatz is described, leading to 4-dimensional hyperkähler metrics with homotheties. In combination with Blaschke products on the unit disc in the complex plane, this ansatz allows one to construct infinite-dimensional families of such hyperkähler metrics that are, in a suitable sense, complete. Our construction also gives rise to incomplete metrics on 3-dimensional contact manifolds that induce complete Carnot-Carathéodory distances.     

U(1)-invariant special Lagrangian 3-folds. I. Nonsingular solutions

This is the first of three papers studying special Lagrangian 3-submanifolds (SL 3-folds) N in invariant under the U(1)-action e^iθ:(z₁,z₂,z₃)?(e^iθz₁,e^−iθz₂,z₃), using analytic methods.Let N be such a U(1)-invariant SL 3-fold. Then |z₁|²−|z₂|²=2a on N for some . Locally, N can be written as a kind of graph of functions satisfying a nonlinear Cauchy-Riemann equation depending on a, so that u+iv is like a holomorphic function of x+iy. When a is nonzero, u,v are always smooth and N is always nonsingular. But if a=0, there may be points (x,0) where u,v are not differentiable, which correspond to singular points of N.This paper focusses on the nonsingular case, when a is nonzero. We prove analogues for our nonlinear Cauchy-Riemann equation of well-known results in complex analysis. In particular, we prove existence and uniqueness for solutions of two Dirichlet problems derived from it. This yields existence and uniqueness of a large class of nonsingular U(1)-invariant SL 3-folds in , with two kinds of boundary conditions. The sequels extend these to the case a=0, study the singularities of the SL 3-folds that arise, and construct special Lagrangian fibrations of open sets in .     

On rational isotropic congruences of lines

The aim of this paper is to show a way to find an explicit parametrization of rational isotropic congruences of lines in Euclidean three-space It will be shown that also the focal surfaces of these congruences admit a rational parametrization. Furthermore, the close relation of isotropic congruences of lines to minimal surfaces will be used to find the related polynomial minimal surfaces.     

U(1)-invariant special Lagrangian 3-folds. II. Existence of singular solutions

This is the second of three papers studying special Lagrangian 3-submanifolds (SLV 3-folds) N in invariant under the U(1)-action e^iθ:(z₁,z₂,z₃)?(e^iθz₁,e^−iθz₂,z₃), using analytic methods. If N is such a 3-fold then |z₁|²−|z₂|²=2a on N for some . Locally, N can be written as a kind of graph of functions satisfying a nonlinear Cauchy-Riemann equation depending on a, so that u+iv is like a holomorphic function of x+iy.The first paper studied the case when a is nonzero. Then u,v are smooth and N is nonsingular. It proved existence and uniqueness for solutions of two Dirichlet problems derived from the equations on u,v. This implied existence and uniqueness for a large class of nonsingular U(1)-invariant SL 3-folds in , with boundary conditions.In this paper and its sequel we focus on the case a=0. Then the nonlinear Cauchy-Riemann equation is not always elliptic. Because of this there may be points (x,0) where u,v are not differentiable, corresponding to singular points of N. This paper is concerned largely with technical analytic issues, and the sequel with the geometry of the singularities of N. We prove a priori estimates for derivatives of solutions of the nonlinear Cauchy-Riemann equation, and use them to show existence and uniqueness of weak solutions u,v to the two Dirichlet problems when a=0, which are continuous and weakly differentiable. This gives existence and uniqueness for a large class of singular U(1)-invariant SL 3-folds in , with boundary conditions.     

U(1)-invariant special Lagrangian 3-folds. III. Properties of singular solutions

This is the last of three papers studying special Lagrangian 3-submanifolds (SLV 3-folds) N in invariant under the U(1)-action e^iθ:(z₁,z₂,z₃)?(e^iθz₁,e^iθz₂,z₃), using analytic methods. If N is such a 3-fold then |z₁|²−|z₂|²=2a on N for some . Locally, N can be written as a kind of graph of functions satisfying a nonlinear Cauchy-Riemann equation depending on a, so that u+iv is like a holomorphic function of x+iy.The first paper studied the case a nonzero, and proved existence and uniqueness for solutions of two Dirichlet problems derived from the nonlinear Cauchy-Riemann equation. This yields existence and uniqueness of a large class of nonsingular U(1)-invariant SL 3-folds in , with boundary conditions. The second paper extended these results to weak solutions of the Dirichlet problems when a=0, giving existence and uniqueness of many singular U(1)-invariant SL 3-folds in , with boundary conditions.This third paper studies the singularities of these SL 3-folds. We show that under mild conditions the singularities are isolated, and have a multiplicityn>0, and one of two types. Examples are constructed with every multiplicity and type. We also prove the existence of large families of U(1)-invariant special Lagrangian fibrations of open sets in , including singular fibres.     

On a minimal factorization conjecture

Let be a proper holomorphic map from a connected complex surface S onto the open unit disk D⊂C, with 0∈D as its unique singular value, and having fiber genus g>0. Assume that in case g?2, admits a deformation whose singular fibers are all of simple Lefschetz type. It has been conjectured that the factorization of the monodromy f∈Mg around ?⁻¹(0) in terms of right-handed Dehn twists induced by the monodromy of has the least number of factors among all possible factorizations of f as a product of right-handed Dehn twists in the mapping class group (see [M. Ishizaka, One parameter families of Riemann surfaces and presentations of elements of mapping class group by Dehn twists, J. Math. Soc. Japan 58 (2) (2006) 585-594]). In this article, the validity of this conjecture is established for g=1.