On the relative cone conjecture for families of IHS manifolds

Andreas Höring,Gianluca Pacienza,Zhixin Xie

2024-10-16

Abstract:We study the relative cone conjecture for families of $K$-trivial varieties with vanishing irregularity. As an application we prove that the relative movable and the relative nef cone conjectures hold for fibrations in projective IHS manifolds of the 4 known deformation types.

Algebraic Geometry

What problem does this paper attempt to address?

The Relative Manin-Mumford Conjecture

Ziyang Gao,Philipp Habegger

2023-10-09

Abstract:We prove the Relative Manin-Mumford Conjecture for families of abelian varieties in characteristic 0. We follow the Pila-Zannier method to study special point problems, and we use the Betti map which goes back to work of Masser and Zannier in the case of curves. The key new ingredients compared to previous applications of this approach are a height inequality proved by both authors of the current paper and Dimitrov, and the first-named author's study of certain degeneracy loci in subvarieties of abelian schemes. We also strengthen this result and prove a criterion for torsion points to be dense in a subvariety of an abelian scheme over $\mathbb{C}$. The Uniform Manin-Mumford Conjecture for curves embedded in their Jacobians was first proved by Kühne. We give a new proof, as a corollary to our main theorem, that does not use equidistribution.

Number Theory,Algebraic Geometry
On the relative Morrison-Kawamata cone conjecture (II)

Zhan Li

2023-09-09

Abstract:Assuming the Morrison-Kawamata cone conjecture for the generic fiber of a Calabi-Yau fibration and the abundance conjecture, we show (1) the finiteness of minimal models, (2) the existence of a weak rational polyhedral fundamental domain under the action of birational automorphism groups, and (3) the finiteness of varieties as targets of contractions. As an application, the finiteness of minimal models and the weak Morrison-Kawamata cone conjecture in relative dimensions $\leq 2$ are established.

Algebraic Geometry
Relative aspherical conjecture and higher codimensional obstruction to positive scalar curvature

Shihang He

2024-03-26

Abstract:Motivated by the solution of the aspherical conjecture up to dimension 5 [CL20][Gro20], we want to study a relative version of the aspherical conjecture. We present a natural condition generalizing the model $X\times\mathbb{T}^k$ to the relative aspherical setting. Such model is closely related to submanifold obstruction of positive scalar curvature (PSC), and would be in similar spirit as [HPS15][CRZ23] in codim 2 case. In codim 3 and 4, we prove results on how 3-manifold obstructs the existence of PSC under our relative aspherical condition, the proof of which relies on a newly introduced geometric quantity called the it spherical width. This could be regarded as a relative version extension of the aspherical conjecture up to dim 5.

Differential Geometry,Geometric Topology
On the cone conjecture for Enriques manifolds

Gianluca Pacienza,Alessandra Sarti

2023-03-19

Abstract:Enriques manifolds are non simply connected manifolds whose universal cover is irreducible holomorphic symplectic, and as such they are natural generalizations of Enriques surfaces. The goal of this note is to prove the Morrison-Kawamata cone conjecture for such manifolds when the degree of the cover is prime using the analogous result (established by Amerik-Verbitsky) for their universal cover. We also verify the conjecture for the known examples having non-prime degree.

Algebraic Geometry
Calabi-Yau Manifolds with Isolated Conical Singularities

Hans-Joachim Hein,Song Sun

DOI: https://doi.org/10.1007/s10240-017-0092-1

2017-01-01

Publications mathématiques de l IHÉS

Abstract:Let $X$ be a complex projective variety with only canonical singularities and with trivial canonical bundle. Let $L$ be an ample line bundle on $X$. Assume that the pair $(X,L)$ is the flat limit of a family of smooth polarized Calabi-Yau manifolds. Assume that for each singular point $x \in X$ there exist a Kahler-Einstein Fano manifold $Z$ and a positive integer $q$ dividing $K_Z$ such that $-\frac{1}{q}K_Z$ is very ample and such that the germ $(X,x)$ is locally analytically isomorphic to a neighborhood of the vertex of the blow-down of the zero section of $\frac{1}{q}K_{Z}$. We prove that up to biholomorphism, the unique weak Ricci-flat Kahler metric representing $2\pi c_1(L)$ on $X$ is asymptotic at a polynomial rate near $x$ to the natural Ricci-flat Kahler cone metric on $\frac{1}{q}K_Z$ constructed using the Calabi ansatz. In particular, our result applies if $(X, \mathcal{O}(1))$ is a nodal quintic threefold in $\mathbb{P}^4$. This provides the first known examples of compact Ricci-flat manifolds with non-orbifold isolated conical singularities.
Degeneration of families of projective hypersurfaces and Hodge conjecture

