Projectivity criteria for Kähler morphisms

Benoît Claudon,Andreas Höring

2024-04-22

Abstract:In this short note we prove two projectivity criteria for fibrations between mildly singular compact Kähler spaces. They are the relative versions of the celebrated criteria of Kodaira and Moishezon. As an application we obtain that the MRC fibration always has a model that is a projective morphism.

Algebraic Geometry,Complex Variables

What problem does this paper attempt to address?

Projectivity via the dual Kähler cone - Huybrechts' criterion

Keiji Oguiso,Thomas Peternell

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

1999-07-21

Abstract:We give an elementary proof of the following projectivity criterion of Huybrechts: a compact Kähler surface is projective if and only if the dual Kähler cone contains an inner integral point.

Algebraic Geometry
Positivity of tangent sheaves of projective varieties -- the structure of MRC fibrations

Masataka Iwai,Shin-ichi Matsumura,Guolei Zhong

2023-09-18

Abstract:In this paper, we extend the structure theorem for smooth projective varieties with nef tangent bundle to projective klt varieties whose tangent sheaf is either positively curved or almost nef. Specifically, we show that such a variety $X$, up to a finite quasi-étale cover, admits a rationally connected fibration $X \to A$ onto an abelian variety $A$. For the proof, we develop the theory of positivity of coherent sheaves on projective varieties. As applications, we establish some relations between the geometric properties and positivity of tangent sheaves.

Algebraic Geometry,Complex Variables,Differential Geometry
Quasi-positive curvature and projectivity

Yiyang Du,Yanyan Niu

2024-11-07

Abstract:In this paper, we first prove that a compact Kähler manifold is projective if it satisfies certain quasi-positive curvature conditions, including quasi-positive $S_2^\perp,\, S_2^+,\,\mbox{Ric}_3^\perp, \,\mbox{Ric}_3^+$ or $2$-quasi-positive $\mbox{Ric}_k$. Subsequently, we prove that a compact Kähler manifold with a restricted holonomy group is both projective and rationally conected if it satisfies some non-negative curvature condition, including non-negative $S_2^\perp,\, S_2^+,\,\mbox{Ric}_3^\perp, \,\mbox{Ric}_3^+$ or $2$-non-negative $\mbox{Ric}_k$.

Differential Geometry,Complex Variables
A Note on Kahler-Ricci Soliton

Xiuxiong Chen,Song Sun,Gang Tian

DOI: https://doi.org/10.1093/imrp/rnp056

2009-01-01

International Mathematics Research Notices

Abstract:In this note we provide a proof of the following: Any compact KRS with positive bisectional curvature is biholomorphic to the complex projective space. As a corollary, we obtain an alternative proof of the Frankel conjecture by using the K\"ahler-Ricci flow.
On Some Birational Invariants of Hyper-Kähler Manifolds

Chenyu Bai

DOI: https://doi.org/10.1093/imrn/rnad317

2024-01-15

International Mathematics Research Notices

Abstract:Abstract We study in this article three birational invariants of projective hyper-Kähler manifolds: the degree of irrationality, the fibering gonality, and the fibering genus. We first improve the lower bound in a recent result of Voisin saying that the fibering genus of a Mumford–Tate very general projective hyper-Kähler manifold is bounded from below by a constant depending on its dimension and the second Betti number. We also study the relations between these birational invariants for projective $K3$ surfaces of Picard number $1$ and study the asymptotic behaviors of their degree of irrationality and fibering genus.

mathematics
Frobenius-Perron theory for projective schemes

E. Wicks,X. H. Zhang,H. Zhu,J. Chen,Z. Gao,J. Zhang

DOI: https://doi.org/10.1090/tran/8624

IF: 1.3529

2023-01-18

Transactions of the American Mathematical Society

Abstract:The Frobenius-Perron theory of an endofunctor of a k \Bbbk -linear category (recently introduced in Chen et al. [Algebra Number Theory 13 (2019), pp. 2005–2055]) provides new invariants for abelian and triangulated categories. Here we study Frobenius-Perron type invariants for derived categories of commutative and noncommutative projective schemes. In particular, we calculate the Frobenius-Perron dimension for domestic and tubular weighted projective lines, define Frobenius-Perron generalizations of Calabi-Yau and Kodaira dimensions, and provide examples. We apply this theory to the derived categories associated to certain Artin-Schelter regular and finite-dimensional algebras.

mathematics
Dualité relative de type Kleiman I: Cas propre

Mohamed Kaddar

2024-06-14

