TEST ELEMENTS IN EQUAL CHARACTERISTIC SEMIANALYTIC ALGEBRAS ZHAN JIANG Abstract. We establish a series of results showing that the Jacobian ideal is contained in the test ideal. We first prove a new result in characteristic p for complete rings over a field K. Then we prove some results showing that Jacobian ideals are contained in test ideals in equal characteristic 0 for affine, analytic, affine-analytic and semianalytic K-algebras. 1. Introduction Test ideals were first introduced by Mel Hochster and Craig Huneke in their celebrated theory of tight closure [HH90]. Since their invention, they have found application far beyond their original scope to Frobenius splittings [MR85, RR85], singularity theory [HH94, HH89], etc. For a good survey on this, we refer to [ST12]. There are various generalizations of test ideals, e.g., to pairs in positive characteristic [HY03, HT04], to pairs in mixed characteristic [MS18a, MS18b]. Test ideals are also closely related to multiplier ideals in equal characteristic 0 [Smi00, Har01]. The key property of test ideals is that they multiply the tight closure of any ideal back into that ideal has also been generalized to arbitrary closure operations in any characteristic [ERG19, PRG19]. There are a lot of closure operations [Hei01]. The theory of test ideals of these closure operations remains to be further explored. We aim to contribute to the test ideals of tight closures defined in equal characteristic 0 for (semi-/affine-)analytic algebras [HH99]. In the definition below, the terminology in the first and the third parts (analytic and semianalytic) is taken from [Kun86, Chapter 13]. Definition 1.1. Let R be a K-algebra where K is a field. arXiv:2104.12867v1 [math.AC] 26 Apr 2021 (1) R is called an analytic K-algebra, if there is a power series algebra P = KJx1,...,xnK such that R is finite over P . (2) R is called an affine-analytic K-algebra, if there is a power series algebra P = KJx1,...,xnK such that R is of finite type over P . (3) R is called a semianalytic K-algebra, if there is a power series algebra P = KJx1,...,xnK such that R is essentially of finite type over P . We will use the definition [PRG19, Definition 3.1] for test ideals in this paper. There are two subtleties when working with this definition: Date: April 28, 2021. 1 (1) There are two kinds of test ideals: one is the (big) test ideal and the other is the finitistic test ideal. (2) Test ideals are defined in terms of modules. One can also define them purely in terms of ideals. For the first point, these two notions associated to tight closure in characteristic p are conjectured to be the same ([ST12, Conjecture 5.14]), and proved to be the same in several cases [LS99, LS01]. Since we only work with tight closure of ideals in noetherian rings, we will stick to the notion of finitistic test ideals. For the second point, test ideals defined in terms of (finitely generated) modules and in terms of all ideals in the ring coincide when the base ring R is approximately Gorenstein ([Hoc77, Definition-Proposition 1.1, Definition 1.3]). The condition of being approximately Gorenstein is fairly weak, e.g., when R is either reduced and excellent or when R is of depth 2, R is approximately Gorenstein. In fact, all rings we are working with in this paper are excellent and reduced, hence, approximately Gorenstein. So we make the following convention throughout the paper. Convention 1.2. By the test ideal, we mean the finitistic test ideal associated to tight closure in the sense of [PRG19, Definition 3.1]. We shall also call the elements in the test ideal “test elements”. Some of the main results of this paper are summarized in the following theorems. Theorem 1.3. Let R be an absolutely reduced equiheight semianalytic K-algebra where char(K) = p. Then the Jacobian ideal J (R~K) is contained in the test ideal of R (The- orem 4.3). Remark 1.4. The result above implies the result of Theorem 4.1, where R is assumed to be an absolutely reduced equidimensional complete K-algebra. However, the proof of Theorem 4.3 relies on Theorem 4.1. Theorem 1.5. Let R be a reduced equiheight semianalytic K-algebra where char(K) = 0. Then the Jacobian ideal J (R~K) is contained in the test ideal of R. For any flat K-algebra maps R → R′ with geometrically regular fibers, the expansion of the Jacobian ideal J (R~K)R′ is contained in the test ideal of R′ (Corollary 6.11). Remark 1.6. The result above implies the case when R is a reduced equidimensional com- plete K-algebra (Theorem 6.6) and the case when R is a reduced equiheight affine-analytic K-algebra (Theorem 6.7). But the proof of Corollary 6.11 relies on Theorem 6.6 and Theo- rem 6.7. The paper is organized as follows: we first collect some preliminaries in Section 2 and have a discussion on Jacobian ideals in Section 3. Then we prove the new results Theorem 4.1 and Theorem 4.3 in characteristic p in Section 4. After that, we discuss the definition of tight closure in equal characteristic 0 and prove a new result Theorem 5.10 in the affine case in Section 5. Finally in Section 6, we start to discuss descent techniques and prove Theorem 6.6. Then we describe a similar descent process and prove Theorem 6.7. Based on Theorem 6.7, we will establish Corollary 6.11. 2 Acknowledgments. I would like to heartily thank Mel Hochster for offering so many helpful discussions on this question and for his careful reading on the first few drafts. I also want to thank Jack Jeffries for his comments on the first few drafts. 2. Preliminaries We discuss some preliminary materials about semianalytic algebras, the module of K¨ahler differentials and their relation to regularity. Throughout this section, unless otherwise stated, we do not assume any characteristic constraint. Most material here is covered in [Kun86], but has been reworded in a way that is better adapted to our needs in this paper. First we start with some notation. Definition 2.1. Let R be a noetherian ring and p ∈ Spec(R) a prime ideal of R. Let M be an R-module and I ⊆ R an ideal of R. (1) big ht(I) is the big height of I, i.e., big ht(I) = max{ht(Q)S Q ∈ Min(I)}. (2) If I ⊆ p, then the notion htp(I) represents the smallest height of primes P such that I ⊆ P ⊆ p. Note that this is equivalent to ht(IRp) in Rp. (3) dimp R is the supremum of the lengths of all chains of prime ideals containing p. We have dimp R = dim R~p + dim Rp. (4) The regularity defect of R at p is defined to be rd p(R) ∶= edim (Rp) − dim(Rp). (5) The residue field of p is denoted by κp(R) ∶= Rp~pRp. (6) µ(M) is the minimal number of generators of M and µp(M) is the minimal number of generators of the localized module Mp. (7) If A is a matrix with entries in R, then rankp(A) represents the rank of the matrix A over the residue field κp(R) at prime p. 2.1. Derivations and universal extensions. A good reference here is Chapters 1-3, 11-12, in [Kun86]. Definition 2.2. Let R0 be a ring, R an R0-algebra and M an R-module. (1) A R0-derivation of R in M is an R0-linear map δ ∶ R → M that satisfies the Leibniz rule, i.e., for all a, b ∈ R, δ(ab) = aδb + bδa. In the case R0 = Z, Z-derivations of R are simply called (absolute) derivations of R.[Kun86, 1.1] (2) An R0-derivation d ∶ R → M is called universal if for any R0-derivation δ ∶ R → N there is one and only one R-linear map ℓ ∶ M → N such that δ = ℓ ○ d. [Kun86, 1.18] (3) If d ∶ R → M is a universal R0-derivation of R then the R-module M is denoted by ΩR~R0 and is called the module of (K¨ahler) differentials of R over R0. The universal derivation of R over R0 is sometimes denoted by dR~R0 [Kun86, 1.20]. It is well-known that the module of K¨ahler differentials exists. If we denote the kernel of the canonical 2 map R ⊗R0 R → R by I, then ΩR~R0 ≅ I~I ([Kun86, 1.7, 1.21]). (4) For an R0-derivation δ ∶ R → M, we shall write RδR for the submodule of M generated by {δr}r∈R. If d is the universal R0-derivation of R, then RdR = ΩR~R0 [Kun86, 1.21 (b)]. Chapters 2 and 3 in [Kun86] describe differential algebras and universal extensions of differ- ential algebras. Here, we work with derivations, which are more relevant to our needs. These 3 two languages can be translated to and from one another in most cases. The definition below is [Kun86, 1.24]. Definition 2.3. Let R and S be two R0-algebras and ρ ∶ R → S an R0-algebra morphism. ′ ′ ′ Let δ ∶ R → M be an R0-derivation of R and δ ∶ S → M an R0-derivation of S. Then δ is called an extension of δ if there exists an R-linear map ϕ ∶ M → M ′ such that ρ R / S δ δ′ ϕ M / M ′ is commutative.