In the present note we show that any surface of general type with $p_g=2$,$q=1$ and non-birational bicanonical map has a pencil of curves of genus 2. Combining this result with previous ones, one obtains thatan irregular surface $S$ of general type with $χ(S)\geq 2$ and non-birational bicanonical map has a pencil of curves of genus 2.
We prove that any smooth complex projective variety with generic vanishing index bigger or equal than 2 has birational bicanonical map. Therefore, if X is a smooth complex projective variety X with maximal Albanese dimension and non-birational bicanonical map, then the Albanese image of X is fibered by subvarieties of codimension at most 1 of an abelian subvariety of Alb X.
Let $S$ be a minimal surface of general type with $p_g = q = 1, K_S^2 = 7$. We prove that the degree of the bicanonical map is 1 or 2. Furthermore, if the degree is 2, we describe $S$ by a double cover.
From the point of view of uniform bounds for the birationality of pluricanonical maps, irregular varieties of general type and maximal Albanese dimension behave similarly to curves. In fact Chen-Hacon showed that, at least when their holomorphic Euler characteristic is positive, the tricanonical map of such varieties is always birational. In this paper we study the bicanonical map. We consider the natural subclass of varieties of maximal Albanese dimension formed by primitive varieties of Albanese general type. We prove that the only such varieties with non-birational bicanonical map are the n…
In this note we studied the primitive varieties of general type with $q(X) = dim(X)$ and non-birational bicanonical maps. Let $X$ be such a variety. We bounded the degree of its bicanonical map. If moreover the Albanese variety $Alb(X)$ is simple, we proved that the Euler number $χ(ω_X) = 1$, and $|2K_X|$ separates the points mapped to the same general point via the Albanese map.
By a theorem of Reider, a twisted bicanonical system, that means a linear system of divisors numerically equivalent to a bicanonical divisor, on a minimal surface of general type, is base point free if $K^2_S \geq 5$. Twisted bicanonical systems with base points are known in literature only for $K^2=1,2$. We prove in this paper that all surfaces in a family of surfaces with $K^2=3$ constructed in a previous paper with G. Bini and J. Neves have a twisted bicanonical system (different from the bicanonical system) with two base points. We show that the map induced by the above twisted bicanonical…
Let $S$ be a minimal surface of general type with $p_g(S) = 0, K_S^2 = 5$ and bicanonical map of degree 4. Denote by $Σ$ the bicanonical image. If $Σ$ is smooth, then $S$ is a Burniat surface; and if $Σ$ is singular, then we reduced $Σ$ to one case and described it, furthermore $S$ has at most one $(-2)$-curve.
We prove that the bicanonical map of the Cartwright-Steger surface is an embedding. We also discuss two minimal surfaces of general type, both covered by the Cartwright-Steger surface. One has $K^2=2$, $p_g=1$, $π_1=\{1\}$ and the other has $K^2=1$, $p_g=0$, $π_1=\mathbb{Z}/2\mathbb{Z}$.
We study surfaces of general type $S$ with $p_g=0$ and $K^2=3$ having an involution $i$ such that the bicanonical map of $S$ is not composed with $i$. It is shown that, if $S/i$ is not rational, then $S/i$ is birational to an Enriques surface or it has Kodaira dimension $1$ and the possibilities for the ramification divisor of the covering map $S\rightarrow S/i$ are described. We also show that these two cases do occur, providing an example. In this example $S$ has a hyperelliptic fibration of genus $3$ and the bicanonical map of $S$ is of degree $2$ onto a rational surface.
We shall show that any complex minimal surface of general type with c_1^2 = 2χ-1 having non-trivial 2-torsion divisors, where c_1^2 and χare the first Chern number of a surface and the Euler characteristic of the structure sheaf respectively, has the Euler characteristic χnot exceeding 4. Moreover, we shall give a complete description for the surfaces of the case χ=4, and prove that the coarse moduli space for surfaces of this case is a unirational variety of dimension 29. Using the description, we shall also prove that our surfaces of the case χ= 4 have non-birational bicanonical maps and no …
This note contains a new proof of a theorem of Gang Xiao saying that the bicanonical map of a surface S of general type is generically finite if and only if the second plurigenus of S is strictly larger than 2. Such properties are also studied for adjoint linear systems |K_S+L|, where L is any divisor with at least 2 linearly independent sections.
In this article we study the bicanonical map $ϕ_2$ of quadruple Galois canonical covers X of surfaces of minimal degree. We show that $ϕ_2$ has diverse behavior and exhibit most of the complexities that are possible for a bicanonical map of surfaces of general type, depending on the type of X. There are cases in which $ϕ_2$ is an embedding, and if so happens, $ϕ_2$ embeds $X$ as a projectively normal variety, and cases in which $ϕ_2$ is not an embedding. If the latter, $ϕ_2$ is finite of degree 1, 2 or 4. We also study the canonical ring of X, proving that it is generated in degree less than o…
We construct a new family of minimal smooth surfaces of general type with K^2=7 and p_g= 0. We show that for a surface in this family, its canonical divisor is ample and its bicanonical morphism is birational. We prove that these surfaces satisfy Bloch's conjecture.
We apply the recent results of Galkin et al. [GKMS15] to study some geometrical features of Keum's fake projective planes. Among other things, we show that the bicanonical map of Keum's fake projective planes is always an embedding. Moreover, we construct a nonstandard exceptional collection on the unique fake projective plane $X$ with $H_{1}(X; \mathbb{Z})=(\mathbb{Z}/2\mathbb{Z})^{4}$.
We study the complexity of birational self-maps of a projective threefold $X$ by looking at the birational type of surfaces contracted. These surfaces are birational to the product of the projective line with a smooth projective curve. We prove that the genus of the curves occuring is unbounded if and only if $X$ is birational to a conic bundle or a fibration into cubic surfaces. Similarly, we prove that the gonality of the curves is unbounded if and only if $X$ is birational to a conic bundle.
Given a surface $S$ and a finite group $G$ of automorphisms of $S$, consider the birational maps $S\dashrightarrow S'$ that commute with the action of $G$. This leads to the notion of a $G$-minimal variety. A natural question arises: for a fixed group $G$, is there a birational $G$-map between two different $G$-minimal surfaces? If no such map exists, the surface is said to be $G$-birationally rigid. This paper determines the $G$-rigidity of the projective plane for every finite subgroup $G\subset\mbox{PGL}_3\left(\mathbb{C}\right)$.
In this note we present two equivalent definitions for the genus of a birational map X --> Y between smooth complex projective 3-folds. The first one is the definition introduced in 1973 by M. A. Frumkin, the second one was recently suggested to me by S. Cantat. By focusing first on proving that these two definitions are equivalent, one can obtain all the results of the paper of Frumkin in a much shorter way. In particular, the genus of an automorphism of $\mathbb{C}^3$, view as a birational self-map of the projective space, will easily be proved to be 0.
The relative pluricanonical stability for 3-folds of general type
本文改进了JanosKollar的一个定理。对给定的一般型复射影三重映射X，设p_k（X）为多亏格\ge 2，Kollar证明了（11 k +5）-标准映射是双有理的.这里我们证明了（7 k +3）-正则映射或（7 k +5）-正则映射是双有理的，并且对于m \ge 13 k +6，m-正则映射是稳定双有理的.若P_k（X）\ge 3，则m-正则映射对m \ge 10 k +8是稳定双有理的.特别地，当p_g（X）\ge 2时，12-正则映射是双有理的，当p_g（X）\ge 3时，11-正则映射是双有理的。
A generically generated vector bundle on a smooth projective variety yields a rational map to a Grassmannian, called Kodaira map. We answer a previous question, raised by the asymptotic behaviour of such maps, giving rise to a birational characterization of abelian varieties. In particular we prove that, under the conjectures of the Minimal Model Program, a smooth projective variety is birational to an abelian variety if and only if it has Kodaira dimension 0 and some symmetric power of its cotangent sheaf is generically generated by its global sections.
We introduce equivariant Burnside groups, new invariants in equivariant birational geometry, generalizing birational symbols groups for actions of finite abelian groups, due to Kontsevich, Pestun, and the second author, and study their properties. We establish a specialization map for the equivariant birational type of a smooth algebraic variety with an action of a finite group.
We study birational geometry of the moduli space of stable sheaves on a quadric surface with Hilbert polynomial $5m + 1$ and $c_{1} = (2, 3)$. We describe a birational map between the moduli space and a projective bundle over a Grassmannian as a composition of smooth blow-ups/downs.
We characterise smooth curves in a smooth cubic threefold whose blow-ups produce a weak-Fano threefold. These are curves $C$ of genus $g$ and degree $d$, such that (i) $2(d-5) \le g$ and $d\le 6$; (ii) $C$ does not admit a 3-secant line in the cubic threefold. Among the list of ten possible such types $(g,d)$, two were previously left as open numerical possibilities, namely $(g,d) = (0,5)$ and $(2,6)$. Using the Sarkisov link associated with a curve of type $(2,6)$, we are able to produce the first example of a pseudo-automorphism with dynamical degree greater than $1$ on a smooth threefold wi…
We give a list of possibilities for surfaces of general type with $p_g=0$ having an involution $i$ such that the bicanonical map of $S$ is not composed with $i$ and $S/i$ is not rational. Some examples with $K^2=4,...,7$ are constructed as double coverings of an Enriques surface. These surfaces have a description as bidouble coverings of the plane.
In this paper we prove that for any smooth projective variety of Albanese fiber dimension two and of general type, the 6-canonical map is birational. And we also show that the 5-canonical map is birational for any such variety with some geometric restrictions.
In this paper, we studied the map defined by a non-very ample line bundle on some special irregular varieties. As to this topic, it is well known that for a line bundle $L$ on an Abelian variety $A$, the linear system $|2L|$ is base point free, and 3L is very ample, moreover the map defined by the linear system $|2L|$ is well understood (cf. Theorem \ref{oldth}). First, we generalized this classical result to projective bundles over Abelian varieties (cf. Theorem \ref{key}). Then we studied the bicanonical map of an irregular primitive variety $X$ of general type with $dim(X) = q(X)$, in fact …
Mutations of the cluster variables generating the cluster algebra of type $A^{(2)}_2$ reduce to a two-dimensional discrete integrable system given by a quartic birational map. The invariant curve of the map is a singular quartic curve, and its resolution of the singularity induces a discrete integrable system on a conic governed by a cubic birational map conjugate to the cluster mutations of type $A^{(2)}_2$. Moreover, it is shown that the conic is also the invariant curve of the quadratic birational map arising from the cluster mutations of type $A^{(1)}_1$ and the two birational maps on the …
We classify birational maps of projective smooth surfaces whose non-critical periodic points are Zariski dense. In particular, we show that if the first dynamical degree is greater than one, then the periodic points are Zariski dense.
We prove that the degrees of the iterates ${\rm deg}(f^n)$ of a birational map satisfy $\liminf({\rm deg}(f^n))<+\infty$ if and only if the sequence ${\rm deg}(f^n)$ is bounded, and that the growth of ${\rm deg}(f^n)$ can not be arbitrarily slow, unless ${\rm deg}(f^n)$ is bounded.
Let $ϕ$ be a birational map of the complex projective plane. We know that $ϕ$ can be written as a composition of automorphisms of $\mathbb{P}^2_\mathbb{C}$ and the standard quadratic birational map $σ$. This writing, that is non-unique, is minimal if the number $\mathfrak{n}(ϕ)$ of $σ$ is as small as possible. We prove that if $ϕ$ is of degree $d\geq 2$, then $\big[\frac{\ln d}{\ln 2}\big]\leq\mathfrak{n}(ϕ)\leq 2(2d-1)$.
