The canonical volume of minimal 3-folds of general type

2018 ◽  
Vol 29 (03) ◽  
pp. 1850023
Author(s):  
Huanping Zhu
Keyword(s):  
Linear System ◽  
Lower Bounds ◽  
General Type ◽  
Rational Map ◽  
Canonical Map ◽  
Volume Formula ◽  
Complete Linear System ◽  
Minimal Formula

Let [Formula: see text] be a nonsingular projective [Formula: see text]-fold of general type. Denote by [Formula: see text] the [Formula: see text]-canonical map of [Formula: see text] which is the rational map naturally associated to the complete linear system [Formula: see text]. Suppose that [Formula: see text] be a minimal [Formula: see text]-fold of [Formula: see text] and [Formula: see text] the pluricanonical section index. In this paper, we obtain the lower bounds of the canonical volume [Formula: see text] in term of [Formula: see text] for [Formula: see text]. In addition, we also classify the weighted baskets [Formula: see text] of [Formula: see text] satisfying [Formula: see text].

scholarly journals Canonical stability in terms of singularity index for algebraic threefolds

2001 ◽  
Vol 131 (2) ◽  
pp. 241-264 ◽  
Author(s):  
MENG CHEN
Keyword(s):  
General Type ◽  
Classification Theory ◽  
Minimal Models ◽  
Ground Field ◽  
Rational Map ◽  
Singularity Index ◽  
3 Dimensional ◽  
Canonical Map ◽  
Complete Linear System ◽  
Birational Automorphism

Throughout the ground field is always supposed to be algebraically closed of characteristic zero. Let X be a smooth projective threefold of general type, denote by ϕm the m-canonical map of X which is nothing but the rational map naturally associated with the complete linear system [mid ]mKX[mid ]. Since, once given such a 3-fold X, ϕm is birational whenever m [Gt ] 0, quite an interesting thing to find is the optimal bound for such an m. This bound is important because it is not only crucial to the classification theory, but also strongly related to other problems. For example, it can be applied to determine the order of the birational automorphism group of X [21, remark in section 1]. To fix the terminology we say that ϕm is stably birational if ϕt is birational onto its image for all t [ges ] m. It is well known that the parallel problem in the surface case was solved by Bombieri [1] and others. In the 3-dimensional case, many authors have studied the problem, in quite different ways. Because, in this paper, we are interested in the results obtained by Hanamura [7], we do not plan to mention more references here. According to 3-dimensional MMP, X has a minimal model which is a normal projective 3-fold with only ℚ-factorial terminal singularities. Though X may have many minimal models, the singularity index (namely the canonical index) of any of its minimal models is uniquely determined by X. Denote by r the canonical index of minimal models of X. When r = 1 we know that ϕ6 is stably birational by virtue of [3, 6, 13 and 14]. When r [ges ] 2, Hanamura proved the following theorem.

scholarly journals Pluricanonical systems for 3-folds and 4-folds of general type

2011 ◽  
Vol 152 (1) ◽  
pp. 9-34 ◽  
Author(s):  
LORENZO DI BIAGIO
Keyword(s):  
Lower Bounds ◽  
Large Volume ◽  
General Type ◽  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
Canonical Map ◽  
Pluricanonical Maps ◽  
Necessary And Sufficient

AbstractWe explicitly find lower bounds on the volume of threefolds and fourfolds of general type in order to have non-vanishing of pluricanonical systems and birationality of pluricanonical maps. In the case of threefolds of large volume, we also give necessary and sufficient conditions for the fourth canonical map to be birational.

scholarly journals Curves with Two Pencils and Associated Maps to Projective Spaces

2006 ◽  
Vol 13 (3) ◽  
pp. 411-417
Author(s):  
Edoardo Ballico
Keyword(s):  
Linear System ◽  
Projective Spaces ◽  
Free Resolution ◽  
Homogeneous Ideal ◽  
Projective Curve ◽  
Minimal Free Resolution ◽  
Complete Linear System

