Showing 1–21 of 21 results for author: De Poi, P

Geproci sets on skew lines in $\mathbb P^3$ with two transversals

Authors: Luca Chiantini, Pietro De Poi, Lucja Farnik, Giuseppe Favacchio, Brian Harbourne, Giovanna Ilardi, Juan Migliore, Tomasz Szemberg, Justyna Szpond

Abstract: The purpose of this work is to pursue classification of geproci sets. Specifically we classify $[m,n]$-geproci sets which consist of $m=4$ points on each of $n$ skew lines, assuming the skew lines have two transversals in common. We show that in this case $n\leq 6$. Moreover we show that all geproci sets of this type are contained in the \emph{standard construction} for $m=4$ introduced in arXiv:2… ▽ More The purpose of this work is to pursue classification of geproci sets. Specifically we classify $[m,n]$-geproci sets which consist of $m=4$ points on each of $n$ skew lines, assuming the skew lines have two transversals in common. We show that in this case $n\leq 6$. Moreover we show that all geproci sets of this type are contained in the \emph{standard construction} for $m=4$ introduced in arXiv:2209.04820. Finally, we propose a conjectural representation for all geproci sets of this type, irrespective of the number $m$ of points on each skew line. △ Less

Submitted 7 December, 2023; originally announced December 2023.

Comments: 12 pages, 1 figura

MSC Class: 14N05; 14M07; 14M10; 14N20; 05E14

Hilbert functions and Jordan type of Perazzo Artinian algebras

Authors: Nancy Abdallah, Nasrin Altafi, Pietro De Poi, Luca Fiorindo, Anthony Iarrobino, Pedro Macias Marques, Emilia Mezzetti, Rosa M. Miró-Roig, Lisa Nicklasson

Abstract: We study Hilbert functions, Lefschetz properties, and Jordan type of Artinian Gorenstein algebras associated to Perazzo hypersurfaces in projective space. The main focus lies on Perazzo threefolds, for which we prove that the Hilbert functions are always unimodal. Further we prove that the Hilbert function determines whether the algebra is weak Lefschetz, and we characterize those Hilbert function… ▽ More We study Hilbert functions, Lefschetz properties, and Jordan type of Artinian Gorenstein algebras associated to Perazzo hypersurfaces in projective space. The main focus lies on Perazzo threefolds, for which we prove that the Hilbert functions are always unimodal. Further we prove that the Hilbert function determines whether the algebra is weak Lefschetz, and we characterize those Hilbert functions for which the weak Lefschetz property holds. By example, we verify that the Hilbert functions of Perazzo fourfolds are not always unimodal. In the particular case of Perazzo threefolds with the smallest possible Hilbert function, we give a description of the possible Jordan types for multiplication by any linear form. △ Less

Submitted 29 March, 2023; originally announced March 2023.

Comments: 23 pages

MSC Class: 13E10 (primary); 13D40; 14M05; 13H10

CW-complex Nagata Idealizations

Authors: Armando Capasso, Pietro De Poi, Giovanna Ilardi

Abstract: We introduce a novel construction which allows us to identify the elements of the skeletons of a CW-complex $P(m)$ and the monomials in $m$ variables. From this, we infer that there is a bijection between finite CW-subcomplexes of $P(m)$, which are quotients of finite simplicial complexes, and some bigraded standard Artinian Gorenstein algebras, generalizing previous constructions in \cite{F:S}, \… ▽ More We introduce a novel construction which allows us to identify the elements of the skeletons of a CW-complex $P(m)$ and the monomials in $m$ variables. From this, we infer that there is a bijection between finite CW-subcomplexes of $P(m)$, which are quotients of finite simplicial complexes, and some bigraded standard Artinian Gorenstein algebras, generalizing previous constructions in \cite{F:S}, \cite{CGIM} and \cite{G:Z}. We apply this to a generalization of Nagata idealization for level algebras. These algebras are standard graded Artinian algebras whose Macaulay dual generator is given explicitly as a bigraded polynomial of bidegree $(1,d)$. We consider the algebra associated to polynomials of the same type of bidegree $(d_1,d_2)$. △ Less