Johann Bouali

2024-04-28

Abstract:We prove by induction on dimension the Hodge conjecture for smooth complex projective varieties. Let $X$ be a smooth complex projective variety. Then $X$ is birational to a possibly singular projective hypersurface, hence to a smooth projective variety $E_0$ which is a component of a normal crossing divisor $E=\cup_{i=0}^rE_i\subset Y$ which is the singular fiber of a pencil $f:Y\to\mathbb A^1$ of smooth projective hypersurfaces. Using the smooth hypersurface case by a previous result of the autor, the nearby cycle functor on mixed Hodge module with rational de Rham factor, and the induction hypothesis, we prove that an Hodge class of $E_0$ is absolute Hodge, more precisely the locus of Hodge classes inside the algebraic vector bundle given the De Rham cohomology the rational deformation of $E_0$ is defined over $\mathbb Q$. By another previous result of the autor, we get the Hodge conjecture for $E_0$. By the induction hypothesis we also have the Hodge conjecture for $X$.

Algebraic Geometry
A family of $4$-manifolds with nonnegative Ricci curvature and prescribed asymptotic cone

Shengxuan Zhou

2024-06-04

Abstract:In this paper, we show that for any finite subgroup $\Gamma < O(4)$ acting freely on $\mathbb{S}^3$, there exists a $4$-dimensional complete Riemannian manifold $(M,g)$ with ${\rm Ric}_g \geq 0 $, such that the asymptotic cone of $(M,g)$ is $C(\mathbb{S}_\delta^3 /\Gamma )$ for some $\delta = \delta (\Gamma ) >0$. This answers a question of Bruè-Pigati-Semola [<a class="link-https" data-arxiv-id="2405.03839" href="https://arxiv.org/abs/2405.03839">arXiv:2405.03839</a>] about the topological obstructions of $4$-dimensional non-collapsed tangent cones. Combining this result with a recent work of Bruè-Pigati-Semola [<a class="link-https" data-arxiv-id="2405.03839" href="https://arxiv.org/abs/2405.03839">arXiv:2405.03839</a>], one can classify the $4$-dimensional non-collapsed tangent cone in the topological sense.

Differential Geometry
K-theory of relative group -algebras and the relative Novikov conjecture

Jintao Deng,Geng Tian,Zhizhang Xie,Guoliang Yu

DOI: https://doi.org/10.1007/s00209-024-03439-2

2024-02-13

Mathematische Zeitschrift

Abstract:The relative Novikov conjecture states that the relative higher signatures of manifolds with boundary are invariant under orientation-preserving homotopy equivalences of pairs. The relative Baum–Connes assembly encodes information about the relative higher index of elliptic operators on manifolds with boundary. In this paper, we study the relative Baum–Connes assembly map for any pair of groups and apply it to solve the relative Novikov conjecture when the groups satisfy certain geometric conditions.

mathematics
The geometric cone conjecture in relative dimension two

Joaquín Moraga,Talon Stark

2024-09-20

Abstract:Let $X\rightarrow S$ be a fibration of relative dimension at most two and let $(X,\Delta)$ be a klt pair for which $K_X+\Delta \equiv_S 0$. We show that there are only finitely many Mori chambers and Mori faces in the movable effective cone $\mathcal{M}^e(X/S)$ up to the action of relative pseudo-automorphisms of $X/S$ preserving $\Delta$.

Algebraic Geometry
On surjective morphisms to abelian varieties and a generalization of the Iitaka conjecture

Fanjun Meng

DOI: https://doi.org/10.1007/s00209-024-03505-9

2024-07-23

Abstract:We explore the relationship between fibrations arising naturally from a surjective morphism to an abelian variety. These fibrations encode geometric information about the morphism. Our study focuses on the interplay of these fibrations and presents several applications. Then we propose a generalization of the Iitaka conjecture which predicts an equality of Kodaira dimension of fibrations, and prove it when the base is a smooth projective variety of maximal Albanese dimension.

Algebraic Geometry
On the cone conjecture for log Calabi-Yau mirrors of Fano 3-folds