Abstract Let 𝑋 be a smooth and connected projective curve. Assume the existence of spanned 𝐿 ∈ Pic𝑎(𝑋), 𝑅 ∈ Pic𝑏(𝑋) such that ℎ0(𝑋, 𝐿) = ℎ0(𝑋, 𝑅) = 2 and the induced map ϕ 𝐿,𝑅 : 𝑋 → 𝐏1 × 𝐏1 is birational onto its image. Here we study the following question. What can be said about the morphisms β : 𝑋 → 𝐏𝑅 induced by a complete linear system |𝐿⊗𝑢⊗𝑅⊗𝑣| for some positive 𝑢, 𝑣? We study the homogeneous ideal and the minimal free resolution of the curve β(𝑋).

ON THE DEGREE AND THE BIRATIONALITY OF THE SECOND ADJUNCTION MAPPING

1999 ◽  
Vol 10 (06) ◽  
pp. 707-719 ◽  
Author(s):  
MAURO C. BELTRAMETTI ◽  
ANDREW J. SOMMESE
Keyword(s):  
Linear System ◽  
Line Bundle ◽  
Mild Condition ◽  
Three Dimensional ◽  
Ample Line Bundle ◽  
Kodaira Dimension ◽  
Projective Manifold ◽  
Very Ample Line Bundle ◽  
System 2 ◽  
Complete Linear System

Let ℒ be a very ample line bundle on ℳ, a projective manifold of dimension n ≥3. Under the assumption that Kℳ + (n-2) ℒ has Kodaira dimension n, we study the degree of the map ϕ associated to the complete linear system |2(KM + (n-2) L)|, where (M, L) is the first reduction of (ℳ, ℒ). In particular we show that under a number of conditions, e.g. n ≥ 5 or Kℳ + (n-3)ℒ having nonnegative Kodaira dimension, the degree of ϕ is one, i.e. ϕ is birational. We also show that under a mild condition on the linear system |KM + (n-2) L| satisfied for all known examples, ϕ is birational unless (ℳ, ℒ) is a three dimensional variety with very restricted invariants. Moreover there is an example with these invariants such that deg ϕ= 2.

scholarly journals Explicit volume formula for a hyperbolic tetrahedron in terms of edge lengths

2021 ◽  
Author(s):  
Nikolay Abrosimov ◽  
Bao Vuong
Keyword(s):  
Convex Hull ◽  
Hyperbolic Space ◽  
General Type ◽  
Integral Formula ◽  
Sufficient Conditions ◽  
Gram Matrix ◽  
Dihedral Angles ◽  
Hyperbolic Tetrahedron ◽  
Volume Formula ◽  
Necessary And Sufficient

We consider a compact hyperbolic tetrahedron of a general type. It is a convex hull of four points called vertices in the hyperbolic space [Formula: see text]. It can be determined by the set of six edge lengths up to isometry. For further considerations, we use the notion of edge matrix of the tetrahedron formed by hyperbolic cosines of its edge lengths. We establish necessary and sufficient conditions for the existence of a tetrahedron in [Formula: see text]. Then we find relations between their dihedral angles and edge lengths in the form of a cosine rule. Finally, we obtain exact integral formula expressing the volume of a hyperbolic tetrahedron in terms of the edge lengths. The latter volume formula can be regarded as a new version of classical Sforza’s formula for the volume of a tetrahedron but in terms of the edge matrix instead of the Gram matrix.

scholarly journals The generic isogeny decomposition of the Prym Variety of a cyclic branched covering

2022 ◽  
Author(s):  
Theodosis Alexandrou
Keyword(s):  
Linear System ◽  
Branch Locus ◽  
Prym Variety ◽  
Identity Component ◽  
Branched Covering ◽  
Complete Linear System ◽  
Polarized Surface ◽  
Hyperplane Sections ◽  
General Member ◽  
Projective Surfaces

