Ciro Ciliberto, Rita Pardini, Francesca Tovena
We construct three sequences of regular surfaces of general type with unbounded numerical invariants whose canonical map is 2-to-1 onto a canonically embedded surface. Only sporadic examples of surfaces with these properties were previously known.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
In this note, we construct three new infinite families of surfaces of general type with canonical map of degree 2 onto a surface of general type. For one of these families the canonical system has base points.
We construct a surface of general type with canonical map of degree 12 which factors as a triple cover and a bidouble cover of $\mathbb P^2$. We also show the existence of a smooth surface with $q=0,$ $χ=13$ and $K^2=9χ$ such that its canonical map is either of degree 3 onto a surface of general type or of degree 9 onto a rational surface.
In this paper, we classified the surfaces whose canonical maps are abelian covers over $\mathbb{P}^2$. Moveover, we construct a new Campedelli surface with fundamental group $\mathbb{Z}_2^{\oplus 3}$ and give defining equations for Perssson's surface and Tan's surfaces with odd canonical degrees explicitly.
This paper presents new examples of projective surfaces of general type over $\mathbb{C}$ with canonical map of degree $ 3 $ onto a surface of general type. Very few examples are known of such surfaces and some of the examples in this paper present the new feature of having the canonical map not a morphism (i.e. the canonical linear system with base points).
We prove that the canonical cover of an Enriques surface does not admit non-trivial Fourier-Mukai partners. We also show that the canonical cover of a bielliptic surface has at most one non-isomorphic Fourier-Mukai partner. The first result is then applied to birational Hilbert schemes of points and the second to birational generalised Kummer varieties. An appendix establishes that there are no exceptional or spherical objects in the derived category of a bielliptic surface.
In this paper, we show that if $X$ is a smooth variety of general type of dimension $m \geq 3$ for which the canonical map induces a triple cover onto $Y$, where $Y$ is a projective bundle over $\mathbf P^1$ or onto a projective space or onto a quadric hypersurface, embedded by a complete linear series, then the general deformation of the canonical morphism of $X$ is again canonical and induces a triple cover. The extremal case when $Y$ is embedded as a variety of minimal degree is of interest, due to its appearance in numerous situations. This is especially interesting as well, since it has n…
In this article we classify quadruple Galois canonical covers of smooth surfaces of minimal degree. The classification shows that they are either non-simple cyclic covers or bi-double covers. If they are bi-double then they are all fiber products of double covers. We construct examples to show that all the possibilities in the classification do exist. There are implications of this classification that include the existence of families with unbounded geometric genus and families with unbounded irregularity, in sharp contrast with the case of double and triple canonical covers. Together with the…
Some remarks on regular foliations with numerically trivial canonical class
本文研究复射影流形上典范类数值平凡的正则叶状结构，分类了余维数二情形，并利用代数性准则处理小秩情形，最后在特殊情形下证实了广义Bondal猜想。
In this article we classify quadruple Galois canonical covers $ϕ$ of singular surfaces of minimal degree. This complements the work done in math.AG/0302045, so the main output of both papers is the complete classification of quadruple Galois canonical covers of surfaces of minimal degree, both singular and smooth. Our results show that the covers $X$ studied in this article are all regular surfaces and form a bounded family in terms of geometric genus $p_g$. In fact, the geometric genus of $X$ is bounded by 4. Together with the results of Horikawa and Konno for double and triple covers, a stri…
We classify all the surfaces of general type whose canonical map is composed with a pencil if they are the quotient of the diagonal action by an Abelian group acting over the product of two curves. As far as we know all the previous examples with isotrivial canonical map are very particular cases of our construction; moreover we find an unexpected action by a group of order 16. This construction can be easily generalizable to all dimensions.
We prove that any Fourier--Mukai partner of an abelian surface over an algebraically closed field of positive characteristic is isomorphic to a moduli space of Gieseker-stable sheaves. We apply this fact to show that the Fourier--Mukai set of canonical covers of hyperelliptic and Enriques surfaces over an algebraically closed field of characteristic greater than three is trivial. These results extend to positive characteristic earlier results of Bridgeland--Maciocia and Sosna.
In this paper, we show that if $X$ is a smooth variety of general type of dimension $m \geq 2$, for which its canonical map induces a double cover onto $Y$, where $Y$ is a projective bundle over $\mathbf P^1$, or onto a projective space or onto a quadric hypersurface, embedded by a complete linear series, then the general deformation of the canonical morphism of $X$ again is canonical and again induces a double cover. The second part of the article deals with the existence or non existence of canonical double structures on rational varieties. The negative result in this article has consequence…
Global log canonical thresholds for Burniat surfaces and some infinite families of surfaces of general type as $\mathbb{Z}_2^n$-covers
本文完成 Burniat 曲面全局对数典范阈值计算，并确定作为 $\mathbb{P}^2$ 或 $\mathbb{P}^1 \times \mathbb{P}^1$ 的 $\mathbb{Z}_2^n$-覆盖的一般型曲面无限族的相应阈值。
Let $\bar{Y}$ be a normal surface that is the canonical $μ_2$- or $α_2$-covering of a classical or supersingular Enriques surface in characteristic $2$. We determine all possible configurations of singularities on $\bar{Y}$, and for each configuration we describe which type of Enriques surfaces (classical or supersingular) appear as quotients of $\bar{Y}$.
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…
In this article we study pluriregular varieties X of general type with base-point-free canonical bundle whose canonical morphism has degree 3 and maps X onto a variety of minimal degree Y. We carry out our study from two different perspectives. First we study in Section 2 the canonical ring of X describing completely the degrees of its minimal generators. We apply this to the study of the projective normality of the images of the pluricanonical morphisms of X. Our study of the canonical ring of $X$ also shows that, if the dimension of X is greater than or equal to 3, there does not exist a con…
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.
Let f be a generically finite morphism from X to Y. The purpose of this paper is to show how the O_Y algebra structure on the push forward of O_X controls algebro-geometric aspects of X like the ring generation of graded rings associated to X and the very ampleness of line bundles on X. As the main application of this we prove some new results for certain regular surfaces X of general type. Precisely, we find the degrees of the generators of the canonical ring of X when the canonical morphism of X is a finite cover of a surface of minimal degree. These results complement results of Ciliberto […
We give an algorithm that, for a given value of the geometric genus $p_g,$ computes all regular product-quotient surfaces with abelian group that have at most canonical singularities and have canonical system with at most isolated base points. We use it to show that there are exactly two families of such surfaces with canonical map of degree $32$. We also construct a surface with $q=1$ and canonical map of degree $24$. These are regular surfaces with $p_g=3$ and base point free canonical system. We discuss the case of regular surfaces with $p_g=4$ and base point free canonical system.
In this paper, we prove the abundance theorem for numerically trivial canonical divisors on strongly $F$-regular varieties, assuming that the geometric generic fibers of the Albanese morphisms are strongly $F$-regular.
We classify canonical algebras such that for every dimension vector of a regular module the corresponding module variety is normal (respectively, a complete intersection). We also prove that for the dimension vectors of regular modules normality is equivalent to irreducibility.
Geometric singularities of regular surfaces with nef anti-canonical divisors over imperfect fields
研究正则投影曲面在特征p≥7的域上，当反canonical除子非负且局部环为域时，曲面在域上几何积分的性质。
We show that for a class of modules over shod algebras, including the canonical tilting modules, the closures of the corresponding orbits in module varieties are regular in codimension one.
In this paper we prove that the anti-canonical bundle of a holomorphic foliation $\mathcal{F}$ on a complex projective manifold cannot be nef and big if either $\mathcal{F}$ is regular, or $\mathcal{F}$ has a compact leaf. Then we address codimension one regular foliations whose anti-canonical bundle is nef with maximal Kodaira dimension.
Given a degree one del Pezzo surface with canonical singularities, the linear series generated by twice the anti-canonical divisor exhibits the surface as the double cover of the quadric cone branched along a sextic curve. It is natural to ask if this description extends to the boundary of a compactification of the moduli space of degree one del Pezzo surfaces. The goal of this paper is to show that this is indeed the case. In particular, we give an explicit classification of the boundary of the moduli space of anti-canonically polarized broken del Pezzo surfaces of degree one as double covers…
We investigate sets of the common zeros of non-constant semi-invariants for regular modules over canonical algebras. In particular, we show that if the considered algebra is tame then for big enough vectors these sets are complete intersections.
We explicitly describe the KSBA/Hacking compactification of a moduli space of log surfaces of Picard rank 2. The space parametrizes log pairs $(S, D)$ where $S$ is a degeneration of $\mathbb{P}^1 \times \mathbb{P}^1$ and $D \subset S$ is a degeneration of a curve of class $(3,3)$. We prove that the compactified moduli space is a smooth Deligne--Mumford stack with 4 boundary components. We relate it to the moduli space of genus 4 curves; we show that it compactifies the blow-up of the hyperelliptic locus. We also relate it to a compactification of the Hurwitz space of triple coverings of $\math…
We discuss an elementary approach to the existence of non-uniruled ramified covers of varieties.
Threefolds of globally $F$-regular type with nef anti-canonical divisor
本研究针对Schwede和Smith的猜想特例，证明具nef反典范除子的光滑复射影三维簇若为整体$F$-正则型则是弱Fano簇，推进了相关代数几何猜想的验证。
In this article, we study the moduli of irregular surfaces of general type with at worst canonical singularities satisfying $K_X^2 = 4p_g(X)-8$, for any even integer $p_g\geq 4$. These surfaces also have unbounded irregularity $q$. We carry out our study by investigating the deformations of the canonical morphism $φ:X\to \mathbb{P}^N$, where $φ$ is Galois of degree 4. These canonical covers are classified in by the first two authors into four distinct families. We show that any deformation of $φ$ factors through a double cover of a ruled surface and, hence, is never birational. More interestin…
The purpose of this article is to study the deformations of smooth surfaces $X$ of general type whose canonical map is a finite, degree 2 morphism onto a minimal rational surface or onto $\mathbf F_1$, embedded in projective space by a very ample complete linear series. Among other things, we prove that any deformation of the canonical morphism of such surfaces $X$ is again a morphism of degree 2. A priori, this is not at all obvious, for the invariants $(p_g(X),c_1^2(X))$ of most of these surfaces lie on or above the Castelnuovo line; thus, in principle, a deformation of such $X$ could have a…
Let $X$ be a Gorenstein minimal projective $n$-fold with at worst locally factorial terminal singularities, and suppose that the canonical map of $X$ is generically finite onto its image. When $n<4$, the canonical degree is universally bounded. While the possibility of obtaining a universal bound on the canonical degree of $X$ for $n \geqslant 4$ may be inaccessible, we give a uniform upper bound for the degrees of certain abelian covers. In particular, we show that if the canonical divisor $K_X$ defines an abelian cover over $\mathbb{P}^n$, i.e., when $X$ is an \emph{abelian canonical $n$-fol…
By a recent result of Viehweg, projective manifolds with ample canonical class have a coarse moduli space, which is a union of quasiprojective varieties. In this paper, we prove that there are manifolds with ample canonical class that lie on arbitrarily many irreducible components of the moduli; moreover, for any finite abelian group $G$ there exist infinitely many components $M$ of the moduli of varieties with ample canonical class such that the generic automorphism group $G_M$ is equal to $G$. In order to construct the examples, we use abelian covers, i.e. Galois cover whose Galois group is …
We classify the minimal surfaces of general type with $K^2 \leq 4χ-8$ whose canonical map is composed with a pencil, up to a finite number of families. More precisely we prove that there is exactly one irreducible family for each value of $χ\gg 0$, $4χ-10 \leq K^2 \leq 4χ-8$. All these surfaces are complete intersections in a toric $4-$fold and bidouble covers of Hirzebruch surfaces. The surfaces with $K^2=4χ-8$ were previously constructed by Catanese as bidouble covers of $\PP^1 \times \PP^1$.
In this note, we describe the structure of regular foliations with semi-positive anti-canonical bundle on smooth projective varieties.
In characteristic zero, we construct relative principalization of ideals for logarithmically regular morphisms of logarithmic schemes, and use it to construct logarithmically regular desingularization of morphisms. These constructions are relatively canonical and even functorial with respect to logarithmically regular morphisms and arbitrary base changes. Relative canonicity means, that the principalization requires a fine enough non-canonical modification of the base, and once it is chosen the process is canonical. As a consequence we deduce the semistable reduction theorem over arbitrary val…
We investigate the resolution of a general branched cover $α: C \to {\bf P}^1$ in its relative canonical embedding $C \subset {\bf P} E$. We conjecture that the syzygy bundles appearing in the resolution are balanced for a general cover, provided that the genus is sufficiently large compared to the degree. We prove this for the Casnati-Ekedahl bundle, or "bundle of quadrics" $F$ - the first bundle appearing in the resolution of the ideal of the relative canonical embedding. Furthermore, we prove the conjecture for all syzygy bundles in the resolution when the genus satisfies $g = 1 \mod d$.
Let $X$ be a smooth compact complex surface subject to the following conditions: (i) the canonical line bundle $\mathcal{O}_X(K_X) $ is very ample, (ii) the irregularity $q(X): = h^1(\mathcal{O}_X) =0$, (iii) $X$ contains no rational normal curves of degree $\leq (p_g-1)$, (iv) the multiplication map $m_2: Sym^2(H^0(\mathcal{O}_X(K_X))) \longrightarrow H^0 (\mathcal{O}_X (2K_X))$ is surjective. It is shown that the Infinitesimal Torelli holds for such $X$. Our proof is based on the study of the cup-product $$ H^1 (Θ_X) \longrightarrow (\mathcal{O}_X(K_X))^{\ast} \otimes H^1 (Ω_X) $$ where $Θ_X…
In this note, we construct a minimal surface of general type with geometric genus p g = 4, self-intersection of the canonical divisor K^2 = 32 and irregularity q = 1 such that its canonical map is an abelian cover of degree 16 of P^1 x P^1.
Abelian canonical covers of minimal rational surfaces and $\mathbb F_1$ up to degree $8$
本文分类了极小度曲面及 $\mathbb P^2$、Hirzebruch 曲面的阿贝尔典范覆盖，完成了次数 $5$ 至 $8$ 的分类，给出了新覆盖族并计算了斜率累积点。
In this note, we construct some minimal smooth surfaces of general type with canonical map of degree $ 13, 15, 17, 18, 21, 22 $. These surfaces are constructed as $ \mathbb{Z}_{3}^2$-covers of a blow-up of $ \mathbb{P}^1 \times \mathbb{P}^1 $.
We prove a generalized version of Kazhdan's theorem for canonical forms on Riemann surfaces. In the classical version, one starts with an ascending sequence $\{S_n \rightarrow S\}$ of finite Galois covers of a hyperbolic Riemann Surface $S$, converging to the universal cover. The theorem states that the sequence of forms on $S$ inherited from the canonical forms on $S_n$'s converges uniformly to (a multiple of) the hyperbolic form. We prove a generalized version of this theorem, where the universal cover is replaced with any infinite Galois cover. Along the way, we also prove a Gauss--Bonnet t…
Let f: A^N \to A^N be a regular polynomial automorphism defined over a number field K. For each place v of K, we construct the v-adic Green functions G_{f,v} and G_{f^{-1},v} (i.e., the v-adic canonical height functions) for f and f^{-1}. Next we introduce for f the notion of good reduction at v, and using this notion, we show that the sum of v-adic Green functions over all v gives rise to a canonical height function for f that satisfies the Northcott-type finiteness property. Using previous results, we recover results on arithmetic properties of f-periodic points and non f-periodic points. We…
We extend the notion of canonical measures to all (possibly non-compact) metric graphs. This will allow us to introduce a notion of "hyperbolic measures" on universal covers of metric graphs. Kazhdan's theorem for Riemann surfaces describes the limiting behavior of canonical (Arakelov) measures on finite covers in relation to the hyperbolic measure. We will prove a generalized version of this theorem for metric graphs, allowing any infinite Galois cover to replace the universal cover. We will show all such limiting measures satisfy a version of Gauss-Bonnet formula which, using the theory of v…
Let $X$ be a Gorenstein minimal projective $3$-fold with at worst locally factorial terminal singularities. Suppose that the canonical map is generically finite onto its image. C. Hacon showed that the canonical degree is universally bounded by $576$. We improved Hacon's universal bound to $360$. Moreover, we gave all the possible canonical degrees of $X$ if $X$ is an abelian cover over $\mathbb{P}^3$ and constructed all the examples with these canonical degrees.
In this paper, we investigate the relationship of F-regular (resp. F-pure) rings and log terminal (resp. log canonical) singularities. Also, we extend the notions of F-regularity and F-purity to "F-singularities of pairs." The notions of F-regular and F-pure rings in characteristic $p>0$ are characterized by a splitting of the Frobenius map, and define some classes of rings having "mild" singularities. On the other hand, there are notions of log terminal and log canonical singularities defined via resolutions of singularities in characteristic zero. These are defined also for pairs of a normal…
The canonical ideal for Harbater Katz Gabber covers satisfying the conditions of Petri's theorem is studied and an explicit non-singular model of the above curves is given.
Realizability of tropical pluri-canonical divisors
本文针对抽象热带曲线与有效多重典范除子构成的配对，提出了纯组合判据以判定其可实现性，通过引入热带正规覆盖将问题归约，推广了热带典范除子相关研究。
A Gorenstein criterion for strongly $F$-regular and log terminal singularities
本文在反典范覆盖 Noetherian 的条件下证明 Hirose–Watanabe–Yoshida 猜想，并将阈值判据推广到正规 $F$-纯与对数典范奇点的拟 Gorenstein 判定。
Answering a question posed by Enriques, we construct a minimal smooth algebraic surface $S$ of general type over the complex numbers with $K^2 = 45$ and $p_g = 4$, and with birational canonical map. Our surface is a regular (q=0) ball quotient which is an etale quotient of a Hirzebruch covering of the plane. The canonical system $|K_S|$ has a fixed part and the degree of the canonical image is 19.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。