Related papers: Uniform Symbolic Topologies via Multinomial Expans…
We investigate the containment problem of symbolic and ordinary powers of ideals in a commutative Noetherian domain $R$. Let $R$ be a normal domain of prime characteristic $p>0$ that is $F$-finite or essentially of finite type over an…
Take $(R, \mathfrak{m})$ any normal Noetherian domain, either local or $\mathbb{N}$-graded over a field. We study the question of when $R$ satisfies the uniform symbolic topology property (USTP) of Huneke, Katz, and Validashti: namely, that…
Given a normal toric algebra $R$, we compute a uniform integer $D = D(R) > 0$ such that the symbolic power $P^{(D N)} \subseteq P^N$ for all $N >0$ and all monomial primes $P$. We compute the multiplier $D$ explicitly in terms of the…
Let $I$ denote an ideal of a Noetherian ring $R$ and $N$ a non-zero finitely generated $R$-module. In the present paper, some necessary and sufficient conditions are given to determine when the $I$-adic topology on $N$ is equivalent to the…
Let $R$ be a commutative Noetherian ring and let ${\bf x} :=x_1,\ldots,x_d$ be a regular $R$-sequence contained in the Jacobson radical of $R$. An ideal $I$ of $R$ is said to be a monomial ideal with respect to ${\bf x}$ if it is generated…
We introduce and study rational symbolic powers of ideals in Noetherian rings. We give membership criteria for rational symbolic powers and discuss settings where they agree with integer symbolic powers. We investigate the binomial…
We introduce and explore the Uniform Izumi-Rees Property in Noetherian rings with applications to multiplicity theory and containment relationships among symbolic powers of ideals. As an application, we prove that if $R$ is a normal domain…
We prove that $\mathcal{C}^r$ maps with $r>1$ on a compact surface have symbolic extensions, i.e. topological extensions which are subshifts over a finite alphabet. More precisely we give a sharp upper bound on the so-called symbolic…
Over an arbitrary field $\mathbb{F}$, Harbourne conjectured that $$I^{(N (r-1)+1)} \subseteq I^r$$ for all $r>0$ and all homogeneous ideals $I$ in $S = \mathbb{F} [\mathbb{P}^N] = \mathbb{F} [x_0, \ldots, x_N]$. The conjecture has been…
Using perfectoid algebras, we introduce a mixed characteristic analog of the multiplier ideal, respectively test ideal, from characteristic zero, respectively $p > 0$, in the case of a regular ambient ring. We prove several properties about…
Let $R$ be a commutative Noetherian ring, and let $N$ be a non-zero finitely generated $R$-module. In this paper, the main result asserts that for any $N$-proper ideal $\frak a$ of $R,$ the $\frak a$-symbolic topology on $N$ is linearly…
We develop tools to study the problem of containment of symbolic powers $I^{(m)}$ in powers $I^r$ for a homogeneous ideal $I$ in a polynomial ring $k[{\bf P}^N]$ in $N+1$ variables over an algebraically closed field $k$. We obtain results…
In this paper we generalize the theorem of Ein-Lazarsfeld-Smith (concerning the behavior of symbolic powers of prime ideals in regular rings finitely generated over a field of characteristic 0) to arbitrary regular rings containing a field.…
The theory of standard bases in polynomial rings with coefficients in a ring R with respect to local orderings is developed. R is a commutative Noetherian ring with 1 and we assume that linear equations are solvable in R.
In a previous paper, the third author proved that finite-degree polynomial functors over infinite fields are topologically Noetherian. In this paper, we prove that the same holds for polynomial functors from free $R$-modules to finitely…
We investigate symbolic and regular powers of monomial ideals. For a square-free monomial ideal $I$ in $k[x_0, \ldots, x_n]$ we show $I^{t(m+e-1)-e+r)}$ is a subset of $M^{(t-1)(e-1)+r-1}(I^{(m)})^t$ for all positive integers $m$, $t$ and…
We study the "q-commutative" power series ring R:=k_q[[x_1,...,x_n]], defined by the relations x_ix_j = q_{ij}x_j x_i, for multiplicatively antisymmetric scalars q_{ij} in a field k. Our results provide a detailed account of prime ideal…
This paper contributes to the study of the prime spectrum and dimension theory of symbolic Rees algebra over Noetherian domains. We first establish some general results on the prime ideal structure of subalgebras of affine domains, which…
We give short, closure-theoretic proofs for uniform bounds on the growth of symbolic powers of ideals in regular rings. The author recently proved these bounds in mixed characteristic using various versions of perfectoid/big Cohen-Macaulay…
Let $I$ and $J$ be nonzero ideals in two Noetherian algebras $A$ and $B$ over a field $k$. Let $I+J$ denote the ideal generated by $I$ and $J$ in $A\otimes_k B$. We prove the following expansion for the symbolic powers: $$(I+J)^{(n)} =…