Abstract:The goal of this papers is to extending to the complex analytic framework the relative Kleiman duality for quasi coherent sheaves. Precisely, he show that for any flat,locally projectivea and finitely presented morphism of schemes $\pi:X\rightarrow S$ whose fibers are of pure dimension $n$, the functor ${\rm I}\!{\rm R}^{n}\pi_{*}:{\rm Q}coh(X) \rightarrow {\rm Q}coh(S)$ admits a right adjoint covariant functor (noted $\pi^{!}_{\mathcal K}$) inducing, for any quasi-coherent sheaves ${\mathcal F}$ and ${\mathcal G}$ on $X$ and $S$ respectively, a relative duality isomorphism ${\rm I}\!{\rm H}om(X; {\mathcal F},\pi^{!}_{\mathcal K}({\mathcal G}))\simeq {\rm I}\!{\rm H}om(S; {\rm I}\!{\rm R}^{n}\pi_{*}{\mathcal F}, {\mathcal G})$ bifunctorial in ${\mathcal F}$, ${\mathcal G}$ satisfying many nice functorial properties. Furthermore, he shows that full duality is achieved if and only if $\pi$ is Cohen Macaulay morphism. We show in the first part which concerns proper morphism of complex spaces with constant fibers dimension that we have a similar duality in this context with the same conclusion for the full duality. In the secod part, the morphism are not necessarly proper but equidimensional or open with constant fibers dimension. The situation is much more complicated because we must use a specific analytic geometry tools. Infinite dimensional cohomology groups considered as locally convex vectorial topological spaces are generally not Hausdorff, the higher direct image with propre support ${\rm I}\!{\rm R}^{n}\pi_{!}$ are generally never coherent. Despite all this problems, we are able to give a semi-relative duality theorem as mentioned above and in a certain sense.

Algebraic Geometry
Kähler duality and projective embeddings

Andrea Loi,Roberto Mossa,Fabio Zuddas

2024-09-20

Abstract:Motivated by the duality theory between Hermitian symmetric spaces of noncompact and compact types, we introduce and examine the concept of Kähler duality between domains of $\mathbb C^n$.

Differential Geometry,Complex Variables
Positivity and the Kodaira Embedding Theorem

Lei Ni,Fangyang Zheng

DOI: https://doi.org/10.2140/gt.2022.26.2491

2022-01-01

Geometry & Topology

Abstract:The Kodaira embedding theorem provides an effective characterization of projectivity of a Kahler manifold in terms the second cohomology. X Yang (2018) proved that any compact Kahler manifold with positive holomorphic sectional curvature must be projective. This gives a metric criterion of the projectivity in terms of its curvature. We prove that any compact Kahler manifold with positive 2(nd) scalar curvature (which is the average of holomorphic sectional curvature over 2-dimensional subspaces of the tangent space) must be projective. In view of generic 2-tori being nonabelian, this new curvature characterization is sharp in certain sense.
On the moduli space of simple sheaves on singular K3 surfaces

Barbara Fantechi,Rosa M. Miró-Roig

2024-03-02

Abstract:Mukai proved that the moduli space of simple sheaves on a smooth projective K3 surface is symplectic, and in \cite{FM2} we gave two constructions allowing one to construct new locally closed Lagrangian/isotropic subspaces of the moduli from old ones. In this paper, we extend both Mukai's result and our construction to reduced projective K3 surfaces; for the former we need to restrict our attention to perfect sheaves. There are two key points where we cannot get a straightforward generalization. In each, we need to prove that a certain differential form on the moduli space of simple, perfect sheaves vanishes, and we introduce a smoothability condition to complete the proof.

Algebraic Geometry
Moduli spaces of sheaves on Fano threefolds and K3 surfaces of genus 9

Dominique Mattei

2024-01-05

Abstract:A complex smooth prime Fano threefold $X$ of genus $9$ is related via projective duality to a quartic plane curve $\Gamma$. We use this setup to study the restriction of rank $2$ stable sheaves with prescribed Chern classes on $X$ to an anticanonical $K3$ surface $S\subset X$. Varying the threefold $X$ containing $S$ gives a rational Lagrangian fibration $$\mathcal{M}_S(2,1,7) \dashrightarrow \mathbb{P}^3$$ with generic fibre birational to the moduli space $\mathcal{M}_X(2,1,7)$ of sheaves on $X$. Moreover, we prove that this rational fibration extends to an actual fibration on a birational model $\mathcal{M}$ of $\mathcal{M}_S(2,1,7)$. In a last part, we use Bridgeland stability conditions to exhibit all $K$-trivial smooth birational models of $\mathcal{M}_S(2,1,7)$, which consist in itself and $\mathcal{M}$. We prove that these models are related by a flop, and we describe the positive, movable and nef cones of $\mathcal{M}_S(2,1,7)$.

