ScalingStacks

Definition 4.1 . [0395]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Definition 4.1.

[BMS08, Def. 2.9] Given an ideal 𝔞{\mathfrak{a}} in 𝒪X{\mathcal{O}}_{X} and λ∈ℝ≥0\lambda\in\mathbb{R}_{\geq 0} one defines the test ideal of 𝔞{\mathfrak{a}} of exponent λ\lambda to be

τ⁡(𝔞λ):=⋃e∈ℕ>0(𝔞⌈λ​pe⌉)[1/pe]\tau({\mathfrak{a}}^{\lambda}):=\bigcup_{e\in\mathbb{N}_{>0}}\Bigl({\mathfrak{a}}^{\lceil\lambda p^{e}\rceil}\Bigr)^{[1/p^{e}]}

where given r∈ℝr\in\mathbb{R} we write ⌈r⌉\lceil r\rceil for the smallest integer ≥r\geq r.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.