arXiv subjects
Publications and source records attributed to Zhixian Zhu.
We prove that every $n$-dimensional lattice simplex $P$ whose lattice length $L(P)\ge n-1$ is integrally closed. As an application, we obtain a simple criterion for the projective normality of ample line bundles on $\mathbb{Q}$-factorial toric Fano varieties with Picard number one. We further obtain a refinement of this result in terms of the invariant $Γ_{P}$.
We propose a conjecture regarding the integrally closedness of lattice polytopes with large lattice lengths. We demonstrate that a lattice simplex in dimension 3 (resp. 4) with lattice length of at least 2 (resp. 3 and no edge has lattice length 5) can be covered by dilated simplices of the form $sQ$, where integer $s\ge 2$ (resp. 3) and $Q$ is a lattice simplex. The covering property implies these simplices are integrally closed. As an application, we obtain a simple criterion for the projective normality of ample line bundles on 3-(resp. 4-) dimensional $\mathbb{Q}$-factorial toric Fano varieties with Picard number one. Along the way, we discover certain unexpected phenomenon.
In this paper, we study the equivalence between Bogomolov's instability theorem and the Miyaoka-Sakai theorem on surfaces in positive characteristic. We show that Bogomolov's instability theorem can be derived from Miyaoka-Sakai theorem. Conversely, it implies a partial version of the Miyaoka-Sakai theorem that lacks the vanishing conclusion. This partial version is still sufficient to deduce the Mumford-Ramanujam vanishing theorem. Additionally, we identify a class of surfaces in positive characteristic for which the Miyaoka-Sakai theorem (or a weaker variant), or the Kawamata-Viehweg vanishing theorem holds. In particular, we present a new proof of the Kawamata-Viehweg vanishing theorem on smooth del Pezzo surfaces. As an application of the Miyaoka-Sakai theorem, we obtain Reider-type results concerning Fujita's conjecture.
Jet ampleness of line bundles generalizes very ampleness by requiring the existence of enough global sections to separate not just points and tangent vectors, but also their higher order analogues called jets. We give sharp bounds guaranteeing that a line bundle on a projective toric variety is $k$-jet ample in terms of its intersection numbers with the invariant curves, in terms of the lattice lengths of the edges of its polytope, in terms of the higher concavity of its piecewise linear function and in terms of its Seshadri constant. For example, the tensor power $k+n-2$ of an ample line bundle on a projective toric variety of dimension $n \geq 2$ always generates all $k$-jets, but might not generate all $(k+1)$-jets. As an application, we prove the $k$-jet generalizations of Fujita's conjectures on toric varieties with arbitrary singularities.
Let $X$ be a smooth projective variety of dimension $5$ and $L$ be an ample line bundle on $X$ such that $L^5>7^5$ and $L^d\cdot Z\geq 7^d$ for any subvariety $Z$ of dimension $1\leq d\leq 4$. We show that $\mathcal{O}_X(K_X+L)$ is globally generated.
Let $X$ be a smooth projective variety of dimension $5$ and $L$ be an ample line bundle on $X$. We show that $|K_X + 6L|$ is base-point free.
In this paper, we study the singularities of a pair (X,Y) in arbitrary characteristic via jet schemes. For a smooth variety X in characteristic 0, Ein, Lazarsfeld and Mustata showed that there is a correspondence between irreducible closed cylinders and divisorial valuations on X. Via this correspondence, one can relate the codimension of a cylinder to the log discrepancy of the corresponding divisorial valuation. We now extend this result to positive characteristic. In particular, we prove Mustata's log canonical threshold formula avoiding the use of log resolutions, making the formula available also in positive characteristic. As a consequence, we get a comparison theorem via reduction modulo p and a version of Inversion of Adjunction in positive characteristic.
Kempf proved that the theta divisor of a smooth projective curve C has rational singularities. In this paper we estimate the dimensions of the jet schemes of the theta divisor and show that all these schemes are irreducible. In particular, we recover Kempf's theorem in this way. For general projective smooth curves, our method also gives a formula for the log canonical threshold of the pair (\pic^d(C), W^r_d(C)).