Showing 1–35 of 35 results for author: López, A F

A lower bound on the Ulrich complexity of hypersurfaces

Authors: Angelo Felice Lopez, Debaditya Raychaudhury

Abstract: We give a lower bound on the Ulrich complexity of hypersurfaces of dimension $n \ge 6$. We give a lower bound on the Ulrich complexity of hypersurfaces of dimension $n \ge 6$. △ Less

Submitted 17 March, 2025; originally announced March 2025.

Non-existence of low rank Ulrich bundles on Veronese varieties

Authors: Angelo Felice Lopez, Debaditya Raychaudhury

Abstract: We show that Veronese varieties of dimension $n \ge 4$ do not carry any Ulrich bundles of rank $r \le 3$. In order to prove this, we prove that a Veronese embedding of a complete intersection of dimension $m \ge 4$, which if $m=4$ is either $\mathbb P^4$ or has degree $d \ge 2$ and is very general and not of type $(2), (2,2)$, does not carry any Ulrich bundles of rank $r \le 3$. We show that Veronese varieties of dimension $n \ge 4$ do not carry any Ulrich bundles of rank $r \le 3$. In order to prove this, we prove that a Veronese embedding of a complete intersection of dimension $m \ge 4$, which if $m=4$ is either $\mathbb P^4$ or has degree $d \ge 2$ and is very general and not of type $(2), (2,2)$, does not carry any Ulrich bundles of rank $r \le 3$. △ Less

Submitted 12 June, 2024; originally announced June 2024.

Comments: arXiv admin note: text overlap with arXiv:2405.01154

Ulrich subvarieties and the non-existence of low rank Ulrich bundles on complete intersections

Authors: Angelo Felice Lopez, Debaditya Raychaudhury

Abstract: We characterize the existence of an Ulrich vector bundle on a variety $X \subset P^N$ in terms of the existence of a subvariety satisfying some precise conditions. Then we use this fact to prove that a complete intersection of dimension $n \ge 4$, which if $n=4$ is very general and not of type $(2,2)$, does not carry any Ulrich bundles of rank $r \le 3$ unless $n=4, r=2$ and $X$ is a quadric. We characterize the existence of an Ulrich vector bundle on a variety $X \subset P^N$ in terms of the existence of a subvariety satisfying some precise conditions. Then we use this fact to prove that a complete intersection of dimension $n \ge 4$, which if $n=4$ is very general and not of type $(2,2)$, does not carry any Ulrich bundles of rank $r \le 3$ unless $n=4, r=2$ and $X$ is a quadric. △ Less

Submitted 15 November, 2024; v1 submitted 2 May, 2024; originally announced May 2024.

Comments: v2: added link to a file with the Mathematica codes used to perform the calculations; v3: slightly improved statement and proof of Cor.1 (now sharp), updated some reference; v4: replaced a reference used in the proof of Thm. 1

On partially ample Ulrich bundles

Authors: Angelo Felice Lopez, Debaditya Raychaudhury

Abstract: We characterize $q$-ample Ulrich bundles on a variety $X \subseteq \mathbb P^N$ with respect to $(q+1)$-dimensional linear spaces contained in $X$. We characterize $q$-ample Ulrich bundles on a variety $X \subseteq \mathbb P^N$ with respect to $(q+1)$-dimensional linear spaces contained in $X$. △ Less

Submitted 27 March, 2024; originally announced March 2024.

On varieties with Ulrich twisted conormal bundles

Authors: Vincenzo Antonelli, Gianfranco Casnati, Angelo Felice Lopez, Debaditya Raychaudhury

Abstract: We study varieties $X \subset P^r$ such that is $N_X^*(k)$ is an Ulrich vector bundle for some integer $k$. We first prove that such an $X$ must be a curve. Then we give several examples of curves with $N_X^*(k)$ an Ulrich vector bundle. We study varieties $X \subset P^r$ such that is $N_X^*(k)$ is an Ulrich vector bundle for some integer $k$. We first prove that such an $X$ must be a curve. Then we give several examples of curves with $N_X^*(k)$ an Ulrich vector bundle. △ Less

Submitted 10 June, 2024; v1 submitted 31 May, 2023; originally announced June 2023.

Comments: v2: we specified the results that hold in characteristic zero and the ones holding in any characteristic. Thanks to crucial remarks of anonymous referee, we improved Theorem 3(ii) to $g \ge 3$ and we rewrote completely and shortened section 8 by using interpolation techniques

On varieties with Ulrich twisted tangent bundles

Authors: Angelo Felice Lopez, Debaditya Raychaudhury

Abstract: We study varieties $X \subseteq \mathbb P^N$ of dimension $n$ such that $T_X(k)$ is an Ulrich vector bundle for some $k \in \mathbb Z$. First we give a sharp bound for $k$ in the case of curves. Then we show that $k \le n+1$ if $2 \le n \le 12$. We classify the pairs $(X,\mathcal O_X(1))$ for $k=1$ and we show that, for $n \ge 4$, the case $k=2$ does not occur. We study varieties $X \subseteq \mathbb P^N$ of dimension $n$ such that $T_X(k)$ is an Ulrich vector bundle for some $k \in \mathbb Z$. First we give a sharp bound for $k$ in the case of curves. Then we show that $k \le n+1$ if $2 \le n \le 12$. We classify the pairs $(X,\mathcal O_X(1))$ for $k=1$ and we show that, for $n \ge 4$, the case $k=2$ does not occur. △ Less

