Arxiv:2101.00365V3 [Math.AC] 1 Feb 2021

Home , Local cohomology, Tight closure

arXiv:2101.00365v3 [math.AC] 1 Feb 2021 hogotteitouto,w osl ee oteetreclas three typ these singularity to these refer of loosely we properties introduction, the the of exploring Throughout form Rec literature weak [ST17]. a of in Srinivas-Takagi is by body introduced these formally of and first [Bli01] in The nilp Blickle below. is weakly outlined modules called as types cohomology singularities singularity local to associated the naturally on are invariants action these Frobenius characteristic, prime canonical of the ring graded or local a Given h oe oa ooooymdlsi osbynloet oa ring local a nilpotent, possibly is modules cohomology local lower the utb otie ntepoe umdl 0 submodule proper the in contained be must rbnu cino ahlwrlclchmlg ouei iptn.A nilpotent. is module cohomology local lower each on action Frobenius n anthp ooti nepnn htwrsfraliel,se ideals, all for works introduced that exponent author an named e obtain first of to closure hope Frobenius cannot the One inside membership checks which exponent conjecture. ordinarity weak the to related between nadto,teFoeisato etitdt 0 to restricted action Frobenius the addition, in are at bevtosi al oko mt Si7 led hwdthe showed already [Smi97] Smith of work early in observations fact, a nt oegh hs iglrte r h ietkoncasto class known widest the annihilated are elements singularities These of consisting colength. finite module has cohomology local lower each ntae nwr fLuenk[y0]adhglgtdb h bv liste above the by Lyubez highlighted and depth and ordinary between [Lyu06] similarities study Lyubeznik we of particular, work in initiated iglrte r nlgu oChnMcua iglrte.Indeed singularities. Cohen-Macaulay to analogous are singularities omn uta oe-aalyrn soeo uldph weakly a depth, full of enjoyin one introduce we is rings picture, ring thus the Cohen-Macaulay complete a functor; as Lyubeznik Just the common. applying after Macaulay ffl generalized full of Date nti ae eitoueadsuygeneralized study and introduce we paper this In n[u1] u hw htweakly that shows Quy [Quy19], In ti elkonta,fralclrn ( ring local a for that, well-known is It u prahi ae nantrlaaoybtenCohen-Macau between analogy natural a on based is approach Our F nloet h ovrehligi h igi usini also is question in ring the if holding converse the -nilpotent, eray1 2021. 1, February : cino h oa ooooymdlso oa igo prim of ring weakly local generalized a types of singularity modules the cohomology to local associated the on action Abstract. osrcin ntrso h nu data. input ana the further of We terms rings. in graded constructions of subrings sc Veronese gluing and conditi like rings, sufficient constructions provide including to ideal types, able parameter singularity are all we invariants, of these closure on Frobenius the among behavior F nloetsnuaiisadvnsigo og-yefitain outlin filtrations Hodge-type of vanishing and singularities -nilpotent GENERALIZED F esuygeneralized study We -depth. eeaie weakly generalized F DPHADGAE IPTN SINGULARITIES NILPOTENT GRADED AND -DEPTH YEMDO N AC DADMILLER EDWARD LANCE AND MADDOX KYLE generalized F F dphand -depth nloetlclrnshave rings local -nilpotent R, m fdimension of ) H ∗ F m d H ∗ 1. -depth F ( m F d R dph et-ieivrat soitdt h canonical the to associated invariants depth-like -depth, ( F Introduction ) -nilpotent R h ih lsr f0in 0 of closure tight the , dph et-ieivratisie yLyubeznik’s by inspired invariant depth-like a -depth, ) snloet ti ayt eiythat verify to easy is It nilpotent. is n eonz eeaie weakly generalized a recognize and , ee ln omnsbcee er rdcso graded of products Segre subscheme, common a along hemes F F 1 nloetadweakly and -nilpotent dphadgeneralized and -depth n hc rdc ra lse frnsta aethese have that rings of classes broad produce which ons yeuprbud nFoeists xoet fthese of exponents test Frobenius on bounds upper lyze d iutnosy ydvlpn aua oe bounds lower natural developing By simultaneously. s h rbnu cinon action Frobenius the , ig n[a1]a hs o hc h umdl of submodule the which for those as [Mad19] in rings hrceitc hs nainsaenaturally are invariants These characteristic. e e fsnuaiisas singularities of ses nt rbnu etexponents test Frobenius finite F Be6 n K0] eeaiig[u1] the [Quy19], Generalizing [KS06]. and [Bre06] e nik’s F c aaee da ftern simultaneously. ring the of ideal parameter ach s e S1,P1,Qy9 a1,KMPS]. Mad19, Quy19, PQ19, [ST17, see es, F nloetsnuaiis hc eesuidby studied were which singularities, -nilpotent weakly , lmnsof elements hs odtossaemn rprisin properties many share conditions these g R nloetadgnrlzdweakly generalized and -nilpotent di nt rbnu etexponent. test Frobenius finite a admit ijcie hr r infiatconnections significant are There -injective. scalled is F tn ne opsto.Mroe,these Moreover, composition. under otent yalreieaeo h rbnu action Frobenius the of iterate large a by F weakly a ig n weakly and rings lay nloetrn soeo full of one is ring -nilpotent nl,teehsbe infiatgrowing significant a been has there ently, dpht oiyta weakly that codify to -depth ok nnloetsnuaiis In singularities. nilpotent on works d F F H nloet hc aeuniform have which -nilpotent, nloetsnuaiisaeCohen- are singularities -nilpotent m weakly d H F F di S1] hc snaturally is which [ST17], in ed ( R nloetrn is ring -nilpotent m dphtaktedge owhich to degree the track -depth d ( .A h rbnu cinon action Frobenius the As ). R H iptn singularities nilpotent iptn ne Frobenius under nilpotent ) F m d -nilpotent ( R F F snvrnloet In nilpotent. never is ) nloetrn sone as ring -nilpotent rtoa singularities -rational hsi uniform a is This . F Frobenius nloetrings, -nilpotent ftecanonical the if F F -nilpotent F F dph To -depth. -nilpotent -nilpotent F -depth. . if, 2 KYLE MADDOX AND LANCE EDWARD MILLER

Important applications come from theorems we prove about F -depth and generalized F -depth. In particular, we are able to provide ample suﬃcient conditions to ensure standard constructions in the local and graded setting produce rings with nilpotent singularities. Thus far, no systematic framework for such constructions is present in the literature. This makes the study of nilpotent singularities much less developed than other, more well-studied, F -singularity types. As these singularities are inextricably connected to deep conjectures and important concepts in tight closure, it is of critical value to have suitable classes of examples to study in detail.

In the body of the paper, stronger forms of the results explained below are provided, in technical terms, as lower bounds on either F -depth or generalized F -depth. These sharper statements establish the importance in recasting questions about nilpotent singularities as statements about controlling these depth parameters; thereby strengthening the valuable analogy between weakly F -nilpotent and Cohen-Macaulay singularities. We present in the introduction however, a summary of only the results pertinent to constructing rings with nilpotent singularities. To avoid technicalities, we retain for the rest of the introduction that k denotes a perfect ﬁeld of prime characteristic.

The ﬁrst of our results concerns gluing two schemes together along a common subscheme. It is natural to expect that if the schemes involved have nilpotent singularities, there should be simple conditions to ensure the gluing also has nilpotent singularities. In particular, we provide a nilpotent version of a result of Schwede, see [Sch09, Prop. 4.8], which concerns gluing F -injective, Cohen-Macaulay singularities. We obtain gluing results for weakly F -nilpotent and generalized weakly F -nilpotent singularities, as well as the following result for F -nilpotent singularities. Theorem 1. (Theorem 3.4) If (R, m, k) is a local ring with ideals a and a so that dim R/(a a ) = dim(R/a )= 1 2 1 ∩ 2 1 dim(R/a2) = dim R/(a1 + a2)+1, and R/a1 and R/a2 are F -nilpotent and R/(a1 + a2) is weakly F -nilpotent, then R/a a is F -nilpotent. 1 ∩ 2

We then turn our attention to graded Frobenius actions and graded nilpotent singularities. In particular, we analyze how F -depth and generalized F -depth behave under taking Segre products and Veronese subrings of graded rings. Graded modules with Frobenius actions are well studied from the point of view of Lyubeznik’s -modules, see [Bli01, LSW16] and references therein. The full framework of -modules is not needed for our considerations,F which simpliﬁes the statements and applications in our approach.F Furthermore, careful study of the Hartshorne- Speiser-Lyubeznik numbers are needed to obtain eﬀective bounds on Frobenius test exponents, and this information is lost in the context of -modules. The novelty of working with graded rings and graded Frobenius actions is that one obtains a natural FrobeniusF action on the degree 0 part of a graded module with Frobenius action. This degree 0 part controls much of the story for graded nilpotence and is important for studying graded nilpotent singularities. We call a module nilpotent in degree 0 provided this natural action on the degree 0 part is nilpotent. Theorem 2. (Corollary 4.11 and Theorem 4.14) Suppose R and S are graded rings of depth at least two and dimensions dR and dS respectively, both with degree 0 part k. Set T = R#S the Segre product. If R and S are dR generalized weakly F -nilpotent, so is T . If we further assume R and S are weakly F -nilpotent and HmR (R) and dS HmS (S) are nilpotent in degree 0, then T is weakly F -nilpotent.

To further demonstrate these applications, we establish that an interesting class of well-known Segre products are weakly F -nilpotent. The singularities of Segre products of elliptic curves and the projective line are essentially the simplest normal non-Cohen-Macaulay domains of dimension 3, c.f., the example at the end of Section 5 [Lyu06]. Replacing the elliptic curve by a general Fermat hypersurface of degree d, we ﬁnd that a certain class are not that far oﬀ from being Cohen-Macaulay under the analogy described above. Theorem 3. (Theorem 4.18) Let d 1 and p the characteristic of k. Set S = k[u, v] and consider the Fermat d ≥ d d hypersurface R = k[x0,...,xn]/(x0 + + xn−1 xn) with p > d and n 2. If p 1 mod d, then the Segre product R#S is weakly F -nilpotent. ··· − ≥ ≡ −

Concerning Veronese subrings, we show that the nilpotence of the local cohomology modules descends from a graded ring to all of its Veronese subrings, and in particular if R is (generalized) weakly F -nilpotent, so is S. We utilize this to provide a nilpotent version of a theorem of Singh, [Sin00, Prop. 3.1], concerning how F -rational singularities behave under taking Veronese subrings. Theorem 4. (Theorem 4.20) Suppose R is a graded ring of dimension d and degree 0 part k. If R is F -nilpotent on the punctured spectrum, then for all n 0, the Veronese R(n) is weakly F -nilpotent. Furthermore, Hd (R) is ≫ mR nilpotent in degree 0 if and only if for all n 0, the Veronese R(n) is F -nilpotent. ≫ GENERALIZED F -DEPTHANDGRADEDNILPOTENTSINGULARITIES 3

To provide a wide class of generic examples, we apply the techniques developed to provide a nilpotent version of the F -rational characterization from [KSSW09, Thm. 3.1], see Theorem 4.21. In particular, this provides a method for easily constructing hypersurfaces over multigraded rings which have diagonal Veronese subalgebras that have the same F -depth as the original ring.

In Section 5, we address natural applications of these theorems by giving explicit bounds on Frobenius test exponents of the constructions in terms of their input data. These arise from bounds on the Harshorne-Speiser- Lyubeznik numbers of the constructions we produce earlier in the paper, see Theorems 5.5, 5.8 and Lemma 5.7 for these calculations. We can then apply the main results of [Quy19] and [Mad19], adapted to the graded setting as necessary. These bounds for Frobenius test exponents or the appropriate graded analogue (see Deﬁnition 5.2) are given for gluing in Theorem 5.5 and Corollary 5.6, Segre products in Corollaries 5.10 and 5.12, and Veronese subrings in Theorem 5.13.

Acknowledgments: We are extremely grateful to Luis Núñez-Betancourt, Jack Jeffires, Paolo Mantero, and Thomas Polstra for enlightening discussions related to the work here. We thank Ian Aberbach for reviewing initial drafts of this paper. We are also thankful to Austyn Simpson for discussion and suggesting improvements to the statement of Theorem 3.2.

