Related papers: Smooth factorial affine surfaces of logarithmic Ko…

We study surfaces constructed from groups of units in quaternion orders $\Lambda$ over the integers in real quadratic fields k. A short presentation of some general theory of such surfaces is given, in particular, we construct certain…

We continue the program of classification of normal Q-acyclic surfaces defined over the field of complex numbers, so-called 'Q-homology planes'. Here we show that if a Q-homology plane has negative Kodaira dimension then its smooth locus is…

A smooth algebraic surface $S$ is said to be \emph{isogenous to a product of unmixed type} if there exist two smooth curves $C, F$ and a finite group $G$, acting faithfully on both $C$ and $F$ and freely on their product, so that $S=(C…

We prove that the group $\mathrm{SAut}_{\mathrm{k}}(\mathbb{A}^2)$ is simple as an algebraic group of infinite dimension, over any infinite field $\mathrm{k}$, by proving that any closed normal subgroup is either trivial or the whole group.…

We classify all smooth projective toric surfaces $S$ containing exactly one exceptional curve. We show that every such surface $S$ is isomorphic to either $\mathbb{F}_1$ or a surface $S_r$ defined by a rational number $r \in \mathbb{Q}…

Let $(X,D)$ be a log smooth pair of dimension $n$, where $D$ is a reduced effective divisor such that the log canonical divisor $K_X + D$ is pseudo-effective. Let $G$ be a connected algebraic subgroup of $\mathrm{Aut}(X,D)$. We show that…

Given a smooth quasi-projective complex algebraic variety $\mathcal{S}$, we prove that there are only finitely many Hodge-generic non-isotrivial families of smooth projective hypersurfaces over $\mathcal{S}$ of degree $d$ in…

We classify all the surfaces with p_g = q = 0 which admit an unramified covering which is isomorphic to a product of curves. Beyond the trivial case \PP^1 x \PP^1 we find 17 families which we explicitly describe. We reduce the problem to a…

We prove that the Brauer group of the generic diagonal surface of arbitrary degree is trivial. The same method is applied to surfaces whose equation can be written as the sum of two bilinear forms. This uses a general criterion for the…

We classify meromorphic affine connections on compact complex surfaces with algebraic dimension one, extending the work of Inoue,Kobayashi and Ochiai (1981) in the holomorphic case. The motivation is to investigate possible extension of the…

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…

Lee and the second named author studied involutions on smooth minimal surfaces $S$ of general type with $p_g(S)=0$ and $K_S^2=7$. They gave the possibilities of the birational models $W$ of the quotients and the branch divisors $B_0$…

We prove that a K\"ahler group which is cubulable, i.e. which acts properly discontinuously and cocompactly on a CAT(0) cubical complex, has a finite index subgroup isomorphic to a direct product of surface groups, possibly with a free…

The Shafarevich conjecture for K3 surfaces asserts the finiteness of isomorphism classes of K3 surfaces over a fixed number field admitting good reduction away from a fixed finite set of finite places. Andr\'{e} proved this conjecture for…

We study the descent behaviour of homotopy-theoretic properties of smooth complex affine surfaces under finite surjective morphisms. We first examine the Eilenberg-MacLane property and show, by means of an explicit counterexample, that it…

We study the symmetric monoidal 2-category of finite semisimple module categories over a symmetric fusion category. In particular, we study $E_n$-algebras in this 2-category and compute their $E_n$-centers for $n=0,1,2$. We also compute the…

A Kodaira fibration is a non-isotrivial fibration $f\colon S\rightarrow B$ from a smooth algebraic surface $S$ to a smooth algebraic curve $B$ such that all fibers are smooth algebraic curves of genus $g$. Such fibrations arise as complete…

Let $X$ be a complex $K3$ surface, ${\rm Diff}(X)$ the group of diffeomorphisms of $X$ and ${\rm Diff}_0(X)$ the identity component. We prove that the fundamental group of ${\rm Diff}_0(X)$ contains a free abelian group of countably…

When a non-singular complex projective surface $X$ satisfies that $K_X\sim 0$, we shall show that there are only finitely many isomorphic classes as abstract schemes in the set of moduli scheme of $H$-semistable sheaves with fixed Chern…

We prove the unpolarized Shafarevich conjecture for K3 surfaces: the set of isomorphism classes of K3 surfaces over a fixed number field with good reduction away from a fixed and finite set of places is finite. Our proof is based on the…