Submitted 20 October, 2023; v1 submitted 8 January, 2023; originally announced January 2023.

Comments: 27 pages. v2: minor changes following referee's suggestions

On a remark by Daniel Ferrand

Authors: Gianfranco Casnati, Angelo Felice Lopez

Abstract: Let $X$ be a Fano threefold with index $i_X$ and fundamental line bundle $\mathcal O_X(h)$. We classify $μ$-semistable rank two bundles $\mathcal E$ on $X$ with $c_1(\mathcal E)=0$, $h^0(\mathcal E) \ne 0$ and $h^1(\mathcal E(-\lceil\frac{i_X}{2}\rceil h))=0$. Let $X$ be a Fano threefold with index $i_X$ and fundamental line bundle $\mathcal O_X(h)$. We classify $μ$-semistable rank two bundles $\mathcal E$ on $X$ with $c_1(\mathcal E)=0$, $h^0(\mathcal E) \ne 0$ and $h^1(\mathcal E(-\lceil\frac{i_X}{2}\rceil h))=0$. △ Less

Submitted 8 December, 2022; originally announced December 2022.

Comments: 16 pages

MSC Class: 14J45 (Primary); 14D21; 14J60 (Secondary)

On the classification of non-big Ulrich vector bundles on fourfolds

Authors: Angelo Felice Lopez, Roberto Muñoz, José Carlos Sierra

Abstract: We give an almost complete classification of non-big Ulrich vector bundles on fourfolds. This allows to classify them in the case of Picard rank one fourfolds, of Mukai fourfolds and in the case of Del Pezzo $n$-folds for $n \le 4$. We also classify Ulrich bundles with non-big determinant on Del Pezzo and Mukai $n$-folds, $n \ge 2$. We give an almost complete classification of non-big Ulrich vector bundles on fourfolds. This allows to classify them in the case of Picard rank one fourfolds, of Mukai fourfolds and in the case of Del Pezzo $n$-folds for $n \le 4$. We also classify Ulrich bundles with non-big determinant on Del Pezzo and Mukai $n$-folds, $n \ge 2$. △ Less

Submitted 3 June, 2025; v1 submitted 20 May, 2022; originally announced May 2022.

Comments: The paper arXiv:2201.06019v1 has been split into two papers: arXiv:2201.06019v2 and the current paper. Together they supersede arXiv:2201.06019v1. v2: several changes according to referee's requests. Added two tables at the end of the paper. v3: corrected several typos

On varieties with Ulrich twisted normal bundles

Authors: Angelo Felice Lopez

Abstract: We characterize smooth irreducible varieties with Ulrich twisted normal bundle. We characterize smooth irreducible varieties with Ulrich twisted normal bundle. △ Less

Submitted 9 September, 2022; v1 submitted 13 May, 2022; originally announced May 2022.

Comments: v2: we added some references and a new section; v3: we corrected a mistake in the proof of Thm.1 (we thank G. Casnati for pointing it out). The statement of Thm.1 has changed, allowing some surfaces in $\mathbb P^4$ and 3-folds in $\mathbb P^5$ with Ulrich twisted normal bundle (such as linear standard determinantal [KMR] and sect. 2); v4: added Prop.2.2, Rmk.2.3, Prop.3.1, Rmk.3.2 and sect. 5

Non-big Ulrich bundles: the classification on quadrics and the case of small numerical dimension

Authors: Angelo Felice Lopez, Roberto Muñoz, José Carlos Sierra

Abstract: On any smooth $n$-dimensional variety we give a pretty precise picture of rank $r$ Ulrich vector bundles with numerical dimension at most $\frac{n}{2}+r-1$. Also, we classify non-big Ulrich vector bundles on quadrics and on the Del Pezzo fourfold of degree $6$. On any smooth $n$-dimensional variety we give a pretty precise picture of rank $r$ Ulrich vector bundles with numerical dimension at most $\frac{n}{2}+r-1$. Also, we classify non-big Ulrich vector bundles on quadrics and on the Del Pezzo fourfold of degree $6$. △ Less

Submitted 9 July, 2023; v1 submitted 16 January, 2022; originally announced January 2022.

Comments: The previous version of arXiv:2201.06019 has been split into two papers. This version supersedes the first part, the second part will appear soon. v3: a few small improvements, as suggested by anonymous referee

A geometrical view of Ulrich vector bundles

Authors: Angelo Felice Lopez, José Carlos Sierra