Jennifer Li

2023-10-05

Abstract:Let $Y$ be a smooth projective $3$-fold admitting a K3 fibration $f : Y \rightarrow \mathbb{P}^1$ with $-K_Y = f^*\mathcal{O}(1)$. We show that the pseudoautomorphism group of $Y$ acts with finitely many orbits on the codimension one faces of the movable cone if $H^3(Y,\mathbb{C})=0$, confirming a special case of the Kawamata--Morrison--Totaro cone conjecture. In [CCGK16], [P18], and [CP18], the authors construct log Calabi-Yau 3-folds with K3 fibrations satisfying the hypotheses of our theorem as the mirrors of Fano 3-folds.

Algebraic Geometry
On Fano manifolds with an unsplit dominating family of rational curves

Carla Novelli

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

2011-09-09

Abstract:We study Fano manifolds $X$ admitting an unsplit dominating family of rational curves and we prove that the Generalized Mukai Conjecture holds if $X$ has pseudoindex $i_X = (\dim X)/3$ or dimension $\dim X=6$. We also show that this conjecture is true for all Fano manifolds with $i_X > (\dim X)/3$.

Algebraic Geometry
Remarks on nef and movable cones of hypersurfaces in Mori dream spaces

Long Wang

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

2022-05-18

Abstract:We investigate nef and movable cones of hypersurfaces in Mori dream spaces. The first result is: Let $Z$ be a smooth Mori dream space of dimension at least four whose extremal contractions are of fiber type of relative dimension at least two and let $X$ be a smooth ample divisor in $Z$, then $X$ is a Mori dream space as well. The second result is: Let $Z$ be a Fano manifold of dimension at least four whose extremal contractions are of fiber type and let $X$ be a smooth anti-canonical hypersurface in $Z$, which is a smooth Calabi--Yau variety, then the unique minimal model of $X$ up to isomorphism is $X$ itself, and moreover, the movable cone conjecture holds for $X$, namely, there exists a rational polyhedral cone which is a fundamental domain for the action of birational automorphisms on the effective movable cone of $X$. The third result is: Let $P:= \mathbb{P}^n \times \cdots \times \mathbb{P}^n$ be the $N$-fold self-product of the $n$-dimensional projective space. Let $X$ be a general complete intersection of $n+1$ hypersurfaces of multidegree $(1, \dots, 1)$ in $P$ with $\dim X \geq 3$. Then $X$ has only finitely many minimal models up to isomorphism, and moreover, the movable cone conjecture holds for $X$.

Algebraic Geometry
Classification of Affine Varieties Being Cones over Nonsingular Projective Varieties: Hypersurface Case

KP Lin,SST Yau

2004-01-01

Communications in Analysis and Geometry

Abstract:Let X be a nonsingular projective variety in CPn. Then the cone over X in Cn+1 is an affine variety V with an isolated singularity at the origin. It is a very natural question to ask when an affine variety with an isolated singularity at the origin is a cone over nonsingular projective variety.In this paper we shall treat the hypersurface case. Specifically, we will prove the Yau conjecture on 3-dimensional weighted homogeneous hypersurface singularities. In particular, we have obtained sharp upper estimate of geometric genus in terms of Milnor number and multiplicity of the singularity. An important corollary that we obtain is a numerical characterization when an affine hypersurface in C-4 with only isolated critical point at the origin is a cone over nonsingular hypersurface in CP3 after biholomorphic change of coordinates.
Families over special base manifolds and a conjecture of Campana

Kelly Jabbusch,Stefan Kebekus

DOI: https://doi.org/10.1007/s00209-010-0758-6

2010-07-14

Abstract:Consider a smooth, projective family of canonically polarized varieties over a smooth, quasi-projective base manifold Y, all defined over the complex numbers. It has been conjectured that the family is necessarily isotrivial if Y is special in the sense of Campana. We prove the conjecture when Y is a surface or threefold. The proof uses sheaves of symmetric differentials associated to fractional boundary divisors on log canonical spaces, as introduced by Campana in his theory of Orbifoldes Geometriques. We discuss a weak variant of the Harder-Narasimhan Filtration and prove a version of the Bogomolov-Sommese Vanishing Theorem that take the additional fractional positivity along the boundary into account. A brief, but self-contained introduction to Campana's theory is included for the reader's convenience.