Submitted 26 June, 2020; v1 submitted 4 May, 2020; originally announced May 2020.

Comments: 19 pages, 2 figures, AMS-LaTeX. To be published in Advances in Applied Mathematics

MSC Class: Primary 13A30; 05E40; Secondary 57Q05; 13D40; 13A02; 13E10

Journal ref: in Adv. in App. Math. 120 September 2020

On the hypersurfaces contained in their Hessian

Authors: Pietro De Poi, Giovanna Ilardi

Abstract: This article presents the theory of focal locus applied to the hypersurfaces in the projective space which are (finitely) covered by linear spaces and such that the tangent space is constant along these spaces. This article presents the theory of focal locus applied to the hypersurfaces in the projective space which are (finitely) covered by linear spaces and such that the tangent space is constant along these spaces. △ Less

Submitted 16 March, 2019; originally announced March 2019.

Comments: 11 pages

MSC Class: Primary 14J70. Secondary 14N05; 53A30

Journal ref: Ann. Univ. Paedagog. Crac. Stud. Math. 18 (2019), 21--33

Circulant matrices and Galois-Togliatti systems

Authors: Pietro De Poi, Emilia Mezzetti, Mateusz Michałek, Rosa Maria Miró-Roig, Eran Nevo

Abstract: The goal of this article is to compare the coefficients in the expansion of the permanent with those in the expansion of the determinant of a three-lines circulant matrix. As an application we prove a conjecture concerning the minimality of Galois-Togliatti systems. The goal of this article is to compare the coefficients in the expansion of the permanent with those in the expansion of the determinant of a three-lines circulant matrix. As an application we prove a conjecture concerning the minimality of Galois-Togliatti systems. △ Less

Submitted 25 August, 2018; originally announced August 2018.

MSC Class: 15B05; 15A05; 13E10; 14M25

Fano congruences of index $3$ and alternating $3$-forms

Authors: Pietro De Poi, Daniele Faenzi, Emilia Mezzetti, Kristian Ranestad

Abstract: We study congruences of lines $X_ω$ defined by a sufficiently general choice of an alternating 3-form $ω$ in $n+1$ dimensions, as Fano manifolds of index $3$ and dimension $n-1$. These congruences include the $\mathrm{G}_2$-variety for $n=6$ and the variety of reductions of projected $\mathbb{P}^2 \times \mathbb{P}^2$ for $n=7$. We compute the degree of $X_ω$ as the $n$-th Fine number and study… ▽ More We study congruences of lines $X_ω$ defined by a sufficiently general choice of an alternating 3-form $ω$ in $n+1$ dimensions, as Fano manifolds of index $3$ and dimension $n-1$. These congruences include the $\mathrm{G}_2$-variety for $n=6$ and the variety of reductions of projected $\mathbb{P}^2 \times \mathbb{P}^2$ for $n=7$. We compute the degree of $X_ω$ as the $n$-th Fine number and study the Hilbert scheme of these congruences proving that the choice of $ω$ bijectively corresponds to $X_ω$ except when $n=5$. The fundamental locus of the congruence is also studied together with its singular locus: these varieties include the Coble cubic for $n=8$ and the Peskine variety for $n=9$. The residual congruence $Y$ of $X_ω$ with respect to a general linear congruence containing $X_ω$ is analysed in terms of the quadrics containing the linear span of $X_ω$. We prove that $Y$ is Cohen-Macaulay but non-Gorenstein in codimension $4$. We also examine the fundamental locus $G$ of $Y$ of which we determine the singularities and the irreducible components. △ Less

Submitted 1 February, 2017; v1 submitted 15 June, 2016; originally announced June 2016.

Comments: 46 pages, 2 tables. AMS-LaTeX. Minor changes. To appear in the Annales de l'Institut Fourier

MSC Class: 14M15 (Primary); 14J45; 14J60; 14M06; 14M05 (Secondary)

Gonality of curves on fundamental loci of first order congruences (Appendix to article of Ein, Lazarsfeld and Ullery)

Authors: Francesco Bastianelli, Pietro De Poi

