Related papers: On a Homma-Kim conjecture for nonsingular hypersur…

We show that the Zariski closure of the set of hypersurfaces of degree $M$ in ${\mathbb P}^{M}$, where $M\geq 5$, which are either not factorial or not birationally superrigid, is of codimension at least $\binom{M-3}{2}+1$ in the parameter…

We consider the space $F_n$ of configurations of $n$ points in $P^2$ satisfying the condition that no three of the points lie on a line. For $n = 4, 5, 6$, we compute $H^*(F_n; \mathbb{Q})$ as an $S_n$-representation. The cases $n = 5, 6$…

Here we prove that the Hilbert-Kunz mulitiplicity of a quadric hypersurface of dimension $d$ and odd characteristic $p\geq 2d-4$ is bounded below by $1+m_d$, where $m_d$ is the $d^{th}$ coefficient in the expansion of…

Let $X$ be a hypersurface with isolated singularities defined by $f$ in ${\bf P^{n+1}}$ with $n>1$. The difference ${\rm def}(X):=h^{n+1}(X)-h^{n-1}(X)$ is called the defect of $X$ (for self-duality of the cohomology of $X$). It is known…

Let $X= \mathbb{P}^1 \setminus \{0,1,\infty\}$, and let $S$ denote a finite set of prime numbers. In an article of 2005, Minhyong Kim gave a new proof of Siegel's theorem for $X$: the set $X(\mathbb{Z}[S^{-1}])$ of $S$-integral points of…

In 1979, B. Shiffman conjectured that if f is an algebraically nondegenerate holomorphic map of C into P^n and D_1,...,D_q are hypersurfaces in P^n in general position, then the sum of the defects is at most n+1. This conjecture was proved…

Consider a finite field $\mathbb{F}_q$ and positive integers $d,m,r$ with $1\leq r\leq \binom{m+d}{d}$. Let $S_d(m)$ be the $\mathbb{F}_q$ vector space of all homogeneous polynomials of degree $d$ in $X_0,\dots,X_m$. Let $e_r(d,m)$ be the…

Let $\mathcal{X}$ be a projective, irreducible, nonsingular algebraic curve over the finite field $\mathbb{F}_q$ with $q$ elements and let $|\mathcal{X}(\mathbb{F}_q)|$ and $g(\mathcal X)$ be its number of rational points and genus…

We establish an analytic Hasse principle for linear spaces of affine dimension m on a complete intersection over an algebraic field extension K of Q. The number of variables required to do this is no larger than what is known for the…

Let X be a smooth quasiprojective subscheme of P^n of dimension m >= 0 over F_q. Then there exist homogeneous polynomials f over F_q for which the intersection of X and the hypersurface f=0 is smooth. In fact, the set of such f has a…

We enumerate complex algebraic hypersurfaces in $P^n$, of a given (high) degree with one singular point of a given singularity type. Our approach is to compute the (co)homology classes of the corresponding equi-singular strata in the…

Let X be a geometrically smooth n-dimensional projective algebraic complex hypersurface in P^{n+1}(C). Using Green-Griffiths jets, we establish the existence of nonzero global algebraic differential equations that must be satisfied by every…

The probability for two monic polynomials of a positive degree n with coefficients in the finite field F_q to be relatively prime turns out to be identical with the probability for an n x n Hankel matrix over F_q to be nonsingular.…

Let $X/C$ be a general product of elliptic curves. Our goal is to establish the Hodge-D-conjecture for $X$. We accomplish this when $\dim X \leq 5$. For $\dim X \geq 6$, we reduce the conjecture to a matrix rank condition that is amenable…

Let $\mathcal{G}$ be the projective plane curve defined over $\mathbb{F}_q$ given by $$aX^nY^n-X^nZ^n-Y^nZ^n+bZ^{2n}=0,$$ where $ab\notin\{0,1\}$, and for each $s\in\{2,\ldots,n-1\}$, let $\mathcal{D}_s^{P_1,P_2}$ be the base-point-free…

Let X be a complete intersection of two hypersurfaces F_n and F_k in the projective space P^5 of degree n and k respectively with n >= k, such that the singularities of X are nodal and F_k is smooth. We prove that if the threefold X has at…

The Segre-Gimigliano-Harbourne-Hirschowitz Conjecture can be naturally formulated for Hirzebruch surfaces F_n. We show that this Conjecture holds for imposed base points of equal multiplicity bounded by 8.

Let f(1)=1, and let f(n+1)=2^{2^{f(n)}} for every positive integer n. We conjecture that if a system S \subseteq {x_i \cdot x_j=x_k: i,j,k \in {1,...,n}} \cup {x_i+1=x_k: i,k \in {1,...,n}} has only finitely many solutions in non-negative…

In a recent paper by Cook, et al., which introduced the concept of unexpected plane curves, the focus was on understanding the geometry of the curves themselves. Here we expand the definition to hypersurfaces of any dimension and, using…

We classify curvature homogeneous hypersurfaces in S^4 and H^4. In higher dimesnsion one only has the FKM examples and an isolate one by Tsukada of a hypersurface in H^5. Besides some simple examples, we show that there exists an isolated…