Abstract: We study geometrical properties of an Ulrich vector bundle $E$ of rank $r$ on a smooth $n$-dimensional variety $X \subseteq \mathbb P^N$. We characterize ampleness of $E$ and of $\det E$ in terms of the restriction to lines contained in $X$. We prove that all fibers of the map $Φ_E :X \to {\mathbb G}(r-1, \mathbb PH^0(E))$ are linear spaces, as well as the projection on $X$ of all fibers of the ma… ▽ More We study geometrical properties of an Ulrich vector bundle $E$ of rank $r$ on a smooth $n$-dimensional variety $X \subseteq \mathbb P^N$. We characterize ampleness of $E$ and of $\det E$ in terms of the restriction to lines contained in $X$. We prove that all fibers of the map $Φ_E :X \to {\mathbb G}(r-1, \mathbb PH^0(E))$ are linear spaces, as well as the projection on $X$ of all fibers of the map $\varphi_E : \mathbb P(E) \to \mathbb P H^0(E)$. Then we get a number of consequences: a characterization of bigness of $E$ and of $\det E$ in terms of the maps $Φ_E$ and $\varphi_E$; when $\det E$ is big and $E$ is not big there are infinitely many linear spaces in $X$ through any point of $X$; when $\det E$ is not big, the fibers of $Φ_E$ and $\varphi_E$ have the same dimension; a classification of Ulrich vector bundles whose determinant has numerical dimension at most $\frac{n}{2}$; a classification of Ulrich vector bundles with $\det E$ of numerical dimension at most $k$ on a linear $\mathbb P^k$-bundle. △ Less

Submitted 14 September, 2021; v1 submitted 12 May, 2021; originally announced May 2021.

Comments: v2: statement and proof of Thm.2 have been modified to allow scheme-theoretic fibers; Lemma 3.4 modified accordingly; added Rmk. 4.4

On the extendability of projective varieties: a survey

Authors: Angelo Felice Lopez

Abstract: We give a survey of the incredibly beautiful amount of geometry involved with the problem of realizing a projective variety as hyperplane section of another variety. We give a survey of the incredibly beautiful amount of geometry involved with the problem of realizing a projective variety as hyperplane section of another variety. △ Less

Submitted 6 December, 2023; v1 submitted 8 February, 2021; originally announced February 2021.

Comments: v2: added some references; v3: added more references, classical and recent; v4: minor modifications in the main text following referee's remarks; appendix substantially improved thanks to result pointed out by an anonymous referee; v5: added one more reference; v6: added another reference

On the classification of non-big Ulrich vector bundles on surfaces and threefolds

Authors: Angelo Felice Lopez, Roberto Muñoz

Abstract: We classify Ulrich vector bundles that are not big on smooth complex surfaces and threefolds. We classify Ulrich vector bundles that are not big on smooth complex surfaces and threefolds. △ Less

Submitted 26 April, 2021; v1 submitted 11 January, 2021; originally announced January 2021.

Comments: v2: minor correction in a proof. Result unchanged

On the positivity of the first Chern class of an Ulrich vector bundle

Authors: Angelo Felice Lopez

Abstract: We study the positivity of the first Chern class of a rank r Ulrich vector bundle E on a smooth n-dimensional variety $X \subseteq \mathbb P^N$. We prove that $c_1(E)$ is very positive on every subvariety not contained in the union of lines in X. In particular if X is not covered by lines, then E is big and $c_1(E)^n \ge r^n$. Moreover we classify rank r Ulrich vector bundles E with $c_1(E)^2=0$ o… ▽ More We study the positivity of the first Chern class of a rank r Ulrich vector bundle E on a smooth n-dimensional variety $X \subseteq \mathbb P^N$. We prove that $c_1(E)$ is very positive on every subvariety not contained in the union of lines in X. In particular if X is not covered by lines, then E is big and $c_1(E)^n \ge r^n$. Moreover we classify rank r Ulrich vector bundles E with $c_1(E)^2=0$ on surfaces and with $c_1(E)^2=0$ or $c_1(E)^3=0$ on threefolds (with some exceptions). △ Less

Submitted 10 May, 2021; v1 submitted 17 August, 2020; originally announced August 2020.

Comments: v2:Thm.1 and 7.2 include bigness;v3:added ampleness case in statement of Thm.1 and 7.2;v4:corrected a sign mistake in proof of Thm.7.2 (proves bigness for every n);v.5:removed one case in Thm.4 and modified the proof;v.6:corrected a few typos;v.7:changes thanks to referee:modified Def. 1.1 and 1.2, statement and proof of Thm.4, 5.1, 6.2, proof of 7.1 and of Thm.2. Thm.3, added 5.2, 7.3, 9.1

Journal ref: Communications in Contemporary Mathematics, 2021

Augmented and restricted base loci of cycles

Authors: Angelo Felice Lopez

Abstract: We introduce augmented and restricted base loci of cycles and we study the positivity properties naturally defined by these base loci. We introduce augmented and restricted base loci of cycles and we study the positivity properties naturally defined by these base loci. △ Less

Submitted 24 November, 2020; v1 submitted 19 October, 2019; originally announced October 2019.

Comments: 15 pages; v2: minor change adding the case k=n-1; v3: major improvement following referee's indication of using push-forwards of complete intersections under finite flat maps and how this allows to extend the results. The main theorem now holds for any k and so do its consequences. To appear on the Annales de l'Institut Fourier

On the existence of Ulrich vector bundles on some irregular surfaces

Authors: Angelo Felice Lopez

