Searcharxiv⌕ Search

arXiv subjects

Jingjun Han

Publications and source records attributed to Jingjun Han.

At least 37 records · Page 2Linked to original sources
arXiv2023

On effective log Iitaka fibrations and existence of complements

We study the relationship between Iitaka fibrations and the conjecture on the existence of complements, assuming the good minimal model conjecture. In one direction, we show that the conjecture on the existence of complements implies the effective log Iitaka fibration conjecture. As a consequence, the effective log Iitaka fibration conjecture holds in dimension $3$. In the other direction, for any Calabi-Yau type variety $X$ such that $-K_X$ is nef, we show that $X$ has an $n$-complement for some universal constant $n$ depending only on the dimension of $X$ and two natural invariants of a general fiber of an Iitaka fibration of $-K_X$. We also formulate the decomposable Iitaka fibration conjecture, a variation of the effective log Iitaka fibration conjecture which is closely related to the structure of ample models of pairs with non-rational coefficients, and study its relationship with the forestated conjectures.

math.AG↗
arXiv2022

Uniform rational polytopes for Iitaka dimensions

In this paper, we continue to develop the theories on functional pairs and uniform rational polytopes. We show that there is a uniform perturbation for Iitaka dimensions of pseudo-effective lc pairs of fixed dimension with DCC coefficients assuming the non-vanishing conjecture. We also show the existence of uniform rational polytopes for Iitaka dimensions of pseudo-effective lc pairs assuming the non-vanishing conjecture.

math.AG↗
arXiv2022

On boundedness of divisors computing minimal log discrepancies for surfaces

Let $Γ$ be a finite set, and $X\ni x$ a fixed klt germ. For any lc germ $(X\ni x,B:=\sum_{i} b_iB_i)$ such that $b_i\in Γ$, Nakamura's conjecture, which is equivalent to the ACC conjecture for minimal log discrepancies for fixed germs, predicts that there always exists a prime divisor $E$ over $X\ni x$, such that $a(E,X,B)={\rm{mld}}(X\ni x,B)$, and $a(E,X,0)$ is bounded from above. We extend Nakamura's conjecture to the setting that $X\ni x$ is not necessarily fixed and $Γ$ satisfies the DCC, and show it holds for surfaces. We also find some sufficient conditions for the boundedness of $a(E,X,0)$ for any such $E$.

math.AG↗
arXiv2022

ACC for minimal log discrepancies of terminal threefolds

We prove that the ACC conjecture for minimal log discrepancies holds for threefolds in $[1-δ,+\infty)$, where $δ>0$ only depends on the coefficient set. We also study Reid's general elephant for pairs, and show Shokurov's conjecture on the existence of $(ε,n)$-complements for threefolds for any $ε\geq 1$. As a key important step, we prove the uniform boundedness of divisors computing minimal log discrepancies for terminal threefolds. We show the ACC for threefold canonical thresholds, and that the set of accumulation points of threefold canonical thresholds is equal to $\{0\}\cup\{\frac{1}{n}\}_{n\in\mathbb Z_{\ge 2}}$ as well.

math.AG↗
arXiv2022

ACC for local volumes and boundedness of singularities

The ACC conjecture for local volumes predicts that the set of local volumes of klt singularities $x\in (X,Δ)$ satisfies the ACC if the coefficients of $Δ$ belong to a DCC set. In this paper, we prove the ACC conjecture for local volumes under the assumption that the ambient germ is analytically bounded. We introduce another related conjecture, which predicts the existence of $δ$-plt blow-ups of a klt singularity whose local volume has a positive lower bound. We show that the latter conjecture also holds when the ambient germ is analytically bounded. Moreover, we prove that both conjectures hold in dimension 2 as well as for 3-dimensional terminal singularities.

math.AG↗
arXiv2021

Shokurov's conjecture on conic bundles with canonical singularities

A conic bundle is a contraction $X\to Z$ between normal varieties of relative dimension $1$ such that $-K_X$ is relatively ample. We prove a conjecture of Shokurov which predicts that, if $X\to Z$ is a conic bundle such that $X$ has canonical singularities and $Z$ is $\mathbb{Q}$-Gorenstein, then $Z$ is always $\frac{1}{2}$-lc, and the multiplicities of the fibers over codimension $1$ points are bounded from above by $2$. Both values $\frac{1}{2}$ and $2$ are sharp. This is achieved by solving a more general conjecture of Shokurov on singularities of bases of lc-trivial fibrations of relative dimension $1$ with canonical singularities.

math.AG↗
arXiv2020

Birational boundedness of rationally connected Calabi-Yau 3-folds

We prove that rationally connected Calabi--Yau 3-folds with kawamata log terminal (klt) singularities form a birationally bounded family, or more generally, rationally connected $3$-folds of $ε$-CY type form a birationally bounded family for $ε>0$. Moreover, we show that the set of $ε$-lc log Calabi--Yau pairs $(X, B)$ with coefficients of $B$ bounded away from zero is log bounded modulo flops. As a consequence, we deduce that rationally connected klt Calabi--Yau $3$-folds with mld bounded away from $1$ are bounded modulo flops.

