A contraction theorem for divisors fibering over a curve

Andreas Höring,Thomas Peternell

2024-09-24

Abstract:Given a Q-Cartier divisor $S \subset X$ admitting a fibration $S \rightarrow B$ onto a curve we give sufficient conditions for the existence of a bimeromorphic contraction contracting S onto B. As a corollary we recover a contraction result for compact Kähler threefolds.

Algebraic Geometry,Complex Variables

What problem does this paper attempt to address?

Divisorial contractions in dimension three which contract divisors to compound A_1 points

Masayuki Kawakita

DOI: https://doi.org/10.48550/arXiv.math/0010207

2000-10-22

Abstract:We deal with a divisorial contraction in dimension 3 which contracts its exceptional divisor to a cA_1 point. We prove that any such contraction is obtained by a suitable weighted blow-up.

Algebraic Geometry
On the divisorial contractions to curves of threefolds

Hsin-Ku Chen,Jheng-Jie Chen,Jungkai A. Chen

2024-11-25

Abstract:We prove that each divisorial contraction to a curve between terminal threefolds is a weighted blow-up under a suitable embedding. Moreover, we give a classification of the weighted blow-ups assuming that the curve is smooth.

Algebraic Geometry
Counting divisorial contractions with centre a $cA_n$-singularity

Erik Paemurru

2024-07-04

Abstract:First, we simplify the existing classification due to Kawakita and Yamamoto of 3-dimensional divisorial contractions with centre a $cA_n$-singularity, also called compound $A_n$ singularity. Next, we describe the global algebraic divisorial contractions corresponding to a given local analytic equivalence class of divisorial contractions with centre a point. Finally, we consider divisorial contractions of discrepancy at least 2 to a fixed variety with centre a $cA_n$-singularity. We show that if there exists one such divisorial contraction, then there exist uncountably many such divisorial contractions.

Algebraic Geometry
A Torelli theorem for graphs via quasistable divisors

Alex Abreu,Marco Pacini

2023-09-09

Abstract:The Torelli theorem establishes that the Jacobian of a smooth projective curve, together with the polarization provided by the theta divisor, fully characterizes the curve. In the case of nodal curves, there exists a concept known as fine compactified Jacobian. The fine compactified Jacobian of a curve comes with a natural stratification that can be regarded as a poset. Furthermore, this poset is entirely determined by the dual graph of the curve and is referred to as the poset of quasistable divisors on the graph. We present a combinatorial version of the Torelli theorem, which demonstrates that the poset of quasistable divisors of a graph completely determines the biconnected components of the graph (up to contracting separating edges). Moreover, we achieve a natural extension of this theorem to tropical curves.

Combinatorics,Algebraic Geometry
Flips from semi-stable 4-folds whose degenerate fibers are unions of Cartier divisors which are terminal factorial 3-folds

Yasuyuki Kachi

DOI: https://doi.org/10.48550/arXiv.alg-geom/9505028

1995-05-27

Abstract:We shall investigate flipping contractions from a semi-stable 4-fold $X$ whose degenerate fiber is a union of Cartier divisors which are terminal factorial 3-folds. Especially we shall prove that $X$ is smooth along the flipping locus, and that the flip exists for such contractions.

Algebraic Geometry
A Note on the Strict Transformation of an Effective Cartier Divisor

Yu Zhao

2023-04-19

Abstract:Let $Y$ be an effective Cartier divisor of a smooth variety $Z$. Let $X_{i}$, $i\in \{1,\cdots,n\}$ be a set of pairwise disjoint smooth subvarieties in $Y$ such that their union contains the singular locus of $Y$. In this paper, we give a sufficient condition such that $Bl_{X}Y$ is smooth, where $X$ is the disjoint union of all $X_{i}$. Moreover, we prove that assuming a dimensional condition, there is an admissible subcategory of $D^{b}(Bl_{X}Y)$ which is a weak categorical crepant resolution of $Y$ in the sense of Kuznetsov.

Algebraic Geometry
Extremal contractions of 2-Fano fourfolds

Florian Schrack

DOI: https://doi.org/10.48550/arXiv.1406.3180

2014-06-12

Abstract:We consider extremal contractions on smooth Fano fourfolds whose second Chern character is positive. We show that such contractions can neither be of fiber type nor contract a divisor to a point.

Algebraic Geometry
A Nonvanishing Theorem for Q-divisors

ALFRED JUNGKAI CHEN,Meng Chen,De-Qi Zhang

2005-01-01

Abstract:We prove a non-vanishing theorem of the cohomology H^0 of the adjoint divisor K_X + L' where L' is the round up of a nef and big Q-divisor L.
General elephants for threefold extremal contractions with one-dimensional fibers: exceptional case

Shigefumi Mori,Yuri Prokhorov

DOI: https://doi.org/10.1070/SM9388

2024-09-23

