Related papers: Bertini theorems over finite fields
We prove an identity of Segre classes for zero-schemes of compatible sections of two vector bundles. Applications include bounds on the number of equations needed to cut out a scheme with the same Segre class as a given subscheme of (for…
In this article, we establish an analogue of the dimension growth conjecture, which is regarding the density of rational points on projective varieties, for compact submanifolds of $\mathbb{R}^n$ with non-vanishing curvature. We also…
Let $X$ be an irreducible projective variety and $f$ a morphism $X \rightarrow \mathbb{P}^n$. We give a new proof of the fact that the preimage of any linear variety of dimension $k\ge n+1-\dim f(X)$ is connected. We prove that the…
The Zariski theorem says that for every hypersurface in a complex projective (resp. affine) space of dimension at least 3 and for every generic plane in the projective (resp. affine) space the natural embedding generates an isomorphism of…
We discuss properties of complex algebraic orbifold groups, their characteristic varieties, and their abelian covers. In particular, we deal with the question of (quasi)-projectivity of orbifold groups. We also prove a structure theorem for…
Let $D$ be a disk in $\mathbb{R}^n$ and $f\in C^{r+2}(D, \mathbb{R}^k)$. We deal with the problem of the algebraic approximation of the set $j^{r}f^{-1}(W)$ consisting of the set of points in the disk $D$ where the $r$-th jet extension of…
We employ the formalism of vanishing cycles and perverse sheaves to introduce and study the vanishing cohomology of complex projective hypersurfaces. As a consequence, we give upper bounds for the Betti numbers of projective hypersurfaces,…
Let $Q(x)$ be a quadratic form over $\mathbb{R}^n$. The Epstein zeta function associated to $Q(x)$ is a well known function in number theory. We generalize the construction of the Epstein zeta function to a class of function $\phi(x)$…
Hazewinkel proved the Ditters conjecture that the algebra of quasisymmetric functions over the integers is free commutative by constructing a nice polynomial basis. In this paper we prove a structure theorem for the algebra of peak…
We show that smooth cubic hypersurfaces of dimension $n$ defined over a finite field ${\bf F}_q$ contain a line defined over ${\bf F}_q$ in each of the following cases: - $n=3$ and $q\ge 11$; - $n=4$ and $q\ne 3$; - $n\ge 5$. For a smooth…
Let $X$ be an algebraic variety over a finite field $\bF_q$, homogeneous under a linear algebraic group. We show that the number of rational points of $X$ over $\bF_{q^n}$ is a periodic polynomial function of $q^n$ with integer…
A hypersurface is said to be quasihomogeneous if in suitable coordinates with assigned weights, its equation becomes weighted homogeneous in its variables. For an irreducible quasihomogeneous plane curve, the equation necessarily becomes a…
A differential form vanishing on the tangent space at smooth points of a reduced embedded analytic germ is called conormal. For proving that a conormal one--form of a hypersurface vanishes at its singularities we state a Bertini--type…
A smooth Hermitian surface $X$ is a projective surface isomorphic to the Fermat surface of degree $q+1$ in positive characteristic. We study incidence relations of the rational curves of degree $q+1$ contained in $X$, and show that such…
Let $X$ be a projective variety over a number field $K$ (resp. over $\mathbb{C}$). Let $H$ be the sum of ``sufficiently many positive divisors'' on $X$. We show that any set of quasi-integral points (resp. any integral curve) in $X-H$ is…
Let $K$ be the function field of a smooth curve over an algebraically closed field $k$. Let $X$ be a scheme, which is smooth and projective over $K$. Suppose that the cotangent bundle $\Omega_{X/K}$ is ample. Let $R:={\rm Zar}(X)(K)\cap X)$…
We use stratified Morse theory for a manifold with corners to give a new bound for the sum of the Betti numbers of a hypersurface in R^n_> defined by a polynomial with n+l+1 terms.
A smooth affine hypersurface Z of complex dimension n is homotopy equivalent to an n-dimensional cell complex. Given a defining polynomial f for Z as well as a regular triangulation of its Newton polytope, we provide a purely combinatorial…
Let $F$ be a non-singular homogeneous polynomial of degree $d$ in $n$ variables. We give an asymptotic formula of the pairs of integer points $(\mathbf x, \mathbf y)$ with $|\mathbf x| \le X$ and $|\mathbf y| \le Y$ which generate a line…
We discuss some properties of the moduli of smoothness with Jacobi weights that we have recently introduced and that are defined as \[ \omega_{k,r}^\varphi(f^{(r)},t)_{\alpha,\beta,p} :=\sup_{0\leq h\leq t} \left\|…