Searcharxiv⌕ Search

arXiv subjects

Gian Pietro Pirola

Publications and source records attributed to Gian Pietro Pirola.

At least 55 records · Page 3Linked to original sources
arXiv2015

About the semiample cone of the symmetric product of a curve

Let $C$ be a smooth curve which is complete intersection of a quadric and a degree $k>2$ surface in $\mathbb{P}^3$ and let $C^{(2)}$ be its second symmetric power. In this paper we study the finite generation of the extended canonical ring $R(Δ,K) := \bigoplus_{(a,b)\in\mathbb{Z}^2}H^0(C^{(2)},aΔ+bK)$, where $Δ$ is the image of the diagonal and $K$ is the canonical divisor. We first show that $R(Δ,K)$ is finitely generated if and only if the difference of the two $g_k^1$ on $C$ is torsion non-trivial and then show that this holds on an analytically dense locus of the moduli space of such curves.

math.AG↗
arXiv2014

The Hodge number h^1,1 of irregular algebraic surfaces

We prove a new inequality for the Hodge number h^1,1 of irregular complex smooth projective surfaces of general type without irregular pencils of genus >1. More specifically we show that if the irregularity q satisfies q=2^k+1 then h^1,1>4q-4.

math.AG↗
arXiv2012

Brill-Noether loci for divisors on irregular varieties

For a projective variety X, a line bundle L on X and r a natural number we consider the r-th Brill-Noether locus W^r(L,X):={η\in Pic^0(X)|h^0(L+η)\geq r+1}: we describe its natural scheme structure and compute the Zariski tangent space. If X is a smooth surface of maximal Albanese dimension and C is a curve on X, we define a Brill-Noether number ρ(C, r) and we prove, under some mild additional assumptions, that if ρ(C, r) is non negative then W^r(C,X) is nonempty of dimension bigger or equal to ρ(C,r). As an application, we derive lower bounds for h^0(K_D) for a divisor D that moves linearly on a smooth projective variety X of maximal Albanese dimension and inequalities for the numerical invariants of curves that do not move linearly on a surface of maximal Albanese dimension.

math.AG↗
arXiv2012

Continuous families of divisors, paracanonical systems and a new inequality for varieties of maximal Albanese dimension

Given a smooth complex projective variety X, a line bundle L of X an element v of H^1(O_X) and a section s in H^0(L) that deforms to first order in the direction v, we give a sufficient condition on v in terms of Koszul cohomology for this first order deformation to extend to an analytic deformation. We apply this result to improve known results on the paracanonical system of a variety of maximal Albanese dimension, due to Beauville in the case of surfaces and to Lazarsfeld-Popa in higher dimension. In particular, we prove the inequality p_g(X)>=χ(K_X)+q(X)-1 for a variety X of maximal Albanese dimension without irregular fibrations of Albanese general type.

math.AG↗
arXiv2012

Parametrization of rational maps on a variety of general type, and the finiteness theorem

In a previous paper, we provided some update in the treatment of the finiteness theorem for rational maps of finite degree from a fixed variety to varieties of general type. In the present paper we present another improvement, introducing the natural parametrization of maps by means of the space of linear projections in a suitable projective space, and this leads to some new insight in the geometry of the finiteness theorem.

math.AG↗
arXiv2012

Points of order two on theta divisors

We give a bound on the number of points of order two on the theta divisor of a principally polarized abelian variety A. When A is the Jacobian of a curve C the result can be applied in estimating the number of effective square roots of a fixed line bundle on C.

math.AG↗
arXiv2012

Generic Torelli theorem for Prym varieties of ramified coverings

In this paper we prove that the Prym map, from the space of double coverings of a curve of genus g with r branch points to the moduli space of abelian varieties, is generically injective if r>6 and g>1, r=6 and g>2, r=4 and g>4, r=2 and g>5. We also show that a very generic Prym variety of dimension at least 4 is not isogenous to a Jacobian.

math.AG↗
arXiv2011

On the canonical map of surfaces with q>=6

We carry out an analysis of the canonical system of a minimal complex surface of general type with irregularity q>0. Using this analysis we are able to sharpen in the case q>0 the well known Castelnuovo inequality K^2>=3p_g+q-7. Then we turn to the study of surfaces with p_g=2q-3 and no fibration onto a curve of genus >1. We prove that for q>=6 the canonical map is birational. Combining this result with the analysis of the canonical system, we also prove the inequality: K^2>=7χ+2. This improves an earlier result of the first and second author [M.Mendes Lopes and R.Pardini, On surfaces with p_g=2q-3, Adv. in Geom. 10 (3) (2010), 549-555].