Abstract: This note is an appendix to 'Measures of irrationality for hypersurfaces of large degree' by L. Ein, R. Lazarsfeld and B. Ullery. We prove an existence result for families of curves having low gonality, and lying on fundamental loci of first order congruences of lines in $\mathbb{P}^{n+1}$. As an application, we follow the ideas of the main paper, and we present a slight refinement of a theorem in… ▽ More This note is an appendix to 'Measures of irrationality for hypersurfaces of large degree' by L. Ein, R. Lazarsfeld and B. Ullery. We prove an existence result for families of curves having low gonality, and lying on fundamental loci of first order congruences of lines in $\mathbb{P}^{n+1}$. As an application, we follow the ideas of the main paper, and we present a slight refinement of a theorem included in it. In particular, we show that given a very general hypersurface $X\subset \mathbb{P}^{n+1}$ of degree $d \geq 3n-2 \geq 7$, and a dominant rational map $f \colon X \dashrightarrow \mathbb{P}^{n}$, then $deg(f) \geq d-1$, and equality holds if and only if $f$ is the projection from a point of $X$. △ Less

Submitted 30 November, 2016; v1 submitted 4 November, 2015; originally announced November 2015.

Comments: The paper has been withdrawn since its contents are now improved and included in arXiv:1511.01359

Measures of irrationality for hypersurfaces of large degree

Authors: Francesco Bastianelli, Pietro De Poi, Lawrence Ein, Robert Lazarsfeld, Brooke Ullery

Abstract: We study various measures of irrationality for hypersurfaces of large degree in projective space and other varieties. These include the least degree of a rational covering of projective space, and the minimal gonality of a covering family of curves. The theme is that positivity properties of canonical bundles lead to lower bounds on these invariants. In particular, we prove that if X is a very gen… ▽ More We study various measures of irrationality for hypersurfaces of large degree in projective space and other varieties. These include the least degree of a rational covering of projective space, and the minimal gonality of a covering family of curves. The theme is that positivity properties of canonical bundles lead to lower bounds on these invariants. In particular, we prove that if X is a very general smooth hypersurface of dimension n and degree d \ge 2n+1, then any dominant rational mapping from X to projective n-space must have degree at least d-1. We also propose a number of open problems, and we show how our methods lead to simple new proofs of results of Ran and Beheshti-Eisenbud. △ Less

Submitted 30 November, 2016; v1 submitted 4 November, 2015; originally announced November 2015.

Comments: Major revision of first version, combining it with previously separate appendix of Bastianelli and De Poi. Extended section of open problems added, as well as new proofs of results of Ran and Beheshti-Eisenbud. Dedicated to János Kollár on the occasion of his sixtieth birthday

MSC Class: 14E08; 14C99

Journal ref: Compositio Math. 153 (2017) 2368-2393

On higher Gauss maps

Authors: Pietro De Poi, Giovanna Ilardi

Abstract: We prove that the general fibre of the $i$-th Gauss map has dimension $m$ if and only if at the general point the $(i+1)$-th fundamental form consists of cones with vertex a fixed $\mathbb P^{m-1}$, extending a known theorem for the usual Gauss map. We prove this via a recursive formula for expressing higher fundamental forms. We also show some consequences of these results. We prove that the general fibre of the $i$-th Gauss map has dimension $m$ if and only if at the general point the $(i+1)$-th fundamental form consists of cones with vertex a fixed $\mathbb P^{m-1}$, extending a known theorem for the usual Gauss map. We prove this via a recursive formula for expressing higher fundamental forms. We also show some consequences of these results. △ Less

Submitted 10 April, 2015; originally announced April 2015.

Comments: 12 pages, AMS-LaTeX; to appear in the Journal of Pure and Applied Algebra

MSC Class: 53A20 (Primary) 14N15; 51N35; 53B99 (Secondary)

On varieties with higher osculating defect

Authors: Pietro De Poi, Roberta Di Gennaro, Giovanna Ilardi

Abstract: In this paper, using the method of moving frames, we generalise some of Terracini's results on varieties with tangent defect. In particular, we characterise varieties with higher order osculating defect in terms of Jacobians of higher fundamental forms and moreover we characterise varieties with "small" higher fundamental forms as contained in scrolls. In this paper, using the method of moving frames, we generalise some of Terracini's results on varieties with tangent defect. In particular, we characterise varieties with higher order osculating defect in terms of Jacobians of higher fundamental forms and moreover we characterise varieties with "small" higher fundamental forms as contained in scrolls. △ Less

