Related papers: F-invariants of diagonal hypersurfaces
We study the asymptotic proportion of smooth plane curves over a finite field $\mathbb{F}_q$ which are tangent to every line defined over $\mathbb{F}_q$. This partially answers a question raised by Charles Favre. Our techniques include…
Fix a hypergraph $\mathcal{F}$. A hypergraph $\mathcal{H}$ is called a {\it Berge copy of $\mathcal{F}$} or {\it Berge-$\mathcal{F}$} if we can choose a subset of each hyperedge of $\mathcal{H}$ to obtain a copy of $\mathcal{F}$. A…
With the help of Van der Corput lemmas, decay estimates are proven for Fourier transforms of mixed homogeneous hypersurface measures with densities that can be quite irregular. The primary results are local in nature, but can be extended to…
We provide enumerative formulas for the degrees of varieties parameterizing hypersurfaces and complete intersections which contain pro-jective subspaces and conics. Besides, we find all cases where the Fano scheme of the general complete…
We introduce the notion of Fermi flow for hypersurfaces in Riemannian manifolds. It turns out that this is a powerful tool to study the geometry of distance surfaces about a given initial hypersurface. Some of the results in this paper are…
The $F$-signature of a local ring of prime characteristic is a numerical invariant that detects many interesting properties. For example, this invariant detects (non)singularity and strong $F$-regularity. However, it is very difficult to…
We associate to every graph a linear program for packings of vertex disjoint paths. We show that the optimal primal and dual values of the corresponding integer program are the binomial grade and height of the binomial edge ideal of the…
We proof existence theorems for the Dirichlet problem for hypersurfaces of constant special Lagrangian curvature in Hadamard manifolds. The first results are obtained using the continuity method and approximation and then refined using two…
Traditional algebraic geometric invariants lose some of their potency in positive characteristic. For instance, smooth projective hypersurfaces may be covered by lines despite being of arbitrarily high degree. The purpose of this…
We study automorphisms of quasi-smooth hypersurfaces in weighted projective spaces, extending classical results for smooth hypersurfaces in projective space to the weighted setting. We establish effective criteria for when a power of a…
Hirose, Watanabe and Yoshida conjectured a criterion for a standard graded strongly $F$-regular ring to be Gorenstein in terms of the $F$-pure threshold. We complete the proof of this conjecture. We also prove natural extensions of the…
Given a square, nonsingular matrix of univariate polynomials $\mathbf{F} \in \mathbb{K}[x]^{n \times n}$ over a field $\mathbb{K}$, we give a fast, deterministic algorithm for finding the Hermite normal form of $\mathbf{F}$ with complexity…
We define the big crystalline site for a log scheme and prove the basic properties. In particular, we show the boundedness, base change, and perfectness theorems for the crystalline higher direct image of quasi-coherent crystals between…
We show that the use of the main characteristics of the circle map leads naturally to establish a few statements on primes and pseudoprimes. In this way a Fermat's theorem on primes and some interesting properties of pseudoprimes are…
We show that a Fuchsian differential equation having five regular singular points admits solutions in terms of a single generalized hypergeometric function for infinitely many particular choices of equation parameters. Each solution assumes…
We show that the intersection of the irreducible components of a hypersurface defined by a polynomial with square-free support has F-rational singularities in characteristic $p>0$. As a consequence, we obtain that hypersurfaces defined by…
Let $\mathbb{F}_q$ be a finite field with $q=p^t$ elements. In this paper, we study the number of solutions of equations of the form $a_1 x_1^{d_1}+\dots+a_s x_s^{d_s}=b$ over $\mathbb{F}_q$. A classic well-konwn result from Weil yields a…
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 give upper bounds for the dimension of the set of hypersurfaces of $\mathbb{P}^N$ whose intersection with a fixed integral projective variety is not integral. Our upper bounds are optimal. As an application, we construct, when possible,…
Let $f$ be a diagonal hypersurface in $A_p=\mathbb{F}_p[[x_1,\dots,x_n]]$. We study the behavior of the function $\phi_{f,p}({a}/{p^e})=p^{-ne}\dim_{\mathbb{F}_p}\big(A_p/(x_1^{p^e},\dots,x_n^{p^e},f^a)\big)$ which encodes information about…