arXiv subjects
Publications and source records attributed to Keiji Oguiso.
We show, among other things, that for each integer $n \ge 3$, there is a smooth complex projective rational variety of dimension $n$, with discrete non-finitely generated automorphism group and with infinitely many mutually non-isomorphic real forms. Our result is inspired by the work of Lesieutre and the work of Dinh and Oguiso.
It was proved by Tien-Cuong Dinh and me that there is a smooth complex projective surface whose automorphism group is discrete and not finitely generated. In this paper, we will show that there is a smooth projective surface, birational to some K3 surface, such that the automorphism group is discrete and not finitely generated, over any algebraically closed field of odd characteristic except precisely an algebraic closure of the prime field.
We determine the minimum positive entropy of complex Enriques surface automorphisms. This together with McMullen's work completes the determination of the minimum positive entropy of complex surface automorphisms in each class of Enriques-Kodaira classification of complex surfaces.
Building on work of Segre and Koll'ar on cubic hypersurfaces, we construct over imperfect fields of characteristic p\geq 3 particular hypersurfaces of degree p, which show that geometrically rational schemes that are regular and whose rational points are Zariski dense are not necessarily unirational. A likewise behaviour holds for certain cubic surfaces in characteristic p=2.
We will show that there is a smooth complex projective surface, birational to some Enriques surface, such that the automorphism group is discrete but not finitely generated.
We study the inertia groups of some smooth rational curves on 2-elementary K3 surfaces and singular K3 surfaces from the view of topological entropy, with an application to a long standing open question of Coble on the inertia group of a generic Coble surface.
Motivated by the embedding problem of canonical models in small codimension, we extend Severi's double point formula to the case of surfaces with rational double points, and we give more general double point formulae for varieties with isolated singularities. A concrete application is for surfaces with geometric genus $p_g=5$: the canonical model is embedded in $\mathbb{P}^4$ if and only if we have a complete intersection of type $(2,4)$ or $(3,3)$.
We prove that the natural representaion, on the total Betti cohomolgy group, of the automorphism group of a hyperkähler manifold deformation equivalent to a generalized Kummer manifold is faithful. This is a sort of generalization of an earlier work of Beauville and a recent work of Boissére, Nieper-Wisskirchan and Sarti, concerning the representation on the second cohomology group.
We show that, in any dimension greater than one, there are an abelian variety, a smooth rational variety and a Calabi-Yau manifold, with primitive birational automorphisms of first dynamical degree $>1$. We also show that there are smooth complex projective Calabi-Yau manifolds and smooth rational manifolds, of any even dimension, with primitive biregular automorphisms of positive topological entropy.
We give a few explicit examples which answer an open minded question of Professor Igor Dolgachev on complex dynamics of the inertia group of a smooth rational curve on a projective K3 surface and its variants for a rational surface and a non-projective K3 surface.
We show that there is a smooth complex projective variety, of any dimension greater than or equal to two, whose automorphism group is discrete and not finitely generated. Moreover, this variety admits infinitely many real forms which are mutually non-isomorphic over the real number field. Our result is inspired by the work of Lesieutre and answers questions by Dolgachev, Esnault and Lesieutre.
In this paper we study smooth complex projective $4$-folds which are topologically equivalent. First we show that Fano fourfolds are never oriented homeomorphic to Ricci-flat projective fourfolds and that Calabi-Yau manifolds and hyperkähler manifolds in dimension $\ge 4$ are never oriented homeomorphic. Finally, we give a coarse classification of smooth projective fourfolds which are oriented homeomorphic to a hyperkähler fourfold which is deformation equivalent to the Hilbert scheme $S^{[2]}$ of two points of a projective K3 surface $S.$ We also present an explicit example of a smooth projective fourfold oriented homeomorphic to $S^{[2]},$ which has positive Kodaira dimension.
We prove that a nef line bundle $\mathcal L$ with $c_1(\mathcal L)^2 \ne 0$ on a Calabi-Yau threefold $X$ with Picard number $2$ and with $c_3(X) \ne 0$ is semiample, that is, some multiple of $\mathcal L$ is generated by global sections.
We shall give a sufficient condition on the primitivity of a birational automrphism of a Calabi-Yau manifold in purely algebro geometric terms. As an application, we shall give an explicit construction of Calabi-Yau manifolds of Picard number $2$ of any dimension $\ge 3$, with primitive birational automrphisms of first dynamical degree $>1$.
We shall prove that an automorphism of a simple abelian variety is primitive if and only if it is of infinite order.
The aim of this survey paper is threefold: (a) to discuss the status of the Morrison-Kawamata cone conjecture, (b) to report on recent developments towards the Abundance Conjecture, and (c) to discuss the nef line bundle version of the Abundance Conjecture on $K$-trivial varieties.
We show that there is a pair of smooth complex quartic K3 surfaces $S_1$ and $S_2$ in ${\mathbf P}^3$ such that $S_1$ and $S_2$ are isomorphic as abstract varieties but not Cremona isomorphic. We also show, in a geometrically explicit way, that there is a pair of smooth complex quartic K3 surfaces $S_1$ and $S_2$ in ${\mathbf P}^3$ such that $S_1$ and $S_2$ are Cremona isomorphic, but not projectively isomorphic. This work is much motivated by several e-mails from Professors Tuyen Truong and János Kollár.
We prove the unirationality of the Ueno-type manifold $X_{4,6}$. $X_{4,6}$ is the minimal resolution of the quotient of the Cartesian product $E(6)^4$, where $E(6)$ is the equianharmonic elliptic curve, by the diagonal action of a cyclic group of order 6 (having a fixed point on each copy of $E(6)$). We collect also other results, and discuss several related open questions.