We prove that the Hilbert-Kunz function of the ideal (I, It) of the Rees algebra R(I), where I is an m-primary ideal of a 1-dimensional local ring (R, m), is a quasi-polynomial in e, for large e. For s ∈ N, we calculate the Hilbert-Samuel function of the R-module I [s] and obtain an explicit description of the generalized Hilbert-Kunz function of the ideal (I, It)R(I) when I is a parameter ideal in a Cohen-Macaulay local ring of dimension d ≥ 2, proving that the generalized

RESULTSLet R be a noetherian ring and I an R-ideal. The Rees algebra of R with respect to I is R R (I) := ⊕ n≥0 I n ; the extended Rees algebra of R with respect to I is R ′ R (I) := ⊕ n∈Z I n , where, for n ≤ 0 I n := R.Several authors have studied the singularities of Rees algebras: E. Hyry [Hyr99] for rational singularties in characteristic zero; A. K. Singh [Sin00] in prime characteristic for strong Fregularity and F-purity; and N. Hara, K.-i. in prime characteristic for F-rationality and F-regularity respectively.In this article, we study the F-rationality of R R (I) and R ′ R (I). Our primary aim is to understand some questions of N. Hara, K.-i. Watanabe and K.-i. Yoshida [HWY02a, Section 1], which ask for necessary and sufficient conditions for Rees algebras to be F-rational. We list our results below, postponing definitions to Section 2. Theorem 1.1. Let (R, m) be an excellent local domain of prime characteristic and I an m-primary R-ideal. Then the following are equivalent:This settles [HWY02a, Conjecture 4.1] which asserted the conclusion of the above theorem. That the F-rationality of R R (I) implies the F-rationality of R ′ R (I) is [HWY02a, Theorem 4.2], but we give a different proof, which follows directly from some observations on the tight closure of zero in the local cohomology modules of R R (I) and of R ′ R (I) and on the F-rationality of Proj R R (I) that we discuss in Section 3. As applications of the results of Section 3, we get a sufficient (but not necessary) condition for the F-rationality of R given the F-rationality of R R (I) (Proposition 4.3) and recover [HWY02a, Theorem 3.1] about the F-rationality of Rees algebras of integrally closed ideals in two-dimensional F-rational rings (Theorem 4.5).Our next result partially answers [HWY02a, Question 3.7], which asked whether the result holds (for R R (I)), without any restriction on the dimension. Since our proof uses the principalization result of V. Cossart and O. Piltant [CP08, Proposition 4.2], we put some conditions on R.Theorem 1.2. Let R be a three-dimensional finite-type domain over a field of prime characteristic and m a maximal ideal. Assume that R is a rational singularity. Let I be an m-primary ideal. Let S be a graded R-algebra with R R (I) ⊆ S ⊆ R R (I). Suppose that Proj S is F-rational. Then the ring ⊕ n≥0 S Nn is F-rational for every integer N ≫ 0. This paper arose from trying to understand whether the results of Hyry [Hyr99] (who, in characteristic zero, relate the rationality of a Rees algebra to that of the corresponding blow-up) have counterparts for F-rationality.2010 Mathematics Subject Classification. Primary: 13A30, 13A35.In Section 2, we give the definitions, some known results needed in our proofs and some preliminary lemmas. The subsequent sections contain the proofs of the above theorems.Acknowledgements. We thank the referee for his/her comments.

For polynomial ideals in positive characteristic, defining F‐split rings and admitting a squarefree monomial initial ideal are different notions. In this note, we show that, however, there are strong interactions in both directions. Moreover, we provide an overview on which F‐singularities are Gröbner deforming. Also, we prove the following characteristic‐free statement: If p$\mathfrak {p}$ is a height h prime ideal such that infalse(pfalse(hfalse)false)$\mathrm{in}(\mathfrak {p}^{(h)})$ contains at least one squarefree monomial, then infalse(frakturpfalse)$\mathrm{in}(\mathfrak {p})$ is a squarefree monomial ideal.

No abstract

No abstract