English

HK multiplicity, $F$-threshold and the Paley-Wiener theorem

Commutative Algebra 2022-09-21 v2 Algebraic Geometry

Abstract

For a given algebraically closed field kk of characteristic p>0p>0 we consider the set Ck{\mathcal C}_k, of graded isomorphism classes of {\em standard graded pairs} (R,I)(R, I), where RR is a standard graded ring over the field and II is a graded ideal of finite colength. Here we give a ring homomorphism Π:Z[Ck]H(\C)[X]\Pi:\Z[{\mathcal C}_k] \longrightarrow H(\C)[X], where H(\C)H(\C) denotes the ring of entire functions. The related entire function and the homomorphism Π\Pi keep track of the two positive characteristic invariants, eHK(R,I)e_{HK}(R, I) and cI(m)c^I({\bf m}) of the ring: (1) composing the map Π\Pi with the evaluation map at z=0z=0 gives a ring homomorphism Πe:Z[Ck]R[X]\Pi_e:\Z[{\mathcal C}_k] \longrightarrow \R[X] which sends (R,I)eHK(R0,IR0)+eHK(R1,IR1)X++eHK(Rd,IRd)Xd,(R,I) \to e_{HK}(R^0, IR^0)+ e_{HK}(R^1, IR^1)X+\cdots + e_{HK}(R^d, IR^d)X^d, where RiR^i is the union of ii dimensional components of RR and eHK(Ri,IRi)e_{HK}(R^i, IR^i) is the HK multiplicity of the pair (Ri,IRi)(R^i, IR^i), and in particular the top coefficient is eHK(R,I)e_{HK}(R, I). (2) If, in addition, RR is a two dimensional ring or \mboxProj R\mbox {Proj~R} is strongly FF-regular, then the Fourier transform f^R,I{\widehat f}_{R, I} belongs to the Paley-Wiener class of the real number, namely the FF-threshold cmI(R)c^I_{\bf m}(R) of the maximal ideal m{\bf m}.

Keywords

Cite

@article{arxiv.2112.09377,
  title  = {HK multiplicity, $F$-threshold and the Paley-Wiener theorem},
  author = {Vijaylaxmi Trivedi},
  journal= {arXiv preprint arXiv:2112.09377},
  year   = {2022}
}

Comments

16 pages