math.AG↗
arXiv2020

On a generalized canonical bundle formula for generically finite morphisms

We prove a canonical bundle formula for generically finite morphisms in the setting of generalized pairs (with $\mathbb{R}$-coefficients). This complements Filipazzi's canonical bundle formula for morphisms with connected fibres. It is then applied to obtain a subadjunction formula for log canonical centers of generalized pairs. As another application, we show that the image of an anti-nef log canonical generalized pair has the structure of a numerically trivial log canonical generalized pair. This readily implies a result of Chen--Zhang. Along the way we prove that the Shokurov type convex sets for anti-nef log canonical divisors are indeed rational polyhedral sets.

math.AG↗
arXiv2020

On accumulation points of pseudo-effective thresholds

We characterize a $k$-th accumulation point of pseudo-effective thresholds of $n$-dimensional varieties as certain invariant associates to a numerically trivial pair of an $(n-k)$-dimensional variety. This characterization is applied towards Fujita's log spectrum conjecture for large $k$.

math.AG↗
arXiv2020

Effective birationality for sub-pairs with real coefficients

For $ε$-lc Fano type varieties $X$ of dimension $d$ and a given finite set $Γ$, we show that there exists a positive integer $m_0$ which only depends on $ε,d$ and $Γ$, such that both $|-mK_X-\sum_i\lceil mb_i\rceil B_i|$ and $|-mK_X-\sum_i\lfloor mb_i\rfloor B_i|$ define birational maps for any $m\ge m_0$ provided that $B_i$ are pseudo-effective Weil divisors, $b_i\inΓ$, and $-(K_X+\sum_ib_iB_i)$ is big. When $Γ\subset[0,1]$ satisfies the DCC but is not finite, we construct an example to show that the effective birationality may fail even if $X$ is fixed, $B_i$ are fixed prime divisors, and $(X,B)$ is $ε'$-lc for some $ε'>0$.

math.AG↗
arXiv2020

ACC for minimal log discrepancies of exceptional singularities

We prove the existence of $n$-complements for pairs with DCC coefficients and the ACC for minimal log discrepancies of exceptional singularities. In order to prove these results, we develop the theory of complements for real coefficients. We introduce $(n,Γ_0)$-decomposable $\mathbb{R}$-complements, and show its existence for pairs with DCC coefficients.

math.AG↗
arXiv2020

On numerical nonvanishing for generalized log canonical pairs

The nonvanishing conjecture for projective log canonical pairs plays a key role in the minimal model program of higher dimensional algebraic geometry. The numerical nonvanishing conjecture considered in this paper is a weaker version of the usual nonvanishing conjecture, but valid in the more general setting of generalized log canonical pairs. We confirm it in dimension two. Under some necessary conditions we obtain effective versions of numerical nonvanishing for surfaces. Several applications are also discussed. In higher dimensions, we mainly consider the conjecture for generalized klt pairs $(X, B+\mathbf{M})$, and reduce it to lower dimensions when $K_X+\mathbf{M}_X$ is not pseudo-effective. Up to scaling the nef part, we prove the numerical nonvanishing for pseudo-effective generalized lc threefolds with rational singularities.

math.AG↗
arXiv2019

Open Weak CAD and its Applications

The concept of open weak CAD is introduced. Every open CAD is an open weak CAD. On the contrary, an open weak CAD is not necessarily an open CAD. An algorithm for computing projection polynomials of open weak CADs is proposed. The key idea is to compute the intersection of projection factor sets produced by different projection orders. The resulting open weak CAD often has smaller number of sample points than open CADs. The algorithm can be used for computing sample points for all open connected components of $ f\neq0$ for a given polynomial $f$. It can also be used for many other applications, such as testing semi-definiteness of polynomials and copositive problems. In fact, we solved several difficult semi-definiteness problems efficiently by using the algorithm. Furthermore, applying the algorithm to copositive problems, we find an explicit expression of the polynomials producing open weak CADs under some conditions, which significantly improves the efficiency of solving copositive problems.

cs.SC↗
arXiv2019

Bounded deformations of $(ε,δ)$-log canonical singularities

In this paper we study $(ε,δ)$-lc singularites, i.e. $ε$-lc singularities admitting a $δ$-plt blow-up. We prove that $n$-dimensional $(ε,δ)$-lc singularities are bounded up to a deformation, and $2$-dimensional $(ε,δ)$-lc singularities form a bounded family. Furthermore, we give an example which shows that $(ε,δ)$-lc singularities are not bounded in higher dimensions, even in the analytic sense.

math.AG↗
arXiv2018

On a connectedness principle of Shokurov-Kollár type

Let $(X,Δ)$ be a log pair over $S$, such that $-(K_X+Δ)$ is nef over $S$. It is conjectured that the intersection of the non-klt (non Kawamata log terminal) locus of $(X,Δ)$ with any fiber $X_s$ has at most two connected components. We prove this conjecture in dimension $\leq 4$ and in arbitrary dimension assuming the termination of klt flips.

math.AG↗