Abstract:Let $(X, C)$ be a germ of a threefold $X$ with terminal singularities along a connected reduced complete curve $C$ with a contraction $f : (X, C) \to (Z, o)$ such that $C = f^{-1} (o)_{\mathrm{red}}$ and $-K_X$ is $f$-ample. Assume that each irreducible component of $C$ contains at most one point of index $>2$. We prove that a general member $D\in |{-}K_X|$ is a normal surface with Du Val singularities.

Algebraic Geometry
A non-vanishing theorem for -divisors on surfaces

J CHEN,M CHEN,D ZHANG

DOI: https://doi.org/10.1016/j.jalgebra.2005.05.005

IF: 0.908

2005-01-01

Journal of Algebra

Abstract:We prove a non-vanishing theorem of the cohomology H0 of the adjoint divisor KX+⌈L⌉ where ⌈L⌉ is the round up of a nef and big Q-divisor L.
Contraction centers in families of hyperkahler manifolds

Ekaterina Amerik,Misha Verbitsky

DOI: https://doi.org/10.1007/s00029-021-00677-8

2021-06-29

Abstract:We study the exceptional loci of birational (bimeromorphic) contractions of a hyperkähler manifold $M$. Such a contraction locus is the union of all minimal rational curves in a collection of cohomology classes which are orthogonal to a wall of the Kähler cone. Homology classes which can possibly be orthogonal to a wall of the Kähler cone of some deformation of $M$ are called MBM classes. We prove that all MBM classes of type (1,1) can be represented by rational curves, called MBM curves. All MBM curves can be contracted on an appropriate birational model of $M$, unless $b_2(M) \leq 5$. When $b_2(M)>5$, this property can be used as an alternative definition of an MBM class and an MBM curve. Using the results of Bakker and Lehn, we prove that the diffeomorphism type of a contraction locus remains stable under all deformations for which these classes remains of type (1,1), unless the contracted variety has $b_2\leq 4$. Moreover, these diffeomorphisms preserve the MBM curves, and induce biholomorphic maps on the contraction fibers, if they are normal.

Algebraic Geometry
Bounding non-rationality of divisors on 3-fold Fano fibrations

Caucher Birkar,Konstantin Loginov

DOI: https://doi.org/10.1515/crelle-2021-0039

2021-01-01

Journal fur die reine und angewandte Mathematik

Abstract:In this paper we investigate non-rationality of divisors on 3-fold log Fano fibrations (X, B) -> Z under mild conditions. We show that if D is a component of B with coefficient >= t > 0 which is contracted to a point on Z, then D is birational to P-1 x C, where C is a smooth projective curve with gonality bounded depending only on t. Moreover, if t > 1/2, then genus of C is bounded depending only on t.
A decomposition theorem for the affine Springer fibers

Zongbin Chen

2024-04-12

Abstract:According to Laumon, an affine Springer fiber is homeomorphic to the universal abelian covering of the compactified Jacobian of a spectral curve. We construct equivariant deformations $f_{n}:\overline{\mathcal{P}}_{n}\to \mathcal{B}_{n}$ of the finite abelian coverings of this compactified Jacobian, and decompose the complex $Rf_{n,*}\mathbf{Q}_{\ell}$ as direct sum of intersection complexes. Pass to the limit, we obtain a similar expression for the homology of the affine Springer fibers. A quite surprising consequence is that we can reduce the homology to its $\Lambda^{0}$-invariant subspace. As an application, we get a sheaf-theoretic reformulation of the purity hypothesis of Goresky, Kottwitz and MacPherson. In an attempt to solve it, we propose a conjecture about the punctural weight of the intermediate extension of a smooth $\ell$-adic sheaf of pure weight.

Algebraic Geometry
Line bundles on Contractions of $\overline{\rm{M}}_{0,n}$ via Conformal Block Divisors

Daebeom Choi

2024-10-29

Abstract:Using representations of vertex operator algebras, we describe the line bundles on a wide range of contractions of $\overline{\rm{M}}_{0,n}$, the moduli space of stable $n$-pointed rational curves, by proving a stronger version of the contraction theorem for these morphisms. These include the celebrated constructions of Kapranov, Keel, and Knudsen. Our main result suggests that while many so-called F-curves are not $K_X$-negative, they exhibit behavior similar to $K_X$-negative curves. This reveals for instance, a distinguished property of Knudsen's construction $f_{\text{Knu}}:\overline{\rm{M}}_{0,n}\to \overline{\rm{M}}_{0,n-1}\times_{\overline{\rm{M}}_{0,n-2}}\overline{\rm{M}}_{0,n-1}$, allowing for the classification of all possible factorizations of $f_{\text{Knu}}$, as well as further applications, and generalizations.

Algebraic Geometry,Quantum Algebra
Contraction algebra and singularity of three-dimensional flopping contraction

Zheng Hua

DOI: https://doi.org/10.48550/arXiv.1610.05467

2018-03-06

