Source author record

Jingjun Han

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG Symbolic Computation Logic in Computer Science math.AC math.DG math.GM

Catalog footprint

Research overview

15works

6topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2023arXiv

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.

preprint2022arXiv

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.

preprint2022arXiv

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.

preprint2022arXiv

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$ .

preprint2022arXiv

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.

preprint2021arXiv

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.

preprint2020arXiv

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.

preprint2020arXiv

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.

preprint2020arXiv

Boundedness of $(ε, n)$ -Complements for Surfaces

We show the existence of $(ε,n)$ -complements for $(ε,\mathbb{R})$ -complementary surface pairs when the coefficients of boundaries belong to a DCC set.

preprint2020arXiv

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$ .

preprint2020arXiv

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.

preprint2016arXiv

Multivariate discriminant and iterated resultant

In this paper, we study the relationship between iterated resultant and multivariate discriminant. We show that, for generic form $f(X_n)$ with even degree $d$ , if the polynomial is squarefreed after each iteration, the multivariate discriminant $Δ(f)$ is a factor of the squarefreed iterated resultant. In fact, we find a factor $Hp(f,[x_1,\ldots,x_n])$ of the squarefreed iterated resultant, and prove that the multivariate discriminant $Δ(f)$ is a factor of $Hp(f,[x_1,\ldots,x_n])$ . Moreover, we conjecture that $Hp(f,[x_1,\ldots,x_n])=Δ(f)$ holds for generic form $f$ , and show that it is true for generic trivariate form $f(x,y,z)$ .

preprint2014arXiv

Constructing Fewer Open Cells by GCD Computation in CAD Projection

A new projection operator based on cylindrical algebraic decomposition (CAD) is proposed. The new operator computes the intersection of projection factor sets produced by different CAD projection orders. In other words, it computes the gcd of projection polynomials in the same variables produced by different CAD projection orders. We prove that the new operator still guarantees obtaining at least one sample point from every connected component of the highest dimension, and therefore, can be used for testing semi-definiteness of polynomials. Although the complexity of the new method is still doubly exponential, in many cases, the new operator does produce smaller projection factor sets and fewer open cells. Some examples of testing semi-definiteness of polynomials, which are difficult to be solved by existing tools, have been worked out efficiently by our program based on the new method.

preprint2013arXiv

Proving Inequalities and Solving Global Optimization Problems via Simplified CAD Projection

Let $\xx_n=(x_1,\ldots,x_n)$ and $f\in \R[\xx_n,k]$. The problem of finding all $k_0$ such that $f(\xx_n,k_0)\ge 0$ on $\mathbb{R}^n$ is considered in this paper, which obviously takes as a special case the problem of computing the global infimum or proving the semi-definiteness of a polynomial. For solving the problems, we propose a simplified Brown's CAD projection operator, \Nproj, of which the projection scale is always no larger than that of Brown's. For many problems, the scale is much smaller than that of Brown's. As a result, the lifting phase is also simplified. Some new algorithms based on \Nproj\ for solving those problems are designed and proved to be correct. Comparison to some existing tools on some examples is reported to illustrate the effectiveness of our new algorithms.

preprint2012arXiv

A Simple Quantifier-free Formula of Positive Semidefinite Cyclic Ternary Quartic Forms

Quantifier elimination of positive semidefinite cyclic ternary quartic forms is studied in this paper. We solve the problem by the theory of complete discrimination systems, function \RealTriangularize in Maple15 and the so-called Criterions on Equality of Symmetric Inequalities method. The equivalent simple quantifier-free formula is proposed and is difficult to obtain automatically by previous methods or quantifier elimination tools.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Jingjun Han

Research overview

Is this your work?

15 publications

On effective log Iitaka fibrations and existence of complements

ACC for local volumes and boundedness of singularities

ACC for minimal log discrepancies of terminal threefolds

On boundedness of divisors computing minimal log discrepancies for surfaces

Uniform rational polytopes for Iitaka dimensions

Shokurov's conjecture on conic bundles with canonical singularities

ACC for minimal log discrepancies of exceptional singularities

Birational boundedness of rationally connected Calabi-Yau 3-folds

Boundedness of $(ε, n)$ -Complements for Surfaces

Effective birationality for sub-pairs with real coefficients

On numerical nonvanishing for generalized log canonical pairs

Multivariate discriminant and iterated resultant

Constructing Fewer Open Cells by GCD Computation in CAD Projection

Proving Inequalities and Solving Global Optimization Problems via Simplified CAD Projection

A Simple Quantifier-free Formula of Positive Semidefinite Cyclic Ternary Quartic Forms

See the researcher in context

Building this map preview

Jingjun Han

Research overview

Is this your work?

15 publications

On effective log Iitaka fibrations and existence of complements

ACC for local volumes and boundedness of singularities

ACC for minimal log discrepancies of terminal threefolds

On boundedness of divisors computing minimal log discrepancies for surfaces

Uniform rational polytopes for Iitaka dimensions

Shokurov's conjecture on conic bundles with canonical singularities

ACC for minimal log discrepancies of exceptional singularities

Birational boundedness of rationally connected Calabi-Yau 3-folds

Boundedness of (ε,n)(ε, n)(ε,n)-Complements for Surfaces

Effective birationality for sub-pairs with real coefficients

On numerical nonvanishing for generalized log canonical pairs

Multivariate discriminant and iterated resultant

Constructing Fewer Open Cells by GCD Computation in CAD Projection

Proving Inequalities and Solving Global Optimization Problems via Simplified CAD Projection

A Simple Quantifier-free Formula of Positive Semidefinite Cyclic Ternary Quartic Forms

See the researcher in context

Building this map preview

Boundedness of $(ε, n)$ -Complements for Surfaces