Algebraic Geometry
Kähler metrics and toric Lagrangian fibrations

Rui Loja Fernandes,Maarten Mol

2024-01-06

Abstract:We extend the Abreu-Guillemin theory of invariant Kähler metrics from toric symplectic manifolds to any symplectic manifold admitting a toric action of a symplectic torus bundle. We show that these are precisely the symplectic manifolds admitting a Lagrangian fibration with elliptic singularities. The base of such a toric Lagrangian fibration is a codimension 0 submanifold with corners of an integral affine manifold, called a Delzant subspace. This concept generalizes the Delzant polytope associated with a compact symplectic toric manifold. Given a Delzant subspace of finite type, we provide a Delzant-type construction of a Lagrangian fibration with the moment image being the specified Delzant subspace. We establish a 1:1 correspondence between invariant Kähler metrics and a pair consisting of an elliptic connection on the total space of the fibration and a hybrid $b$-metric on the base Delzant subspace, both with specified residues over the facets. Finally, we characterize extremal invariant Kähler metrics as those whose scalar curvature descends to an affine function on the base integral affine manifold. We show that this provides a method for finding and constructing extremal Kähler metrics.

Differential Geometry,Symplectic Geometry
Fibrations by plane quartic curves with a canonical moving singularity

Cesar Hilario,Karl-Otto Stöhr

2024-09-10

Abstract:We classify fibrations by integral plane projective rational quartic curves whose generic fibre is regular but admits a non-smooth point that is a canonical divisor. These fibrations can only exist in characteristic two. The geometric generic fibre, which determines the generic behaviour of the special fibres, is an integral plane projective rational quartic curve over the algebraic closure of the function field of the base. It has the remarkable property that the tangent lines at the non-singular points are either all bitangents or all non-ordinary inflection tangents; moreover it is strange, that is, all the tangent lines meet in a common point. We construct two fibrations that are universal in the sense that any other fibration with the aforementioned properties can be obtained from one of them by a base extension. Furthermore, among these fibrations we choose a pencil of plane quartic curves and study in detail its geometry. We determine the corresponding minimal regular model and we describe it as a purely inseparable double covering of a quasi-elliptic fibration.

Algebraic Geometry
Quasi-positive curvature and vanishing theorems

Kai Tang

2024-05-09

Abstract:In this paper, we consider mixed curvature $\mathcal{C}_{a,b}$, which is a convex combination of Ricci curvature and holomorphic sectional curvature introduced by Chu-Lee-Tam. We prove that if a compact complex manifold M admits a Kähler metric with quasi-positive mixed curvature and $3a+2b\geq0$, then it is projective. If $a,b\geq0$, then M is rationally connected. As a corollary, the same result holds for k-Ricci curvature. We also show that any compact Kähler manifold with quasi-positive 2-scalar curvature is projective. Lastly, we generalize the result to the Hermitian case. In particular, any compact Hermitian threefold with quasi-positive real bisectional curvature have vanishing Hodge number $h^{2,0}$. Furthermore, if it is Kählerian, it is projective.

Differential Geometry
Rigidity of Holomorphically Projective Mappings of Kähler Spaces with Finite Complete Geodesics

Lenka Vítková,Irena Hinterleitner,Josef Mikeš

DOI: https://doi.org/10.3390/math12081239

IF: 2.4

2024-04-20

Mathematics

Abstract:In this work, we consider holomorphically projective mappings of (pseudo-) Kähler spaces. We determine the conditions for finite complete geodesics that must be satisfied for the mappings to be trivial; i.e., these spaces are rigid.

mathematics
Moduli of K3 families over $\mathbb{P}^1$, cycle spaces of IHS period domains, and deformations of complex-hyperkähler metrics

Daniel Greb,Martin Schwald

2024-05-25

Abstract:In the spirit of the classical theory for K3 surfaces, we construct a Hausdorff fine moduli space for families of marked K3 surfaces over smooth rational curves in the K3 period domain. This moduli space admits an étale holomorphic map to the parameter space for such rational curves, which assumes the role of a period space for this moduli problem. Over an open subset containing all twistor cycles, we construct a family of such families that is a universal small deformation for every twistor family. Finally, small deformations of K3 twistor families are shown to induce complex-hyperkähler metrics on members of the families via the original complex version of Penrose's Non-linear Graviton construction. This answers a question posed independently by Fels--Huckleberry--Wolf and Looijenga. Generalizations to higher-dimensional irreducible holomorphic-symplectic manifolds are studied throughout.