Abstract: We establish the existence of rank two Ulrich vector bundles on surfaces that are either of maximal Albanese dimension or with irregularity 1, under many embeddings. In particular we get the first known examples of Ulrich vector bundles on irregular surfaces of general type. Another consequence is that every surface such that either $q \le 1$ or $q \ge 2$ and its minimal model has rank one, carrie… ▽ More We establish the existence of rank two Ulrich vector bundles on surfaces that are either of maximal Albanese dimension or with irregularity 1, under many embeddings. In particular we get the first known examples of Ulrich vector bundles on irregular surfaces of general type. Another consequence is that every surface such that either $q \le 1$ or $q \ge 2$ and its minimal model has rank one, carries a simple rank two Ulrich vector bundle. △ Less

Submitted 22 July, 2020; v1 submitted 25 December, 2018; originally announced December 2018.

Comments: 9 pages; v2: removed one unnecessary hypothesis in Theorem 1 and specified the surfaces for which the theorem applies; slightly rewritten; added several new references; v3: added a few references to extend to characteristic 0; v4: added Cor.1; v5: reorganized the proof of Lemma 3.1 into several claims

Effective cycles on the symmetric product of a curve, II: the Abel-Jacobi faces

Authors: Francesco Bastianelli, Alexis Kouvidakis, Angelo Felice Lopez, Filippo Viviani

Abstract: In this paper, which is a sequel of [BKLV], we study the convex-geometric properties of the cone of pseudoeffective $n$-cycles in the symmetric product $C_d$ of a smooth curve $C$. We introduce and study the Abel-Jacobi faces, related to the contractibility properties of the Abel-Jacobi morphism and to classical Brill-Noether varieties. We investigate when Abel-Jacobi faces are non-trivial, and we… ▽ More In this paper, which is a sequel of [BKLV], we study the convex-geometric properties of the cone of pseudoeffective $n$-cycles in the symmetric product $C_d$ of a smooth curve $C$. We introduce and study the Abel-Jacobi faces, related to the contractibility properties of the Abel-Jacobi morphism and to classical Brill-Noether varieties. We investigate when Abel-Jacobi faces are non-trivial, and we prove that for $d$ sufficiently large (with respect to the genus of $C$) they form a maximal chain of perfect faces of the tautological pseudoeffective cone (which coincides with the pseudoeffective cone if $C$ is a very general curve). △ Less

Submitted 16 March, 2018; v1 submitted 21 November, 2017; originally announced November 2017.

Comments: 26 pages, 1 figure; v2: strenghtened Theorem A by adding some new Abel-Jacobi facets; improved and clarified some results; fixed a few typos

Journal ref: Rend. Lincei Mat. Appl. 31 (2020), 839--878

Effective cycles on the symmetric product of a curve, I: the diagonal cone. (with an appendix by Ben Moonen)

Authors: Francesco Bastianelli, Alexis Kouvidakis, Angelo Felice Lopez, Filippo Viviani

Abstract: In this paper and in its sequel [BKLV], we investigate the cone ${\rm Pseff}_n(C_d)$ of pseudoeffective $n$-cycles in the symmetric product $C_d$ of a smooth curve $C$. In the present paper, we study the convex-geometric properties of the cone generated by the $n$-dimensional diagonal cycles, which we call the $n$-dimensional diagonal cone. We prove that the $n$-dimensional diagonal cone is a perf… ▽ More In this paper and in its sequel [BKLV], we investigate the cone ${\rm Pseff}_n(C_d)$ of pseudoeffective $n$-cycles in the symmetric product $C_d$ of a smooth curve $C$. In the present paper, we study the convex-geometric properties of the cone generated by the $n$-dimensional diagonal cycles, which we call the $n$-dimensional diagonal cone. We prove that the $n$-dimensional diagonal cone is a perfect face of ${\rm Pseff}_n(C_d)$ along which ${\rm Pseff}_n(C_d)$ is locally finitely generated. △ Less

Submitted 4 April, 2019; v1 submitted 21 November, 2017; originally announced November 2017.

Comments: v1: 42 pages, 2 figures. v2: added remark 2.10, an appendix by Ben Moonen and changed accordingly the title; separated the bibliography of the paper from the one of the appendices; 46 pages, 2 figures. v3: removed some parts of appendix A, simplified proof of Prop. A.9(d), shortened the introduction; 41 pages, 2 figures. To appear on Transactions AMS

Journal ref: Trans. Amer. Math. Soc. 372 (2019), no. 12, 8709-8758

Existence and density of general components of the Noether-Lefschetz locus on normal threefolds

Authors: Ugo Bruzzo, Antonella Grassi, Angelo Felice Lopez

Abstract: We consider the Noether-Lefschetz problem for surfaces in Q-factorial normal 3-folds with rational singularities. We show the existence of components of the Noether-Lefschetz locus of maximal codimension, and that there are indeed infinitely many of them. Moreover, we show that their union is dense in the natural topology. We consider the Noether-Lefschetz problem for surfaces in Q-factorial normal 3-folds with rational singularities. We show the existence of components of the Noether-Lefschetz locus of maximal codimension, and that there are indeed infinitely many of them. Moreover, we show that their union is dense in the natural topology. △ Less

Submitted 1 July, 2019; v1 submitted 7 June, 2017; originally announced June 2017.