2. Preliminaries Throughout, we assume all rings are noetherian, of prime characteristic p > 0, and F -finite, i.e. the Frobenius map F : R R is finite. We denote by R◦ the complement of the minimal primes; R◦ = R q. For → \ q∈min(R) e 1 and R-module M, denote by F eM the R-module with R-action twisted by the e-th iterated Frobenius. The ∗ S singularities≥ types we study here are defined in terms of Frobenius actions on local cohomology modules, however, when possible we state results purely in terms of modules with Frobenius actions. We briefly review the necessary concepts, but for a more elaborate treatment see [EH08]. e e Definition 2.1. For R-modules M and N, an element of HomR(M, F∗ N) is called a p -linear map. A p-linear endomorphism of M is called a Frobenius action on M. It is convenient to describe Frobenius actions using the Frobenius skew polynomial ring. Specifically, consider R χ the non-commutative polynomial ring in one variable over R and let R[F ] := R χ /( rpχ χr r R ). The categoryh i of left R[F ]-modules is equivalent to the category whose objects are pairsh (M,ρi {) where− ρ:| M∈ }M is a Frobenius action and morphisms (M,ρ) (M ′,ρ′) are R-module maps ϕ: M M ′ for which ρ′ϕ = ϕρ.→ We freely switch between these perspectives and→ establish when necessary that R-linear→ maps between left R[F ]-modules are also left R[F ]-module maps. That is to say, we refer to a left R[F ]-module by a pair (M,ρM ) where ρM is a Frobenius action on M and we ruthlessly suppress the subscript when M is clear. Remark 2.2. We will tacitly use that left modules over a non-commutative ring still form an abelian category. For example, we will repeatedly use homological algebra in the category of R[F ]-modules to obtain induced Frobenius actions on (co)homology of complexes and connecting maps which commute with the Frobenius actions and are a fortiori R-linear. The most important examples of R[F ]-modules are arguably local cohomology modules. Specifically, for each ideal a in a ring R, the Frobenius endomorphism F : R F∗R induces a natural Frobenius action on the local i i → t j j cohomology modules F : H (R) F H (R). If a = (x ,...,xt), then we identify H (R) = lim R/(x ,...,x ) a → ∗ a 1 a 1 t t j j p jp jp −→ and the induced Frobenius action on Ha(R) sends a class [z + (x1,...,xt )] to [z + (x1 ,...,xt )]. All mentions of i R[F ]-module structures on Ha(R) will be assumed to be this canonical one. We will primarily focus on Frobenius actions which are nilpotent under composition. We now articulate the following basic but important concepts which arise in the study of left R[F ]-modules. Definition 2.3. Let R be a ring and let (M,ρ) and (M ′,ρ′) be R[F ]-modules. An R-submodule N M is ρ-stable or ρ-compatible if ρ(N) N. • The orbit closure of⊂ a ρ-stable submodule N M is defined: ⊂ • ⊂ ρ e NM = m M ρ (m) N for some e N , ρ { ∈ | ∈ ∈ } and N is ρ-closed if NM = N. M is nilpotent if 0ρ = M, i.e. for each m M there is an e N such that ρe(m) = 0. • M ∈ ∈ ρ It is easy to check that NM is a ρ-closed R-submodule of M and ρ-stable submodules of M correspond to left R[F ]-submodules of M. 4 KYLE MADDOX AND LANCE EDWARD MILLER

Example 2.4. Let (M,ρ)be a R[F ]-module and let I R be an ideal. Then, ρ(IM)= I[p]ρ(M) IM, so IM is a ρ-stable submodule of M. ⊂ ⊂ In [ST17], Srinivas and Takagi formally defined an important class of singularities (R, m) where the canonical i Frobenius action on Hm(R) is nilpotent. We will give definitions of several related classes of singularities in Definition 2.10. When (R, m) is local it is also useful to study modules which are finite length away from begin ρ nilpotent, i.e. modules M for which the orbit closure of 0M is of finite colength in M. For that reason, we make the following definition inspired by generalized Cohen-Macaulay rings, for which the lower local cohomology is finite length. Definition 2.5. Let (R, m) be a local ring and let (M,ρ) be an R[F ]-module. Call M generalized nilpotent if ρ M/0M is finite length.

2.1. Tight and Frobenius closure of submodules. The Frobenius action on the top local cohomology of a Cohen-Macaulay local ring has been studied frequently for its connections to tight closure theory. K. E. Smith d d showed that in many cases, the tight closure of 0 in Hm(R) was the largest F-stable submodule of Hm(R). See [Smi97, Prop. 2.5] and [EH08, Discussion 2.10] for more. We now review tight and Frobenius closures of modules.

e e Definition 2.6. Let N M be R-modules. For any c R and e N, define the map µc : M (M/N) R F∗ R to be the composition of⊂ the maps below. ∈ ∈ → ⊗ e e π id ⊗F e id ⊗F∗ (c) e M M/N (M/N) R F R (M/N) R F R ⊗ ∗ ⊗ ∗ ∗ The tight closure of N in M, denoted NM , is defined as N ∗ = m M there exists c R◦ such that m ker(µe) for all e 0 . M { ∈ | ∈ ∈ c ≫ } F and the Frobenius closure of N in M, denoted NM , is similarly defined as: N F = m M m ker(µe) for all e 0 . M { ∈ | ∈ 1 ≫ } By definition, we have N N F N ∗ M. ⊂ M ⊂ M ⊂ Remark 2.7. There is an unfortunate overlap of terminology for experts familiar with tight and Frobenius closure of ideals a in rings R. The notions of Frobenius closure of ideals aF and the orbit closure of a as an R-submodule differ. The reason is that, unlike the situations we’ve considered so far, the Frobenius closure of ideals as defined above is not a statement about R[F ]-modules. This notion of Frobenius closure for submodules extends the notion of Frobenius closure of ideals, however, taking R to be an R[F ]-module in terms of the usual Frobenius endomorphism, the orbit closure of a is √a, instead of the much finer-grained information of the Frobenius closure aF . We only apply ( )F in situations when the context is clear. e d e When (R, m) is a local ring of dimension d, the map µ1 on Hm(R) is simply the canonical Frobenius action F on d e F Hm(R). In particular, the two distinct notions (using the maps µ e∈N versus the orbit closure) of 0 d agree, 1 Hm(R) ∗ { d } and furthermore the tight closure of zero 0 d is F -stable in Hm(R). Hm(R)

Remark 2.8. The existential quantifier in Definition 2.6 can be simplified by using test elements. Recall, reduced excellent local rings (R, m) admit big test elements, i.e. elements c R◦ so that for any pair of R-modules N M, ∗ e ∈ ⊂ η NM if and only if µc(η)=0 for e 0. Here big refers to lack of finite generation assumptions on the modules, and∈ the nuance is that c is independent≫ of the modules N and M. For proof, see [HH90, Thm. 6.17, Cor. 6.26].

2.2. Singularity types. Before we define the central singularity types of interest, we first recall the definition of a characteristic-free singularity which generalizes the Cohen-Macaulay property. j Definition 2.9. Let (R, m) be a local ring. R is generalized Cohen-Macaulay if Hm(R) is finite length for 0 j < dim(R). ≤ The definitions of the first two singularity types below are intended to mimic the relationship between Cohen- Macaulay, identified by vanishing lower local cohomology, and generalized Cohen-Macaulay, identified by finite length lower cohomology, by replacing vanishing and finite length by nilpotent and generalized nilpotent. GENERALIZED F -DEPTHANDGRADEDNILPOTENTSINGULARITIES 5

Deﬁnition 2.10. Let (R, m) be a local ring of dimension d. i R is generalized weakly F -nilpotent if Hm(R) is generalized nilpotent for i < d. • i R is weakly F -nilpotent if Hm(R) is nilpotent for i < d. • ∗ F R is F -nilpotent if it is weakly F -nilpotent and 0Hd R =0Hd R . • m( ) m( ) The terminology of F -nilpotence was introduced in [ST17], though the notion predates this paper, see [BB05, Def. 4.1]. It is easy to see that rings which are both F -injective and F -nilpotent are F -rational, see [ST17, Prop. 2.4]. In this setting, F -rational is equivalent to every parameter ideal being tightly closed in R.

The class of generalized weakly F -nilpotent rings was introduced in [Mad19, Def. 3.4], where it was shown that such rings have ﬁnite Frobenius test exponent for the class of parameter ideals. See [Mad19, Thm. 3.6] which generalizes the same theorem for weakly F -nilpotent rings by Quy in [Quy19, Main Theorem (2)]. Similar results were already known for Cohen-Macaulay [KS06], and generalized Cohen-Macaulay rings [HKSY06]. We conclude this subsection by outlining a hierarchy of the singularity classes mentioned above.

F-rational Cohen-Macaulay generalized Cohen-Macaulay

F-nilpotent weakly F-nilpotent generalized weakly F-nilpotent

2.3. Nilpotent Frobenius actions. We now outline some preparatory facts and definitions about nilpotent R[F ]- modules which will be aimed at constructing rings where the local cohomology modules have a prescribed level of nilpotence. The following remarkable finiteness theorem plays a vital role. It is stated in terms of the Hartshorne- Speizer-Lyubeznik numbers. Definition 2.11. Let R be a ringand (M,ρ)be an R[F ]-module. The Hartshorne-Speiser-Lyubeznik number of M is defined as follows: HSL(M) = inf e N ρe(m) = 0 for all m 0ρ N . { ∈ | ∈ M } ∈ ∪ {∞} Note if M is finitely generated, then HSL(M) < since 0ρ is finitely generated. If M is not finitely generated, ∞ M there could be a sequence of elements mn n∈N such that the required iterate of ρ to kill mn tends to infinity. However, the following result regarding when{ } the Hartshrone-Speiser-Lyubeznik number of an R[F ]-module is finite is extremely important because it may be applied to the local cohomology modules of R. See [Lyu97, Prop. 4.4], [HS77, Prop. 1.11], and [Sha06, Cor. 1.8] for proofs. Theorem 2.12 (The Hartshorne-Speiser-Lyubeznik Theorem). Let M be an R[F ]-module which is artinian as an R module. Then HSL(M) < . ∞

Definition 2.13. For a local ring (R, m), (re-)define: HSL(R) = max HSL(Hj (R)) 0 j dim R , m | ≤ ≤ which is notably finite by the proceeding theorem. This single exponent uniformly annihilates annihilates all nilpotent elements in every local cohomology module ρ HSL(M) of R. There are many advantages to viewing 0M as the kernel of the single map ρ . We now need several basic lemmas about nilpotent modules with Frobenius actions. Lemma 2.14. Let R be a ring of prime characteristic p> 0 and let 0 A B C 0 be a short exact sequence of R[F ]-modules. Then B is nilpotent if and only if A and C are nilpotent. e e Proof. Since A B, if B is nilpotent then A is nilpotent. Further, if c+A C, then ρC (c+A)= ρB(c)+A = 0+A for ⊂ ∈ e e some e, so C is also nilpotent. Now suppose A and C are nilpotent, and let b B. If b A, then ρB(b)= ρA(b)=0 e e ∈ ∈ for some e. Otherwise, taking b + A C, we have ρC(b + A) = ρB (b)+ A = 0+ A for some e, which implies ∈ ′ ′ ρe (b) A. But A is nilpotent, for some e′ N, ρe (ρe (b)) = ρe+e (b)=0, so B is nilpotent. B ∈ ∈ A B B This shows that the full subcategory of nilpotent R[F ]-modules forms a Serre subcategory of R[F ]-modules. We also have a generalized nilpotent version of the previous lemma. 6 KYLE MADDOX AND LANCE EDWARD MILLER

Lemma 2.15. Let (R, m) be a local ring and let 0 A B C 0 be a short exact sequence of R[F ]-modules. If each has ﬁnite HSL number, then B is generalized nilpotent if and only if A and C are generalized nilpotent.

ρA ρB N N ρB Proof. Suppose B is generalized nilpotent. Since 0A = 0B A, we have m A m B 0B for some N N. N ρA ∩ ⊂ ⊂ ∈ Consequently, m A 0A which shows A is generalized nilpotent. Now, if ξ + A C and N N is such that N ρB ⊂N N e N e N ∈ ∈ m B 0B , then m (ξ + A) = m ξ + A and ρC(m ξ + A) = ρB(m ξ)+ A. But for e = HSL(B) we have e N⊂ N ρC ρB (m ξ)=0, so m (ξ + A) 0C implying that C is generalized nilpotent. ⊂ ρA ρC Now suppose A and C are generalized nilpotent and let N = max λ(A/0A ), λ(C/0C ) . Further, set e = N { ρC e N } max HSL(A), HSL(C) . Now, for any ξ B, in C we have m (ξ + A) 0C so ρB(m ξ)+ A = A which implies e {N } ∈ ⊂ ρB (m ξ) A. Then, in A, we have: ⊂ e (mN )[p ](ρe (mN ξ)) = ρe (m2N ξ) 0ρA 0ρB , B B ⊂ A ⊂ B 2N ρB and consequently m ξ 0B . Since ξ is arbitrary and 2N only depends on A and C, we have that B is generalized nilpotent as required.⊂ 2.4. The Relative Frobenius Action. When studying how F -singularities descend along hypersurfaces, it has been fruitful to study the relative Frobenius map, which arises from the following commutative diagram. It has been useful in addressing deformation questions about several classes of F -singularities, including F -injective singularities in [HMS14] and F -nilpotent singularities in [PQ19]. Remark 2.16. Let R be a ring and let I R be an ideal. For each e N, we have a commutative diagram: ⊂ e ∈ R/IF R/I e fR πe

