Related papers: F-thresholds of hypersurfaces
We show that a semisimple overconvergent "absolutely unit-root" F-isocrystal on a geometrically connected smooth variety over a finite field becomes constant over a finite covering.
Using the description of the Frobenius limit of modules over the ring of invariants under an action of a finite group on a polynomial ring over a field of characteristic $p>0$ developed by Symonds and the author, we give a characterization…
Let $(R,\frak m)$ be an excellent generalized Cohen-Macaulay local ring of dimension $d$ that is $F$-injective on the punctured spectrum. Let $\frak q$ be a standard parameter ideal of $R$. The aim of the paper is to prove that…
Let $(R,\mathfrak{m},K)$ be an $F$-finite Noetherian local ring which has a canonical ideal $I \subsetneq R$. We prove that if $R$ is $S_2$ and $H^{d-1}_{\mathfrak{m}}(R/I)$ is a simple $R\{F\}$-module, then $R$ is a strongly $F$-regular…
We study the symbolic powers of determinantal ideals of generic, generic symmetric, and Hankel matrices of variables, and of Pfaffians of generic skew-symmetric matrices, in prime characteristic. Specifically, we show that the limit…
Given a prime number $p$ and a positive integer $m$, we provide a family of diagonal hypersurfaces $\{ f_n \}_{n = 1}^{\infty}$ in $m$ variables, for which the denominator of $\text{ fpt } (f_{n})$ (in lowest terms) is always $p$ and whose…
We study arithmetical and geometrical properties of maximal curves, that is, curves defined over the finite field F_{q^2} whose number of F_{q^2}-rational points reaches the Hasse-Weil upper bound. Under a hypothesis on non-gaps at a…
A regular F-manifold is an F-manifold (with Euler field) (M, \circ, e, E), such that the endomorphism {\mathcal U}(X) := E \circ X of TM is regular at any p\in M. We prove that the germ ((M,p), \circ, e, E) is uniquely determined (up to…
This paper shows the existence of ideals whose localizations and completions at prime ideals are parameter test ideals of the localized and completed rings. We do this for Cohen-Macaulay localizations (resp., completions) of non-local…
Let $J$ be any ideal in a strongly $F$-regular, diagonally $F$-split ring $R$ essentially of finite type over an $F$-finite field. We show that $J^{s+t} \subseteq \tau(J^{s - \epsilon}) \tau(J^{t-\epsilon})$ for all $s, t, \epsilon > 0$ for…
Let $R$ be a commutative ring and $S \subseteq R$ be a multiplicative subset. We introduce and study the concept of $S$-purity based on the notion of $S$-strongly flat modules. The class of $S$-pure injective modules will be studied. We…
For a reduced F-finite ring R of characteristic p >0 and q=p^e one can write R^{1/q} = R^{a_q} \oplus M_q, where M_q has no free direct summands over R. We investigate the structure of F-finite, F-pure rings R by studying how the numbers…
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$…
Let $X$ be a smooth scheme over a finite field. It is conjectured that a convergent $F$-isocrystal on $X$ is overconvergent if its restriction to every curve contained in $X$ is overconvergent. Using the theory of \'etale and crystalline…
Let $R=k[x_1,..., x_n]$ be a polynomial ring over a field $k$ of characteristic $p>0,$ let $\m=(x_1,..., x_n)$ be the maximal ideal generated by the variables, let $^*E$ be the naturally graded injective hull of $R/\m$ and let $^*E(n)$ be…
We discuss Matijevic-Roberts type theorem on strong $F$-regularity, $F$-purity, and Cohen-Macaulay $F$-injective (CMFI for short) property. Related to this problem, we also discuss the base change problem and the openness of loci of these…
A set $\mathcal{S}$ of points in $\mathbb{R}^n$ is called a rationally parameterisable hypersurface if $\mathcal{S}=\{\boldsymbol{\sigma}(\mathbf{t}): \mathbf{t} \in D\}$, where $\boldsymbol{\sigma}: \mathbb{R}^{n-1} \rightarrow…
In this paper, we give the complete characterization of f-ideals of degree d greater or equal to 2.
We use the Aubry-Perret bound for singular curves, a generalization of the Hasse-Weil bound, to prove the following curious result about rational functions over finite fields: Let $f(X),g(X)\in\Bbb F_q(X)\setminus\{0\}$ be such that $q$ is…
We generalize Griffiths' theorem on the Hodge filtration of the primitive cohomology of a smooth projective hypersurface, using the local Bernstein-Sato polynomials, the V-filtration of Kashiwara and Malgrange along the hypersurface and the…