Source author record

Francisco Javier Gallego

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.AC

Catalog footprint

Research overview

6works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2021arXiv

On higher dimensional extremal varieties of general type

Relations among fundamental invariants play an important role in algebraic geometry. It is known that an $n$ -dimensional variety of general type with nef canonical divisor and canonical singularities, whose image $Y$ under the canonical map is of maximal dimension, satisfies $K_X^n \ge 2 (p_g-n)$ . We investigate the very interesting extremal situation $K_X^n=2(p_g-n)$ , which appears in a number of geometric situations. Since these extremal varieties are natural higher dimensional analogues of Horikawa surfaces, we name them Horikawa varieties. These varieties have been previously dealt with inthe works of Fujita and Kobayashi. We carry out further studies of Horikawa varieties, proving new results on various geometric and topological issues concerning them. In particular, we prove that the geometric genus of those Horikawa varieties whose image under the canonical map is singular is bounded. We give an analogous result for polarized hyperelliptic subcanonical varieties, in particular, for polarized Calabi-Yau and Fano varieties. The pleasing numerology that emerges puts Horikawa's result on surfaces in a broader perspective. We obtain a structure theorem for Horikawa varieties and explore their pluriregularity. We use this to prove optimal results on projective normality of pluricanonical linear systems. We study the fundamental groups of Horikawa varieties, showing that they are simply connected, even if $Y$ is singular. We also prove results on deformations of Horikawa varieties, whose implications on the moduli space make them the higher dimensional analogue of curves of genus $2$ .

preprint2020arXiv

Deformations of hyperelliptic and generalized hyperelliptic polarized varieties

In this article we study the deformations of hyperelliptic polarized varieties $(X,L)$ of dimension $m$ and sectional genus $g$ such that the image $Y$ of the morphism $φ$ induced by $|L|$ is smooth. If $L^m < 2g-2$ , it is known that, by adjunction and the Clifford's theorem, any deformation of $(X,L)$ is hyperelliptic. Thus, we focus on when $L^m=2g-2$ or $L^m=2g$ . We prove that, if $(X,L)$ is Fano-K3, then, except when $Y$ is a hyperquadric, all deformations of $(X,L)$ are again hyperelliptic (if $Y$ is a hyperquadric, the general deformation of $φ$ is an embedding). This contrasts with the situation of hyperelliptic canonical curves and hyperelliptic K3 surfaces. If $L^m=2g$ , then we prove that, in most cases, a general deformation of $φ$ is a finite morphism of degree $1$ . This provides interesting examples of degree $2$ morphisms that can be deformed to morphisms of degree $1$ . We extend our results to so-called generalized hyperelliptic polarized Fano, Calabi-Yau and general type varieties. The solutions to these questions are closely intertwined with the existence or non existence of double structures on the algebraic varieties $Y$ . We address this matter as well.

preprint2015arXiv

Deformations of canonical double covers

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 consequences for the moduli of varieties of general type of arbitrary dimension. The results here show that there is an entire component, that is hyperelliptic in infinitely many moduli spaces of higher dimensional varieties of general type. This is in sharp contrast with the case of curves or surfaces of lower Kodaira dimensions.

preprint2015arXiv

Deformations of canonical triple covers

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 no lower dimensional analogues.

preprint2012arXiv

Smoothable locally Cohen--Macaulay and non Cohen--Macaulay multiple structures on curves

In this article we show that a wide range of multiple structures on curves arise whenever a family of embeddings degenerates to a morphism $φ$ of degree $n$ . One could expect to see, when an embedding degenerates to such a morphism, the appearance of a locally Cohen-Macaulay multiple structure of certain kind (a so-called rope of multiplicity $n$ ). We show that this expectation is naive and that both locally Cohen-Macaulay and non Cohen-Macaulay multiple structures might occur in this situation. In seeing this we find out that many multiple structures can be smoothed. When we specialize to the case of double structures we are able to say much more. In particular, we find numerical conditions, in terms of the degree and the arithmetic genus, for the existence of many smoothable double structures. Also, we show that the existence of these double structures is determined, although not uniquely, by the elements of certain space of vector bundle homomorphisms, which are related to the first order infinitesimal deformations of $φ$ . In many instances, we show that, in order to determine a double structure uniquely, looking merely at a first order deformation of $φ$ is not enough; one needs to choose also a formal deformation.

preprint2010arXiv

An infinitesimal condition to deform a finite morphism to an embedding

In this article we give a sufficient condition for a morphism $φ$ from a smooth variety $X$ to projective space, finite onto a smooth image, to be deformed to an embedding. This result puts some theorems on deformation of morphisms of curves and surfaces such as $K3$ and general type, obtained by ad hoc methods, in a new, more conceptual light. One of the main interests of our result is to apply it to the construction of smooth varieties in projective space with given invariants. We illustrate this by using our result to construct canonically embedded surfaces with $c_1^2=3p_g-7$ and derive some interesting properties of their moduli spaces. Another interesting application of our result is the smoothing of ropes. We obtain a sufficient condition for a rope embedded in projective space to be smoothable. As a consequence, we prove that canonically embedded carpets satisfying certain conditions can be smoothed. We also give simple, unified proofs of known theorems on the smoothing of $1$ --dimensional ropes and $K3$ carpets. Our condition for deforming $φ$ to an embedding can be stated very transparently in terms of the cohomology class of a suitable first order infinitesimal deformation of $φ$ . It holds in a very general setting (any $X$ of arbitrary dimension and any $φ$ unobstructed with an algebraic formally semiuniversal deformation). The simplicity of the result can be seen for instance when we specialize it to the case of curves.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.