Submitted 19 April, 2012; originally announced April 2012.

Comments: AMS-LaTeX; 17 pages. To appear in Revista Matemática Iberoaméricana

MSC Class: Primary: 53A20. Secondary: 14N15; 51N35

On subcanonical Gorenstein varieties and apolarity

Authors: Pietro De Poi, Francesco Zucconi

Abstract: Let $X$ be a codimension 1 subvariety of dimension $>1$ of a variety of minimal degree $Y$. If $X$ is subcanonical with Gorenstein canonical singularities admitting a crepant resolution, then $X$ is Arithmetically Gorenstein and we characterise such subvarieties $X$ of $Y$ via apolarity as those whose apolar hypersurfaces are Fermat. Let $X$ be a codimension 1 subvariety of dimension $>1$ of a variety of minimal degree $Y$. If $X$ is subcanonical with Gorenstein canonical singularities admitting a crepant resolution, then $X$ is Arithmetically Gorenstein and we characterise such subvarieties $X$ of $Y$ via apolarity as those whose apolar hypersurfaces are Fermat. △ Less

Submitted 10 October, 2012; v1 submitted 13 December, 2011; originally announced December 2011.

Comments: 18 pages; AMS-LaTeX; minor changes. To appear in the Journal of London Mathematical Society

MSC Class: 14J40; 14J45; 13H10; 14N05; 14J17

The gonality theorem of Noether for hypersurfaces

Authors: Francesco Bastianelli, Renza Cortini, Pietro De Poi

Abstract: It is well known since Noether that the gonality of a smooth plane curve of degree d>3 is d-1. Given a k-dimensional complex projective variety X, the most natural extension of gonality is probably the degree of irrationality, that is the minimum degree of a dominant rational map from X to $\mathbb{P}^k$. In this paper we are aimed at extending the assertion on plane curves to smooth hypersurfaces… ▽ More It is well known since Noether that the gonality of a smooth plane curve of degree d>3 is d-1. Given a k-dimensional complex projective variety X, the most natural extension of gonality is probably the degree of irrationality, that is the minimum degree of a dominant rational map from X to $\mathbb{P}^k$. In this paper we are aimed at extending the assertion on plane curves to smooth hypersurfaces in $\mathbb{P}^n$ in terms of degree of irrationality. We prove that both surfaces in $\mathbb{P}^3$ and threefolds in $\mathbb{P}^4$ of sufficiently large degree d have degree of irrationality d-1, except for finitely many cases we classify, whose degree of irrationality is d-2. To this aim we use Mumford's technique of induced differentials and we shift the problem to study first order congruences of lines of $\mathbb{P}^n$. In particular, we also slightly improve the description of such congruences in $\mathbb{P}^4$ and we provide a bound on degree of irrationality of hypersurfaces of arbitrary dimension. △ Less

Submitted 15 July, 2011; v1 submitted 22 February, 2011; originally announced February 2011.

Comments: 25 pages, final version

MSC Class: 14E05 14J70 14N15

Journal ref: J. Algebraic Geom. 23 (2014), 313-339

Fermat hypersurfaces and Subcanonical curves

Authors: Pietro De Poi, Francesco Zucconi

Abstract: We extend the classical Enriques-Petri Theorem to $s$-subcanonical projectively normal curves, proving that such a curve is $(s+2)$-gonal if and only if it is contained in a surface of minimal degree. Moreover, we show that any Fermat hypersurface of degree $s+2$ is apolar to an $s$-subcanonical $(s+2)$-gonal projectively normal curve, and vice versa. We extend the classical Enriques-Petri Theorem to $s$-subcanonical projectively normal curves, proving that such a curve is $(s+2)$-gonal if and only if it is contained in a surface of minimal degree. Moreover, we show that any Fermat hypersurface of degree $s+2$ is apolar to an $s$-subcanonical $(s+2)$-gonal projectively normal curve, and vice versa. △ Less

