Abstract:Broadening existing results in the literature to much wider classes of rings, we prove among other things: 1. Reduced quotients of excellent regular rings of characteristic $p$ admit big test elements, 2. The set of F-jumping numbers of a principal ideal in a locally excellent regular ring is a discrete subset of $\mathbb Q$, and 3. If $R$ is a quotient of a locally excellent regular ring of prime characteristic, then there is a uniform upper bound on the Hartshorne-Speiser-Lyubeznik numbers of the injective hulls of the residue fields of $R$. To do so, we develop the parallel theories of Ohm-Rush and intersection flat algebras. We show that both properties can be checked locally in flat maps of Noetherian rings. We show that intersection-flatness admits a content theory parallel to that of Ohm-Rush content for Ohm-Rush algebras. We develop descent results for these properties. Using the descent result for intersection flatness, we obtain a local condition under which a faithfully flat map of Noetherian rings must be intersection-flat. The local condition for intersection-flatness allows us to conclude that finitely generated faithfully flat algebras over a Noetherian ring are intersection-flat. Combining the local condition for intersection flatness with results of Kunz and Radu yields the conclusion that the Frobenius endomorphism associated to a locally excellent regular ring of prime characteristic is intersection-flat, thus answering a question of Sharp. Applications of the latter result include the three enumerated results above. We also get applications to tight closure and parameter test ideals.

On the equality of test ideals

On the Equality of Test Ideals

Test ideals in mixed characteristic: a unified theory up to perturbation

Test elements, excellent rings, and content functions

Equality of Ordinary and Symbolic Powers of Some Classes of Monomial Ideals

On ideals in quantales -- I

On set theoretically and cohomologically complete intersection ideals

When is tight closure determined by the test ideal?

The lattice of ideals of certain rings

Ideals and their Fitting ideals

Ideals in quantales, II

The ideal theory of intersections of prime divisors dominating a normal Noetherian local domain of dimension two

On central characteristic ideals and quasi-Noetherian Leibniz algebras

Some inequalities regarding the regularity of powers of monomial ideals

Regular Ideals, Ideal Intersections, and Quotients

Universal sets for ideals

Prime Ideals in Noetherian Rings

Eisenstein integers and equilateral ideal triangles

Strongly Lech-independent ideals and Lech's conjecture

On Invariants of $\text{C}^*$-algebras with the ideal property

Purity for Perfectoidness