AbstractLet $$f:S'\longrightarrow S$$ f : S ′ ⟶ S be a cyclic branched covering of smooth projective surfaces over $${\mathbb {C}}$$ C whose branch locus $$\Delta \subset S$$ Δ ⊂ S is a smooth ample divisor. Pick a very ample complete linear system $$|{\mathcal {H}}|$$ | H | on S, such that the polarized surface $$(S, |{\mathcal {H}}|)$$ ( S , | H | ) is not a scroll nor has rational hyperplane sections. For the general member $$[C]\in |{\mathcal {H}}|$$ [ C ] ∈ | H | consider the $$\mu _{n}$$ μ n -equivariant isogeny decomposition of the Prym variety $${{\,\mathrm{Prym}\,}}(C'/C)$$ Prym ( C ′ / C ) of the induced covering $$f:C'{:}{=}f^{-1}(C)\longrightarrow C$$ f : C ′ : = f - 1 ( C ) ⟶ C : $$\begin{aligned} {{\,\mathrm{Prym}\,}}(C'/C)\sim \prod _{d|n,\ d\ne 1}{\mathcal {P}}_{d}(C'/C). \end{aligned}$$ Prym ( C ′ / C ) ∼ ∏ d | n , d ≠ 1 P d ( C ′ / C ) . We show that for the very general member $$[C]\in |{\mathcal {H}}|$$ [ C ] ∈ | H | the isogeny component $${\mathcal {P}}_{d}(C'/C)$$ P d ( C ′ / C ) is $$\mu _{d}$$ μ d -simple with $${{\,\mathrm{End}\,}}_{\mu _{d}}({\mathcal {P}}_{d}(C'/C))\cong {\mathbb {Z}}[\zeta _{d}]$$ End μ d ( P d ( C ′ / C ) ) ≅ Z [ ζ d ] . In addition, for the non-ample case we reformulate the result by considering the identity component of the kernel of the map $${\mathcal {P}}_{d}(C'/C)\subset {{\,\mathrm{Jac}\,}}(C')\longrightarrow {{\,\mathrm{Alb}\,}}(S')$$ P d ( C ′ / C ) ⊂ Jac ( C ′ ) ⟶ Alb ( S ′ ) .

scholarly journals Cuspidal quintics and surfaces with , and 5-torsion

2016 ◽  
Vol 19 (1) ◽  
pp. 42-53
Author(s):  
Carlos Rito
Keyword(s):  
Computer Algebra ◽  
General Type ◽  
Free Action ◽  
The Other ◽  
Singular Set ◽  
Canonical Map ◽  
Singular Sets ◽  
Surface Of General Type ◽  
Quintic Threefold ◽  
Hyperplane Sections

If $S$ is a quintic surface in $\mathbb{P}^{3}$ with singular set 15 3-divisible ordinary cusps, then there is a Galois triple cover ${\it\phi}:X\rightarrow S$ branched only at the cusps such that $p_{g}(X)=4$, $q(X)=0$, $K_{X}^{2}=15$ and ${\it\phi}$ is the canonical map of $X$. We use computer algebra to search for such quintics having a free action of $\mathbb{Z}_{5}$, so that $X/\mathbb{Z}_{5}$ is a smooth minimal surface of general type with $p_{g}=0$ and $K^{2}=3$. We find two different quintics, one of which is the van der Geer–Zagier quintic; the other is new.We also construct a quintic threefold passing through the 15 singular lines of the Igusa quartic, with 15 cuspidal lines there. By taking tangent hyperplane sections, we compute quintic surfaces with singular sets $17\mathsf{A}_{2}$, $16\mathsf{A}_{2}$, $15\mathsf{A}_{2}+\mathsf{A}_{3}$ and $15\mathsf{A}_{2}+\mathsf{D}_{4}$.

scholarly journals Singular Curves of Low Degree and Multifiltrations from Osculating Spaces

2020 ◽  
Vol 2020 (21) ◽  
pp. 8139-8182 ◽  
Author(s):  
Jarosław Buczyński ◽  
Nathan Ilten ◽  
Emanuele Ventura
Keyword(s):  
Linear System ◽  
Smooth Curve ◽  
Rational Curves ◽  
Arithmetic Genus ◽  
Smooth Curves ◽  
Low Degree ◽  
Complete Linear System ◽  
Osculating Spaces ◽  
Special Case ◽  
Schubert Cycles

Abstract In order to study projections of smooth curves, we introduce multifiltrations obtained by combining flags of osculating spaces. We classify all configurations of singularities occurring for a projection of a smooth curve embedded by a complete linear system away from a projective linear space of dimension at most two. In particular, we determine all configurations of singularities of non-degenerate degree $d$ rational curves in $\mathbb{P}^n$ when $d-n\leq 3$ and $d<2n$. Along the way, we describe the Schubert cycles giving rise to these projections. We also reprove a special case of the Castelnuovo bound using these multifiltrations: under the assumption $d<2n$, the arithmetic genus of any non-degenerate degree $d$ curve in $\mathbb{P}^n$ is at most $d-n$.

Sign in / Sign up

Export Citation Format

Share Document