Related papers: Bertini theorems over finite fields
Let A be a finitely generated algebra over a field K of characteristic p >0. We introduce a subring of the ring of Witt vectors W(A). We call it the ring of overconvergent Witt vectors. We prove that on a scheme X of finite type over K the…
Let $M$ be an $n$-dimensional smooth oriented complete embedded minimal hypersurface in $\mathbb{R}^{n+1}$ with Euclidean volume growth. We show that if the image under the Gauss map of $M$ avoids some neighborhood of a half-equator, then…
A closed subscheme of codimension two $T \subset P^2$ is a quasi complete intersection (q.c.i.) of type $(a,b,c)$ if there exists a surjective morphism $\mathcal{O} (-a) \oplus \mathcal{O} (-b) \oplus \mathcal{O} (-c) \to \mathcal{I} _T$.…
In this work, we consider a pair $(\textbf{X},0)$ and $(\textbf{Y},0)$ of hypersurfaces in $(\mathbb{C}^{n+1},0)$ parametrized by finitely determined, quasihomogeneous map germs $f$ and $g,$ respectively. Zariski asked whether the…
Inspired by the work of Bhatt and Singh (see: arXiv:1307.1171) we compute the $F$-pure threshold of quasi-homogeneous polynomials. We first consider the case of a curve given by a quasi-homogeneous polynomial $f$ in three variables $x,y,z$…
We prove various results on the size and structure of subsets of vector spaces over finite fields which, in some sense, have too many mutually orthogonal pairs of vectors. In particular, we obtain sharp finite field variants of a theorem of…
Given a base point free linear system on an algebraic variety, many classes of singularities are stable under taking suitable members after enlarging the base field. We establish analogous results when the base ring is an excellent ring.
We prove the existence of rotational hypersurfaces in $\mathbb{H}^n\times \mathbb{R}$ with $H_{r+1}=0$ and we classify them. Then we prove some uniqueness theorems for $r$-minimal hypersurfaces with a given (finite or asymptotic) boundary.…
We give a Belyi-type characterisation of smooth complete intersections of general type over $\mathbb{C}$ which can be defined over $\bar{\mathbb{Q}}$. Our proof uses the higher-dimensional analogue of the Shafarevich boundedness conjecture…
Zernike polynomials are a basis of orthogonal polynomials on the unit disk that are a natural basis for representing smooth functions. They arise in a number of applications including optics and atmospheric sciences. In this paper, we…
If $\vf_1, ... \vf_m\colon\Z\to\Z^\ell$ are polynomials with zero constant terms and $E\subset\Z^\ell$ has positive upper Banach density, then we show that the set $E\cap (E-\vf_1(p-1))\cap\...\cap (E-\vf_m(p-1))$ is nonempty for some prime…
We use Poonen's closed point sieve to prove two independent results. First, we show that the obvious obstruction to embedding a curve in a smooth surface is the only obstruction over a perfect field, by proving the finite field analogue of…
Let F be a class of functions with the uniqueness property: if a function f in F vanishes on a set of positive measure, then f is the zero function. In many instances, we would like to have a quantitative version of this property, e.g. a…
Let X be a smooth hypersurface in projective space. We discuss in this paper when X can be defined by an equation det M = 0 (resp. pf M = 0), where M is a matrix (resp. a skew-symmetric matrix) with homogeneous entries. Standard homological…
Let $X^n$ be a hypersurface in $\mathbb{P}^{n+1}$ with $n\geq 1$ defined over a finite field $\mathbb{F}_q$ of $q$ elements. In this note, we classify, up to projective equivalence, hypersurfaces $X^n$ as above which reach two elementary…
We show that the BF theory in any space-time dimension, when quantized in a certain linear covariant gauge, possesses a vector supersymmetry. The generator of the latter together with those of the BRS transformations and of the translations…
In this expository article, we prove a birational classification of smooth projective models of surfaces with negative Kodaira dimension over $\mathbb{Z}$ and over more general rings of integers $\mathcal{O}_K$, depending on their…
In previous work, we proposed a general framework of positive topological field theories (TFTs) based on Eilenberg's notion of summation completeness for semirings. In the present paper, we apply this framework in constructing explicitly a…
We realise Buchweitz and Flenner's semiregularity map (and hence a fortiori Bloch's semiregularity map) for a smooth variety $X$ as the tangent of a generalised Abel--Jacobi map on the derived moduli stack of perfect complexes on $X$. The…
The following ``Key Lemma'' plays an important role in Parusinski's work on the existence of Lipschitz stratifications in the class of semianalytic sets: For any positive integer n, there is a finite set of homogeneous symmetric polynomials…