Showing 1–20 of 20 results for author: Lahoz, M

Pseudoreflections on Prym Varieties

Authors: Robert Auffarth, Martí Lahoz, Juan Carlos Naranjo

Abstract: We show that for every g greater or equal than 5, the locus of Prym varieties in the moduli space of principally polarized abelian varieties of dimension g-1 that possess a pseudoreflection of geometric origin is the union of three different non-empty explicit irreducible families. This is in stark contrast to the loci of Jacobian varieties that possess a pseudoreflection of geometric origin, whic… ▽ More We show that for every g greater or equal than 5, the locus of Prym varieties in the moduli space of principally polarized abelian varieties of dimension g-1 that possess a pseudoreflection of geometric origin is the union of three different non-empty explicit irreducible families. This is in stark contrast to the loci of Jacobian varieties that possess a pseudoreflection of geometric origin, which is empty for any genus greater than 3. In g=6, a distinguished example of Prym varieties with a pseudoreflection is given by intermediate Jacobians of cubic threefolds that possess an Eckardt point. △ Less

Submitted 6 December, 2024; originally announced December 2024.

Comments: 17 pages, comments are welcome

MSC Class: 14L30; 14H40; 14K10

Monodromy of the Prym map and semicanonical pencils in genus 6

Authors: Martí Lahoz, Juan Carlos Naranjo, Andrés Rojas, Irene Spelta

Abstract: The Prym map $\mathcal{P}_6$ in genus 6 is dominant and generically finite of degree 27. When restricted to the divisor of curves with an odd semicanonical pencil $\mathcal{T}_6^o$, it is still generically finite, but of degree strictly smaller. In this paper, we prove that $\mathcal{P}_6$ restricted to $\mathcal{T}_6^o$ is birational and that the monodromy group over the image of… ▽ More The Prym map $\mathcal{P}_6$ in genus 6 is dominant and generically finite of degree 27. When restricted to the divisor of curves with an odd semicanonical pencil $\mathcal{T}_6^o$, it is still generically finite, but of degree strictly smaller. In this paper, we prove that $\mathcal{P}_6$ restricted to $\mathcal{T}_6^o$ is birational and that the monodromy group over the image of $\mathcal{T}_6^o$ is the Weyl group $WD_5$. Thus, there are two other irreducible divisors in the moduli space of Prym curves $\mathcal{R}_6$ and the degree of $\mathcal{P}_6$ restricted to them is 10 and 16. Moreover, we study the geometry of the divisor where $\mathcal{P}_6$ has degree 10. △ Less

Submitted 28 May, 2025; v1 submitted 18 July, 2024; originally announced July 2024.

Comments: Minor changes. Final version, to appear in Annali SNS Pisa

Geometry of Prym semicanonical pencils and an application to cubic threefolds

Authors: Martí Lahoz, Juan Carlos Naranjo, Andrés Rojas

Abstract: In the moduli space $\mathcal{R}_g$ of double étale covers of curves of a fixed genus $g$, the locus formed by covers of curves with a semicanonical pencil consists of two irreducible divisors $\mathcal T^e_g$ and $\mathcal T^o_g$. We study the Prym map on these divisors, which shows significant differences between them and has a rich geometry in the cases of low genus. In particular, the analysis… ▽ More In the moduli space $\mathcal{R}_g$ of double étale covers of curves of a fixed genus $g$, the locus formed by covers of curves with a semicanonical pencil consists of two irreducible divisors $\mathcal T^e_g$ and $\mathcal T^o_g$. We study the Prym map on these divisors, which shows significant differences between them and has a rich geometry in the cases of low genus. In particular, the analysis of $\mathcal T^o_5$ has enumerative consequences for lines on cubic threefolds. △ Less

Submitted 19 April, 2022; v1 submitted 16 June, 2021; originally announced June 2021.

Comments: Fixed an inaccuracy in Theorem A and Section 3, and improved the exposition. Final version, to appear in Mathematische Nachrichten

Chern degree functions

Authors: Martí Lahoz, Andrés Rojas

Abstract: We introduce Chern degree functions for complexes of coherent sheaves on a polarized surface, which encode information given by stability conditions on the boundary of the $(α, β)$-plane. We prove that these functions extend to continuous real valued functions and we study their differentiability in terms of stability. For abelian surfaces, Chern degree functions coincide with the cohomological ra… ▽ More We introduce Chern degree functions for complexes of coherent sheaves on a polarized surface, which encode information given by stability conditions on the boundary of the $(α, β)$-plane. We prove that these functions extend to continuous real valued functions and we study their differentiability in terms of stability. For abelian surfaces, Chern degree functions coincide with the cohomological rank functions defined by Jiang-Pareschi. We illustrate in some geometrical situations a general strategy to compute these functions. △ Less

