Following an approach of Dolgachev, Pinkham and Demazure, we classified in math.AG/0210153 normal affine surfaces with hyperbolic $\C^{*}$-actions in terms of pairs of $\Q$-divisors $(D_+,D_-)$ on a smooth affine curve. In the present paper we show how to obtain from this description a natural equivariant completion of these $\C^*$-surfaces. Using elementary transformations we deduce also natural completions for which the boundary divisor is a standard graph in the sense of math.AG/0511063 and show in certain cases their uniqueness. This description is especially precise in the case of normal affine surfaces completable by a zigzag i.e., by a linear chain of smooth rational curves. As an application we classify all zigzags that appear as boundaries of smooth or normal $\C^*$-surfaces.
Projective completions of affine varieties via degree-like functions
研究了仿射代数簇在其坐标环上由滤子诱导的射影完备化。特别是，我们研究了相应的完成过滤的“乘法”属性的效果，并引入一类投影完成（任意仿射品种），推广了凸有理多面体的复曲面品种的建设。作为应用，我们恢复（并推广到任意特征的代数闭域上的簇）在de Fernex、Ein和Ishii的文章“Divisorial valuations via arcs”（Publ.Res.Inst.Math.Sci.，2008年）。我们还找到了“无穷远除数”的拉回公式，并将其应用于计算某些仿射曲面的一类紧化上的无穷远曲线的相交数矩阵。
Let A be the local ring at a point of a normal complex variety with completion R. Srinivas has asked about the possible images of the induced map from Cl A to Cl R over all geometric normal domains A with fixed completion R. We use Noether-Lefschetz theory to prove that all finitely generated subgroups are possible in some familiar cases. As a byproduct we show that every finitely generated abelian group appears as the class group of the local ring at the vertex of a cone over some smooth complex variety of each positive dimension.
We investigate the structure of geometrically ruled surfaces whose anti-canonical class is big. As an application we show that the Picard group of a normal projective surface whose anti-canonical class is nef and big is a free abelian group of finite rank.
We study a divisor computing the minimal log discrepancy on a smooth surface. Such a divisor is obtained by a weighted blow-up. There exists an example of a pair such that any divisor computing the minimal log discrepancy computes no log canonical thresholds.
We completely classify redundant blow-ups appearing in the theory of rational surfaces with big anticanonical divisor due to Sakai. In particular, we construct a rational surface with big anticanonical divisor which is not a minimal resolution of a del Pezzo surface with only rational singularities, which gives a negative answer to a question raised in a paper by Testa, Várilly-Alvarado, and Velasco.
The flex divisor of a primitively polarized K3 surface $(X,L)$ of degree $L^2=2d$ is, generically, the locus of all points $x\in X$ for which there exists a pencil $V\subset |L|$ whose base locus is $\{x\}$. We show that the flex divisor lies in the linear system $|n_dL|$ where $n_d=(2d+1)C(d)^2$ and $C(d)$ is the Catalan number. We also show that there is a well-defined notion of flex divisor over the whole moduli space $F_{2d}$ of polarized K3 surfaces.
In this note we consider the problem of integrality of Zariski decompositions for pseudoeffective integral divisors on algebraic surfaces. We show that while sometimes integrality of Zariski decompositions forces all negative curves to be $(-1)$-curves, there are examples where this is not true.
We study effective divisors $D$ on surfaces with $H^0(\mathcal O_D)=k$ and $H^1(\mathcal O_D)=H^0(\mathcal O_D(D))=0$. We give a numerical criterion for such divisors, following a general investigation of negativity, rigidity and connectivity properties. Examples include exceptional loci of rational singularities, and spherelike divisors.
We provide methods to construct explicit examples of $K3$ surfaces. This leads to unirational constructions of Noether--Lefschetz divisors inside the moduli space of $K3$ surfaces of genus $g$. We implement Mukai's unirationality construction of the moduli spaces of $K3$ surfaces of genus $g\in\{6,\dots, 10, 12\}$, and we also present a new constructive proof of the unirationality of the moduli space of $K3$ surfaces of genus $11$. Furthermore, we show the existence of three unirational hypersurfaces in any moduli space of $K3$ surfaces of genus $g$.
Given a web (multi-foliation) and a linear system on a projective surface we construct divisors cutting out the locus where some element of the linear system has abnormal contact with the leaf of the web. We apply these ideas to reobtain a classical result by Salmon on the number of lines on a projective surface. In a different vein, we investigate the number of lines and of disjoint lines contained in a projective surface and tangent to a contact distribution.
Let $(X\ni x,B)$ be an lc surface germ. If $X\ni x$ is klt, we show that there exists a divisor computing the minimal log discrepancy of $(X\ni x,B)$ that is a Kollár component of $X\ni x$. If $B\not=0$ or $X\ni x$ is not Du Val, we show that any divisor computing the minimal log discrepancy of $(X\ni x,B)$ is a potential lc place of $X\ni x$.
We make a very detailed analysis of the numerical properties of effective divisors whose support is contained in the exceptional locus of a birational morphism of smooth projective surfaces. As an application we extend Miyaoka's inequality on the number of canonical singularities on a projective normal surface with non-negative Kodaira dimension to the non minimal case, obtaining a slightly better result than known extensions by Megyesi and Langer.
We find a criterion for an effective divisor $D$ on a smooth surface to be left-orthogonal or strongly left-orthogonal (i.e. for the pair of line bundles $(\mathcal O,\mathcal O(D))$ to be exceptional or strong exceptional).
We consider the moduli space of log smooth pairs formed by a cubic surface and an anticanonical divisor. We describe all compactifications of this moduli space which are constructed using Geometric Invariant Theory and the anticanonical polarization. The construction depends on a weight on the divisor. For smaller weights the stable pairs consist of mildly singular surfaces and very singular divisors. Conversely, a larger weight allows more singular surfaces, but it restricts the singularities on the divisor. The one-dimensional space of stability conditions decomposes in a wall-chamber struct…
We study the pencils of minimal degree on the smooth curves lying on a K3 surface X which carries a fixed-point free involution. Generically, the gonality of these curves is totally governed by the genus 1 fibrations of X
In this paper, we study effective, nef and semiample cones of surfaces isogenous to a product of mixed type with $p_g=0$. In particular, we prove that all reducible fake quadrics are Mori dream surfaces.
The quotient space of a $K3$ surface by a finite group is an Enriques surface or a rational surface if it is smooth. Finite groups where the quotient space are Enriques surfaces are known. In this paper, by analyzing effective divisors on smooth rational surfaces, we will study finite groups which act faithfully on $K3$ surfaces such that the quotient space are smooth. In particular, we will completely determine effective divisors on Hirzebruch surfaces such that there is a finite Abelian cover from a $K3$ surface to a Hirzebrunch surface such that the branch divisor is that effective divisor.…
We compute the divisor class group of the general hypersurface Y of a complex projective normal variety X of dimension at least four containing a fixed base locus Z. We deduce that completions of normal local complete intersection domains of finite type over the complex numbers of dimension $\ge 4$ are completions of UFDs of finite type over the complex numbers.
Let $f:X \to S$ be a Galois cover of Riemann surfaces, with Galois group $G$. In this paper we analyze the $G$-invariant divisors on $X$, and their associated spaces of meromorphic functions, differentials, and $q$-differentials. We generalize the trace formula for non-trivial elements of $G$ on $q$-differentials, as well as the Chevalley--Weil Formula. When $G$ is Abelian or when the genus of $S$ is 0 we prove additional results, and we also determine the non-special $G$-invariant divisors when both conditions are satisfied.
The article proves the Infinitesimal Torelli theorem for surfaces subject to the following conditions: 1) the canonical bundle of a surface is ample and generated by its global sections, 2)the geometric genus $p_g \geq 4$, 3) the irregularity $q=0$ . The main novelty is a realization of the Kodaira-Spencer classes lying in the kernel of the cohomology cup-product controlling the derivative of the period map of weight 2 in the category of the coherent sheaves of a surface.
The moduli space of stable surfaces with $K_X^2 = 1$ and $χ(X) = 3$ has at least two irreducible components that contain surfaces with T-singularities. We show that the two known components intersect transversally in a divisor. Moreover, we exhibit other new boundary divisors and study how they intersect one another.
We investigate the notion of the $p$-divisor for foliations on a smooth algebraic surface defined over a field of positive characteristic $p$ and we study some of their properties. We present a structure theorem for the $p$-divisor of foliations in the projective plane and the Hirzebruch surfaces where we show that, under certain conditions, such $p$-divisors are reduced.
Motivated by a conjecture of Xiao, we study supporting divisors of fibred surfaces. On the one hand, after developing a formalism to treat one-dimensional families of varieties of any dimension, we give a structure theorem for fibred surfaces supported on relatively rigid divisors. On the other hand, we study how to produce supporting divisors by constructing a global adjoint map for a fibration over a curve (generalizing the infinitesimal constructions of Collino, Pirola, Rizzi and Zucconi).
Mumford defined a rational pullback for Weil divisors on normal surfaces, which is linear, respects effectivity, and satisfies the projection formula. In higher dimensions, the existence of small resolutions of singularities precludes such general results. We single out a higher-dimensional situation that resembles the surface case and show for it that a rational pullback for Weil divisors exists, which is also linear, respects effectivity, and satisfies the projection formula.
We show that a cubic fourfold F that is apolar to a Veronese surface has the property that its variety of power sums VSP(F,10) is singular along a K3 surface of genus 20. We prove that these cubics form a divisor in the moduli space of cubic fourfolds and that this divisor is not a Noether-Lefschetz divisor. We use this result to prove that there is no nontrivial Hodge correspondence between a very general cubic and its VSP.
Matrix divisors are introduced in the work by A.Weil (1938) which is considered as a starting point of the theory of holomorphic vector bundles on Riemann surfaces. In this theory matrix divisors play the role similar to the role of usual divisors in the theory of line bundles. Moreover, they provide explicit coordinates (Tyurin parameters) in an open subset of the moduli space of stable vector bundles. These coordinates turned out to be helpful in integration of soliton equations. We would like to gain attention to one more relationship between matrix divisors of vector G-bundles (where G is …
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 $G$ is a semi-abelian variety of dimension $\le \min\{n-\barκ(V), n\}$ with $V := X\setminus D$. In the dimension two, Shigeru Iitaka claimed in his 1979 Osaka J. Math. paper that $\dim G\le \bar{q}(V)$ for a log smooth surface pair with $\barκ(V) = 0$ and $\bar{p}_g(V) = 1$. We (re)prove and generalize this classical result for all surfaces with $\barκ=0$ wit…
We find polyhedral divisors corresponding to the torus action of complexity one on affine trinomial hypersurfaces. Explicit computations for particular classes of such hypersurfaces including Pham-Brieskorn surfaces and rational trinomial hypersurfaces are given.
We consider the following question: for which invariants $g$ and $e$ is there a geometrically ruled surface $S \rightarrow C$ over a curve $C$ of genus $g$ with invariant $e$ such that $S$ is the support of an Ulrich line bundle with respect to a very ample line bundle? A surprising relation between the existence of certain proper Theta divisors on some moduli spaces of vector bundles on $C$ with the existence of Ulrich line bundles on $S$ will be the key to completely solve the above question. The relation is realized by translating the vanishing conditions characterizing Ulrich line bundles …
Lasell and Ramachandran show that the existence of rational curves of positive self-intersection on a smooth projective surface $X$ implies that all the finite dimensional linear representations of the fundamental group $π_1(X)$ are finite. In this article, we generalize Lasell and Ramachandran's result to the case of $π_1$-small divisors on quasiprojective varieties. We also study $π_1$-small curves and hyperbolicity properties of smooth projective surfaces of general type with infinite fundamental groups.
For a regular noetherian scheme $X$ with a divisor with strict normal crossings $D$ we prove that coherent sheaves satisfy descent w.r.t. the 'covering' consisting of the open parts in the various completions of $X$ along the components of $D$ and their intersections.
We introduce a conjecture on homological mirror symmetry relating the symplectic topology of the complement of a smooth ample divisor in a K3 surface to algebraic geometry of type III degenerations, and prove it when the degree of the divisor is either 2 or 4.
We give an explicit description of the divisor class groups of rational trinomial varieties. As an application, we relate the iteration of Cox rings of any rational variety with torus action of complexity one to that of a Du Val surface.
Rational curves on Hilbert schemes of points on $K3$ surfaces and generalised Kummer manifolds are constructed by using Brill-Noether theory on nodal curves on the underlying surface. It turns out that all wall divisors can be obtained, up to isometry, as dual divisors to such rational curves. The locus covered by the rational curves is then described, thus exhibiting algebraically coisotropic subvarieties that deform to general small deformations of the manifold. This provides strong evidence for a conjecture by Voisin concerning the Chow ring of irreducible holomorphic symplectic manifolds. …
