Thomas Polstra, Ilya Smirnov
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
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 give a new and simple proof that unmixed local rings having Hilbert-Kunz multiplicity equal to 1 must be regular.
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…
Generalized Hilbert-Kunz Multiplicity for Families of Ideals
本文系统研究正特征Noetherian局部环中理想族的广义Hilbert-Kunz重数，引入Amao型重数这一新渐近不变量，证明p-理想族的广义Hilbert-Kunz重数是Amao型重数的极限。
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.
Hilbert-Kunz multiplicity of powers of ideals in dimension two
本文研究二维局部环中理想幂的Hilbert-Kunz重数，解答了Smirnov的问题，并利用Ratliff-Rush版本给出判定准则。
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.
Hilbert-Kunz Multiplicity of Fiber Product Rings and Nagata Idealizations
本文为纤维积环和Nagata理想化推导出Hilbert-Kunz重数的显式公式，并给出新界与结构结果。
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.
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.
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…
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…
Hilbert-Kunz multiplicity of quadrics decreases
通过证明Z/p^eZ的Green环与Z/pZ的Green环的e重张量积同构，并利用p-adic展开，计算Fermat二次曲面的Hilbert-Kunz函数和重数，证明其随特征递减，肯定Yoshida猜想。
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.
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.
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.
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.
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…
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.
Bounds for the Hilbert-Kunz Multiplicity of Singular Rings
本文通过引入插值函数$\varphi_J$并证明其凹性，结合已知技术得到改进下界，从而证明了Watanabe-Yoshida猜想在维数至多$7$时成立。
This is a survey article on Hilbert-Kunz multiplicity and the F-signature.
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…
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.
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
本文通过Ehrhart多项式研究二次曲面的Hilbert-Kunz乘数，证明其为特征p的有理函数，并揭示其随维度变化的性质。
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…
This paper establishes uniform bounds in characteristic $p$ rings which are either F-finite or essentially of finite type over an excellent local ring. These uniform bounds are then used to show that the Hilbert-Kunz length functions and the normalized Frobenius splitting numbers defined on the Spectrum of a ring converge uniformly to their limits, namely the Hilbert-Kunz multiplicity function and the F-signature function. From this we establish that the F-signature function is lower semi-continuous. We also give a new proof of the upper semi-continuity of Hilbert-Kunz multiplicity, which was …
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 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 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.
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.
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.
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 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 study Hilbert-Kunz multiplicity of non-singular curves in positive characteristic. We analyse the relationship between the Frobenius semistability of the kernel sheaf associated with the curve and its ample line bundle, and the HK multiplicity. This leads to a lower bound, achieved iff the kernel sheaf is Frobenius semistable, and otherwise to formulas for the HK multiplicity in terms of parameters measuring the failure of Frobenius semistability. As a byproduct, an explicit example of a vector bundle on a curve is given whose $n$-th iterated Frobenius pullback is not semistable, while its …
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.
Perfectoid signature, perfectoid Hilbert-Kunz multiplicity, and an application to local fundamental groups
本文利用完美oid化函子定义了混合特征下的完美oid签名与Hilbert-Kunz重数，证明其与等特征经典理论一致，并用于刻画正则性、BCM闭包及BCM-正则性，进而证明BCM-正则环具有有限局部平展基本群。
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…
We provide suitable conditions under which the asymptotic limit of the Hilbert-Samuel coefficients of the Frobenius powers of an $\mathfrak{m}$-primary ideal exists in a Noetherian local ring $(R,\mathfrak{m})$ with prime characteristic $p>0.$ This, in turn, gives an expression of the Hilbert-Kunz multiplicity of powers of the ideal. We also prove that for a face ring $R$ of a simplicial complex and an ideal $J$ generated by pure powers of the variables, the generalized Hilbert-Kunz function $\ell(R/(J^{[q]})^k)$ is a polynomial for all $q,k$ and also give an expression of the generalized Hilb…
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).
The paper investigates the behavior of Hilbert-Samuel and Hilbert-Kunz multiplicities in families of ideals. It is shown that Hilbert-Samuel multiplicity is upper semicontinuous almost generally and that Hilbert-Kunz multiplicity is upper semicontinuous in families of finite type. Surprisingly, our machinery can be applied for families over Z and yields a partial solution to the question about characteristic zero Hilbert-Kunz multiplicity posed by Brenner, Li, and Miller. Another application is that for an affine ring the infimum in the definition of F-rational signature, an invariant defined …
Derivation module and the Hilbert-Kunz multiplicity of the co-ordinate ring of a projective monomial curve
针对参数对应等差数列的射影单项式曲线坐标环，本文显式构造其导子模的极小生成元，并给出 Hilbert–Kunz 重数公式。
Let $(R,\mathfrak m)$ be a local ring of characteristic $p>0$ and $M$ a finitely generated $R$-module. In this note we consider the limit: $\lim_{n\to \infty} \frac{\ell(H^0_{\mathfrak m}(F^n(M)))}{p^{n\dim R}} $ where $F(-)$ is the Peskine-Szpiro functor. A consequence of our main results shows that the limit always exists when $R$ is excellent and has isolated singularity. Furthermore, if $R$ is a complete intersection, then the limit is 0 if and only if the projective dimension of $M$ is less than the Krull dimension of $R$. We exploit this fact to give a quick proof that if $R$ is a comple…
Hilbert-Kunz multiplicity and $F$-signature can disagree
本文通过计算素特征域上直纹面丰富锥的 F-签名函数，构造出强 F-正则环，证明 Hilbert-Kunz 重数与 F-签名可在同一环的不同极大理想处对奇点给出相反排序，并纠正了 Hirzebruch 曲面 F-签名计算的既有错误。
For a toric pair $(X, D)$, where $X$ is a projective toric variety of dimension $d-1\geq 1$ and $D$ is a very ample $T$-Cartier divisor, we show that the Hilbert-Kunz density function $HKd(X, D)(λ)$ is the $d-1$ dimensional volume of ${\overline {\mathcal P}}_D \cap \{z= λ\}$, where ${\overline {\mathcal P}}_D\subset {\mathbb R}^d$ is a compact $d$-dimensional set (which is a finite union of convex polytopes). We also show that, for $k\geq 1$, the function $HKd(X, kD)$ can be replaced by another compactly supported continuous function $φ_{kD}$ which is `linear in $k$'. This gives the formula f…
The Hilbert-Kunz density functions of quadric hypersurfaces
本文研究了二次超曲面的 Hilbert-Kunz 密度函数，证明其为分段多项式，并借此证实了 Watanabe-Yoshida 和 Yoshida 关于 Hilbert-Kunz 重数下界与特征递减性的猜想。
Transcendental Hilbert-Kunz Multiplicities
该研究证明普通希尔伯特-孔兹重数可呈超越性，在特征p>2的不可数代数闭域上构造出满足对应超越性条件的正规分次整环及相关理想。
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.
Uniform bounds in excellent $\mathbf{F}_p$-algebras and applications to semi-continuity
针对未必F-有限的诺特Fₚ-代数R，研究其谱上的Hilbert-Kunz重数与F-签名，证明优环时定义这两个不变量的极限一致，进而推出F-签名下半连续、局部等维时Hilbert-Kunz重数上半连续，且结果可在比优性更弱条件下成立。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。