We investigate deformations of lagrangian manifolds with singularities. We introduce a complex similar to the de Rham-complex whose cohomology calculates deformation spaces. Examples of singular lagrangian varieties are presented and deformations are calculated explicitly.
We prove several results on symplectic varieties with a Hamiltonian action of a reductive group having invariant Lagrangian subvarieties. Our main result states that the images of the moment maps of a Hamiltonian variety and of the cotangent bundle over an invariant Lagrangian subvariety coincide. This implies that the complexity and rank of the Lagrangian subvariety are equal to the half of the corank and to the defect of the Hamiltonian variety, respectively. This result generalizes a theorem of Panyushev on the complexity and rank of a conormal bundle. A simple elementary proof of this theo…
We generalize Voisin's theorem on deformations of pairs of a symplectic manifold and a Lagrangian submanifold to the case of Lagrangian normal crossing subvarieties. Partial results are obtained for arbitrary Lagrangian subvarieties. We apply our results to the study of singular fibers of Lagrangian fibrations.
We propose two conjectures on a moduli theoretic approach to constructing Lagrangian subvarieties of hyperkähler varieties arising from the Kuznetsov components of cubic fourfolds or Gushel--Mukai fourfolds. Then we verify the conjectures in several cases, recovering classical examples. As a corollary, we confirm a conjecture of O'Grady in several instances on the existence of Lagrangian covering families for hyperkähler varieties.
Bezrukavnikov and Kaledin introduced quantizations of symplectic varieties X in positive characteristic which endow the Poisson bracket on X with the structure of a restricted Lie algebra. We consider deformation quantization of line bundles on Lagrangian subvarieties Y of X to modules over such quantizations. If the ideal sheaf of Y is a restricted Lie subalgebra of the structure sheaf of X, we show that there is a certain cohomology class which vanishes if and only if a line bundle on Y admits a quantization.
We develop the foundation of the complex symplectic geometry of Lagrangian subvarieties in a hyperkahler manifold. We establish a characterization, a Chern number inequality, topological and geometrical properties of Lagrangian submanifolds. We discuss a category of Lagrangian subvarieties and its relationship with the theory of Lagrangian intersection. We also introduce and study extensively a normalized Legendre transformation of Lagrangian subvarieties under a birational transformation of projective hyperkahler manifolds. We give a Plucker type formula for Lagrangian intersections under thi…
Let $X$ be a hyperkähler variety, and let $Z\subset X$ be a Lagrangian subvariety. Conjecturally, $Z$ should have trivial intersection with certain parts of the Chow ring of $X$. We prove this conjecture for certain Hilbert schemes $X$ having a Lagrangian fibration, and $Z\subset X$ a general fibre of the Lagrangian fibration.
We apply the technique of formal geometry to give a necessary and sufficient condition for a line bundle supported on a smooth Lagrangian subvariety to deform to a sheaf of modules over a fixed deformation quantization of the structure sheaf of an algebraic symplectic variety.
We consider a smooth Lagrangian subvariety Y in a smooth algebraic variety X with an algebraic symplectic from. For a vector bundle E on Y and a choice Oh of deformation quantization of the structure sheaf of X, we establish when E admits a deformation quantization to a module over Oh. If the necessary conditions hold, we describe the set of equivalence classes of such quantizations.
We show that the image of a dominant meromorphic map from an irreducible compact Calabi-Yau manifold $X$ whose general fiber is of dimension strictly between $0$ and $\dim X$ is rationally connected. Using this result, we construct for any hyper-Kähler manifold $X$ admitting a Lagrangian fibration a Lagrangian constant cycle subvariety $Σ_H$ in $X$ which depends on a divisor class $H$ whose restriction to some smooth Lagrangian fiber is ample. If $\dim X = 4$, we also show that up to a scalar multiple, the class of a zero-cycle supported on $Σ_H$ in $\mathrm{CH}_0(X)$ depend neither on $H$ nor…
The purpose of this note is to give a simple proof of the fact that a certain substack, defined in [2], of the moduli stack $T^{\ast}Bun_G(Σ)$ of Higgs bundles over a curve $Σ$, for a connected, simply connected semisimple group $G$, possesses a Lagrangian structure. The substack, roughly speaking, consists of images under the moment map of global sections of principal $G$-bundles over $Σ$ twisted by a smooth symplectic variety with a Hamiltonian $G$-action.
In this paper we consider ideal sheaves associated to the singular loci of a divisor in a linear system $|L|$ of an ample line bundle on a complex abelian variety. We prove an effective result on their (continuous) global generation, after suitable twists by powers of $L$. Moreover we show that similar results hold for subvarieties of a complex abelian variety.
Let Bun_G be the moduli space of G-bundles on a smooth complex projective curve. Motivated by a study of boundary conditions in mirror symmetry, D. Gaiotto associated to any symplectic representation of G a Lagrangian subvariety of the cotangent bundle of Bun_G. We give a simple interpretation of (a generalization of) Gaiotto's construction in terms of derived symplectic geometry. This allows to consider a more general setting where symplectic G-representations are replaced by arbitrary symplectic manifolds equipped with a Hamiltonian G-action and with an action of the multiplicative group tha…
We consider generic degenerate subvarieties $X_i\subset\mathbb{P}^n$. We determine an integer $N$, depending on the varieties, and for $n\geq N$ we compute dimension and degree formulas for the Hadamard product of the varieties $X_i$. Moreover, if the varieties $X_i$ are smooth, their Hadamard product is smooth too. For $n<N$, if the $X_i$ are generically $d_i$-parameterized, the dimension and degree formulas still hold. However, the Hadamard product can be singular and we give a lower bound for the dimension of the singular locus.
Using deformation theory of rational curves, we prove a conjecture of Sommese on the extendability of morphisms from ample subvarieties when the morphism is a smooth (or mildly singular) fibration with rationally connected fibers. We apply this result in the context of Fano fibrations and prove a classification theorem for projective bundle and quadric fibration structures on ample subvarieties.
Let $X$ be a quotient of a bounded domain in $\mathbb C^n$. Under suitable assumptions, we prove that every subvariety of $X$ not included in the branch locus of the quotient map is of log general type in some orbifold sense. This generalizes a recent result by Boucksom and Diverio, which treated the case of compact, étale quotients. Finally, in the case where $X$ is compact, we give a sufficient condition under which there exists a proper analytic subset of $X$ containing all entire curves and all subvarieties not of general type (meant this time in in the usual sense as opposed to the orbifo…
In this paper, we obtain optimal $L^2$ extension of holomorphic sections of a holomorphic vector bundle from subvarieties in weakly pseudoconvex Kähler manifolds. Moreover, in the case of line bundle the Hermitian metric is allowed to be singular.
By means of a Fourier-Mukai transform we embed moduli spaces of stable bundles on an algebraic curve C as isotropic subvarieties of moduli spaces of mu-stable bundles on the Jacobian variety J(C). When g(C)=2 this provides new examples of special Lagrangian submanifolds.
In this article we prove a rigidity theorem for lagrangian singularities by studying the local cohomology of the lagrangian de Rham complex that was introduced in math.AG/0002083. The result can be applied to show the rigidity of all open swallowtails of dimension greater or equal than two. In the case of lagrangian complete intersection singularities the lagrangian de Rham complex turns out to be perverse. We also show that lagrangian complete intersection in dimension greater than two cannot be regular in codimension one.
For a germ $(X,0) \subset (\mathbb{C}^n,0)$ of reduced, equidimensional complex analytic singularity its Nash modification can be constructed as an analytic subvariety $ Z \subset \mathbb{C}^n \times G(k,n)$. We give a characterization of the subvarieties of $\mathbb{C}^n \times G(k,n)$ that are the Nash modification of its image under the projection to $\mathbb{C}^n$. This result generalizes the characterization of conormal varieties as Legendrian subvarieties of $\mathbb{C}^n \times \check{\mathbb{P}}^{n-1}$ with its canonical contact structure. As a by-product we define the $d$-conormal spa…
We study the intersection theory of complex Lagrangian subvarieties inside holomorphic symplectic manifolds. In particular, we study their behaviour under Mukai flops and give a rigorous proof of the Plücker type formula for Legendre dual subvarieties written down by the second author before. Then we apply the formula to study projective dual varieties in projective spaces.
This paper classifies toric Fano 3-folds with singular locus { 1/k(1,1,1) } for any positive integer k, building on the work of Batyrev and Watanabe-Watanabe. This is achieved by completing an equivalent problem in the language of Fano polytopes. Furthermore we identify birational relationships between entries of the classification. For a fixed value k>4, there are exactly two such Fano 3-folds linked by a blow-up in a torus-invariant line.
In this paper we construct free resolutions of certain class of closed subvarieties of affine space of symmetric matrices (of a given size). Our class covers the symmetric determinantal varieties (i.e., determinantal varieties in the space of symmetric matrices), whose resolutions were first constructed by Józefiak-Pragacz-Weyman. Our approach follows the techniques developed in Free Resolutions of Some Schubert Singularities by Kummini-Lakshmibai-Sastry-Seshadri, and uses the geometry of Schubert varieties.
We investigate the Lefschetz standard conjecture for degree $2$ cohomology of hyper-Kähler manifolds admitting a covering by Lagrangian subvarieties. In the case of a Lagrangian fibration, we show that the Lefschetz standard conjecture is implied by the SYZ conjecture characterizing classes of divisors associated with Lagrangian fibration. In dimension $4$, we consider the more general case of a Lagrangian covered fourfold $X$, and prove the Lefschetz standard conjecture in degree $2$, assuming $ρ(X)=1$ and $X$ is general in moduli. Finally we discuss various links between Lefschetz cycles and…
We prove that any compact Kähler 3-dimensional manifold which has no non-trivial complex subvarieties is a torus. This is a very special case of a general conjecture on the structure of 'simple manifolds', central in the bimeromorphic classification of compact Kähler manifolds. The proof follows from the Brunella pseudo-effectivity theorem, combined with fundamental results of Siu and of the second author on the Lelong numbers of closed positive (1,1)-currents, and with a version of the hard Lefschetz theorem for pseudo-effective line bundles, due to Takegoshi and Demailly-Peternell-Schneider.…
We construct closed arboreal Lagrangian skeleta associated to links of isolated plane curve singularities. This yields closed arboreal Lagrangian skeleta for Weinstein pairs and Weinstein 4-manifolds associated to max-tb Legendrian representatives of algebraic links. We provide computations of Legendrian and Weinstein invariants, and discuss the symplectic topological nature of the Fomin-Pylyavskyy-Shustin-Thurston cluster algebra associated to a singularity. Finally, we present a conjectural ADE-classification for Lagrangian fillings of certain Legendrian links and list some related problems.
A hypercomplex manifold is a manifold equipped with a triple of complex structures satisfying the quaternionic relations. A holomorphic Lagrangian variety on a hypercomplex manifold with trivial canonical bundle is a holomorphic subvariety which is calibrated by a form associated with the holomorphic volume form; this notion is a generalization of the usual holomorphic Lagrangian subvarieties known in hyperkaehler geometry. An HKT (hyperkaehler with torsion) metric on a hypercomplex manifold is a metric determined by a local potential, in a similar way to the Kaehler metric. We prove that a ba…
Restriction varieties in the orthogonal Grassmannian are subvarieties of $OG(k, n)$ defined by rank conditions given by a flag that is not necessarily isotropic with respect to the relevant symmetric bilinear form. In particular, Schubert varieties of Type B and D are examples of restriction varieties. In this paper, we introduce a resolution of singularities for restriction varieties in $OG(k, n)$, and give a description of their singular locus by studying components of the exceptional locus of the resolution.
The Milnor fibre of any isolated hypersurface singularity contains many exact Lagrangian spheres: the vanishing cycles associated to a Morsification of the singularity. Moreover, for simple singularities, it is known that the only possible exact Lagrangians are spheres. We construct exact Lagrangian tori in the Milnor fibres of all non-simple singularities of real dimension four. This gives examples of Milnor fibres whose Fukaya categories are not generated by vanishing cycles. Also, this allows progress towards mirror symmetry for unimodal singularities, which are one level of complexity up f…
Let $π:X\rightarrow\mathbb{P}^n$ be a (holomorphic) Lagrangian fibration that is very general in the moduli space of Lagrangian fibrations. We conjecture that the singular fibres in codimension one must be semistable degenerations of abelian varieties. We prove a partial result towards this conjecture, and describe an example that provides further evidence.
Let X be a complex projective variety of dimension n with only isolated normal singularities. In this paper we prove, using mixed Hodge theory, that if the link of each singular point of X is (n-2)-connected, then X is a formal topological space. This result applies to a large class of examples, such as normal surface singularities, varieties with ordinary multiple points, hypersurfaces with isolated singularities and more generally, complete intersections with isolated singularities. We obtain analogous results for contractions of subvarieties.
A projective symplectic variety $\mathcal{P}$ of dimension 6, with only finite quotient singularities, $π(\mathcal{P})=0$ and $h^{(2,0)}(\mathcal{P}_{smooth})=1$, is described as a relative compactified Prym variety of a family of genus 4 curves with involution. It is a Lagrangian fibration associated to a K3 surface double cover of a generic cubic surface. It has no symplectic desingularization.
We classify singular fibres over general points of the discriminant locus of projective complex Lagrangian fibrations on 4-dimensional holomorphic symplectic manifolds. The singular fibre F is the following either one: F is isomorphic to the product of an elliptic curve and a Kodaira singular fibre up to finite unramified covering or F is a normal crossing variety consisting of several copies of a minimal elliptic ruled surface of which the dual graph is Dynkin diagram of type A_n, $\tilde{A_n}$, $\tilde{D_n}$ or D_n.
In this paper we construct free resolutions of certain class of closed subvarieties of affine spaces (the so-called "opposite big cells" of Grassmannians). Our class covers the determinantal varieties, whose resolutions were first constructed by A. Lascoux (Adv. Math., 1978). Our approach uses the geometry of Schubert varieties. An interesting aspect of our work is its connection to the computation of the cohomology of homogeneous bundles (that are not necessarily completely reducible) on partial flag varieties.
We investigate the stability of fibers of coisotropic fibrations on holomorphic symplectic manifolds and generalize Voisin's result on Lagrangian subvarieties to this framework. We present applications to the moduli space of holomorphic symplectic manifolds which are deformations equivalent to Hilbert schemes of points on a $K3$ surface or to generalized Kummer manifolds.
We study the singular iso-level manifold $M_g(0)$ of the genus $g$ Mumford system associated to the spectral curve $y^2=x^{2g+1}$. We show that $M_g(0)$ is stratified by $g+1$ open subvarieties of additive algebraic groups of dimension $0,1,...,g$ and we give an explicit description of $M_g(0)$ in terms of the compactification of the generalized Jacobian. As a consequence, we obtain an effective algorithm to compute rational solutions to the genus $g$ Mumford system, which is closely related to rational solutions of the KdV hierarchy.
We introduce special Lagrangian submanifolds in C^m and in (almost) Calabi-Yau manifolds, and survey recent results on singularities of special Lagrangian submanifolds, and their application to the SYZ Conjecture. The paper is aimed at graduate students in Geometry, String Theorists, and others wishing to learn the subject. Special Lagrangian m-folds in C^m are defined, and ways of constructing them described. 'Almost Calabi-Yau manifolds' (a generalization of Calabi-Yau manifolds useful in special Lagrangian geometry) are introduced, and the deformation theory, obstruction theory, and moduli …
We investigate quantisations of line bundles $\mathcal{L}$ on derived Lagrangians $X$ over $0$-shifted symplectic derived Artin $N$-stacks $Y$. In our derived setting, a deformation quantisation consists of a curved $A_{\infty}$ deformation of the structure sheaf $\mathcal{O}_{Y}$, equipped with a curved $A_{\infty}$ morphism to the ring of differential operators on $\mathcal{L}$; for line bundles on smooth Lagrangian subvarieties of smooth symplectic algebraic varieties, this simplifies to deforming $(\mathcal{L}, \mathcal{O}_{Y})$ to a DQ module over a DQ algebroid. For each choice of formal…
The SYZ Conjecture explains Mirror Symmetry between mirror Calabi-Yau 3-folds M,M' in terms of special Lagrangian fibrations f : M --> B and f' : M' --> B over the same base B, whose fibres are dual 3-tori, except for singular fibres. One of the main problems in proving the SYZ Conjecture (or even in finding the right statement of it) is that the singularities of special Lagrangian 3-folds and fibrations are poorly understood. This paper studies the singularities of special Lagrangian fibrations. Our main rigorous results are the construction of examples of special Lagrangian fibrations on ope…