Showing 1–7 of 7 results for author: Naie, D

Surfaces in $\mathbb{P}^4$ lying on small degree hypersurfaces

Authors: Daniel Naie, Igor Reider

Abstract: Since the work of Ellingsrud and Peskine at the end of 1980s, it has been known that, with the exception of a finite number of families, smooth compact complex surfaces in $\mathbb{P}^4$ with prescribed Chern classes must lie on hypersurfaces of degree $m\leq 5$. The study of surfaces lying on a small degree hypersurface in $\mathbb{P}^4$---small meaning $\leq5$---seems to be a way of obtaining em… ▽ More Since the work of Ellingsrud and Peskine at the end of 1980s, it has been known that, with the exception of a finite number of families, smooth compact complex surfaces in $\mathbb{P}^4$ with prescribed Chern classes must lie on hypersurfaces of degree $m\leq 5$. The study of surfaces lying on a small degree hypersurface in $\mathbb{P}^4$---small meaning $\leq5$---seems to be a way of obtaining empirical data leading to a better conceptual understanding of surfaces in $\mathbb{P}^4$. From this perspective, two main issues are considered in the paper: - an analogue of the Hartshorne-Lichtenbaum finiteness results for smooth surfaces of general type contained in a small degree hypersurface in $\mathbb{P}^4$, - a study of the irregularity of smooth surfaces contained in a small degree hypersurface in $\mathbb{P}^4$. △ Less

Submitted 13 September, 2016; originally announced September 2016.

Comments: 106 pages

MSC Class: 14J60; 14M07

Twisted Kodaira-Spencer classes and the geometry of surfaces of general type

Authors: Daniel Naie, Igor Reider

Abstract: We study the cohomology groups $H^1(X,Θ_X(-mK_X))$, for $m\geq1$, where $X$ is a smooth minimal complex surface of general type, $Θ_X$ its holomorphic tangent bundle, and $K_X$ its canonical divisor. One of the main results is a precise vanishing criterion for $H^1(X,Θ_X (-K_X))$. The proof is based on the geometric interpretation of non-zero cohomology classes of $H^1(X,Θ_X (-K_X))$. This inter… ▽ More We study the cohomology groups $H^1(X,Θ_X(-mK_X))$, for $m\geq1$, where $X$ is a smooth minimal complex surface of general type, $Θ_X$ its holomorphic tangent bundle, and $K_X$ its canonical divisor. One of the main results is a precise vanishing criterion for $H^1(X,Θ_X (-K_X))$. The proof is based on the geometric interpretation of non-zero cohomology classes of $H^1(X,Θ_X (-K_X))$. This interpretation in turn uses higher rank vector bundles on $X$. We apply our methods to the long standing conjecture saying that the irregularity of surfaces in $\PP^4$ is at most 2. We show that if $X$ has prescribed Chern numbers, no irrational pencil, and is embedded in $\PP^4$ with a sufficiently large degree, then the irregularity of $X$ is at most 3. △ Less

Submitted 22 November, 2011; v1 submitted 6 September, 2011; originally announced September 2011.

Comments: 32 pages References added and some minor changes in the last section

MSC Class: 14J60; 14J29; 14F17

Mixed multiplier ideals and the irregularity of abelian coverings of the projective plane

Authors: Daniel Naie

Abstract: A formula for the irregularity of abelian coverings of the projective plane is established and some applications are presented. A formula for the irregularity of abelian coverings of the projective plane is established and some applications are presented. △ Less

Submitted 29 May, 2009; originally announced May 2009.

Comments: 28 pages

MSC Class: 14E20; 14H20; 14Jxx

Jumping numbers of a unibranch curve on a smooth surface

Authors: Daniel Naie

Abstract: A formula for the jumping numbers of a curve unibranch at a singular point is established. The jumping numbers are expressed in terms of the Enriques diagram of the log resolution of the singularity, or equivalently in terms of the canonical set of generators of the semigroup of the curve at the singular point. A formula for the jumping numbers of a curve unibranch at a singular point is established. The jumping numbers are expressed in terms of the Enriques diagram of the log resolution of the singularity, or equivalently in terms of the canonical set of generators of the semigroup of the curve at the singular point. △ Less

Submitted 5 June, 2008; v1 submitted 3 June, 2008; originally announced June 2008.

Comments: 20 pages; added references

MSC Class: 14H20

Log-canonical threshold for curves on a smooth surface

Authors: Marian Aprodu, Daniel Naie

Abstract: It is shown that the log-canonical threshold of a curve with an isolated singularity is computed by the term ideal of the curve in a suitable system of local parameters at the singularity. The proof uses the Enriques diagram of the singularity and shows that the log-canonical threshold depends only on a non-degenerate path of that diagram. It is shown that the log-canonical threshold of a curve with an isolated singularity is computed by the term ideal of the curve in a suitable system of local parameters at the singularity. The proof uses the Enriques diagram of the singularity and shows that the log-canonical threshold depends only on a non-degenerate path of that diagram. △ Less

Submitted 5 July, 2007; originally announced July 2007.

The irregularity of cyclic multiple planes after Zariski

Authors: Daniel Naie

Abstract: A formula for the irregularity of a cyclic multiple plane associated to a branch curve that has arbitrary singularities and is transverse to the line at infinity is established. The irregularity is expressed as a sum of superabundances of linear systems associated to some multiplier ideals of the branch curve and the proof rests on the theory of standard cyclic coverings. Explicit computations o… ▽ More A formula for the irregularity of a cyclic multiple plane associated to a branch curve that has arbitrary singularities and is transverse to the line at infinity is established. The irregularity is expressed as a sum of superabundances of linear systems associated to some multiplier ideals of the branch curve and the proof rests on the theory of standard cyclic coverings. Explicit computations of multiplier ideals are performed and some applications are presented. △ Less

Submitted 10 April, 2006; v1 submitted 17 March, 2006; originally announced March 2006.

Comments: The introduction was modified and the bibliography accordingly. 25 pages

MSC Class: 14E20; 14E22; 14B05

Rationality properties of manifolds containing quasi-lines

Authors: Paltin Ionescu, Daniel Naie

Abstract: Let X be a complex, rationally connected, projective manifold. We show that X admits a modification X' that contains a quasi-line, ie a smooth rational curve whose normal bundle is a direct sum of copies of O_{P^1}(1). For manifolds containing quasi-lines, a sufficient condition of rationality is exploited: There is a unique quasi-line from a given family passing through two general points. We d… ▽ More Let X be a complex, rationally connected, projective manifold. We show that X admits a modification X' that contains a quasi-line, ie a smooth rational curve whose normal bundle is a direct sum of copies of O_{P^1}(1). For manifolds containing quasi-lines, a sufficient condition of rationality is exploited: There is a unique quasi-line from a given family passing through two general points. We define a numerical birational invariant, e(X), and prove that X is rational if and only if e(X)=1. If X is rational, there is a modification X' which is strongly-rational We prove that strongly-rational varieties are stable under smooth, small deformations. Finally, we relate the previous results and formal geometry. This relies on \tilde{e}(X,Y), a numerical invariant of a given quasi-line Y that depends only on the formal completion of X along Y. As applications we show various instances in which X is determined by this formal completion. We also formulate a basic question about the birational invariance of \tilde{e}(X,Y). △ Less

Submitted 1 April, 2003; originally announced April 2003.

Comments: 25 pages

MSC Class: 14E08; 14M20