Comments: 14 pages. v2: 13 pages, exposition improved. v3: misprint corrected. v4: results strengthened; added section with examples; typos corrected; v5: added Rmk.2.6; more minor revisions

MSC Class: 14C22; 14J30; 14M25

Journal ref: Int. Math. Res. Notes. Vol. 2021, Issue 17, September 2021, pp. 13416-13433

Maximal zero product subrings and inner ideals of simple rings

Authors: Alexander Baranov, Antonio Fernández López

Abstract: Let Q be a (non-unital) simple ring. A nonempty subset S of Q is said to have zero product if S^2=0. We classify all maximal zero product subsets of Q. We also describe the relationship between the maximal zero product subsets of Q and the maximal inner ideals of its associated Lie algebra. Let Q be a (non-unital) simple ring. A nonempty subset S of Q is said to have zero product if S^2=0. We classify all maximal zero product subsets of Q. We also describe the relationship between the maximal zero product subsets of Q and the maximal inner ideals of its associated Lie algebra. △ Less

Submitted 7 August, 2019; v1 submitted 15 September, 2016; originally announced September 2016.

Comments: to appear in J.Algebra

MSC Class: 16D30; 17B60

Irreducibility and components rigid in moduli of the Hilbert scheme of smooth curves

Authors: Changho Keem, Yun-Hwan Kim, Angelo Felice Lopez

Abstract: Denote by $\mathcal{H}_{d,g,r}$ the Hilbert scheme of smooth curves, that is the union of components whose general point corresponds to a smooth irreducible and non-degenerate curve of degree $d$ and genus $g$ in $\mathbb P^r$. A component of $\mathcal{H}_{d,g,r}$ is rigid in moduli if its image under the natural map $π:\mathcal{H}_{d,g,r} \dashrightarrow \mathcal{M}_{g}$ is a one point set. In th… ▽ More Denote by $\mathcal{H}_{d,g,r}$ the Hilbert scheme of smooth curves, that is the union of components whose general point corresponds to a smooth irreducible and non-degenerate curve of degree $d$ and genus $g$ in $\mathbb P^r$. A component of $\mathcal{H}_{d,g,r}$ is rigid in moduli if its image under the natural map $π:\mathcal{H}_{d,g,r} \dashrightarrow \mathcal{M}_{g}$ is a one point set. In this note, we provide a proof of the fact that $\mathcal{H}_{d,g,r}$ has no components rigid in moduli for $g > 0$ and $r=3$, from which it follows that the only smooth projective curves embedded in $\mathbb P^3$ whose only deformations are given by projective transformations are the twisted cubic curves. In case $r \geq 4$, we also prove the non-existence of a component of $\mathcal{H}_{d,g,r}$ rigid in moduli in a certain restricted range of $d$, $g>0$ and $r$. In the course of the proofs, we establish the irreducibility of $\mathcal{H}_{d,g,3}$ beyond the range which has been known before. △ Less

Submitted 1 August, 2018; v1 submitted 1 May, 2016; originally announced May 2016.

Comments: v2: added (ii) in Cor. 3.6; v3: minor typos corrected

Augmented base loci and restricted volumes on normal varieties, II: The case of real divisors

Authors: Angelo Felice Lopez

Abstract: Let $X$ be a normal projective variety defined over an algebraically closed field and let $Z$ be a subvariety. Let $D$ be an $\mathbb R$-Cartier $\mathbb R$-divisor on $X$. Given an expression $(\ast) \ D \sim_{\mathbb R} t_1 H_1 + \ldots + t_s H_s$ with $t_i \in \mathbb R$ and $H_i$ very ample, we define the $(\ast)$-restricted volume of $D$ to $Z$ and we show that it coincides with the usual res… ▽ More Let $X$ be a normal projective variety defined over an algebraically closed field and let $Z$ be a subvariety. Let $D$ be an $\mathbb R$-Cartier $\mathbb R$-divisor on $X$. Given an expression $(\ast) \ D \sim_{\mathbb R} t_1 H_1 + \ldots + t_s H_s$ with $t_i \in \mathbb R$ and $H_i$ very ample, we define the $(\ast)$-restricted volume of $D$ to $Z$ and we show that it coincides with the usual restricted volume when $Z \not\subseteq \mathbf{B}_+(D)$. Then, using some recent results of Birkar (arXiv:1312.0239), we generalize to $\mathbb R$-divisors the two main results of arXiv:1305.4284 by Boucksom, Cacciola and the author: The first, proved for smooth complex projective varieties by Ein, Lazarsfeld, Mustaţă, Nakamaye and Popa, is the characterization of $\mathbf{B}_+(D)$ as the union of subvarieties on which the $(\ast)$-restricted volume vanishes; the second is that $X - \mathbf{B}_+(D)$ is the largest open subset on which the Kodaira map defined by large and divisible $(\ast)$-multiples of $D$ is an isomorphism. △ Less

Submitted 27 May, 2014; originally announced May 2014.

Comments: 10 pages

Journal ref: Math. Proc. Camb. Phil. Soc. 159 (2015) 517-527

Projective normality and the generation of the ideal of an Enriques surface