Algebraic Geometry,Complex Variables,Differential Geometry
Bakry-Èmery, Hardy, and Spectral Gap Estimates on Manifolds with Conical Singularities

Karl-Theodor Sturm

2024-06-11

Abstract:We study spectral properties and geometric functional inequalities on Riemannian manifolds of dimension $\ge3$ with (finite or countably many) conical singularities $\{z_i\}_{i\in\mathfrak I}$ in the neighborhood of which the largest lower bound for the Ricci curvature is \begin{equation}\label{d2} k(x)\simeq K_i-\frac{s_i}{d^2(z_i,x)}. \end{equation} Thus none of the existing Bakry-Émery inequalities or curvature-dimension conditions apply. In particular, $k$ does not belong to the Kato (or (extended Kato) class, and $(M,g)$ is not tamed. Manifolds with such a singular Ricci bound appear quite naturally., e.g. as cones over spheres of radius $>1$ For such manifolds with conical singularities we will prove * a version of the Bakry-Émery inequality * a novel Hardy inequality * a spectral gap estimate.

Differential Geometry,Metric Geometry
Geometrical finiteness for automorphism groups via cone conjecture

Kohei Kikuta

2024-06-26

Abstract:This paper aims to establish the geometrical finiteness for the natural isometric actions of (birational) automorphism groups on the hyperbolic spaces for K3 surfaces, Enriques surfaces, Coble surfaces, and irreducible symplectic varieties. As an application, it can be seen that such groups are non-positively curved: ${\rm CAT(0)}$ and relatively hyperbolic. In the case of K3 surfaces, we additionally provide a dynamical characterization of the relative hyperbolicity, and the first counterexample to Mukai's conjecture concerning the virtual cohomological dimension of automorphism groups.

Algebraic Geometry,Group Theory,Geometric Topology
Kähler Ricci flow on Fano manifolds(I)

Xiuxiong Chen,Bing Wang

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

2010-02-28

Abstract:We study the evolution of anticanonical line bundles along the Kähler Ricci flow. We show that under some conditions, the convergence of Kähler Ricci flow is determined by the properties of the anticanonical divisors of $M$. As examples, the Kähler Ricci flow on $M$ converges when $M$ is a Fano surface and $c_1^2(M)=1$ or $c_1^2(M)=3$. Combined with the work in \cite{CW1} and \cite{CW2}, this gives a Ricci flow proof of the Calabi conjecture on Fano surfaces with reductive automorphism groups. The original proof of this conjecture is due to Gang Tian.

Differential Geometry,Algebraic Geometry
On the relative Novikov conjecture for coarsely embeddable groups

Geng Tian,Zhizhang Xie,Guoliang Yu

2023-09-30

Abstract:In this paper, we prove the strong relative Novikov conjecture for any pair of groups that are coarsely embeddable into Hilbert space. As an application, we show that the relative Novikov conjecture on the homotopy invariance of relative higher signatures holds for manifolds with boundary, provided the fundamental groups of the manifolds and their boundary are coarsely embeddable into Hilbert space.

Functional Analysis,Algebraic Topology,Operator Algebras

On the relative cone conjecture for families of IHS manifolds

The Relative Manin-Mumford Conjecture

On the relative Morrison-Kawamata cone conjecture (II)

Relative aspherical conjecture and higher codimensional obstruction to positive scalar curvature

On the cone conjecture for Enriques manifolds

Calabi-Yau Manifolds with Isolated Conical Singularities

Degeneration of families of projective hypersurfaces and Hodge conjecture

A family of $4$-manifolds with nonnegative Ricci curvature and prescribed asymptotic cone

K-theory of relative group -algebras and the relative Novikov conjecture

The geometric cone conjecture in relative dimension two

On surjective morphisms to abelian varieties and a generalization of the Iitaka conjecture

On the cone conjecture for log Calabi-Yau mirrors of Fano 3-folds

On Fano manifolds with an unsplit dominating family of rational curves

Remarks on nef and movable cones of hypersurfaces in Mori dream spaces

Classification of Affine Varieties Being Cones over Nonsingular Projective Varieties: Hypersurface Case

Families over special base manifolds and a conjecture of Campana

Bakry-Èmery, Hardy, and Spectral Gap Estimates on Manifolds with Conical Singularities

Geometrical finiteness for automorphism groups via cone conjecture

Kähler Ricci flow on Fano manifolds(I)

On the relative Novikov conjecture for coarsely embeddable groups