We prove analogues of several well-known results concerning rational morphisms between quadrics for the class of so-called quasilinear $p$-hypersurfaces. These hypersurfaces are nowhere smooth over the base field, so many of the geometric methods which have been successfully applied to the study of projective homogeneous varieties over fields cannot be used. We are therefore forced to take an alternative approach, which is partly facilitated by the appearance of several non-traditional features in the study of these objects from an algebraic perspective. Our main results were previously known for the class of quasilinear quadrics. We provide new proofs here, because the original proofs do not immediately generalise for quasilinear hypersurfaces of higher degree.
We show that for every morphism f between nonsingular hypersurfaces of dimension at least 3 and of general type in projective space, there is an everywhere defined endomorphism F of projective space that restricts to f. As a corollary, we see that if X,Y are nonsingular hypersurfaces of general type of dimension at least 3 such that there is a nonconstant morphism f from X to Y, then degY divides degX with quotient q, and moreover the endomorphism F of projective space is given by polynomials of degree q.
This paper studies the existence of free and very free curves on the degree 5 Fermat hypersurface in P^5 over a field of characteristic 2. We find that such curves exist in degrees 8 and 9 and not in lower degrees.
We show that every morphism from a degree 5 hypersurface in 4-dimensional projective space to a nonsingular degree 3 hypersurface in 4-dimensional projective space is necessarily constant. In the process, we also classify morphisms from the projective plane to nonsingular cubic threefolds given by degree 3 polynomials.
We study the geometry of the morphism between moduli spaces of hypersurfaces in $\mathbb P^{n-1}$ that sends a smooth hypersurface of degree $d+1$ to its associated hypersurface of degree $n(d-1)$. As a result, we obtain a compactification of the moduli space of smooth hypersurfaces such that the induced rational map from the standard GIT compactification often contracts the discriminant divisor.
Special fibrations of toric varieties have been used by physicists, e.g. the school of Candelas, to construct dual pairs in the study of Het/F-theory duality. Motivated by this, we investigate in this paper the details of toric morphisms between toric varieties. In particular, a complete toric description of fibers - both generic and non-generic -, image, and the flattening stratification of a toric morphism are given. Two examples are provided to illustrate the discussions. We then turn to the study of the restriction of a toric morphism to a toric hypersurface. The details of this can be und…
We build two embedded resolution procedures of a quasi-ordinary singularity of complex analytic hypersurface, by using toric morphisms which depend only on the characteristic monomials associated to a quasi-ordinary projection of the singularity. This result answers an open problem of Lipman in Equisingularity and simultaneous resolution of singularities, Resolution of Singularities, Progress in Mathematics No. 181, 2000, 485-503. In the first procedure the singularity is embedded as hypersurface. In the second procedure, which is inspired by a work of Goldin and Teissier for plane curves (see…
In this paper we define and study real fibered morphisms. Such morphisms arise in the study of real hyperbolic hypersurfaces in projective space and other hyperbolic varieties. We show that real fibered morphisms are intimately connected to Ulrich sheaves admitting positive definite symmetric bilinear forms.
Let X/S be a quasi-projective morphism over an affine base. We develop in this article a technique for proving the existence of closed subschemes H/S of X/S with various favorable properties. We offer several applications of this technique, including the existence of finite quasi-sections in certain projective morphisms, and the existence of hypersurfaces in X/S containing a given closed subscheme C, and intersecting properly a closed set F. Assume now that the base S is the spectrum of a ring R such that for any finite morphism Z -> S, Pic(Z) is a torsion group. This condition is satisfied if…
In this note we study rational curves on degree $p^r+1$ Fermat hypersurface in $\PP^{p^r+1}_k$, where $k$ is an algebraically closed field of characteristic $p$. The key point is that the presence of Frobenius morphism makes the behavior of rational curves to be very different from that of charateristic 0. We show that if there exists $N_0$ such that for all $e\geq N_0$ there is a degree $e$ very free rational curve on $X$, then $N_0> p^r(p^r-1)$.
We use a counting argument and surgery theory to show that if $D$ is a sufficiently general algebraic hypersurface in $\Bbb C^n$, then any local diffeomorphism $F:X \to \Bbb C^n$ of simply connected manifolds which is a $d$-sheeted cover away from $D$ has degree $d=1$ or $d=\infty$ (however all degrees $d > 1$ are possible if $F$ fails to be a local diffeomorphism at even a single point). In particular, any étale morphism $F:X \to \Bbb C^n$ of algebraic varieties which covers away from such a hypersurface $D$ must be birational.
Let ${\mathcal Q}_n^d$ be the vector space of homogeneous forms of degree $d\ge 3$ on ${\mathbb C}^n$, with $n\ge 2$. The object of our study is the map $Φ$, introduced in earlier articles by J. Alper, M. Eastwood and the author, that assigns to every form for which the discriminant $Δ$ does not vanish the so-called associated form lying in the space ${\mathcal Q}_n^{n(d-2)*}$. This map is a morphism from the affine variety $X_n^d:=\{f\in{\mathcal Q}_n^d:Δ(f)\ne 0\}$ to the affine space ${\mathcal Q}_n^{n(d-2)*}$. Letting $p$ be the smallest integer for which the product $Δ^pΦ$ extends to a mo…
In this paper, we extend our result in [3] to hypersurfaces of any smooth projective variety $Y$. Precisely we let $X_0$ be a generic hypersurface of $Y$ and $c_0:\mathbf P^1\to X_0$ be a generic birational morphism to its image, i.e. $c_0\in Hom_{bir}(\mathbf P^1, X_0)$ is generic, such that (1) $dim(X_0)\geq 3$, (2) $H^1( N_{c_0/Y})=0$. Then \begin{equation} H^1(N_{c_0/X_0})=0. \end{equation} As an application we prove that the Clemens' conjecture holds for Calabi-Yau complete intersections of dimension 3.
Let $A$ be an integral $k$-algebra of finite type over an algebraically closed field $k$ of characteristic $p>0$. Given a collection ${\cal{D}}$ of $k$-derivations on $A$, that we interpret as algebraic vector fields on $X=Spec(A)$, we study the group spanned by the hypersurfaces $V(f)$ of $X$ invariant for ${\cal{D}}$ modulo the rational first integrals of ${\cal{D}}$. We prove that this group is always a finite $\mathbb{Z}/p$-vector space, and we give an estimate for its dimension. This is to be related to the results of Jouanolou and others on the number of hypersurfaces invariant for a fol…
This paper presents two approaches to reducing problems on $2$-cycles on a smooth cubic hypersurface $X$ over an algebraically closed field of characteristic $\neq 2$, to problems on $1$-cycles on its variety of lines $F(X)$. The first one relies on bitangent lines of $X$ and Tsen-Lang theorem. It allows to prove that $\mathrm{CH}_2(X)$ is generated, via the action of the universal $\mathbb P^1$-bundle over $F(X)$, by $\mathrm{CH}_1(F(X))$. When the characteristic of the base field is $0$, we use that result to prove that if $dim(X)\geq 7$, then $\mathrm{CH}_2(X)$ is generated by classes of pl…
Suppose M is a complex manifold of dimension $n+1$ and K is a hypersurface in M. By Poincaré duality we define a residue morphism $res:H^{k+1}(M\setminus K)\longrightarrow H_{2n-k}(K)$ which generalizes the classical Leray residue morphism to cohomology for smooth K. We assume that K has isolated quasihomogeneous singularities. Suppose $ω$ is a holomorphic form of the type $(n+1,0)$ with the first order pole on K. The purpose of this note is to give a short, self contained proof of a criterion which tells us when the residue of $ω$ lifts to the intersection homology of K.
Let $K$ be a number field, let $ϕ\in K(t)$ be a rational map of degree at least 2, and let $α, β\in K$. We show that if $α$ is not in the forward orbit of $β$, then there is a positive proportion of primes ${\mathfrak p}$ of $K$ such that $α\mod {\mathfrak p}$ is not in the forward orbit of $β\mod {\mathfrak p}$. Moreover, we show that a similar result holds for several maps and several points. We also present heuristic and numerical evidence that a higher dimensional analog of this result is unlikely to be true if we replace $α$ by a hypersurface, such as the ramification locus of a morphism …
Given a geometrically irreducible subscheme X in P^n over F_q of dimension at least 2, we prove that the fraction of degree d hypersurfaces H such that the intersection of H and X is geometrically irreducible tends to 1 as d tends to infinity. We also prove variants in which X is over an extension of F_q, and in which the immersion of X in P^n is replaced by a more general morphism.
