Abstract:In this paper, using ultra-Frobenii, we introduce a variant of Schoutens' non-standard tight closure, ultra-tight closure, on ideals of a local domain $R$ essentially of finite type over $\mathbb{C}$. We prove that the ultra-test ideal $\tau_{\rm u}(R,\mathfrak{a}^t)$, the annihilator ideal of all ultra-tight closure relations of $R$, coincides with the multiplier ideal $\mathcal{J}(\operatorname{Spec} R,\mathfrak{a}^t)$ if $R$ is normal $\mathbb{Q}$-Gorenstein. As an application, we study a behavior of multiplier ideals under pure ring extensions.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to characterize multiplier ideals by the method of ultraproducts. Specifically, the author introduced the concept of ultra - tight closure and proved that under certain conditions, the ultra - test ideal is equal to the multiplier ideal. In addition, the paper also studied the behavior of multiplier ideals under pure ring extensions.
### Main contributions of the paper
1. **Introduction of ultra - tight closure**:
- The author defined a new variant of tight closure, called ultra - tight closure, using ultra - Frobenii.
- The ultra - test ideal is defined as the annihilator ideal of all ultra - tight closure relations.
2. **Main results**:
- The author proved that when \(R\) is a normal \(\mathbb{Q}\)-Gorenstein local ring and is essentially of finite type, the ultra - test ideal \(\tau_u(R, a^t)\) is equal to the multiplier ideal \(J(\text{Spec }R, a^t)\).
3. **Applications**:
- As an application of the main results, the author showed that multiplier ideals have good behavior under pure ring extensions, which is similar to the known results in the case of characteristic zero.
### Formula summary
- **Definition of ultra - test ideal**:
\[
\tau_u(R, a^t):=\text{Ann}_R\left(\text{cl}_{u}^{a^t}(0)_E\right)
\]
where \(E = E_R(R/\mathfrak{m})\) is the injective hull of the residue field \(R/\mathfrak{m}\).
- **Main result**:
\[
\tau_u(R, a^t)=J(\text{Spec }R, a^t)
\]
- **Definition of multiplier ideal**:
\[
J((X,\Delta), a^t)=\mu_*\mathcal{O}_Y\left(\lceil K_Y-\mu^*(K_X + \Delta)-tZ\rceil\right)
\]
where \(\mu:Y\rightarrow X\) is the log resolution of \(a\) and \(a\mathcal{O}_Y=\mathcal{O}_Y(-Z)\).
### Conclusion
This paper provides a new method to understand and characterize multiplier ideals by introducing ultra - tight closure and ultra - test ideal. These results not only enrich the theories of commutative algebra and algebraic geometry but also have important significance in practical applications.