In this paper, we ask the following question: what is the minimal value of the difference $e_{HK}(I) - e_{HK}(I')$ for ideals $I' \supseteq I$ with $l_A(I'/I) =1$? In order to answer to this question, we define the notion of minimal Hilbert-Kunz multiplicity for strongly F-regular rings. Moreover, we calculate this invariant for quotient singularities and for the coordinate ring of the Segre embedding: $P^{r-1} \times P^{s-1} \hookrightarrow P^{rs-1}$, respectively.
In this paper, we estimate the Hilbert-Kunz multiplicity of the (extended) Rees algebras in terms of some invariants of the base ring. Also, we give an explicit formula for the Hilbert-Kunz multiplicities of Rees algebras over Veronese subrings.
We prove that the Hilbert-Kunz multiplicity is upper semi-continuous in F-finite rings and algebras of essentially finite type over an excellent local ring.
We define a function, called s-multiplicity, that interpolates between Hilbert-Samuel multiplicity and Hilbert-Kunz multiplicity by comparing powers of ideals to the Frobenius powers of ideals. The function is continuous in s, and its value is equal to Hilbert-Samuel multiplicity for small values of s and is equal to Hilbert-Kunz multiplicity for large values of s. We prove that it has an Associativity Formula generalizing the Associativity Formulas for Hilbert-Samuel and Hilbert-Kunz multiplicity. We also define a family of closures such that if two ideals have the same s-closure then they ha…
We show that the Hilbert-Kunz multiplicity of a $d$-dimensional nonregular complete intersection over the algebraic closure of $F_p$, $p>2$ prime, is bounded by below by the Hilbert-Kunz multiplicity of the hypersurface $\sum _{i=0}^{d} x_i^2=0$, answering positively a conjecture of Watanabe and Yoshida in the case of complete intersections.
Let $R$ be a local ring of characteristic $p>0$ which is $F$-finite and has perfect residue field. We compute the generalized Hilbert-Kunz invariant for certain modules over several classes of rings: hypersurfaces of finite representation type, toric rings, $F$-regular rings.
In this paper we give new lower bounds on the Hilbert-Kunz multiplicity of unmixed non-regular local rings, bounding them uniformly away from one. Our results improve previous work of Aberbach and Enescu.
We establish the continuity of Hilbert-Kunz multiplicity and F-signature as functions from a Cohen-Macaulay local ring $(R,\m,k)$ of prime characteristic to the real numbers at reduced parameter elements with respect to the $\m$-adic topology.
We give bounds for the Hilbert-Kunz multiplicity of the product of two ideals, and we characterize the equality in terms of the tight closures of the ideals. Connections are drawn with $*$-spread and with ordinary length calculations.
We prove that the Hilbert-Kunz function of the ideal $(I,It)$ of the Rees algebra $\mathcal{R}(I)$, where $I$ is an $\mathfrak{m}$-primary ideal of a $1$-dimensional local ring $(R,\mathfrak{m})$, is a quasi-polynomial in $e$, for large $e.$ For $s \in \mathbb{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)\mathcal{R}(I)$ when $I$ is a parameter ideal in a Cohen-Macaulay local ring of dimension $d \geq 2$, proving that the generalized Hilbert-Kunz function is a piecewise p…
We present results on the Watanabe-Yoshida conjecture for the Hilbert-Kunz multiplicity of a local ring of positive characteristic. By improving on a "volume estimate" giving a lower bound for Hilbert-Kunz multiplicity, we obtain the conjecture when the ring either has Hilbert-Samuel multiplicity less than or equal to five, or dimension less than or equal to six. For non-regular rings with fixed dimension, a new lower bound for the Hilbert-Kunz multiplicity is obtained.
We prove that, under certain assumptions, generalized Hilbert-Kunz multiplicities can be expressed as linear combinations of classical Hilbert-Kunz multiplicities.
We develop Hilbert-Kunz theory in a combinatorial setting namely for binoids. We show that the Hilbert-Kunz multiplicity for commutative, finitely generated, semipositive, cancellative and reduced binoids exists and is a rational number. This implies that the corresponding Hilbert-Kunz multiplicity for the binoid algebras does not depend on the characteristic.
We study Hilbert-Kunz multiplicity of the powers of an ideal and establish existence of the second coefficient at the full level of generality, thus extending a recent result of Trivedi. We describe the second coefficient as the limit of the Hilbert coefficients of Frobenius powers and show that it is additive in short exact sequences and satisfies a Northcott-type inequality.
In this note we first give a new bound on $e_{HK}(\sim)$ the Hilbert-Kunz multiplicity of invariant rings, by the help of the Noether's bound. Then, we simplify, extend and present applications of the reciprocity formulae due to L. Smith. He proved the formula over polynomial rings and his result is tight in the following sense: Over complete intersection rings with isolated singularity we show that the reciprocity formulae "$e_{HK}(R/I)+ e_{HK}(R/J) = e_{HK}(R/\underline{f})$" is equivalent with $\pd(I)<\infty$ when $I$ is an $\fm$-primary unmixed ideal linked to $J$ along with a regular sequ…
We discuss Hilbert-Kunz function from when it was originally defined to its recent developments. A brief history of Hilbert-Kunz theory is first recounted. Then we review several techniques involved in the study of Hilbert-Kunz functions by presenting some illustrative proofs without going into details of the technicalities. The second part of this article focuses on the Hilbert-Kunz function of an affine normal semigroup ring and relates it to Ehrhart quasipolynomials. We pay extra attention to its periodic behavior and discuss how the cellular decomposition constructed by Bruns and Gubeladze…
In this paper, we investigate a lower bound (say $s_{HK}(p,d)$) on Hilbert-Kunz multiplicities for non-regular unmixed local rings of Krull dimension $d$ with characteristic $p>0$. Especially, we focus three-dimensional local rings. In fact, as a main result, we will prove that $s_{HK}(p,3) = 4/3$ and that a three-dimensional complete local ring of Hilbert-Kunz multiplicity 4/3 is isomorphic to the non-degnerate quadric hyperplanes $k[[X,Y,Z,W]]/(X^2+Y^2+Z^2+W^2)$ under mild conditions. Furthermore, we pose a generalization of the main theorem to the case of $\dim A \ge 4$ as a conjecture, and…
Let $R$ be an excellent Noetherian ring of prime characteristic. Consider an arbitrary nested pair of ideals (or more generally, a nested pair of submodules of a fixed finite module). We do \emph{not} assume that their quotient has finite length. In this paper, we develop various sufficient numerical criteria for when the tight closures of these ideals (or submodules) match. For some of the criteria we only prove sufficiency, while some are shown to be equivalent to the tight closures matching. We compare the various numerical measures (in some cases demonstrating that the different measures g…
We prove in a broad combinatorial setting, namely for finitely generated semipositive cancellative reduced binoids, that the Hilbert-Kunz multiplicity is a rational number independent of the characteristic.
Suppose that h in F[x,y,z], char F=2, defines a nodal cubic. In earlier papers we made a precise conjecture as to the Hilbert-Kunz functions attached to the powers of h. Assuming this conjecture we showed that a class of characteristic 2 hypersurfaces has algebraic but not necessarily rational Hilbert-Kunz multiplicities. We now show that if the conjecture holds, then transcendental multiplicities exist, and in particular that the number \sum\binom{2n}{n}^{2}/(65,536)^{n}, proved transcendental by Schneider, is a Q-linear combination of Hilbert-Kunz multiplicities of characteristic 2 hypersurf…
A result of Watanabe and Yoshida says that an unmixed local ring of positive characteristic is regular if and only if its Hilbert-Kunz multiplicity is one. We show that, for fixed $p$ (characteristic) and $d$ (dimension), there exist a number $ε(d,p) > 0$ such that any nonregular unmixed ring $R$ has Hilbert-Kunz multiplicity at least $1+ε(d,p)$. We also show that local rings with sufficiently small Hilbert-Kunz multiplicity are Cohen-Macaulay and $F$-rational.
The aim of this manuscript is to discuss the Hilbert-Kunz functions over an excellent local ring regular in codimension one. We study the shape of the Hilbert-Kunz functions of modules and discuss the properties of the coefficient of the second highest term in the function. Our results extend Huneke, McDermott and Monsky's result (Math. Res. Lett. 11 (2004), no. 4, 539-546) about the shape of the Hilbert-Kunz functions, and a theorem of the second author (J. Algebra 304 (2006), no. 1, 487-499) for rings with weaker conditions. In this paper, for a Cohen-Macaulay ring, we also explores an equiv…
Let I denote a homogeneous R_+-primary ideal in a two-dimensional normal standard-graded domain over an algebraically closed field of characteristic zero. We show that a homogeneous element f belongs to the solid closure I^* if and only if e_{HK}(I) = e_{HK}((I,f)), where e_{HK} denotes the (characteristic zero) Hilbert-Kunz multiplicity of an ideal. This provides a version in characteristic zero of the well-known Hilbert-Kunz criterion for tight closure in positive characteristic.
We show that the Hilbert-Kunz multiplicities of the reductions to positive characteristics of an irreducible projective curve in characteristic 0 have a well-defined limit as the characteristic tends to infinity.
The Hilbert-Kunz multiplicity and $F$-signature are important invariants for researchers in commutative algebra and algebraic geometry. We provide software, and describe the automation of a calculation, for the two invariants in the case of intersection algebras over polynomial rings.
We show that Bertini theorems hold for $F$-signature and Hilbert--Kunz multiplicity. In particular, if $X \subseteq \mathbb{P}^n$ is normal and quasi-projective with $F$-signature greater than $λ$ (respectively the Hilbert--Kunz multiplicity is less than $λ$) at all points $x \in X$, then for a general hyperplane $H \subseteq \mathbb{P}^n$ the $F$-signature (respectively Hilbert--Kunz multiplicity) of $X \cap H$ is greater than $λ$ (respectively less than $λ$) at all points $x \in X \cap H$.
We show that the Hilbert-Kunz multiplicity is a rational number for an R_+-primary homogeneous ideal I=(f_1, ..., f_n) in a two-dimensional graded domain R of finite type over an algebraically closed field of positive characteristic. Moreover we give a formula for the Hilbert-Kunz multiplicity in terms of certain rational numbers coming from the strong Harder-Narasimhan filtration of the syzygy bundle Syz(f_1, . . ., f_n) on the projective curve Y = Proj R.
We present a unified approach to the study of Hilbert-Kunz multiplicity, F-signature, and related limits governed by Frobenius and Cartier linear actions in positive characteristic commutative algebra. We introduce general techniques that give vastly simplified proofs of existence, semicontinuity, and positivity. Furthermore, we give an affirmative answer to a question of Watanabe and Yoshida allowing the F-signature to be viewed as the infimum of relative differences in the Hilbert-Kunz multiplicites of the cofinite ideals in a local ring.
We prove that the generalized Hilbert-Kunz function of a graded module $M$ over a two-dimensional standard graded normal $K$-domain over an algebraically closed field $K$ of prime characteristic $p$ has the form $gHK(M,q)=e_{gHK}(M)q^{2}+γ(q)$, with rational generalized Hilbert-Kunz multiplicity $e_{gHK}(M)$ and a bounded function $γ(q)$. Moreover we prove that if $R$ is a $\mathbb{Z}$-algebra, the limit for $p\rightarrow+\infty$ of the generalized Hilbert-Kunz multiplicity $e_{gHK}^{R_p}(M_p)$ over the fibers $R_p$ exists and it is a rational number.
Let $(R,\m)$ be a formally unmixed local ring of positive prime characteristic and dimension $d$. We examine the implications of having small Hilbert-Kunz multiplicity (i.e., close to 1). In particular, we show that if $R$ is not regular, there exists a lower bound, strictly greater than one, depending only on $d$, for its Hilbert-Kunz multiplicity.
A result of Monsky states that the Hilbert-Kunz function of a one-dimensional local ring of prime characteristic has a term $ϕ$ that is eventually periodic. For example, in the case of a power series ring in one variable over a prime-characteristic field, $ϕ$ is the zero function and is therefore immediately periodic with period 1. In additional examples produced by Kunz and Monsky, $ϕ$ is immediately periodic with period 2. We show that, for every positive integer $π$, there exists a ring for which $ϕ$ is immediately periodic with period $π$.
For a standard graded ring $R$ of dimension $\geq 2$ over a perfect field of characteristic $p>0$ and a homogeneous ideal $I$ of finite colength, the HK density function of $R$ with respect to $I$ is a compactly supported continuous function $f_{R, I}:[0, \infty)\longto [0, \infty)$, whose integration yields the \mbox{HK} multiplicity $e_{HK}(R, I)$. Here we answer a question of V. Trivedi about the Hilbert-Kunz density function of the tensor product of standard graded rings and show that it is the convolution of the Hilbert-Kunz density function of the factor rings. Using Fourier transform, a…
We use the results of our paper "p-Fractals and power series--I" (Journal of Algebra 280, 2004, pp. 505--536) to prove the rationality of the Hilbert-Kunz series of a large family of power series, including those of the form \sum_i f_i(x_i,y_i), where the f_i(x_i,y_i) are power series with coefficients in a finite field. The methods are effective, as we illustrate with examples. In the final section, which can be read independently of the others, we obtain more precise results for the Hilbert-Kunz function of the 3 variable power series z^D-h(x,y).
Given a commutative local ring $(R,\mathfrak m)$ and an ideal $I$ of $R$, a family of quotients of the Rees algebra $R[It]$ has been recently studied as a unified approach to the Nagata's idealization and the amalgamated duplication and as a way to construct interesting examples, especially integral domains. When $R$ is noetherian of prime characteristic, we compute the Hilbert-Kunz function of the members of this family and, provided that either $I$ is $\mathfrak{m}$-primary or $R$ is regular and F-finite, we also find their Hilbert-Kunz multiplicity. Some consequences and examples are explor…
Let p be a prime. The Hilbert-Kunz multiplicity, mu, of the element sum(x_i^(d_i)) of (Z/p)[x_1,..., x_s] depends on p in a complicated way. We calculate the limit of mu as p -> infinity. In particular when each d_i is 2 we show that the limit is 1 + the coefficient of z^(s-1) in the power series expansion of sec z + tan z.
Let $k$ be an algebraically closed field of characteristic $p > 0$. We show that if $X\subseteq\mathbb{P}^n_k$ is an equidimensional subscheme with Hilbert--Kunz multiplicity less than $λ$ at all points $x\in X$, then for a general hyperplane $H\subseteq\mathbb{P}^n_k$, the Hilbert--Kunz multiplicity of $X\cap H$ is less than $λ$ at all points $x\in X\cap H$. This answers a conjecture and generalizes a result of Carvajal-Rojas, Schwede and Tucker, whose conclusion is the same as ours when $X\subseteq\mathbb{P}^n_k$ is normal. In the process, we substantially generalize certain uniform estimate…
In preparing the paper "Some extensions of Hilbert-Kunz multiplicity", we had occasion to perform an intricate set of computations pertaining to a single illustrative example. In the end, we have decided not to include the computations in the main paper, but instead to publish them here for later reference. In particular, the current preprint gives an example where the converse to one of our main theorems holds, even though it does not fit into any of the previously known cases where a converse holds.
This paper develops a theory of equimultiplicity for Hilbert-Kunz multiplicity and uses it to study the behavior of Hilbert-Kunz multiplicity on the Brenner-Monsky hypersurface. A number of applications follows, in particular we show that Hilbert-Kunz multiplicity attains infinitely many values and that equimultiple strata may not be locally closed.
Hilbert-Kunz multiplicity of quadrics via Ehrhart theory
UCLA（加州大学洛杉矶分校）；Stockholm University（斯德哥尔摩大学）；BCAM – Basque Center for Applied Mathematics（巴斯克应用数学中心）；IKERBASQUE, Basque Foundation for Science（伊克尔巴斯基奎，巴斯克科学基金会）；College of Humanities and Sciences, Nihon University（日本大学人文科学部）
This paper concerns the question of whether a more direct limit can be used to obtain the limit Hilbert-Kunz multiplicity, a possible candidate for a characteristic zero Hilbert-Kunz multiplicity. The main goal is to establish an affirmative answer for one of the main cases for which the limit Hilbert-Kunz multiplicity is even known to exist, namely that of graded ideals in the homogeneous coordinate ring of smooth projective curves. The proof involves more careful estimates of bounds found independently by Brenner and Trivedi on the dimensions of the cohomologies of twists of the syzygy bundl…
Let $R$ be the face ring of a simplicial complex of dimension $d-1$ and ${\mathcal R}(\mathfrak{n})$ be the Rees algebra of the maximal homogeneous ideal $\mathfrak{n}$ of $R.$ We show that the generalized Hilbert-Kunz function $HK(s)=\ell({\mathcal R}(\mathfrak n)/(\mathfrak n, \mathfrak n t)^{[s]})$ is given by a polynomial for all large $s.$ We calculate it in many examples and also provide a Macaulay2 code for computing $HK(s).$
Let F be a finite field of characteristic 2 and h be the element x^3+y^3+xyz of F[[x,y,z]]. In an earlier paper we made a precise conjecture as to the values of the colengths of the ideals (x^q,y^q,z^q,h^j) for q a power of 2. We also showed that if the conjecture holds then the Hilbert-Kunz series of H=uv+h is algebraic (of degree 2) over Q(w), and that mu(h) is algebraic (explicitly, (4/3)+(5/14)sqrt(7)). In this note, assuming the same conjecture, we use a theory of infinite matrices to rederive this result, and we extend it to a wider class of H; for example H=g(u,v)+h. In a follow-up pape…
Let (R,m,k) be an excellent, local, normal ring of characteristic p with a perfect residue field and dim R=d. Let M be a finitely generated R-module. We show that there exists a real number beta(M) such that lambda(M/I^[q]M) = e_{HK}(M) q^d + beta(M) q^{d-1} + O(q^{d-2}).
We interpret Hilbert-Kunz theory of a graded ring of positive characteristic in terms of Frobenius asymptotic of cohomology of vector bundles on projective varieties. With this method we show that for almost all prime numbers there exist three-dimensional quartic hypersurface domains and modules of finite length with irrational Hilbert-Kunz multiplicity. From this we deduce that also the Hilbert-Kunz multiplicity of a local noetherian domain might be an irrational number.
For a pair $(M, I)$, where $M$ is finitely generated graded module over a standard graded ring $R$ of dimension $d$, and $I$ is a graded ideal with $\ell(R/I) < \infty$, we introduce a new invariant $HKd(M, I)$ called the {\em Hilbert-Kunz density function}. In Theorem 1.1, we relate this to the Hilbert-Kunz multiplicity $e_{HK}(M,I)$ by an integral formula. We prove that the Hilbert-Kunz density function is additive. Moreover it satisfies a multiplicative formula for a Segre product of rings. This gives a formula for $e_{HK}$ of the Segre product of rings in terms of the HKd of the rings invo…
Hilbert-Kunz multiplicity and F-signature are numerical invariants of commutative rings in positive characteristic that measure severity of singularities: for a regular ring both invariants are equal to one and the converse holds under mild assumptions. A natural question is for what singular rings these invariants are closest to one. For Hilbert--Kunz multiplicity this question was first considered by the last two authors and attracted significant attention. In this paper, we study this question, i.e., an upper bound, for F-signature and revisit lower bounds on Hilbert--Kunz multiplicity.
In this article, I give an iterative closed form formula for the Hilbert-Kunz function for any binomial hypersurface in general, over any feild of arbitrary positive characteristic. I prove that the Hilbert-Kunz multiplicity associated to any Binomial Hypersurface over any field of arbitrary positive characteristic is rational. As an example, I also prove the well known fact that for 1-dimensional Binomial Hypersurfaces, the Hilbert-Kunz multiplicity is a positive integer and give a precise account of the integer.
In this paper we define and study the global Hilbert-Kunz multiplicity and the global F-signature of prime characteristic rings which are not necessarily local. Our techniques are made meaningful by extending many known theorems about Hilbert-Kunz multiplicity and F-signature to the non-local case.
Let R denote a two-dimensional normal standard-graded domain over the algebraic closure K of a finite field of characteristic p, and let I denote a homogeneous primary ideal. We prove that the Hilbert-Kunz function of I has the form = e_{HK}(I) q^{2} + g (q) with rational Hilbert-Kunz multiplicity e_{HK}(I) and an eventually periodic function g (q).
We determine the Hilbert-Kunz function of plane elliptic curves in odd characteristic, as well as over arbitrary fields the generalized Hilbert-Kunz functions of nodal cubic curves. Together with results of K. Pardue and P. Monsky, this completes the list of Hilbert-Kunz functions of plane cubics. Combining these results with the calculation of the (generalized) Hilbert-Kunz function of Cayley's cubic surface, it follows that in each degree and over any field of positive characteristic there are curves resp. surfaces taking on the minimally possible Hilbert-Kunz multiplicity.
Let $k[X] = k[x_{i,j}: i = 1,..., m; j = 1,..., n]$ be the polynomial ring in $m n$ variables $x_{i,j}$ over a field $k$ of arbitrary characteristic. Denote by $I_2(X)$ the ideal generated by the $2 \times 2$ minors of the generic $m \times n$ matrix $[x_{i,j}]$. We give a closed formulation for the dimensions of the $k$-vector space $k[X]/(I_2(X) + (x_{1,1}^q,..., x_{m,n}^q))$ as $q$ varies over all positive integers, i.e., we give a closed form for the generalized Hilbert-Kunz function of the determinantal ring $k[X]/I_{2}[X]$. We also give a closed formulation of dimensions of related quoti…
In this paper, we work with certain families of ideals called $p$-families in rings of prime characteristic. This family of ideals is present in the theories of tight closure, Hilbert-Kunz multiplicity, and $F$-signature. For each $p$-family of ideals, we attach a Euclidean object called $p$-body, which is analogous to the Newton Okounkov body associated with a graded family of ideals. Using the combinatorial properties of $p$-bodies and algebraic properties of the Hilbert-Kunz multiplicity, we establish in this paper a Volume = Multiplicity formula for $p$-families of $\mathfrak{m}_{R}$-prima…
We describe the possible restrictions of the cotangent bundle Ω_{\PP^N} to an elliptic curve C \subset \PP^N. We apply this in positive characteristic to the computation of the Hilbert-Kunz function of a homogeneous R_+-primary ideal I \subset R in the graded section ring R = \bigoplus_{n \in \NN} Γ(C, Ø(n)).
