Related papers: On Morrison's cone conjecture for klt sufaces with…
We prove that, for a K3 surface in characteristic p > 2, the automorphism group acts on the nef cone with a rational polyhedral fundamental domain and on the nodal classes with finitely many orbits. As a consequence, for any non-negative…
Let X be the quotient of a smooth projective variety over a field by a finite group action (in which case we say X is pseudo-smooth), such that the singularities of X are isolated k-rational points. Let Y be obtained by blowing up these…
In this paper, we prove that if a $3$-dimensional quasi-projective variety $X$ over an algebraically closed field of characteristic $p>3$ has only log canonical singularities, then so does a general hyperplane section $H$ of $X$. We also…
Let X be a K3 surface over a number field K. We prove that there exists a finite algebraic field extension L/K such that X has ordinary reduction at every non-archimedean place of L outside a density zero set of places.
The author proves that the generalized Suita conjecture holds for any complex torus, which means that $ \alpha\pi K \geq c^2(\alpha\in\mathbb R)$, $c$ being the modified logarithmic capacity and $K$ being the Bergman kernel on the diagonal.…
Let $E\subseteq \mathbb{P}^2$ be a complex rational cuspidal curve contained in the projective plane and let $(X,D)\to (\mathbb{P}^2,E)$ be the minimal log resolution of singularities. Applying the log minimal model program to…
For a Calabi-Yau manifold $X$, the Kawamata - Morrison movable cone conjecture connects the convex geometry of the movable cone $\overline{\mathrm{Mov}}(X)$ to the birational automorphism group. Using the theory of Coxeter groups, Cantat…
Let $G$ be a finite 2-group and $K$ be a field satisfying that (i) $\fn{char}K\ne 2$, and (ii) $\sqrt{a}\in K$ for any $a\in K$. If $G$ acts on the rational function field $K(x,y,z)$ by monomial $K$-automorphisms, then the fixed field…
Let $S$ and $T$ be smooth projective varieties over an algebraically closed field. Suppose that $S$ is a surface admitting a decomposition of the diagonal. We show that, away from the characteristic of $k$, if an algebraic correspondence $T…
A smooth Hermitian surface $X$ is a projective surface isomorphic to the Fermat surface of degree $q+1$ in positive characteristic. We study incidence relations of the rational curves of degree $q+1$ contained in $X$, and show that such…
We compute the algebraic $K$-theory of some classes of surfaces defined over finite fields. We achieve this by first calculating the motivic cohomology groups and then studying the motivic Atiyah-Hirzebruch spectral sequence. In an…
A conjecture of Colliot-Th\'{e}l\`{e}ne predicts that for a smooth projective variety $X$ over a finite extension $k$ of $\mathbb{Q}_p$ the kernel of the Albanese map $\text{CH}_0(X)^{\text{deg}=0}\to Alb_X(k)$ is the direct sum of a…
Let $X$ be a smooth projective variety over the complex numbers. One knows by the Cone Theorem that the closed cone of curves of $X$ is rational polyhedral whenever $c_1(X)$ is ample. For varieties $X$ such that $c_1(X)$ is not ample,…
We study a useful numerical invariant of normal surface singularities, introduced recently by T. Kawachi. Using this invariant, we give a quick proof of the (well-known) fact that all log-canonical surface singularities are either elliptic…
We compute the constant of approximation for an arbitrary rational point on an arbitrary smooth cubic hypersurface $X$ over a number field $k$, provided that there is a $k$-rational line somewhere on $X$. In the process, we verify the Coba…
We say a smooth projective surface $X$ satisfies the bounded cohomology property if there exists a positive constant $c_X$ such that $h^1(\mathcal O_X(C))\le c_Xh^0(\mathcal O_X(C))$ for every prime divisor $C$ on $X$. Let the closed Mori…
We prove dimension formulas for the cotangent spaces $T^{1}$ and $T^{2}$ for a class of rational surface singularities by calculating a correction term in the general dimension formulas. We get that it is zero if the dual graph of the…
Let $X$ be the product of a surface satisfying $b_2=\rho$ and of a curve over a finite field. We study a strong form of the integral Tate conjecture for $1$-cycles on $X$. We generalize and give unconditional proofs of several results of…
We prove that, for an Enriques surface in odd characteristic, the automorphism group is finitely generated and it acts on the effective nef cone with a rational polyhedral fundamental domain. We also construct a smooth projective surface in…
Let $X$ be a smooth compact complex surface subject to the following conditions: (i) the canonical line bundle $\mathcal{O}_X(K_X) $ is very ample, (ii) the irregularity $q(X): = h^1(\mathcal{O}_X) =0$, (iii) $X$ contains no rational normal…