Submitted 11 January, 2022; v1 submitted 7 May, 2021; originally announced May 2021.

Comments: Minor changes. Final version, to appear in Commun. Contemp. Math

Stability of syzygy bundles on abelian varieties

Authors: Federico Caucci, Martí Lahoz

Abstract: We prove that the kernel of the evaluation morphism of global sections - namely the syzygy bundle - of a sufficiently ample line bundle on an abelian variety is stable. This settles a conjecture of Ein-Lazarsfeld-Mustopa, in the case of abelian varieties. We prove that the kernel of the evaluation morphism of global sections - namely the syzygy bundle - of a sufficiently ample line bundle on an abelian variety is stable. This settles a conjecture of Ein-Lazarsfeld-Mustopa, in the case of abelian varieties. △ Less

Submitted 15 February, 2021; v1 submitted 17 July, 2020; originally announced July 2020.

Comments: Final version. To appear in Bull. Lond. Math. Soc

MSC Class: 14J60; 14K05

Stability conditions in families

Authors: Arend Bayer, Martí Lahoz, Emanuele Macrì, Howard Nuer, Alexander Perry, Paolo Stellari

Abstract: We develop a theory of Bridgeland stability conditions and moduli spaces of semistable objects for a family of varieties. Our approach is based on and generalizes previous work by Abramovich-Polishchuk, Kuznetsov, Lieblich, and Piyaratne-Toda. Our notion includes openness of stability, semistable reduction, a support property uniformly across the family, and boundedness of semistable objects. We s… ▽ More We develop a theory of Bridgeland stability conditions and moduli spaces of semistable objects for a family of varieties. Our approach is based on and generalizes previous work by Abramovich-Polishchuk, Kuznetsov, Lieblich, and Piyaratne-Toda. Our notion includes openness of stability, semistable reduction, a support property uniformly across the family, and boundedness of semistable objects. We show that such a structure exists whenever stability conditions are known to exist on the fibers. Our main application is the generalization of Mukai's theory for moduli spaces of semistable sheaves on K3 surfaces to moduli spaces of Bridgeland semistable objects in the Kuznetsov component associated to a cubic fourfold. This leads to the extension of theorems by Addington-Thomas and Huybrechts on the derived category of special cubic fourfolds, to a new proof of the integral Hodge conjecture, and to the construction of an infinite series of unirational locally complete families of polarized hyperkähler manifolds of K3 type. Other applications include the deformation-invariance of Donaldson-Thomas invariants counting Bridgeland stable objects on Calabi-Yau threefolds, and a method for constructing stability conditions on threefolds via degeneration. △ Less

Submitted 25 January, 2022; v1 submitted 21 February, 2019; originally announced February 2019.

Comments: 146 pages

MSC Class: 14A22; 14D20; 14F05; 14J28; 14M20; 14N35; 18E30

Journal ref: Publ. Math. IHES 133, 157-325 (2021)

Stability conditions on Kuznetsov components

Authors: Arend Bayer, Martí Lahoz, Emanuele Macrì, Paolo Stellari

Abstract: We introduce a general method to induce Bridgeland stability conditions on semiorthogonal components of triangulated categories. In particular, we prove the existence of Bridgeland stability conditions on the Kuznetsov component of the derived category of Fano threefolds and of cubic fourfolds. As an application, in the appendix, written jointly with Xiaolei Zhao, we give a variant of the proof of… ▽ More We introduce a general method to induce Bridgeland stability conditions on semiorthogonal components of triangulated categories. In particular, we prove the existence of Bridgeland stability conditions on the Kuznetsov component of the derived category of Fano threefolds and of cubic fourfolds. As an application, in the appendix, written jointly with Xiaolei Zhao, we give a variant of the proof of the Torelli theorem for cubic fourfolds by Huybrechts and Rennemo. △ Less

Submitted 25 January, 2022; v1 submitted 31 March, 2017; originally announced March 2017.

Comments: 53 pages. Appendix about the Torelli theorem for cubic fourfolds by A. Bayer, M. Lahoz, E. Macrì, P. Stellari, and X. Zhao. Final version to appear in Ann. Sci. Éc. Norm. Supér

MSC Class: 14C34; 14D20; 14F05; 18E30

