Related papers: Surfaces in $\mathbb{P}^4$ lying on small degree h…
According to a conjecture attributed to Hartshorne and Lichtenbaum and proven by Ellingsrud and Peskine, the smooth rational surfaces in $\mathbb{P}^4$ belong to only finitely many families. We formulate and study a collection of analogous…
We work over an algebraically closed field of arbitrary characteristic. Ellingsrud-Peskine proved that smooth surfaces in P^4 are subject to strong limitations. Their whole argument is derived from the fact that the sectional genus of…
We consider smooth surfaces $S \subset \Pq$ containing a plane curve $P$ and prove some general result concerning the linear system $|H-P|$. We then look at regular surfaces lying on hypersurfaces of degree $s$ having a plane of…
This is an addendum to the paper of Braun and Fl{\o}ystad ([BF]) on the bound for the degree of a smooth surface in $\pfour$ not of general type. Using their construction and the regularity of curves in $\pthree$, one may lower the bound a…
Ellingsrud and Peskine (1989) proved that there exists a bound on the degree of smooth non general type surfaces in P^4. The latest proven bound is 52 by Decker and Schreyer in 2000. In this paper we consider bounds on the degree of a…
We prove that a smooth surface, non of general type, in projective four-space, which lies on a quartic hypersurface with isolated singularities has degree at most 27 (in fact we prove a slightly more general result).
The families of smooth rational surfaces in $\PP^4$ have been classified in degree $\le 10$. All known rational surfaces in $\PP^4$ can be represented as blow-ups of the plane $\PP^2$. The fine classification of these surfaces consists of…
In this paper we compute upper bounds for the number of ordinary triple points on a hypersurface in $P^3$ and give a complete classification for degree six (degree four or less is trivial, and five is elementary). But the real purpose is to…
We prove an effective bound for the degree of a smooth divisor of a hypersurface of P^n, n>4 (projective space over an algebraically closed field of characteristic zero). Our result follows from a strong (since the degree of the divisor is…
So far only six families of smooth irregular surfaces are known to exist in P^4 (up to pullbacks by suitable finite covers of P^4). These are the elliptic quintic scrolls, the minimal abelian and bielliptic surfaces (of degree 10), two…
This is a survey on the classification of smooth surfaces in P^4 and smooth 3-folds in P^5. We recall the corresponding results arising from adjunction theory and explain how to construct examples via syzygies. We discuss some examples in…
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…
The aim of the paper is to provide a series of new examples of smooth surfaces in P^4, not of general type, in degrees varying from 12 up to 14, and to describe their geometry. By using mainly syzygies and liaison techniques, we construct…
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.…
The aim of this paper is to prove two results concerning the rigidity of complete, immersed, orientable, stable minimal hypersurfaces: we show that they are hyperplane in $\mathbb{R}^4$, while they do not exist in positively curved closed…
We consider surfaces immersed in three-dimensional pseudohermitian manifolds. We define the notion of (p-)mean curvature and of the associated (p-)minimal surfaces, extending some concepts previously given for the (flat) Heisenberg group.…
We prove necessary and sufficient conditions for a smooth surface in a 4-manifold X to be pseudoholomorphic with respect to some almost complex structure on X. This provides a systematic approach to the construction of pseudoholomorphic…
Let Y be a surface with only finitely many singularities all of which are cusps. A set of cusps on Y is called three-divisible, if there is a cyclic global triple cover of Y branched precisely over these cusps. The aim of this note is to…
In (the surface of) a convex polytope P^3 in R^4, an area-minimizing surface avoids the vertices of P and crosses the edges orthogonally. In a smooth Riemannian manifold M with a group of isometries G, an area-minimizing G-invariant…
The Eckardt hypersurface in $\mathbb{P}^{19}$ parameterizes smooth cubic surfaces with an Eckardt point, which is a point common to three of the $27$ lines on a smooth cubic surface. We describe the cubic surfaces lying on the singular…