e R/I[p ] e pe [pe] e where fR(y + I) = y + I is a p -linear map of R-modules and πe is canonical projection. This induces a commutative diagram for any j N and J R an ideal: ∈ ⊂ j F e j HJ (R/I) HJ (R/I) e fR πe

j [pe] HJ (R/I ) e j e e where F is the canonical Frobenius action on HJ (R/I), fR is p -linear, and πe is R-linear. e e e j In particular, since F = πe fR, if fR is the zero map for some e N, then HJ (R/I) is nilpotent as an R[F ]-module. ◦ ∈ 2.5. The F -depth of a local ring. Introduced by Lyubeznik, in [Lyu06], the F -depth of a local ring measures the first non-nilpotent index in the long exact sequence for local cohomology just as depth measures the first non-vanishing index. Definition 2.17. Let (R, m) be a local ring of prime characteristic p> 0. The F -depth of R is defined as F-depth R = inf j Hj (R) is not nilpotent . { | m } Remark 2.18. By definition, R is weakly F -nilpotent if and only if F-depth R = dim R. We will show several results about natural lower bounds for F-depth R which will specialize to statements about weakly F -nilpotent rings when F-depth R = dim R. F -depth was used by Lyubeznik to answer a question of Grothendeick about vanishing of local cohomology. We now mention several basic facts about F -depth recorded throughout [Lyu06], where it was also compared with the F -depth of a scheme defined by Hartshorne and Speiser in [HS77]. Lemma 2.19. Suppose (R, m) is a local ring of prime characteristic p> 0. (1) We have 0 F-depth R dim R. If dim R> 0, then F-depth R 1. ≤ ≤ ≥ (2) We have F-depth R = F-depth R and, unlike ordinary depth, F-depth R = F-depth R/√0. Note that Hd (R) is never nilpotent, see [Lyu06, Lem. 4.2]. Under mild hypotheses, Hd (R) cannot be generalized m b m nilpotent either. We are grateful to T. Polstra for discussions leading to this observation. GENERALIZED F -DEPTHANDGRADEDNILPOTENTSINGULARITIES 7

d Lemma 2.20. If R is a locally equidimensional ring of dimension d> 0, then, Hm(R) is not generalized nilpotent. Proof. For any q Spec (R), set ∈ ht q F H(q)= H (R )/0 ht q qRq q H (R ) qRq q and H = H(m). Notably H(q) = 0 for any q Spec (R). Denoting by ( )∨ the Matlis dual over R, [KMPS, Lem. ∨ 6 ∈ ∨ 5.1] gives that H localizes to the Matlis dual over Rq of H(q). Thus, Supp(H) = Supp(H )= Spec (R) and so H cannot be finite length unless d = 0. We can define a similar notion to F -depth using generalized nilpotence. Definition 2.21. Suppose (R, m) is a local ring of prime characteristic p> 0. We define the generalized F -depth j of R, written gF-depth R, as the least index j where Hm(R) is not generalized nilpotent, or 0 if dim(R) = 0. It is apparent that gF-depth R F-depth R. In fact, in light of Lemma 2.20, when R is locally equidimensional, one has ≥ depth R F-depth R gF-depth R dim R. ≤ ≤ ≤ We now extend the definition of F -depth and generalized F -depth to R[F ]-modules. Since F∗ commutes with j j localization, given an R[F ]-module M, ρM : M F M induces a Frobenius action ρ : H (M) F H (M). → ∗ I → ∗ I Definition 2.22. Let (R, m) be a local ring and let M be a finitely generated R-module with Frobenius action ρ. j We define the F -depth of M, written F-depth M, to be the least index j such that Hm(M) is not nilpotent under the induced action ρ. Similarly, the generalized F -depth of M, written gF-depth M, is the least index j such j that Hm(M) is not generalized nilpotent under the induced action. Since local cohomology commutes with direct sum and a direct sum is (generalized) nilpotent if and only if each summand is by Lemmas 2.14 and 2.15, we can use this setting to study F -depth and generalized F -depth across a variety of natural short exact sequences. First, we establish an analogue to the behavior of depth on short exact sequences. We restrict to the case of modules given by a quotient of a finitely generated free module Rn by an F -stable submodule, endowed with the induced action coming from F ⊕n. Lemma 2.23. Suppose (R, m) is a local ring of prime characteristic p> 0 and let: 0 A B C 0 be a short exact sequence of R[F ]-modules where A, B, C are quotients of finitely generated free R-modules as described above. Then: (1) F-depth B min F-depth A, F-depth C , (2) F-depth A ≥ min{F-depth B, F-depth C}+1 , and (3) F-depth C ≥ min{F-depth B, F-depth A 1}. ≥ { − } If the sequence is split, then F-depth B = min F-depth A, F-depth C . Finally, the same inequalities and equality hold replacing F-depth with gF-depth. { } Proof. We will prove (2), the others are similar. Suppose t < min F-depth B, F-depth C +1 and we will show j { } Hm(A) is nilpotent for j t. Since we have the long exact sequence of R[F ]-modules: ≤ j−1 δ j α j Hm (C) Hm(A) Hm(B) ··· ··· j j e j we know that the image of Hm(A) is nilpotent as j < F-depth B so since HSL(Hm(B)) = e< , ρ j (Hm(A)) ∞ Hm(A) j−1 is inside ker(α) = im(δ). But, im(δ) is a subquotient of Hm (C) and j 1 < F-depth C and is thus nilpotent by e j −j Lemma 2.14. Consequently, ρ j (Hm(A)) is nilpotent which implies Hm(A) is also nilpotent, as required. Hm(A) When the sequence is split, we apply Lemma 2.14. To see the final claim, repeat the above proof with Lemma 2.15 instead of Lemma 2.14, noting that the modules in question have finite Hartshorne-Speiser-Lyubeznik numbers as A, B, and C are quotients of finitely generated free R-modules.

3. Gluing results We now study how F -depth and generalized F -depth behave under gluing. Speciﬁcally, suppose is a property of local rings. The property glues for schemes if, given any scheme X and two subschemes Y andP Y such that P 1 2 X = Y1 Y2, all local rings of Y1, Y2, and Y1 Y2 have property implies all local rings of X have property . An example∪ of an F -singularity type which∩ glues was given byP Schwede in [Sch09, Prop. 4.8], which statesP that if X is Cohen-Macaulay, dim Y = dim Y = dim X and all local rings of Y , Y , and Y Y have F -injective 1 2 1 2 1 ∩ 2 8 KYLE MADDOX AND LANCE EDWARD MILLER singularities, then X has F -injective singularities. Quy and Shimomoto also showed that the class of stably FH- ﬁnite singularities glues, see [QS17, Thm. 5.7]. In the characteristic-independent case, Dao-De Stefani-Ma proved in [DDSM, Prop. 2.8] that cohomologically full singularities glue, but in prime characteristic p> 0, cohomologically full is equivalent to F -full, a singularity type introduced by Ma and Quy in [MQ18].

As the conditions are local, in checking that a property glues, one may without loss of generality assume X = Spec R where (R, m) is a local ring and Y and Y areP defined by ideals a and a in R with a a = 0. 1 2 1 2 1 ∩ 2 Conditions are then imposed on the quotient rings R/a1, R/a2, and R/(a1 + a2). Throughout the remainder of this section, we work modulo a1 a2. Thus we fix the following setting and notation, and use it in theorem statements below: fix (R, m) a local ring∩ of dimension d with ideals a and a which have a a = 0 and set b = a + a . We 1 2 1 ∩ 2 1 2 notably have dim(R/ai) = dim(R) in this case. If dim(R)=0, 1 the theorems in this section are typically vacuous, so we will assume dim(R) 2. We also will typically require conditions on dim(R/b); the following fact is often helpful. ≥

d d Lemma 3.1. Suppose dim(R/b) = dim(R) 1, and that R is equidimensional. Then, Hm(R) Hm(R/a1) d − ≃ ⊕ Hm(R/a2) as R[F ]-modules. Proof. Since R is equidimensional, height(b) = 1 and so b contains a parameter x R. We have Hd (R) is an ∈ m Rx-module, so by hom-tensor adjointness we have: d−1 d d−1 d HomR(H (R/b),H (R)) HomR H (R/b) R Rx,H (R) , m m ≃ x m ⊗ m d−1 d and since x b, this module vanishes. Thus, the connecting map Hm (R) Hm(R) is identically zero in the long exact sequence∈ in local cohomology induced by the short exact sequence of→R[F ]-modules below.

0 RR/a R/a R/b 0 1 ⊕ 2 This shows the required isomorphism.

Theorem 3.2. If F-depth R/b > d 2 and F-depth R/ai > d 1 for i = 1, 2, then R is weakly F -nilpotent. In particular, if dim R/b dim R 1 and− each of R/b,R/a , and −R/a are weakly F -nilpotent, then so is R. ≥ − 1 2 Similarly, if gF-depth R/b > d 2 and gF-depth R/ai > d 1 for each i, then, R is generalized weakly F -nilpotent. If dim R/b dim R 1 and each− of R/b,R/a , and R/a are− generalized weakly F -nilpotent, then so is R. ≥ − 1 2 Proof. Note that the short exact sequence:

0 RR/a R/a R/b 0 1 ⊕ 2 is also a short exact sequence of R[F ]-modules, considering each of the quotient rings with the Frobenius map and the induced action on the direct sum. From Lemmas 2.19 and 2.23, we have: F-depth R min F-depth R/a , F-depth R/a , F-depth R/b +1 > d 1. ≥ { 1 2 } − This forces F-depth R = d, i.e. R is weakly F -nilpotent. For the generalized case, apply the generalized F -depth result from the same lemma.

Remark 3.3. The dimension of R/b cannot be lowered further and obtain a similar gluing result for weak F - nilpotence. If R, R/ai, and R/b are as in the theorem, but b = dim(R/b) < dim(R) 1, we have an exact sequence of R[F ]-modules: −

β b δ b+1 Ab Hm(R/b) Hm (R) Ab+1 b and notably Ab and Ab+1 are nilpotent, but Hm(R/b) is not nilpotent since it is a top local cohomology module. b+1 Since im(β) = ker(δ) is nilpotent, we cannot have that im(δ) is nilpotent by Lemma 2.14. Thus, Hm (R) is not nilpotent and since b +1 < dim(R), we cannot have F-depth(R) = dim(R). For generalized weak F -nilpotence, the same obstruction will occur if R/b is locally equidimeinsional, as in this b case, Hm(R/b) is not generalized nilpotent by Lemma 2.20, and similarly to the weakly F -nilpotent case, im(δ) is not generalized nilpotent either. So gF-depth R = b+1 < dim(R), and R cannot be generalized weakly F -nilpotent. We now show a similar result for F -nilpotent singularities.

Theorem 3.4. Suppose d = dim R = dim R/ai for i =1, 2 and dim R/b d 1. If R/a1 and R/a2 are F -nilpotent and R/b is weakly F -nilpotent, then R is F -nilpotent. ≥ − GENERALIZED F -DEPTHANDGRADEDNILPOTENTSINGULARITIES 9

Proof. By Theorem 3.2, we know R is weakly F -nilpotent, and consequently equidimensional by [PQ19, Prop. 2.8(3)]. Now, if dim(R/b)= d 1, we have by Lemma 3.1 that R is F -nilpotent since tight closure and Frobenius closure − commute with direct sums and R/a1 and R/a2 are F -nilpotent. If dim(R/b) = d, we consider the exact sequence in local cohomology coming from the natural short exact sequence. For convenience, we let: d d d−1 d−1 Ad = H (R/a ) H (R/a ) and Ad = H (R/a ) H (R/a ). m 1 ⊕ m 2 −1 m 1 ⊕ m 2 We get a commutative diagram as below where the vertical maps are either the appropriate canonical Frobenius action or the direct sum of canonical Frobenius actions (denoted by ρe) in each place.

β d−1 δ d α Ad H (R/b) H (R) Ad 0 ··· −1 m m ρe F e F e ρe

β d−1 δ d α Ad H (R/b) H (R) Ad 0 ··· −1 m m ∗ We need to show 0 d is nilpotent. Recall R is F -nilpotent if and only if R/√0 is F -nilpotent by [PQ19, Hm(R) Prop. 2.8(2)], so without loss of generality we may assume R is reduced, whence big test elements exist – see Remark 2.8. For an R[F ]-module M and a test element c, one has a composition