Abstract:In [5], Donovan and Wemyss introduced the contraction algebra of flopping curves in 3-folds. They conjectured that the contraction algebra determines the formal neighborhood of the underlying singularity of the contraction. In this paper, we prove that the contraction algebra together with its natural $A_\infty$-structure constructed in [10], determine the formal neighborhood of the singularity.

Algebraic Geometry
Derived deformation theory of crepant curves

Gavin Brown,Michael Wemyss

DOI: https://doi.org/10.1112/topo.12359

2024-10-17

Journal of Topology

Abstract:This paper determines the full, derived deformation theory of certain smooth rational curves C in Calabi–Yau 3‐folds, by determining all higher A∞ ‐products in its controlling DG‐algebra. This geometric setup includes very general cases where C does not contract, cases where the curve neighbourhood is not rational, all known simple smooth 3‐fold flops, and all known divisorial contractions to curves. As a corollary, it is shown that the non‐commutative deformation theory of C is described via a superpotential algebra derived from what we call free necklace polynomials, which are elements in the free algebra obtained via a closed formula from combinatorial gluing data. The description of these polynomials, together with the above results, establishes a suitably interpreted string theory prediction due to Ferrari (Adv. Theor. Math. Phys. 7 (2003) 619–665), Aspinwall–Katz (Comm. Math. Phys.. 264 (2006) 227–253) and Curto–Morrison (J. Algebraic Geom. 22 (2013) 599–627). Perhaps most significantly, the main results give both the language and evidence to finally formulate new contractibility conjectures for rational curves in CY 3‐folds, which lift Artin's (Amer. J. Math. 84 (1962) 485–496) celebrated results from surfaces.

mathematics
Non-archimedean SYZ fibrations via tropical contractions

Yuto Yamamoto

2024-04-07

Abstract:We consider a toric degeneration of Calabi--Yau complete intersections of Batyrev--Borisov in the Gross--Siebert program. The author showed in his previous work that there exists an integral affine contraction map called a tropical contraction, from the tropical variety obtained as its tropicalization to the dual intersection complex of the toric degeneration. In this article, we prove that the dual intersection complex is isomorphic to the essential skeleton of the Berkovich analytification as piecewise integral affine manifolds, and the composition of the tropicalization map and the tropical contraction is an affinoid torus fibration with a discriminant of codimension $2$, which induces the same integral affine structure as the one coming from the toric degeneration. This is a generalization of the earlier work by Pille-Schneider for a specific degeneration of Calabi--Yau hypersurfaces in projective spaces.

Algebraic Geometry
A question on effective strictly nef divisors (with an appendix by Andreas Höring)

Claudio Fontanari

2024-04-12

Abstract:We introduce and motivate the following question: Is every effective strictly nef Cartier divisor on a projective variety big? In the appendix, Andreas Höring produces a counterexample, thus providing a negative answer.

Algebraic Geometry
Calabi--Yau threefolds with infinitely many divisorial contractions

Hokuto Uehara

DOI: https://doi.org/10.48550/arXiv.math/0312498

2003-12-30

Abstract:We study Calabi--Yau 3-folds with infinitely many divisorial contractions. We also suggest a method to describe Calabi--Yau 3-folds with the infinite automorphism group.

Algebraic Geometry
On the Q-divisor method and its application

Meng Chen

DOI: https://doi.org/10.48550/arXiv.math/9904005

2003-11-11

Abstract:For smooth projective 3-folds of general type, we prove that the relative canonical stability $\mu_s(3)\leq 8$. This is induced from our improved result of Kollár: the m-canonical map of a smooth projective 3-fold of general type is birational whenever $m\geq 5k+6$, provided $P_k(X)\geq 2$. The Q-divisor method is intensively developed to prove our results.

Algebraic Geometry

A contraction theorem for divisors fibering over a curve

Divisorial contractions in dimension three which contract divisors to compound A_1 points

On the divisorial contractions to curves of threefolds

Counting divisorial contractions with centre a $cA_n$-singularity

A Torelli theorem for graphs via quasistable divisors

Flips from semi-stable 4-folds whose degenerate fibers are unions of Cartier divisors which are terminal factorial 3-folds

A Note on the Strict Transformation of an Effective Cartier Divisor

Extremal contractions of 2-Fano fourfolds

A Nonvanishing Theorem for Q-divisors

General elephants for threefold extremal contractions with one-dimensional fibers: exceptional case

A non-vanishing theorem for -divisors on surfaces

Contraction centers in families of hyperkahler manifolds

Bounding non-rationality of divisors on 3-fold Fano fibrations

A decomposition theorem for the affine Springer fibers

Line bundles on Contractions of $\overline{\rm{M}}_{0,n}$ via Conformal Block Divisors

Contraction algebra and singularity of three-dimensional flopping contraction

Derived deformation theory of crepant curves

Non-archimedean SYZ fibrations via tropical contractions

A question on effective strictly nef divisors (with an appendix by Andreas Höring)

Calabi--Yau threefolds with infinitely many divisorial contractions

On the Q-divisor method and its application