Submitted 29 April, 2011; v1 submitted 4 August, 2009; originally announced August 2009.

Comments: 18 pages; AMS-LaTeX

MSC Class: 14H51 (Primary); 13H10; 14M05; 14N05 (Secondary)

On the quadratic normality and the triple curve of three dimensional subvarieties of ${\mathbb P}^5$

Authors: Pietro De Poi, Emilia Mezzetti, José Carlos Sierra

Abstract: A well-known conjecture asserts that smooth threefolds $X\subset\{\mathbb P}^5$ are quadratically normal with the only exception of the Palatini scroll. As a corollary of a more general statement we obtain the following result, which is related to the previous conjecture: If $X\subset\{\mathbb P}^5$ is not quadratically normal, then its triple curve is reducible. Similar results are also given f… ▽ More A well-known conjecture asserts that smooth threefolds $X\subset\{\mathbb P}^5$ are quadratically normal with the only exception of the Palatini scroll. As a corollary of a more general statement we obtain the following result, which is related to the previous conjecture: If $X\subset\{\mathbb P}^5$ is not quadratically normal, then its triple curve is reducible. Similar results are also given for higher dimensional varieties. △ Less

Submitted 10 November, 2008; originally announced November 2008.

Comments: To appear in Advances in Geometry

MSC Class: 14M07; 14N05

Gonality, apolarity and hypercubics

Authors: Pietro De Poi, Francesco Zucconi

Abstract: We show that any Fermat hypercubic is apolar to a trigonal curve, and vice versa. We show also that the Waring number of the polar hypercubic associated to a tetragonal curve of genus $g$ is at most $\lceil 3/2g - 7/2\rceil$, and for a large class of them is at most $4/3g - 3$. We show that any Fermat hypercubic is apolar to a trigonal curve, and vice versa. We show also that the Waring number of the polar hypercubic associated to a tetragonal curve of genus $g$ is at most $\lceil 3/2g - 7/2\rceil$, and for a large class of them is at most $4/3g - 3$. △ Less

Submitted 29 April, 2011; v1 submitted 5 February, 2008; originally announced February 2008.

Comments: 9 pages, to appear in the Bulletin of the London Mathematical Society

MSC Class: 14H51 (Primary); 14H45; 13H10; 14M05; 14N05 (Secondary)

Congruences of lines in $\mathbb{P}^5$, quadratic normality, and completely exceptional Monge-Ampère equations

Authors: Pietro De Poi, Emilia Mezzetti

Abstract: The existence is proved of two new families of locally Cohen-Macaulay sextic threefolds in $\mathbb{P}^5$, which are not quadratically normal. These threefolds arise naturally in the realm of first order congruences of lines as focal loci and in the study of the completely exceptional Monge-Ampère equations. One of these families comes from a smooth congruence of multidegree $(1,3,3)$ which is a… ▽ More The existence is proved of two new families of locally Cohen-Macaulay sextic threefolds in $\mathbb{P}^5$, which are not quadratically normal. These threefolds arise naturally in the realm of first order congruences of lines as focal loci and in the study of the completely exceptional Monge-Ampère equations. One of these families comes from a smooth congruence of multidegree $(1,3,3)$ which is a smooth Fano fourfold of index two and genus 9. △ Less

Submitted 26 October, 2007; originally announced October 2007.

Comments: 16 pages

MSC Class: 14M15; 14J45 (Primary); 53A25; 14N25; 14M07 (Secondary)

Linear Congruences and hyperbolic Systems of conservation Laws

Authors: Pietro De Poi, Emilia Mezzetti

Abstract: S. I. Agafonov and E. V. Ferapontov have introduced a construction that allows naturally associating to a system of partial differential equations of conservation laws a congruence of lines in an appropriate projective space. In particular hyperbolic systems of Temple class correspond to congruences of lines that place in planar pencils of lines. The language of Algebraic Geometry turns out to b… ▽ More S. I. Agafonov and E. V. Ferapontov have introduced a construction that allows naturally associating to a system of partial differential equations of conservation laws a congruence of lines in an appropriate projective space. In particular hyperbolic systems of Temple class correspond to congruences of lines that place in planar pencils of lines. The language of Algebraic Geometry turns out to be very natural in the study of these systems. In this article, after recalling the definition and the basic facts on congruences of lines, Agafonov-Ferapontov's construction is illustrated and some results of classification for Temple systems are presented. In particular, we obtain the classification of linear congruences in $\mathbb{P}^5$, which correspond to some classes of $T$-systems in 4 variables. △ Less

