We provide a necessary and sufficient condition for the derived self-intersection of a smooth subscheme inside a smooth scheme to be a fibration over the subscheme. As a consequence we deduce a generalized HKR isomorphism. We also investigate the relationship of our result to path spaces in homotopy theory, Buchweitz-Flenner formality in algebraic geometry, and draw parallels with similar results in Lie theory and symplectic geometry.
A Kodaira fibration is a non-isotrivial fibration $f\colon S\rightarrow B$ from a smooth algebraic surface $S$ to a smooth algebraic curve $B$ such that all fibers are smooth algebraic curves of genus $g$. Such fibrations arise as complete curves inside the moduli space $\mathcal{M}_g$ of genus $g$ algebraic curves. We investigate here the possible connected monodromy groups of a Kodaira fibration in the case $g=3$ and classify which such groups can arise from a Kodaira fibration obtained as a general complete intersection curve inside a subvariety of $\mathcal{M}_3$ parametrizing curves whose…
For complete intersection Calabi-Yau manifolds in toric varieties, Gross and Haase-Zharkov have given a conjectural combinatorial description of the special Lagrangian torus fibrations whose existence was predicted by Strominger, Yau and Zaslow. We present a geometric version of this construction, generalizing an earlier conjecture of the first author.
On an elliptic surface or threefold, Catalan numbers appear when one tries to compute the autoequivalence group action on the Bridgeland stability manifold. We explain why this happens by identifying a class of equations in the Chow ring of a fibration, where the solutions always involve Catalan numbers.
We introduce the notion of cracked polytope, and - making use of joint work with Coates and Kasprzyk - construct the associated toric variety $X$ as a subvariety of a non-singular toric variety $Y$ under certain conditions. Restricting to the case in which this subvariety is a complete intersection, we present a sufficient condition for a smoothing of $X$ to exist inside $Y$. We exhibit a relative anti-canonical divisor for this smoothing of $X$, and show that the general member is simple normal crossings.
We construct a semiorthogonal decomposition of the derived category of coherent sheaves on a quadric fibration consisting of several copies of the derived category of the base of the fibration and the derived category of coherent sheaves of modules over the sheaf of even parts of the Clifford algebras on the base corresponding to this quadric fibration, generalizing the Kapranov's description of the derived category of a single quadric. As an application we verify that the noncommutative algebraic variety $(\PP(S^2W^*),\CB_0)$, where $\CB_0$ is the universal sheaf of even parts of Clifford alg…
We prove that, on a smooth projective variety over an algebraically closed field of characteristic 0, the semiregularity map annihilates every obstruction to embedded deformations of a local complete intersection subvariety with extendable normal bundle. The proof is based on the theory of L-infinity algebras and Tamarkin-Tsigan calculus on the de Rham complex of DG-schemes.
We consider the construction of Calabi-Yau varieties recently generalized to where the defining equations may have negative degrees over some projective space factors in the embedding space. Within such "generalized complete intersection" Calabi-Yau ("gCICY") three-folds, we find several sequences of distinct manifolds. These include both novel elliptic and K3-fibrations and involve Hirzebruch surfaces and their higher dimensional analogues. En route, we generalize the standard techniques of cohomology computation to these generalized complete intersection Calabi-Yau varieties.
We prove several results concerning the intersection cohomology and the perverse filtration associated with a Lagrangian fibration of an irreducible symplectic variety. We first show that the perverse numbers only depend on the deformation equivalence class of the ambient variety. Then we compute the border of the perverse diamond, which further yields a complete description of the intersection cohomology of the Lagrangian base and the invariant cohomology classes of the fibers. Lastly, we identify the perverse and Hodge numbers of intersection cohomology when the irreducible symplectic variet…
We construct an explicit homotopy formula for the d-bar complex on a complete intersection subvariety V in CP^n. This formula can be interpreted as a Hodge-type decomposition for residual currents on V.
We investigate the mathematical properties of the class of Calabi-Yau four-folds recently found in [arXiv:1303.1832]. This class consists of 921,497 configuration matrices which correspond to manifolds that are described as complete intersections in products of projective spaces. For each manifold in the list, we compute the full Hodge diamond as well as additional topological invariants such as Chern classes and intersection numbers. Using this data, we conclude that there are at least 36,779 topologically distinct manifolds in our list. We also study the fibration structure of these manifold…
Let X -> Y be a fibration whose fibers are complete intersections of two quadrics. We develop new categorical and algebraic tools---a theory of relative homological projective duality and the Morita invariance of the even Clifford algebra under quadric reduction by hyperbolic splitting---to study semiorthogonal decompositions of the bounded derived category of X. Together with new results in the theory of quadratic forms, we apply these tools in the case where X -> Y has relative dimension 1, 2, or 3, in which case the fibers are curves of genus 1, Del Pezzo surfaces of degree 4, or Fano three…
In this article, we construct the Hitchin fibration for groups following the scheme outlined by Frenkel-Ngo in the case of SL_{2}. This construction uses as a decisive tool the Vinberg's semigroup. The total space of Hitchin is obtained by taking the fiber product of the Hecke stack with the diagonal of the stack of G-bundles $Bun_{G}$; we prove a transversality statement between the intersection complex of the Hecke stack and the diagonal of $Bun_{G}$, over a sufficiently big open subset, in order to get local applications, such that the fundamental lemma for the spherical Hecke algebra. Alon…
We prove that a fibration X \to \Bbb P_1, the general fiber of which is a smooth Fano threefold, is rationally connected. The proof is based on a generalization of Tsen's classical theorem: a fibration X/C over a curve the general fiber of which is a Fano complete intersection in a product of weighted projective spaces has a section.
We present a study of certain singular one-parameter subfamilies of Calabi-Yau threefolds realized as anticanonical hypersurfaces or complete intersections in toric varieties. Our attention to these families is motivated by the Doran-Morgan classification of variations of Hodge structure which can underlie families of Calabi-Yau threefolds with $h^{2,1} = 1$ over the thrice-punctured sphere. We explore their torically induced fibrations by $M$-polarized K3 surfaces and use these fibrations to construct an explicit geometric transition between an anticanonical hypersurface and a nef complete in…
We develop an intersection theory for a singular hemitian line bundle with positive curvature current on a smooth projective variety and irreducible curves on the variety. And we prove the existence of a natural rational fibration structure associated with the singular hermitian line bundle. Also for any pseudoeffective line bundle on a smooth projective variety, we prove the existence of a rational natural fibration structure associated with the line bundle. We also characterize a numerically trivial singular hermitain line bundle on a smooth projective variety.
We prove the following: (a) Let X be a smooth, codimension two subvariety of P6. If X lies on a hyperquintic or if deg(X)<74, then X is a complete intersection. (b) Let X be a smooth, subcanonical threefold in P5. If X lies on a hyperquartic, then X is a complete intersection.
We present a novel technique to obtain base independent expressions for the matter loci of fibrations of complete intersection Calabi-Yau onefolds in toric ambient spaces. These can be used to systematically construct elliptically and genus one fibered Calabi-Yau $d$-folds that lead to desired gauge groups and spectra in F-theory. The technique, which we refer to as GV-spectroscopy, is based on the calculation of fiber Gopakumar-Vafa invariants using the Batyrev-Borisov construction of mirror pairs and application of the so-called Frobenius method to the data of a parametrized auxiliary polyto…
We consider fibrations by affine lines on smooth affine surfaces obtained as complements of smooth rational curves $B$ in smooth projective surfaces $X$ defined over an algebraically closed field of characteristic zero. We observe that except for two exceptions, these surfaces $X \setminus B$ admit infinitely many families of $\mathbb{A}^1$-fibrations over the projective line with irreducible fibers and a unique singular fiber of arbitrarily large multiplicity. For $\mathbb{A}^1$-fibrations over the affine line, we give a new and essentially self-contained proof that the set of equivalence cla…
We establish the Hodge conjecture for some subvarieties of a class of toric varieties. First we study quasi-smooth intersections in a projective simplicial toric variety, which is a suitable notion to generalize smooth complete intersection subvarieties in the toric environment, and in particular quasi-smooth hypersurfaces. We show that under appropriate conditions, the Hodge Conjecture holds for a very general quasi-smooth intersection subvariety, generalizing the work on quasi-smooth hypersurfaces of the first author and Grassi in [3]. We also show that the Hodge Conjecture holds asymptotica…
We study the symplectic geometry of derived intersections of Lagrangian morphisms. In particular, we show that for a functional $f : X \rightarrow \mathbb{A}_k^1$, the derived critical locus has a natural Lagrangian fibration $\textbf{Crit}(f) \rightarrow X$. In the case where $f$ is non-degenerate and the strict critical locus is smooth, we show that the Lagrangian fibration on the derived critical locus is determined by the Hessian quadratic form.
We construct a $14$-dimensional affine variety $Σ^{14}_{\mathbb{A}}$ with a $\rm{GL}_3$- and a $(\mathbb{C}^*)^6$-actions. We denote by $Σ^{13}_{\mathbb{A}}$ the affine variety obtained from $Σ^{14}_{\mathbb{A}}$ by setting one specified variable to $1$ (we refer the precise definition to Definition 1.1 of the paper). We show that several weighted projectivizations of $Σ^{13}_{\mathbb{A}}$ and $Σ^{14}_{\mathbb{A}}$ produce, as weighted complete intersections, examples of prime $\mathbb{Q}$-Fano threefolds of codimension four belonging to $24$ classes of the graded ring database. Except No.360 …
For Y a closed normal subvariety of codimension c of a smooth complex variety X, Brylinski and Kashiwara showed that the local cohomology module H^c_Y(X,O_X) contains a unique simple D_X-submodule, denoted by L(Y,X). In this paper the analogous result is shown for X and Y defined over a perfect field of finite characteristic. Moreover, a local construction of Ll(Y,X) is given, relating it to the theory of tight closure. From the construction one obtains a criterion for the D_X-simplicity of H^c_Y(X).
Hartshorne conjectured that a smooth, codimension c subvariety of n-dimensional projective space must be a complete intersection, whenever c is less than n/3. We prove this in the special case when n is much larger than the degree of the subvariety. Similar results were known in characteristic zero due to Hartshorne, Barth-Van de Ven, and others. Our proof is field independent and employs quite different methods from those previous results, as we connect Hartshorne's Conjecture with the circle of ideas initiated by Ananyan and Hochster in their proof of Stillman's Conjecture.
We prove a criterion of nonsingularity of a complete intersection of two fiberwise quadrics in a scroll over $P^1$. As a corollary we derive the following addition to the Alexeev theorem on rationality of standard Del Pezzo fibrations of degree 4 over $P^1$: we prove that any fibration of this kind with the topological Euler characteristic -4 is rational.
We complete the analysis on the birational rigidity of quasismooth Fano 3-fold deformation families appearing in the Graded Ring Database as a complete intersection. When such a deformation family $X$ has Fano index at least 2 and is minimally embedded in a weighted projective space in codimension 2, we determine which cyclic quotient singularity is a maximal centre. If a cyclic quotient singularity is a maximal centre, we construct a Sarkisov link to a non-isomorphic Mori fibre space or a birational involution. This allows, in particular, the construction of new examples of Fano 3-folds of co…
We consider the stable ruled surface $S_1$ over an elliptic curve. There is a unique foliation on $S_1$ transverse to the fibration. The minimal self-intersection sections also define a 2-web. We prove that the 4-web defined by the fibration, the foliation and the 2-web is locally parallelizable.
In our previous research, we constructed the affine varieties $Σ_{\mathbb{A}}^{13}$ and $Π_{\mathbb{A}}^{14}$ whose partial projectivizations admit $\mathbb{P}^{2}\times\mathbb{P}^{2}$-fibrations with relative Picard number one. In this paper, we produce prime quasi-smooth $\mathbb{Q}$-Fano 3-folds which are anticanonically embedded of codimension four and belong to 23 (resp.8) classes in the Graded Ring Database [GRDB], as weighted complete intersections in weighted projectivizations of $Σ_{\mathbb{A}}^{13}$ (resp.$Π_{\mathbb{A}}^{14}$ or its cone). We also show that a general member of the a…
We study the geometry of elliptic fibrations given by Weierstrass models resulting from Step 6 of Tate's algorithm. Such elliptic fibrations have a discriminant locus containing an irreducible component $S$, over which the generic fiber is of Kodaira type I$^*_0$. In string geometry, these geometries are used to geometrically engineer G$_2$, Spin($7$), and Spin($8$) gauge theories. We give sufficient conditions for the existence of crepant resolutions. When they exist, we give a complete description of all crepant resolutions and show explicitly how the network of flops matches the Coulomb bra…
For an irreducible subvariety Z in an algebraic group G we define a nonnegative integer gdeg(Z) as the degree, in a certain sense, of the Gauss map of Z. It can be regarded as a substitution for the intersection index of the conormal bundle to Z with the zero section of T^*G, even though G may be non-compact. For G a semiabelian variety (in particular, an algebraic torus (C^*)^n) we prove a Riemann-Roch-type formula for constructible sheaves on G, which involves our substitutions for the intersection indices. As a corollary, we get that a perverse sheaf on such a G has nonnegative Euler charac…
Let f:X->X be a morphism of a variety over a number field K. We consider local conditions and a "Bruaer-Manin" condition, defined by Hsia and Silverman, for the orbit of a point P in X(K) to be disjoint from a subvariety V of X, i.e., the intersection of the orbit of P with V is empty. We provide evidence that the dynamical Brauer-Manin condition is sufficient to explain the lack of points in the intersection of the orbit of P with V; this evidence stems from a probabilistic argument as well as unconditional results in the case of etale maps.
Let X be a smooth, connected, closed subvariety of a complex vector space V. The asymptotic cone as(X) is naturally equipped with a nearby cycles sheaf P coming from the specialization of X to as(X). We show that if X is transverse to infinity in a suitable sense, then the Fourier transform of P is an intersection homology sheaf.
In this paper we prove the birational superrigidity of Fano-Mori fibre spaces $π\colon V\to S$, every fibre of which is a complete intersection of type $d_1\cdot d_2$ in the projective space ${\mathbb P}^{d_1+d_2}$, satisfying certain conditions of general position, under the assumption that the fibration $V/S$ is sufficiently twisted over the base (in particular, under the assumption that the $K$-condition holds). The condition of general position for every fibre guarantees that the global log canonical threshold is equal to one. This condition bounds the dimension of the base $S$ by a consta…