Generalized twisted cubics on a cubic fourfold as a moduli space of stable objects

Authors: Martí Lahoz, Manfred Lehn, Emanuele Macrì, Paolo Stellari

Abstract: We revisit the work of Lehn-Lehn-Sorger-van Straten on twisted cubic curves in a cubic fourfold not containing a plane in terms of moduli spaces. We show that the blow-up $Z'$ along the cubic of the irreducible holomorphic symplectic eightfold $Z$, described by the four authors, is isomorphic to an irreducible component of a moduli space of Gieseker stable torsion sheaves or rank three torsion fre… ▽ More We revisit the work of Lehn-Lehn-Sorger-van Straten on twisted cubic curves in a cubic fourfold not containing a plane in terms of moduli spaces. We show that the blow-up $Z'$ along the cubic of the irreducible holomorphic symplectic eightfold $Z$, described by the four authors, is isomorphic to an irreducible component of a moduli space of Gieseker stable torsion sheaves or rank three torsion free sheaves. For a very general such cubic fourfold, we show that $Z$ is isomorphic to a connected component of a moduli space of tilt-stable objects in the derived category and to a moduli space of Bridgeland stable objects in the Kuznetsov component. Moreover, the contraction between $Z'$ and $Z$ is realized as a wall-crossing in tilt-stability. Finally, $Z$ is birational to an irreducible component of Gieseker stable aCM bundles of rank six. △ Less

Submitted 31 May, 2017; v1 submitted 15 September, 2016; originally announced September 2016.

Comments: 34 pages. Minor revisions. Final version to appear in J. Math. Pures Appl

Rational cohomology tori

Authors: Olivier Debarre, Zhi Jiang, Martí Lahoz, William F. Sawin

