Related papers: The F-pure threshold of quasi-homogeneous polynomi…
Let $f_1,\dots,f_m$ be polynomials in $n$ variables with coefficients in a finite field $\mathbb{F}_q$. We estimate the number of points $\underline{x}$ in $\mathbb{F}_q^n$ such that each value $f_i(\underline{x})$ is a nonzero square in…
This paper describes a method for computing all F-pure ideals for a given Cartier map of a polynomial ring over a finite field.
Given $k\ge 2$ and two $k$-graphs ($k$-uniform hypergraphs) $F$ and $H$, an \emph{$F$-factor} in $H$ is a set of vertex disjoint copies of $F$ that together covers the vertex set of $H$. Lenz and Mubayi studied the $F$-factor problems in…
Exact solution to many problems in mathematical physics and quantum field theory often can be expressed in terms of an algebraic curve equipped with a meromorphic differential. Typically, the geometry of the curve can be seen most clearly…
We give a deterministic method of quasi-polynomial complexity to approximate the volume of the intersection of the unit hypercube with two specific sets. The method can actually be applied (without losing the quasi-polynomial complexity) to…
We use the "closed point sieve" to prove a variant of a Bertini theorem over finite fields. Specifically, given a smooth quasi-projective subscheme X of P^n of dimension m over F_q, and a closed subscheme Z in P^n such that Z intersect X is…
The log canonical thresholds of irreducible quasi-ordinary hypersurface singularities are computed, using an explicit list of pole candidates for the motivic zeta function found by the last two authors.
According to the classification of quasihomogeneus singularities, any polynomial $f$ defining such singularity has a decomposition $f = f_\kappa + f_{add}$. The polynomial $f_\kappa$ is of the certain form while $f_{add}$ is only restricted…
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…
A plane curve $C$ in $\mathbb{P}^2$ defined over $\mathbb{F}_q$ is called plane-filling if $C$ contains every $\mathbb{F}_q$-point of $\mathbb{P}^2$. Homma and Kim, building on the work of Tallini, proved that the minimum degree of a smooth…
A univariate polynomial f over a field is decomposable if it is the composition f = g(h) of two polynomials g and h whose degree is at least 2. We determine the dimension (over an algebraically closed field) of the set of decomposables, and…
For any bipartite graph $H$, we determine a minimum degree threshold for a balanced bipartite graph $G$ to contain a perfect $H$-tiling. We show that this threshold is best possible up to a constant depending only on $H$. Additionally, we…
We study quasi-$F^e$-split and quasi-$F$-regular singularities, which generalize Yobuko's quasi-$F$-splitting. We establish Fedder type criteria that characterize these properties for hypersurfaces. These criteria offer explicit tools for…
Let $k$ be a field of positive characteristic and $R = k[x_0,\dots, x_n]$. We consider ideals $I\subseteq R$ generated by homogeneous polynomials of degree $d$. Takagi and Watanabe proved that $\mathrm{fpt}(I)\geq \mathrm{height}(I)/d$; we…
Let $f(\bfz,\bar\bfz)$ be a mixed strongly polar homogeneous polynomial of $3$ variables $\bfz=(z_1,z_2, z_3)$. It defines a Riemann surface $V:=\{[\bfz]\in \BP^{2}\,|\,f(\bfz,\bar\bfz)=0 \}$ in the complex projective space $\BP^{2}$. We…
In this paper, we give results that partially prove a conjecture which was discussed in our previous work (arXiv:1307.4991). More precisely, we prove that as $n\to \infty,$ the zeros of the polynomial$${}_{2}\text{F}_{1}\left[…
We introduce a new criterion providing a sufficient condition for a hypersurface in an unramified regular local ring to be perfectoid pure. The criterion is formulated in terms of an explicitly computable sequence of integers, called the…
We continue our study of F-thresholds begun in math/0607660 by an in depth analysis of the hypersurface case. We use the D--module theoretic description of generalized test ideals which allows us to show that in any F--finite regular ring…
Let $X$ be either a general hypersurface of degree $n+1$ in $\mathbb P^n$ or a general $(2,n)$ complete intersection in $\mathbb P^{n+1}, n\geq 4$. We construct balanced rational curves on $X$ of all high enough degrees. If $n=3$ or $g=1$,…
Let $\K$ be a field and $(f_1, \ldots, f_n)\subset \K[X_1, \ldots, X_n]$ be a sequence of quasi-homogeneous polynomials of respective weighted degrees $(d_1, \ldots, d_n)$ w.r.t a system of weights $(w_{1},\dots,w_{n})$. Such systems are…