Authors: Andreas Leopold Knutsen, Angelo Felice Lopez

Abstract: We give necessary and sufficient criteria for a smooth Enriques surface S in P^r to be scheme-theoretically an intersection of quadrics. Moreover we prove in many cases that, when S contains plane cubic curves, the intersection of the quadrics containing S is the union of S and the 2-planes spanned by the plane cubic curves. We also give a new (very quick) proof of the projective normality of S if… ▽ More We give necessary and sufficient criteria for a smooth Enriques surface S in P^r to be scheme-theoretically an intersection of quadrics. Moreover we prove in many cases that, when S contains plane cubic curves, the intersection of the quadrics containing S is the union of S and the 2-planes spanned by the plane cubic curves. We also give a new (very quick) proof of the projective normality of S if the degree of S is at least 12. △ Less

Submitted 24 September, 2013; v1 submitted 6 August, 2013; originally announced August 2013.

Comments: Added def. 2.2 and a reference

Brill-Noether theory of curves on Enriques surfaces, II. The Clifford index

Authors: Andreas Leopold Knutsen, Angelo Felice Lopez

Abstract: We complete our study of linear series on curves lying on an Enriques surface by showing that, with the exception of smooth plane quintics, there are no exceptional curves on Enriques surfaces, that is, curves for which the Clifford index is not computed by a pencil. We complete our study of linear series on curves lying on an Enriques surface by showing that, with the exception of smooth plane quintics, there are no exceptional curves on Enriques surfaces, that is, curves for which the Clifford index is not computed by a pencil. △ Less

Submitted 5 August, 2013; originally announced August 2013.

Augmented base loci and restricted volumes on normal varieties

Authors: Sébastien Boucksom, Salvatore Cacciola, Angelo Felice Lopez

Abstract: We extend to normal projective varieties defined over an arbitrary algebraically closed field a result of Ein, Lazarsfeld, Mustaţă, Nakamaye and Popa characterizing the augmented base locus (aka non-ample locus) of a line bundle on a smooth projective complex variety as the union of subvarieties on which the restricted volume vanishes. We also give a proof of the folklore fact that the complement… ▽ More We extend to normal projective varieties defined over an arbitrary algebraically closed field a result of Ein, Lazarsfeld, Mustaţă, Nakamaye and Popa characterizing the augmented base locus (aka non-ample locus) of a line bundle on a smooth projective complex variety as the union of subvarieties on which the restricted volume vanishes. We also give a proof of the folklore fact that the complement of the augmented base locus is the largest open subset on which the Kodaira map defined by large and divisible multiples of the line bundle is an isomorphism. △ Less

Submitted 28 February, 2014; v1 submitted 18 May, 2013; originally announced May 2013.

Comments: 7 pages. v2: we made a small modification of the statement of Lemma 2.4, a few minor corrections and updated references

Journal ref: Math.Z. 278 (2014), n. 3-4, 979-985

Moriwaki divisors and the augmented base loci of divisors on the moduli space of curves

Authors: Salvatore Cacciola, Angelo Felice Lopez, Filippo Viviani

Abstract: We study the cone of Moriwaki divisors on \bar{M}_g by means of augmented base loci. Using a result of Moriwaki, we prove that an R-divisor D satisfies the strict Moriwaki inequalities if and only if the augmented base locus of D is contained in the boundary of \bar{M}_g. Then we draw some interesting consequences on the Zariski decomposition of divisors on \bar{M}_g, on the minimal model program… ▽ More We study the cone of Moriwaki divisors on \bar{M}_g by means of augmented base loci. Using a result of Moriwaki, we prove that an R-divisor D satisfies the strict Moriwaki inequalities if and only if the augmented base locus of D is contained in the boundary of \bar{M}_g. Then we draw some interesting consequences on the Zariski decomposition of divisors on \bar{M}_g, on the minimal model program of \bar{M}_g and on the log canonical models \bar{M}_g(α). △ Less

Submitted 8 May, 2016; v1 submitted 6 May, 2013; originally announced May 2013.

Comments: 14 pages. v2: minor revision. v3: Statements of Corollaries 3 and 4 made more precise. Lemmas 2.1 and 2.3 stated and proved in arbitrary characteristic. Added Lemma 3.2. Added subsection 3.1 to explain in detail what is missing in order to extend our results over a field of positive characteristic. Final version, to appear in Michigan Mathematical Journal

Journal ref: Michigan Math. J. 65 (2016), no. 3, 533--546

Nakamaye's theorem on log canonical pairs

Authors: Salvatore Cacciola, Angelo Felice Lopez

Abstract: We generalize Nakamaye's description, via intersection theory, of the augmented base locus of a big and nef divisor on a normal pair with log-canonical singularities or, more generally, on a normal variety with non-lc locus of dimension at most 1. We also generalize Ein-Lazarsfeld-Mustata-Nakamaye-Popa's description, in terms of valuations, of the subvarieties of the restricted base locus of a big… ▽ More We generalize Nakamaye's description, via intersection theory, of the augmented base locus of a big and nef divisor on a normal pair with log-canonical singularities or, more generally, on a normal variety with non-lc locus of dimension at most 1. We also generalize Ein-Lazarsfeld-Mustata-Nakamaye-Popa's description, in terms of valuations, of the subvarieties of the restricted base locus of a big divisor on a normal pair with klt singularities. △ Less

