Related papers: On Smooth Divisors of a Projective Hypersurface

This is the continuation of papers by Braun and Floystad, Cook, Braun and Cook. We use Generic Initial Ideal Theory in conjunction with Liaison Theory to further restrict the possible generic initial ideals of hyperplane sections of smooth…

We prove an unobstructedness result for deformations of subvarieties constrained by intersections with another, fixed subvariety. We deduce smoothness and expected-dimension results for multiple-point loci of generic projections, mainly…

Using the data schemes developed by Arrondo-Sols-Speiser, we give a rigorous definition of algebraic differential equations on the complex projective space $P^n$. For an algebraic subvariety $S \subseteq P^n$, we present an explicit formula…

A projective hypersurface $X \subseteq \mathbb P^n$ has defect if $h^i(X) \neq h^i(\mathbb P^n)$ for some $i \in \{n, \dots, 2n-2\}$ in a suitable cohomology theory. This occurs for example when $X \subseteq \mathbb P^4$ is not $\mathbb…

We compute divisors class groups of singular surfaces. Most notably we produce an exact sequence that relates the Cartier divisors and almost Cartier divisors of a surface to the those of its normalization. This generalizes Hartshorne's…

We prove the non-rationality of a double cover of $\mathbb{P}^{n}$ branched over a hypersurface $F\subset\mathbb{P}^{n}$ of degree $2n$ having isolated singularities such that $n\ge 4$ and every singular points of the hypersurface $F$ is…

The main goal of this work is to prove that every entire curve in a smooth hypersurface of degree greater than or equal to 97 in the complex projective space of dimension 4 must satisfy an algebraic differential equation of order 3. A…

We establish an effective version of Schmidt's subspace theorem on a smooth projective variety $\mathcal{X}$ over function fields of characteristic zero for hypersurfaces located in m-subgeneral position with respect to $\mathcal{X}$. Our…

A classical result of Boole shows that, in characteristic 0, the set of singular degree d hypersurfaces in P^N is a divisor of degree (N+1)(d-1)^N in the projective space of all hypersurfaces. We give here analogous formulae for complete…

In this paper we present a way of computing the degree of the secant (resp., tangent) variety of a smooth projective surface, under the assumption that the divisor giving the embedding in the projective space is $3$-very ample. This method…

A classification and a detailed geometric description are given for smooth $n$-dimensional subvarieties $X\subset{\mathbb P}^{2n-1}$ containing a family of effective divisors each of them spanning a linear ${\mathbb P}^n$ of ${\mathbb…

We prove that there exist hypersurfaces that contain a given closed subscheme $Z$ of the projective space over a finite field and intersect a given smooth scheme $X$ off of $Z$ smoothly, if the intersection $V = Z \cap X$ is smooth.…

Given a pseudoconvex domain U with C^1-boundary in P^n, n>2, we show that if H^{2n-2}_\dR}(U)\not=0, then there is a strictly psh function in a neighborhood of boundary U. We also solve the \dbar-equation in X=P^n\ U, for data smooth (0,1)…

We study subvarieties of a general projective degree $d$ hypersurface $X_d\subset \mathbf P^n$. Our main theorem, which improves previous results of L. Ein and C. Voisin, implies in particular the following sharp corollary: any subvariety…

We show that for every smooth generic projective hypersurface $X\subset\mathbb P^{n+1}$, there exists a proper subvariety $Y\subsetneq X$ such that $\operatorname{codim}_X Y\ge 2$ and for every non constant holomorphic entire map…

Let $\pi:Z\rightarrow\mathbb{P}^{n-1}$ be a general minimal $n$-fold conic bundle with a hypersurface $B_Z\subset\mathbb{P}^{n-1}$ of degree $d$ as discriminant. We prove that if $d\geq 4n+1$ then $-K_Z$ is not pseudo-effective, and that if…

D.Bayer and D.Mumford introduced the degree complexity of a projective scheme for the given term order as the maximal degree of the reduced Gr\"{o}bner basis. It is well-known that the degree complexity with respect to the graded reverse…

It is proved that a smooth rational surface in projective four-space, which is ruled by cubics or quartics has degree at most 12. It is also proved that a smooth rational surface in projective four-space which is the image of Fn by a linear…

We give an a priori bound on the (n-7)-dimensional measure of the singular set for an area-minimizing n-dimensional hypersurface, in terms of the geometry of its boundary.

For any integer $n\geq 2$, we prove that for any large enough integer $d$, with large probability the injectivity radius of a random degree $d$ complex hypersurface in $\C P^n$ is larger than $d^{-\frac{1}2(3n+2)}$. Here the hypersurface is…