arXiv subjects
Publications and source records attributed to D. -Q. Zhang.
In this note, we consider all possible extensions G of a non-trivial perfect group H acting faithfully on a K3 surface X. The pair (X, G) is proved to be uniquely determined by G if the transcendental value of G is maximum. In particular, we have G/H < Z/(2) + Z/(2), if H is the alternating group A_5 and normal in G.
In this note, we report some progress we made recently on the automorphisms groups of K3 surfaces. A short and straightforward proof of the impossibility of Z/(60) acting purely non-symplectically on a K3 surface, is also given, by using Lefschetz fixed point formula for vector bundles.
In these notes, we consider self-maps of degree > 1 on a weak del Pezzo surface X of degree < 8. We show that there are exactly 12 such X, modulo isomorphism. In particular, K_X^2 > 2, and if X has one self-map of degree > 1 then for every positive integer d there is a self-map of degree d^2 on X. We prove the Sato conjecture in the present case, the general case of which has been proved by N. Nakayama.
We survey some recent progress in the study of algebraic varieties X with log terminal singularities, especially, the uni-ruledness of the smooth locus X^0 of X, the fundamental group of X^0 and the automorphisms group on (smooth or singular) X when dim X = 2. The full automorphism groups of a few interesting types of K3 surfaces are described, mainly by Keum-Kondo. We conjecture that when X is Q-Fano then X^0 has a finite fundamental group, which had been proved if either dim X < 3 or the Fano index is bigger than dim X - 2. We also conjecture that when X is a log Enriques (e.g. a normal K3 or a normal Enriques) surface then either pi_1(X^0) is finite or X has an abelian surface as its quasi-etale cover, which has been proved by Catanese-Keum-Oguiso under some extra conditions.
In this note we shall determine all actions of groups of prime order p with p > 3 on Gorenstein del Pezzo (singular) surfaces Y of Picard number 1. We show that every order-p element in Aut(Y) (= Aut(Y'), Y' being the minimal resolution of Y) is lifted from a projective transformation of the projective plane. We also determine when Aut(Y) is finite in terms of the self intersection of the canonical divisor of Y, Sing(Y) and the number of singular members in the anti-canonical linear system of Y. In particular, we show that either |Aut(Y)| = 2^a 3^b for some 0 < a+b < 8, or for every prime p > 3 there is at least one element g_p of order p in Aut(Y) (hence |Aut(Y)| is infinite).
In this paper we prove that a normal Gorenstein surface dominated by the projective plane P^2 is isomorphic to a quotient P^2/G, where G is a finite group of automorphisms of P^2 (except possibly for one surface V_8'). We can completely classify all such quotients. Some natural conjectures when the surface is not Gorenstein are also stated.
We investigate when the fundamental group of the smooth part of a K3 surface or Enriques surface with Du Val singularities, is finite. As a corollary we give an effective upper bound for the order of the fundamental group of the smooth part of a certain Fano 3-fold. This result supports Conjecture A below, while Conjecture A (or alternatively the rational connectedness conjecture in [KoMiMo] which is still open when the dimension is at least 4) would imply that every log terminal Fano variety has a finite fundamental group (now a Theorem of S. Takayama).
We classify minimal pairs (X, G) for smooth rational projective surface X and finite group G of automorphisms on X. We also determine the fixed locus X^G and the quotient surface Y = X/G as well as the fundamental group of the smooth part of Y. The realization of each pair is included. Mori's extremal ray theory and recent results of Alexeev and also Ambro on the existence of good anti-canonical divisors are used.
We present a complete list of extremal elliptic K3 surfaces. There are altogether 325 of them. The first 112 coincides with Miranda-Persson's list for semi-stable ones. The data include the transcendental lattice which determines uniquely the K3 surface by a result of Shioda and Inose, the singular fibre type and the Mordell Weil group. As an application, we give a sufficient condition for the topological fundamental group of complement to an ADE-configuration of smooth rational curves on a K3 surface to be trivial.
A smooth rational surface X is a Coble surface if the anti-canonical linear system is empty while the anti-bicanonical linear system is non-empty. In this note we shall classify these X and consider the finiteness problem of the number of negative curves on X modulo automorphisms.
We show that there are exactly, up to isomorphisms, seven extremal log Enriques surfaces Z and construct all of them; among them types D_{19} and A_{19} have been shown of certain uniqueness by M. Reid. We also prove that the (degree 3 or 2) canonical covering of each of these seven Z has either X_3 or X_4 as its minimal resolution. Here X_3 (resp. X_4) is the unique K3 surface with Picard number 20 and discriminant 3 (resp. 4), which are called the most algebraic K3 surfaces by Vinberg and have infinite automorphism groups (by Shioda-Inose and Vinberg).
Let X be a K3 surface with the Neron-Severi lattice S_X and transcendental lattice T_X. Nukulin considered the kernel H_X of the natural representation Aut(X) ---> O(S_X) and proved that H_{X} is a finite cyclic group with phi(h(X))) | t(X) and acts faithfully on the space H^{2,0}(X) = C omega_{X}, where h(X) = ord(H_X), t(X) = rank T_X and phi(.) is the Euler function. Consider the extremal case where phi(h(X)) = t(X). In the situation where T_{X} is unimodular, Kondo has determined the list of t(X), as well as the actual realizations, and showed that t(X) alone uniquely determines the isomorphism class of X (with phi(h(X)) = t(X)). We settle the remaining situation where T_X is not unimodular. Together, we provide the proof for the theorem announced by Vorontsov.
Let X be a K3 surface with an involution g which has non-empty fixed locus X^g and acts non-trivially on a non-zero holomorphic 2-form. We shall construct all such pairs (X, g) in a canonical way, from some better known double coverings of log del Pezzo surfaces of index at most 2 or rational elliptic surfaces, and construct the only family of each of the three extremal cases where X^g contains 10 (maximum possible) curves. We also classify rational log Enriques surfaces of index 2. Our approach is more geometrical rather than lattice-theoretical (see Nikulin's paper for the latter approach).