Submitted 1 April, 2005; originally announced April 2005.

Comments: AMS-LaTeX, 17 pages. To appear in the preceedings of ``Projective Varieties with unexpected Properties: a Conference in Honour of the 150th birthday of G. Veronese''

MSC Class: Primary 14M15; 35L65 Secondary 53A25; 53B50

On First Order Congruences of Lines in $\mathbb{P}^4$ with Generically Non-reduced Fundamental Surface

Authors: Pietro De Poi

Abstract: In this article we obtain a complete description of the congruences of lines in $\p^4$ of order one provided that the fundamental surface $F$ is non-reduced (and possibly reducible) at one of its generic points, and their classification under the hypothesis that $(F)_{\red}$ is smooth. In this article we obtain a complete description of the congruences of lines in $\p^4$ of order one provided that the fundamental surface $F$ is non-reduced (and possibly reducible) at one of its generic points, and their classification under the hypothesis that $(F)_{\red}$ is smooth. △ Less

Submitted 29 April, 2007; v1 submitted 20 July, 2004; originally announced July 2004.

Comments: 10 pages, AMS-LaTeX; to appear in ``The Asian Journal of Mathematics''

MSC Class: Primary 14M15; 14N15; Secondary 51N35

On first order Congruences of Lines in $\mathbb{P}^4$ with irreducible fundamental Surface

Authors: Pietro De Poi

Abstract: In this article we study congruences of lines in $\mathbb{P}^n$, and in particular of order one. After giving general results, we obtain a complete classification in the case of $\mathbb{P}^4$ in which the fundamental surface $F$ is in fact a variety-i.e. it is integral-and the congruence is the irreducible set of the trisecant lines of $F$. In this article we study congruences of lines in $\mathbb{P}^n$, and in particular of order one. After giving general results, we obtain a complete classification in the case of $\mathbb{P}^4$ in which the fundamental surface $F$ is in fact a variety-i.e. it is integral-and the congruence is the irreducible set of the trisecant lines of $F$. △ Less

Submitted 20 July, 2004; originally announced July 2004.

Comments: 18 pages, AMS-LaTeX; submitted

MSC Class: Primary 14M15; 14N15; Secondary 51N35

Congruences of Lines with one-dimensional focal locus

Authors: Pietro De Poi

Abstract: In this article we obtain the classification of the congruences of lines with one-dimensional focal locus. It turns out that one can restrict to study the case of $\mathbb{P}^3$. In this article we obtain the classification of the congruences of lines with one-dimensional focal locus. It turns out that one can restrict to study the case of $\mathbb{P}^3$. △ Less

Submitted 20 July, 2004; originally announced July 2004.

Comments: 7 pages, AMS-LaTeX; to appear on Portugaliae Mathematica

MSC Class: Primary 14M15; 14N05; Secondary 51N35

Journal ref: Portugaliae Mathematica (N.S.), 61, (2004), no. 3, 329--338

Threefolds of P^5 with one apparent quadruple point

Authors: Pietro De Poi

Abstract: In this article we classify all the smooth threefolds of P^5 with an apparent quadruple point provided that the family of its 4-secant lines is an irreducible (first order) congruence. This is sufficient to conclude the classification of all the smooth codimension two varieties of P^n with one apparent (n-1)-point and with irreducible family of (n-1)-secant lines. In this article we classify all the smooth threefolds of P^5 with an apparent quadruple point provided that the family of its 4-secant lines is an irreducible (first order) congruence. This is sufficient to conclude the classification of all the smooth codimension two varieties of P^n with one apparent (n-1)-point and with irreducible family of (n-1)-secant lines. △ Less

Submitted 12 July, 2002; originally announced July 2002.

Comments: AMS-LaTeX2e, 14 pages

MSC Class: 14J30; 14M15; 14N05 (primary); 51N35 (secondary)