Search arXiv⌕ Search

arXiv subjects

Fanjun Meng

Publications and source records attributed to Fanjun Meng.

18 recordsLinked to original sources
arXiv2026

Pushforwards of lc pairs under morphisms to abelian varieties

Let $f$ be a morphism from a log canonical pair $(X,Δ)$ to an abelian variety $A$ and $D\sim_{\mathbb Q}m(K_X+Δ)$ a Cartier divisor on $X$ with $m>1$ a rational number. We prove that $f_*\mathcal{O}_X(D)$ is globally generated after pullback by an isogeny. Our methods involve birational geometry, mixed Hodge modules and singular Hermitian metrics with the minimal extension property. Moreover, we provide simple counterexamples where the above result fails for plt pairs when $m=1$ and where the existence of Chen--Jiang decompositions fails for plt pairs for any $m\ge1$.

math.AG↗
arXiv2026

Generic vanishing conjecture for divisors

Generic vanishing conjecture proposed by Pareschi and Popa is about the relationship between the existence of subvarieties of codimension $>1$ of principally polarized abelian varieties representing minimal cohomology class and the positivity of their ideal sheaves twisted by the principal polarization. Inspired by their formulation, we prove a codimension $1$ analog of generic vanishing conjecture.

math.AG↗
arXiv2025

Variation of algebraically integrable adjoint foliated structures

Given a canonical algebraically integrable foliation on a klt projective variety, we study the variation of the ample models of the associated adjoint foliated structures with respect to the parameter. When the foliation is of general type, we show the finiteness of ample models if the parameter is sufficiently close to $1$. When the ambient variety is of general type, we show the finiteness of ample models for all parameters. A key ingredient in our proof is the equivalence between the existence of minimal models and the termination of MMP with scaling for algebraically integrable adjoint foliated structures.

math.AG↗
arXiv2025

Minimal model program for algebraically integrable foliations on klt varieties

For lc algebraically integrable foliations on klt varieties, we prove the base-point-freeness theorem, the contraction theorem, and the existence of flips. The first result resolves a conjecture of Cascini and Spicer, while the latter two results strengthen a result of Cascini and Spicer by removing their assumption on the termination of flips. Moreover, we prove the existence of the minimal model program for lc algebraically integrable foliations on klt varieties and the existence of good minimal models or Mori fiber spaces for lc algebraically integrable foliations polarized by ample divisors on klt varieties. As a consequence, we show that $\mathbb{Q}$-factorial klt varieties with lc algebraically integrable Fano foliation structures are Mori dream spaces. We also show the existence of a Shokurov-type polytope for lc algebraically integrable foliations.

math.AG↗
arXiv2025

On finite generation and boundedness of adjoint foliated structures

We prove the existence of good minimal models for any klt algebraically integrable adjoint foliated structure of general type, and that Fano algebraically integrable adjoint foliated structures with total minimal log discrepancies and parameters bounded away from zero form a bounded family. These results serve as the algebraically integrable foliation analogues of the finite generation of the canonical rings proved by Birkar-Cascini-Hacon-M\textsuperscript{c}Kernan, and the Borisov-Alexeev-Borisov conjecture on the boundedness of Fano varieties proved by Birkar, respectively. As an application, we prove that the ambient variety of any lc Fano algebraically integrable foliation is of Fano type, provided the ambient variety is potentially klt.

math.AG↗
arXiv2024

Minimal model program for algebraically integrable adjoint foliated structures

For $\mathbb Q$-factorial klt algebraically integrable adjoint foliated structures, we prove the cone theorem, the contraction theorem, and the existence of flips. Therefore, we deduce the existence of the minimal model program for such structures. We also prove the base-point-freeness theorem for such structures of general type and establish an adjunction formula and the existence of $\mathbb Q$-factorial quasi-dlt modifications for algebraically integrable adjoint foliated structures.

math.AG↗
arXiv2024

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

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.

math.AG↗
arXiv2024

Complements, index theorem, and minimal log discrepancies of foliated surface singularities

We present an extension of several results on pairs and varieties to foliated surface pairs. We prove the boundedness of local complements, the local index theorem, and the uniform boundedness of minimal log discrepancies (mlds), as well as establishing the existence of uniform rational lc polytopes. Furthermore, we address two questions posed by P. Cascini and C. Spicer on foliations, providing negative responses. We also demonstrate that the Grauert-Riemenschneider type vanishing theorem generally fails for lc foliations on surfaces. In addition, we determine the set of minimal log discrepancies for foliated surface pairs with specific coefficients, which leads to the recovery of Y.-A. Chen's proof on the ascending chain condition conjecture for mlds for foliated surfaces.