e e e id ⊗FR e id ⊗F∗ (c) e µ : M R R M R F R M R F R M,c ⊗ −−−−→ ⊗ ∗ −−−−−−→ ⊗ ∗ ∗ e F e and x 0M if and only if x ker µM,c for e 0 and x 0M if and only if F (x) = 0 for some e N. By [PQ19, ∈ ∈ ≫ ∈ e ∈e Rmk. 2.6], applying this for M a top local cohomology module, we may replace id FR with F , the canonical ⊗ e Frobenius action on local cohomology. Thus we may consider tight closure arguments without using the maps µM,c e and only using the Frobenius action F . The same argument applies to the direct sum Ad considering Lemma 2.14. ∗ ◦ e Now, let ξ 0 d and let c R be a test element. We have for all e 0 that cF (ξ) = 0, so in particular Hm(R) e ∈ ∗ ρ ∈ ≫ cρ (α(ξ)) =0. But 0Ad = 0Ad by deﬁnition of F -nilpotence and the fact that tight closure commutes with direct e d−1 sum, so for e = HSL(A) we have F (ξ) ker(α) = im(δ). But, Hm (R/b) is nilpotent, and consequently so is e F ∈ F (ξ), thus ξ 0Hd R . ∈ m( ) We can apply Remark 3.3 again to show no similar result can hold for a smaller-dimensional R/b, since R must be weakly F -nilpotent to be F -nilpotent.

2 3 2 2 2 3 Example 3.5. Suppose S = k[x,y,z,w](x,y,z,w). Set a1 = (xw yz,yw z , xz y w, x z y ) and a2 = (x, z). 4 3 3 4 − − − − One has S/a1 = k[s ,s t,st ,t ] is weakly F -nilpotent which can be seen by deformation along x using [PQ19, ∼ 2 2 3 Thm. 4.2]. Clearly a2 is Cohen-Macaulay, whence weakly F -nilpotent. Similarly, b = a1 + a2 = (x, z, yw ,y w,y ) 2 2 3 and S/b ∼= k[y, w]/(yw ,y w,y ) is easily seen to be weakly F -nilpotent. Thus by Theorem 3.2, one has R = S/(a a )= S/(yz xw,z4 xw3, xz3 xyw2, x2z2 xy2w,xy3 x3z) 1 ∩ 2 − − − − − is also weakly F -nilpotent. Now, notice that S/a2 is regular, and so F -nilpotent. Furthermore, we show that S/a1 is F -nilpotent. We can compare R = k[s4,s3t,st3,t4] with the full Veronese subring T = k[s,t](4), which is F -rational. The cokernel of ∗ ∗ R T is a one-dimensional k-vector space, and consequently 0H2 R = 0H2 T = 0. Therefore, by Theorem 3.4, → m( ) m( ) S/(a a ) is F -nilpotent as well. 1 ∩ 2 By adjusting the ideal a2 in the example above, large families of examples can be easily generated. 4 Example 3.6. Set S = k[a,b,c,d,e,f](a,b,c,d,e,f). Set a1 to be the ideal defining the Segre product k[x,y,z]/(x + y4 z4)#k[u, v], i.e., the kernel of the map S k[x,y,z,u,v]/(x4 + y4 z4) mapping the algebra generators of S onto− the monomials xu,yu,zu,xv,yv,zv. It→ will follow from Example− 4.15 that this ideal defines a generalized 2 2 weakly F -nilpotent ring of dimension 3. Set a2 = (ac b , bd c , cd ea). It is immediate to verify that R/a2 is a Cohen-Macaulay ring of dimension 3 whence also weakly− F -nilpotent.− − In this case, b = a + a = (ce bf,ae af,cd af,bd af,c2 af,b2 ac,d4 + e4 l4, ad3 + be3 cf 3,a2d2,a3d, a4) 1 2 − − − − − − − − defines a two dimensional ring. This ring is also weakly F -nilpotent, which can be checked again by deformation along d using [PQ19, Thm. 4.2]. Thus, by Theorem 3.2, the ring S/(a a ) is also generalized weakly F -nilpotent. 1 ∩ 2 These concepts and results globalize to statements about schemes in the natural way, see [Lyu06, Sec. 5]. 10 KYLE MADDOX AND LANCE EDWARD MILLER

Definition 3.7. We say a scheme X defined over a field of prime characteristic p > 0 is generalized weakly F -nilpotent (respectively weakly F -nilpotent, F -nilpotent) if all local rings X,x are generalized weakly F - nilpotent (respectively weakly F -nilpotent, F -nilpotent). O Corollary 3.8. Suppose X is an equidimensional scheme which is the union of two closed subschemes X = Y Y , 1 ∪ 2 which has d = dim(X) = dim(Yi) and dim(Y1 Y2) d 1. If Y1, Y2 and Y1 Y2 are F -nilpotent, then X is F -nilpotent. ∩ ≥ − ∩ We are thankful to J. Jeffries, A. Simpson, and K. Tucker for observations and discussions leading to the following remark. Remark 3.9. If R is an F -finite local ring, then R is F -rational if and only if it is both F -injective and F -nilpotent. Given [Sch09, Prop. 4.8] and Corollary 3.8, there is an obvious corollary for gluing F -rational schemes. However, such a statement is vacuous as F -rational rings are normal domains. There can not be distinct ideals a1 and a2 of R such that dim(R) = dim(R/ai) if both R/ai and R are domains, as this forces a1 = a2 = 0. Geometrically, the affine scheme Spec R is irreducible, so cannot be the union of closed subschemes V (a1) and V (a2). 4. Graded Frobenius actions Throughout this section, we are concerned with graded rings and graded local cohomology. We recall the basic facts and set notation here. The reader is referred to [GW78a, GW78b] for a more detailed review. An N-graded ring R is one with a decomposition R = n∈N[R]n where each [R]n is an abelian group called the n-degree piece of R. We assume [R]0 is a field and R finitely generated over [R]0, so each [R]n is naturally a [R]0 vector space. For L any such ring, we denote by mR = n6=0[R]n its unique homogeneous maximal ideal. As this will be the primary type of graded ring we consider, we refer to this simply as a graded ring and call R standard graded if it is generated L by [R]1.

Fixing a graded ring R, we consider Z-graded modules M = n∈Z[M]n, and, for two such modules M and N, the Z-graded module Hom (M,N) with n-graded piece given by the degree preserving maps HomR(M,N(n)), where R L N(n) is the module N with shifted grading given by [N(n)]m = [N]n+m. Analogous to the ungraded situation, the derived functors of HomR are ExtR and for homogeneous ideals a, one has i i t Ha(M) = lim ExtR(R/a ,M) t−→→∞ the graded local cohomology.

Suppose R is a graded ring. If M is a graded R-module, denote by a(M) := sup n [M]n = 0 N , { | 6 } ∈ ∪ {−∞} the a-invariant of M. When M is artinian, [M]n = 0 for n 0, hence we may replace supremum with maximum. j ≫ For each j 0, denote by aj (R)= a(Hm (R)), and by a(R) = max j aj(R) , the a-invariant of R. ≥ R { | } Now let R be a graded ring of prime characteristic p > 0 and let F be the Frobenius endomorphism. For any p r [R]n, F (r) = r [R]pn. Analogously, we say an R[F ]-module (M,ρ) is a graded R[F ]-module provided M ∈ ∈ is Z-graded and ρ([M]n) [M]pn for each n Z. Similarly, a graded submodule N is ρ-stable if (N,ρ) is a graded ⊂ ∈ R[F ]-module. Note that [M] is always ρ-stable, since by hypothesis ρ([M] ) [M]p = [M] . 0 0 ⊂ ·0 0 Deﬁnition 4.1. Let R be a graded ring and (M,ρ) a graded R[F ]-module. For n Z, call M nilpotent in degree e ∈ n provided for each homogeneous m [M]n there is an e N such that ρ (m)=0 [M]pen. Call M nilpotent if M is nilpotent in every degree. ∈ ∈ ∈ ρ ρ ρ For a graded R[F ]-module M, the orbit closure 0M is graded with [0M ]n = 0M [M]n for n Z. When M is artinian, it is easy to see that M is nilpotent in degree n for n > 0. Additionally,∩ if M is concentrated∈ in ﬁnite degrees, then M is nilpotent in degree n = 0. 6

d Remark 4.2. Fix a graded ring R of dimension d. The condition that HmR (R) is nilpotent in degree 0 is a necessary d ∗ condition for R to be F -nilpotent. To see this, note first that [HmR (R)]0 0Hd (R) as the module in question ⊂ mR is artinian and so, by definition, the Frobenius of any class is annihilated by elements of sufficiently large degree. ∗ F d Furthermore, when R is F -nilpotent, 0Hd (R) =0Hd (R), so HmR (R) is nilpotent in degree 0. mR mR In [ST17, Ex. 2.7(1)], the authors noted that if R is F -rational on the punctured spectrum, then it is generalized ∗ Cohen-Macualay and 0Hd (R) has finite length, whence only concentrated in finitely many degrees. Thus, in this mR d case R is F -nilpotent if and only if HmR (R) is nilpotent in degree 0. GENERALIZED F -DEPTHANDGRADEDNILPOTENTSINGULARITIES 11

The nilpotence of the degree 0 part of an artinian module with a Frobenius action was studied in [LSW16] over Fp[x1,...,xn], where connections were made with the composition series for the canonical -module and - module structures, see [LSW16, Thm. 2.9]. We avoid the language of -modules here in favor of aD more elementaryF approach. F Example 4.3. Vacuously, any standard graded ring F -nilpotent on the punctured spectrum with negative a- invariant is F -nilpotent. Example 4.4. The explicit calculation in [Bli01, Ex. 5.28] shows that the nilpotence of the Cohen-Macaulay ring R = k[x,y,z]/(x4 + y4 z4) is dependent on the characteristic of k modulo 4. If p 3 mod 4, then R is F -nilpotent − 2 ≡ and unlike the previous example, we have [Hm(R)]0 = 0. Conversely, if p 1 mod 4, then the Frobenius action is 2 ∗ 6 ≡ injective on [Hm(R)]0 0H2 R , so R is not F -nilpotent. See Lemma 4.16 for a family of similar examples. ⊂ m( ) We describe a criteria on homogeneous systems of parameters to detect when the top local cohomology is nilpotent in degree 0. Such a condition should be useful in practical situations.

Theorem 4.5. Let R be a standard graded ring of dimension d and x = x1,...,xd be a homogeneous system of t+s F s parameters with deg(xi)=1 for all i with x = x1 xd. If for each t there is s so that [R]dt (x ) : x , then d ··· ⊂ HmR (R) is nilpotent in degree 0. Proof. Represent a class η in Hd (R) = lim R/(xt) by a representative [z + (x)t]. Recall, in the grading for mR ∼ t Hd (R), deg[z + (x)t] = deg z dt. For e −→0 set q = pe – the natural Frobenius action has ρe(η) = [zq + (x)tq]. mR − ≥ This is zero if and only if for some s, (xsz)q (x(t+s)q), i.e., z (xt+s)F : xs. Thus we have ∈ ∈ F t t+s F s 0Hd (R) = η = [z + (x) ]: there is s so that z (x ) : x . mR { ∈ } t t+s F s Any such [z + (x) ] has degree 0 if and only if deg z = dt. By assumption, there is s with z [R]dt (x ) : x t F ∈ ⊂ whence [z + (x) ] 0Hd (R). ∈ mR

4.1. Segre Products. We start our considerations of graded nilpotent Frobenius actions with Segre products. In this section, we keep the following standard setup. Fix R and S graded rings of positive dimension with R0 = S0 = k a field. The Segre product T = R#S is the graded ring defined by R#S = [R]n k [S]n. If dim R = dR and n≥0 ⊗ dim S = dS, then dim T = dR + dS 1. For M and N two Z-graded modules− over R and S respectively, the SegreL product M#N is the Z-graded T - module with [M#N]n = [M]n k [N]n. When the characteristic of k is prime and (M,ρM ) and (N,ρN ) are graded R[F ]-module and S[F ]-modules,⊗ we consider M#N as a graded T [F ]-module under its diagonal Frobenius action denoted ρM #ρN . Lemma 4.6. M#N is nilpotent in degree t if and only if either M or N is nilpotent in degree t. e Proof. Let ρ be the induced Frobenius action on M#N. Take x#y homogeneous in Mt k Nt. If ρ (x) = 0 in Mtpe e e e e ⊗ 6 and ρ (y) = 0 in Ntpe for all e, then ρ (x) ρ (y) = 0 for all e. Consequently, ρ (x#y) = 0 for all e. Furthermore, 6 e ⊗ 6 6 e e e if x Mt is nilpotent then ρ (x) = 0 for some e, implying for any y Nt we have ρ (x#y) = ρ (x)#ρ (y) = 0#ρe∈(y) = 0. ∈ We note that M#N may still be nilpotent even if M and N are not nilpotent, e.g. modules with complementary supports. In fact, M#N is nilpotent if and only if there is a partition of Z = A B such that Ma is nilpotent for ⊔ all a A and Nb is nilpotent for all b B. Our∈ next aim is to consider how F∈-depth and generalized F -depth behave under Segre products. Recall that, given a reflexive graded R module M and and a reflexive graded S-module N, we have via the Künneth formula, [GW78a, Thm. 4.1.5],

