arXiv subjects
Publications and source records attributed to Keiji Oguiso.
It has been a long standing open problem to find generators of the automorphism group of the complex Fermat quartic K3 surface; in fact, even an explicit number of generators has not been known before. In this paper, we provide the first solution to this problem, presenting $16$ geometric generators of finite order for this group explicitly.
We prove that compact hyper-Kähler manifolds with a Lagrangian fibration over a projective space have no multiple fibers in codimension one. This has several consequences for the structure of Lagrangian fibrations, including progress on Sawon's conjecture on general singular fibers, Kamenova--Lu anti-hyperbolicity, and the extension of the Néron model action to a big open subset of the base. We prove the same result for Calabi--Yau fibrations on simply-connected K-trivial varieties, including elliptic fibrations, with a single exceptional case: an odd-dimensional K-trivial variety with a single fiber of multiplicity 2 over the projective line. This exceptional case is realized by examples of Borisov--Nuer and their generalizations.
We show the finiteness of the Néron-Severi lattices of complex projective K3 surfaces whose automorphism groups are non-elementary hyperbolic with explicit descriptions, under the assumption that the Picard number $\ge 6$ which is optimal to ensure the finiteness. Our proof of finiteness is based on the study of genus one fibrations on K3 surfaces and recent work of Kikuta and Takatsu.
Let $f$ be a polarized endomorphism of an abelian variety $A$. Kollár and Zhuang asked whether the essential dimension $\mathrm{ed}(f)$ equals $\mathrm{dim}(A)$. We provide counterexamples to this question. Instead, we prove that, under the hypothesis that every subtorus of $A$ is $f$-preperiodic up to translation (a condition arising from the dynamical Manin--Mumford conjecture), we have $\mathrm{ed}(f^s)=\mathrm{dim}(A)$ for some integer $s>0$. Our examples also show the necessity of both the hypothesis and iteration. We also give an affirmative answer to Kollár and Zhuang's original question when $A$ is a simple abelian surface and $f$ is not $2$-polarized.
Let f be a zero entropy automorphism of a compact Kähler manifold X. We study the polynomial log-volume growth Plov(f) of f in light of the dynamical filtrations introduced in our previous work with T.-C. Dinh. We obtain new upper bounds and lower bounds of Plov(f). As a corollary, we completely determine Plov(f) when dim X = 3, extending a result of Artin--Van den Bergh for surfaces. When X is projective, Plov(f) + 1 coincides with the Gelfand--Kirillov dimensions GKdim(X,f) of the twisted homogeneous coordinate rings associated to (X,f). Reformulating these results for GKdim(X,f), we improve Keeler's bounds of GKdim(X,f) and provide effective upper bounds of GKdim(X,f) which only depend on dim X.
Let $X$ be a compact Kähler manifold. We study subgroups $G \le \mathrm{Aut}(X)$ of biholomorphic automorphisms of zero entropy when $\mathrm{Aut}^0(X)$ is compact (e.g. when $\mathrm{Aut}^0(X)$ is trivial). We show that the virtual derived length $\ell_{\mathrm{vir}}(G)$ of $G$ satisfies $\ell_{\mathrm{vir}}(G) \le \dim X -κ(X)$, where $κ(X)$ is the Kodaira dimension of $X$. Modulo the main conjecture of our previous work concerning the essential nilpotency class, we obtain the same upper bound $c_{\mathrm{vir}}(G) \le \dim X -κ(X)$ for the virtual nilpotency class $c_{\mathrm{vir}}(G)$, together with a geometric description of the $G$-action on $X$ when the equality holds.
We study the main open parts of the Kawaguchi--Silverman Conjecture, asserting that for a birational self-map $f$ of a smooth projective variety $X$ defined over $\overline{\mathbb Q}$, the arithmetic degree $α_f(x)$ exists and coincides with the first dynamical degree $δ_f$ for any $\overline{\mathbb Q}$-point $x$ of $X$ with a Zariski dense orbit. Among other results, we show that this holds when $X$ has Kodaira dimension zero and irregularity $q(X) \ge \dim X -1$ or $X$ is an irregular threefold (modulo one possible exception). We also study the existence of Zariski dense orbits, with explicit examples.
We show that an abelian fibered Calabi-Yau threefold with a positive entropy automorphism preserving the fibration is unique up to isomorphisms as fibered varieties. We also give a fairly explicit structure theorem of an elliptically fibered Calabi-Yau threefold with a positive entropy automorphism preserving the fibration.
This is a report of my talk at MFO after Cetraro this July consisting of more speculations, rather than definite results, on automorphisms of strict Calabi-Yau threefolds in the view of the question posed in my ICM report after Dinh, Sibony and D.-Q. Zhang.
We first show that the moniod of separable surjective self morphisms of a variety of Ueno type coincides with the group of automorphisms. We also give an explicit description of the automorphism group. As applications, we confirm Kawaguchi Silverman Conjecture for automorphisms of a variety of Ueno type and some Calabi-Yau threefolds, defined over $\overline{\Q}$.
The aim of this paper is twofold. First of all, we confirm a few basic criteria of the finiteness of real forms of a given smooth complex projective variety, in terms of the Galois cohomology set of the discrete part of the automorphism group, the cone conjecture and the topological entropy. We then apply them to show that a smooth complex projective surface has at most finitely many non-isomorphic real forms unless it is either rational or a non-minimal surface birational to either a K3 surface or an Enriques surface. In the second part of the paper, we construct an Enriques surface whose blow-up at one point admits infinitely many non-isomorphic real forms. This answers a question of Kondo to us and also shows the three exceptional cases really occur.
We construct a smooth complex projective rational surface with infinitely many mutually non-isomorphic real forms. This gives the first definite answer to a long standing open question if a smooth complex projective rational surface has only finitely many non-isomorphic real forms or not.
We give a counterexample of Morrison's cone conjecture for a strict Calabi-Yau threefold.
We study zero entropy automorphisms of a compact Kähler manifold $X$. Our goal is to bring to light some new structures of the action on the cohomology of $X$, in terms of the so-called dynamical filtrations on $H^{1,1}(X, {\mathbb R})$. Based on these filtrations, we obtain the first general upper bound on the polynomial growth of the iterations $(g^m)^* \, {\circlearrowleft} \, H^2(X, {\mathbb C})$ where $g$ is a zero entropy automorphism, in terms of ${\rm dim} \, X$ only. We also give an upper bound for the (essential) derived length $\ell_{\rm ess}(G, X)$ for every zero entropy subgroup $G$, again in terms of the dimension of $X$ only. We propose a conjectural upper bound for the essential nilpotency class $c_{\rm ess}(G,X)$ of a zero entropy subgroup $G$. Finally, we construct examples showing that our upper bound of the polynomial growth (as well as the conjectural upper bound of $c_{\rm ess}(G,X)$) are optimal.
Let $X$ be a projective variety and $σ$ a wild automorphism on $X$, i.e., whenever $σ(Z) = Z$ for a non-empty Zariski-closed subset $Z$ of $X$, we have $Z = X$. Then $X$ is conjectured to be an abelian variety with $σ$ of zero entropy (and proved to be so when ${\rm dim} \, X \le 2$) by Z. Reichstein, D. Rogalski and J. J. Zhang in their study of projectively simple rings. This conjecture has been generally open for more than a decade. In this note, we confirm this original conjecture when ${\rm dim} \, X \le 3$ and $X$ is not a Calabi-Yau threefold, and also show that $σ$ is of zero entropy when ${\rm dim} \, X \le 4$ and the Kodaira dimension $κ(X) \ge 0$.
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.