Abstract: We study normal compact Kähler spaces whose rational cohomology ring is isomorphic to that of a complex torus. We call them rational cohomology tori. We classify, up to dimension three, those with rational singularities. We then give constraints on the degree of the Albanese morphism and the number of simple factors of the Albanese variety for rational cohomology tori of general type (hence projec… ▽ More We study normal compact Kähler spaces whose rational cohomology ring is isomorphic to that of a complex torus. We call them rational cohomology tori. We classify, up to dimension three, those with rational singularities. We then give constraints on the degree of the Albanese morphism and the number of simple factors of the Albanese variety for rational cohomology tori of general type (hence projective) with rational singularities. Their properties are related to the birational geometry of smooth projective varieties of general type, maximal Albanese dimension, and with vanishing holomorphic Euler characteristic. We finish with the construction of series of examples. △ Less

Submitted 3 September, 2015; originally announced September 2015.

Comments: Appendix by William F. Sawin

MSC Class: 32J27; 32Q55; 14F45; 32Q15; 14E99

Journal ref: Geom. Topol. 21 (2017) 1095-1130

ACM bundles on cubic threefolds

Authors: Martí Lahoz, Emanuele Macrì, Paolo Stellari

Abstract: We study ACM bundles on cubic threefolds by using derived category techniques. We prove that the moduli space of stable Ulrich bundles of any rank is always non-empty by showing that it is birational to a moduli space of semistable torsion sheaves on the projective plane endowed with the action of a Clifford algebra. We describe this birational isomorphism via wall-crossing in the space of Bridgel… ▽ More We study ACM bundles on cubic threefolds by using derived category techniques. We prove that the moduli space of stable Ulrich bundles of any rank is always non-empty by showing that it is birational to a moduli space of semistable torsion sheaves on the projective plane endowed with the action of a Clifford algebra. We describe this birational isomorphism via wall-crossing in the space of Bridgeland stability conditions, in the example of instanton sheaves of minimal charge. △ Less

Submitted 9 February, 2015; v1 submitted 8 February, 2015; originally announced February 2015.

Comments: 40 pages. The previous version contained a typo in the name of the first author, which has been corrected. This paper consists of the first three sections of the previous version of arXiv:1303.6998 which was split into two different papers. Final version to appear in Algebraic Geometry

Schottky via the punctual Hilbert scheme

Authors: Martin G. Gulbrandsen, Martí Lahoz

Abstract: We show that a smooth projective curve of genus $g$ can be reconstructed from its polarized Jacobian $(X, Θ)$ as a certain locus in the Hilbert scheme $\mathrm{Hilb}^d(X)$, for $d=3$ and for $d=g+2$, defined by geometric conditions in terms of the polarization $Θ$. The result is an application of the Gunning--Welters trisecant criterion and the Castelnuovo--Schottky theorem by Pareschi--Popa and G… ▽ More We show that a smooth projective curve of genus $g$ can be reconstructed from its polarized Jacobian $(X, Θ)$ as a certain locus in the Hilbert scheme $\mathrm{Hilb}^d(X)$, for $d=3$ and for $d=g+2$, defined by geometric conditions in terms of the polarization $Θ$. The result is an application of the Gunning--Welters trisecant criterion and the Castelnuovo--Schottky theorem by Pareschi--Popa and Grushevsky, and its scheme theoretic extension by the authors. △ Less

Submitted 17 October, 2014; originally announced October 2014.

MSC Class: 14H42; 14C05

ACM bundles on cubic fourfolds containing a plane

Authors: Martí Lahoz, Emanuele Macrì, Paolo Stellari

Abstract: We study ACM bundles on cubic fourfolds containing a plane exploiting the geometry of the associated quadric fibration and Kuznetsov's treatment of their bounded derived categories of coherent sheaves. More precisely, we recover the K3 surface naturally associated to the fourfold as a moduli space of Gieseker stable ACM bundles of rank four. We study ACM bundles on cubic fourfolds containing a plane exploiting the geometry of the associated quadric fibration and Kuznetsov's treatment of their bounded derived categories of coherent sheaves. More precisely, we recover the K3 surface naturally associated to the fourfold as a moduli space of Gieseker stable ACM bundles of rank four. △ Less

Submitted 20 November, 2017; v1 submitted 27 March, 2013; originally announced March 2013.

Comments: 18 pages. This is the last section of the previous version of arXiv:1303.6998 which is now spit into two parts. Explanations added

Journal ref: In: Brauer groups and obstruction problems: Moduli spaces and arithmetic, 155-175, Progr. Math. 320, Birkhauser/Springer (2017)

Characterization of products of theta divisors

Authors: Zhi Jiang, Martí Lahoz, Sofia Tirabassi

Abstract: We study products of irreducible theta divisors from two points of view. On the one hand, we characterize them as normal subvarieties of abelian varieties such that a desingularization has holomorphic Euler characteristic 1. On the other hand, we identify them up to birational equivalence among all varieties of maximal Albanese dimension. We also describe the structure of maximal Albanese dimensio… ▽ More We study products of irreducible theta divisors from two points of view. On the one hand, we characterize them as normal subvarieties of abelian varieties such that a desingularization has holomorphic Euler characteristic 1. On the other hand, we identify them up to birational equivalence among all varieties of maximal Albanese dimension. We also describe the structure of maximal Albanese dimension varieties X with holomorphic Euler characteristic 1 and irregularity 2dim X-1. △ Less

Submitted 26 December, 2013; v1 submitted 26 March, 2013; originally announced March 2013.

Comments: 31 pages; to appear in Compositio Math

MSC Class: 14K12; 14J10; 14F17; 14E05

On the Iitaka fibration of varieties of maximal Albanese dimension

Authors: Zhi Jiang, Martí Lahoz, Sofia Tirabassi

Abstract: We prove that the tetracanonical map of a variety $X$ of maximal Albanese dimension induces the Iitaka fibration. Moreover, if $X$ is of general type, then the tricanonical map is birational. We prove that the tetracanonical map of a variety $X$ of maximal Albanese dimension induces the Iitaka fibration. Moreover, if $X$ is of general type, then the tricanonical map is birational. △ Less

Submitted 18 April, 2012; v1 submitted 27 November, 2011; originally announced November 2011.

Comments: to appear in IMRN

MSC Class: 14E05; 14C20

Theta-duality on Prym varieties and a Torelli Theorem

Authors: Martí Lahoz, Juan Carlos Naranjo

Abstract: Let p:C' -> C be an unramified double covering of irreducible smooth curves and let P be the attached Prym variety. We prove the schematic theta-dual equalities in the Prym variety T(C')=V^2 and T(V^2)=C', where V^2 is the Brill-Noether locus of P associated to p considered by Welters. As an application we prove a Torelli Theorem analogous to the fact that the g-th symmetric product of a curve D o… ▽ More Let p:C' -> C be an unramified double covering of irreducible smooth curves and let P be the attached Prym variety. We prove the schematic theta-dual equalities in the Prym variety T(C')=V^2 and T(V^2)=C', where V^2 is the Brill-Noether locus of P associated to p considered by Welters. As an application we prove a Torelli Theorem analogous to the fact that the g-th symmetric product of a curve D of genus g determines the curve. △ Less

Submitted 29 July, 2011; v1 submitted 3 October, 2010; originally announced October 2010.

Comments: Final version to appear in Trans. Amer. Math. Soc

MSC Class: 14K12; 14F05

Generic Vanishing Index and the Birationality of the Bicanonical Map of Irregular Varieties

Authors: Martí Lahoz

Abstract: 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. 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. △ Less

Submitted 27 November, 2011; v1 submitted 18 July, 2010; originally announced July 2010.

Comments: 10 pages, to appear in Mathematische Zeitschrift

MSC Class: 14E05

Finite subschemes of abelian varieties and the Schottky problem

Authors: Martin G. Gulbrandsen, Martí Lahoz

Abstract: The Castelnuovo-Schottky theorem of Pareschi-Popa characterizes Jacobians, among indecomposable principally polarized abelian varieties of dimension g, by the existence of g+2 points in general position with respect to the principal polarization, but special with respect to twice the polarization, and furthermore states that such collections of points must be contained in an Abel-Jacobi curve. Bui… ▽ More The Castelnuovo-Schottky theorem of Pareschi-Popa characterizes Jacobians, among indecomposable principally polarized abelian varieties of dimension g, by the existence of g+2 points in general position with respect to the principal polarization, but special with respect to twice the polarization, and furthermore states that such collections of points must be contained in an Abel-Jacobi curve. Building on the ideas in the original paper, we give here a self contained, scheme theoretic proof of the theorem, extending it to finite, possibly nonreduced subschemes. △ Less

Submitted 1 November, 2010; v1 submitted 9 April, 2010; originally announced April 2010.

Comments: 22 pages. A few expository changes and some references added according to suggestions from the referee. To appear in Annales de l'Institut Fourier

MSC Class: 14H42; 14H40; 14K05; 14K99

Journal ref: Ann Inst. Fourier 61 (2011), no. 5, 2039-2064

On the bicanonical map of irregular varieties

Authors: Miguel Angel Barja, Martí Lahoz, Juan Carlos Naranjo, Giuseppe Pareschi

Abstract: 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 t… ▽ More 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 natural higher-dimensional generalization to this context of curves of genus 2: varieties birationally equivalent to the theta-divisor of an indecomposable principally polarized abelian variety. The proof is based on the (generalized) Fourier-Mukai transform. △ Less

Submitted 8 October, 2009; v1 submitted 24 July, 2009; originally announced July 2009.

Comments: 20 pages. There was an inaccuracy in the proof of Theorem 4.13. We have fixed the problem giving a slightly different proof. The modifications only affect to Section 4 of the paper: there is a new definition and we have eliminated a Corollary, which now becomes useless (although it was correct)

MSC Class: 14E05; 14J40; 14F05; 14F17

Cohomological support loci for Abel-Prym curves

Authors: Sebastian Casalaina-Martin, Martí Lahoz, Filippo Viviani

Abstract: For an Abel-Prym curve contained in a Prym variety, we determine the cohomological support loci of its twisted ideal sheaves and the dimension of its theta-dual. For an Abel-Prym curve contained in a Prym variety, we determine the cohomological support loci of its twisted ideal sheaves and the dimension of its theta-dual. △ Less

Submitted 2 May, 2008; v1 submitted 25 February, 2008; originally announced February 2008.

Comments: 15 pages, AMS Latex, some remarks added in the Introduction

MSC Class: 14H40; 14K12

Journal ref: Le Matematiche, Vol. LXIII (2008), 205--222.

Infinitesimal Castelnuovo Theory in Abelian Varieties

Authors: Marti Lahoz

Abstract: The purpose of this article is to show that the Castelnuovo theory for abelian varieties, developed by G. Pareschi and M. Popa, can be infinitesimalized. More precisely, we prove that an irreducible principally polarized abelian variety has a finite scheme in extremal position, in the sense of Castelnuovo theory for abelian varieties, if, and only if, it is a Jacobian and the scheme is contained… ▽ More The purpose of this article is to show that the Castelnuovo theory for abelian varieties, developed by G. Pareschi and M. Popa, can be infinitesimalized. More precisely, we prove that an irreducible principally polarized abelian variety has a finite scheme in extremal position, in the sense of Castelnuovo theory for abelian varieties, if, and only if, it is a Jacobian and the scheme is contained in a unique Abel-Jacobi curve. △ Less

Submitted 27 January, 2021; v1 submitted 15 June, 2007; originally announced June 2007.

Comments: The proofs and the results were corrected and improved in arXiv:1410.4813

MSC Class: 14H42; 14H40