Algebraic Geometry,Complex Variables,Differential Geometry
The c-projective symmetry algebras of Kähler surfaces

Gianni Manno,Jan Schumm,Andreas Vollmer

2024-12-07

Abstract:Let $M$ be a Kähler manifold with complex structure $J$ and Kähler metric $g$. A c-projective vector field is a vector field on $M$ whose flow sends $J$-planar curves to $J$-planar curves, where $J$-planar curves are analogs of what (unparametrised) geodesics are for pseudo-Riemannian manifolds (without complex structure). The c-projective symmetry algebras of Kähler surfaces with essential (i.e., non-affine) c-projective vector fields are computed.

Differential Geometry
Moduli spaces and period mappings of genus one fibered K3 surfaces

Benson Farb,Eduard looijenga

2023-03-15

Abstract:In this paper we construct various moduli spaces of K3 surfaces $M$ equipped with a surjective holomorphic map $\pi:M\to\Pb^1$ with generic fiber a complex torus (e.g., an elliptic fibration). Examples include moduli spaces of such maps with primitive fibers; with reduced, irreducible fibers; equipped with a section; etc. Such spaces are closely related to the moduli space of Ricci-flat metrics on $M$. We construct period mappings relating these moduli spaces to locally symmetric spaces, and use these to compute their (orbifold) fundamental groups. These results lie in contrast to, and exhibit different behavior than, the well-studied case of moduli spaces of polarized K3 surfaces, and are more useful for applications to the mapping class group $\Mod(M)$. Indeed, we apply our results on moduli space to give two applications to the smooth mapping class group of $M$.

Algebraic Geometry,Geometric Topology
K-moduli of Fano threefolds and genus four curves

Yuchen Liu,Junyan Zhao

2024-03-25

Abstract:In this article, we study the K-moduli space of Fano threefolds obtained by blowing up $\mathbb{P}^3$ along $(2,3)$-complete intersection curves. This K-moduli space is a two-step birational modification of the GIT moduli space of $(3,3)$-curves on $\mathbb{P}^1 \times \mathbb{P}^1$. As an application, we show that our K-moduli space appears as one model of the Hassett--Keel program for $\overline{M}_4$. In particular, we classify all K-(semi/poly)stable members in this deformation family of Fano varieties. We follow the moduli continuity method with moduli of lattice-polarized K3 surfaces, general elephants and Sarkisov links as new ingredients.

Algebraic Geometry
Hodge modules and Kähler morphisms

Mads Bach Villadsen

2024-01-18

Abstract:We prove the decomposition theorem for Hodge modules with integral structure along proper Kähler morphisms, partially generalizing M. Saito's theorem for projective morphisms. Our proof relies on compactifications of period maps of generically defined variations of Hodge structure, as well as the theorems of Cattani-Kaplan-Schmid on $L^2$-cohomology of variations of Hodge structure for the hard Lefschetz theorem.

Algebraic Geometry,Complex Variables

Projectivity criteria for Kähler morphisms

Projectivity via the dual Kähler cone - Huybrechts' criterion

Positivity of tangent sheaves of projective varieties -- the structure of MRC fibrations

Quasi-positive curvature and projectivity

A Note on Kahler-Ricci Soliton

On Some Birational Invariants of Hyper-Kähler Manifolds

Frobenius-Perron theory for projective schemes

Dualité relative de type Kleiman I: Cas propre

Kähler duality and projective embeddings

Positivity and the Kodaira Embedding Theorem

On the moduli space of simple sheaves on singular K3 surfaces

Moduli spaces of sheaves on Fano threefolds and K3 surfaces of genus 9

Kähler metrics and toric Lagrangian fibrations

Fibrations by plane quartic curves with a canonical moving singularity

Quasi-positive curvature and vanishing theorems

Rigidity of Holomorphically Projective Mappings of Kähler Spaces with Finite Complete Geodesics

Moduli of K3 families over $\mathbb{P}^1$, cycle spaces of IHS period domains, and deformations of complex-hyperkähler metrics

The c-projective symmetry algebras of Kähler surfaces

Moduli spaces and period mappings of genus one fibered K3 surfaces

K-moduli of Fano threefolds and genus four curves

Hodge modules and Kähler morphisms