math.AG↗
arXiv2010

A characterization of the symmetric square of a curve

In this paper a new intrinsic geometric characterization of the symmetric square of a curve and of the ordinary product of two curves is given. More precisely it is shown that the existence on a surface of general type S of irregularity q of an effective divisor D having self-intersection D^2>0 and arithmetic genus q implies that S is either birational to a product of curves or to the second symmetric product of a curve.

math.AG↗
arXiv2010

Galois closure and Lagrangian varieties

We use Galois closures of finite rational maps between complex projective varieties to introduce a new method for producing varieties such that the holomorphic part of the cup product map has non-trivial kernel. We then apply our result to the two-dimensional case and we construct a new family of surfaces which are Lagrangian in their Albanese variety. Moreover, we analyze these surfaces computing their Chern invariants, and proving that they are not fibred over curves of genus greater than one.

math.AG↗
arXiv2010

On surfaces of general type with q=5

We prove that a complex surface S with irregularity q(S)=5 that has no irrational pencil of genus >1 has geometric genus p_g(S)>7. As a consequence, one is able to classify minimal surfaces S of general type with q(S)=5 and p_g(S)<8. This result is a negative answer, for q=5, to the question asked in arXiv:0811.0390 of the existence of surfaces of general type with irregularity q>3 that have no irrational pencil of genus >1 and with the lowest possible geometric genus p_g=2q-3. This gives some evidence for the conjecture that the only irregular surface with no irrational pencil of genus >1 and p_g=2q-3 is the symmetric product of a genus three curve.

math.AG↗
arXiv2010

A New Curve Algebraically but not Rationally Uniformized by Radicals

We give a new example of a curve C algebraically, but not rationally, uniformized by radicals. This means that C has no map onto the projective line P^1 with solvable Galois group, while there exists a curve C' that maps onto C and has a finite morphism to P^1 with solvable Galois group. We construct such a curve C of genus 9 in the second symmetric product of a general curve of genus 2. It is also an example of a genus 9 curve that does not satisfy condition S(4,2,9) of Abramovich and Harris.

math.AG↗
arXiv2009

On the finiteness theorem for rational maps on a variety of general type

The dominant rational maps of finite degree from a fixed variety to varieties of general type, up to birational isomorphisms, form a finite set. This has been known as the Iitaka-Severi conjecture, and is nowdays an established result, in virtue of some recent advances in the theory of pluricanonical maps. We study the question of finding some effective estimate for the finite number of maps, and to this aim we provide some update and refinement of the classical treatment of the subject.

math.AG↗
arXiv2007

Osculating spaces and diophantine equations (with an appendix by Pietro Corvaja and Umberto Zannier)

This paper deals with some classical problems about the projective geometry of complex algebraic curves. We call \textit{locally toric} a projective curve that in a neighbourhood of every point has a local analytical parametrization of type $(t^{a_1},...,t^{a_n})$, with $a_1,..., a_n$ relatively prime positive integers. In this paper we prove that the general tangent line to a locally toric curve in $\bP^3$ meets the curve only at the point of tangency. This result extends and simplifies those of the paper \cite{kaji} by H.Kaji where the same result is proven for any curve in $\bP^3$ such that every branch is smooth. More generally, under mild hypotesis, up to a finite number of anomalous parametrizations $(t^{a_1},...,t^{a_n})$, the general osculating 2-space to a locally toric curve of genus $g<2$ in $\bP^4$ does not meet the curve again. The arithmetic part of the proof of this result relies on the Appendix \cite{cz:rk} to this paper. By means of the same methods we give some applications and we propose possible further developments.

math.AG↗
arXiv2007

On rational maps from a general surface in P^3 to surfaces of general type

We study the dominant rational maps from a general surface in P^{3} to surfaces of general type. We prove restrictions on the target surfaces, and special properties of the rational maps. We show that for a small degree the general surface has no such map. Moreover a slight improvement of a result of Catanese, on the number of moduli of a surface of general type, is also obtained.

math.AG↗
arXiv2007

A note on spaces of symmetric matrices

We calculate the maximal dimension of linear spaces of symmetric and hermitian matrices with given high rank, generalizing a well-known result of Adams {\em et al.}

math.AT↗
arXiv2006

Infinitesimal invariant and vector bundles

We study the Saito-Ikeda infinitesimal invariant of the ccle defined by curves in their jacobians using rank (k+1) vector bundles and we give a criterion for which the higher cycle class map is not trivial. When k=2, this turns out to be strictly linked to the Petri map for vector bundles: an explicit construction on a curve of genus g>9 shows the existence of a non trivial element in the higher Griffiths group.

math.AG↗