Submitted 23 March, 2014; v1 submitted 28 March, 2013; originally announced March 2013.

Comments: v2: We removed, in the introduction, the phrase about Choi's papers, as he uses Nakamaye's theorem in the semiample case. Updated references. v3: added reference to Ambro's "Quasi-log varieties". v4: improved exposition in sections 1, 2 and 4; slightly corrected the statement of Lemma 3.1

Journal ref: Ann. Inst. Fourier 64 (2014), n. 6, 2283-2298

On the extendability of elliptic surfaces of rank two and higher

Authors: Angelo Felice Lopez, Roberto Munoz, Jose' Carlos Sierra

Abstract: We study threefolds X in a projective space having as hyperplane section a smooth surface with an elliptic fibration. We first give a general theorem about the possible embeddings of such surfaces with Picard number two. More precise results are then proved for Weierstrass fibrations, both of rank two and higher. In particular we prove that a Weierstrass fibration of rank two that is not a K3 su… ▽ More We study threefolds X in a projective space having as hyperplane section a smooth surface with an elliptic fibration. We first give a general theorem about the possible embeddings of such surfaces with Picard number two. More precise results are then proved for Weierstrass fibrations, both of rank two and higher. In particular we prove that a Weierstrass fibration of rank two that is not a K3 surface is not hyperplane section of a locally complete intersection threefold and we give some conditions, for many embeddings of Weierstrass fibrations of any rank, under which every such threefold must be a cone. △ Less

Submitted 15 September, 2008; v1 submitted 9 June, 2008; originally announced June 2008.

Comments: Other small corrections. To appear on Ann. Inst. Fourier (Grenoble)

MSC Class: 14J30; 14J27; 11G05; 14E30; 14D06

Brill-Noether theory of curves on Enriques surfaces I: the positive cone and gonality

Authors: Andreas Leopold Knutsen, Angelo Felice Lopez

Abstract: We study the existence of linear series on curves lying on an Enriques surface and general in their complete linear system. Using a method that works also below the Bogomolov-Reider range, we compute, in all cases, the gonality of such curves. We also give a new result about the positive cone of line bundles on an Enriques surface and we show how this relates to the gonality. We study the existence of linear series on curves lying on an Enriques surface and general in their complete linear system. Using a method that works also below the Bogomolov-Reider range, we compute, in all cases, the gonality of such curves. We also give a new result about the positive cone of line bundles on an Enriques surface and we show how this relates to the gonality. △ Less

Submitted 28 March, 2008; originally announced March 2008.

Comments: To appear on Math.Z

MSC Class: 14H51; 14C20; 14J28

Surjectivity of Gaussian maps for curves on Enriques surfaces

Authors: A. L. Knutsen, A. F. Lopez

Abstract: Making suitable generalizations of known results we prove some general facts about Gaussian maps. The above are then used, in the second part of the article, to give a set of conditions that insure the surjectivity of Gaussian maps for curves on Enriques surfaces. To do this we also solve a problem of independent interest: a tetragonal curve of genus g > 6 lying on an Enriques surface and genera… ▽ More Making suitable generalizations of known results we prove some general facts about Gaussian maps. The above are then used, in the second part of the article, to give a set of conditions that insure the surjectivity of Gaussian maps for curves on Enriques surfaces. To do this we also solve a problem of independent interest: a tetragonal curve of genus g > 6 lying on an Enriques surface and general in its linear system, cannot be, in its canonical embedding, a quadric section of a surface of degree g - 1 in P^{g - 1}. △ Less

Submitted 5 October, 2006; originally announced October 2006.

Comments: latex, 28 pages. To appear on Adv. Geom

MSC Class: 14H99; 14J28; 14H51

A sharp vanishing theorem for line bundles on K3 or Enriques surfaces

Authors: A. L. Knutsen, A. F. Lopez

Abstract: Let $L$ be a line bundle on a K3 or Enriques surface. We give a vanishing theorem for $H^1(L)$ that, unlike most vanishing theorems, gives necessary and sufficient geometrical conditions for the vanishing. This result is essential in our study of Brill-Noether theory of curves on Enriques surfaces (reference [KL1]) and of Enriques-Fano threefolds (reference [KLM]). Let $L$ be a line bundle on a K3 or Enriques surface. We give a vanishing theorem for $H^1(L)$ that, unlike most vanishing theorems, gives necessary and sufficient geometrical conditions for the vanishing. This result is essential in our study of Brill-Noether theory of curves on Enriques surfaces (reference [KL1]) and of Enriques-Fano threefolds (reference [KLM]). △ Less

Submitted 22 June, 2007; v1 submitted 2 October, 2006; originally announced October 2006.

Comments: 4 pages, latex. Minor corrections. To appear on Proc. Amer. Math. Soc

MSC Class: 14F17; 14J28; 14C20

On the extendability of projective surfaces and a genus bound for Enriques-Fano threefolds

Authors: A. L. Knutsen, A. F. Lopez, R. Muñoz