Hj (M#N) = Hj (M)#N M#Hj (N) Hr (M)#Hs (N) . mT ∼ mR ⊕ mS ⊕  mR mS  r+s=j+1 M In light of Lemma 2.14, and that the identiﬁcation above is of graded T [F ]-modules, we can study nilpotence by studying each summand in turn. In particular, if R and S are of depth at least 2, then the K¨unneth formula can be applied to T itself. By [GW78a, Thm. 4.4.4 (i)], the “expected” depth formula for Segre products, i.e., the equality depth(T ) = depth(R) + depth(S) 1, is obstructed by the a-invariants of R and S. We introduce an invariant below, which serves as an obstruction− for a similar formula for F -depth. 12 KYLE MADDOX AND LANCE EDWARD MILLER

Definition 4.7. Let R be a graded ring of dimension d. We define j-th base-nilpotent index of R to be: j bj (R) = sup t [H (R)]t is not nilpotent Z . { | m } ∈ ∪ {−∞} Further, we set b(R) = inf j bj (R)=0 N . { | } ∈ ∪ {∞} Remark 4.8. We record several observations about this sequence of invariants. j (1) If Hm(R) is nilpotent, bj(R)= . −∞j (2) We must have bj (R) 0, since Hm(R) is nilpotent in degree t for t> 0. (3) b(R) F-depth R, since≤ a module which is nilpotent must be nilpotent in degree zero. (4) If R is≥ weakly F -nilpotent, then b(R) dim(R), and if R is F -nilpotent, then b(R) = as noted after Definition 4.1. ≥ ∞ f (5) If f = F-depth R< gF-depth R, then Hm(R) must be nilpotent in non-zero degree but not nilpotent, hence bf (R) = 0. Example 4.9. Returning to the calculation with the ring R = k[x,y,z]/(x4 + y4 z4) in [Bli01, Ex. 5.28], when k is of characteristic p 3 mod 4, [H2 (R)] is nilpotent so b (R) < 0 and when−p 1 mod 4, [H2 (R)] is not ≡ m 0 2 ≡ m 0 nilpotent so b2(R) = 0. Theorem 4.10. Suppose R and S are of depth at least two. Set T = R#S and let f = F-depth R + F-depth S 1. We have F-depth(T ) min b(R),b(S),f . Furthermore, if F-depth(R) = b(R) and F-depth(S) = b(S), we have− F-depth(T )= f. ≥ { }

j Proof. For j

Corollary 4.11. If R and S are weakly F -nilpotent and depth at least two, then T is weakly F -nilpotent if and only if b(R)= b(S)= , in which case b(T )= as well. ∞ ∞ We now address the question of generalized weakly F -nilpotent singularities.

Lemma 4.12. Let R be a graded ring and let M be a graded R[F ]-module. Suppose that Mt is finite dimensional over k = [R]0 for each t Z. The module M is generalized nilpotent if and only if M is nilpotent in degree t for all t =0. In particular, if M∈ is concentrated in finite degree, M is generalized nilpotent. 6 ρ ρ Proof. Suppose M is generalized nilpotent, so M/0M is finite length and the induced action on M/0M is injecvtive, ρ ρ ρ so we must have M/0M = [M/0M ]0 = [M]0/[0M ]0, so M is nilpotent in degree t when t = 0. ρ ρ 6 Now suppose M is nilpotent in degree t for all t = 0, then M/0M = [M]0/[0M ]0 is finite dimensional over k, so ρ 6 0M has finite colength, i.e. M is generalized nilpotent. We can combine this with Lemma 4.6 to obtain the following. Corollary 4.13. Let M be a graded R[F ]-module and let N be a graded S[F ]-module. Further assume all graded pieces of M and N are finite-dimensional k-vector spaces. If either M or N is generalized nilpotent, then so is M#N. Furthermore, if M#N is generalized nilpotent, then it is nilpotent if and only if [M]0 is nilpotent or [N]0 is nilpotent. j By graded duality, we can see that [Hm(R)]t is finite dimensional over k for each t Z, so we may apply these results to local cohomology modules as well. Interestingly, for generalized F -depth the “expected”∈ formula for Segre products holds without additional hypotheses, unlike depth and F -depth. GENERALIZED F -DEPTHANDGRADEDNILPOTENTSINGULARITIES 13

Theorem 4.14. Suppose R and S are depth at least two. We have: gF-depth T gF-depth R + gF-depth S 1. ≥ − In particular, if R and S are generalized weakly F -nilpotent, so is T .

j j Proof. Adopt the notation for Mj as used in the proof of Theorem 4.10. The summands HmR (R)#S and R#HmS (S) are generalized nilpotent for all j. Utilizing Corollary 4.13, we can see that the ﬁrst index which might contribute a summand which is not generalized nilpotent is when j + 1 = gF-depth R + gF-depth S, which shows the desired inequality.

We can use the formulas for F -depth and generalized F -depth to study Segre products of Fermat hypersurfaces and the projective line. Example 4.15. Let R = k[x,y,z]/(x4 + y4 z4) and S = k[u, v]. Both are Cohen-Macaulay rings of dimension 2, with a(R) = 0 and a(S) = 2. Set T = R#−S. Below is a decomposition of the local cohomology for T using the K¨unneth formula. − 0 HmT (T )= 0 1 HmT (T )= 0 2 2 HmT (T ) = HmR (R)#S 3 2 2 HmT (T ) = HmR (R)#HmS (S) 2 Since a(R) = 0, HmT (T ) = 0 and thus depth(T )=2, so T is not Cohen-Macaulay as dim(T ) = 3, however T is generalized Cohen-Macaulay6 hence generalized weakly F -nilpotent. One may also use Theorem 4.14 to see that T is generalized weakly F -nilpotent. When p 1 mod 4, then b (R)=0so H2 (T ) is not nilpotent and consequently F-depth T = 2. However, when ≡ 2 mT p 3 mod 4, then H2 (T ) is nilpotent so F-depth T = 3 and T is weakly F -nilpotent. ≡ mT We give an expanded version of Example 4.15. In order to do this we give a suﬃcient condition for the ring d d d R = k[x0,...,xn]/(x0 + +xn−1 xn) to be F -nilpotent, where d 1 is the degree. This ring is Cohen-Macaulay, so it is already weakly F···-nilpotent− and trivially F -nilpotent on the≥ punctured spectrum. By Remark 4.2, we can n determine a condition for when Hm(R) is nilpotent in degree 0 which will ensure the ring is F -nilpotent. d d d n Lemma 4.16. For R = k[x0,...,xn]/(x0 + + xn−1 xn), if p > d, n 2, and p 1 mod d, then Hm(R) is ··· − n ≥ ≡ − nilpotent in degree 0. In fact, the Frobenius is zero on [Hm(R)]0. Proof. Much as in [Bli01, Lem. 5.26], the calculation comes down to an explicit Cechˇ computation. The submodule n n [H (R)] has basis constructed from partitions I with i = (i ,...,in) I if and only if ij 1 and ij = d. m 0 0 ∈ ≥ j=0 d−in xn In particular, the set of classes η := i forms the desired basis. Write (d i )p i = dr Pfor integer r. i i0 n−1 n n x0 ···xn−1 − − Directly we see,

(d−in)p xn F (ηi) = pi pi − " x 0 x n 1 # 0 ··· n−1 (d−in)p−in xn = zin pi pi − "x 0 x n 1 # 0 ··· n−1 xdr = zin n pi pi − "x 0 x n 1 # 0 ··· n−1 (xd + + xd )r in 0 ··· n−1 = z pi pi − " x 0 x n 1 # 0 ··· n−1 xdj0 xdjn−1 in 0 n−1 = z cj0,...,jn−1 ···  pi0 pin−1  j +···+j − =r x0 xn−1 0 Xn 1 ···   where cj0,...,jn−1 is a multinomial coefficient. For any summand in this expression to be non-zero, it is necessary that djt < pit for all 0 t n 1. As p 1 mod d, there is no solution for jt in an equation djt = pit 1, in ≤ ≤ − ≡ − − 14 KYLE MADDOX AND LANCE EDWARD MILLER fact, that djt < pit forces djt pit (d 1). However, this would mean that: ≤ − − n−1 n−1 djt p( it) n(d 1)=(d in)p n(d 1). ≤ − − − − − t=0 i=0 X X n−1 This creates a contradiction, as djt = dr = (d in)p in, thus (d in)p in (d in)p n(d 1) then t=0 − − − − ≤ − − − forces n(d 1) in < d which is clearly false. Therefore, for some t, djt pit and so each term in the expression − ≤ P ≥ for F (ηi) is zero. Remark 4.17. It seems likely that the Frobenius is nilpotent in degree zero on Hn (R) for any p 1 mod d. m 6≡ Indeed, this is asserted and easily shown for d = 5 in [Bli01, Ex. 5.28]. Establishing this fact requires a finer Cechˇ computation than we give here, but we will not remark further on these intermediate cases. Now following the same argument in Example 4.15 with Lemma 4.16 we have the following result. d d d Theorem 4.18. Let p > d and n 2, and let R = k[x0,...,xn]/(x0 + +xn−1 xn), S = k[u, v], and T = R#S. If ≥ ··· −2 p 1 mod d, then b2(R)=0 and F-depth T =2. When p 1 mod d, then HmT (T ) is nilpotent so F-depth T =3 and≡ T is weakly F -nilpotent. ≡− 4.2. Veronese Subrings. Fix R a graded ring. For n N and a graded R-module M, set M (n) to be the n-th Veronese submodule. In the case M = R, the Veronese R∈(n) is a direct summand of R and consequently the local cohomology of R(n) splits out of the local cohomology for R as an R(n)-module. We prove a descent result for generalized weakly F -nilpotent and weakly F -nilpotent singularities for Veronese subrings. Notably these results do not immediately follow from graded versions of the results in [KMPS]. Theorem 4.19. Let R be a standard graded ring of positive dimension over a field k. We have f := F-depth R (n) (n) (n≤) F-depth R , and if bf (R)=0, then F-depth R = f for all n N. Furthermore, gF-depth R gF-depth R ∈ ≤ for all n N. In particular, if R is (generalized) weakly F -nilpotent, so is R(n) for all n N. ∈ ∈ Proof. For any t Z we have the following commutative diagram of k-vector spaces where the horizontal maps are isomorphisms∈ and the vertical maps the restriction of the canonical Frobenius action on local cohomology to a single degree, whence p-linear.

j (n) ∼ j Hm n (R ) HmR (R) R( ) t nt h i h i F F

j (n) ∼ j Hm n (R ) HmR (R) R( ) pt pnt h i h i j e j j Consequently, if HmR (R) is nilpotent, there is an e N such that F : HmR (R) HmR (R) is the zero map, and e j j ∈ j (→n) so F :[Hm (R)]nt [Hm (R)]pent is also the zero map. This implies Hm (R ) is nilpotent. Thus, for j

Proof. Our approach is a direct application of the ideas in [Sin00, Prop. 3.1]. Set d = dim R. Throughout the d (n) d (n) proof, we employ [GW78a, Thm. 3.1.1] which ensures for fixed n N an isomorphism Hm (R ) = Hm (R) ∈ R(n) ∼ R (n) ∗ F as R -modules. Set H(n)=0 d (n) /0 d (n) and H = H(1). Hm (R ) Hm (R ) R(n) R(n) Corollary 4.19 ensures that R is generalized weakly F -nilpotent, and H has finite length, and so is only supported in finitely many graded degrees. It is clear that R(n) is weakly F -nilpotent for n 0. ≫ To finish, note that H supported in only finitely many graded degrees is equivalent to the condition that [H(n)]t = 0 for t = 0 and all n 0. So it suffices to consider when the vector space [H(n)]0 vanishes. By the proof of [Sin00, Prop. 3.1],6 we see that≫ d F [H(n)]0 = [H]0 = [HmR (R)]0/[0Hd (R)]0 ∼ mR which is zero by assumption.

4.3. Hypersurfaces of diagonal subalgebras. Veronese subalgebras of multigraded hypersurface rings provide interesting examples of rings with distinguished singularities [KSSW09]. We determine a criteria for when such 2 rings have nilpotent-type singularities. We first set notation. For T a N -graded ring and n = (n1,n2), recall T (n) is the multigraded ring with grading shifted by n. For∆=(g,h) N2, one may consider the Veronese subring, ∈ also called the diagonal subalgebra, T∆ := k∈N[T ](gk,hk). Any f T of degree (d, e) > (0, 0) defines a short exact sequence as below. ∈ L ·f 0 T ( d, e) T T/f 0 − − This is compatible with taking Veronese along ∆ and when T is a tensor product of polynomial rings A and B of dimensions m and n respectively, one has a natural extension of the Künneth formula, [KSSW09, Lem. 2.1]. This allows one to give simple criteria for when (T/f)∆ is Gorenstein or just Cohen-Macaulay. In particular, [KSSW09, Thm. 3.1] identifies that (T/f) is Cohen-Macaulay if and only if d−m < e and e−n < d . Following the proof ∆ ⌊ g ⌋ h ⌊ h ⌋ g of [KSSW09, Thm. 3.1], one can quickly show that in this case (T/f)∆ is weakly F -nilpotent if and only if it is Cohen-Macaulay. We seek to generalize the setting from polynomial rings to more general standard graded rings and examine the F -depth of (T/f)∆ in more detail. Fix an algebraically closed field k and ∆ = (g,h) N2. Suppose A and B are standard graded normal domains ∈ 2 with [A] = [B] = k, and let T = A k B be the tensor product. Define an N grading on T by picking generators 0 0 ⊗ x , , xm for [A] over k and y , ,yn for [B] over k, and extending the grading defined by deg(xi 1) = (1, 0) 1 ··· 1 1 ··· 1 ⊗ and deg(1 yi)=(0, 1) in a natural way. ⊗ Theorem 4.21. Adopt the setup in the previous paragraph. For f T of degree (d, e) > (0, 0), we have that ∈ F-depth(T/f)∆ F-depth T∆ 1. In particular, if T∆ is weakly F -nilpotent and dim((T/f)∆) = dim(T∆) 1, then (T/f) is weakly≥F -nilpotent.− If T is not weakly F -nilpotent, d/g, e/h Z, and − ∆ ∆ 6∈ b (A)+ d e b (B)+ e d dim A < and dim B < , g h h g then F-depth(T/f) F-depth T . ∆ ≥ ∆ Proof. We use notation similar to the proof of [KSSW09, Thm. 3.1]. Set a, b, and m to be the homogeneous maximal ideals of A, B, and T∆ respectively. For any t N, we have the following commutative diagram of k-vector spaces, ∈ t where the horizontal maps of graded T∆-modules and the vertical diagrams are p -linear.

·f 0 T ( d, e) T (T/f) 0 − − ∆ ∆ ∆ t t t f F | F T∆ pt ·f t 0 T ( dpt, ept) T (T/f p ) 0 − − ∆ ∆ ∆ t t t t The p -linear map F is the restriction of F to T ( d, e) and fTδ is the relative Frobenius map as outlined in Section 2.3. We apply| local cohomology at m, and for− each− q we get the commutative diagram below, noting the t horizontal maps are graded T∆-module maps and vertical arrows are p -linear.

·f q q q+1 Hm(T ) Hm((T/f) ) Hm (T ( d, e) ) ··· ∆ ∆ − − ∆ ··· t t f t F T∆ F | pt ·f t Hq (T ) Hq ((T/f p ) ) Hq+1(T ( dpt, ept) ) ··· m ∆ m ∆ m − − ∆ ··· 16 KYLE MADDOX AND LANCE EDWARD MILLER

q t In the above diagram, when Hm(T∆) is nilpotent we may take t HSL(T∆) which forces F = 0. Further, if t 2t≥ F = 0 for some t 0 then a short diagram chase shows that fT∆ = 0. As noted after Remark 2.16, this will | ≫ 2t q imply that the canonical Frobenius map F on Hm((T/f)∆) is also the zero map. t q q+1 When q < F-depth T∆ 1 we have that the canonical Frobenius actions F on Hm(T∆) and Hm (T∆) are the − 2t zero map for t HSL(T∆), which implies fT∆ is the zero map. Consequently, F-depth(T/f)∆ F-depth T∆ 1. ≥ q+1 ≥ − When q = F-depth T 1, Hm (T ( d, e) ) may still be nilpotent due to the linear shift in index. The local ∆ − − − ∆ cohomology of T ( d, e)∆ has a K¨unneth-type decomposition as shown in [KSSW09, Lem. 2.1]. We apply a similar analysis as in the− proof− of Theorem 4.10 and Theorem 4.14 to determine vanishing of the map F t . First, note that q t q | if Hm(T∆) is nilpotent then certainly F Hm(T (−d,−e)∆) is zero for t 0. | q ≫ We have a direct sum decomposition Hm(T ( d, e) )= q q q, where: − − ∆ A ⊕B ⊕C q [ q]n = [Ha (A)]−d+gn k [B]−e+hn A ⊗q [ q]n = [A] d gn k [H (B)] e hn B − + ⊗ b − + q = Cq ,q C 1 2 q1+q2= Mq+1

q1 q2 [Cq ,q ]n = [H (A)] d gn k [H (B)] e hn 1 2 a − + ⊗ b − + t q and the image of q under the restriction of F on Hm(T∆) is inside the corresponding summand of the decompo- q A t t sition of Hm(T ( dp , ep )∆), similarly for the images of q, and Cq1,q2 . Here we will say q etc. are nilpotent or nilpotent in a certain− − degree if the restriction of F t is theB zero map for some t. A Set dA = dim A and dB = dim B. Like in the proof of Theorem 4.10, we discuss the nilpotence of each summand in turn. If bq(A) = 0 for some q < dA, then q is not nilpotent only when d + gn = 0 and e + hn 0, which A − − ≥ forces d/g Z and e/h d/g; notably, these bounds are independent of q. Consequently, if bq(A) = 0 for some ∈ ≤ q < dA, then q is nilpotent when either d/g Z or d/g < e/h. We get symmetric bounds for q, i.e. if q < dB A 6∈ B and bq(B) = 0 then q is nilpotent if e/h Z or e/h < d/g. B 6∈ q q The analysis for q = dA is more subtle since Hm(A) is not generalized nilpotent. For d + gn>bdA (A), Hm(A) is nilpotent in degree d + gn, and if e + hn < 0 then B vanishes in degree e + hn.− So, if there are no integers − − − n so that d + gn bd (A) and e + hn 0, then d is nilpotent. Manipulating the inequalities, we see that − ≤ A − ≥ A A d and, symmetrically, d ) are nilpotent when: A A B B b (A)+ d e b (B)+ e d dA < and, symmetrically dB < . g h h g Now we consider Cq ,q with q < dA and q < dB . If bq (A) = or bq (B) = then Cq ,q is nilpotent. 1 2 1 2 1 −∞ 2 −∞ 1 2 However, if bq1 (A) = bq2 (B) = 0, then Cq1,q2 is not nilpotent in degree n only if d + gn = e + hn = 0, which −dA − q2 requires d/g = e/h Z. When q = dA but q < dB, then we have Cd ,q = [H (A)] d gn k [H (B)] e hn ∈ 1 2 A 2 a − + ⊗ b − + is only possibly non-nilpotent when n = e/h Z and d + gn bd (A), so Cd ,q is nilpotent when e/h Z or ∈ − ≤ A A 2 6∈ when e/h > (bdA (A)+ d)/g. Applying the same reasoning to B shows that Cq1,dB with q1 < dA is nilpotent when d/g Z or when d/g > (bd (B)+ e)/h. 6∈ B Now we assume that e/h, d/g Z, and further that (bd (A)+ d)/g < e/h and (bd (B)+ e)/h < d/g. The 6∈ ⌊ A ⌋ ⌊ B ⌋ above analysis shows that this forces q, q to be nilpotent for all q and q to be nilpotent for q < dA + dB 1, t q A B C 2t − i.e. that F Hm(T (−d,−e)∆) is the zero map for q < dim(T∆) and t 0. Consequently, fT is the zero map, which | q ≫ ∆ as noted in the proof of Theorem 4.21 implies that Hm((T/f)∆) is nilpotent for 0 q < F-depth T∆. Thus, F-depth(T/f) F-depth T . ≤ ∆ ≥ ∆ Remark 4.22. Note that the theorem above and examples generated thereby can be viewed as similar to counter- examples to the deformation of F -nilpotent singularities. Srinivas-Takagi showed that F -nilpotence does not deform even in the Gorenstein case, see [ST17, Example 2.7]. Polstra-Quy also noted that weak F -nilpotence does not deform by showing that there are difficulties at the H0 level, see [PQ19, Section 4]. 4 4 4 Example 4.23. Suppose k is an algebraically closed field of characteristic 7. Let A = k[x0, x1, x2]/(x0 + x1 x2) 3 3 3 − and B = k[y0,y1,y2]/(y0 +y1 y2), notably both Cohen-Macaulay normal domains of dimension 2. By Lemma 4.16 we see that b(A)= and by− [Bli01, Lemma 5.27], b(B) = 2. We also have a(A) = 1 and a(B) = 0. ∞ ′ 2 (g) (h) (g) (h) Let T = A kB. For all ∆ = (g,h) N with g> 1 has a(A )= a(B ) = 0, so dim(T ′ ) = dim(A #B )= ⊗ ∈ ∆ 3 and F-depth T ′ = 2 so that T ′ is not weakly F -nilpotent. Thus, if we take ∆ = (2, 2) and f = x y T , ∆ ∆ 0 ⊗ 0 ∈ then the numerical conditions in the previous theorem are satisfied, and hence (T/f)∆ is weakly F -nilpotent. We conclude with an example combining the various graded constructions from this section, which further demonstrates the behavior of F -depth between T and T/f outlined in the previous theorem. GENERALIZED F -DEPTHANDGRADEDNILPOTENTSINGULARITIES 17

Example 4.24. Suppose k is an algebraically closed field of characteristic 7 and set ∆ = (2, 2). Let A = 4 4 4 4 k[x0, x1, x2, x3]/(x0 + x1 + x2 x3) and B = k[y0, ,y5]/I, where I is the defining ideal of the Segre product C = k[r, s]#k[c,d,e]/(c3 + −d3 e3), i.e. I is the kernel··· of the map B C by y rc, y rd, , y sd. − → 0 7→ 1 7→ ··· 5 7→ Then A and B are dimension 3 normal domains, and T = A k B is dimension 6 normal domain. We showed in Example 4.15 that b (B) = 0 since 7 1 mod 3. Thus, b (T )⊗ = 0. This also implies that F-depth T =2 < 6, so 2 ≡ 2 ∆ ∆ that T∆ is not weakly F -nilpotent. Take f = x x x y2y2y T , homogeneous of multidegree (d, e) = (3, 5). We have that a (B(2)) 2 since 0 1 2 ⊗ 0 1 3 ∈ 3 ≤ − a(k[r, s]) = 2, and consequently b (B(2)) 2. Furthermore, b (A) < 0 by Theorem 4.16. These imply: − 3 ≤− 3 b (A)+3 3 5 b (B)+5 3 3 3 < and 3 < , 2 ≤ 2 2 2 ≤ 2 2 so we see the numerical conditions are satisfied. Consequently, we have shown all the conditions of Theorem 4.21 are satisfied, so we must have F-depth(T/f)∆ = F-depth T∆ = 2.

5. Frobenius Test Exponents In this section, we describe effective bounds on Frobenius test exponents for the various constructions of rings with nilpotent singularities outlined earlier. As noted after Definition 2.10, weakly F -nilpotent and generalized weakly F -nilpotent local rings are known to have finite Frobenius test exponents by [Quy19] and [Mad19]. These bounds are in terms of the Hartshorne-Speiser-Lyubeznik numbers. We show how our theorems provide upper bounds on the Hartshorne-Speiser-Lyubeznik numbers of the result and consequently provide upper bounds for Frobenius test exponents. Throughout this section, R will be a ring of prime characteristic p> 0. We direct readers to Huong-Quy in [HQ18] for a more details concerning Frobenius test exponent problem. We give a very brief self-contained review suitable for our applications. Recall a parameter ideal is one whose height is equal to its minimal number of generators. The Frobenius test exponent, if it exists, for a local ring (R, m) is e e the smallest e N such that for all parameter ideals q R, we have (qF )[p ] = q[p ]. We write e = Fte(R). Upper bounds for Fte(∈R) are known in the weakly F -nilpotent⊂ and generalized weakly F -nilpotent cases, generalizing previous results known in the Cohen-Macaulay and generalized Cohen-Macaulay cases. We recall these theorems below. j Remark 5.1. Suppose (R, m) is a local ring of dimension d. Let hj = HSL(Hm(R)).

Suppose R is Cohen-Macaulay. Then, Fte(R) = HSL(R)= hd. [KS06, Thm. 2.4] • d d Suppose R is weakly F -nilpotent. Then Fte(R) j=0 j hj . [Quy19, Main Thm.] • ≤ e d−1 Suppose R is generalized weakly F -nilpotent. Let e1 be the minimum e N such that p 2 N, where • n j F P ∈ d ≥ d N is the smallest n such that m Hm(R) 0 j for 0 j < d. Then, Fte(R) e1 + j=0 j hj . [Mad19, ⊂ Hm(R) ≤ ≤ Thm. 3.6] P

Few other classes of ideals are known to have finite Frobenius test exponents. Huong-Quy very recently showed in [HQ21] that bounds on generalized F -depth can provide finite Frobenius test exponents for the class of ideals generated by filter regular sequences of bounded length, generalizing the main result of [Mad19]. To study these finiteness theorems in the graded setting, we note that the literature on effective bounds of Frobenius test exponents is written mostly in the local setting and is dependent on filter regular sequences. We let R be a standard graded ring over R0 = k a field. Definition 5.2. The homogeneous Frobenius test exponent of R is the smallest e, if it exists, so that for any e e homogeneous ideal p which is primary to the irrelevant maximal ideal, we have (pF )[p ] = p[p ]. We write Fte∗(R) for this number. A key technique in studying the finiteness of Frobenius test exponents of a local ring (R, m) is the use of filter regular sequences and the fact that m-primary ideals are generated by such, [Quy19, Rmk. 2.5]. This essentially follows by prime avoidance, thus homogeneous prime avoidance guarantees the graded analogue, namely existence of homogeneous filter regular sequences and the graded analogue of [Quy19, Rmk. 2.5]. The rest of the proof relies only on homological algebra techniques available in the graded setting, in particular the Nagel-Schenzel theorem. This is also available in the graded setting, as can be easily adapted by the proof given in [Huo17, Thm. 1.1]. So we may apply Quy’s bound in part 2 of Remark 5.1 for the homogeneous Frobenius test exponents in weakly ∗ d j F -nilpotent rings, i.e. if R is graded ring which is weakly F -nilpotent, then Fte (R) HSL(Hm(R)) where ≤ j=0 P 18 KYLE MADDOX AND LANCE EDWARD MILLER

j Hm(R) are the graded local cohomology modules of R. We can attain similar bounds for the homogeneous Frobenius test exponents of a generalized weakly F -nilpotent graded ring as in [Mad19] also follow with minimal adjustment to the graded setting.

Now, to calculate upper bounds on the Frobenius test exponents of the constructions produced elsewhere in the paper, we first need to bound their Hartshorne-Speiser-Lyubeznik numbers. Lemma 5.3. Let the following be an exact sequence of R[F ]-modules. β Lα M N ··· ··· If HSL(L) and HSL(N) are finite, and ker(α) is a nilpotent R[F ]-module, then HSL(M) HSL(L) + HSL(N). ≤ ρ Proof. We use ρ for the Frobenius action on each place. Set ℓ = HSL(L) and n = HSL(N). If ξ 0M , then for some e e e ρ n ∈ n e 0 we have ρ (ξ) = 0. Then β(ρ (ξ)) = ρ (β(ξ)) =0, so β(ξ) 0N , and consequently ρ (β(ξ)) = β(ρ (ξ)) = 0. Hence,≫ ρn(ξ) ker(β) = im(α), so there is a ξ′ L such that α(ξ∈′)= ρn(ξ). Since ξ is nilpotent, for some e′ 0 ′ ∈ ′ ∈ ′ ≫ we have ρe (α(ξ′)) = ρe +n(ξ) = 0, consequently ρe (ξ′) ker(α). By assumption, ker(α) is nilpotent so we know ρℓ(ξ′)∈ = 0, hence ρℓ+n(ξ)= ρℓ(α(ξ)) = α(ρℓ(ξ)) = 0. This shows HSL(M) ℓ + n as required. We note that we can replace the condition that HSL(L) < and HSL(N) < with HSL(ker(β≤)) < and HSL(im(β)) < with no adjustment to the proof. This implies the∞ slightly sharper∞ bound HSL(M) HSL(ker(∞ β)) + HSL(im(β)).∞ ≤ When the sequence is split exact, we get an improved equality. Corollary 5.4. Consider a split exact sequence of R[F ]-modules, β LMN,α so that M ker(β) im(β). If HSL(ker(β)) and HSL(im(β)) are finite, then ≃ ⊕ HSL(M) = max HSL(ker(β)), HSL(im(β)) . { } Proof. Set HSL(im(β)) = e1, HSL(ker(β)) = e2, and e = max e1,e2 . Since e1 and e2 are finite, in particular there ρ ρ { } ρ are elements ξ 0 and ξ 0 such that ρe1−1(ξ ) = 0 and ρe2−1(ξ ) = 0. Thus, (ξ , ξ ) 0 and 1 ∈ im(β) 2 ∈ ker(β) 1 6 2 6 1 2 ∈ M ρe−1(ξ , ξ ) = 0 but ρe(ξ , ξ ) = 0. Since 0ρ =0ρ 0ρ , we are finished. 1 2 6 1 2 M im(β) ⊕ ker(β) 5.1. Frobenius test exponents for gluing. We now apply the finiteness theorems in Remark 5.1 and the Hartshorne-Speiser-Lyubeznik bounds just outlined to bound the Frobenius test exponent of the glued scheme produced in Theorem 3.2. As in the Section 3, we fix the following notation throughout. Let (R, m) be a local ring of dimension d> 0 and let a and a be ideals of R such that a a = 0, and we set a + a = b. 1 2 1 ∩ 2 1 2 Theorem 5.5. If j F-depth R/b, we have ≤ HSL(Hj (R)) HSL(Hj−1(R/b)) + max HSL(Hj (R/a )), HSL(Hj (R/a )) . m ≤ m { m 1 m 2 } In particular, suppose dim(R) = dim(R/ai)= d for i =1, 2 and that R/a1,R/a2, and R/b are weakly F -nilpotent. Then, if dim(R/b) = dim(R) 1, we have − d−2 d d d 1 d Fte(R) − HSL(Hj (R/b)) + max HSL(Hj (R/a ), HSL(Hj (R/a ) . ≤ 2 · j m j { m 1 m 2 } j=0 j=0 X X If dim(R/b) = dim(R), we have:

d−1 d d d Fte(R) d HSL(Hj (R/b)) + max HSL(Hj (R/a ), HSL(Hj (R/a ) . ≤ · j m j { m 1 m 2 } j=0 j=0 X X Proof. Let j F-depth R/b. From the short exact sequence ≤ 0 R R/a R/a R/b 0, → → 1 ⊕ 2 → → we get the exact sequence

j−1 j j j Hm (R/b) Hm(R) Hm(R/a ) Hm(R/a ) ··· 1 ⊕ 2 ··· GENERALIZED F -DEPTHANDGRADEDNILPOTENTSINGULARITIES 19 to which we may apply Lemma 5.3, since j 1 < F-depth(R/b) to obtain the first term and Corollary 5.4 to obtain the second. − Under either dimension hypothesis on R/b, Theorem 3.2 shows that R is also weakly F -nilpotent. We can apply Quy’s bound for R and the Hartshorne-Speiser-Lyubeznik bound just shown for all 0 j < d. d ≤ d d For j = d, first assume dim(R/b) = d 1. Then, by Lemma 3.1 we have Hm(R) Hm(R/a1) Hm(R/a2) as d − d d ≃ ⊕ R[F ]-modules, and so HSL(Hm(R)) = max HSL(Hm(R/a1)), HSL(Hm(R/a2)) =: e0 similar to Lemma 5.7 (3). Using Quy’s bound, we get: { } d d j Fte(R) HSL(Hm(R)) ≤ j=0 j d−1 d HSL(Hj−1(R/b)) + max HSL(Hj (R/a )), HSL(Hj (R/a )) + e ≤ Pj=0 j m { m 1 m 2 } 0 d−1 d HSL(Hj−1(R/b)) + d d max HSL(Hj (R/a )), HSL(Hj (R/a )) . ≤ Pj=0 j m j=0 j { m 1 m 2 } P d−2 d P j d d d−1 We can re-index the first term to get j=0 j+1 HSL(Hm(R/b)) and use the binomial identity j+1 = j+1 j . d d d d−2 d−1 j b We then replace j+1 with its maximalP value2 to provide the term 2 j=0 j HSL(Hm(R/ )). · d−1 d If dim(R/b) = dim(R), the proof is the same except it is not clear that im(Hm (R/b) Hm(R)) vanishes, so d−1 P → we must involve the Harthsorne-Speiser-Lyubeznik number of Hm (R/b). We then get the term: d d−1 d−1 d d d HSL(Hj−1(R/b)) = HSL(Hj (R/b)) d HSL(Hj (R/b)), j m j +1 m ≤ j m j=1 j=0 j=0 X X X d j using the binomial identity d = d−j d and replacing − with its maximal value d. j+1 j+1 j j +1 We finish this subsection by computing the upper bounds on the Frobenius test exponent of a glued generalized weakly F -nilpotent ring in terms of the input data. Despite only assuming that the lower local cohomology modules j−1 j are generalized nilpotent, we must still impose the condition that the kernel of Hm (R/b) Hm(R) is nilpotent to apply Lemma 5.3 for all j dim(R), which as before is guaranteed if dim(R/b) dim(R) →1 and R/b is weakly F -nilpotent. ≤ ≥ −

Theorem 5.6. Suppose R is equidimensional and dim(R) = dim(R/ai)= d, with dim(R/b) d 1, and that R/a1, ≥ j−−1 j R/a2, and R/b are generalized weakly F -nilpotent. Further, suppose for each j d that ker(Hm (R/b) Hm(R)) is nilpotent. ≤ → n j Let N1 be the smallest n N such that m Hm(R/b) is nilpotent for all 0 j < d 1 and similarly let N2 be the ∈n j j ≤ − smallest n N such that m (Hm(R/a1) Hm(R/a2)) is nilpotent for all 0 j < d. If e1 be the smallest e N such that pe∈ (N + N )2d−1, we have Fte(⊕ R) e + e , where e is the bound≤ given for Fte(R) in Theorem∈ 5.5. ≥ 1 2 ≤ 1 0 0 Proof. We may still apply Lemma 5.3 to obtain the upper bound for the Hartshorne-Speiser-Lyubeznik numbers of R used in Theorem 5.5 in this case, but we note that if dim(R/b) = d 1, we do not need to assume that ker(Hd−1(R/b) Hd (R)) is nilpotent as the image vanishes. − m → m Finally, the proof of Lemma 2.15 clearly shows that if N1 and N2 are as in the statement of the theorem, then N +N j m 1 2 Hm(R) is nilpotent for all 0 j < d. Now the theorem follows by [Mad19, Thm. 3.1]. ≤ 5.2. Frobenius test exponents for Segre products. Now, fix R and S graded rings of positive dimension dR and dS respectively with R0 = S0 = k a field, and we let T be the Segre product T = R#S, which has dim(T )= dT = dR + dS 1. To apply the finiteness theorems to Segre products which have nilpotent singularity types, we first explicate the− relationship between the Hartshorne-Speiser-Lyubeznik numbers for T and those for R and S. Lemma 5.7. Let M and M ′ be Z-graded R[F ]-modules and let N be a Z-graded S[F ]-module. (1) Suppose that HSL(M) < and M is nilpotent, then HSL(M#N) HSL(M). Similarly, if HSL(N) < and N is nilpotent, HSL(∞M#N) HSL(N). ≤ ∞ (2) When both M and N are nilpotent,≤ HSL(M#N) min HSL(M), HSL(N) . (3) We have HSL(M M ′) = max HSL(M), HSL(M≤′) . { } ⊕ { } (4) If M is concentrated in finite degree, say Mt =0 for t t and t t , then: ≥ 0 ≤− 0 HSL(M) max HSL(M ), min e N pe t . ≤ { 0 { ∈ | ≥ 0}} Proof. First, suppose HSL(M)= e< . We have ρe : M M is zero, which implies ρe : M#N M#N is also zero, as the action is diagonal. This argument∞ is clearly symmetric→ in M and N. → 20 KYLE MADDOX AND LANCE EDWARD MILLER

When both M and N are nilpotent, if either HSL(M) or HSL(N) are finite, we can apply the previous case to obtain HSL(M#N) min HSL(M), HSL(N) . If neither HSL(M) nor HSL(N) are finite, the claim is vacuous. The action on M ≤M ′ is{ the direct sum of the} actions on each summand. If both a = HSL(M) and b = HSL(M ′) ⊕ ′ ′ a−1 b−1 ′ are finite, we can take elements m and m nilpotent in M and M such that ρM (m) = 0 and ρM ′ (m ) = 0, then ′ max{a,b} ρ ρ ρ 6 6 (m,m ) is nilpotent and requires ρ ′ to vanish. Since 0 ′ = 0 0 ′ , the result follows. If one of M⊕M M⊕M M ⊕ M HSL(M), HSL(M ′) are infinite, we assume without loss of generality that HSL(M)= . There must be a sequence e n ∞e n of elements mn n∈N nilpotent in M such that ρ (mn) = 0 for e< 2 . Consequently ρ (mn, 0) = 0 for e< 2 . So, HSL(M M{′)=} as well. 6 6 ⊕ ∞ The final claim is obvious, since ρ(Mt) Mpt. ⊂ We now apply this lemma to the summands in the Künneth formula. Recall when R and S are of depth at least two we have Hj (T ) Hj (R)#S R#Hj (S) Hr (R)#Hs (S). mT ≃ mR ⊕ mS ⊕ mR mS r+s= Mj+1 e We use the following notational convenience. Set F-expj (R) = min e N p > aj (R) . This number is an { ∈ j| } j obvious upper bound for the required iterate of F to uniformly annihilate [HmR (R)]>0 HmR (R), and depends only on the graded structure of the ring. ⊂ Theorem 5.8. Let R and S be of depth at least two, and suppose that R and S are weakly F -nilpotent. Then, we j have the following bound on the Hartshorne-Speiser-Lyubeznik number of HmT (T ). j j HSL([HmR (R)]0), HSL([HmS (S)]0), F-expj (R), F-expj (S), HSL(Hj (T )) max mT ≤   max HSL(Hr (R)), HSL(Hs (S)) r + s = j +1  { mR mS | }  Proof. We analyze each summand of the Kunneth formula above. We then combine several maxima. j First, since S is supported in degree 0, we have HmR (R)#S is also supported in degree 0. If aj (R) 0, ≥ F F≥ ≤ then F-exp (R) = 0 which we may remove from the max. If aj(R) > 0, then 0 j = 0 j Q where j H (R)#S [H (R)] mR mR 0 ⊕ F-exp Q is only possibly supported in degrees n with 0 < n aj (R). Consequently, F j (Q) = 0. We then apply j ≤ Lemma 5.7. The complementary summand R#HmS (S) is handled identically. For the final summand, for any combination of r and s, each outcome of Lemma 5.7 is bounded above by the maximum shown.

j Remark 5.9. Note that as we successively compute the data required bound HSL(HmT (T )), we do not actually j j j j j need to know HSL(HmR (R)) or HSL(HmS (S)), only HSL([HmR (R)]0) HSL(HmR (R)) and HSL([HmS (S)]0) j ≤ ≤ HSL(HmS (S)), as well as aj (R) and aj (S). We also note that above bound is not optimal. We give this form as it is compact. One can improve it by including the data of the Hartshorne-Speiser-Lyubeznik number for Q, since F-expj (R) is only a coarse upper r bound for HSL(Q). Similarly, for certain ranges of (r, s), we may replace the maximum of HSL(HmR (R)) and s HSL(HmS (S)) with a smaller value using Lemma 5.7. We may also use HSL(R) and HSL(S) as very coarse upper bounds to the terms in the maximum above.

Corollary 5.10. If we set Hj the maximum appearing on the right hand side of the estimate in Theorem 5.8, then ∗ dT d when R and S are weakly F -nilpotent and b(R)= b(S)= , Fte (T ) Hj . In particular, ∞ ≤ j=0 j Fte∗(T ) 2dT max HSL(R), HSL(SP) . ≤ { } Remark 5.11. Suppose R and S are of depth at least two, and let j < gF-depth R + gF-depth S 1 gF-depth T . j − ≤ We may use the ideas in the proof of Theorem 4.14 to understand the lengths of HmT (T ). For notational convenience, we set j j F G (U)= H (U) / 0 j mU 0 H (U) mU 0 for U R,S,T . h i By∈{ the K¨unneth} formula and the fact that length is additive on short exacts sequences, we have

j F j j r s F λ (H (T )/0 j )= λ (G (R)) + λ (G (S)) + λ H (R)#H (S)/0 r s . T mT H T R S T mR mS H (R)#H (S) mT ( ) mR mS r+s= Xj+1 GENERALIZED F -DEPTHANDGRADEDNILPOTENTSINGULARITIES 21

The last collection of summands is most easily understood when R and S are of depth at least two, generalized Cohen-Macaulay, and standard graded, so that T is also generalized Cohen-Macaulay and standard graded. In this case, we see r s F r s r s r s λT HmR (R)#HmS (S)/0H (R)#H (S) = λR(G (R)) λS(G (S)) = dimk(G (R)) dimk(G (S)). mR mS · · Corollary 5.12. Let R and S be standard graded, of depth at least two, and generalized weakly F -nilpotent. Let N be the smallest n N such that for all 0 j < dR and 0 i < dS ∈ ≤ ≤ n j F n i F m H (R) 0 j and m H (S) 0 i . R mR H (R) S mS Hm (S) ⊂ mR ⊂ S

e dT −1 ∗ dT dT Further, let e be the smallest e N such that p (N + 1)2 . We have Fte (T ) e + Hj , where 1 ∈ ≥ ≤ 1 j=0 j H are the bounds on the Hartshorne-Speiser-Lyubeznik numbers of T given in Theorem 5.8. j P j j Proof. Note first that mR[HmR (R)]0 is nilpotent for all j, including when j = dR as HmR (R) vanishes in high degree, j j and similarly for S. Consequently, mT (HmR (R)#S) and mT (R#HmS (S) are nilpotent for all j. It may be the case that T is weakly F -nilpotent so that the e1 may seem superfluous. The role of the N + 1 factor in the statement dR dS dR dS ensures HmR (R)#S and R#HmS (S) are sent into the nilpotent part of HmT (T ) and HmT (T ) respectively. N r s Now we need only show mT (HmR (R)#HmS (S)) is nilpotent for 0 j < dT and r + s = j + 1. However, since ≤ N N R, S, and T are all standard graded, if x#y is a homogeneous element in mT , we must have that x mR and N r s F ∈ y m . Consequently, for r < dR and s < dS, x#y sends H (R)#H (S) into 0 j . S mR mS H (T ) ∈ mT 5.3. Frobenius test exponents for Veronese subrings. We conclude this article by bounding the homogeneous Frobenius test exponent for a Veronese subring of a graded ring with a nilpotent singularity. We let R be a standard graded ring of dimension d defined over R0 = k. ′ (n) j ′ j Theorem 5.13. Fix n N and let R = R . One has HSL(HmR′ (R )) HSL(HmR (R)). Consequently, if R is ∈ ∗ ′ d d j ≤ weakly F -nilpotent, then Fte (R ) HSL(Hm (R)). Furthermore, if R is generalized weakly F -nilpotent ≤ j=0 j R and N is the smallest m N such that mmHj (R) is nilpotent for all 0 j < d and e is the smallest e N such P R m R 1 e d−1 ∈∗ ′ d d j ≤ ∈ that p N2 , then Fte (R ) e + HSL(Hm (R)). ≥ ≤ 1 j=0 j R Proof. We recall the diagram from the proofP of Theorem 4.19, from which the first claim follows immediately.

j (n) ∼ j Hm n (R ) HmR (R) R( ) t nt h i h i F F

j (n) ∼ j Hm n (R ) HmR (R) R( ) pt pnt h i h i N N j j ′ Now, given an x mR , viewed in R we also have x mR . Then, since xHmR (R) is nilpotent, xHmR (R) is nilpotent in degree nt∈ for all t Z, completing the claim. ∈ ∈ References

[Bli01] M. Blickle, The intersection homology D-module in positive characteristic, University of Michigan, dissertation, 2001. 1, 2, 11, 12, 13, 14, 16 [BB05] M. Blickle, R. Bondu, Local cohomology multiplicities in terms of ´etale cohomology, Ann. Inst. Fourier (Grenoble), 55, 7, (2005), 2239–2256. 5 [Bre06] H. Brenner, Bounds for test exponents, Compositio Mathematica, 142, 2, (2006), 451–463. 1 [DDSM] H. Dao, A. De Stefani, and L. Ma Cohomologically full rings, arXiv: 1806.00536. 8 [DM19] R. Datta, T. Murayama, Permanence properties of F -injectivity, arXiv:1906.11399. [EH08] F. Enescu, M. Hochster, The Frobenius structure of local cohomology, Algebra and Number Theory, 2, 7, (2008), 721–754. 3, 4 [GW78a] S. Goto, K.-i. Watanabe, On graded rings, I, J. Math. Soc. Japan, 30, (1978), 179–213. 10, 11, 15 [GW78b] S. Goto, K.-i. Watanabe, On graded rings. II Zn-graded rings, Tokyo J. Math., 1 (1978), 237–261. 10 [HH90] M. Hochster, C. Huneke, Tight closure, invariant theory, and the Brian¸con-Skoda theorem, J. Amer. Math. Soc., 3, 1, (1990), 31–116. 4 [HMS14] J. Horiuchi, L. E. Miller, K. Shimomoto Deformation of F-Injectivity and Local Cohomology, Indiana University Mathematics Journal, 63, 4, (2014), 1139–1157. 6 [HKSY06] C. Huneke, M. Katzman, R. Y. Sharp, Y. Yao. Frobenius test exponents for parameter ideals in generalized Cohen-Macaulay local rings, Journal of Algebra, 305(1), (2006), 516–539 5 [HQ18] D. T. Huong, P. H. Quy Notes on the Frobenius test exponents, Communications in Algebra, 47:7, 2702–2710 17 [HQ21] D. T. Huong, P. H. Quy Frobenius test exponents for ideals generated by ﬁlter regular sequences, arXiv: 2101.00475 17 [HS77] R. Hartshorne, R. Speiser, Local Cohomological Dimension in Characteristic p, Annals of Math., 105, (1977), 45–79. 5, 6 22 KYLE MADDOX AND LANCE EDWARD MILLER

[Huo17] D.T. Huong, A simple proof for a theorem of Nagel and Schenzel, VNU Journal of Science: Mathematics-Physics, 33, 4, (2017), 87–90. 17 [KMPS] J. Kenkel, K. Maddox, T. Polstra, A. Simpson, F -nilpotent rings and permanence properties, arXiv: 1912.01150, to appear Journal of Commutative Algebra. 1, 7, 14 [KS06] M. Katzman, R. Y. Sharp, Uniform behaviour of the Frobenius closures of ideals generated by regular sequences, Journal of Algebra, 295(1), 2006, 231–246. 1, 5, 17 [KSSW09] K. Kurano, E.-i. Sato, A. K. Singh, K.-i. Watanabe, Multigraded rings, rational singularities, and diagonal subalgebras, J. of Alg., Special Issue in Honor of Paul Roberts, 322, (2009), 3248–3267. 3, 15, 16 [Lyu97] G. Lyubeznik, F-modules: applications to local cohomology and D-modules in characteristic p> 0, J. reine angew. Math., 491, (1997), 65–130. 5 [Lyu06] G. Lyubeznik On the vanishing of local cohomology in characteristic p> 0, Compos. Math., 142, (2006), 1, 207–221.S 1, 2, 6, 9 [LSW16] G. Lyubeznik, A. K. Singh, U. Walther Local cohomology modules supported at determinantal ideal, Journal of the European Mathematical Society 18 (2016), 2545–2578 2, 11 [Mad19] K. Maddox, A sufficient condition for the finiteness of Frobenius test exponents, Proc. Amer. Math. Soc., 147, (2019), 5083– 5092. 1, 3, 5, 17, 18, 19 [MQ18] L. Ma and P. H. Quy Frobenius actions on local cohomology and deformation, Nagoya Math. J., 232 (2018), 55–75. 8 [PQ19] T. Polstra, P. H. Quy, Nilpotence of Frobenius actions on local cohomology and Frobenius closure of ideals, J. Algebra, 529, (2019), 196–225. 1, 6, 9, 16 [Quy19] P. H. Quy, On the uniform bound of Frobenius test exponents, J. Algebra, 518, (2019), 119–128. 1, 3, 5, 17 [QS17] P. H. Quy, K. Shimomoto, F -injectivity and Frobenius closure of ideals in Noetherian rings of characteristic p > 0, Adv. Math., 313, (2017), 127–166. 8 [Sch09] K. Schwede, F -injective singularities are Du Bois, Amer. J. Math., 131, 2, (2009), 445–473. 2, 7, 10 [Sha06] R. Sharp Tight closure test exponents for certain parameter ideals, Michigan Math. J. 54 (2006), no. 2, 307–317. 5 [Sin00] A. K. Singh, Veronese subrings and tight closure, Pacific J. of Math., 192, (2000), 399–413. 2, 14, 15 [Smi97] Karen E. Smith. F-Rational Rings Have Rational Singularities, American Journal of Math., 119, (1997), 159–180. 1, 4 [ST17] V. Srinivas, S. Takagi. Nilpotence of Frobenius action and the Hodge filtration on local cohomology, Adv. Math., 305, (2017), 456–478. 1, 4, 5, 10, 16