math.AG↗
arXiv2024

Kodaira dimension of fibrations over abelian varieties

We prove an additivity result for the log Kodaira dimension of algebraic fiber spaces over abelian varieties, a superadditivity result for fiber spaces over varieties of maximal Albanese dimension, as well as a subadditivity result for log pairs.

math.AG↗
arXiv2024

Uniform rational polytopes of foliated threefolds and the global ACC

In this paper, we show the existence of uniform rational lc polytopes for foliations with functional boundaries in dimension $\leq 3$. As an application, we prove the global ACC for foliated threefolds with arbitrary DCC coefficients. We also provide applications on the accumulation points of lc thresholds of foliations in dimension $\leq 3$.

math.AG↗
arXiv2024

Infinitesimal structure of log canonical thresholds

We show that log canonical thresholds of fixed dimension are standardized. More precisely, we show that any sequence of log canonical thresholds in fixed dimension $d$ accumulates in a way which is i) either similar to how standard and hyperstandard sets accumulate, or ii) to log canonical thresholds in dimension $\leq d-2$. This provides an accurate description on the infinitesimal structure of the set of log canonical thresholds. We also discuss similar behaviors of minimal log discrepancies, canonical thresholds, and K-semistable thresholds.

math.AG↗
arXiv2023

On global ACC for foliated threefolds

In this paper, we prove the rational coefficient case of the global ACC for foliated threefolds. Specifically, we consider any lc foliated log Calabi-Yau triple $(X,\mathcal{F},B)$ of dimension $3$ whose coefficients belong to a set $Γ$ of rational numbers satisfying the descending chain condition, and prove that the coefficients of $B$ belong to a finite set depending only on $Γ$. To prove our main result, we introduce the concept of generalized foliated quadruples, which is a mixture of foliated triples and Birkar-Zhang's generalized pairs. With this concept, we establish a canonical bundle formula for foliations in any dimension. As for applications, we extend Shokurov's global index conjecture in the classical MMP to foliated triples and prove this conjecture for threefolds with nonzero boundaries and for surfaces. Additionally, we introduce the theory of rational polytopes for functional divisors on foliations and prove some miscellaneous results.

math.AG↗
arXiv2023

MMP for locally stable families and wall crossing for moduli of stable pairs

We construct reduction and wall-crossing morphisms between the moduli spaces of stable pairs as the coefficients vary, generalizing the earlier work of Ascher, Bejleri, Inchiostro and Patakfalvi which deals with the klt case. Along the proof, we show that one can run the MMP with scaling on normal locally stable families over a normal base, and that the existence of good minimal models is preserved when reducing coefficients away from zero.

math.AG↗
arXiv2021

On Nonvanishing for uniruled log canonical pairs

We prove the Nonvanishing conjecture for uniruled projective log canonical pairs of dimension $n$, assuming the Nonvanishing conjecture for smooth projective varieties in dimension $n-1$. We also show that the existence of good minimal models for non-uniruled projective klt pairs in dimension $n$ implies the existence of good minimal models for projective log canonical pairs in dimension $n$.

math.AG↗
arXiv2020

Pushforwards of klt pairs under morphisms to abelian varieties

Let $f$ be a morphism from a klt pair $(X, Δ)$ to an abelian variety $A$, $m\geq1$ a rational number and $D$ a Cartier divisor on $X$ such that $D\sim_{\mathbb Q}m(K_X+Δ)$. We prove that the sheaf $f_*\mathcal{O}_X(D)$ becomes globally generated after pullback by an isogeny and has the Chen-Jiang decomposition, along with some related results. These are applied to some effective results for $\mathcal{O}_X(D)$ when $X$ is irregular.

math.AG↗
arXiv2019

Some non-vanishing results on log canonical pairs of dimension 4

Let $(X,Δ)$ be a log canonical pair over $\mathbb{C}$ with $X$ a normal projective variety, $Δ$ an effective $\mathbb{Q}$-divisor, and $K_X+Δ$ nef. We give a non-vanishing criterion for $K_X+Δ$ in dimension $n$ with $X$ uniruled, assuming various conjectures of LMMP in dimensions (up to) $n-1$ or $n$, and a semi-ampleness criterion in the irregular case. In particular, we obtain that if $X$ is a uniruled $4$-fold, then $κ(K_X+Δ)\geq 0$ and if $X$ is a $4$-fold with $q(X)>0$, then $K_X+Δ$ is semi-ample.

math.AG↗