Abstract: We introduce a new technique, based on Gaussian maps, to study the possibility, for a given surface, to lie on a threefold as a very ample divisor with given normal bundle. We give several applications, among which one to surfaces of general type and another one to Enriques surfaces. For the latter we prove that any threefold (with no assumption on its singularities) having as hyperplane section… ▽ More We introduce a new technique, based on Gaussian maps, to study the possibility, for a given surface, to lie on a threefold as a very ample divisor with given normal bundle. We give several applications, among which one to surfaces of general type and another one to Enriques surfaces. For the latter we prove that any threefold (with no assumption on its singularities) having as hyperplane section a smooth Enriques surface (by definition an Enriques-Fano threefold) has genus g < 18 (where g is the genus of its smooth curve sections). The latter bound was also proved recently by Prokhorov, who also found an example of genus 17. Moreover we find a new Enriques-Fano threefold of genus 9 whose normalization has canonical but not terminal singularities and does not admit Q-smoothings. △ Less

Submitted 12 July, 2006; v1 submitted 30 May, 2006; originally announced May 2006.

Comments: Slight change in the statements (and proofs) of Prop.1.4 and of Prop.16.1. Added Rmk. 16.2. We thank János Kollár for pointing out a mistake in the earlier version of Prop.1.4

MSC Class: 14J30; 14J28

Explicit Noether-Lefschetz for arbitrary threefolds

Authors: Angelo Felice Lopez, Catriona Maclean

Abstract: We study the Noether-Lefschetz locus of a very ample line bundle L on an arbitrary smooth threefold Y. Building on results of Green, Voisin and Otwinowska, we give explicit bounds, depending only on the Castelnuovo-Mumford regularity properties of L, on the codimension of the components of the Noether-Lefschetz locus of |L|. We study the Noether-Lefschetz locus of a very ample line bundle L on an arbitrary smooth threefold Y. Building on results of Green, Voisin and Otwinowska, we give explicit bounds, depending only on the Castelnuovo-Mumford regularity properties of L, on the codimension of the components of the Noether-Lefschetz locus of |L|. △ Less

Submitted 18 July, 2005; originally announced July 2005.

Comments: 30 pages, Latex

MSC Class: 14J10; 14J30

Focal loci of families and the genus of curves on surfaces

Authors: L. Chiantini, A. F. Lopez

Abstract: In this article we apply the classical method of focal loci of families to give a lower bound for the genus of curves lying on general surfaces. First we translate and reprove Xu's result that any curve C on a general surface in P^3 of degree d>4 has geometric genus g > 1 + deg(C)(d - 5)/2. Then we prove a similar lower bound for the curves lying on a general surface in a given component of the… ▽ More In this article we apply the classical method of focal loci of families to give a lower bound for the genus of curves lying on general surfaces. First we translate and reprove Xu's result that any curve C on a general surface in P^3 of degree d>4 has geometric genus g > 1 + deg(C)(d - 5)/2. Then we prove a similar lower bound for the curves lying on a general surface in a given component of the Noether-Lefschetz locus in P^3 and on a general projectively Cohen-Macaulay surface in P^4. △ Less

Submitted 23 April, 2001; v1 submitted 8 March, 1999; originally announced March 1999.

Comments: Plain TeX, 11 pages, to appear on PAMS. Minor corrections in the statement of 1.3 and in remark 3.4

Report number: 362/98 MSC Class: 14J29

Journal ref: PAMS n. 127/12

Subvarieties of generic hypersurfaces in any variety

Authors: L. Chiantini, A. F. Lopez, Z. Ran

Abstract: Let W be a projective variety of dimension n+1, L a free line bundle on W, X in $H^0(L^d)$ a hypersurface of degree d which is generic among those given by sums of monomials from $L$, and let $f : Y \to X$ be a generically finite map from a smooth m-fold Y. We suppose that f is r-filling, i.e. upon deforming X in $H^0(L^d)$, f deforms in a family such that the corresponding deformations of… ▽ More Let W be a projective variety of dimension n+1, L a free line bundle on W, X in $H^0(L^d)$ a hypersurface of degree d which is generic among those given by sums of monomials from $L$, and let $f : Y \to X$ be a generically finite map from a smooth m-fold Y. We suppose that f is r-filling, i.e. upon deforming X in $H^0(L^d)$, f deforms in a family such that the corresponding deformations of $Y^r$ dominate $W^r$. Under these hypotheses we give a lower bound for the dimension of a certain linear system on the Cartesian product $Y^r$ having certain vanishing order on a diagonal locus as well as on a double point locus. This yields as one application a lower bound on the dimension of the linear system |K_{Y} - (d - n + m)f^*L - f^*K_{W}| which generalizes results of Ein and Xu (and in weaker form, Voisin). As another perhaps more surprising application, we conclude a lower bound on the number of quadrics containing certain projective images of Y. △ Less

Submitted 9 February, 2001; v1 submitted 20 January, 1999; originally announced January 1999.

Comments: We made some improvements in the introduction and definitions. In an effort to clarify the arguments we separated the 1-filling case from the r-filling case and we gave a more detailed proof of the key lemma. The article will appear in the Math. Proc. Cambridge Philos. Soc

MSC Class: 14C99; 14J70